Vous êtes sur la page 1sur 3

[http://mp.cpgedupuydelome.

fr] dD dit le 14 juin 2011

Enoncs

Fonction Gamma

b) Etablir que

Exercice 1 [ 00557 ] [correction]


On rappelle que la valeur de (1/2)
 est connue.
En dduire les valeurs de n + 12 pour n N.

Z
lim

n+

t
ln(t) 1
n

n1

Z
dt =

ln(t)et dt

c) Observer que
Z

Exercice 2 [ 00558 ] [correction]


Sachant 0 (1) = , calculer 0 (2).


n1
Z 1
t
(1 u)n 1
du
ln(t) 1
dt = ln n +
n
u
0

d) Conclure que 0 (1) = o dsigne la constante dEuler.


Exercice 3 [ 00559 ] [correction]
Sans calculer 00 , tablir que la fonction est convexe.

Exercice 4 [ 00560 ] [correction]


Dmontrer que la fonction est de classe C sur ]0, +[.

Exercice 5 [ 00561 ] [correction]


a) Dmontrer que la fonction donne par
+

tx1 et dt

(x) =

Exercice 7 [ 02635 ] [correction]

R +
2
On rappelle 0 et dt = 2 .
R +
Pour x > 0, on pose (x) = 0 et tx1 dt.
a) Montrer que cette fonction est dfinie et indfiniment drivable sur ]0, +[.
On tudiera la rgularit en se restreignant x [a, b] ]0, +[.
b) Calculer (n + 1) pour n N.

c) En ralisant le changement de variable t = n + y n, transformer lintgrale


R

n
2
+
(n + 1) en nen n fn (y) dy o fn (y) = 0 pour y 6 x, 0 6 fn (y) 6 ey /2

pour t < y 6 0 et 0 6 fn (y) 6 (1 + y)ey pour y > 0 et t > 1.


d) En appliquant
de convergence domine tablir la formule de
le thorme
n
Stirling : n! 2n nen .

est dfinie et continue sur ]0, +[.


b) Dmontrer que la fonction est de classe C 2 sur ]0, +[.
c) En exploitant lingalit de Cauchy Schwarz, tablir que la fonction x 7 ln (x)
est convexe.

Exercice 6 [ 00562 ] [correction]


Lobjectif de cet exercice est de calculer
+

ln(t)et dt

(1) =
0

a) Montrer que pour tout t [0, n],



06

t
n

n1

6 e.et

Exercice 8 X MP [ 02952 ] [correction]


a) Soit a C avec Re(a) > 0. Donner un quivalent de un = a(a + 1) . . . (a + n).
b) Montrer que la fonction ne sannule pas sur {z C, Rez > 0}.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Corrections
Exercice 1 : [nonc]

Sachant (x + 1) =x(x) et (1/2) = on a



n + 21 = n 12 n 12 = . . . = n 21 n 23 32 12 (1/2) donc


n + 21 = (2n1)(2n3)...31
= 2(2n)!
.
2n n!
2n1
Exercice 2 : [nonc]
(x + 1) = x(x) donc 0 (x + 1) = x0 (x) + (x) puis 0 (2) = 1 .

Exercice 3 : [nonc]
Pour tout t > 0, la fonction x 7 tx1 = e(x1) ln t est convexe donc pour tout
a, b ]0, +[ et tout [0, 1], ta+(1)b1 6 ta1 + (1 )tb1 puis
ta+(1)b1 et 6 ta1 et + (1 )tb1 et . En intgrant sur ]0, +[, on obtient
(a + (1 )b) 6 (a) + (1 )(b).
Exercice 4 : [nonc]
Pour x > 0, la fonction t 7 (ln t)k tx1 et est intgrable sur ]0, +[.
t)k
En effet t2 (ln t)k tx1 et 0 et (ln t)k tx1 et (ln
t1x avec 1 x < 1.
t+

Posons f (x, t) = tx1 et .


k
Pour tout k N, xfk existe et
Pour tout

k f
(x, t)
xk

Par domination : est continue sur ]0, +[.


b) Pour k = 1 ou 2.
k
k f
existe et xfk (x, t) = (ln t)k tx1 et .
xk
Pour tout x > 0 : t 7

par morceaux.

Pour tout t > 0 : t 7


Pour
k tout [a, b] ]0, +[ et tout (x, t) [a, b] ]0, +[ :

f
xk (x, t) 6 (ln t)k (ta1 + tb1 )et = k (t) avec k intgrable sur ]0, +[.
Par domination est de classe C 2 sur ]0, +[.
c) La drive seconde de ln (x) est du signe de 00 (x)(x) 0 (x)2 .
Par
de Cauchy-Schwarz
R lingalit

 :
R
 R
+ x1 t p
+ x1 t
+
2 x1 t
2
x1
t
t
e
(ln
t)
t
e
dt
6
t
e
dt
(ln
t)
t
e
dt
.
0
0
0
Ainsi 0 (x)2 6 (x)00 (x) et donc (ln (x))00 > 0.
Finalement x 7 ln (x) est convexe.

Exercice 6 : [nonc]
a) Puisque ln(1 + u) 6 u, on a

06

t
n

n1






t
t
= exp (n 1) ln 1
6 exp (n 1)
= et et/n 6 e.et
n
n

k x1 t

= (ln t) t

k
x > 0 : t 7 xfk (x, t) est continue
k
t > 0 : t 7 xfk (x, t) est continue.

