Module

Convergence des séries de Fourier

Domaine
Analyse

Théorème de Dirichlet et régularisation

Théorème Convergence d’une série de Fourier

Soit \(f\) une fonction \(T\)-périodique et de classe \(\mathcal C^1\) par morceaux sur \(\mathbb R\).

Alors la série de Fourier de \(f\) converge pour tout réel \(x\) et, avec les notations de la définition de la série de Fourier, on a :

\[\forall x\in\mathbb R,\quad S(f)(x)=\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)\]

Remarques Remarques

Remarque Écriture de la somme de Fourier

Avec les notations de la définition de la série de Fourier, on a :

\[\forall x\in\mathbb R,\quad S(f)(x)=\lim_{n\to+\infty}S_n(f)(x)=\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)\]
\[\forall x\in\mathbb R,\quad a_0(f)+\sum_{n=1}^{+\infty}\left(a_n(f)\cos(n\omega x)+b_n(f)\sin(n\omega x)\right)=\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)\]
Remarque Valeur de la somme selon la continuité

Si \(f\) est continue en \(x\), on a :

\[\lim_{h\to0}\left(f(x+h)+f(x-h)\right)=2f(x)\qquad\text{soit}\qquad\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)=f(x)\]

Si \(f\) n’est pas continue en \(x\), \(\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)\) est la moyenne des limites à droite et à gauche de \(f\) en \(x\).

Exemple résolu Somme de la série alternée des inverses impairs réservé aux comptes

Définition Régularisée d’une fonction

Soit \(f\) une fonction définie sur \(\mathbb R\).

On appelle régularisée de \(f\), la fonction définie sur \(\mathbb R\) par :

\[x\longmapsto\frac{1}{2}\lim_{h\to0}\left(f(x+h)+f(x-h)\right)\]

Exemple résolu Détermination du graphe d’une régularisée réservé aux comptes

Corollaire Convergence pour une fonction continue

Soit \(f\) une fonction de \(\mathbb R\) dans \(\mathbb R\), continue sur \(\mathbb R\), \(T\)-périodique et de classe \(\mathcal C^1\) par morceaux sur \(\mathbb R\).

Alors la série de Fourier de \(f\) converge pour tout réel \(x\) et :

\[\forall x\in\mathbb R,\quad S(f)(x)=f(x)\]