PC?

– Lycée Louis Thuillier TD – Fonction Gamma d’Euler

TD – Fonction Gamma d’Euler

Z +∞
La fonction Γ d’Euler est définie par Γ(x) = tx−1 e−t dt.
0

Propriétés basiques
1. Montrer que Γ est définie et de classe C 2 sur ]0, +∞[.
2. Montrer alors que Γ(x + 1) = xΓ(x) et Γ(1) = 1 . Que vaut Γ(n) pour n ∈ N× ?
3. Montrer que Γ est convexe.
4. Déterminer un équivalente de Γ en 0, en déduire la limite de Γ en 0.
Γ(x)
5. Déterminer la limite de Γ en +∞ ainsi que celle de .
x
6. donner alors l’allure de l courbe représentative de Γ.

Formule des compléments

Z n  n
t
7. Montrer que pour tout x > 0 on a Γ(x) = lim 1− tx−1 dt.
n→∞ 0 n
nx n!
8. En déduire que Γ(x) = lim .
n→∞ x(x + 1) · · · (x + n)

Nous retrouvons ainsi la fonction que nous avons étudié dans le DL1. Nous avons alors vu dans la Partie IV
π
que Γ vérifie la formule des compléments c’est–à–dire Γ(x)Γ(1 − x) = .
sin(πx)
Nous avons par ailleurs prouvé dans la partie III que ln(Γ) est convexe et que Γ était l’unique fonction vérifiant
ln(f ) convexe, f (1) = 1 et f (x + 1) = xf (x), résultat que nous réutiliserons dans la question 17

Formule de Stirling
Il s’agit ici de déterminer un équivalente de Γ en +∞.
√
9. Effectuer Zle changement de variable t = x + u x montrer que pour tout x > 0 on a Γ(x + 1) =
 x x √ √
x f (x, u)du avec f une fonction à déterminer telle que f (x, u) = 0 si t 6 − x.
e R
10. Déterminer la limite de f (x, u) quand x tend vers +∞ à u fixé.
11. Si x > 1, montrer que ∀u ∈ R+ ; 0 < f (x, u) 6 (1 + u)e−u .
√ u2
12. Montrer alors, toujours pour x > 1, que pour tout u ∈ ]− x, 0] on a 0 < f (x, u) 6 e− 2 .
√  x x
13. Démontrer alors la formule de Stirling : Γ(x + 1) ∼ 2πx
x→∞ e

Fonctions eulériennes de seconde espèce

R1
On définit B(x, y) = 0
tx−1 (1 − t)y−1 dt
14. Montrer que B est bien définie sur R× ×
+ × R+ .
x
15. Montrer que pour tout x > 0 et y > 0 on a B(y, x) = B(x, y), B(x + 1, y) = x+y B(x, y).

16. Montrer alors que si y > 0 est fixé, alors x 7−→ B(x, y) est de classe C 2 sur R×+ et que x 7−→ ln(B(x, y))
est convexe.
Γ(x)Γ(y)
17. En considérant Ψ(x) = Γ(x + y)B(x, y), montrer 1 que B(x, y) = .
Γ(x + y)

1. On rappelle que Γ est l’unique fonction telle que ln(f ) convexe, f (1) = 1 et f (x + 1) = xf (x).

Dikanaina Harrivel – 17 novembre 2010 1