L’intégrale de Dirichlet

On pose
Z +∞
sin(x)
I= dx.
0 x

1) Existence de I.
1
Soit (ε, A) ∈ R2 tels que 0 < ε < A. Les deux fonctions t 7→ 1 − cos(t) et t 7→ sont de classe C1 sur le segment [ε, A].
t
On peut donc effectuer une intégration par parties qui fournit
ZA  A Z A ZA
sin(t) 1 − cos(t) 1 − cos(t) 1 − cos(A) 1 − cos(ε) 1 − cos(t)
dt = + 2
dt = − + dt (∗).
ε t t ε ε t A ε ε t2
sin(t) 1 − cos(t)
• On fixe momentanément A > 0. Les deux fonctions t 7→ et t 7→ sont continues sur ]0, A].
t t2
1 − cos(ε) ε2 /2 ε 1 − cos(t) 1 1 − cos(t)
Ensuite, ∼ = → 0. D’autre part, ∼ . Donc, la fonction t 7→ est prolon-
ε ε→0 ε 2 ε→0 t2 t→0 2
ZA t2
1 − cos(t)
geable par continuité en 0 puis cette fonction est intégrable sur un voisinage de 0. Par suite, dt est une
0 t2
intégrale convergente.
ZA
sin(t)
(∗) montre alors que l’intégrale dt est une intégrale convergente (ce qui est d’ailleurs immédiat puisque la
0 t
sin(t)
fonction t 7→ est prolongeable par continuité en 0) et quand ε tend vers 0, on obtient
t
ZA ZA
sin(t) 1 − cos(A) 1 − cos(t)
∀A > 0, dt = + dt (∗∗).
0 t A 0 t2
sin(t) 1 − cos(t)
• Les fonctions t 7→ et t 7→ sont continues sur ]0, +∞[.
 t  t2  
 1 − cos(A)  2 1 − cos(A) 1 − cos(t) 1
Pour tout A > 0,  6 et donc, lim = 0. D’autre part, 2
= O et donc la
A  A A→+∞ A t t→+∞ t2
Z +∞
1 − cos(t) 1 − cos(t)
fonction t 7→ est intégrable sur un voisinage de +∞. Par suite, dt est une intégrale convergente.
t2 Z 0 t2 Z +∞
+∞
sin(t) sin(t)
(∗∗) montre alors que dt est une intégrale convergente. De plus, quand A tend vers +∞, on obtient dt =
Z +∞ 0 t 0 t
1 − cos(t)
dt.
0 t2
Z +∞
sin(x)
L’intégrale dx est convergente.
0 x
t
On a au passage obtenu une égalité qui en fournit une autre en posant u = :
2
Z +∞ Z +∞ Z +∞ Z +∞ Z +∞
sin(t) 1 − cos(t) 2 sin2 (t/2) 2 sin2 (u) sin2 (u)
dt = dt = dt = 2du = du.
0 t 0 t2 0 t2 0 4u2 0 u2
Z +∞ Z +∞ Z +∞
sin(x) 1 − cos(t) sin2 (t)
dx = dt = dt.
0 x 0 t2 0 t2

2) L’intégrale I est semi-convergente.

Z +∞  
sin(t)  sin(t) 
Vérifions que la fonction t 7→ n’est pas intégrable sur ]0, +∞[ ou encore que  t  dt = +∞. Pour tout
 
t 0
∗
n∈N ,

http ://www.maths-france.fr 1 © Jean-Louis Rouget, 2022. Tous droits réservés.

 Z +∞   Z nπ  
X Z (k+1)π | sin(t)|
n−1 X Z π | sin(u + kπ)|
n−1 X Z π sin(u)
n−1
 sin(t)   sin(t) 
  dt >   dt = dt = du = du
0
 t 
0
 t  t u + kπ u + kπ
k=0 kπ k=0 0 k=0 0
X Z π sin(u)
n−1 n−1
2 X 1 2X1
n
> du = = .
k=0 0 π + kπ π k+1
k=0
π k
k=1
Z +∞   Z +∞  
 sin(t)   sin(t) 
Quand n tend vers +∞, on obtient  t  dt > +∞ puis
 
 t  dt = +∞.
 
0 0
Z +∞
sin(x)
L’intégrale dx n’est pas absolument convergente.
0 x

3) Calcul d’une suite d’intégrales.

Z π2
sin((2n + 1)t)
Pour n ∈ N, on pose Jn = dt. Pour n ∈ N, l’intégrale Jn est convergente car la fonction t 7→
0 sin(t)
sin((2n + 1)t) i πi
est continue sur 0, et est prolongeable par continuité en 0.
sin(t) 2
Ensuite, pour tout n ∈ N,

