ÉCS2 Devoir à la Maison no 2 ☞ 18/09/2015
L’intégrale de Dirichlet
+∞
sin t
Z
Dans ce devoir, on étudie l’intégrale : I = dt.
0 t
Z +∞
1 − cos t
1.a) Soit J = dt. Justifier que J existe.
0 t2
b) En déduire que I existe et vaut J.
c) En exprimant cos t en fonction sin2 t/2 , montrer par un changement de va-
Z +∞
sin2 u
riable affine que dt existe et vaut aussi I.
0 u2
2. Pour n dans N, on pose, sous réserve d’existence,
Z π/2 Z π/2 Z π/2
sin2 nt sin2 nt cos2 t sin2 nt
In = dt, An = 2 dt et B n = dt.
0 t2 0 sin t 0 sin2 t
a) Justifier l’existence de In , An et Bn .
b) Établir que : ∀t ∈ ] 0 ; π/2 [ , 0 6 sin t 6 t 6 tan t.
c) Justifier que : Bn 6 In 6 An .
3.a) Montrer que, pour t réel de ] 0 ; π/2 [ et n entier naturel,
sin2 (nt) + sin2 ((n + 2)t) − 2 sin2 ((n + 1)t)
= 2 cos(2(n + 1)t).
sin2 (t)
b) En déduire que, pour tout n de N, An + An+2 − 2An+1 = 0.
nπ
c) En déduire que, pour tout n de N, An = .
2
π
d) Montrer, pour tout n de N∗ , que An − Bn = et en déduire la valeur de Bn
4
en fonction de n.
In π
e) Justifier finalement que lim = .
n→+∞ n 2
4. Par le changement de variable u = nt dans In , en déduire la valeur de I.
Quelques indications :
3.c) Suites récurrentes linéaires d’ordre 2 ...
3.a) nt = (n + 1)t − t et (n + 2)t = (n + 1)t + t...
2.a) Un même argument convient pour les trois intégrales.
1.c) cos(2α) = 1 − 2 sin2 α donne cos(t) =??? sin2 (t/2)???
1.b) Comment passer de 1 − cos(t) à sin(t) et de 1/t2 à 1/t (au signe près) ?
t→0
1.a) L’intégrale est doublement impropre, mais que vaut lim (1 − cos t)/t2 ?
Lycée Henri Poincaré 1/1 ●❏