Vous êtes sur la page 1sur 2

CPGE Lissane Eddine - Laayoune

Essaidi Ali

mathlaayoune@gmail.com

Fonction Gamma
Premire partie
Etude de la fonction Gamma
+

tx1 et dt est de classe C sur ]0, +[ et calculer (k) pour tout k N.

1: Montrer que la fonction (x) =


0

2: Montrer que x > 0, (x + 1) = x(x). En dduire lim+ (x) et lim (x).


x+

x0

3: Montrer que (x) +


0

4:
5:
6:
7:

1
x

et a > 1, ax = o((x)).

Montrer que est strictement convexe sur ]0, +[.


Montrer que !x0 [1, 2], x R, (x) (x0 ).
Montrer que ln est convexe sur ]0, +[.
Donner lallure de la fonction .

Deuxime partie
Une preuve probabiliste de la formule de Stirling, fonction Bta
1: Soit (Xn )nN une suite de variables alatoires relles indpendantes et identiquement distribues de loi E(1).
1 - 1: On pose n N , Sn = X1 + + Xn . Dterminer la loi de Sn , n N .
Sn n
1 .
1 - 2: Calculer p 0
 n

Sn n
1 - 3: Calculer lim p 0
1 .
n+
n
1 - 4: En dduire la formule de Stirling.
Z 1
2: Montrer que la fonction Bta B(p, q) =
tp1 (1 t)q1 dt est dfinie si, et seulement si, p, q > 0.
0

3: Montrer que p, q > 0 :


B(p, q) = B(q, p), B(p, q + 1) =

p
q
B(p + 1, q), B(p + 1, q) + B(p, q + 1) = B(p, q) et B(p + 1, q) =
B(p, q)
p
p+q

4: Soient p, q > 0 et X, Y deux variables alatoires relles indpendantes telles que X , (a) et Y , (q).
4 - 1: Montrer que X + Y est une variable
Z alatoire densit et calculer sa densit.
x

tp1 (x t)q1 dt converge et vaut xp+q1 B(p, q).

4 - 2: Montrer que x > 0, lintgrale


0

4 - 3: En dduire que B(p, q) =

(p)(q)
.
(p + q)

Troisime partie
Holomorphie de la fonction Gamma
Z

tx+iy1 et dt et U = {(x, y) R2 /x > 0}.


0
Z +
g
1: Soit x > 0. Montrer que la fonction u(y) =
tx+iy1 et dt est drivable sur R. En dduire que y
existe sur U .
0
Z +
g
2: Soit y R. Montrer que la fonction v(x) =
tx+iy1 et dt est drivable sur ]0, +[. En dduire que x
existe sur U .

On considre lapplication g(x, y) =

3: Montrer que g est de classe C 1 sur U .


4: En dduire que est holomorphe sur = {z C/<ez > 0} et calculer 0 .

Quatrime partie
Formule de Gauss, formule de Legendre et formule des complments

www.mathlaayoune.webs.com

1/2

Tournez la page s.v.p

CPGE Lissane Eddine - Laayoune

Essaidi Ali

mathlaayoune@gmail.com

+
1 X 2x
Dans cette partie, on admet que x R \ Z, cotan(x) = +
.
x n=1 x2 n2
n
Z n
t
1
1: Montrer que x > 0, (x) = lim
tx1 dt.
n+ 0
n
n!nz
2: En dduire que x > 0, (x) = lim
(Formule de Gauss).
n+ x(x + 1) (x + n)
(x + n + 1)
= 1.
3: Montrer que x > 0, lim
n+
n!nz



1
2x1
4: Montrer que x > 0, (2x) = 2
(x) x +
(Formule de duplication de Legendre).



 2 2
1
x2
x2
x
5: Montrer que x ]0, 1[,
1 2 1 2 .
= lim
1 2
x(x)(1 x) n+
1
2
n
6: En dduire que x ]0, 1[, (x)(1 x) = sinx (Formule des complments).
Z + x1 y(1+t)
t
e
7: Application : Soit x ]0, 1[ et on considre lapplication f (y) =
dt.
1
+t
0
7 - 1: Montrer que f est continue sur [0, +[.
7 - 2: Calculer lim f (y).
y+

7 - 3: Montrer que f est de classe C 1 sur [0, +[ et que y > 0, f 0 (y) = (x)ey y x .
Z + x1
t

7 - 4: En dduire que
dt =
1+t
sin x
0

Cinquime partie
Fonction Digamma ou fonction Psi :
On appelle fonction Digamma ou fonction Psi sur ]0, +[ par (x) =

0 (x)
.
(x)

Montrer que x > 0, (x + 1) = (x) + x1 .


Montrer que x ]0, 1[, (1 x) = (x) + cotanx.

Montrer que x > 0, (2x) = 12 (x) + 12 x + 12 + ln 2.
Soit x > 0 et on dsigne par la constante dEuler.
!


n 
n

X
X
x
x 
n!nx
1
ln x +
ln 1 +
4 - 1: Montrer que ln
= x ln n
.
x(x + 1) (x + n)
k
k
k
k=1
k=1
+ 

X
x 
x
ln 1 +
4 - 2: En dduire que ln (x) = x ln x +
.
n
n
n=1

+ 
1 X 1
1
4 - 3: En dduire que (x) = +

.
x n=1 n n + x

5: Calculer (1). En dduire 0 (1) et 12 .
n
X
1
6: Montrer que n N , (1 + n) =
.
k
k=1
 
+
X
1
1
4
1
7: Montrer que
=
(2).
n(3n
+
1)
2
3
2
n=1
1:
2:
3:
4:

8: Montrer que x ]0, 1[, (x) =


9: Soit x > 0.

1 X
+
(1)n+1 (n + 1)xn o dsigne la fonction zeta de Riemann.
x n=1

Z + t
et ext
e ext
9 - 1: Montrer que lintgrale
dt
converge
et
que
dt = (x) + .
1 et
1 et
0


Z0 +  xt
Z +  xt
t
e
e
e
et
9 - 2: Montrer que lintgrale

dt converge et que

dt = .
1 et
t
1 et
t
0

Z0 +  t
e
ext
9 - 3: En dduire que (x) =

dt (Reprsentation intgrale de la fonction Digamma).


t
1 et
0
Z

www.mathlaayoune.webs.com

2/2

Fin du problme