4 ELIMANE BA ET MICHEL RAIBAUT
2. La fonction Gamma d’Euler et la fonction zeta de Riemann.
Cette premi`ere partie est une ´etude ´el´ementaire des fonctions Γ et ζ. Cette
´etude est la r´esolution du probl`eme 3 de [1] que nous avons enrichie avec les
ouvrages [2],[3] et [4].
2.1. La fonction Γ.
D´efinition 2.1. On pose pour tout z∈Ctel que Re(z)>0
Γ(z) = Z+∞
0
e−ttz−1dt
Cette d´efinition a bien un sens : en effet au voisinage de +∞on a
e−ttRe(z)−1=o(1
t2) et au voisinage de 0 on a e−ttRe(z)−1∼1
t1−Re(z)qui est
int´egrable si et seulement si Re(z)>0. Donc t7→| e−ttz−1|est int´egrable sur
R+pour z∈ {z∈C|Re(z)>0}.
Plan : Dans cette sous partie nous allons ´etablir les points suivants :
•Γ est holomorphe sur P={z∈C|Re(z)>0}.
•Γ se prolonge en une fonction holomorphe sur U=C− {0,−1,−2, ...}.
•Les points 0,-1,-2,...,-k,... sont des pˆoles simples de r´esidus
1,−1,1
2, ..., (−1)k
k!, ...
•De plus ∀z∈UΓ(z+ 1) = zΓ(z).
•La formule des compl´ements : pour tout z non entier
Γ(z)Γ(1 −z) = π
sin(πz)
•1
Γest une fonction enti`ere dont les seuls z´eros sont simples et situ´es aux
points 0,-1,-2,...et Γ ne s’annule en aucun point de C.
Proposition 2.2. Γest holomorphe sur P={z∈C|Re(z)>0}.
Preuve : z7→ e−ttz−1est holomorphe sur P.
Soit K un compact de P, il existe η > β > 0 tel que pour tout z∈Kon a
η > Re(z)> β.
Donc pour tout t∈]0,+∞[ on a
|e−ttz−1|≤ χ]0,1](t)e−ttβ−1+χ[1,+∞[(t)e−ttη−1∈L1(R)
donc par le th´eor`eme d’analyticit´e de Lebesgue Γ est holomorphe sur P.
Proposition 2.3. ∀z∈PΓ(z+ 1) = zΓ(z).
Preuve : On int`egre par partie Γ(z+ 1) = R+∞
0e−ttzdt.
On a par une r´ecurence imm´ediate le corollaire suivant :
Corollaire 2.4. ∀n∈NΓ(n+ 1) = n!
La fonction Γ interpole donc la fonction factorielle.