Vous êtes sur la page 1sur 2

Intégrale de Dirichlet

Florian D USSAP
Agrégation 2018

dx est semi-convergente et vaut π2 .


R +∞ sin x
Proposition. L’intégrale de Dirichlet 0 x

Démonstration. Commençons par monter que la fonction x 7→ sinx x n’est pas intégrable sur [0, +∞[. Soit
N ∈ N∗ , alors :
Z Nπ NX−1 Z (k+1)π |sin x|
|sin x|
dx = dx
0 x k=0 kπ x
NX−1 Z π |sin x|
= dx
k=0 0 x + kπ
NX
−1 Z π
1
> sin(x) dx
k=0 (k + 1)π 0

2 XN 1
= −−−−−→ +∞
π k=1 k N →+∞

Montrons à présent que 0 sinx x dx admet une limite lorsque A → +∞ et que celle-ci vaut π2 . Pour
RA

cela, posons f la fonction définie sur [0, A] × R+ par f (x, y) = e−x y sin(x). Montrons que f est intégrable.
Par le théorème de Fubini–Tonelli :
Z A µZ +∞ Z A
|sin x|
Ï ¶
e−x y |sin x| dx dy = e−x y dy |sin x| dx = dx < +∞
0 0 0 x
[0,A]×R+

La fonction f est intégrable, on peut donc appliquer le théorème de Fubini–Lebesgue :


Z A Z +∞ µZ A ¶
sin(x)
(∗) dx = e−x y sin(x) dx dy
0 x 0 0
R A −x y
sin(x) dx en remarquant que e−x y sin(x) = Im e−x y eix = Im ex(i−y) .
¡ ¢ ¡ ¢
On calcule alors 0 e
¡ A(i−y) π
e A(i−y) − 1 e−y A ei(A+ 2 ) − i + y e−y A eiA − y
Z A ¢
x(i−y) e − 1 (i + y)
e dx = = =−
0 i− y −1 − y 2 1 + y2
Ainsi, en prenant la partie imaginaire :
à π !
y + i − e−y A ei(A+ 2 ) − y e−y A eiA 1 − e−y A cos(A) − y e−y A sin(A)
Z A
−x y
e sin(x) dx = Im 2
=
0 1+ y 1 + y2
Donc, en injectant cette égalité dans (∗) :
Z +∞ −y A ¡
1 − e−y A cos(A) − y e−y A sin(A) π
Z A Z +∞ ¢
sin(x) e cos(A) + y sin(A)
dx = dy = − dy
0 x 0 1 + y2 2 0 1 + y2
Il reste à montrer que cette dernière intégrale tend vers 0 lorsque A tend vers l’infini. Pour cela on va
utiliser le théorème de convergence dominée. En effet si A > 1, on a la domination :
¯ ¯
¯ e−y A ¡ cos(A) + y sin(A)¢ ¯ e−y (1 + y)
¯6
¯ ¯
1 + y2 1 + y2
¯
¯ ¯

Cette dernière fonction est bien intégrable sur R+ , le théorème s’applique et on obtient le résultat sou-
haité :
π
Z A
sin(x)
lim dx =
A→+∞ 0 x 2

1
Référence
— C ANDELPERGHER, Calcul intégral, pages 30 et 212 (les mots « intégrale de Dirichlet » n’appa-
raissent pas dans l’index).