1 246 : Séries de Fourier. Exemples et applications.

246 Séries de Fourier. Exemples et applications.

I - Coefficients de Fourier
1. Définitions
[Z-Q]
Notation 1. — Pour tout 𝑝 ∈ [1, +∞], on note 𝐿𝑝2𝜋 l’espace des fonctions 𝑓 ∶ ℝ → ℂ, 2𝜋- p. 73

périodiques et mesurables, telles que ‖𝑓‖𝑝 < +∞.

— Pour tout 𝑛 ∈ ℤ, on note 𝑒𝑛 la fonction 2𝜋-périodique définie pour tout 𝑡 ∈ ℝ par
𝑒𝑛 (𝑡) = 𝑒 𝑖𝑛𝑡 .

Remarque 2.
1 ≤ 𝑝 < 𝑞 ≤ +∞ ⟹ 𝐿𝑞 ⊆ 𝐿𝑝 et ‖.‖𝑝 ≤ ‖.‖𝑞

Proposition 3. 𝐿22𝜋 est un espace de Hilbert pour le produit scalaire

1 2𝜋
⟨., .⟩ ∶ (𝑓, 𝑔) ↦ ∫ 𝑓(𝑡)𝑔(𝑡) d𝑡
2𝜋 0

[GOU20]
Définition 4. Soit 𝑓 ∈ 𝐿12𝜋 . On appelle : p. 268

— Coefficients de Fourier complexes, les complexes définis par

1 2𝜋
∀𝑛 ∈ ℤ, 𝑐𝑛 (𝑓) = ∫ 𝑓(𝑡)𝑒 −𝑖𝑛𝑡 d𝑡 = ⟨𝑓, 𝑒𝑛 ⟩
2𝜋 0

— Coefficients de Fourier réels, les complexes définis par

1 2𝜋 1 2𝜋
∀𝑛 ∈ ℕ, 𝑎𝑛 (𝑓) = ∫ 𝑓(𝑡) cos(𝑛𝑡) d𝑡 et ∀𝑛 ∈ ℕ∗ , 𝑏𝑛 (𝑓) = ∫ 𝑓(𝑡) sin(𝑛𝑡) d𝑡
𝜋 0 𝜋 0

Remarque 5. Soit 𝑓 ∈ 𝐿12𝜋 .

— On utilise en général les coefficients réels lorsque 𝑓 est à valeurs réelles.
— Si 𝑓 est paire (resp. impaire), les coefficients 𝑏𝑛 (𝑓) (resp. 𝑎𝑛 (𝑓)) sont nuls.
— ∀𝑛 ∈ ℕ, 𝑎𝑛 (𝑓) = 𝑐𝑛 (𝑓) + 𝑐−𝑛 (𝑓) et ∀𝑛 ∈ ℕ∗ , 𝑏𝑛 (𝑓) = 𝑖(𝑐𝑛 (𝑓) + 𝑐−𝑛 (𝑓)).
— On pourrait plus généralement définir les coefficients de Fourier d’une fonction 𝑇-
périodique pour toute période 𝑇 > 0.

p. 273

[Link]
2 246 : Séries de Fourier. Exemples et applications.

Exemple 6. On définit ∀𝛼 ∈ ℝ ∖ ℤ, 𝑓𝛼 ∶ 𝑡 ↦ cos(𝛼𝑡). Alors,

2𝛼 sin(𝛼𝜋)
∀𝑛 ∈ ℕ, 𝑎𝑛 (𝑓𝛼 ) = (−1)𝑛 et ∀𝑛 ∈ ℕ∗ , 𝑏𝑛 (𝑓𝛼 ) = 0
𝜋(𝛼 − 𝑛 )
2 2

2. Propriétés
a. L’algèbre 𝐿12𝜋

[BMP]
Proposition 7. Tout comme sur 𝐿1 (ℝ), on a un opérateur de convolution sur 𝐿12𝜋 : p. 125

