Integrale Dirichlet 2
Integrale Dirichlet 2
Integrale Dirichlet 2
fr
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
sin(t ) −xt
∀(x, t ) ∈ [0, +∞[×]0, +∞[, f (x, t ) = e .
t
On définit également la fonction réelle d’une variable réelle F par
Z +∞
F : x 7→ f (x, t ) dt .
0
I. Préliminaires
Dans cette partie, on établit quelques résultats que nous utiliserons dans la suite du problème.
1. Dans cette question, on vérifie que F est définie sur [0, +∞[. On considère l’intégrale
Z +∞ 1 − cos(t )
J= dt .
0 t2
a) Soit x > 0. Montrer que la fonction t 7→ f (x, t ) est intégrable sur ]0, +∞[.
b) Montrer que l’intégrale J est convergente.
c) En déduire que l’intégrale I est convergente.
2. Soit x ∈ R. Dans cette question, on détermine une primitive de la fonction t 7→ sin(t )e−xt .
a) Déterminer une primitive sur R de la fonction t 7→ e(i−x)t .
b) Déduire de la question précédente que la fonction t 7→ u(x, t ) définie par
1/2
Jérôme Von Buhren http://vonbuhren.free.fr
2. a) Soit a > 0. Montrer que la fonction F est dérivable sur [a, +∞[ et que
Z +∞
′
∀x ∈ [a, +∞[, F (x) = − sin(t )e−xt dt .
0
b) En déduire que la fonction F est dérivable sur ]0, +∞[ et déterminer une expression explicite
du nombre F ′ (x) pour tout x ∈ ]0, +∞[.
3. Déduire des questions précédentes que
π
∀x > 0, F (x) = − Arctan(x).
2
Fin
2/2