Corrigé du devoir surveillé de Mathématiques

Exercice 1
Soient a et b deux réels avec 0 < a < b.
1. La fonction h : t 7→ e −t e est continue et positive sur ]0, +∞[ (a < b ).
−at −bt
⇒ e−at > e−bt
? Au voisinage de 0, on a :

e−at − e−bt 1 − at + o(t) − (1 − bt + o(t)) (b − a)t + o(t)

h(t) = = = = b − a + o(1)
t t t
Ce calcul prouve que lim h(t) = b − a.
t→0

La fonction h se prolonge par continuité en 0 donc d converge.

1
e−at − e−bt
Z
t
t
? Pour t > 1, on trouve :
0

e−at − e−bt e−at

06 6 6 e−at
t t

Puisque d converge, alors par comparaison d converge.

+∞ Z +∞ −at
− e−bt
Z
e
e−at t t
1 1 t

L'intégrale d converge.
Z +∞ −at
e − e−bt
t
0 t
2. Soit (x, y) ∈ R tel que 0 < x < y. On a :
2

On eectue ensuite un changement de variable dans chacune des intégrales (u = at dans la première et u = bt
dans la seconde). Ceci donne :
d d dt
y −at −bt y −at y −bt
−e
Z Z Z
e e e
t= t−
t t x t x x

Z y
e−at − e−bt
t = d
Z ay
e−u u
−
d
Z by −u
e u d
x t ax u/a a bx u/b b

d d
ay Z by −u
e−u
Z
e
= u− u
ax u bx u

La relation de Chasles donne :

dt d d d d
"Z # "Z Z by −u #
y −at −bt bx ay ay −u
−e e−u e−u
Z Z
e e e
= u+ u − u− u
t x ax u bx u bx u ay u

Il reste à simplier :
d d d
y bx by
e−at − e−bt e−t e−t
Z Z Z
t= t− t.
x t ax t ay t

3. Soit z > 0. Pour t ∈ [az, bz], on a :

e−bz e−t e−az
6 6
t t t
Et par croissance de l'intégrale, on trouve :
e−bz
Z bz
dt 6 Z bz
e−t
d
t 6 e−az
Z bz
dt
az t az t az t

avec
Z bz
dt = ln(bz) − ln(az) = ln b , on aboutit à :
az t a

d
bz
e−t
Z
b b
e−bz ln 6 t 6 e−az ln .
a az t a
 4. D'après les questions 2 et 3, on a pour x, y ∈]0, +∞[ (x < y) :
d d d
y −at −bt bx −t by
−e e−t
Z Z Z
−bx b b −ay e e b b
e ln − e ln 6 t= t− t 6 e−ax ln − e−by ln
a a t x t ax ay t a a

Ces inégalités se conservent lorsque y → +∞, donc :

d
+∞
e−at − e−bt
Z
−bx b b
∀x ∈]0, +∞[, e ln 6 t 6 e−ax ln
a x t a

Enn, le théorème des gendarmes autorise à conclure puisque

b b b
lim e−bx ln = lim e−ax ln = ln
x→0 a x→0 a a

d
+∞
e−at − e−bt
Z
b
t = ln .
0 t a
On notera que les passages à la limite lorsque y → +∞ et x → 0 se font l'un après l'autre et non simultanément.
[]

Exercice 2

Partie I : Calcul de ζ(2).

1. Les calculs de I , I et J ne posent pas de problème :

0 1 0

dt = π2 ; I = cos t dt = [sin t] = 1; J = t dt = t3
π/2 π/2 π/2 3 π/2
π3
Z Z Z  
π/2 2
I0 = 1 0 0 =
0 0 0 0 24

Pour J , on procède à l'aide d'une intégration par parties, avec u(t) = t et v (t) = cos t :
1
0
2 0

u (t) = 2t v(t) = sin t

d d
Z π/2 π/2
Z π/2
t cos t t = t2 sin t 0 −
2

2t sin t t
0 0

puis à l'aide d'une seconde avec u(t) = 2t et v 0 (t) = sin t :

u0 (t) = 2 v(t) = − cos t

d
!
π/2
π2 π2 π2
Z
π/2 π/2
J1 = − [−2t cos t]0 +2 cos t t = − 2 [sin t]0 = −2
4 0 4 4

En résumé :
π π3 π2
I0 = ; I1 = 1; J0 = ; J1 = − 2.
2 24 4

2. La fonction t 7→ cos t étant pour tout entier n continue, positive, et non nulle sur 0, , on a d ,
Z π/2
n π
cosn t t > 0
et donc :
2
0

∀n ∈ N, I > 0. n

3. Soit n ∈ N. On fait une intégration par parties appliquée à I avec : n−2

u(t) = cos t
0
et v (t) = cos t
n+1
n
0

u (t) = −(n + 1) sin t cos t v(t) = sin t

ce qui donne :
d
π/2
Z π/2
In+2 = sin t cosn+1 t 0 + (n + 1) sin2 t cosn t t

0
 En utilisant la relation cos x + sin2 x = 1
2
, on en déduit :
d
Z π/2
In+2 = (n + 1) (1 − cos2 t) cosn t t = (n + 1)In − (n + 1)In+2
0

Ce qui donne nalement en regroupant (n + 2)I n+2 = (n + 1)In , soit :

n+1
In+2 = In .
n+2

4. (a) Pour t ∈ [0, π/2], on pose h(t) = π2 sin t − t, et on calcule :

h (t) = cos t − 1 et h (t) = − sin t < 0 ∀t ∈ 0,
π0 π  π
00
2 2 2
La fonction h est donc strictement décroissante sur 0, , et comme h (0) = − 1 > 0 et h (π/2) = −1 < 0,
0
  π 0 π 0

elle s'annule une fois sur cet intervalle en α = arccos . On a en résumé : 2

2 2

 h(0) = 0, h croissante sur [0, α] donc h > 0 sur cet intervalle.

π

 h décroissante sur [α, π/2] et h(π/2) = 0 donc h > 0 sur cet intervalle.
La fonction h est donc positive sur [0, π/2], donc si t est sur cet intervalle on a π2 sin t > t, et l'autre inégalité
étant triviale, on a :
π
∀t ∈ [0, π/2], 06t6 sin(t).
2

Si t ∈ 0, , on en déduit 0 6 t
π
2
2
6
π2
4
sin2 (t) =
π2
4
(1 − cos2 t) , et en multipliant par cos n
t>0 :
π2
0 6 t2 cosn t 6 (cosn t − cosn+2 t)
4
Ces inégalités sont conservées par passage à l'intégrale entre 0 et π/2 :
π/2 π/2
π2
Z Z
2 n
06 t cos t 6 (cosn t − cosn+2 t)
0 0 4
Par linéarité de l'intégrale du membre de droite, on retrouve :
π2
0 6 Jn 6 (In − In+2 ).
4

(b) Comme I n >0 d'après la question 2, l'inégalité qui précède permet d'écrire :
π2
 
Jn In+2
06 6 1−
In 4 In
Avec la relation de la question 3, on a :
π2 π2
 
Jn n+1 1
06 6 1− = ×
In 4 n+2 4 n+2

Comme π4 , on conclut avec le théorème des gendarmes :

2
1
× −→ 0
n + 2 n→+∞

In
lim =0
n→+∞ Jn

5. On veut maintenant exprimer I en fonction de J et J . Pour cela, on va procéder à l'aide d'une intégration
par parties avec :
n+2 n n+2

u(t) = cos t
0
et v (t) = 1
n+2
n+1
0

u (t) = −(n + 2) sin t cos t v(t) = t

ce qui donne :
t dt = t cos t dt
Z π/2 Z π/2
 n+2
 n+2 π/2 n+1
I = n+2 cos t + (n + 2) t sin t cos 0
0 0
 Le premier membre entre crochets étant nul, on refait une intégration par parties avec :
u(t) = sin t cos t n+1
et v (t) = t 2
0
t2
0 n+2 n
u (t) = cos t − (n + 1) sin t cos t v(t) = 2

et on obtient :
d d
!
h t2 iπ/2 Z π/2 Z π/2
n+1 1 2 n+2 n+1 2 2 n
In+2 = (n + 2) sin t cos t − t cos t t+ t sin t cos t t
2 0 2 0 2 0

d
!
Z π/2
1 n+1
= (n + 2) − Jn+2 + t2 (1 − cos2 t) cosn t t
2 2 0

Cette dernière intégrale peut s'exprimer en fonction de J et J ce qui donne : n n+2

 
1 n+1
In+2 = (n + 2) − Jn+2 + (Jn − Jn+2 )
2 2
n+2

= (n + 1)Jn − (n + 2)Jn+2
2
on peut nalement mettre cette expression sous la forme annoncée :
(n + 1)(n + 2)Jn − (n + 2)2 Jn+2
In+2 = .
2

En divisant le résultat par I , on écrit ensuite (en utilisant deux fois le résultat de la question 3) :
n

In+2 n+1 (n + 1)(n + 2) Jn (n + 2)2 Jn+2

= = −
In n+2 2 In 2 In
2
(n + 1)(n + 2) Jn (n + 2) n+1
= − Jn+2
2 In 2 (n + 2)In+2
 
n+1 (n + 1)(n + 2) Jn Jn+2
= −
n+2 2 In In+2

Il reste à diviser l'égalité obtenue par (n + 1)(n + 2) pour obtenir le résultat :

Jn Jn+2 2
− = .
In In+2 (n + 2)2

6. En posant n = 2k dans l'inégalité précédente, on a :

J2k J2k+2 2 1
− = 2
= .
I2k I2k+2 (2k + 2) 2(k + 1)2

On peut alors eectuer la somme, pour k variant de 0 à n − 1 et constater un télescopage :

n−1
X  n−1 n
J2k J2k+2 J0 J2n 1X 1 1X 1 1
− = − = = = Sn
I2k I2k+2 I0 I2n 2 (k + 1)2 2 k2 2
k=0 k=0 k=1

On sait d'après la question 4b que lim

J2n
=0 , donc (S ) n n∈N∗ converge (ce qu'on sait de toutes façons avec la
théorie des séries) et :
n→+∞ I2n

π2
 
J0 J2n J0
ζ(2) = lim Sn = lim 2 − =2× =
n→+∞ n→+∞ I0 I2n I0 6
On a donc bien prouvé le résultat :
π2
ζ(2) =
6
Partie II : Une application.

1. La fonction t 7→ tln−t1 est continue et positive sur ]0, 1[.

? Au voisinage de 0, on a : ∼ − ln t.
ln t
t−1 t→0

Or ln t dt converge, donc tln−t1 dt converge.

Z 1/2 Z 1/2

? Au voisinage de 1, on a : ln(t) = ln(1 + (t − 1)) ∼ t − 1.

0 0

t→1

Ainsi lim tln−t1 = lim tt −− 11 = 1.

t→1 t→1

La fonction se prolonge par continuité en 1, donc tln−t1 dt existe.

Z 1

En résumé :
1/2

dt converge.
Z 1
ln t
t−1 0

2. Il faut distinguer deux cas : Z

? Pour k = 0, on sait que I = ln(t) dt converge et vaut −1.
1
0

? Pour k > 1, la fonction t 7→ t ln(t) est continue sur ]0, 1] et se prolonge par continuité en 0 puisque d'après le
0
k