1 2𝜋
∀𝑓, 𝑔 ∈ 𝐿12𝜋 , ∀𝑥 ∈ ℝ, 𝑓 ∗ 𝑔(𝑥) = ∫ 𝑓(𝑦)𝑔(𝑥 − 𝑦) d𝑦
2𝜋 0

qui munit 𝐿12𝜋 d’une structure d’algèbre normée.

[AMR08]
Proposition 8. Soient 𝑓 ∈ 𝐿12𝜋 , 𝑎 ∈ ℝ et 𝑘, 𝑛 ∈ ℤ. p. 174

(i) 𝑓 ∗ 𝑒𝑛 = 𝑐𝑛 (𝑓)𝑒𝑛 .
(ii) |𝑐𝑛 (𝑓)| ≤ ‖𝑓‖1 .
(iii) 𝑐−𝑛 (𝑓) = 𝑐𝑛 (𝑥 ↦ 𝑓(−𝑥)).
(iv) 𝑐𝑛 (𝑓) = 𝑐−𝑛 (𝑓).
(v) 𝑐𝑛 (𝑥 ↦ 𝑓(𝑥 − 𝑎)) = 𝑒𝑛 (𝑎)𝑐𝑛 (𝑓).
(vi) 𝑐𝑛 (𝑒𝑘 𝑓) = 𝑐𝑛−𝑘 (𝑓)𝑒𝑛 .
(vii) 𝑐𝑛 (𝑓 ′ ) = 𝑖𝑛𝑐𝑛 (𝑓) si 𝑓 est continue et 𝒞1 par morceaux.

[BMP]
Lemme 9 (Riemann-Lebesgue). Soit 𝑓 ∈ 𝐿12𝜋 . Alors (𝑐𝑛 (𝑓)) tend vers 0 lorsque 𝑛 tend vers p. 126

±∞.

Théorème 10. Soit 𝑐0 l’espace des suites de complexes qui convergent vers 0 en −∞ et +∞.
L’application
𝐿 2𝜋 → 𝑐0
ℱ∶ 1
𝑓 ↦ (𝑐𝑛 (𝑓))𝑛∈ℤ
est un morphisme d’algèbres de (𝐿12𝜋 , +, ∗, ‖.‖1 ) dans (𝑐0 , +, ⋅, ‖.‖∞ ) continu, de norme 1.

[Link]
3 246 : Séries de Fourier. Exemples et applications.

b. Propriétés hilbertiennes de 𝐿22𝜋

p. 109
Théorème 11. Soit 𝐻 un espace de Hilbert et (𝜖𝑛 )𝑛∈𝐼 une famille orthonormée dénombrable
de 𝐻. Les propriétés suivantes sont équivalentes :
(i) La famille orthonormée (𝜖𝑛 )𝑛∈𝐼 est une base hilbertienne de 𝐻.
(ii) ∀𝑥 ∈ 𝐻, 𝑥 = ∑+∞
𝑛=0 ⟨𝑥, 𝜖𝑛 ⟩𝜖𝑛 .

(iii) ∀𝑥 ∈ 𝐻, ‖𝑥‖2 = ∑+∞ 2

𝑛=0 |⟨𝑥, 𝜖𝑛 ⟩| .

Remarque 12. L’égalité du Théorème 11 Point (iii) est appelée égalité de Parseval.

p. 123
Théorème 13. La famille (𝑒𝑛 )𝑛∈ℤ est une base hilbertienne de 𝐿22𝜋 .

Corollaire 14. +∞
∀𝑓 ∈ 𝐿22𝜋 , 𝑓 = ∑ 𝑐𝑛 (𝑓)𝑒𝑛
𝑛=−∞

[GOU20]
𝑥2
Exemple 15. On considère 𝑓 ∶ 𝑥 ↦ 1 − 𝜋2
sur [−𝜋, 𝜋]. Alors, p. 272

𝜋4 +∞ 1
= ‖𝑓‖2 = ∑ 4
90 𝑛=0 𝑛

