Agrégation externe de mathématiques 2019-2020

Formule de Stirling
Leçons 235,265

Théorème (Formule de Stirling)

√  x x
Γ (x + 1) ∼ 2πx
x−→+∞ e
Voici le plan de la démonstration:

1. Montrer l’équivalent:
Z 2x
Γ(x + 1) ∼ tx e−t dt
x→+∞ 0

2. Etudier l’intégrale Z 2x
tx e−t dt
0
lorsque x → +∞ et en déduire la formule à l’aide du théorème de convergence
dominée.
Démonstration. 1. Soit x > 0:
Z +∞ Z 2x Z +∞
x −t x −t
Γ(x + 1) = t e dt = t e dt + tx e−t dt
0 0 2x

Par un changement de variable t = u + x, on obtient:

Z +∞ Z +∞
x −t
t e dt = (u + x)x e−(u+x) du
2x
Zx +∞
≤ (2u)x e−(u+x) du
x x Z +∞
2
≤ ux e−u du
e x

On a donc l’encadrement:
Z +∞  x Z +∞
x −t 2
0≤ t e dt ≤ tx e−t dt
2x e 0

2
e
< 1 donc on obtient:
Z +∞
tx e−t dt = o (Γ(x + 1))
2x x→+∞

D’où:

Z 2x
Γ(x + 1) ∼ tx e−t dt (1)
x→+∞ 0

Maxime BOUCHEREAU 1 Université Rennes 1-ENS Rennes

Agrégation externe de mathématiques 2019-2020

2. Soit x > 0 :

Z 2x Z x
x −t t=u+x −x
t e dt = e (u + x)x e−u dt
0 −x
 x x Z x  u x −u
= 1+ e du
e −x x
 x x
= Ix
e

où: Z
u x −u 
Ix = fx (u)du et fx (u) = χ]−x;x[ (u) 1 + e
R x
√
Montrons que √Ixx −→ 2π ce qui donnera l’équivalent demandé.
x→+∞

On va pour cela utiliser le théorème de convergence dominée.

Si u ∈ ]−x; x[, alors:

 u x −u
e = ex ln(1+ x )−u = ex{ln(1+ x )− x }
u u u
1+
x
Soit v ∈] − 1; 1[:
+∞
X (−1)n v n
ln(1 + v) = −
n=1
n

Donc:
+∞
v 2 X (−1)n v n
ln(1 + v) − v = − −
2 n=3
n
2 2
◦ Si v < 0, on a directement: ln(1 + v) − v ≤ − v2 ≤ − v6

◦ Si v ≥ 0, le théorème des séries alternées assure que:

+∞
v2 X (−1)n v n v3
ln(1 + v) − v + ≤ ≤
2 n=3
n 3

v3 v2 v2 v2 2
Donc: ln(1 + v) − v ≤ 3
− 2
≤ 3
− 2
≤ − v6

u
Ainsi, si x
< 1, on obtient alors:

u 2 u2
ex{ln(1+ x )− x } ≤ e−x· 6 ( x ) ≤ e− 6x
u u 1

u2
Donc on obtient pour tout u ∈ R, |fx (u)| ≤ e− 6x

Maxime BOUCHEREAU 2 Université Rennes 1-ENS Rennes

Agrégation externe de mathématiques 2019-2020

√
En posant u = xy, on obtient finalement:

√ y2
∀y ∈ R, fx ( xy) ≤ e− 6 (2)

La fonction majorante est indépendante de x, intégrable et positive, ce qui vérifie

l’hypothèse de domination.

De plus, on a:

  2 
√y − 1 √y +o( x1 )− √yx
n   o
x ln 1+ √yx − √yx x x 2 x
e = e
x→+∞
y2
= e− 2 +o(1)
x→+∞

Ainsi, on a:
√ y2
∀y ∈ R, fx ( xy) −→ e− 2
x→+∞
√
De plus, les fonctions y 7→ fx ( xy) sont mesurables sur R.
Par le théorème de convergence dominée, on obtient finalement:
√
I
Z x √
Z
y2 √
√x = √
fx ( xy)dy −→ e− 2 dy = 2π
x − x x→+∞ R

Ainsi, d’après 1, on en déduit que:

√  x x
Γ(x + 1) ∼ 2πx
x→+∞ e
■

Maxime BOUCHEREAU 3 Université Rennes 1-ENS Rennes