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

ECS 2 – Mathématiques – A. Troesch

DM no 3 : Intégrales impropres

Correction de l’exercice 1 – (exercice technique – les questions sont indépendantes)

(ln t)2
1. La fonction f : t 7→ √ est continue sur ]0, +∞[, donc on a deux impropretés en 0 et en +∞.
et − 1
• Étude en 0 :
√ 1
On a, au voisinage de 0 : et − 1 ∼ t, donc et − 1 ∼0 t 2 .
  0  
De plus, ln t = o 11 , donc (ln t)2 = o 11 . Ainsi, au voisinage de 0 :
t8 t4
   
1 1
f (t) = o 1 1 =o 3 .
t4 t2 t4
1
dt
Z
3
Or, 3 est convergente en tant qu’intégrale de Riemann de paramètre 4 en 0. Les fonctions étant positives,
0 t4 Z 1
on en déduit, d’après le théorème de comparaison par négligeabilité, que f (t) dt converge.
0
• Étude en +∞ :
√
Au voisinage de +∞, 1 = o(et ), donc et − 1 ∼+∞ et , puis et − 1 ∼+∞ et/2 . Ainsi,
1 t t
t2 f (t) = t2 (ln t)2 · √ ∼ t2 (ln t)2 e− 2 = o(t4 e− 2 ),
t
e − 1 +∞
et d’après les croissances comparées,
t
lim t4 e− 2 = 0, donc: lim t2 f (t) = 0.
t→+∞ t→+∞

+∞
dt
Z
1
Par conséquent, f (t) = o converge en tant qu’intégrale de Riemann de paramètre 2
, et comme


t2 t 2
1 Z +∞
en +∞, les fonctions étant positive, on obtient la convergence de f (t) dt.
1
+∞
(ln t)2
Z
Par conséquent, √ dt converge.
0 et − 1
2. Posons, pour tout x ∈ [2, +∞[, f (x) = (ln x)− ln x . La fonction f est bien définie sur cet intervalle, et y est
continue. Donc l’intégrale n’a qu’une impropreté en +∞. De plus, pour tout x > 2,

0 6 x2 (ln x)− ln x = e2 ln x−ln x(ln(ln x)) = eln x(2−ln(ln x))

Or,
lim 2 − ln(ln x)) = −∞ et lim ln x = +∞ donc: lim eln x(2−ln(ln x)) = 0.
x→+∞ x→+∞ x→+∞
 Z +∞ Z +∞
1 dx
Ainsi, f (x) = o , et, les fonctions étant positives, f (x) dx converge , puisque converge,
x2 2 2 x2

en tant que série de Riemann de paramètre 2, en la borne +∞.

1 + ex
3. Soit, pour tout x ∈ [0, +∞[, f (x) = . La fonction f est continue sur [0, +∞[, donc l’intégrale n’a qu’une
1 + e2x
impropreté, en +∞. De plus,
x2
x2 f (x) ∼ x → 0,
+∞ e
 
1
donc f (x) = o , et comme dans la question précédente, les fonctions étant positives, on obtient la conver-
x2
gence de l’intégrale.

1
 Effectuons un changement de variable y = ex = ϕ(x), dy = ex dx. La fonction ϕ est de classe C 1 , strictement
croissante, bijective de [0, +∞[ sur [1, +∞[. Ainsi :
Z +∞ Z +∞ Z +∞
1 + ex 1 + ex x 1+y
I= 2x
dx = x + e3x
e dx = dy.
0 1 + e 0 e 1 y(1 + y2)
Cherchons a, b et c tels que
1+y a by + c ay 2 + a + by 2 + cy
∀y 6= 0, = + = .
y(1 + y 2 ) y y2 + 1 y(y 2 + 1)
On trouve a = 1, c = 1 et b = −1. Ainsi,
+∞
1 −y + 1
Z
I= + 2 dy.
1 y y +1
Soit A > 1 (on est obligé, car on se retrouve avec deux intégrales sur les trois qui divergent).
Z A iA 1 h iA h iA
1 −y + 1 h
+ 2 dy = ln y − ln(y 2 + 1) + Arctan y
1 y y +1 1 2 1 1
1 1 π
= ln A − ln(A2 + 1) + ln 2 + Arctan A −
2 2 4
1 A2 ln 2 π
= ln 2 + Arctan A + − .
2 A +1 2 4
En passant à la limite lorsque A tend vers +∞, on obtient :

ln 2 π
I= + .
2 4
2
4. La fonction f : x 7→ ln(1−x
x2
)
est continue sur ]0, 1[, et prolongeable par continuité en 0, puisqu’elle y admet une
limite égale à −1 (équivalent classique). Ainsi, il y a une seule impropreté à étudier en 1, l’autre impropreté
étant une fausse impropreté.
On fait une IPP, en posant les fonctions de classe C 1 sur ]0, 1[ suivantes :
−2x 1 1
∀x ∈]0, 1[, u(x) = ln(1 − x2 ), u′ (x) = , v(x) = − , v ′ (x) = .
1 − x2 x x2
Remarquez qu’ici, on récupère la deuxième impropreté, car la fonction v n’est pas définie en 0. On a :
−x2
u(x)v(x) ∼ = −x,
0 x
donc uv admet une limite finie, égale à 0 en 0. En revanche, uv n’admet pas de limite finie en 1. On restreint
donc l’intervalle d’intégration. Soit A ∈]0, 1[.
Z A Z A Z A
ln(1 − x2 ) h ln(1 − x2 ) iA ln(1 − A2 )

2 1 1
dx = + dx = + + dx
0 x2 x lim0 0 1−x
2 A 0 1−x 1+x
ln(1 − A2 ) 1 ln(1 + A)
= − ln(1 − A) + ln(1 + A) · (1 − A) ln(1 − A) + + ln(1 + A).
A A A
Or, d’après les croissances comparées, (1 − A) ln(1 − A) admet une limite nulle lorsque A tend vers 1, donc
l’expression précédente admet une limite lorsque A tend vers 1, donc l’intégrale converge, et
1
ln(1 − x2 )
Z
dx = 2 ln 2.
0 x2

Correction de l’exercice 2 –
• Commençons par déterminer le domaine de définition de F : une étude de continuité rapide montre que les seules
impropretés
 sont en 0 et en +∞ Z 1
 cos t −xt  1 dt
En 0,  √ e  ∼ √ , donc, les fonctions étant positives, et √ étant convergente en tant qu’intégrale de
t 0 t 0 t
Riemann de paramètre 12 en 0, on en déduit que l’intégrale définissant F (x) est convergente en 0, ceci quelle que
soit la valeur de x.
En +∞ :

2
 ∗ Si x > 0, alors pour tout t > 1, on a :  
 cos t −xt 
 √ e  6 e−xt ,
 t 
Z +∞
et e−xt dt est convergente (intégrale exponentielle). Donc, d’après le théorème de comparaison par inégalités
1 Z +∞
cos t −xt
d’intégrales de fonctions positives, √ e dt est absolument convergente, donc convergente.
1Z t
+∞
cos t
∗ Si x = 0, on est ramené à l’étude de √ dt. Faisons une intégration par parties, en posant
1 t
1 −1
∀t ∈ [1, +∞[, u(t) = √ u′ (t) = √ , v(t) = sin t, v ′ (t) = cos t.
t 2t t
Les fonctions u et v sont de classe C 1 sur [1, +∞[, et lim u(t)v(t) = 0. Ainsi, d’après le théorème d’intégration
t→+∞
Z +∞
cos t R +∞ sin t
par parties, l’intégrale √ dt est de même nature que l’intégrale 1 √ dt. Or, pour tout t > 1,
t t
1 t
 
 sin t 
 √  6 13 ,
 t t  t2

donc, par comparaison àZune intégrale de Riemann, les fonctions étant positives, onZobtient la convergence absolue,
+∞ +∞
sin t cos t
donc la convergence de √ dt, donc la convergence (mais pas absolue) de √ .
1 t t 1 t
∗ Si x < 0, on a, pour tout n ∈ N∗ :
π
π π cos t e−x(2nπ+ 2 )
∀t ∈ [2nπ − , 2nπ + ], √ e−xt > cos t · p ,
2 2 t 2nπ + π2

le cosinus étant positif sur cet intervalle. Ainsi :

Z 2nπ+ π2 π π π π
cos t −xt e−x(2nπ+ 2 ) 2nπ+ 2 e−x(2nπ+ 2 ) h i2nπ+ π2 2e−x(2nπ+ 2 )
Z
√ e dt > p cos t = sin t = .
2nπ + π2 2nπ− π2 2nπ + π2 2nπ + π2
p p
2nπ− π
2
t 2nπ− π2

Or, d’après les croissances comparées,

π
2e−x(2nπ+ 2 )
lim = +∞,
2nπ + π2
p
n→+∞

puisque x < 0, et donc

2nπ+ π
cos t −xt
Z 2
lim √ e dt = +∞.
n→+∞ 2nπ− π t
2

Si l’intégrale était convergente cette limite devrait être nulle (différence de deux intégrales partielles dont les bornes
supérieures tendent vers +∞, donc les deux intégrales partielles aurait même limite en cas de convergence)
Z +∞
cos t −xt
Ainsi, si x < 0, √ e dt diverge.
1 t
Par conséquent, DF = [0, +∞[ .
La fonction F n’est en fait pas dérivable en 0 (nous ne le démontrerons pas), nous nous contentons donc d’obtenir sa
dérivabilité sur ]0, +∞[.
cos t
Soit t > 0 fixé, et ft : x 7→ √ e−tx sur R+ . La fonction ft est de classe C 2 sur R+ , et
t
cos t √ √
∀t ∈ R+ , ft′ (x) = −t · √ = − t cos te−tx et ft′′ (x) = t t cos te−tx .
t
Soit x ∈]0, +∞[, et h ∈ R∗ tel que |h| < x2 . Alors, pour tout y ∈ [x − |h|, x + |h|], on a x
2 6y6 3x
2 .
Ainsi,
√ xt
∀y ∈ [x − |h|, x + |h|], |ft′′ (y)| 6 t t| cos t|e− 2 .
Par conséquent, en appliquant l’inégalité de Taylor à l’ordre 1 à la fonction ft entre x et x + h, ft étant de classe C 2
√ xt
entre ces deux valeurs, et |ft′′ | étant majorée par t t| cos t|e− 2 entre ces deux valeurs, on obtient :

h2 √ xt
|ft (x + h) − ft (x) − hft′ (x)| 6 t t| cos t|e− 2 .
2

3
 √ xt
Cette inégalité est vraie pour tout t > 0. Or, t 7→ t t| cos t|e− 2 est continue sur ]0, +∞[, prolongeable par continuité
Z +∞
√ xt
en 0. Donc l’intégrale t t| cos t|e− 2 dt est faussement impropre (donc convergente) en 0, et impropre en +∞.
0
x
Mais, puisque 2 > 0, d’après les croissances comparées,

√
   
− xt 1 xt 1
e 2 =o donc: t t| cos t|e− 2 = o .
x2
5
x2
+∞
dx
Z
L’intégrale 2
étant convergente en tant qu’intégrale de Riemann de paramètre 2 > 1 en +∞, d’après le
1 x
Z +∞
√ xt
théorème de comparaison par négligeabilité d’intégrales de fonctions positives, l’intégrale t t| cos t|e− 2 dt est
0
convergente. Notons I(x) sa valeur.
Z +∞
D’après le théorème de comparaison par inégalité d’intégrales de fonctions positives, on en déduit que |ft (x +
0
h) − ft (x) − hft′ (x)| dt est aussi convergente, et que :
+∞
h2
Z
|ft (x + h) − ft (x) − hft′ (x)| dt 6 I(x).
0 2

R +∞
Z +∞ 
|ft (x + h) − ft (x) − hft′ | hft′
 
Puisque 0
dt converge,  ft (x + h) − ft (x) − dt converge absolument, et d’après
0
l’inégalité triangulaire,
Z +∞ +∞
h2
 Z
′
|ft (x + h) − ft (x) − hft′ (x)| dt 6
 
 f t (x + h) − f t (x) − hf t (x) dt 6 I(x).

0

0 2

En utilisant la linéarité de l’intégrale (2 des trois termes étant convergeants, donc le troisième aussi), et en divisant
par |h| > 0, il vient alors :  Z +∞ 
 F (x + h) − F (x) −xt
 |h|
 − t cos te dt 6 I(x).
 h 0
 2
|h|
Puisque I(x) ne dépend pas de h, lim I(x) = 0, donc, d’après le théorème d’encadrement :
h→0 2
Z +∞
F (x + h) − F (x)
lim = t cos te−xt dt.
h→0 h 0

Par conséquent, F est dérivable en tout x ∈ R∗+ , et :

Z +∞
∀x ∈ R∗+ , F ′ (x) = t cos te−xt dt.
0

Correction du problème – (d’après EM Lyon 2004)

+∞
sin t
Z
Partie I – Étude de la fonction x 7→ dt.
0 t+x

1. (a) Pour tout x ∈]0, +∞[, la fonction u 7→ sinu u est définie et continue sur [1, x] (ou [x, 1], si x 6 1), donc
intégrable sur cet intervalle fermé. Ainsi, l’intégrale définissant F (x) n’est pas impropre. Donc F est bien
définie, pour tout x ∈]0, +∞[. On effectue sur cette intégrale une intégration par parties, les fonctions
u 7→ − cos u et u 7→ u1 étant de classe C 1 sur [1, x] (ou [x, 1]) :

x h cos u ix x x
sin u cos u cos x cos u
Z Z Z
F (x) = du = − − du = cos 1 − − du = F (x) .
1 u u 1 1 u2 x 1 u2

cos x
Lorsque x tend vers +∞, puisque cos est bornée, x tend vers 0. De plus,
 cos u  1
∀u ∈ [1, +∞[,  2  6 2 ,
 
u u

4
 +∞
du
Z
et l’intégrale converge en tant qu’intégrale de Riemann de paramètre 2 > 1 en +∞. Ainsi, d’après
1 u2
Z +inf ty 
 cos u 

le théorème de comparaison par inégalités, les fonctions comparées étant positives,  2  du
1 u
Z +∞ Z x
cos u cos u
converge, donc du converge absolument. On en déduit que x 7→ du admet une limite
1 u2 1 u2
finie lorsque x tend vers +∞.
Ainsi, F admet une limite finie α en +∞ .
(b) De la même manière, G est bien définie sur ]0, +∞[, et une intégration par parties avec les fonctions de
classe C 1 u 7→ sin u et u 7→ u1 amène :

x
sin x sin u
Z
G(x) = − sin 1 + du.
x 1 u2

sin u
Le même argument de majoration que dans la question précédente permet de montrer que int+∞ 1 du
u2
sin x
converge, donc que x 7→ intx1 sin u
u2 du admet une limite finie en +∞. Comme x→+∞ lim = 0, on en déduit
x
que G admet une limite finie β en +∞ .
Z +∞
sin u
(c) L’existence des limites en +∞ de F et G assurent, par définition, la convergence des intégrales du
1 u
Z +∞
cos u
et du.
1 u
Par ailleurs, pour tout x > 0, les fonctions u 7→ sinu u et u 7→ cosu u sont continues sur [x, +∞[. Ainsi, les
Z +∞ Z +∞
sin u cos u
intégrales du et du ne sont impropres qu’en +∞, et la convergence des intégrales
x u x u
Z +∞ Z +∞
sin u cos u
du et du assurent leur convergence.
1 u 1 u
Z +∞ Z +∞
sin u cos u
Ainsi, du et du convergent .
x u x u
De plus, d’après la relation de Chasles, pour tout x ∈]0, +∞[ :

+∞ +∞ x +∞
sin u sin u sin u sin u
Z Z Z Z
du = du − du = α − F (x) = du.
x u 1 u 1 u x u

+∞
cos u
Z
Le même argument, montre que du = β − G(x).
x u
2. (a) Soit T > 0 et x > 0. La fonction t 7→ sin t
t+x est continue sur [0, T ], car x > 0. Ainsi, l’intégrale est définie.
Effectuons alors le changement de variable affine, de classe C 1 , donné par u = x + t. On a donc :
T x+T x+T
sin t sin(u − x) sin u cos x − cos u sin x
Z Z Z
dt = du = du,
0 t+x x u x u

d’après les formules de trigonométrie. Par linéarité de l’intégrale, les intégrales n’étant pas impropres ici,
on obtient :
Z T Z x+T Z x+T
sin t sin u cos u
dt = cos x du − sin x du.
0 t+x x u x u
Z +∞ Z +∞
sin u cos u
(b) Soit x > 0. D’après la question 1(c), les intégrales du et du convergent, donc les
x u x u
Z x+T Z x+T
sin u cos u
fonctions T 7→ du et T 7→ du admettent une limite finie lorsque T tend vers +∞.
x u x u
Z T
sin t
Il résulte alors de la question précédente que dt admet une limite finie lorsque T tend vers +∞,
0 x+t
sin t
donc que l’intégrale ∈+∞ 0 dt converge.
x+t

5
 De plus, en passant à la limite lorsque T tend vers +∞ dans l’égalité de la question précédente, il vient :
+∞ +∞ +∞
sin t sin u cos u
Z Z Z
dt = cos x du − sin x du.
0 x+t x u x u

sin u
3. La fonction F est une primitive de u 7→ qui est elle-même de classe C 1 sur R∗+ . Donc F est de classe C 2 sur
u , Z +∞
sin u
R∗+ . Ainsi, d’après la relation de la question 1(c), la fonction x 7→ du est de classe C 2 sur R∗+ . Il en est
x u
Z +∞
cos u
de même de la fonction x 7→ du. Comme sin et cos sont aussi de classe C 2 , A est de classe C 2 sur R∗+ ,
x u
en tant que produits et somme de fonctions de classe C 2 .
On a alors, pour tout x ∈]0, +∞[ :

A(x) = cos x (α − F (x)) − sin x(β − G(x)),

donc
A′ (x) = − sin x(α − F (x)) − cos xF ′ (x) − cos x(β − G(x)) + sin xG′ (x),
donc
sin x cos x sin x cos x
A′ (x) = − sin x(α − F (x)) − − cos x(β − Γ(x)) + = − sin x(α − F (x)) − cos x(β − G(x)),
x x
et enfin :
sin x
A′′ (x) = − cos x(α − F (x)) + + sin x(β − −G(x)) + cos xG′ (x),
F ′ (x)
et donc :
sin2 + cos2 1
A′′ (x) = − cos x(α − F (x)) + + sin x(β − G(x)) = − cos x(α − F (x)) + sin x(β − G(x)) +
x x
On obtient bien :
1
∀x ∈]0, +∞[, A′′ (x) + A(x) = .
x
4. Comme F et G tendent respectivement vers α et β en +∞, les expressions trouvées dans la question précédente
pour A et A′ , et le fait que sin et cos restent bornés, assurent que lim A(x) = 0 et lim A′ (x) = 0.
x→+∞ x→+∞
cos u 1
5. (a) Pour tout x ∈]0, 1], et tout u ∈ [x, 1], 0 6 cos u 6 1, donc 0 6 6 u.
Par croissance de l’intégrale, les
u
bornes étant bien dans l’ordre croissant,
Z 1 Z 1
cos u du h i1
06 du 6 = ln x = − ln x.
x u x u x

1
cos u
Z
On obtient bien l’encadrement 0 6 du 6 − ln x .
x u
(b) Ainsi, sin étant positif sur ]0, 1], on a, pour tout x ∈]0, 1] :
Z 1
cos u
0 6 sin x du 6 − sin x ln x.
x u
Or, sin x ln x ∼ x ln x, et d’après les croissances comparées, lim+ x ln x = 0. Ainsi, lim+ − sin x ln x = 0. Par
0
R 1 x→0 x→0
conséquent, d’après le théorème d’encadrement, sin x x cosu u du admet une limite lorsque x tend vers 0+ ,
et
Z +∞
cos u
lim sin x du = 0
x→0+ x u
+∞
sin u
Z
(c) L’intégrale du n’est impropre qu’en 0 et en +∞, la fonction u 7→ sinu u étant continue sur ]0, +∞[.
0 u
La convergence en +∞ provient de la question 1(c). La convergence en 0 provient du fait que u 7→ sinu u
peut se prolonger par continuité en 0 (elle admet une limite finie égale à 1), donc l’intégrale est faussement
impropre en 0, donc convergente.

6
 +∞
sin u
Z
Ainsi, l’intégrale du converge
0 u
+∞
sin u
Z
D’après les questions 2(b) et 5(b), et la convergence de , A admet une limite en 0+ , comme
0 u
produit et somme de fonctions admettant une limite, et
Z +∞ Z +∞ Z +∞
sin u cos u sin u
lim+ A(x) = cos 0 · du + lim+ sin x du = du = lim+ A(x) .
x→0 0 u x→0 x u 0 u x→0

+∞
e−xt
Z
Partie II – Étude de la fonction x 7→ dt
0 1 + t2
1. Soit x ∈]0, +∞[, et k ∈ N. Si k = 0, on a directement, pour tout t ∈ R+ , 0 6 e−xt 6 1, donc la fonction
t 7→ tk e−xt est bornée si k = 0.
Supposons que k ∈ N∗ . La fonction f : t 7→ tk e−xt est dérivable sur [0, +∞[, et
∀t ∈ [0, +∞[, f ′ (t) = (ktk−1 − xtk )e−xt = tk−1 (k − xt)e−xt .
On obtient donc le tableau de variations suivant :
x k
0 x
+∞

f ′ (x) + 0 −

k


f x
f (x)
0 0

k
Ainsi, pour tout t ∈ R+ , 0 6 f (t) 6 f . Donc t 7→ tk e−xt est bornée sur R+ .


x
Soit M un majorant de t 7→ tk e−xt sur R+ .
+∞ k −xt
t e
Z
tk e−xt
La fonction t 7→ 1+t2 est continue sur [0, +∞[, donc l’intégrale dt n’est impropre qu’en +∞. Par
0 1 + t2
ailleurs, pour tout t > 1,
k −xt
t e M M
06 2
6 2
6 2.
1+t 1+t t
Z +∞
M
Or, l’intégrale dt converge, car égale, à un facteur multiplicatif M près, à une intégrale de Riemann
1 t2
de paramètre 2 en +∞. Donc, par comparaison par inégalité d’intégrales de fonctions positives, l’intégrale
Z +∞ k −xt Z +∞ k −xt
t e t e
2
dt converge, donc l’intégrale dt converge .
1 1 + t 0 1 + t2
2. (a) Soit u ∈ R. La fonction g : t 7→ et est de classe C 2 sur [0, u] ou [u, 0], suivant le signe de u. De plus, puisque
pour tout t, t 6 |t|, et par croissance de l’exponentielle, on a, pour tout t de [0, u] ou [u, 0] :
g ′′ (t) = et 6 e|t| 6 e|u| .
Par ailleurs, g(0) = g ′ (0) = 1. Ainsi, d’après l’inégalité de Taylor-Lagrange à l’ordre 1 entre 0 et u :

u2 |u|
|eu − 1 − u| 6 e .
2
(b) Soit x ∈ R∗+ , et k ∈ N. Soit h tel que 0 < |h| 6 x2 . On a alors :
 Z +∞ k −(x+h)t Z +∞ k −xt
t e t e

 

 Bk (x + h) − Bk (x)
 
2
dt − 2
dt +∞ k+1 −xt 
e
Z
  0 1+t 0 1+t t 
 + B k+1 (x) =  + 2
dt 
 h  
 h 0 1+t 

 
Z +∞   k −(x+h)t
tk e−xt tk+1 e−xt
  
 1 t e 
=  2
− 2
+ 2
dt
0 h 1 + t 1 + t 1 + t
Z +∞   k −(x+h)t
tk e−xt tk+1 e−xt
  
 1 t e 
6 
2
− 2
+ 2
dt ,
0
 h 1+t 1+t 1+t

7
 d’après l’inégalité triangulaire. Ainsi,
 Z +∞
1 tk e−xt  −ht

 Bk (x + h) − Bk (x)  
 + Bk+1 (x) 6 2
e − 1 + ht dt
 h 0 |h| 1 + t
Z +∞
1 tk e−xt h2 t2 −ht
6 e dt
0 |h| 1 + t2 2
Z +∞ k+2 −xt−ht
|h| t e
= dt,
2 0 1 + t2
la deuxième inégalité provenant de l’inégalité de la question précédente, appliquée à u = −ht, et mulipliée
par une valeur positive, et de la croissance de l’intégrale.
xt
De plus, puisque 0 < |h| 6 x2 , on a −x − h < − x2 < 0, donc e−xt−ht 6 e− 2 . Ainsi,

 |h| +∞ tk+2 e− xt
 
 Bk (x + h) − Bk (x) |h|
Z x
2
 + B k+1 (x) 6 2
dt = Bk+2 .
 h  2 0 1+t 2 2

Remarquez que la convergence de toutes les intégrales utilisées ici est assurée par la question II-1.
x
(c) Soit k ∈ N et x ∈ R∗+ . La quantité Bk+2 est indépendante de h, donc
2
|h| x
lim Bk+2 = 0.
h→0 2 2
Bk (x + h) − Bk (x)
Ainsi, admet une limite lorsque h tend vers 0, égale à −Bk+1 (x), et donc, par définition,
h
Bk est dérivable en x , et Bk′ (x) = −Bk+1 (x) .
(d) En particulier, B0 est dérivable sur R∗+ , de dérivée B0′ = −B1 . La fonction B1 elle-même est dérivable sur
R∗+ , de dérivée −B2 , continue, car elle-même dérivable. Ainsi, B0′ = −B1 est de classe C 1 sur R∗+ , donc
B0 est de classe C 2 sur R∗+ .
Par ailleurs, nous avons, pour tout x ∈ R∗+ :
+∞ +∞ +∞
(t2 + 1)e−xt 1 1
Z Z Z
B0′′ (x) + B0 (x) = B2 (x) + B0 (x) = dt = e −xt
dt = xe−xt = ,
0 1 + t2 0 x 0 x

en reconnaissant la densité d’une variable aléatoire suivant une loi exponentielle de paramètre x (ou bien
refaites le calcul !) Ainsi :
1
∀x ∈ R∗+ , B0′′ (x) + B0 (x) = .
x
3. Par positivité de l’intégrale, on a, pour tout k ∈ N, et tout x ∈ R∗+ , Bk (x) > 0. Ainsi :

1
0 6 B0 (x) 6 B0 (x) + B2 (x) = ,
x

la dernière égalité provenant de la question II-2(d).

En dérivant l’égalité de la question 2(d), il vient, pour tout x ∈ R∗+ ,

1 1
B0′ (x) + B2′ (x) = − , donc: B1 (x) + B3 (x) = ,
x2 x2
et de même que plus haut, la positivité de B3 permet d’obtenir :

1
∀x ∈ R∗+ , 0 6 B1 (x) = −B0′ (x) 6 .
x2

D’après le théorème d’encadrement, on en déduit immédiatement l’existence de limites en +∞ de B0 et B0′ , et :

lim B0 (x) = 0 = lim B0′ (x).

x→+∞ x→+∞

4. (a) Soit x > 0.

8
 √ √
• Pour tout t ∈]0, √1x [, xt 6 x, donc e−xt > e− x , et, par croissance de l’intégrale, et positivité des
fonctions,
Z +∞ −xt Z √1 Z √1 −√x Z √1
e x e−xt x e √
− x
x dt
B0 (x) = 2
dt > 2
dt 6 2
dt = e .
0 1+t 0 1+t 0 1+t 0 1 + t2
• Pour tout t ∈ R+ , e−xt 6 1, donc, par croissance de l’intégrale,
Z +∞ −xt Z +∞
e 1
B0 (x) = 2
dt 6 dt.
0 1 + t 0 1 + t2
Ainsi, les deux points précédents amènent l’encadrement :
√1 +∞
√ dt dt
Z Z
x
∀x ∈]0, +∞[, e− x
6 B0 (x) 6
0 1 + t2 0 1 + t2

(b) L’intégrale n’est pas impropre. On pose le changement de variable t = tan u, de classe C 1 sur [0, y] (y ∈ [0, π2 ].
On a dt = (1 + tan2 u) du. Ainsi
Z y Z y Z tan y
(1 + tan2 u) du dt
du = 2 = .
0 0 1 + tan u 0 1 + t2
Par conséquent,
+∞ tan y y
dt dt
Z Z Z
π
= lim = limπ du = .
0 1 + t2 y→( π
2)
−
0 1 + t2 y→ 2 0 2

+∞
dt
Z
π
Ainsi, 2
=
0 1 + t 2
Pourquoi passer par là plutôt que d’utiliser l’arctangente ? Je l’ignore...
(c) On a donc :
√1
√ dt
Z
x π
∀x > 0, e− x
6 B0 (x) 6 ,
0 1 + t2 2
√1 y
dt dt √
Z Z
x π
et de plus, lim+ = lim = , et lim+ e− x = 1, donc
x→0 0 1 + t2 y→+∞ 0 1+t
2 2 x→0

√
Z √1
x dt π
lim+ e− x 2
= .
x→0 0 1+t 2
D’après le théorème d’encadrement, B0 admet donc une limite en 0+ , et
π
lim+ B0 (x) = .
x→0 2

+∞
sin u
Z
Partie III – Calcul de l’intégrale du
0 u

1. La fonction ϕ est de classe C 2 sur R∗+ , en tant que différence de deux fonctions de classe C 2 . Ainsi, U est dérivable
sur R∗+ en tant que produit et somme de fonctions dérivables, et

∀x > 0, U ′ (x) = 2ϕ′ (x)ϕ(x) + 2ϕ′′ (x)ϕ′ (x) = 2ϕ′ (x)(ϕ(x) + ϕ′′ (x)).

Or, pour tout x > 0

1 1
ϕ(x) + ϕ′′ (x) = A(x) − B0 (x) + A′′ (x) − B0′′ (x) = (A(x) + A′′ (x)) − (B0 (x) + B0′′ (x)) = − = 0,
x x
d’après les questions I-3 et II-2(d). Ainsi, pour tout x > 0, U ′ (x) = 0, donc U est constante sur ]0, +∞[ .
2. On a lim A(x) = 0 d’après I-4, et lim B0 (x) = 0 d’après II-3. Donc
x→+∞ x→+∞

lim U (x) = 0 .
x→+∞

9
3. Puisque U est constante sur R∗+ , sa valeur constante est égale à la valeur de sa limite, donc

∀x ∈]0, +∞[, U (x) = 0 donc: (ϕ(x))2 + (ϕ′ (x))2 = 0.

Une somme de termes positifs est nulle si et seulement si chaque terme est nul, donc

∀x ∈]0, +∞[, ϕ(x) = 0 soit: A(x) − B0 (x) = 0 soit: A(x) = B0 (x).

4. En passant à la limite en 0+ dans l’égalité précédente, il vient donc :

+∞
sin u
Z
π
lim A(x) = lim B0 (x) donc: du = ,
x→0+ x→0+ 0 u 2

d’après les questions I-5(c) et II-4(c).

10