La fonction Gamma

Abdellah Bechata
www.mathematiques.ht.st

Table des mati`

eres
1 D
efinition

2 Prolongement de

3 Identit
es remarquables

4 Exercices

R
esum
e
Nous etablissons dans cet article le prolongement de la fonction `a C\(N) ainsi que differentes identites
remarquables satisfaite par cette fonction

D
efinition

Nous commencons par un rappel

D
efinition 1.1
Soit s un nombre complexe, on definit pour tout nombre reel positif x, la fonction puissance x 7 xs par
xs

par definition

es ln x .

Lemme 1.1
Soit s un nombre comlexe. La fonction t 7 ts1 et est integrable sur ]0, +[ ssi Re(s) > 0.
Preuve :
La fonction t 7 ts1 et est continue sur ]0, +[ pour nombre complexe s. Le lemme se demontre `
a laide des
theor`emes de comparaisons du calcul integral et des formules suivantes

 s1 t 

t e  = tRe(s)1 et tRe(s)1 et ts1 et  = tRe(s)1 et
t0+

t+

t
o(e 2 )

D
efinition 1.2
La fonction Gamma est definie sur le demi-plan {s C tel que Re(s) > 0} par
+
Z
(s) =
ts1 et dt.
0

Lemme 1.2
La fonction est une fonction de classe C sur R
+ (resp. holomorphe sur le demi-plan {s C tel que Re(s) > 0})
et
+
Z

(k)
k N, s R+ (resp.C tel que Re(s) > 0), (s) =
(ln t)k ts1 et dt.
0

Preuve :
Pour lholomorphie, il suffit dappliquer la version holomorphe du theor`eme de domination de Lebesgue `
a la
s1
t
fonction t 7 t e ainsi que le lemme 1.1 Rappelons neanmoins ce theor`eme :
Soit (X, ) un espace mesurable, un ouvert connexe de C et f une application de X dans C telle que

C
1. Pour presque tout x X, lapplication
est holomorphe.
z 7 f (z, x)
2. Pour tout z , il existe un voisinage Vz de z et une fonction -integrable gz : X R+ telle que
w Vz et p.px X, |f (w, x)| 6 gz (x).
Alors lapplication z 7

f (z, x) d(x) est holomorphe sur .

Pour le caract`ere C de , on proc`ede par recurrence en considerant, pour a > 0 fixe, lhypoth`ese de
recurence Hk :
+
Z
k
(k)
est de classe C sur [a, +[ et (s) =
(ln t)k ts1 et dt
0

et en appliquant le theor`eme de derivation sous le signe de Lebesgue ainsi que le lemme 1.1. Il suffit que
constater que




k
k
(ln t)k ts1 et  6 |(ln t)| ts1 et 6 |(ln t)| ta1 et
a

a e 2 en
ainsi que lintegrabilte de t 7 |(ln t)|k ta1 et en montrant quelle est negligeable en 0 `a t 2 1 et `
+. Je laisse la preuve compl`ete au lecteur
Le lemme suivant montre que la fonction est la generalisation de la factorielle usuelle et quelle satisfait `
a une
equation fonctionnelle qui nous permettra de la prolonger `a C\Z o`
u Z = {n Z tel que n 6 0}.

Prolongement de

Lemme 2.1
Pour tout s C tel que Re(s) > 0, on a
(s + 1) = s(s).

(1)

et si n N , (n) = (n 1)!
Preuve :
La preuve de la premi`ere formule est immediate `a laide dune integration par partie et la seconde se traite par
recurrence et en calulant explicitement (1).
Th
eor`
eme 2.1 (Prolongement de Gamma)
La fonction setend (en une fonction holomorphe) `a C\Z tout entier et pour tout entier negatif n,
lim (x n)(x) =

xn

(1)n
(n)!

Preuve :
premi`
ere m
ethode Le terme de gauche de legalite 1 est definie si Re(s + 1) > 0 cest-`a-dire Re(s) > 1 et,
(s + 1)
formellement, on peut definir (s) si Re(s) > 1 par
. Il nous faut demontrer que cette nouvelle
s
fonction prolonge et satisfait `a lequation fonctionnelle 1. Considerons la fonction (holomorphe) 1 definie
sur le demi-plan Re(s) > 1 prive de s = 0 par
s C tel que Re(s) > 1 et s 6= 0, 1 (s) =
2

(s + 1)
s

Si Re(s) > 0, on a
(s + 1)
s(s)
=
= (s).
s
s
(s + 2)
Soit s C tel que Re(s) > 1, alors 1 (s + 1) =
et puisque Re(s + 1) > 0, nous pouvons applique
s+1
legalite 1 donc
(s + 1)(s + 1)
1 (s + 1) =
= (s + 1) = s1 (s).
s+1
1 (s + 1)
De la meme facon, on defint une fonction (holomorphe) 2 par
. Pour cela il est indispensable que
s
s 6= 0 ( !), que Re(s + 1) > 1 i.e. Re(s) > 2 et que s + 1 6= 0 (car 1 (0) nest pas definie) ce que lon
resume par
1 (s + 1)
s C tel que Re(s) > 2 et s 6= 0, s 6= 1, 2 (s) =
s
Je laisse au lecteur le soin de verifier que cette fonction 2 prolonge 1 et satisfait `a lequation fonctionnelle
1. On proc`ede ensuite par recurrence en definissant une fonction k definie par
1 (s) =

s C tel que Re(s) > 2 et s

/ {0, .., k + 1}, k (s) =

k1 (s + 1)
s

e donnee par
qui satisfait `a lequation fonctionnelle 1. Lexpression ,
e
(s)
= k (s) si Re(s) > k,
est bien definie et elle determine une fonction (holomorphe) sur C\Z qui satisfait `a 1.
e
Par la suite, on notera, par abus, la fonction .
Pour la limite, il suffit de remarquer que pour n entier negatif,
(s) =

(s + 1)
(s + 2)
(s n + 1)
=
= .. =
.
s
s(s + 1)
s(s + 1)..(s n 1)(s n)

Deuxi`
eme m
ethode La definition integrale de montre que le probl`eme de lexistence de (s) provient de la
non integrabilite de t 7 ts1 si Re(s) 6 0. On applique la relation de Chasles :
+
Z
Z1
s1 t
s tel que Re(s) > 0, (s) =
t e dt + ts1 et dt.
1

La fonction s 7

+
R

ts1 et dt est definie sur C tout entier (et il sagit dune fonction holomorphe dapr`es

la version holomorphe du theor`eme de Lebesgue). Dans la seconde integrale, on devellope en serie enti`ere la
fonction t 7 et et il est aise de verifier que lon peut permuter la serie et lintegrale.
Z1
t
0

s1 t

dt =

Z1 X
+
0 n=0

n s1 t

(1) t

n!

dt =

Z1
+
X
(1)n
n=0

n!

n+s1

dt =

+
X
(1)n
n=0

n!

1
.
s+n

Cette derni`ere expression est define sur C\Z et determine une fonction holomorphe sur cet ouvert. Nous
e sur C\Z par
definissons alors
e
s C\Z , (s)
=

+
X
(1)n
n=0

n!

1
+
s+n

+
Z
ts1 et dt.
1

Il est immediat que cette nouvelle fonction prolonge , quelle est holomorphe et quelle satisfait `
a 1. La
limite sobtient par le theor`eme de permutation limite-serie.

Identit
es remarquables

Th
eor`
eme 3.1 (Formule des compl
ements)
s C tel que 0 < Re(s) < 1, (s)(1 s) =

.
sin s

Cette formule reste valable par prolongement analytique si s C\Z.

Preuve :
Toutes les justifications de convergence dintegrales sont elementaires dans cette preuve et les justifications de
permutation des symboles dintegrations se font en invoquant le theor`eme de Fubini.
+ Z
+
+
+
Z
Z
Z
s1 s u v
s v
(s)(1 s) =
u v e e dv du =
dt v e (
us1 eu du)
0

On effectue le changement de variable u0 =

(s)(1 s) =

u
, ce qui nous donne
v

+
+
+
+
Z
Z
Z
Z
v
s1 uv
s1 uv
dv e (
u e
du) =
du u e
dv ev euv )
0
+
Z

du us1 (

=
0
Z1

+
Z

0
+
Z

dv ev(1+u) ) =

us1
du +
1+u

+
Z

us1
du
1+u

us1
du
1+u

On efectue le changement de variable u0 =

1
dans la seconde integrale et lon obtient
u
Z1

(s)(1 s) =

us1
du +
1+u

Z1

us
du
1+u

R1 us1
du, legalite precedente montre que (s)(1 s) = f (s) + f (1 s).
0 1+u
1
Pour simplifier lexpression de f, on est tente de developper en serie enti`ere
et de permuter les symboles
1+u
series-integrales. Malheurement, ce nest pas possible en utilisant la convergence normale sur un segment ou les
theor`emes de convergence dominee.. Conclusion, on va mettre les mains dans le camboui (qui nest pas trop sale
quand meme).
n1
P
1
(1)n un
Quelque soit lentier naturel n, on
=
donc
(1)k uk +
1 + u k=0
1+u

Si lon pose f (s) =

f (s) =

n1
X

(1)

k=0

n1
X
k=0

Z1
u

k+s1

Z1

du + (1)

un+s1
du
1+u

(1)k
+ (1)n
k+s

Z1

un+s1
du
1+u

Lintegrale tend vers 0 lorsque n + car

 1

Z n+s1  Z1
 u

1
1
0 6 
du 6 un+Re(s)s1 du =
6
1
+
u
n
+
Re(s)
n


0

n+

0.

do`
u
s C tel que 0 < Re(s) < 1

f (s) =

+
X
(1)n
n=0

n+s

On utilise ce developpement en serie pour donner une autre expression `a (s)(1 s).
(s)(1 s) =

+
X
(1)n
n=0
+
X
n=0

n+s
(1)n
n+s

+
X
n=0
+
X

X (1)n X (1)n+1
(1)n
=
+
(par un changement de variable)
n+1s
n+s
ns
(1)n

n=1

sn

n=0
+
X

1
+
s

n=1

2(1)n s
s2 n2

n=1

(en ajoutant les deux sommes).

A cette etape, on se sent mieux car cela ressemble diablement `a un exercice des Mines. Apr`es avoir epluche la
plupart des annales, on se dit :
Mais, si jetudiais le developpement en serie de Fourier de la fonction 2-periodique f definie sur ] , [ par
f (t) = cos(st), o`
u s est un nombre complexe non entier
Cette fonction est paire, continue et C 1 sur ] , [, continue et C 1 par morceaux sur R donc elle est developpable
en serie de Fourier et la somme de la serie de Fourier est egale `a f sur ] , [ (quee se passe-t-il ailleurs ?). Bien
entendu, on calcule uniquement les coefficients an et en repotassant les formules trigos (par exemple, cos(a) cos(b) =
.., cos(a + b) = .. et cos n = ..) on obtient
n > 0 an =

2 sin s (1)n s
. 2

s n2

(on sest abstenu de distinguer le cas n = 0, car il ne conduit pas `a une division par 0). Do`
u la formule remarquable
+

t ]0, 1[

cos(st) =

a0 X
sin s X 2 sin s (1)n s
+
an cos nt =
+
cos nt.
2
s

s2 n2
n=1

En fixant t = 0, on obtient 1 =

n=1

P 2(1)n s
sin s 1 +
[ +
] donc
s n=1 s2 n2
+

s C tel que 0 < Re(s) < 1

1 X 2(1)n s

(s)(1 s) = +
=
.
s
s2 n2
sin s
n=1

D
efinition 3.1
La fonction de Bessel de seconde esp`ece est definie par
(p, q) (C)2 avec Re(p) > 0 et Re(q) > 0 B(p, q) =

Z1

tp1 (1 t)q1 dt

Je vous laisse justifier que la fonction B est bien definie.

Th
eor`
eme 3.2
(p)(q)
(p, q) (C)2 avec Re(p) > 0 et Re(q) > 0 B(p, q) =
(p + q)
Preuve :
Les justifications de permutation des symboles dintegrations se font en invoquant le theor`eme de Fubini.
+ Z
+
+
+
Z
Z
Z
p1 q1 u v
p1
(p)(q) =
u v e e dv du =
u
du(
v q1 e(u+v) dv)
0

(2)

On effectue le changement de variable v 0 = u + v

+
+
Z
Z
p1
(p)(q) =
u
du( (v u)q1 ev dv).
u

On permute les deux symboles dintegration en remarquant, que v peut decrire tout les reels positifs et que u est
positif mais necessairement inferieur `a u
+
Z
Zv
v
(p)(q) =
dv e
(v u)q1 up1 du
0

u
On pose u0 = , ce qui nous donne
v
+
Z
Z1
p+q1 v
(p)(q) =
dv v
e
(1 u)q1 up1 du = (p + q)B(p, q)
0

Dans lexercice 4.3, on montre que la fonction ne sannule jamais, ce qui nous permet deffectuer la division et
de conclure.
Cest etrange, une telle formule a ete obtenue dans larticle sur lanalyse de Fourier des groupes finis. Nous verrons
dans larticle consacre `a une approche heuristique de lequationnelle de la fonction zeta que ceci nest pas fortuit :
il sagit en fait de son extension au groupe R (qui nest pas tout `a fait fini).

Exercices

Exercice 4.1
+
R
1
En utilisant le formule des complements, calculer ( ). En deduire
exp(x2 )dx.
2
0

Exercice 4.2
R2
On consid`ere les integrales de Wallis In = sinn t dt.
0

Expliciter In en fonction et de n (on choisira un choix judicieux de changement de variable, sin t = ...)
Exercice 4.3
On suppose quil existe un complexe x0 non entier negatif tel que (x0 ) = 0.
1. Montrer lexistence dun complexe z0 non entier negatif tel que 0 < Re(z0 ) 6 1 tel que (z0 ) = 0.
2. En utilisant la formule des complements, montrer que 0 < Re(z0 ) < 1 est impossible.
3. On suppose que Re(z0 ) = 1.
Par un passage `a la limite, montrer que la formule des complements reste valable. En deduire une contradiction.
Exercice 4.4
On note Bn la boule unite de centre O de Rn .
R1

1. Montrer que vol(Bn ) = (1

x2 )

n1
2 dx (vol(Bn1 ).

R1

2. Calculer (1 x2 )n1 en fonction de n et .

0

3. En deduire lexpresion de vol(Bn ) en fonction de n (et de la fonction ).

4. Retrouver les formules usuelles de la dimension 2 et 3 puis des dimensions 11 et 20 (qui interviennent dans
certaines theories quantiques des champs, par exemple : Kaluza-Klein)