Z π2 Z π2 Z π2
sin((2n + 3)t) − sin((2n + 1)t) 2 sin(t) cos((2n + 2)t)
In+1 − In = dt = dt = 2 cos((2n + 2)t) dt
0 sin(t) 0 sin(t) 0
 π
sin((2n + 2)t)
=2 = 0.
2n + 2 0
Z π2
sin(t) π
Donc, la suite (Jn )n∈N est constante. On en déduit que pour tout n ∈ N, Jn = J0 = dt = .
0 sin(t) 2
Z π2
sin(2n + 1)t π
∀n ∈ N, dt = .
0 sin(t) 2

4) Une autre suite d’intégrales qui va tendre vers I.

1
Puisque tend vers +∞ quand t tend vers 0, l’essentiel de la valeur de l’intégrale Jn est fournie par les valeurs de t
sin(t)
Z π2
sin((2n + 1)t)
proche de 0. Or, sin(t) ∼ t. On considère donc pour n ∈ N, l’intégrale In = dt.
t→0 0 t
En posant u = (2n + 1)t, on obtient pour tout n ∈ N,
Z π2 Z (2n+1) π2
sin((2n + 1)t) sin(u)
In = dt = du.
0 t 0 u
Z +∞ Zx
sin(t) sin(t)
Puisque dt est une intégrale convergente ou encore puisque lim dt existe et vaut I, on a en
0 t x→+∞ 0 t
particulier
Z π2 +nπ
sin(t)
I = lim dt = lim In .
n→+∞ 0 t n→+∞

5) Le lemme de Lebesgue pour les fonctions de classe C1 .

Zb
Soit f une fonction de classe C1 sur un segment [a, b] de R à valeurs dans R ou C. Montrons que lim f(t) sin(λt) dt = 0.
λ→+∞ a
Une intégration par parties fournit pour λ > 0,

http ://www.maths-france.fr 2 © Jean-Louis Rouget, 2022. Tous droits réservés.

 Z   b Z b 
 b   cos(λt) cos(λt) 
 f(t) sin(λt) dt =  −f(t) + f ′ (t) dt
   
 a   λ a a λ 
 Zb 
1  ′

= −f(b) cos(λb) + f(a) cos(λa) + f (t) cos(λt) dt

λ a 
Zb !
1
6 |f(a)| + |f(b)| + |f ′ (t)| dt .
λ a

Zb ! Zb
1 ′
lim |f(a)| + |f(b)| + |f (t)| dt = 0 et donc lim f(t) sin(λt) dt = 0.
λ→+∞ λ a λ→+∞ a

1 1
6) La fonction t 7→ − .
sin(t) t
i πi 1 1 i πi
Pour t ∈ 0, , on pose f(t) = − . f est de classe C1 sur 0, .
2 sin(t) t 2
t − sin(t) t3 /6 t
f(t) = ∼ = → 0. Donc f est prolongeable par continuité en 0 en posant f(0) = 0 (on note encore f le
t sin(t) t→0 t2 6 t→0 i πi
prolongement obtenu). Ensuite, pour t ∈ 0, ,
2
− cos(t) 1 sin2 (t) − t2 cos(t)
f ′ (t) = + = .
sin2 (t) t2 t2 sin2 (t)
De plus,

2
2
t3 t2 t3 t2
      
sin2 (t) − t2 cos(t) = + o t3 − t2 1 − + o t2 − t2 1 − + o t4



t− = t−
t→0 6 2 t→0 6 2
4
 
1 1 t
= t4 − + + o t4 = + o t4



t→0 3 2 t→0 6

t4 /6 1 0
h π i 
1
i π i 
et donc f ′ (t) ∼ = . Ainsi, f ∈ C 0, , R ∩ C 0, , R et f ′ a une limite réelle en 0. D’après le théorème
t→0 t4 6 h π i  2 2
de la limite de la dérivée, f ∈ C1 0, ,R .
2

7) Limite de Jn − In et calcul de I.
Pour tout n ∈ N, d’après 3),
Z π2 
 Z π2
π 1 1
− In = Jn − In = − sin((2n + 1)t) dt = f(t) sin((2n + 1)t) dt.
2 0 sin(t) t 0
h πi π
D’après 6), f est de classe C1 sur le segment 0, et donc, d’après le lemme de Lebesgue, − In tend vers 0 quand n
2 2
tend vers +∞. Mais alors, d’après 4),
π
I = lim In = .
n→+∞ 2
On a montré que
Z +∞
sin(t) π
dt = .
0 t 2

http ://www.maths-france.fr 3 © Jean-Louis Rouget, 2022. Tous droits réservés.