[[Link]

fr] dit le 10 juillet 2014

Enoncs

Fonction Gamma

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

Exercice 1 [ 00557 ] [correction]

On rappelle que la valeur de (1/2) est
connue.
En dduire une expression de n + 12 pour n N laide de nombres factoriels.


06

t
1
n

n1

6 [Link]

b) Etablir que
Z

lim

Exercice 2 [ 00558 ] [correction]

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

n+


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

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

Z
0

t
ln(t) 1
n

n1

dt = ln n +
0

(1 u)n 1
du
u

d) Conclure que
Z
Exercice 4 [ 00560 ] [correction]
Dmontrer que la fonction

ln(t)et dt =

o dsigne la constante dEuler.

+

tx1 et dt

: x 7
0

Exercice 7 [ 02635 ] [correction]

R +
2
On rappelle 0 et dt = 2 .
Pour x > 0, on pose

est dfinie et de classe C sur ]0, +[.

Z
Exercice 5 [ 00561 ] [correction]
a) Dmontrer que la fonction donne par
+

tx1 et dt

(x) =
0

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
Z

et tx1 dt

(x) =
0

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

(n + 1) en
Z +
nn
n
fn (y) dy
en

2
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 le thorme de convergence domine tablir la formule de
Stirling :

nn
n! 2n n
e

ln(t)et dt

0
Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

Enoncs

Exercice 8 [ 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}.

Exercice 9 [ 03654 ] [correction]

Lobjectif de ce sujet est de calculer
+

Z
I=
0

Pour x > 0, on pose

Z

et
dt
t

F (x) =
0

ext
dt
t(1 + t)

a) Justifier que la fonction F est bien dfinie

b) Dterminer une quation linaire dordre 1 dont F est solution sur ]0, +[.
c) Calculer F (0) et la limite de F en +.
d) En dduire la valeur de I.

Exercice 10 [ 02537 ] [correction]

a) Donner le domaine de dfinition de la fonction
+

tx1 et dt

: x 7
0

b) Calculer lintgrale
Z
In (x) =

x1

c) Expliquer rapidement pourquoi 1


n
t
1
dt
n

t n
n

converge vers et et montrer que

nx n!
n+ x(x + 1) . . . (x + n)

(x) = lim

Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

Corrections

Corrections

car
tx1 6 ta1 + tb1 que t 6 1 ou t > 1

Exercice 1 : [nonc]

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


 


1
1
3
31
n+
(1/2)
= n
n

2
2
2
22

La fonction est intgrable sur ]0, +[ et donc, par domination sur tout
segment, est de classe C sur ]0, +[

ce qui donne


1
(2n 1)(2n 3) . . . 3 1
(2n)!
n+
=
= 2n

n
2
2
2 n!

Exercice 5 : [nonc]
a) Posons f (x, t) = tx1 et dfinie sur R+? ]0, +[.
Pour tout x > 0, la fonction t 7 f (x, t) est continue par morceaux sur ]0, +[ et
intgrable car
tx1 et + tx1 avec x 1 > 1 et t2 f (x, t) 0

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]
Posons f (x, t) = tx1 et dfinie sur R+? ]0, +[.
Pour tout x > 0, la fonction t 7 f (x, t) est intgrable sur ]0, +[ car

La fonction est donc dfinie sur ]0, +[.

Pour tout t ]0, +[, la fonction x 7 f (x, t) est continue sur R+?
Pour x [a, b] ]0, +[, on a tx1 6 ta1 ou tx1 6 tb1 selon que t 6 1 ou
t > 1 et donc
(x, t) [a, b] ]0, +[ , |f (x, t)| 6 f (a, t) + f (b, t) = (t)
La fonction est intgrable et donc, par domination sur tout segment, est
continue sur ]0, +[.
car
tx1 et + tx1 avec x 1 > 1 et t2 f (x, t) 0
b) Pour k = 1 ou 2.

t+

t0

kf
kf
existe et
(x, t) = (ln t)k tx1 et
k
x
xk

La fonction f admet des drives partielles

