2022

CPGE
Mathématiques 1
First-Prepa 2ième M.P
Autour de la fonction Gamma d’Euler

Soit Γ la fonction de la variable réelle x définie par :

Z +∞
Γ( x) = t x−1 exp(−t)dt
0

Q 1. Déterminer l’ensemble de définition de la fonction Γ .

Q 2. Montrer que Γ est continue sur R∗+ .
Q 3. Montrer que Γ est de classe C 1 sur R∗+ et donner sa dérivée .
Q 4. Montrer que Γ est de classe C ∞ sur R∗+ et, pour tout n ∈ N, on a :
Z +∞
Γ (n)
( x) = e−t (ln t)n t x−1 dt
0

Q 5. Montrer que : ∀ x > 0, Γ( x + 1) = xΓ( x), puis en déduire que : ∀n ∈ N∗ , Γ(n) = (n − 1)! .
Q 6. Prouver que la fonction Γ est convexe sur R∗+ .
1
Q 7. Montrer que lim Γ( x) = +∞. Plus précisément, Γ( x) ∼+ x .
x→0+ x→0
Γ( x)
Q 8. Montrer que lim Γ( x) = +∞ et lim = +∞.
x→+∞ x→+∞ x
Q 9. Pour n entier naturel non nul, on définit la fonction gn de R∗+ dans R par :

t n
  
1− si 0 6 t < n,

gn : t 7−→ n
0 si t > n


(a) Prouver que : ∀t > 0 , exp(−t) > 1 − t.

En déduire que : ∀t > 0 , ∀n > 1 , 0 6 gn (t) 6 exp(−t).
t n x−1
Z n 
(b) Montrer alors que : ∀ x > 0 , lim 1− t dt = Γ( x).
n→+∞ 0 n

Fin des énonces

Mr. FARESS Moussa 1/4 M.P. 22-23
 Un corrigé
