Introduction aux séries de Fourier

Peut-on reconstruire une fonction périodique à partir des fonctions 1,cos⁡(x),sin⁡(x),cos⁡(2x),sin⁡(2x),…?1,\quad \cos(x),\quad \sin(x),\quad \cos(2x),\quad \sin(2x),\quad \ldots ? On considère la fonction ff, 2π2\pi-périodique, définie sur [−π,π][-\pi,\pi] par f(x)=xf(x)=x. On cherche à l’approcher par une fonction de la forme S1(x)=acos⁡(x)+bsin⁡(x)S_1(x)=a\cos(x)+b\sin(x).

1

Représenter graphiquement ff sur [−π,π][-\pi,\pi], déterminer sa parité, et en déduire lequel de cos⁡(x)\cos(x) ou sin⁡(x)\sin(x) est adapté pour l’approcher. Que conjecture-t-on sur le coefficient aa ?

On choisit donc une approximation de la forme S1(x)=bsin⁡(x)S_1(x)=b\sin(x). On souhaite choisir bb de sorte que l’erreur quadratique intégrale E(b)=∫−ππ(f(x)−bsin⁡(x))2 dxE(b) = \int_{-\pi}^{\pi}\bigl(f(x)-b\sin(x)\bigr)^2\,dx soit minimale.

2

Montrer que minimiser E(b)E(b) revient à imposer la condition d’orthogonalité suivante : ∫−ππ(f(x)−bsin⁡(x))sin⁡(x) dx=0.\int_{-\pi}^{\pi}\left(f(x)-b\sin(x)\right)\sin(x)\,dx = 0.

3

Calculer ∫−ππsin⁡2(x) dx\displaystyle\int_{-\pi}^{\pi} \sin^2(x)\,dx, puis ∫−ππxsin⁡(x) dx\displaystyle\int_{-\pi}^{\pi} x\sin(x)\,dx par intégration par parties. En déduire la valeur de bb telle que E(b)E(b) est minimale puis l’expression de S1S_1.

On cherche maintenant une approximation plus précise de ff, sous la forme S2(x)=b1sin⁡(x)+b2sin⁡(2x).S_2(x)=b_1\sin(x)+b_2\sin(2x). On impose que l’erreur f(x)−S2(x)f(x)-S_2(x) soit orthogonale à sin⁡(x)\sin(x) et à sin⁡(2x)\sin(2x).

4

Écrire les deux conditions intégrales correspondantes.

5

Montrer que ∫−ππsin⁡(x)sin⁡(2x) dx=0\displaystyle\int_{-\pi}^{\pi} \sin(x)\sin(2x)\,dx=0, puis en déduire que les deux coefficients b1b_1 et b2b_2 peuvent être déterminés séparément par bn=1π∫−ππf(x)sin⁡(nx) dx.b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin(nx)\,dx.

6

Calculer b2b_2 par intégration par parties. On admet que, pour tout entier n⩾1n\geqslant 1, ∫−ππxsin⁡(nx) dx=2π(−1)n+1n.\int_{-\pi}^{\pi} x\sin(nx)\,dx = \frac{2\pi(-1)^{n+1}}{n}. En déduire une expression générale de bnb_n.

On obtient ainsi formellement, pour x∈]−π,π[x\in{]-\pi,\pi[} : x=2sin⁡(x)−sin⁡(2x)+23sin⁡(3x)−12sin⁡(4x)+⋯x = 2\sin(x)-\sin(2x)+\frac{2}{3}\sin(3x)-\frac{1}{2}\sin(4x)+\cdots Note sur la convergence. Cette égalité repose sur le théorème de Dirichlet, admis ici. On ne peut pas l’établir à l’aide des seuls critères des séries numériques, car les termes 2(−1)n+1nsin⁡(nx)\frac{2(-1)^{n+1}}{n}\sin(nx) oscillent simultanément en nn et en xx.

7

Comparer cette écriture avec les développements en série entière déjà rencontrés : quel est le point commun ? Quelle différence importante apparaît ici ?

8

En évaluant formellement l’égalité précédente en x=π2x=\dfrac{\pi}{2}, montrer que l’on retrouve la série numérique 1−13+15−17+⋯=π4.1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\cdots = \frac{\pi}{4}.

Exercice uI4M

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?