kf
(x, t) = (ln t)k tx1 et
xk
Pour tout x > 0, la fonction t 7
sur ]0, +[ car
k x1 t

t (ln t) t

k f
(x, t)
xk

Pour tout x > 0 : t 7

car

est continue par morceaux et intgrable

f
x (x, t)

est continue par morceaux et intgrable sur ]0, +[

ta ln(t)tx1 et
0 pour a ]1 x, 1[ et t2 ln(t)tx1 et 0
+
t+

x0

k x1 t

0 pour a ]1 x, 1[ et t (ln t) t
+
x0

t+

t0

tx1 et + tx1 avec x 1 > 1 et t2 f (x, t) 0

t+

t0

0
t+

Pour [a, b] ]0, +[,

 k

 f

(x, t) [a, b] ]0, +[ ,  k (x, t) 6 (ln t)k (ta1 + tb1 )et = (t)
x

2f
x2

est continue en x et continue par morceaux en t.

Pour tout [a, b] ]0, +[
 2

 f

(x, t) [a, b] ]0, +[ ,  2 (x, t) 6 (ln t)2 (ta1 + tb1 )et = (t)
x
Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

Corrections

Par des arguments analogues aux prcdents, on obtient que est intgrable sur
]0, +[ et donc, par domination sur tout segment, est de classe C 2 sur ]0, +[
avec
Z +
Z +
0 (x) =
ln(t)tx1 ey dt et 00 (x) =
(ln t)2 tx1 ey dt
0

00 (x)(x) 0 (x)2

1
n1

n ln(u)(1 u)

du = [ln(u)(1 (1 u)

1
)]

Z
+

(1 u)n 1
du
u

On notera que la fonction u 7 n(1 u)

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
n ln(u)(1 u)n1 du =
du
u
0
0

c) La drive seconde de ln (x) est du signe de

x1 t

 Z

+
2 x1 t

(ln t) t

dt

et

n1

Par lingalit de Cauchy-Schwarz :


Z
Z +
p
tx1 et (ln t)2 tx1 et dt 6

 d) Par le changement de variable u = 1 v

Z 1
Z 1 n
Z 1 n1
dt
X
(1 u)n 1
v 1
du =
dv =
v k dv
u
v1
0
0
0
k=0

Ainsi
0

00

(x) 6 (x) (x)

puis
Z

et donc
(ln (x))00 > 0

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

Finalement

Finalement x 7 ln (x) est convexe.

ln(t)et dt =

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

Exercice 7 : [nonc]
n1






a) Posons f (x, t) = tx1 et dfinie sur R+? ]0, +[.
t
t
t
= exp (n 1) ln 1
6 exp (n 1)
= et et/n 6 [Link] Pour tout x > 0, la fonction t 7 f (x, t) est intgrable sur ]0, +[ car
06 1
n
n
n
tx1 et + tx1 avec x 1 > 1 et t2 f (x, t) 0
t+
t0
b) Pour tout t R+ , ln(t)et est limite simple de la suite de fonction (un ) dfinie


t n1
par un (t) = 1 n
si t ]0, n[ et un (t) = 0 sinon.
La fonction f admet des drives partielles
Puisque |ln(t)un (t)| 6 e. ln(t)et , par convergence domine :
kf

n1
Z n
Z +
(x, t) = (ln t)k tx1 et
k
t
x
lim
ln(t) 1
dt =
ln(t)et dt
n+ 0
k
n
0
Pour tout x > 0, la fonction t 7 xfk (x, t) est continue par morceaux et intgrable
sur ]0, +[ car
c) Par le changement de variable u = nt
Z
0

avec
Z

t
1
n

n (1 u)
0

n1

n1

n1

n (1 u)

ln(t) dt =

ln(nu) du

ta (ln t)k tx1 et

0 pour a ]1 x, 1[ et t2 (ln t)k tx1 et 0
+
x0

t+

Pour [a, b] ]0, +[,

Z

ln(nu) du = ln n +
0

n ln(u)(1 u)n1 du

 k

 f

(x, t) [a, b] ]0, +[ ,  k (x, t) 6 (ln t)k (ta1 + tb1 )et = (t)
x
Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

Corrections

car
t

x1

6t

a1

b1

+t

que t 6 1 ou t > 1

La fonction est intgrable sur ]0, +[ et donc, par domination sur tout
segment, est de classe C sur ]0, +[
b) Par intgration par parties avec u0 (t) = et et v(t) = tx , on obtient

Sachant (1) = 1, on obtient par rcurrence (n + 1) = n!.

c) Par le changement de variable propos
Z

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

(x + 1) = x(x)

nn
(n + 1) = n n
e

n = arctan
= +O
a+n
n

1
n2

 
1
n

Alors

un = a exp

fn (y) dy

n
X
k=1

ln k +

n
X
k=1


 
 !
n
X
1
1

ln 1 + + O
+O
+i
2
k
k
k
k2
k=1

Ainsi

avec

n





y
fn (y) = 0 sur , n , fn (y) = ey n 1 +
sur n, +
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

/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)e .

d) La fonction

2
ey /2
si y 6 0
:y
(1 + y)ey sinon
est intgrable sur R.
Quand n +, en ralisant un dveloppement limit du contenu de
lexponentielle

2
y n+n ln 1+ yn
ey /2
fn (y) = e
Par convergence domine
Z

fn (y) dy

ey

/2

dy =

(n + 1) = n!

et donc un A(a)n!na avec na = exp(a ln n) et A(a) C? .

b) Notons H = {z C, Rez > 0}. Pour z H, on a
Z +
(z) =
tz1 et dt
0

Par convergence domine, on montre que


n
Z n
t
z1
(z) = lim
t
1
dt
n+ 0
n
Par changement de variable,

