Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lissane Eddine
Essaidi Ali
0(x)
Fonction Digamma (x) =
(x)
Dfinitions et notations
0 (x)
.
(x)
+
X
1
.
La fonction Zta de Riemann dfinie par x > 1, (x) =
x
n
n=1
Pour tout t > 0, Xt dsigne une variable alatoire qui suit la loi Gamma (t, 1).
La fonction Digamma est dfinie par x > 0, (x) =
Premire partie
Loi de Xt + Xs
Z
1: Soit x, y R. Montrer que la fonction Bta B(x, y) =
t2
t
4 - 4: Montrer que lim
et n 1 +
dt =
e 2 dt.
n+ 0
n
0
4 - 5: En dduire la formule de Stirling.
Deuxime partie
Dveloppement en srie de la fonction Digamma :
1: Montrer que la suite un = 1 + 21 + + n1 ln n est dcroissante et converge vers un rel strictement positif (constante
dEuler).
2: Construire une fonction Python nomme euler de paramtre n N qui retourne 1 + 21 + + n1 ln n.
3: Soit x > 0.
n
Z n
t
3 - 1: Montrer que (x) = lim
1
tx1 dt.
n+ 0
n
n!nx
3 - 2: En dduire la formule de Gauss : (x) = lim
.
n+ x(x + 1) (x + n)
+
X x
X
x
x
x
3 - 3: Montrer que la srie
ln 1 +
converge et que ln (x) = x ln x +
ln 1 +
.
n
n
n
n
n=1
n1
+
+
X
1 X 1
1
1
3 - 4: En dduire que (x) = +
et 0 (x) =
.
x n=1 n n + x
(n
+
x)2
n=0
4: Calculer (1) et 0 (1). En dduire 0 (1) et 00 (1).
5: Montrer que x > 0, (x + 1) = (x) + x1 . En dduire un quivalent de en 0.
n
X
1
6: Montrer que n N , (1 + n) = +
.
k
k=1
www.mathlaayoune.webs.com
1/2
mathlaayoune@gmail.com
CPGE Laayoune
Lissane Eddine
Essaidi Ali
7: Construire une fonction Python nomme psi de paramtre n N qui retourne (n).
+
X
1
(b) (a)
8: Montrer que x, y > 0,
=
.
(n + a)(n + b)
ba
n=0
+
1 X
+
(1)n+1 (n + 1)xn .
x n=1
Troisime partie
Un quivalent de la fonction Digamma :
1: Montrer que t > 0, ln
Xt possde
un moment dordre 2 et calculer E(ln Xt ) et V (ln Xt ) en fonction de (t).
Xt
2, E X12
t
0, 1 1t
t
t1
1 2
t
+ (t 1)2 .
Xt
)t > 2, E ln
t
2
2t2 t + 2
2t
t(t 1)(t 2)
(t 2)2
Quatrime partie
Reprsentations intgrales de la fonction Digamma :
Soit x > 0.
Z 1
1 tx
1
1 tx
dt converge et que (x) = +
.
1t
x
0 1t
Z0 + t
Z
+ t
e ext
e ext
Montrer que lintgrale
dt converge et que
dt = (x) + .
t
1e
1 et
0
0
Z + t
e est
dt est de classe C 1 sur ]0, +[ et en dduire que s > 0, f (s) = ln s.
Montrer que la fonction f (s) =
t
0
Z + t
Z + t
e
et
e
et
Montrer que lintgrale
dt
converge
et
que
dt = .
1 et
t
1 et
t
0
Z0 + t
e
ext
En dduire que (x) =
dt.
t
1 et
0
Z
Cinquime partie
Formule de duplication de Legendre, formule de Stirling
1:
2:
3:
4:
5:
6:
7:
8:
9:
1
Montrer la formule de duplication de Legendre x > 0, (2x) = 2
(x) x +
. En dduire 12 .
2
1
+ ln 2. En dduire 21 .
Montrer que x > 0, 2(2x) = (x) + x +
2
+
1
1
1
1
1X
0
Dcomposer 2
+
en
lments
simples.
En
dduire
que
t
>
0,
(t)
=
+
.
2
2
2
X (X + 1)
t
2t
2 n=0 (t + n) (t + n + 1)2
!
1
1
1
1
1 1
1
Vrifier que t > 0,
.
3 2
1 3
3
t (t + 1)2
3 t3
(t + 1)3
t + 14
t + 15
14
1
1
1
1
1
1
1
1
1
0
En dduire que t > 0, 2 +
(t) ln t
(t) 2 + 3 et ln t
.
2
1 3
1 2
2t
t
2t
6t
2t
12t
2t
6 t + 14
12 t + 14
Dduire des quivalent de (t) et 0 (t) en
Z x+.
1
Soit t > 0 et x > t. Calculer lintgrale
(u) ln u +
du.
12u
t
x(x)
Montrer que la limite lim
existe. On la note .
x+ xx ex
x
x
1
1
1
x
Vrifier que x > 0, x = x +
1+
. En dduire e et la formule de Stirling (x) 2xx 2 ex .
+
2
2x
www.mathlaayoune.webs.com
2x1
2/2
mathlaayoune@gmail.com