Mathématiques · Glossaire

Qu'est-ce que « coefficients de Fourier » ?

Aussi appelé : sommes partielles de Fourier

Définition 14.1 Mathématiques universitaires — Licence 2 · Chapitre 14 — Séries de Fourier

Les coefficients de Fourier de ff sont

cn(f)=12πππf(t)eint ⁣dt(nZ),c_n(f) = \frac{1}{2\pi}\int_{-\pi}^{\pi} f(t)\,\eu^{-\iu n t}\,\dd t \qquad (n \in \Z),

et les coefficients sous forme réelle an=cn+cna_n = c_n + c_{-n}, bn=i(cncn)b_n = \iu(c_n - c_{-n}), de sorte que les sommes partielles de Fourier sont

SN(f)(t)=n=NNcn(f)eint=a02+n=1N(ancosnt+bnsinnt).S_N(f)(t) = \sum_{n=-N}^{N} c_n(f)\,\eu^{\iu nt} = \frac{a_0}{2} + \sum_{n=1}^{N}\bigl(a_n\cos nt + b_n \sin nt\bigr).

Sur C\mathcal{C}, on définit le produit scalaire hermitien f,g=12πππfg\langle f, g\rangle = \frac{1}{2\pi}\int_{-\pi}^{\pi}\conj f\,g : les exponentielles en(t)=einte_n(t) = \eu^{\iu nt} sont orthonormées (em,en=δmn\langle e_m, e_n\rangle = \delta_{mn}, calcul direct), et cn(f)=en,fc_n(f) = \langle e_n, f\rangle : l’analyse de Fourier est de la géométrie hermitienne (Chapitre 13) en dimension infinie.

Exemples

Exemple 14.3 (Meilleure approximation, mesurée)

Dans quelle mesure les polynômes trigonométriques de bas degré approchent-ils la dent de scie f(t)=tf(t) = t (sur (π,π)\intoo{-\pi}{\pi}) en moyenne quadratique ? D’après la Proposition 14.2, la meilleure approximation de degré NN est SN(f)S_N(f), avec pour erreur quadratique

fSNf22=f22nNcn2.\norm{f - S_Nf}_2^2 = \norm f_2^2 - \sum_{\abs n\leq N}\abs{c_n}^2 .

Ici f22=12πππt2 ⁣dt=π23\norm f_2^2 = \frac{1}{2\pi}\int_{-\pi}^\pi t^2\dd t = \frac{\pi^2}{3}, et à partir de bn=2(1)n+1nb_n = \frac{2(-1)^{n+1}}{n} (Exemple 14.12) : cn2+cn2=bn22=2n2\abs{c_n}^2 + \abs{c_{-n}}^2 = \frac{b_n^2}{2} = \frac{2}{n^2}. Donc

fSNf22=π23n=1N2n2 : numeˊriquement 1.29, 0.79, 0.57, 0.44\norm{f - S_Nf}_2^2 = \frac{\pi^2}{3} - \sum_{n=1}^{N}\frac{2}{n^2} \qquad\text{~: numériquement } 1.29,\ 0.79,\ 0.57,\ 0.44

pour N=1,2,3,4N = 1, 2, 3, 4 — décroissante, mais lentement : le reste n>N2n22N\sum_{n>N}\frac2{n^2} \sim \frac2N est gouverné par la lente décroissance en 1n\frac1n des coefficients, elle-même la signature du saut (Exercice 14.6 lu à l’envers). Éclairage final : Parseval transforme la qualité d’approximation en un reste de série numérique — et prédit, avant tout dessin, que les sauts font converger les séries de Fourier à contrecœur.

Lire dans le chapitre →