ATS – Lycée Diderot

ATS Thème/semaine numéro Lycée Diderot

Other information 2020–2021

I Exercices
Exercice 0.1. Calculer les intégrales suivantes (𝑛 et 𝑚 sont des entiers naturels non nuls) :
2𝜋
1 1 2𝜋 1 2𝜋
∫ d𝑡, ∫ cos(𝑛𝑡) d𝑡, ∫ sin(𝑚𝑡) d𝑡
2𝜋 0 𝜋 0 𝜋 0
et
1 2𝜋 1 2𝜋 1 2𝜋
∫ cos(𝑛𝑡) cos(𝑚𝑡) d𝑡, ∫ sin(𝑛𝑡) sin(𝑚𝑡) d𝑡, ∫ cos(𝑛𝑡) sin(𝑚𝑡) d𝑡
𝜋 0 𝜋 0 𝜋 0
MUNKHUU-2020-2021-ATS-Diderot

On distinguera, éventuellement, les cas où 𝑚 = 𝑛 et où 𝑚 ≠ 𝑛.

Correction :

• Soit 𝑛, 𝑝 ∈ ℕ∗

1 𝜋
⟨𝑐𝑛 ; 𝑠𝑝 ⟩ = ∫ cos(𝑛𝑡) sin(𝑝𝑡) d𝑡
𝜋 −𝜋
1 − cos(𝑝𝑡)
] − ∫ 𝑛 sin(𝑛𝑡) cos 𝑝𝑡 d𝑡)
𝜋
 𝜋
