Lycée La Bruyère, Versailles Pour le lundi 08/10/2012

ECS 2 – Mathématiques – A. Troesch

DM no 3 : Intégrales impropres

Exercice 1 – (exercice technique – les questions sont indépendantes)

Z +∞
(ln t)2
1. Nature de l’intégrale I = √ dt
0 et − 1
Z +∞
2. Quelle est la nature de l’intégrale (ln x)− ln x dx ?
2
+∞
1 + ex
Z
3. Justifier la convergence, et calculer l’intégrale dx.
0 1 + e2x
On pourra faire un changement de variables t = ex .
Z 1
ln(1 − x2 )
4. Nature et valeur de dx
0 x2

Exercice 2 – Montrer que la fonction F suivante est dérivable sur son domaine de définition (qu’on précisera), sauf
en 0 (la non dérivabilité en 0 n’est pas à démontrer), et exprimer sa dérivée à l’aide d’une intégrale :
Z +∞
cos t −tx
F : x 7→ √ e dt.
0 t

Problème –

+∞
sin t
Z
Partie I – Étude de la fonction x 7→ dt.
0 t+x
On note F :]0, +∞[→ R et G :]0, +∞[→ R les applications définies, pour tout réel x ∈]0, +∞[, par :
Z x Z x
sin u cos u
F (x) = du et G(x) = du.
1 u 1 u
Z x
cos x cos u
1. (a) Montrer, pour tout réel x ∈]0, +∞[: F (x) = − + cos 1 − du.
x 1 u2
En déduire que F admet une limite finie en +∞. On note α cette limite.
(b) De manière analogue, montrer que G admet une limite finie en +∞. On note β cette limite.
Z +∞ Z +∞
sin u cos u
(c) En déduire que, pour tout réel x ∈]0, +∞[, les intégrales du et du convergent, et
x u x u
que Z +∞ Z +∞
sin u cos u
du = α − F (x) et du = β − G(x).
x u x u
2. (a) Montrer, pour tout réel x ∈]0, +∞[, et tout réel T ∈]0, +∞[ :
T x+T x+T
sin t sin u cos u
Z Z Z
dt = cos x du − sin x du.
0 t+x x u x u
+∞
sin t
Z
(b) En déduire que pour tout x ∈]0, +∞[, l’intégrale dt converge, et que :
0 t +x
+∞ Z +∞ Z +∞
sin t sin u cos u
Z
dt = cos x du − sin x du.
0 t+x x u x u

On note A :]0, +∞[→ R l’application définie, pour tout réel x ∈]0, +∞[, par :
Z +∞
sin t
A(x) = dt.
0 t+x

3. Montrer que l’application A est de classe C 2 sur ]0, +∞[ et que, pour tout réel x ∈]0, +∞[ :
1
A′′ (x) + A(x) = .
x

1
 4. Établir que A(x) et A′ (x) tendent vers 0 lorsque x tend vers +∞.
Z 1
cos u
5. (a) Montrer : ∀x ∈]0, 1], 0 6 du 6 − ln x
x u
Z +∞
cos u
(b) En déduire que sin x du tend vers 0 lorsque x tend vers 0 par valeurs strictement positives.
x u
Z +∞ Z +∞
sin u sin u
(c) Montrer que l’intégrale du converge et établir que A(x) tend vers du lorsque x tend
0 u 0 u
vers 0 par valeurs strictement positives.

+∞
e−xt
Z
Partie II – Étude de la fonction x 7→ dt
0 1 + t2

1. Montrer que, pour tout réel x ∈]0, +∞[ et tout entier naturel k, l’application t 7→ tk e−xt est bornée sur [0, +∞[,
Z +∞ k −xt
t e
et en déduire que l’intégrale dt converge.
0 1 + t2
On note, pour tout entier naturel k, Bk :]0, +∞[→ R l’application définie, pour tout réel x ∈]0, +∞[, par Bk (x) =
Z +∞ k −xt
t e
dt.
0 1 + t2
2. (a) Montrer, en utilisant par exemple l’inégalité de Taylor-Lagrange :
u2 |u|
∀u ∈ R, |eu − 1 − u| 6 e .
2
x
(b) En déduire, pour tout réel x ∈]0, +∞[, pour tout entier naturel k et pour tout réel h tel que 0 < |h| 6 2 :
 
 Bk (x + h) − Bk (x)  |h| x
 + B k+1 (x)6 Bk+2 .
 h  2 2
(c) Montrer que, pour tout entier naturel k, Bk est dérivable sur ]0, +∞[, et que
∀x ∈]0, +∞[, Bk′ (x) = −Bk+1 (x).
1
(d) En déduire que B0 est de classe C 2 sur ]0, +∞[ et que, pour tout réel x ∈]0, +∞[ : B0′′ (x) + B0 (x) = .
x
3. Montrer, pour tout réel x ∈]0, +∞[ :
1 1
0 6 B0 (x) 6 et 0 6 −B0′ (x) 6 ,
x x2
et en déduire les limites de B0 (x) et B0′ (x) lorsque x tend vers +∞.
√
Z √1 Z +∞
x dt dt
4. (a) Montrer : ∀x ∈]0, +∞[, e− x 2
6 B 0 (x) 6
0 1+t 0 1 + t2
Z y Z tan y
dt
(b) Justifier, pour tout réel y ∈ [0, π2 [ : du = ,
0 0 1 + t2
Z +∞
dt π
et en déduire : 2
= .
0 1 + t 2
(c) En déduire la limite de B0 (x) lorsque x tend vers 0 par valeurs strictement positives.

+∞
sin u
Z
Partie III – Calcul de l’intégrale du
0 u
On considère l’application ϕ :]0, +∞[→ R, définie, pour tout réel x ∈]0, +∞[, par ϕ(x) = A(x) − B0 (x), où A a été
définie dans la partie I, et B0 a été défini dans la partie II.
On note U :]0, +∞[→ R l’application définie, pour tout réel x ∈]0, +∞[ par U (x) = (ϕ(x))2 + (ϕ′ (x))2 .

1. Montrer que U est constante sur ]0, +∞[.

2. Quelle est la limite de U (x) lorsque x tend vers +∞ ?
3. En déduire : ∀x ∈]0, ∞[, A(x) = B0 (x).
Z +∞
sin u
4. Quelle est la valeur de du ?
0 u