[BMP]
Remarque 16. L’égalité du Corollaire 14 est valable dans 𝐿22𝜋 , elle signifie donc que p. 124

𝑁
‖ ∑ 𝑐𝑛 (𝑓)𝑒𝑛 − 𝑓‖ ⟶𝑁→+∞ 0
𝑛=−𝑁 2

3. Séries de Fourier
[GOU20]
Définition 17. Soit 𝑓 ∈ 𝐿12𝜋 . On appelle série de Fourier associée à 𝑓 la série (𝑆𝑁 (𝑓)) définie p. 269

par
𝑁 𝑎0 (𝑓) 𝑁
(∗)
∀𝑁 ∈ ℕ, 𝑆𝑁 (𝑓) = ∑ 𝑐𝑛 (𝑓)𝑒𝑛 = + ∑ (𝑎𝑛 (𝑓) cos(𝑛𝑥) + 𝑏𝑛 (𝑓) sin(𝑛𝑥))
𝑛=−𝑁 2 𝑛=1

Remarque 18. L’égalité (∗) de la définition précédente est justifiée car,

∀𝑛 ∈ ℕ∗ , ∀𝑥 ∈ ℝ, 𝑐𝑛 (𝑓)𝑒 𝑖𝑛𝑥 + 𝑐−𝑛 (𝑓)𝑒 −𝑖𝑛𝑥 = 𝑎𝑛 (𝑓) cos(𝑛𝑥) + 𝑏𝑛 (𝑓) sin(𝑛𝑥)

[Link]
 4 246 : Séries de Fourier. Exemples et applications.

II - Divers modes de convergence

Nous avons vu que pour 𝑓 ∈ 𝐿22𝜋 , il y a convergence dans 𝐿22𝜋 de (𝑆𝑁 (𝑓)) vers 𝑓. Cette section est [AMR08]
dédiée à l’étude d’autres modes de convergence. En particulier, nous allons nous poser plusieurs p. 178

questions :
— Pour quelles fonctions 𝑓 y a-t-il convergence de (𝑆𝑁 (𝑓)) ?
— Y a-t-il convergence vers 𝑓 ?
— De quel type de convergence s’agit-il ?

1. Convergence au sens de Cesàro

p. 184
Définition 19. Pour tout 𝑁 ∈ ℕ, la fonction 𝐷𝑁 = ∑𝑁
𝑛=−𝑁 𝑒𝑁 est appelé noyau de Dirichlet
d’ordre 𝑁.

Proposition 20. Soit 𝑁 ∈ ℕ.

(i) 𝐷𝑁 est une fonction paire, 2𝜋-périodique, et de norme 1.
(ii)
sin ((𝑁 + 12 ) 𝑥)
∀𝑥 ∈ ℝ ∖ 2𝜋ℤ, 𝐷𝑁 (𝑥) =
sin ( 𝑥2 )

(iii) Pour tout 𝑓 ∈ 𝐿12𝜋 , 𝑆𝑁 (𝑓) = 𝑓 ∗ 𝐷𝑁 .

1
Définition 21. Pour tout 𝑁 ∈ ℕ, la fonction 𝐾𝑁 = 𝑁
∑𝑁−1
𝑗=0 𝐷𝑗 est appelé noyau de Fejér
d’ordre 𝑁.

Notation 22. Pour tout 𝑁 ∈ ℕ∗ , on note 𝜎𝑁 = 𝑁1 ∑𝑁−1

𝑘=0 𝑆𝑛 (𝑓) la somme de Cesàro d’ordre 𝑁
2𝜋
de la série de Fourier d’une fonction 𝑓 ∈ 𝐿1 .

Proposition 23. Soient 𝑁 ∈ ℕ∗ et 𝑓 ∈ 𝐿12𝜋 .