théorème des croissances comparées :

lim tk ln(t) = 0.
Donc I existe pour k > 1, et pour le calcul (qui reste valable aussi pour k = 0) on peut eectuer l'intégration
t→0

par parties qui suit :

k

u(t) = ln(t) et v (t) = t 0 k

1 tk+1
u0 (t) = v(t) =
t k+1

valable car u(t)v(t) = ln(t)t . Ce qui donne :

k+1
−→ 0
k+1 t→0

d
1 Z 1
ln(t)tk+1

1
Ik = − tk t
k+1 0 k+1 0
 k+1 1
1 t 1
= − =−
k+1 k+1 0 (k + 1)2

1
∀k > 0, Ik = −
(k + 1)2
3. Par linéarité de l'intégrale, on a :
d d
n n Z
" n
#
X X 1 Z 1 X
k k
Ik = t ln(t) t = t ln(t) t
k=0 k=0 0 0 k=0

d d d
Z 1 1 1
1 − tn+1 tn+1
Z Z
1
= ln(t) t = ln(t) t − ln(t) t
0 1−t 0 1−t 0 1−t
On reconnaît l'écriture qui suit :
d
n Z 1 n+1
X t ln(t)
Ik = t−I
0 t−1
k=0

4. lim t ln(t) = 0 par croissances comparées donc :

