Série de Fourier/Généralités

Début de la boite de navigation du chapitre

fin de la boite de navigation du chapitre

Nous partons d’une fonction réelle ou complexe $f$ de période $T>0$, définie sur un intervalle de longueur $T$, par exemple $[0;T]$; nous supposons que les formules d’Euler-Fourier lui sont applicables, et nous associons à $f$ la série trigonométrique qui possède les coefficients ainsi calculés. On dit que cette série est la série de Fourier de $f$.

Le problème qui se pose est double : étudier la convergence de la série de Fourier ainsi associée à $f$ ; si cette série converge, chercher si elle représente la fonction $f$.

Propriétés des coefficients de Fourier de $f$

À la fonction $f$, réelle ou complexe, intégrable sur $[0;T]$, nous associons les trois suites de coefficients :

Coefficients de Fourier de $f:\{\begin{array}{c}{a}_0=\frac{1}{T}{\int }_0^{T}f(x)dx(n=0)\\ a_n=\frac{2}{T}{\int }_0^{T}f(x)\cos \left(\frac{2\pi n}{T}x\right)dx(n\ge 1)\\ b_n=\frac{2}{T}{\int }_0^{T}f(x)\sin \left(\frac{2\pi n}{T}x\right)dx(n\ge 1)\end{array}$

Début d’un théorème

Théorème 1

Si $f$ est intégrable sur $[0;T]$, $a_n$ et $b_n$ tendent vers $0$ quand $n$ $\to +\mathrm{\infty }$.

Fin du théorème

Début d’un théorème

Théorème 2

Si $f$ admet sur $[0;T]$ une dérivée première continue, et si $f(0)=f(T)$, $n{a}_n$ et $n{b}_n$ tendent vers $0$.

Fin du théorème

Début d’un théorème

Théorème 3

Si $f$ est continûment dérivable sur $[0;T]$ jusqu'à l’ordre $k$, et si chacune des fonctions $f,f^{\prime },\dots ,f^{(k-1)}$ prend les mêmes valeurs en $0$ et $T$, alors $n^k{a}_n$ et $n^k{b}_n$ tendent vers $0$.

Fin du théorème

Début d’un théorème

Théorème 4

Si $f$ est réelle, bornée et monotone par morceaux sur $[0;T]$, les suites $(n{a}_n)$ et $(n{b}_n)$ sont bornées.

Fin du théorème