e .

par morceaux.

b) Pour tout t R+ , ln(t)et est limite simple de la suite de fonction (un ) dfinie
n1
par un (t) = 1 nt
si t ]0, n[ et un (t) = 0 sinon.
Puisque |ln(t)un (t)| 6 e. ln(t)et , par convergence domine :

Pour tout
Pour
k tout [a, b] ]0, +[ et tout (x, t) [a, b] ]0, +[ :
f

xk (x, t) 6 (ln t)k (ta1 + tb1 )et = k (t) avec k intgrable sur ]0, +[.
Par domination, est de classe C sur ]0, +[

Z
lim

n+

t
ln(t) 1
n

n1

ln(t)et dt

dt =
0

c) Par le changement de variable u = nt


Z

Exercice 5 : [nonc]
a) Pour x > 0, la fonction t 7 (ln t)k tx1 et est intgrable sur ]0, +[.
t)k
En effet t2 (ln t)k tx1 et 0 et (ln t)k tx1 et (ln
t1x avec 1 x < 1.
t+

k f
(x, t) est continue
xk
k f
(x, t) est continue.
xk

avec
Z

Ainsi la fonction est dfinie sur ]0, +[.


Posons f (x, t) = tx1 et .
Pour [a, b] ]0, +[, on a tx1 6 ta1 ou tx1 6 tb1 selon que t 6 1 ou t > 1.
Dans les deux cas tx1 6 ta1 + tb1 et donc |f (x, t)| 6 f (a, t) + f (b, t) = (t)
avec intgrable.


n1
Z 1
t
n1
1
ln(t) dt =
n (1 u)
ln(nu) du
n
0
n1

n (1 u)
0

Z
ln(nu) du = ln n +

n ln(u)(1 u)n1 du

et
Z

n ln(u)(1 u)n1 du = [ln(u)(1 (1 u)n )] +

(1 u)n 1
du
u

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

On notera que la fonction u 7 n(1 u)n1 est primitive en (1 (1 u)n ) qui


sannule en 0 de sorte que lintgration par parties donne la limite quand 0+
Z 1
Z 1
(1 u)n 1
du
n ln(u)(1 u)n1 du =
u
0
0
d) Par le changement de variable u = 1 v
Z
0

(1 u)n 1
du =
u

Z
0

vn 1
dv =
v1

1 n1
X

v k dv

0 k=0

puis
Z
0

X1
(1 u)n 1
du =
= ln n + o(1)
u
k
k=1

Finalement
Z

ln(t)et dt =

t2 k (t) 0 et pour 0 < < a, t1 k (t) 0 donc k est intgrable.


t0

Par thorme, est C .


b) Par ipp, (t + 1) = t(t). Sachant (1) = 1, on obtient par rcurrence
(n + 1) = n!.
R +
n
c) Par le changement de variable propos (n + 1) = nen n fn (y) dy avec :
n


fn (y) = 0 sur ], n], fn (y) = ey n 1 + yn


sur ] n, +[.


2

Sur ] n, 0], une tude fonctionnelle montre n ln 1 + yn y n 6 y2 qui


donne 0 6 fn (y) 6 ey

Exercice 8 : [nonc]
a) a = + i avec > 0 et R.p
a + n = |a + n| ein avec |a + n| = ( + n)2 + 2 = n + + O


n = arctan a+n
= n + O n12 .
 n

P
un = a exp
ln |a + k| + ik =

 n k=1 n
n


P
P
P

1
+
O
.
a exp
ln k +
ln 1 + k + O k12 + i
2
k
k
k=1

k=1

1
n

et

k=1

Ainsi un = an! exp ( ln n + i ln n + + o(1)) et donc un A(a)n!na avec


na = exp(a ln n) et A(a) C? .
R +
b) Notons H = {z C, Rez > 0}. Pour z H, on a (z) = 0 tz1 et dt.
n
R n z1
dt.
Par convergence domine, on montre que (z) = lim 0 t
1 nt
n+

R n z1
R
n
1
Par changement de variable, 0 t
dt = nz 0 uz1 (1 u)n du puis par
1 t

R n x1n
n
nz n!
dt = z(z+1)...(z+n)
.
intgrations par parties successives 0 t
1 nt
1
On en dduit que pour z = a, (z) = A(a)
.
On en dduit en particulier que (z) 6= 0 mais aussi que a(a + 1) . . . (a + n)

Exercice 7 : [nonc]
k g
k t x1
a) g(x, t) = et tx1 , x
t
pour tout k N.
k (x, t) = (ln t) e


k

g
k t a1
t
1]0,1[ + tb1 1[1,+[ = k (t).
Pour t [a, b], xk (x, t) 6 |ln t| e
t+

/2

.

Sur [0, +[, une tude fonctionnelle montre n ln 1 +

y
n

y n 6 y + ln(1 + y)

pour t > 1. Cela donne 


0 6 fn (y) 6 (1 + y)ey .
2
ey /2
si y 6 0
est intgrable sur R.
d) La fonction : y
(1 + y)ey sinon
Quand n +, en ralisant
un DL du contenu de lexponentiel :


2
y n+n ln 1+ yn
fn (y) = e
ey /2 .

R +
R +
2
Par convergence domine : fn (y)dy ey /2 dy = 2 do

n
(n + 1) = n! 2n nen . Etudes.doc

na n!
(a) .