Académique Documents
Professionnel Documents
Culture Documents
Fonction Digamma
Partie I: Préliminaire
1. (a) Soit x ∈ ]0, +∞[, démontrer que la fonction t 7−→ e−t tx−1 est intégrable sur ]0, +∞[
Z +∞
(b) On note, pour tout x ∈ ]0, +∞[, Γ(x) = e−t tx−1 dt ( Fonction Gamma d’Euler ).
0
Démontrer que pour tout x ∈ ]0, +∞[, Γ(x) > 0.
(c) Démontrer que la fonction Γ est dérivable sur ]0, +∞[ puis exprimer Γ0 (x) sous forme d’inégrale.
Z n
1 1
2. Pour tout entier n > 2, on pose un = dt − .
n−1 t n
X
(a) Utiliser un théorème du cours pour justifier simplement que la série un converge
n>2
n
X 1
(b) Pour tout entier n > 1, on pose Hn = − ln(n).
k
k=1
Démontrer que la suite (Hn )n>1 converge. On note dans la suite γ = lim Hn .
n→+∞
Γ0 (x)
Dans la suite de ce problème, on définit pour tout x ∈ ]0, +∞[, ψ(x) = appelée fonction
Γ(x)
Digamma.
3. Pour x ∈ ]0, +∞[ et pour tout entier n > 1, on définit la fonction fn sur ]0, +∞[ telle que :
n
t
pour tout t ∈ ]0, n], fn (t) = 1 − tx−1 et pour tout t ∈ ]n, +∞[, fn (t) = 0
n
(a) Démontrer que pour tout x < 1, ln (1 − x) 6 −x.
En déduire que pour tout entier n > 1, pour tout x ∈ ]0, +∞[ et tout t ∈ ]0, +∞[, 0 6 fn (t) 6 e−t tx−1
(b) En utilisant le théorème de convergence dominée, démontrer que pour tout x ∈ ]0, +∞[,
Z n n
t
Γ(x) = lim 1− tx−1 dt
n→+∞ 0 n
Z 1
n
4. On pose, pour n entier naturel et pour x ∈ ]0, +∞[, In (x) = (1 − u) ux−1 du
0
(a) Après avoir justifié l’existence de l’intégrale In (x), déterminer, pour x > 0 et pour n > 1, une relation entre
In (x) et In−1 (x + 1)
(b) En déduire, pour n entier naturel et pour x ∈ ]0, +∞[ une expression de In (x)
(c) Démontrer que, pour tout x ∈ ]0, +∞[,
n!nx
Γ(x) = lim n Formule de Gauss
n→+∞ Y
(x + k)
k=0
n n h
1 Y x xHn
Y x −x i
5. En remarquant que pour n > 1 et x ∈ ]0, +∞[, x
1 + = e 1+ e k , démontrer que pour
n k k
k=1 k=1
tout x ∈ ]0, +∞[,
n h
1 Y x −x i
= xeγx lim 1+ ek Formule de Weierstrass
Γ(x) n→+∞ k
k=1
Xh x xi
6. (a) En déduire que la série ln 1 + − converge simplement sur ]0, +∞[
k k
k>1
elamdaoui@gmail.com 1 www.elamdaoui.com
Problème de mathématiques Enoncé
Fonction Digamma
+∞ h
X x xi
(b) On pose, pour tout x ∈ ]0, +∞[, g(x) = ln 1 + − . Démontrer que l’application g est de classe
k k
k=1
C 1 sur ]0, +∞[ et exprimer g 0 (x) comme somme d’une série de fonctions.
+∞
−1 X 1 1
(c) En déduire que, pour tout x ∈ ]0, +∞[, ψ(x) = −γ+ −
x k k+x
k=1
Z +∞
7. (a) Que vaut ψ(1) ? En déduire la valeur de l’intégrale e−t ln(t) dt
0
(b) Calculer, pour tout x ∈ ]0, +∞[, ψ(x + 1) − ψ(x) puis démontrer que, pour tout entier n > 2,
n−1
X 1
ψ(n) = −γ +
k
k=1
2 1 1
(c) On pose, pour tout (x, y) ∈ ]0, +∞[ et k entier naturel, jk (y) = − .
k+y+1 k+y+x
X
Démontrer que la série jk converge uniformément sur ]0, +∞[. En déduire lim (ψ (x + n) − ψ (1 + n)).
n→+∞
k>0
8. Déterminer l’ensemble des applications f définies sur ]0, +∞[ et à valeurs réelles vérifiant les trois conditions :
• f (1) = −γ ;
1
• pour tout x ∈ ]0, +∞[, f (x + 1) = f (x) + ;
x
• pour tout x ∈ ]0, +∞[, lim (f (x + n) − f (1 + n)) = 0.
n→+∞
elamdaoui@gmail.com 2 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
1. (a) Soit x > 0. La fonction hx : t 7→ e−t tx−1 est continue sur ]0, +∞[ par produit de fonctions continues, les
fonctions exponentielle et puissances étant bien continues sur ]0, +∞[.
1
— En 0 : On a hx (t) ∼ tx−1 = 1−x avec 1 − x < 1
t→0+ t
2 −t x−1 x+1 −t 1
— En +∞ : On a t e t =t e −→ 0 par croissance comparée, d’où hx (t) = o .
t→+∞ t→+∞ t2
Ainsi, par comparaison de fonctions positives et critère de Riemann en 0 et en +∞, hx : t 7→ e−t tx−1 est
intégrable sur ]0, +∞[.
(b) Soit x > 0. La fonction hx définie dans la question précédente est continue et strictement positive sur
Z +∞
]0, +∞[. La positivité de l’intégrale nous donne hx (t)dt > 0 et la continuité de hx implique qu’on ne
Z +∞ 0
pourrait avoir hx (t)dt = 0 que si hx était identiquement nulle sur ]0, +∞[, ce qui n’est pas le cas.
0
Z +∞
Ainsi Γ(x) = hx (t)dt > 0, et ce pour tout x > 0.
0
∗
R+ × R∗+ −→ R
(c) On définit h : .
(x, t) 7−→ hx (t) = e−t tx−1
— Pour tout t > 0, x 7→ h(x, t) est de classe C 1 (et même C ∞ en fait) sur R∗+ . On a donc l’existence de
∂h ∂h
sur tout (R∗+ )2 et, pour tout t > 0, la continuité de x 7→ (x, t) sur R∗+ .
∂x ∂x
∂h
Notons d’ailleurs qu’on a, pour tout (x, t) ∈ (R∗+ )2 , (x, t) = ln(t)e−t tx−1 .
∂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∗+ . On a donc 0 < a 6 b.
(
∗ ∂h | ln(t)|e−t ta−1 si t 6 1
∀(x, t) ∈ [a, b] × R+ , (x, t) 6
∂x ln(t)e−t tb−1 si t > 1
(
| ln(t)|e−t ta−1 si t 6 1
Notons donc ϕ la fonction définie sur R∗+ par ϕ(t) = −t b−1
. Cette fonction est
ln(t)e t si t > 1
continue par morceaux (et même continue en fait).
— En +∞ : Pour t > 1, on a t2 ϕ(t) = t1+b ln(t)e−t , donc t2 ϕ(t) −→ 0 par croissance comparée,
t→+∞
1
d’où ϕ(t) = o .
t→+∞ t2
a a
— En 0 : Pour t ∈]0, 1], on a t1− 2 ϕ(t) = t 2 | ln(t)|e−t −→+ 0 (toujours par croissance comparée, car
t→0
1 a
a > 0), donc ϕ(t) = o a , avec 1 − 2 < 1.
t→0+ t1− 2
Donc ϕ est intégrable sur ]0, +∞[.
On en déduit l’hypothèse de domination sur tous les segments de ]0, +∞[.
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 tx−1 dt.
0 ∂x 0
Z n
1 1
2. Pour tout entier n > 2, on pose un = dt − .
n−1 t n
[1, +∞[ −→ R
(a) Notons f : . Comme la fonction f est continue (donc continue par morceaux),
t 7−→ 1t
décroissante
Z n et à valeurs positives, le théorème de comparaison série intégrale indique que la série
P P
f (t)dt − f (n) converge, c’est-à-dire que un converge.
n>2 n−1 n>2
elamdaoui@gmail.com 3 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
n
P 1
(b) Pour tout entier n > 1, on pose Hn = k − ln(n).
k=1
n Z n n n n
X dt X 1 X X 1
Pour n > 2, on a uk = − par relation de Chasles, d’où : uk = ln(n)+1− = 1−Hn .
1 t k k
k=2 ! k=2 k=2 k=1
Xn
Comme la suite uk converge par la question précédente, il s’ensuit que la suite (Hn )n>1 converge.
k=2 n>2
3. Pour x ∈]0, +∞[ et pour tout entier n > 1, on définit la fonction fn sur ]0, +∞[ par :
( n
1 − nt tx−1 si t ∈]0, n]
fn : t 7→
0 si t > n
(a) On peut établir l’inégalité souhaitée par simple étude de la fonction x 7→ ln(1 − x) + x sur ] − ∞, 1[, ou bien
par un argument de convexité : en effet la fonction ln est concave sur R∗+ , donc son graphe est au-dessous de
chacune de ses tangentes. Comme la tangente en x = 1 a pour équation y = x − 1, on en déduit : ∀x ∈ R∗+ ,
ln(x) 6 x − 1. Il vient ensuite, via deux changements de variable successifs : ∀x > −1, ln(1 + x) 6 x, puis
∀x < 1, ln(1 − x) 6 −x.
Ensuite, soit n > 1 (et, normalement, x > 0 est déjà fixé aussi dès l’énoncé de la question III.3.). La
fonction fn est positive par définition.
De plus, pour tout t ∈]0, n[, fn (t) = en ln(1− n ) tx−1 , avec ln 1 − nt 6 − nt par la question précédente,
t
vu qu’on a bien nt < 1 pour t ∈]0, n[. On en déduit, par croissance de l’exponentielle et produit par une
quantité positive : f (t) 6 en×(− n ) tx−1 = e−t tx−1 . Enfin f est nulle sur [n, +∞[, tandis que la fonction
t
n n
t 7→ e−t tx−1 est positive, d’où finalement l’encadrement :
elamdaoui@gmail.com 4 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
1
De plus, α(u) ∼ + ux−1 = , avec 1 − x < 1, donc α est intégrable sur ]0, 1] par comparaison de
u→0 u1−x
fonctions positives et critère de Riemann.
Cela assure la bonne définition de In (x).
ux
On définit maintenant sur ]0, 1] les fonctions α1 : u 7→ (1 − u)n et α2 : u 7→
. Ces fonctions sont de classe
x
1 +
C , et on a α1 (u)α2 (u) qui admet une limite finie pour u −→ 0 , en l’occurrence 0. On en déduit, par
intégration par parties :
Z 1
In (x) = α1 (u)α20 (u)du
0
Z 1
= α1 (1)α2 (1) − lim+ α1 (u)α2 (u) − α10 (u)α2 (u)du
u→0 0
Z 1
n
= 0−0+ (1 − u)n−1 ux du
x 0
n
= In−1 (x + 1)
x
t
(c) La fonction t 7→ réalise une bijection strictement croissante et de classe C 1 de ]0, n] sur ]0, 1]. Via le
n
t
changement de variable u = , on obtient donc :
n
Z n n Z 1 Z 1
t
1− tx−1 dt = (1 − u)n (nu)x−1 ndu = nx (1 − u)n ux−1 du = nx In (x).
0 n 0 0
Le résultat de la question 3.b. se réécrit ainsi : Γ(x) = lim nx In (x). Et le calcul de la question précédente
n→+∞
permet de conclure :
n! n!nx
Γ(x) = lim nx × = lim Q
n .
n→+∞ x(x + 1) · · · (x + n) n→+∞
(x + k)
k=0
elamdaoui@gmail.com 5 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
Or Hn −→ γ donc, par continuité de l’exponentielle, exHn −→ exγ et, finalement, par produit de limites,
n→+∞ n→+∞
n h
1 Y x −x i
= xeγx lim 1+ e k .
Γ(x) n→+∞ k
k=1
n h
X x xi
−→ − ln Γ(x)xeγx .
ln 1 + −
k k n→+∞
k=1
Xh x xi
En particulier, on a prouvé que la série ln 1 + − converge. Ceci ayant été démontré pour
k k
k>1
X
tout x > 0, on a établi la convergence simple de la série de fonctions gk sur ]0, +∞[, où l’on pose
k>1
x x
gk : x 7→ ln 1 + − .
k k
+∞
P
(b) On note g = gk sur ]0, +∞[.
k=1 P
Outre la convergence de gk vers g établie à la question précédente, on a :
k>1
Γ0 (x) 1
g 0 (x) = − − − γ,
Γ(x) x
Γ0 1
c’est-à-dire, vu que ψ = , ψ(x) = −g 0 (x) − − γ.
Γ +∞ x
+∞ 1 1 1 1
Comme −g 0 (x) = −
P P
− = − + , on a finalement établi :
k=1 k + x k k=1 k+x k
+∞
1 X 1 1
∀x > 0, ψ(x) = − − γ + − .
x k k+x
k=1
elamdaoui@gmail.com 6 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
+∞
P 1 1
7. (a) Posant x = 1 dans la formule précédente, on trouve : ψ(1) = −1 − γ + − , d’où, par
k=1 k k+1
télescopage, ψ(1) = −1 − γ + 1 = −γ.
Z +∞
Γ0 (1)
De plus Γ(1) = e−t dt = lim [−e−t ]X 0 = lim 1 − e−X = 1 donc, vu que ψ(1) = , on obtient
0 X→+∞ X→+∞ Γ(1)
Z +∞
Γ0 (1) = −γ. On constate que Γ0 (1) = e−t ln(t)dt, d’où finalement :
0
Z +∞
e−t ln(t)dt = −γ.
0
+∞
1 1 X 1 1 1 1
= − + − − +
x x+1 k k+x+1 k k+x
k=1
Γ0 (x + 1) Γ0 (x)
d Γ(x + 1)
ψ(x + 1) − ψ(x) = − = ln .
Γ(x + 1) Γ(x) dx Γ(x)
Or, il est bien connu que Γ(x + 1) = xΓ(x) (il suffit d’intégrer par parties), donc
d 1
ψ(x + 1) − ψ(x) = (ln(x)) = .
dx x
1
En particulier, pour tout k ∈ N∗ , ψ(k + 1) − ψ(k) = .
k
Il s’ensuit, pour tout entier n > 2,
n−1
X n−1
X1
ψ(n) = ψ(1) + ψ(k + 1) − ψ(k) = −γ + .
k
k=1 k=1
R∗+ −→ R
(c) Soit x > 0 fixé. Pour tout k ∈ N, on définit jk : 1 1 .
y 7−→ −
k+y+1 k+y+x
Cette notation est discutable : il aurait peut-être été préférable de noter jk,x , pour insister sur le fait que
l’on travaille à x > 0 fixé, et que la convergence uniforme étudiée ici ne porte que sur la variable y.
k+y+x−k−y−1 x−1
On peut réécrire jk (y) = = donc,
(k + y + 1)(k + y + x) (k + y + 1)(k + y + x)
|x − 1|
∀y > 0, |jk (y)| 6 .
(k + 1)(k + x)
P |x − 1| |x − 1| |x − 1|
Comme est une série convergente, vu que ∼ , on a la conver-
k>0 (k + 1)(k + x) (k + 1)(k + x) k→+∞ k2
P
gence normale, donc uniforme, de jk sur ]0, +∞[.
k>0
Ensuite, reprenant la formule de 6.c., on a, pour tout n ∈ N∗ ,
+∞ +∞
1 1 X 1 1 X 1 1
ψ(x + n) − ψ(1 + n) = − + + − − − ,
x+n n k k+x+n k k+1+n
k=1 k=1
elamdaoui@gmail.com 7 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
Or, pour tout k ∈ N, jk (n) −→ 0 donc, par le théorème de la double limite (qui s’applique ici car la série
n→+∞
de fonctions étudiée converge uniformément sur un voisinage de +∞),
+∞
X
lim ψ(x + n) − ψ(1 + n) = lim jk (n) = 0.
n→+∞ n→+∞
k=0
8. Par analyse-synthèse :
— Analyse : Soit f solution. On va montrer que f vérifie la formule de ψ établie en 6.c., à savoir :
+∞
1 X 1 1
∀x > 0, f (x) = − −γ+ −
x k k+x
k=1
1
Puisque = f (t + 1) − f (t) pour tout t > 0, on a
t
+∞ +∞
X 1 1 X
− = f (k + 1) − f (k) − f (k + x + 1) + f (k + x)
k k+x
k=1 k=1
n n
!
X X
= lim f (k + 1) − f (k) + f (k + x) − f (k + x + 1)
n→+∞
k=1 k=1
1
= f (x + 1) + γ − lim f (x + 1 + n) − f (1 + n) = f (x) + + γ,
n→+∞ x
| {z }
=0
Soit n ∈ N∗ .
9. On suppose les boules indiscernables, ce qui implique qu’à tout moment de l’expérience, chaque boule de l’urne
a la même probabilité d’être tirée, peu importe son numéro (cette hypothèse n’était pas faite par l’énoncé – est-ce
un oubli ou un acte volontaire de la part du concepteur du sujet ? – mais elle est éminemment raisonnable).
Avec cette hypothèse, X suit la loi uniforme sur {1, . . . , n}. On a donc, pour tout k ∈ {1, . . . , n}, P (X = k) = n1 .
Il s’ensuit
n n
X 1X n(n + 1) n+1
E(X) = kP (X = k) = k= =
n 2n 2
k=1 k=1
elamdaoui@gmail.com 8 www.elamdaoui.com
Problème de mathématiques Correction
Fonction Digamma
On calcule cette somme en distinguant selon les valeurs de j (j = k ou j 6= k). En effet, pour j = k, le premier
tirage aura amené k boules numérotées k en plus dans l’urne, tandis que pour j 6= k, le premier tirage n’aura
pas amené de boule numérotée k supplémentaire dans l’urne. Ainsi :
1 X 1 k + 1 X 1
P (Y = k) = P(X=k) (Y = k) + P(X=j) (Y = k) = + ,
n n k+n j+n
16j6n, j6=k 16j6n, j6=k
n
1 k X 1
= + .
n k + n j=1 j + n
2n n 2n n
1 1 1 1
P P P P
Or, par 7.b., ψ(2n + 1) − ψ(n + 1) = k − k = k = j+n , d’où finalement :
k=1 k=1 k=n+1 j=1
1 k
∀k ∈ {1, . . . , n}, P (Y = k) = + ψ(2n + 1) − ψ(n + 1)
n k+n
n n k
P P k
11. On a E(Y ) = kP (X = k) = + ψ(2n + 1) − ψ(n + 1) , donc :
k=1 k=1 n k+n
n
X k2 n+1
E(Y ) = + ψ(2n + 1) − ψ(n + 1) .
n(n + k) 2
k=1
Remarque : Il n’était pas demandé de démontrer l’indication fournie, mais elle n’avait rien d’extraordinaire :
n n n n
k2
X X k k n+1 X n+k−n n+1 X n
= − = − = − 1−
n(n + k) n n+k 2 n+k 2 n+k
k=1 k=1 k=1 k=1
n 2n
n+1 X 1 1−n X 1 1−n
= −n+n = +n = + n ψ(2n + 1) − ψ(n + 1) .
2 n+k 2 k 2
k=1 k=n+1
CCP-M2
elamdaoui@gmail.com 9 www.elamdaoui.com