MPSI2 À RENDRE LE 20.11.

20

DEVOIR MAISON 6
PROBLÈME : DEUX APPLICATIONS DES INTÉGRALES DE WALLIS
Les parties II et III sont indépendantes. La partie III est facultative.

Partie I. Intégrales de Wallis

 π
0, 2 −→ R
1. Pour tout x ∈ R+ , on note φ x : .
t 7−→ (cos t)x
Montrer que φ x est continue sur 0, π2 et prolongeable par continuité en π2 .
 

On note encore φ x la fonction ainsi prolongée à 0, π2 .

 
Z π Z π /2
2
Dans toute la suite, pour x ∈ R+ , on pose f (x) = (cos t)x dt = φ x (t) dt.
0 0
2. Calculer f (0), f (1) et f (2).
3. Montrer que pour tout x ∈ R+ , f (x) > 0.
4. Prouver que f est décroissante sur R+ .
5. À l’aide d’une intégration par parties, établir que pour tout x ∈ R+ , (x + 2)f (x + 2) = (x + 1)f (x).
On note д la fonction définie sur R+ par x 7→ (x + 1)f (x)f (x + 1).
6. Prouver que pour tout x ∈ R+ , д(x + 1) = д(x). En déduire la valeur de д(n), pour tout n ∈ N.
7. Soit x ∈ [0, 1[.
a. À l’aide de la décroissance de f , prouver que pour tout n ∈ N,
π x +n +1 π x +n +1
6 д(x + n) 6 .
2 n+2 2 n+1
b. En déduire la valeur de д(x), puis que д est constante sur R+ .
π
8. En notant que pour tout x > 1, f (x + 1) 6 f (x) 6 f (x − 1), prouver que lim x f (x)2 = . En déduire
√ x →+∞ 2
lim x f (x).
x →+∞

Partie II. Calcul de l’intégrale de Gauss

Z x
2 2
Dans cette partie, on note F : x 7→ e −t dt la primitive de x 7→ e −x qui s’annule en 0.
0 Z +∞
2
Le but de la partie est de calculer la limite de F en +∞, qu’on note généralement e −t dt, et qu’on appelle
0
l’intégrale de Gauss.
Z 1 Z x
2
9. Prouver que ∀x > 1, F (x) 6 e −t dt + e −t dt.
0 1
En déduire que F possède une limite finie en +∞.
10. Prouver que pour tout y ∈ R, 1 + y 6 e y .
11. En déduire que pour tout x ∈ R+∗ et pour tout u ∈ [0, x],
!x2 ! −x 2
u2 −u 2 u2
1− 2 6e 6 1+ 2 .
x x

x ! −x 2
u2
Z
12. Soit x > 0. À l’aide du changement de variable u = x tan t, exprimer 1+ 2 du en fonction de
0 x
Z π /4
2
cos2x −2 t dt.
0

MPSI2 LYCÉE CHAMPOLLION 2020–2021

 13. En utilisant les deux questions précédentes, ainsi qu’un changement de variable de la forme u = x sin t,
prouver que pour tout x > 1,

x f 2x 2 + 1 6 F (x) 6 x f 2x 2 − 2 .
   

√
π
14. Prouver enfin que lim F (x) = .
x →+∞ 2

Partie III. Calcul de ζ (2) (a.k.a. la somme des inverses des carrés des entiers).
n
X 1
Le but de cette partie est de calculer la limite de la suite (Sn )n>1 définie par Sn = .
k =1
k2
Z π /2
4p (p!)2
Pour p ∈ N, on pose Jp = t 2 cos2p t dt et Kp = Jp .
0 (2p)!
(2n)! π
15. Prouver que pour tout n ∈ N, f (2n) = .
4n (n!)2 2
16. Montrer que pour tout p ∈ N∗ , f (2p) = p(2p − 1)Jp−1 − 2p 2 Jp .
π
17. En déduire que pour tout p > 1, Kp−1 − Kp = 2 .
4p
18. À l’aide de la question précédente, exprimer Sn à l’aide de Kn , pour n ∈ N∗ .
19. Prouver que pour tout x ∈ 0, π2 , on a x 6 π2 sin x.
 

π 2 f (2p)
20. En déduire que pour tout entier p ∈ N, on a 0 6 Jp 6 .
8(p + 1)
21. Prouver alors que (Sn ) converge et déterminer sa limite.

MPSI2 LYCÉE CHAMPOLLION 2020–2021