(i) 𝐾𝑁 est une fonction positive et de norme 1.
(ii)
𝑁𝑥 2
1 sin ( 2 )
∀𝑥 ∈ ℝ ∖ 2𝜋ℤ, 𝐾𝑁 (𝑥) = ( )
𝑁 sin ( 𝑥2 )
|𝑛|
(iii) 𝐾𝑁 = ∑𝑁
𝑛=−𝑁 (1 − 𝑁 ) 𝑒𝑛 .

(iv) 𝜎𝑁 (𝑓) = 𝑓 ∗ 𝐾𝑁 .

[DEV] p. 190

[Link]
5 246 : Séries de Fourier. Exemples et applications.

Théorème 24 (Fejér). Soit 𝑓 ∶ ℝ → ℂ une fonction 2𝜋-périodique.

(i) Si 𝑓 est continue, alors ‖𝜎𝑁 (𝑓)‖∞ ≤ ‖𝑓‖∞ et (𝜎𝑁 (𝑓)) converge uniformément vers 𝑓.
(ii) Si 𝑓 ∈ 𝐿𝑝2𝜋 pour 𝑝 ∈ [1, +∞[, alors ‖𝜎𝑁 (𝑓)‖𝑝 ≤ ‖𝑓‖𝑝 et (𝜎𝑁 (𝑓)) converge vers 𝑓 pour
‖.‖𝑝 .

Corollaire 25. L’espace des polynômes trigonométriques {∑𝑁 ℕ

𝑛=−𝑁 𝑐𝑛 𝑒𝑛 ∣ (𝑐𝑛 ) ∈ ℂ , 𝑁 ∈ ℕ}
est dense dans l’espace des fonction continues 2𝜋-périodiques pour ‖.‖∞ et est dense dans
𝐿𝑝2𝜋 pour ‖.‖𝑝 avec 𝑝 ∈ [1, +∞[.

[BMP]
Application 26. L’application ℱ du Théorème 10 est injective. p. 128

Application 27 (Théorème de Weierstrass). Toute fonction continue sur un intervalle com- [AMR08]
p. 192
pact [𝑎, 𝑏] est limite uniforme sur [𝑎, 𝑏] d’une suite de polynômes.

2. Convergence ponctuelle
[GOU20]
Théorème 28 (Dirichlet). Soient 𝑓 ∶ ℝ → ℂ 2𝜋-périodique, continue par morceaux sur ℝ et p. 271
𝑡0 ∈ ℝ tels que la fonction

𝑓(𝑡0 + ℎ) + 𝑓(𝑡0 − ℎ) − 𝑓(𝑡0+ ) − 𝑓(𝑡0− )

ℎ↦
ℎ
est bornée au voisinage de 0. Alors,

𝑓(𝑡0+ ) + 𝑓(𝑡0− )
𝑆𝑁 (𝑓)(𝑡0 ) ⟶𝑁→+∞
2

Contre-exemple 29. Soit 𝑓 ∶ ℝ → ℝ paire, 2𝜋-périodique telle que :

+∞ 1 3 𝑥
∀𝑥 ∈ [0, 𝜋], 𝑓(𝑥) = ∑ sin ((2𝑝 + 1) )
𝑝=1 𝑝 2
2

Alors 𝑓 est bien définie et continue sur ℝ. Cependant, sa série de Fourier diverge en 0.

Corollaire 30. Soient 𝑓 ∶ ℝ → ℂ 2𝜋-périodique, 𝒞1 par morceaux sur ℝ. Alors,

𝑓(𝑥+ ) + 𝑓(𝑥− )
∀𝑥 ∈ ℝ, 𝑆𝑁 (𝑓)(𝑥) ⟶𝑁→+∞
2
En particulier, si 𝑓 est continue en 𝑥, la série de Fourier de 𝑓 converge vers 𝑓(𝑥).

[Link]
6 246 : Séries de Fourier. Exemples et applications.

Exemple 31. En reprenant la fonction de l’Exemple 15,

2 4 +∞ cos(𝑛𝑥)
∀𝑥 ∈ [−𝜋, 𝜋], 𝑓(𝑥) = − 2 ∑ (−1)𝑛
3 𝜋 𝑛=1 𝑛2

3. Convergence normale
[BMP]
Proposition 32. Soit 𝑓 ∈ 𝐿12𝜋 et telle que sa série de Fourier converge normalement. Alors, la p. 128

somme 𝑔 ∶ 𝑥 ↦ ∑+∞ 𝑛=−∞ 𝑐𝑛 (𝑓)𝑒𝑛 (𝑥) est une fonction continue 2𝜋-périodique presque partout
égale à 𝑓. De plus, si 𝑓 est continue, l’égalité 𝑓(𝑥) = 𝑔(𝑥) est vraie pour tout 𝑥.

Proposition 33. Soit 𝑓 ∶ ℝ → ℂ 2𝜋-périodique continue et 𝒞1 par morceaux sur ℝ. Alors

(𝑆𝑁 (𝑓)) converge normalement vers 𝑓.

[AMR08]
Application 34 (Développement eulérien de la cotangente). p. 211

1 +∞ 2𝑢
∀𝑢 ∈ ℝ ∖ 𝜋ℤ, cotan(𝑢) = +∑ 2
𝑢 𝑛=1 𝑢 − 𝑛2 𝜋2

III - Applications
1. Calcul de sommes, de produits et d’intégrales
[GOU20]
Application 35. En utilisant l’Exemple 31, avec 𝑥 = 𝜋, on retrouve p. 272

+∞ 1 𝜋2
∑ =
𝑛=1 𝑛 6
2

Application 36.
+∞ 𝑡2
∀𝑡 ∈] − 𝜋, 𝜋[, sin(𝑡) = 𝑡 ∏ (1 − )
𝑛=1 𝑛2 𝜋 2

[AMR08]
Application 37 (Sommes de Gauss). p. 221

𝑚−1 2𝑖𝜋𝑛2 1 + 𝑖−𝑚

∀𝑚 ∈ ℕ∗ , ∑ 𝑒 𝑚 =
𝑛=0 1 + 𝑖−1

[Link]
 7 246 : Séries de Fourier. Exemples et applications.

Application 38 (Intégrales de Fresnel).

+∞ +∞ 1
∫ cos(2𝜋𝑢2 ) d𝑢 = ∫ sin(2𝜋𝑢2 ) d𝑢 =
−∞ −∞ 2

[AMR11]
1
Application 39. Soit 𝑎 > 0. En considérant la fonction 𝑡 ↦ cosh(𝑎)+cos(𝑡) , on en déduit que p. 325

𝜋 cos(𝑛𝑡) 𝜋𝑒 −𝑛𝑎
∀𝑛 ∈ ℕ, ∫ d𝑡 = (−1)𝑛
0 cosh(𝑎) + cos(𝑡) sinh(𝑎)

2. Équations fonctionnelles
[GOU20]
[DEV]
Théorème 40 (Formule sommatoire de Poisson). Soit 𝑓 ∶ ℝ → ℂ une fonction de classe 𝒞1 p. 284

telle que 𝑓(𝑥) = 𝑂 ( 𝑥12 ) et 𝑓 ′ (𝑥) = 𝑂 ( 𝑥12 ) quand |𝑥| ⟶ +∞. Alors :

̂
∀𝑥 ∈ ℝ, ∑ 𝑓(𝑥 + 𝑛) = ∑ 𝑓(2𝜋𝑛)𝑒 2𝑖𝜋𝑛𝑥
𝑛∈ℤ 𝑛∈ℤ

où 𝑓 ̂ désigne la transformée de Fourier de 𝑓.

Application 41 (Identité de Jacobi).

+∞ 2 1 +∞ 𝜋𝑛2
∀𝑠 > 0, ∑ 𝑒 −𝜋𝑛 𝑠 = ∑ 𝑒− 𝑠
𝑛=−∞ √𝑠 𝑛=−∞

3. Inégalités remarquables
[AMR08]
Application 42 (Inégalité isopérimétrique). Soit 𝛾 ∶ [0, 1] → ℝ2 une courbe de Jordan (ie. p. 215

𝛾(0) = 𝛾(1), 𝛾 est injective sur ]0, 1[ et 𝛾 ′ ≠ 0) de classe 𝒞1 de longueur 𝐿 et enfermant une
surface 𝑆. Alors,
𝐿2
𝑆≤
4𝜋
avec égalité si et seulement si 𝛾 définit un cercle.

Application 43 (Inégalité de Wirtinger). Soit 𝑓 ∶ [𝑎, 𝑏] → ℂ de classe 𝒞1 telle que 𝑓(𝑎) =

𝑓(𝑏) = 0. Alors,
𝑏 (𝑏 − 𝑎)2 2 𝑏 ′
∫ |𝑓(𝑥)|2 d𝑥 ≤ ∫ |𝑓 (𝑥)|2 d𝑥
𝑎 𝜋 𝑎
(𝑏−𝑎)2 2
De plus, la constante 𝜋
est optimale.

[Z-Q]
p. 106
[Link]
8 246 : Séries de Fourier. Exemples et applications.

Application 44 (Inégalité de Bernstein). Soient 𝜆 > 0 et 𝜆1 , … , 𝜆𝑛 ∈ ℝ distincts et tels que

max𝑗∈J1,𝑛K |𝜆𝑗 | < 𝜆. On définit
𝑛
ℎ ∶ 𝑡 ↦ ∑ 𝑎𝑗 𝑒 𝑖𝜆𝑗 𝑡 où 𝑎1 , … , 𝑎𝑛 ∈ ℂ
𝑗=1

Alors ℎ et sa dérivée ℎ′ sont bornées et on a :

‖ℎ′ ‖∞ ≤ 𝜆‖ℎ‖∞

[Link]
9 246 : Séries de Fourier. Exemples et applications.

Annexes

Hypothèses sur 𝑓 Convergence de sa série de Fourier (𝑆𝑁 (𝑓))

𝑓 ∈ 𝐿22𝜋 Convergence pour ‖.‖2 .

𝑓 continue Convergence uniforme au sens de Cesàro.

𝑓 ∈ 𝐿𝑝2𝜋 (𝑝 ∈ 𝐿𝑝 [1, +∞[) Convergence pour ‖.‖𝑝 au sens de Cesàro.

𝑓 𝒞1 par morceaux Convergence ponctuelle vers une valeur

moyenne.

𝑓 continue et 𝒞1 par morceaux Convergence normale.

FIGURE 1 – Convergence d’une série de Fourier selon les hypothèses sur la fonction de départ

[Link]
Bibliographie
Analyse de Fourier dans les espaces fonctionnels [AMR08]

Mohammed EL-AMRANI. Analyse de Fourier dans les espaces fonctionnels. Niveau M1. Ellipses,
28 août 2008.
[Link]
[Link].

Suites et séries numériques, suites et séries de fonctions [AMR11]

Mohammed EL-AMRANI. Suites et séries numériques, suites et séries de fonctions. Ellipses, 15 nov.
2011.
[Link]
[Link].

Objectif agrégation [BMP]

Vincent BECK, Jérome MALICK et Gabriel PEYRÉ. Objectif agrégation. 2e éd. H&K, 22 août 2005.
[Link]

Les maths en tête [GOU20]

Xavier GOURDON. Les maths en tête. Analyse. 3e éd. Ellipses, 21 avr. 2020.
https : / / www . editions - ellipses . fr / accueil / 10446 - les - maths - en - tete - analyse - 3e - edition -
[Link].

Analyse pour l’agrégation [Z-Q]

Claude ZUILY et Hervé QUEFFÉLEC. Analyse pour l’agrégation. Agrégation/Master Mathématiques.

5e éd. Dunod, 26 août 2020.
[Link]