t→0
t ln(t)
lim
t→0 t − 1
=0 .
On a vu de plus, à la question 1, que lim tln−t1 = 1, donc : lim ttln(t)
t→1 −1
=1.
t→1

On en déduit que la fonction t 7→ tt −ln 1t se prolonge en une fonction continue h sur le segment [0, 1]. Comme il
 s'agit d'une fonction continue sur un segment, le prolongement h est borné (et atteint ses bornes), autrement dit :
∃M > 0, ∀t ∈ [0, 1], |h(t)| 6 M

En particulier, comme h(t) = tt −ln 1t pour t ∈]0, 1[ :

t ln t
∃M > 0, ∀t ∈]0, 1[, 6M
t−1

5. On peut utiliser le résultat qui précède de la manière suivante :

d d d d
Z Z 1 n+1 Z 1 n+1 1 Z 1
t ln t t ln t t ln t n
t 6 t= t t6 M tn t
t−1 0 t−1 0 0 t−1 0

De plus d . D'après le théorème d'encadrement :

1 1
M tn+1
Z 
n M
Mt t= = −→ 0
0 n+1 0 n + 1 n→+∞

d
Z 1 n+1
t ln t
lim t=0
n→+∞ 0 t−1

Or on sait d'après les questions 2 et 3 que :

d d
Z Z 1 n+1 n 1 n+1 n
t ln t X t ln t X 1
I= t− I = k t+
t−1 0 0 t−1 (k + 1)2
k=1 k=1

Donc par passage à la limite lorsque n tend vers +∞ :

+∞ +∞
X 1 X 1
I= =
(k + 1)2 k2
k=0 k=1

On conclut immédiatement à l'aide du résultat de la partie I :

π2
I=
6

PROBLEME

Partie I : Étude d'une fonction dénie par une intégrale

1. Soit x > 0. La fonction t 7→ xe+ t est continue et positive sur [0, +∞[, et pour t > 1 :
−t

e−t e−t
6 6 e−t
x+t t

On sait que dt converge, donc d converge.

+∞ +∞
e−t
Z Z
−t
e t
1 1 x+t

d converge.
+∞
e−t
Z
t
0 x+t

On note f :]0, +∞[→ R l'application dénie, pour tout x ∈]0, +∞[, par : f (x) = d t.
Z +∞ −t
e
x+t 0

2. Soit x > 0. La fonction t 7→ xe+ t est positive sur ]0, +∞[, donc d'après la relation de Chasles :
−t

d d d
1 +∞ 1
e−t e−t e−t
Z Z Z
f (x) = t+ t> t
0 x+t x+t x+t
|1 {z } 0
>0
 De plus, pour t ∈ [0, 1], on a xe+ t > xe+ t , donc d d:
−t −1 1 1
e−t e−1
Z Z
t> t
0 x+t 0 x+t

, d
1
e−1
Z
∀x ∈]0, +∞[ f (x) > t
0 x+t

Enn xe+ t dt = e ln(x + t) = e (ln(x + 1) − ln(x)) −→ +∞.

Z 1 −1
−1 1 −1
0

On conclut avec le théorème d'encadrement :

0 x→0+

f (x) −→ +∞
x→0+

3. Soit x > 0, on a d'autre part :

e−t e−t
∀t ∈ [0, +∞[, 06 6
x+t x
et par passage à l'intégrale entre 0 et +∞ :
d d
+∞ +∞  −t +∞
e−t e−t −e
Z Z
1
0 6 f (x) = t6 t= =
0 x+t 0 x x 0 x

, 1
∀x ∈]0, +∞[ 0 6 f (x) 6
x

Comme x→+∞
lim
1
x
= 0, on conclut, toujours avec le théorème d'encadrement :

f (x) −→ 0
x→+∞

4. La fonction t 7→ te est continue et positive sur ]0, +∞[, et on a au voisinage de +∞ :

−t

1
te−t 6
t2
En eet, t 2
× te−t = t3 e−t −→ 0
t→+∞
par croissances comparées, et donc :
∃A > 0, ∀t > A, t × te 6 1 (i.e te2 −t −t 1
6 ).
t2

Comme
Z +∞
dt converge, on en déduit que Z +∞
te−t t d converge, d'où :
A t2 A

d converge.
Z +∞
te−t t
0

Soit x > 0 :
d d d
+∞ Z +∞ −t +∞
e−t e−t
Z Z
1 1 e
f (x) − = t− = t− x
x 0 x+t x 0 x+t 0 x

d d
Z +∞ −t Z +∞
xe − (x + t)e−t −te−t
= t = t
0 x(x + t) 0 x(x + t)

Or d d d d , ainsi :
+∞ +∞ Z +∞ Z +∞ −t
−te−t −te−t te−t
Z Z
te
t 6 t= t6 t
0 x(x + t) 0 x(x + t) 0 x(x + t) 0 x2

d
Z +∞
1 1
∀x ∈]0, +∞[, f (x) − 6 2 te−t t.
x x 0

On en déduit que car : d .

  Z +∞
1 1 1 1
f (x) − = o x f (x) − 6 te−t t −→ 0
x x x x 0 x→+∞

Donc et on en déduit :
 
1 1
f (x) = + o
x x
1
f (x) ∼ .
x→+∞ x
Partie II : Une autre expression intégrale de f .
A - Dérivabilité et expression de la dérivée de f sous forme d'une intégrale
5. Soit (x, h) ∈]0, +∞[×R tel que h > − x2 .
∗

(a) Soit x > 0. La fonction t 7→ (xe+ t) est continue et positive sur [0, +∞[, et pour t > 1 :
−t

e−t e−t
6 6 e−t
(x + t)2 t2

On sait que dt converge, donc d converge.

+∞ +∞
e−t
Z Z
−t
e t
1 1 (x + t)2

d converge.
+∞
e−t
Z
t
0 (x + t)2
(b) Soit t ∈ [0, +∞[ :
 
1 1 1 1 1 x + t − (x + h + t) 1
− + = × +
h x+h+t x+t (x + t)2 h (x + h + t)(x + t) (x + t)2
−1 1 −(x + t) + (x + h + t)
= + =
(x + h + t)(x + t) (x + t)2 (x + h + t)(x + t)2
|h|
=
(x + h + t)(x + t)2

Or (x + t) 2
> x2 et x + h + t > x + h > x − x2 = x2 , d'où :
 
1 1 1 1 2|h|
∀t ∈ [0, +∞[, − + 6 3 .
h x+h+t x+t (x + t)2 x

(c) Pour t ∈]0, +∞[, on a donc :

 
2|h| 1 1 1 1 2|h|
− 6 − + 6 3
x3 h x+h+t x+t (x + t)2 x

d'où : 2|h| −t 1

e−t e−t

e−t 2|h|
− 3
e 6 − + 2
6 3 e−t
x h x+h+t x+t (x + t) x
ce qui entraîne, par croissance de l'intégrale :
e dt 6 dt − d d d
+∞ +∞ +∞  Z +∞
−t
e−t e−t 2|h| +∞ −t
Z Z Z Z
2|h| 1 −t e
− 3
t + t6 3 e t
x 0 h x+h+t 0 0 x+t 0 (x + t)2 x 0

et comme d , on a :
Z +∞
e−t t = 1
0

d d d d
+∞ +∞  Z +∞
e−t e−t e−t 2|h| +∞ −t
Z Z Z
1
t− t + t 6 3 e t
h 0 x+h+t 0 x+t 0 (x + t)2 x 0

c'est à dire :
d
+∞
f (x + h) − f (x) e−t
Z
2|h|
+ t 6 3 .
h 0 (x + t)2 x

6. On constate que lim 2|h|

x
= 0, ainsi par le théorème d'encadrement :
h→0 3

d
+∞
f (x + h) − f (x) e−t
Z
lim =− t
h→0 h 0 (x + t)2

ce qui prouve que :

 est dérivable sur ]0, +∞[ et : ∀x ∈]0, +∞[, f (x) = − (xe+ t) dt.
Z +∞ −t
0
f 2
0

7. Soit x ∈]0, +∞[ et (ε, A) ∈]0, 1] × [1, +∞[. On eectue l'intégration par parties suivante :
u(t) = e et v (t) = (x +1 t)
−t 0
2
−1
u0 (t) = −e−t v(t) =
x+t
et on obtient :
d d
A  −t t=A Z A −t
e−t −e
Z
e
2
t = − t
ε (x + t) x + t t=ε ε x+t

Ainsi, pour tout x ∈]0, +∞[ et tout (ε, A) ∈]0, 1] × [1, +∞[ :
d d
A A
e−t e−A e−ε e−t
Z Z
t = − + − t.
ε (x + t)2 x+A x+ε ε x+t

8. En eectuant la limite lorsque A tend vers +∞, on a pour tout ε ∈]0, 1] :

dt = x + ε − xe+ t dt.
Z +∞ Z −t −ε +∞ −t
e e
(x + t) 2
ε ε

puis en eectuant la limite lorsque ε tend vers 0 :

d dt
Z +∞
Z −t +∞ −t
e 1 e
t= − 2
(x + t) 0 x x+t 0

c'est à dire : 1
−f 0 (x) = − f (x)
x
En résumé :
1
∀x ∈]0, +∞[, f 0 (x) = − + f (x).
x
9. D'après l'expression trouvée, f est dérivable sur ]0, +∞[ comme somme de fonctions dérivables et :
0

 
d 1 1
d
00
∀x ∈]0, +∞[, f (x) = − + f (x) = 2 + f 0 (x)
x x x

De plus, f est dérivable donc continue sur ]0, +∞[, f est continue comme somme de fonctions continues sur ]0, +∞[.
0 00

Résumons :
f est de classe C sur ]0, +∞[ et pour x ∈]0, +∞[, f (x) = + f (x).
2 1 00 0
x 2

B - Intervention d'une fonction auxiliaire g

On note g :]0, +∞[→ R l'application dénie, pour tout x > 0, par : g(x) = e f (x). −x

10. g est dérivable sur ]0, +∞[ comme produit de fonctions dérivables et pour x ∈]0, +∞[ :
g 0 (x) = −e−x f (x) + e−x f 0 (x) = e−x f 0 (x) − f (x)
 

On en déduit, grâce au résultat de la question 8, que :

e−x
∀x ∈]0, +∞[, g 0 (x) = − .
x

11. Soit x > 0. La fonction u 7→ eu est continue et positive sur [x, +∞[ et pour u > x, on a :
−u

e−u e−u
06 6
u x

Comme x1 d converge, alors par le principe de majoration :

Z +∞
e−u u
x
 Pour tout x ∈]0, +∞[, l'intégrale du converge.
Z +∞ −u
e
u x

Remarquons d'autre part, d'après la relation de Chasles, que :

du = du − eu du
Z +∞ −u Z +∞
Z −u x −u
e e
x u u 1 1

La première intégrale ne dépend pas de x donc sa dérivée est nulle et la seconde a pour dérivée − ex d'après le
−x

théorème fondamental de l'analyse. On a donc, d'après la question 10 :

d
Z +∞  −u −x
d e e
dx
0
u =− = −g (x)
xu x

Ainsi : ∀x ∈]0, +∞[, g(x) = du + K .

Z +∞ −u
e
u
Or on sait d'après I.3 que f a une limite nulle en +∞, donc c'est aussi clairement le cas pour g, ce qui donne K = 0.
x

En résumé :
du.
Z +∞ −u
e
∀x ∈]0, +∞[, g(x) =
u x

et comme f (x) = e g(x), on a immédiatement :

x

d
+∞
e−u
Z
x
∀x ∈]0, +∞[, f (x) = e u.
x u

12. Enn, on a vu à la partie I que f (x) x→+∞

∼
1
x
, d'où :
e−x
g(x) = e−x f (x) ∼
x→+∞ x
c'est à dire :
d
+∞
e−u e−x
Z
u ∼ .
x u x→+∞ x

[]