n
Z n
Z 1
t
z1
t
1
dt = nz
uz1 (1 u)n du
n
0
0
puis par intgrations par parties successives

n
Z n
t
nz n!
x1
t
1
dt =
n
z(z + 1) . . . (z + n)
0
On en dduit que pour z = a,
(z) =

do

un = an! exp ( ln n + i ln n + + o(1))

2n

nn
en

1
A(a)

On en dduit en particulier que (z) 6= 0 mais aussi que

a(a + 1) . . . (a + n)

na n!
(a)

Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

Corrections

Exercice 9 : [nonc]
a) Posons

et
Z
xt

f (x, t) =

e
t(1 + t)

0
+

1
0 6 f (x, t) 6
t(1 + t)

1
1
1
1
et

t(1 + t) t0+ t
t(1 + t) t+ t3/2

donc t 7 f (x, t) est intgrable sur ]0, +[ et lintgrale impropre dfinissant F (x)
est bien convergente.
b) Pour chaque t ]0, +[, la fonction x 7 f (x, t) est drivable et
f
text
(x, t) =
x
t(1 + t)

text dt

t(1 + t)

On constate alors
Z

F (x) F (x) =
0

ext
1
dt =
xt=u
x
t

Z
0

I
y y0 =
x
avec la condition initiale y(0) = , on obtient

Z
x > 0, F (x) = ex I

eu
I
du =
u
x

et
dt
t

La nullit de la limite de F en + impose alors

Z x t
e
dt
I
x+
t
0
I=

avec : ]0, +[ R+ continue par morceaux et intgrable.

Par domination sur tout segment, F est de classe C 1 sur ]0, +[ et
Z

d) Aprs rsolution (avec mthode de variation de la constante) de lquation

et donc

Pour tout x ]0, +[, la fonction t 7 f

x (x, t) est continue par morceaux sur
]0, +[
Pour tout t ]0, +[, la fonction x 7 f
x (x, t) est continue sur ]0, +[
Soit [a, b] ]0, +[. Pour (x, t) [a, +[ ]0, +[,


 f

 (x, t) 6 teat = (t)
 x


F 0 (x) =

ext
I
dt = 0
x x+
t

donc, par encadrement, F 0.

dfinie sur [0, +[ ]0, +[.

Soit x > 0. Lapplication t 7 f (x, t) est continue par morceaux sur ]0, +[ et

avec

0 6 F (x) 6

Exercice 10 : [nonc]
a) La fonction est dfinie sur R+? .
En effet, pour x R, la fonction f : t 7 tx1 et est dfinie et continue par
morceaux sur ]0, +[.
Puisque t2 f (t) = tx+1 et 0, la fonction f est assurment intgrable sur
t+

[1, +[.
De plus, f (t) + tx1 est intgrable sur ]0, 1] si, et seulement si, x 1 > 1 i.e.
t0

x > 0.
Ainsi f est intgrable sur ]0, +[ si, et seulement si, x > 0.
Enfin, la fonction f tant positive, lintgrabilit quivaut lexistence de
lintgrale.
b) Par intgration par parties

In (x) =

tx
x

n n

n x

t n
xn

n!
x(x + 1) . . . (x + n 1)nn

t
n

Z
+

t
n

n1
dt

En rptant lopration

c) On a
Z
F (0) =
0

dt
=
t(1 + t) t=u2

Z
0

2 du
=
1 + u2

In (x) =

tx+n1 dx

Diffusion autorise titre entirement gratuit uniquement - dD

[[Link] dit le 10 juillet 2014

et finalement
In (x) =

Corrections

nx n!
x(x + 1) . . . (x + n)

c) Quand n +

n


 
 
t
t
t
1
1
= exp n ln(1 ) = exp n + o
et
n
n
n
n
Considrons la suite des fonctions
 x1

n
t
1 nt
fn : t 7
0

si t ]0, n[
si t [n, +[

Soit t > 0 fix. Pour n assez grand t ]0, n[ et


n
t
fn (t) = tx1 1
tx1 et
n
La suite (fn ) converge simplement vers la fonction f introduite dans la premire
question.
Les fonctions fn et f sont continues par morceaux.
Enfin, pour t ]0, n[, on a
|fn (t)| = tx1 exp (n ln(1 t/n) 6 tx1 et = f (t)
car il est connu ln(1 + u) 6 u pour tout u > 1. On a aussi |fn (t)| 6 f (t) pour
t [n, +[ et donc
t ]0, n[ , |fn (t)| 6 f (t)
La fonction f tant intgrable, on peut appliquer le thorme de convergence
domine et affirmer
Z +
(x) = lim
fn (t) dt
n+

Puisque
Z

Z
fn (t) dt =

on peut conclure


n
t
tx1 1
dt
n

nx n!
n+ x(x + 1) . . . (x + n)

(x) = lim

Diffusion autorise titre entirement gratuit uniquement - dD