Q 1. Ensemble de définition de Γ :
Soit x ∈ R. La fonction h x : t 7→ e−t t x−1 est continue sur ]0, +∞[ par produit de fonctions continues,
les fonctions exponentielle et puissances étant bien continues sur ]0, +∞[ donc continue par morceaux
sur ]0, +∞[.
• Au voisinage de +∞, on a : t2 e−t t x−1 = t x+1 e−t −→ 0, donc h x est intégrable au voisinage de
t→+∞
Z +∞
+∞, par suite h x (t)dt est convergente.
1
Z 1
1
• Au voisinage de 0, on a : h x (t) ∼ + t x−1 = 1− x
, donc h x (t)dt est convergente si et seulement
Z 1 t→0 t 0
1
si dt est convergente si et seulement si 1 − x < 1 c-à-d x > 0.
0 t1− x
Z +∞
• On peut ainsi définir la fameuse fonction Gamma d’Euler Γ : x 7→ e−t t x−1 dt, sur ]0, +∞[
0
Q 2. Continuité de Γ :
Z 1 Z +∞
• Posons, pour x > 0, Γ( x) = g1 ( x) + g2 ( x), avec g1 ( x) = e−t t x−1 dt et g2 ( x) = e−t t x−1 dt.
0 1
Soient a, b ∈ R tels que 0 < a < b.
• La fonction ( x, t) 7→ f ( x, t) est continue sur [ a, b] × R∗+ .
• Pour 0 < t 6 1, 0 6 f ( x, t) 6 e−t t a−1 , où la fonction t 7→ e−t t a−1 est intégrable sur ]0, 1]. Donc
g1 est continue sur [ a, b].
• Pour t > 1, 0 6 f ( x, t) 6 e−t tb−1 , où la fonction t 7→ e−t tb−1 est intégrable sur [1, +∞[. Donc g2
est continue sur [ a, b].

Ainsi, Γ est continue sur tout intervalle [ a, b], donc sur R∗+ .
Q 3. Γ est de classe C 1 sur R∗+ :
On définit h : ( x, t) 7−→ h x (t) = e−t t x−1 .
• Pour x > 0, t 7→ h( x, t) est continue par morceaux et intégrable sur R∗+ .
• Pour tout t > 0, x 7−→ h( x, t) est dérivable sur R∗+ et pour tout ( x, t) ∈ (R∗+ )2 ,
∂h
( x, t) = ln(t)e−t t x−1
∂x
∂h
• Pour tout t > 0, x 7−→ ( x, t) est continue sur R∗+ .
∂x
∂h
• Pour tout x > 0, t 7−→ ( x, t) est continue donc continue par morceaux sur R∗+ .
∂x
• Soit [ a, b] un segment de R∗+ .
 
∗  ∂h
 
∀( x, t) ∈ [ a, b] × R+ ,  ( x, t) 6 ψ(t)
∂x

| ln(t)|e−t t a−1 si t 6 1

∗
Avec ψ est la fonction définie sur R+ par ψ(t) = . Cette fonction est
ln(t)e−t tb−1 si t > 1
continue par morceaux (et même continue en fait).
De plus, pour t > 1, on a t2 ψ(t) = t1+b ln(t)e−t , donc t2 ψ(t) −→ 0 par croissance comparée,
  t→+∞
1 1− 2a a
d’où ψ(t) = o . Et, pour t ∈]0, 1], on a t ψ(t) = t 2 | ln(t)|e−t −→ 0 (toujours par
t→+∞ t2 t→0+
 
1 a
croissance comparée, car a > 0), donc ψ(t) = o a , avec 1 − < 1.
t→0+ t1− 2 2
Donc ψ est intégrable sur ]0, +∞[.
On en déduit l’hypothèse de domination sur tous les segments de ]0, +∞[.

M.P. 22-23 2/4 La fonction Gamma

 Cela prouve finalement que Γ est de classe C 1 sur ]0, +∞[, donc dérivable, avec :
Z +∞ Z +∞
0 ∂h
∀ x > 0, Γ ( x) = ( x, t)dt = ln(t)e−t t x−1 dt.
0 ∂x 0

Q 4. Γ est de classe C n :
∂n h
Pour tout n ∈ N∗ , on a : ( x, t) = e−t (ln t)n t x−1 . On montre, exactement comme ci-dessus, d’après
∂xn
une généralisation du théorème de dérivation des intégrales à paramètres , que Γ est de classe C n sur
Z +∞
R∗+ , et que Γ (n) ( x) = e−t (ln t)n t x−1 dt.
0
Q 5. Intégration par parties. Récurrence
Q 6. Calculer la dérivée seconde
Q 7. La relation xΓ( x) = Γ( x + 1) donne lim xΓ( x) = Γ(1) = 1.
x→0+

Q 8. • Puisque Γ est de classe C 1 et que Γ(1) = Γ(2), la fonction Γ 0 s’annule en α ∈]1, 2[ d’après le th.
de Rolle. Puisque Γ 0 est strictement croissante, Γ 0 ( x) < 0 pour x < α et Γ 0 ( x) > 0 pour x > α.
En particulier, Γ est croissante sur [α, +∞[. D’après le th. de la limite monotone, elle admet donc
une limite dans R quand x tend vers +∞. Puisque Γ(n + 1) = n! si n ∈ N, cette limite est +∞.
Γ( x) x−1 Γ( x)
• Pour x > 1, = Γ( x − 1), donc lim = +∞. Cela signifie que la courbe représen-
x x x→+∞ x
tative de Γ admet un branche parabolique de direction Oy en +∞.
Q 9.
(a) Par convexité de la fonction exp, on a : ∀ x ∈ R , exp x ≥ 1 + x ; d’ où, avec x = −t :

∀t ≥ 0 , exp(−t) ≥ 1 − t.

Soient alors t ≥ 0 et n ≥ 1 ; si t ≥ n, gn (t) = 0 et on a bien 0 ≤ gn (t) ≤ exp(−t) ; on suppose

maintenant 0 ≤ t < n, je peux appliquer le résultat ci-dessus à t/n et on’utilise la croissance de
x 7→ xn sur R+ :
t n
   
t t
0 ≤ 1 − ≤ exp − d’où 0 ≤ 1 − ≤ exp(−t).
n n n
Ainsi :
∀t ≥ 0 , ∀n ≥ 1 , 0 ≤ gn (t) ≤ exp(−t).
1
(b) Soit x > 0 fixé ; f n : t 7→ t x−1 gn (t) est nulle sur [n, +∞[, continue sur ]0, n], avec f n (t) ∼ ,
t→0 t1− x
donc, par comparaison à une intégrale de Riemann (1 − x < 1), f n est intégrable sur ]0, +∞[,
avec :
t n x−1
Z +∞ Z n 
f n (t)dt = 1− t dt.
0 0 n
On’applique alors le théorème de convergence dominée à la suite de fonction ( f n ), sur l’intervalle
]0, +∞[ :
les f n sont continue par morceaux sur ]0, +∞[, la suite ( f n )n converge simplement sur ]0, +∞[
vers f : t 7→ t x−1 exp(−t) ; en effet, pour t > 0 fixé, on a t < n pour n assez grand (précisément
pour n > t !) et
t n x−1
 
∀n > t , f n (t) = 1 − t −→ exp(−t)t x−1
n n→∞

car
t n
      
t t
1− = exp n ln 1 − et n ln 1 − ∼ −t
n n n n→∞
f est continue sur ]0, +∞[, il ne reste qu’à vérifier l’hypothèse de domination. Or, d’après la
question précédente, on a
∀t > 0 , ∀n ≥ 1 , | f n (t)| ≤ f (t),

Mr. FARESS Moussa 3/4 M.P. 22-23

 qui ne dépend pas de n et enfin, et comme f est intégrable sur ]0, +∞[ ; le théorème de conver-
gence dominée me permet alors de conclure que
Z +∞ Z ∞
f n (t)dt −→ f (t)dt,
0 n→∞ 0

autrement dit : Z n n
t
∀ x > 0 , lim 1− t x−1 dt = Γ( x).
n→+∞ 0 n

Représentation graphique de la fonction Γ :

F IGURE 1 – La fonction Γ

M.P. 22-23 4/4 La fonction Gamma