= ([cos(𝑛𝑡)   car cos est paire
𝜋  𝑝 −𝜋 −𝜋 𝑝
1 sin(𝑝𝑡)𝜋 𝜋 sin(𝑝𝑡)
= − ([𝑛 sin(𝑛𝑡)
  
2
] − ∫ 𝑛2 cos(𝑛𝑡) d𝑡) car sin(𝜋) = sin(−𝜋) = 0
𝜋   
𝑝 −𝜋 −𝜋 𝑝2
𝑛2
= ⟨𝑐 ; 𝑠 ⟩
𝑝2 𝑛 𝑝
Finalement
𝑝 2 − 𝑛2
⟨𝑐𝑛 ; 𝑠𝑝 ⟩ =0
𝑝2
Donc si 𝑝 ≠ 𝑛, comme 𝑝, 𝑛 ⩾ 1 on a

⟨𝑐𝑛 ; 𝑠𝑝 ⟩ = 0

Enfin
1 𝜋 1 𝜋 cos(2𝑛𝑡) 𝜋
⟨𝑐𝑛 ; 𝑠𝑛 ⟩ = ∫ cos(𝑛𝑡) sin(𝑛𝑡) d𝑡 = ∫ sin(2𝑛𝑡) d𝑡 = [ ] =0
𝜋 −𝜋 2𝜋 −𝜋 2𝑛 −𝜋

car cos est 2𝜋 périodique.

0
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

On doit maintenant calculer (𝑛 ≠ 𝑝)

1 𝜋
⟨𝑐𝑛 ; 𝑐𝑝 ⟩ = ∫ cos(𝑛𝑡) cos(𝑝𝑡) d𝑡
𝜋 −𝜋
𝜋
1
= ∫ cos((𝑛 − 𝑝)𝑡) + cos((𝑛 + 𝑝)𝑡) d𝑡
2𝜋 −𝜋
1 sin((𝑛 − 𝑝)𝑡) 𝜋 sin((𝑛 + 𝑝)𝑡) 𝜋
= ([ ] +[ ] )
2𝜋 𝑛−𝑝 −𝜋 𝑛+𝑝 −𝜋
=0
MUNKHUU-2020-2021-ATS-Diderot

De même on a
cos(𝑎 − 𝑏) − cos(𝑎 + 𝑏)
⟨𝑠𝑛 ; 𝑠𝑝 ⟩ = 0 sin(𝑎) sin(𝑏) =
2
La famille (𝑡 ↦ cos(𝑛𝑡), 𝑡 ↦ sin(𝑝𝑡))𝑛,𝑝⩾1 est orthogonale.
On calcule maintenant
1 𝜋
||𝑐𝑛 ||2 = ⟨𝑐𝑝 ; 𝑐𝑝 ⟩ = ∫ cos(𝑛𝑡) cos(𝑛𝑡) d𝑡
𝜋 −𝜋
𝜋
1
= ∫ 1 + cos(2𝑛𝑡) d𝑡
2𝜋 −𝜋
𝜋 𝜋
1 1
= ∫ d𝑡 + ∫ cos(2𝑛𝑡) d𝑡
2𝜋 −𝜋 2𝜋 −𝜋
sin(2𝑛𝑡) 𝜋
=1+[ ]
4𝑛𝜋 −𝜋
=1+0=1

De même
||𝑠𝑝 ||2 = ⟨𝑠𝑝 ; 𝑠𝑝 ⟩ = 1

La famille (𝑡 ↦ cos(𝑛𝑡), 𝑡 ↦ sin(𝑝𝑡))𝑛,𝑝⩾1 est orthonormée.

Attention : :
1 𝜋
||𝑐0 ||2 = ⟨𝑐0 ; 𝑐0 ⟩ = ∫ d𝑡 = 2 ⟨𝑐0 ; 𝑐𝑛 ⟩ = 0, ⟨𝑐0 ; 𝑠𝑝 ⟩ = 0
𝜋 −𝜋

Exercice 0.2. Donner le développement en série de Fourier de la fonction f : [−2; 2] ⟶ ℝ,

𝑥 ⟼ |𝑥|.

Correction :
On prolonge 𝑓 sur ℝ par périodicité en une fonction 4-périodique
2𝜋 𝜋
On a 𝑇 = 4, 𝜔 = =
4 2
La fonction est continue sur ] − 2, 2[ car c’est la valeur absolue et 𝑓(−2) = 2 = 𝑓(2).
La fonction est donc continue.
La fonction est paire sur [−2; 2] qui est centré en 0 et de longueur 4 ; la fonction est

1
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

donc paire sur ℝ.

Donc les coefficients
2 𝑇 1 4 𝑛𝜋𝑡
𝑏𝑛 (𝑓) = ∫ 𝑓(𝑡) sin(𝑛𝜔𝑡) d𝑡 = ∫ 𝑓(𝑡) sin( ) d𝑡 = 0
𝑇 0 2 0 2

sont nuls
On calcule 𝑎0 (𝑓) :

1 𝑇 1 𝑇 /2 2 𝑇 /2 1 2 1
𝑎0 (𝑓) = ∫ 𝑓(𝑡) d𝑡 = ∫ 𝑓(𝑡)𝑑𝑡 = ∫ 𝑓(𝑡)𝑑𝑡 = ∫ 𝑡 d𝑡 = [𝑡2 ]20 = 1
MUNKHUU-2020-2021-ATS-Diderot

𝑇 0 𝑇 −𝑇 /2 𝑇 0 2 0 4

Soit 𝑛 ⩾ 1, et on calcule 𝑎𝑛 (𝑓) :

2 𝑇 /2
𝑎𝑛 (𝑓) = ∫ 𝑓(𝑡) cos(𝑛𝜔𝑡) d𝑡
𝑇 −𝑇 /2
4 𝑇 /2
= ∫ 𝑓(𝑡) cos(𝑛𝜔𝑡) d𝑡 car 𝑓 est pair
𝑇 0
2
𝑛𝜋𝑡
= ∫ 𝑡 cos( )𝑑𝑡
0 2
𝐼𝑃 𝑃 2 sin(𝑛𝜋𝑡/2) 2 2 2 sin(𝑛𝜋𝑡/2)
= [𝑡 ] −∫ d𝑡
𝑛𝜋 0 0 𝑛𝜋
4
= 0 − 2 2 [− cos(𝑛𝜋𝑡/2)]20
𝑛 𝜋
4
= 2 2 [cos(𝑛𝜋𝑡/2)]20
𝑛 𝜋
4
= 2 2 ((−1)𝑛 − 1)
𝑛 𝜋

On a donc :
0 si 𝑛 = 2𝑘 ⩾ 2
𝑎𝑛 (𝑓) = { −8
(2𝑘+1)2 𝜋2
si 𝑛 = 2𝑘 + 1 ⩾ 1

La série de Fourier de 𝑓 est donc :

+∞ +∞
𝑛𝜋𝑥 −8 (2𝑘 + 1)𝜋𝑥
𝑆(𝑓)(𝑥) = 1 + ∑ 𝑎𝑛 (𝑓) cos( )=1+∑ cos( )
𝑛=1
2 𝑘=0
(2𝑘 + 1)2 𝜋2 2

Exercice 0.3. Soit la fonction 2𝜋-périodique définie par 𝑓(𝑥) = 𝑥2 − 𝜋2 sur [−𝜋; 𝜋].

1. Représenter 𝑓.

2. Déterminer sa série de Fourier.

(−1)𝑛 1
3. Calculer la sommes des séries ∑ 2
et ∑ 2
𝑛=1 𝑛 𝑛=1 𝑛

2
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Correction :

1.

2. Brouillon :
+∞
Série de Fourier : 𝑆(𝑓)(𝑡) = 𝑎0 (𝑓) + ∑ (𝑎𝑛 (𝑓) cos(𝑛𝜔𝑡) + 𝑏𝑛 (𝑓) sin(𝑛𝜔𝑡))
𝑛=1
Il va falloir calculer 𝑎0 (𝑓), 𝑎𝑛 (𝑓) et 𝑏𝑛 (𝑓) et 𝜔.
MUNKHUU-2020-2021-ATS-Diderot

2 𝑇
On a par ailleurs 𝑎𝑛 (𝑓) = ∫ 𝑓(𝑡) cos(𝑛𝜔𝑡) d𝑡
𝑇 0
Correction :
On a 𝑇 = 2𝜋 et 𝜔 = 2𝜋
2𝜋
=1
La fonction est paire sur l’intervalle [−𝜋; 𝜋] qui est centré sur 0 et de longueur 2𝜋,
la fonction est donc paire.
On a donc 𝑏𝑛 (𝑓) = 0 pour 𝑛 ⩾ 1.
On calcule maintenant 𝑎0 :

1 𝑇
𝑎0 (𝑓) = ∫ 𝑓(𝑡) d𝑡
𝑇 0
1 𝑇 /2
= ∫ 𝑓(𝑡) d𝑡
𝑇 −𝑇 /2
2 𝑇 /2
= ∫ 𝑓(𝑡) d𝑡 car 𝑓 est paire
𝑇 0
1 𝜋
= ∫ (𝑡2 − 𝜋2 ) d𝑡
𝜋 0
𝜋
1 𝑡3
= [ − 𝜋2 𝑡]
𝜋 3 0
−2𝜋2
=
3

3
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Soit 𝑛 ⩾ 1. On calcule

2 𝜋
𝑎𝑛 (𝑓) = ∫ 𝑓(𝑡) cos(𝑛𝜔𝑡) d𝑡
𝑇 −𝜋
4 𝜋
= ∫ (𝑡2 − 𝜋2 ) cos(𝑛𝑡) d𝑡
𝑇 0
2 𝜋 2𝜋2 𝜋
= ∫ 𝑡2 cos(𝑛𝑡) d𝑡 − ∫ cos(𝑛𝑡) d𝑡
𝜋 0 𝜋 0
2 sin(𝑛𝑡) 𝜋 2 𝜋 sin(𝑛𝑡)
= [𝑡2 d𝑡 − 0 car [sin(𝑛𝑡)]𝜋0 = 0
MUNKHUU-2020-2021-ATS-Diderot

] − ∫ 2𝑡
𝜋 𝑛 0 𝜋 0 𝑛
4 𝑡 cos(𝑛𝑡) 𝜋 𝜋 − cos(𝑛𝑡)
=0− ([− ] −∫ d𝑡)
𝑛𝜋 𝑛 0 0 𝑛
𝑛
4 (−1) 𝜋 1 𝜋
= ( − ∫ cos(𝑛𝑡) d𝑡)
𝑛𝜋 𝑛 𝑛 0
4 sin(𝑛𝑡)
𝑛 𝜋
4(−1) 

= − [ ]
𝑛2 𝜋𝑛2  𝑛

0
𝑛
4(−1)
= .
𝑛2

On en déduit que la série de Fourier de 𝑓 est pour 𝑥 ∈ ℝ :

+∞
𝑆(𝑓)(𝑥) = 𝑎0 (𝑓) + ∑ 𝑎𝑛 (𝑓) cos(𝑛𝑥)
𝑛=1
2 +∞ 𝑛
−2𝜋 4(−1)
= +∑ cos(𝑛𝑥)
3 𝑛=1 𝑛2

Donc
+∞ 𝑛
−2𝜋2 (−1)
𝑆(𝑓)(𝑥) = + 4∑ cos(𝑛𝑥)
3 𝑛=1 𝑛2

(−1)𝑛
3. Étude de ∑
𝑛2
Avec 𝑥 = 0 on a cos(𝑛𝑥) = 1 pour tout 𝑛 et
𝑁 𝑁
(−1)𝑛 (−1)𝑛
∑ cos(𝑛𝑥) = ∑
𝑛=1 𝑛2 𝑛=1 𝑛2

La fonction 2𝜋 périodique définie par 𝑡 ↦ 𝑡2 − 𝜋2 sur [−𝜋; 𝜋] est 𝒞1 par morceaux.

Comme
lim 𝑓(𝑡) = 2 = lim− 𝑓(𝑡),
𝑡⟶−𝜋+ 𝑡⟶𝜋

la fonction est continue et donc égale à sa régularisée.

4
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Le théorème de Dirichlet assure que pour tout 𝑥 ∈ ℝ, la serie de Fourier en 𝑥

converge vers 𝑓(𝑥) :
+∞ 𝑛
−2𝜋2 (−1)
𝑆(𝑓)(𝑥) = + 4∑ cos(𝑛𝑥) = 𝑓(𝑥)
3 𝑛=1 𝑛2

On prend 𝑥 = 0 et on obtient
+∞ 𝑛
−2𝜋2 (−1)
𝑆(𝑓)(0) = + 4∑ = 𝑓(0) = −𝜋2
MUNKHUU-2020-2021-ATS-Diderot

3 𝑛2
𝑛=1

On en déduit
+∞
(−1)𝑛 −𝜋3
4∑ =
𝑛=1 𝑛2 3
et
+∞
(−1)𝑛 −𝜋3
∑ =
𝑛=1 𝑛2 12

1
Étude de ∑
𝑛2
Comme précédemment, le théorème de Dirichlet appliqué en 𝑥 = 𝜋 donne
+∞
−2𝜋2 1
𝑆(𝑓)(𝜋) = + 4 ∑ 2 = 𝑓(𝜋) = 0
3 𝑛=1 𝑛

On en déduit
+∞
1 2𝜋2
4∑ 2
=
𝑛=1 𝑛
3
et donc
+∞
1 𝜋2
∑ 2
=
𝑛=1 𝑛
6

Exercice 0.4. Soient un réel 𝑎 > 0 et 𝑓 la fonction 2𝜋-périodique définie par

∀𝑥 ∈] − 𝜋; 𝜋], 𝑓(𝑥) = ch (𝑎𝑥).

1. Représenter graphiquement 𝑓.

2. Calculer les coefficients de Fourier réels de 𝑓.

Correction :
𝑓 est 2𝜋-périodique, continue par morceaux sur ℝ et paire. Pour 𝑛 ∈ ℕ∗ , 𝑏𝑛 (𝑓) = 0
puis pour 𝑛 ∈ ℕ, 𝑎𝑛 (𝑓) = 𝜋1 ∫−𝜋
𝜋
ch (𝑎𝑥) cos(𝑛𝑥) 𝑑𝑥.
1ère solution. Soit 𝑛 ∈ ℕ.

5
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

𝜋 𝜋 𝜋
1 1
𝑎𝑛 (𝑓) = Re (∫ ch (𝑎𝑥)𝑒𝑖𝑛𝑥 𝑑𝑥) = Re (∫ 𝑒(𝑎+𝑖𝑛)𝑥 𝑑𝑥 + ∫ 𝑒(−𝑎+𝑖𝑛)𝑥 𝑑𝑥)
𝜋 −𝜋 2𝜋 −𝜋 −𝜋
1 𝑒(𝑎+𝑖𝑛)𝜋 − 𝑒−(𝑎+𝑖𝑛)𝜋 𝑒(−𝑎+𝑖𝑛)𝜋 − 𝑒−(−𝑎+𝑖𝑛)𝜋
= Re ( + )
2𝜋 𝑎 + 𝑖𝑛 −𝑎 + 𝑖𝑛
(−1)𝑛 2 sh (𝑎𝜋) −2 sh (𝑎𝜋)
= Re ( + )
2𝜋 𝑎 + 𝑖𝑛 −𝑎 + 𝑖𝑛
(−1)𝑛 sh (𝑎𝜋) 𝑎 − 𝑖𝑛 𝑎 + 𝑖𝑛
Re ( 2
MUNKHUU-2020-2021-ATS-Diderot

= 2
+ 2 )
𝜋 𝑎 +𝑛 𝑎 + 𝑛2
2𝑎 sh (𝑎𝜋) (−1)𝑛
= × 2
𝜋 𝑛 + 𝑎2

2ème solution. Une double intégration par parties fournit

1 sh (𝑎𝑥) 𝜋
𝑛 𝜋
𝑎𝑛 (𝑓) = ([ cos(𝑛𝑥)] + ∫ sh (𝑎𝑥) sin(𝑛𝑥) 𝑑𝑥)
𝜋 𝑎 −𝜋 𝑎 −𝜋
1 2(−1) sh (𝑎𝜋) 𝑛
𝑛 𝜋
= ( + ∫ sh (𝑎𝑥) sin(𝑛𝑥) 𝑑𝑥)
𝜋 𝑎 𝑎 −𝜋
1 2(−1) 𝑛
sh (𝑎𝜋) 𝑛 ch (𝑎𝑥) 𝜋
𝑛 𝜋
= ( + ([ sin(𝑛𝑥)] − ∫ ch (𝑎𝑥) cos(𝑛𝑥) 𝑑𝑥))
𝜋 𝑎 𝑎 𝑎 −𝜋 𝑎 −𝜋
2(−1) sh (𝑎𝜋) 𝑛
𝑛 2
= − 2 𝑎𝑛 (𝑓),
𝑎𝜋 𝑎

2(−1)𝑛 sh (𝑎𝜋) 𝑎2 2𝑎 sh (𝑎𝜋) (−1)𝑛

et donc ∀𝑛 ∈ ℕ, 𝑎𝑛 (𝑓) = 𝑎𝜋
× 𝑛2 +𝑎2
= 𝜋
× 𝑛2 +𝑎2
.

(−1)𝑛 1
3. Calculer la sommes des séries ∑ 2 2
et ∑ 2 2
𝑛=1 𝑎 + 𝑛 𝑛=1 𝑎 + 𝑛

Correction :
La fonction 𝑓 est 2𝜋-périodique, continue sur ℝ et de classe 𝐶 1 par morceaux sur
ℝ. D’après le théorème de Dirichlet, la série de Fourier de 𝑓 converge vers 𝑓
sur ℝ. On en déduit que

sh (𝑎𝜋) 2𝜆 sh (𝑎𝜋) (−1)𝑛

∀𝑥 ∈ ℝ, 𝑓(𝑥) = 𝑎𝜋
+ 𝜋
∑+∞
𝑛=1 𝑛2 +𝑎2
cos(𝑛𝑥).

sh (𝑎𝜋) 2𝑎 sh (𝑎𝜋) (−1)𝑛

L’égalité 𝑓(0) = 1 fournit 1 = 𝑎𝜋
+ 𝜋
∑+∞
𝑛=1 𝑛2 +𝑎2
et donc

(−1)𝑛 𝜋 sh (𝑎𝜋) 𝜋(sh (𝑎𝜋)−𝜋𝑎)

∑+∞
𝑛=1 𝑛2 +𝑎2
= 2𝑎 sh (𝑎𝜋)
(1 − 𝑎𝜋
) = 2𝑎2 𝜋 sh (𝑎𝜋)

et l’égalité 𝑓(𝜋) = ch (𝑎𝜋) fournit

6
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

1 𝜋 sh (𝑎𝜋) 𝑎𝜋 ch (𝑎𝜋)−sh (𝑎𝜋)

∑+∞
𝑛=1 𝑛2 +𝑎2
= 2𝑎 sh (𝑎𝜋)
(ch (𝑎𝜋) − 𝑎𝜋
) = 2𝑎2 sh (𝑎𝜋)

(−1)𝑛 𝑎𝜋 ch (𝑎𝜋)−sh (𝑎𝜋)

∀𝑎 > 0, ∑+∞
𝑛=1 𝑛2 +𝑎2
= 𝜋
2𝑎 sh (𝑎𝜋)
et ∑+∞
𝑛=1
1
𝑛2 +𝑎2
= 2𝜆2 sh (𝑎𝜋)
.

+∞
1
4. Calculer ∑ 2 + 𝑛2 )2
𝑛=1 (𝑎
MUNKHUU-2020-2021-ATS-Diderot

Correction :
La fonction 𝑓 est 2𝜋-périodique, continue par morceaux sur ℝ. L’égalité de Parse-
(𝑎 (𝑓))2
val s’écrit 0 2 + ∑+∞ 𝑛=1 ((𝑎𝑛 (𝑓)) + (𝑏𝑛 (𝑓)) ) = 𝜋 ∫−𝜋 (𝑓(𝑥)) 𝑑𝑥 avec
2 2 1 𝜋 2

1 𝜋 ch (2𝑎𝑥)+1 sh (2𝑎𝜋)
1 𝜋
∫ (𝑓(𝑥))2
𝜋 −𝜋
𝑑𝑥 = ∫ ch 2 (𝑎𝑥)
1 𝜋
𝜋 −𝜋
𝑑𝑥 = ∫
𝜋 −𝜋 2
𝑑𝑥 = 1 + 2𝜋
,

sh (2𝑎𝜋) 2 sh 2 (𝑎𝜋) 4𝑎2 sh 2 (𝑎𝜋)

et donc 1 + 2𝜋
= 𝜋2 𝑎2
+ 𝜋2
∑+∞
𝑛=1
1
(𝑎2 +𝑛2 )2
puis

𝜋2 sh (2𝑎𝜋) 2 sh 2 (𝑎𝜋) 2𝜋2 𝑎2 +𝜋𝑎 sh (2𝑎𝜋)−4𝑎2 sh 2 (𝑎𝜋)

∑+∞
𝑛=1
1
(𝑎2 +𝑛2 )2
= 4𝑎2 sh 2 (𝑎𝜋)
(1 + 2𝜋
− 𝜋2 𝑎2
) = 8𝑎4 sh 2 (𝑎𝜋)
.

𝜋2 𝑎2 +𝜋𝑎 ch (𝑎𝜋) sh (𝑎𝜋)−2𝑎2 sh 2 (𝑎𝜋)

∀𝑎 > 0, ∑+∞
𝑛=1
1
(𝑎2 +𝑛2 )2
= 4𝑎2 sh 2 (𝜆𝜋)
.

Exercice 0.5 ( Inégalité de Wirtinger). Soit 𝑓 une fonction définie et de classe 𝒞1 sur ℝ, 2𝜋–pé-
riodique.
1. Exprimer les coefficients de Fourier de 𝑓 en fonction de ceux de sa dérivée 𝑓 ′ .
2𝜋 2𝜋
2. Montrer que si ∫02𝜋 𝑓(𝑡) d𝑡 = 0 alors ∫ |𝑓(𝑡)2 d𝑡 ⩽ ∫ (𝑓(𝑡)′ )2 d𝑡
0 0

3. Étudier les cas d’égalité.

Correction :
Parceval por 𝑓 et 𝑓 ′ .

Exercice 0.6 ( Convergence absolue de la série de Fourier d’une fonction 𝒞2 ). Soit 𝑓 une fonction
définie et de classe 𝒞2 sur ℝ, 2𝜋–périodique. On note (𝑎𝑛 )𝑛∈ℕ les coefficients de Fourier de 𝑓 des
termes en cosinus de la série.
1. Montrer qu’il existe 𝑀 > 0 tel que ∀𝑛 ∈ ℕ∗ , |𝑎𝑛 | ⩽ 𝑀
𝑛2
.
2. Majorer de même les coefficients de Fourier des termes en sinus de la série de Fourier de 𝑓.
3. Montrer que pour tout 𝑥 réel, la série de Fourier de 𝑓 évaluée en 𝑥 converge absolument.

7
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Correction :
IPP puis serie de Rieman

Exercice 0.7. Soit 𝑓 une fonction continue par morceaux sur ℝ et 2𝜋–périodique. On note (𝑎𝑛 )
(respectivement (𝑏𝑛 )) les coefficients de Fourier en cosinus (respectivement en sinus) de sa série de
Fourier.
|𝑎 | |𝑏 |
Démontrer que les séries ∑ 𝑛 et ∑ 𝑛 convergent.
𝑛 𝑛

Correction :
Cauchy Schwarz sur les serie et Parceval

0 si 0 ⩽ 𝑥 ⩽ 𝜋
Exercice 0.8. On note 𝑓 la fonction de période 2𝜋 sur ℝ, et telle que 𝑓(𝑥) = {
− sin(𝑥) si 𝜋 ⩽ 𝑥 ⩽ 2𝜋
+∞
Sa série de Fourier est notée 𝑆𝑓 (𝑥), avec 𝑆𝑓 (𝑥) = 𝑎0 + ∑(𝑎𝑛 cos(𝑛𝑥) + 𝑏𝑛 sin(𝑛𝑥))
𝑛=1
Partie A

1. Calculer 𝑎0 , 𝑎1 et 𝑏1 .

Correction :
On calcule 𝑎0

1 𝑇
𝑎0 = ∫ 𝑓(𝑡) d𝑡
𝑇 0
𝜋 2𝜋
1 1
= ∫ 𝑓(𝑡) d𝑡 + ∫ 𝑓(𝑡) d𝑡
2𝜋 0 2𝜋 𝜋
2𝜋
1
= ∫ − sin(𝑡) d𝑡
2𝜋 𝜋
1
= [cos(𝑡)]2𝜋
𝜋
2𝜋
1 1
= (1 + 1) =
2𝜋 𝜋

On calcule 𝑎1 (∀𝑡 ∈ [0; 𝜋] 𝑓(𝑡) = 0) :

2 𝑇
𝑎1 = ∫ 𝑓(𝑡) cos(𝜔𝑡) d𝑡
𝑇 0
1 2𝜋
= ∫ − sin(𝑡) cos(𝑡) d𝑡 𝜔=1
𝜋 𝜋
−1 2𝜋 1
= ∫ sin(2𝑡) d𝑡
𝜋 𝜋 2
−1
= [− cos(2𝑡)]2𝜋
𝜋
4𝜋
-Diderot

=0

8
ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

On calcule 𝑏1 (∀𝑡 ∈ [0; 𝜋] 𝑓(𝑡) = 0) :

1 2𝜋
𝑏1 = ∫ − sin(𝑡)2 d𝑡
𝜋 𝜋
1 2𝜋 1
= ∫ (cos(2𝑡) − 1) d𝑡
𝜋 𝜋 2
2𝜋
1 −1 1 2𝜋
= (∫ d𝑡 + ∫ cos(2𝑡) d𝑡)
𝜋 𝜋 2 2 𝜋
1 −𝜋 1
= ( + [sin(2𝑡)]2𝜋𝜋 )
𝜋 2 4
−1
=
2

2. Montrer que si 𝑛 ⩾ 2, 𝑏𝑛 = 0, et calculer 𝑎𝑛 en distinguant le résultat selon que 𝑛 est pair ou

impair.
Écrire la série de Fourier de 𝑓.

Correction :

Soit 𝑛 ⩾ 2 On a :

2 𝑇
𝑏𝑛 = ∫ 𝑓(𝑡) sin(𝑛𝑡) d𝑡
𝑇 0
1 2𝜋
= ∫ − sin(𝑡) sin(𝑛𝑡) d𝑡 car 𝑓|[0;𝜋] = 0
𝜋 𝜋
1 2𝜋 cos((𝑛 + 1)𝑡) − cos((𝑛 − 1)𝑡)
= ∫ d𝑡
𝜋 𝜋 2
1 sin((𝑛 + 1)𝑡 sin((𝑛 − 1)𝑡)
2𝜋
= [ − ] 𝑛⩾2
2𝜋 𝑛+1 𝑛−1 𝜋
=0 car ∀𝑘 ∈ ℤ sin(𝑘𝜋) = 0.

On a aussi :
2 2𝜋
𝑎𝑛 = ∫ 𝑓(𝑡) cos(𝑛𝑡) d𝑡
𝑇 0
1 2𝜋
= ∫ − sin(𝑡) cos(𝑛𝑡) d𝑡 car 𝑓|[0;𝜋] = 0
𝜋 𝜋
1 2𝜋 sin((𝑛 + 1)𝑡) − sin((𝑛 − 1)𝑡)
= ∫ − d𝑡
𝜋 𝜋 2
1 cos((𝑛 + 1)𝑡 cos((𝑛 − 1)𝑡)
2𝜋
= [ − ] 𝑛⩾2
2𝜋 𝑛+1 𝑛−1 𝜋
𝑛+1
1 1 − (−1) 1 − (−1)𝑛−1
= ( − ) car ∀𝑘 ∈ ℤ cos(𝑘𝜋) = (−1)𝑘 .
2𝜋 𝑛+1 𝑛−1

9
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Pour 𝑘 ⩾ 1 on a donc
1 −4 −2
𝑎2𝑘 = ⋅ 2 = et 𝑎2𝑘+1 = 0
2𝜋 4𝑘 − 1 𝜋(4𝑘2 − 1)

1
3. Justifier que 𝑓(𝜋) = 𝑆𝑓 (𝜋), et en déduire la valeur de la série numérique ∑ .
4𝑝2−1

Correction :
La fonction 𝑓 est 𝒞1 sur [0; 𝜋] et sur [𝜋; 2𝜋] avec 𝑓(0) = 0 = 𝑓(𝜋) = 𝑓(2𝜋) car les
fonction 𝑥 ↦ 0 et 𝑥 ↦ − sin(𝑥) le sont. La fonction est donc 𝒞1 par morceaux sur
ℝ et même continue sur ℝ (et donc égale à sa régularisée).
D’après le théorème de Dirichlet, la série de Fourier 𝑆𝑓 (𝑥) de 𝑓 converge vers 𝑓(𝑥)
en tout point 𝑥 réel (𝑓 est continue donc égale à sa régularisée) :
+∞
∀𝑥 ∈ ℝ 𝑓(𝑥) = 𝑆𝑓 (𝑥) = 𝑎0 + 𝑏1 sin(𝑥) + ∑ 𝑎2𝑘 cos(2𝑘𝑥)
𝑘=1
+∞
MUNKHUU-2020-2021-ATS-Diderot

1 1 −2
= − sin(𝑥) + ∑ 2 − 1)
cos(2𝑘𝑥)
𝜋 2 𝑘=1
𝜋(4𝑘

car 𝑎1 = 0 et pour 𝑛 ⩾ 2 on a 𝑏𝑛 = 0 et 𝑎2𝑘+1 = 0 pour 𝑘 ⩾ 0.

Pour 𝑥 = 𝜋 on a donc :
+∞
1 −2
𝑓(𝜋) = 0 = +∑ ,
𝜋 𝑘=1 𝜋(4𝑘2 − 1)

car sin(𝜋) = 0 et cos(2𝑘𝜋) = 1 pour 𝑘 ∈ ℤ.

On en déduit que
+∞
1 2
=∑ 2
𝜋 𝑘=1 𝜋(4𝑘 − 1)
puis que
+∞
1 1
∑ = .
𝑘=1
4𝑘2 −1 2

sin(𝑥)
4. Quelle est la série de Fourier de 𝑔(𝑥) = 𝑓(𝑥) + ? Donner une expression plus simple de
2
g.
Montrer que g est paire et la représenter graphiquement sur R.

Correction :

10
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

sin(𝑥)
Les coefficients de Fourier de 𝑥 ↦ 2
sont

1
𝑏1 = , ∀𝑛 ⩾ 2 𝑏𝑛 = 0, ∀𝑛 ⩾ 𝑎𝑛 = 0
2

sin(𝑥)
La série de Fourier de 𝑔 est la somme de celle de 𝑓 et de celle de 𝑥 ↦ 2
. En
reprenant l’expression de 𝑆𝑓 (𝑥) donnée plus haut on a :
+∞
1 1 −2 1
𝑆𝑔 (𝑥) = − sin(𝑥) + ∑ 2
cos(2𝑘𝑥) + sin(𝑥)
𝜋 2 𝑘=1
𝜋(4𝑘 − 1) 2
+∞
1 −2
= +∑ cos(2𝑘𝑥)
𝜋 𝑘=1 𝜋(4𝑘2 − 1)

Soit 𝑥 ∈ [0; 𝜋] on a alors

sin(𝑥) sin(𝑥) sin(𝑥)

𝑔(𝑥) = 𝑓(𝑥) + =0+ =
2 2 2
Soit 𝑥 ∈ [𝜋; 2𝜋] on a alors

sin(𝑥) sin(𝑥) sin(𝑥)

𝑔(𝑥) = 𝑓(𝑥) + = − sin(𝑥) + =−
2 2 2

Ainsi pour 𝑥 ∈ [−𝜋; 0], on a 𝑥 + 2𝜋 ∈ [𝜋; 2𝜋] et

sin(𝑥 + 2𝜋) sin(𝑥) sin(𝑥)

𝑔(𝑥) = 𝑔(𝑥 + 2𝜋) = − =− =∣ ∣
MUNKHUU-2020-2021-ATS-Diderot

2 2 2

car sin ⩽ 0 sur [−𝜋; 0].

Ainsi pour 𝑥 ∈ [−𝜋; 𝜋], la fonction 𝑔 est définie par

sin(𝑥)
𝑔(𝑥) = ∣ ∣
2

car le sin est positif sur [0, 𝜋]. L’intervalle [−𝜋; 𝜋] étant centré sur 0 et de longueur
2𝜋 la fonction 𝑔 est donc paire (sur ℝ) et par ailleurs :

sin(𝑥)
∀𝑥 ∈ ℝ 𝑔(𝑥) = ∣ ∣
2

car la fonction sin est 2𝜋 périodique.

Partie B.
Soit plus généralement ℎ, de période 2𝜋 continue de classe 𝒞1 par intervalles et telle que
ℎ(0) = ℎ(2𝜋). On note 𝑎𝑛 (ℎ), 𝑏𝑛 (ℎ) les coefficients de Fourier de ℎ et 𝑎𝑛 (ℎ′ ), 𝑏𝑛 (ℎ′ ) ceux de
la dérivée ℎ′ .

5. Montrer que 𝑎0 (ℎ′ ) = 0.

11
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

À l’aide d’une intégration par parties, montrer que si 𝑛 ⩾ 1, 𝑎𝑛 (ℎ′ ) = 𝑛𝑏𝑛 (ℎ) et 𝑏𝑛 (ℎ′ ) =
−𝑛𝑎𝑛 (ℎ).

Correction :
On calcule pour 𝑎0 (ℎ′ ) :
2𝜋
1
𝑎0 (ℎ′ ) = ∫ ℎ′ (𝑡) d𝑡
2𝜋 0
1
= [ℎ(𝑡)]2𝜋
0
𝜋
=0 car ℎ(0) = ℎ(2𝜋)

Soit 𝑛 ⩾ 1. On a

1 2𝜋 ′
𝑎𝑛 (ℎ′ ) = ∫ ℎ (𝑡) cos(𝑛𝑡) d𝑡
𝜋 0
1 2𝜋 1 2𝜋
= [ℎ(𝑡) cos(𝑛𝑡)] − ∫ −𝑛ℎ(𝑡) sin(𝑛𝑡) d𝑡
𝜋 0 𝜋 0
2𝜋
1
= 𝑛 ∫ ℎ(𝑡) sin(𝑛𝑡) d𝑡 car ℎ(2𝜋) cos(2𝑛𝜋) = ℎ(0) cos(0)
𝜋 0
= 𝑛𝑏𝑛 (ℎ)

et
1 2𝜋 ′
𝑏𝑛 (ℎ′ ) = ∫ ℎ (𝑡) sin(𝑛𝑡) d𝑡
𝜋 0
1 2𝜋 1 2𝜋
= [ℎ(𝑡) sin(𝑛𝑡)] − ∫ 𝑛ℎ(𝑡) cos(𝑛𝑡) d𝑡
𝜋 0 𝜋 0
2𝜋
1
= −𝑛 ∫ ℎ(𝑡) cos(𝑛𝑡) d𝑡 car ℎ(2𝜋) sin(2𝑛𝜋) = ℎ(0) sin(0)
𝜋 0
= −𝑛𝑎𝑛 (ℎ)

2𝜋
6. On suppose ici que ∫ [ℎ′ (𝑥)]2 d𝑥 converge.
0
En déduire que la série numérique ∑ 𝑛2 [𝑎𝑛 (ℎ)2 + 𝑏𝑛 (ℎ)2 ] est convergente. Calculer sa somme
en donnant le résultat à l’aide d’une intégrale.

Correction :
La fonction ℎ est 𝒞1 par morceaux, donc la fonction ℎ′ est continue et la théorème
de Parceval assure que ∑ 𝑎𝑛 (ℎ′ )2 et ∑ 𝑏𝑛 (ℎ′ )2 converge et que
+∞
2 𝑇 ′ 2
∫ (ℎ (𝑡) ) d𝑡 = 2𝑎0 (ℎ′ )2 + ∑ (𝑎𝑛 (ℎ′ )2 + 𝑏𝑛 (ℎ′ )2 ) .
𝑇 0 𝑛=1

12
t
 ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

Les relations précédente et 𝑎0 (ℎ′ ) = 0 assure que

+∞
1 2𝜋 ′ 2
∫ (ℎ (𝑡) ) d𝑡 = ∑ ((𝑛𝑏𝑛 (ℎ))2 + (−𝑛𝑎𝑛 (ℎ))2 )
𝜋 0 𝑛=1
+∞
= ∑ 𝑛2 (𝑏𝑛 (ℎ)2 + 𝑎𝑛 (ℎ)2 )
𝑛=1

7. Justifier que ces résultats s’appliquent à la fonction f.

1 𝑝2
Donner les valeurs de la somme des séries ∑ et ∑
(4𝑝2 − 1)2 (4𝑝2 − 1)2
MUNKHUU-2020-2021-ATS-Diderot

Correction :
La fonction 𝑓 est 𝒞1 sur [0, 𝜋] car la fonction 𝑥 ↦ 0 l’est ; de même la fonction 𝑓
est 𝒞1 sur [𝜋; 2𝜋] car la fonction 𝑥 ↦ − sin(𝑥) l’est.
On peut donc appliqué les résulats des questions précédentes à 𝑓.
De plus, comme 𝑓(0) = 𝑓(𝜋) = 𝑓(2𝜋) (et sin(𝜋) = 0), la fonction 𝑓 est continue.
Le théorème de Parceval assure que
+∞ +∞
2 𝑇
∫ 𝑓(𝑡)2 d𝑡 = 2𝑎20 + ∑ 𝑎𝑛 (𝑓)2 + 𝑏𝑛 (𝑓)2 = 2𝑎20 + 𝑏12 + ∑ 𝑎22𝑝
𝑇 0 𝑛=1 𝑝=1

car 𝑎1 (𝑓) = 0, 𝑏𝑛 (𝑓) = 0 pour 𝑛 ⩾ 2 et 𝑎2𝑝+1 = 0 pour 𝑝𝑔 𝑒𝑞𝑠0 (question 1 et 2).

On calcule :
2 𝑇 1 2𝜋
∫ 𝑓(𝑡)2 d𝑡 = ∫ 𝑓(𝑡)2 d𝑡
𝑇 0 𝜋 0
1 𝜋 1 2𝜋
= ∫ 𝑓(𝑡)2 d𝑡 + ∫ 𝑓(𝑡)2 d𝑡
𝜋 0 𝜋 𝜋
2𝜋
1
= ∫ 𝑓(𝑡)2 d𝑡 (∀𝑡 ∈ [0; 𝜋] 𝑓(𝑡) = 0)
𝜋 𝜋
1 2𝜋
= ∫ sin2 (𝑡) d𝑡
𝜋 𝜋
1 2𝜋 1 − cos(2𝑡)
= ∫ d𝑡
𝜋 𝜋 2
1 𝜋 − sin(2𝑡) 2𝜋
= ( −[ ] )
𝜋 2 4 𝜋
1
=
2

13
ATS Thème/semaine numéro Lycée Diderot
Other information 2020–2021

On en déduit que
+∞
1
= 2𝑎20 + 𝑏12 + ∑ 𝑎22𝑝
2 𝑝=1
+∞
2 1 4
= 2
+ +∑ 2 2
𝜋 4 𝑝=1 𝜋 (4𝑝 − 1)2
MUNKHUU-2020-2021-ATS-Diderot

et donc que
+∞
1 𝜋2 1
∑ = −
𝑝=1 (4𝑝2 − 1)2 16 2

Les résultat des questions 5 et 6 à la fonction 𝑓 assure que

+∞ +∞ +∞
2 𝑇 ′ 1 16𝑝2
∫ (𝑓 (𝑡))2 d𝑡 = ∑ 𝑛2 𝑎𝑛 (𝑓)2 +𝑛2 𝑏𝑛 (𝑓)2 = 𝑏12 +∑(2𝑝)2 𝑎22𝑝 = +∑ 2 2
𝑇 0 𝑛=1 𝑝=1
4 𝑝=1 𝜋 (2𝑝 − 1)2

car 𝑎1 (𝑓) = 0, 𝑏𝑛 (𝑓) = 0 pour 𝑛 ⩾ 2, 𝑎2𝑝+1 = 0 pour 𝑝 ⩾ 0 et 𝑎2𝑝 (𝑓) = −2

𝜋(4𝑝2 −1)
pour 𝑝 ⩾ 1 (question 1 et 2).
L’expression de la fonction 𝑓 ′ est donnée pour 𝑥 ∈]0; 2𝜋[\{𝜋} par

0 si 0 < 𝑥 < 𝜋
𝑓 ′ (𝑥) = {
− cos(𝑥) si 𝜋 < 𝑥 < 2𝜋

On calcule donc :
2 2𝜋 ′ 2 𝜋 2 2𝜋
∫ (𝑓 (𝑡))2 d𝑡 = ∫ (𝑓 ′ (𝑡))2 d𝑡 + ∫ (𝑓 ′ (𝑡))2 d𝑡
𝑇 0 𝑇 0 𝑇 𝜋
2𝜋
2
= ∫ (𝑓 ′ (𝑡))2 d𝑡
𝑇 𝜋
1 2𝜋
= ∫ 𝑐𝑜𝑠(𝑡)2 d𝑡
𝜋 𝜋
1 2𝜋 𝑐𝑜𝑠(2𝑡) + 1
= ∫ d𝑡
𝜋 𝜋 2
1 1 𝜋
= ( [sin(2𝑡)]2𝜋𝜋 + )
𝜋 4 2
1
= .
2

L’expression de l’identité de Parceval pour 𝑓 ′ donne alors

+∞
1 1 16𝑝2
= +∑ 2 2
2 4 𝑝=1 𝜋 (2𝑝 − 1)2

ce qui s’écrit
+∞
𝜋2 𝑝2
=∑ 2 2
.
64 𝑝=1 (2𝑝 − 1)

14