ATLAS Ouvrir dans l'atlas →

Théorème 3Analyse de Fourier

Riemann-Lebesgue et critère de Dini

Énoncé

(i) Riemann-Lebesgue. Pour g∈L1([−π,π])g \in {L^1}([-\pi, \pi]), ∫g(t)cos⁡(λt) dt\int g(t)\cos(\lambda t)\,dt et ∫g(t)sin⁡(λt) dt\int g(t)\sin(\lambda t)\,dt tendent vers 0 quand le réel λ→+∞\lambda \to +\infty.

(ii) Dini. Soit ff intégrable sur une période, 2π2\pi-périodique, et xx tel que t↦f(x−t)−f(x)tt \mapsto \frac{f(x - t) - f(x)}{t} soit intégrable au voisinage de 00. Alors SNf(x)→f(x)S_Nf(x) \to f(x). C'est le cas si ff est dérivable en xx, ou lipschitzienne au voisinage de xx.

Démonstration

(i) Pour l'indicatrice d'un intervalle [a,b][a, b], ∫abcos⁡(λt) dt=sin⁡(λb)−sin⁡(λa)λ\int_a^b \cos(\lambda t)\,dt = \frac{\sin(\lambda b) - \sin(\lambda a)}{\lambda} est majoré par 2/λ2/\lambda. Par linéarité, l'énoncé vaut pour les fonctions en escalier, et par densité (Densité) pour toute g∈L1g \in L^1, puisque ∣∫(g−h)cos⁡(λt)∣⩽∥g−h∥1\big|\int (g - h)\cos(\lambda t)\big| \leqslant \|g - h\|_1.

(ii) Par Théorème de Fejér, (i), et 12π∫DN=1\frac1{2\pi}\int D_N = 1, SNf(x)−f(x)=12π∫−ππf(x−t)−f(x)sin⁡(t/2)sin⁡((N+12)t) dt.\begin{aligned} &S_Nf(x) - f(x) \\ &= \frac1{2\pi}\int_{-\pi}^\pi \frac{f(x - t) - f(x)}{\sin(t/2)} \\ &\qquad \sin\big((N + \tfrac12)t\big)\,dt. \end{aligned} Sur [−π,π][-\pi, \pi], ∣sin⁡(t/2)∣⩾∣t∣/π|\sin(t/2)| \geqslant |t|/\pi, par concavité du sinus sur [0,π2][0, \frac\pi2] ; la fonction g(t)=f(x−t)−f(x)sin⁡(t/2)g(t) = \frac{f(x - t) - f(x)}{\sin(t/2)} est donc intégrable, et l'on applique (i) avec λ=N+12\lambda = N + \frac12, en développant sin⁡((N+12)t)\sin((N + \frac12)t).

□
Remarque

Au point x=π2x = \frac\pi2, la série de f(x)=xf(x) = x donne π2=2(1−13+15−⋯)\frac\pi2 = 2\big(1 - \frac13 + \frac15 - \cdots\big), c'est-à-dire la formule de Leibniz π4=1−13+15−17+⋯\frac\pi4 = 1 - \frac13 + \frac15 - \frac17 + \cdots. Aux points de discontinuité de la fonction prolongée par périodicité, ±π\pm\pi, la série converge vers 00, moyenne des limites à gauche et à droite.

x −π π 2π −2π f S3f S20f
La fonction f(x)=xf(x) = x sur ]−π,π[]{-\pi}, \pi[, prolongée par périodicité (noir), et ses sommes partielles S3fS_3f (vert) et S20fS_{20}f (bleu) valent toutes 00 en ±π\pm\pi (points rouges), moyenne des limites π\pi et −π-\pi. Près des sauts, S20fS_{20}f dépasse nettement ±π\pm\pi : c'est le phénomène de Gibbs, que la convergence ponctuelle n'empêche pas.
Ouvrir dans l'atlas interactif →