Jérôme Von Buhren [Link]
fr
Calcul de l’intégrale de Dirichlet
Introduction
L’objectif de ce problème est de démontrer la convergence de l’intégrale de Dirichlet
Z +∞ sin(t )
I= dt
0 t
et de calculer sa valeur en utilisant des outils élémentaires.
I. Convergence de l’intégrale de Dirichlet
Dans cette partie, on démontre que l’intégrale I est convergente. On considère l’intégrale
Z +∞ 1 − cos(t )
J= dt .
0 t2
1. Montrer que l’intégrale J est convergente.
2. En déduire que l’intégrale I est convergente.
II. Étude d’une suite auxiliaire
Pour tout n ∈ N, on introduit l’intégrale
π/2
¡ ¢
sin (2n + 1)t
Z
Jn = dt .
0 sin(t )
1. Montrer que l’intégrale J n est convergente pour tout n ∈ N.
2. Montrer que pour tout (a, b) ∈ R2 , on a
a +b a −b
¶ µ µ ¶
sin(a) − sin(b) = 2 cos sin .
2 2
3. En déduire que J n+1 = J n pour tout n ∈ N.
4. Conclure que J n = π/2 pour tout n ∈ N.
1/2
Jérôme Von Buhren [Link]
III. Étude d’une fonction auxiliaire
On définit la fonction ϕ : [0, π/2] → R par
i πi 1 1
ϕ(0) = 0 et ∀t ∈ 0, , ϕ(t ) = − .
2 t sin(t )
1. Régularité de la fonction ϕ.
a) Montrer que la fonction ϕ est continue en 0.
b) Montrer que la fonction ϕ est de classe C 1 sur ]0, π/2] et que
i πi t 2 cos(t ) − sin2 (t )
∀t ∈ 0, , ϕ′ (t ) = .
2 t 2 sin2 (t )
c) Montrer que la fonction ϕ′ admet une limite finie lorsque t → 0+ .
d) En déduire que la fonction ϕ est de classe C 1 sur [0, π/2].
2. Un cas particulier du lemme de Riemann-Lebesgue.
a) Montrer que
1
Z π/2
ϕ′ (t ) cos (2n + 1)t dt = 0.
¡ ¢
lim
n→+∞ 2n + 1 0
b) Conclure que
Z π/2
ϕ(t ) sin (2n + 1)t dt = 0.
¡ ¢
lim
n→+∞ 0
IV. Calcul de l’intégrale de Dirichlet
Pour tout n ∈ N, on introduit l’intégrale
π/2
¡ ¢
sin (2n + 1)t
Z
Kn = dt .
0 t
On considère également la suite (J n )n∈N définie dans la partie II.
1. Montrer que l’intégrale K n est convergente pour tout n ∈ N.
2. Montrer que la suite (K n )n∈N converge vers I . On pourra utiliser un changement de variable.
3. Montrer que lim K n − J n = 0.
n→+∞
4. En déduire la valeur de l’intégrale I .
Fin
2/2