:<math>\Gamma(s)\,\eta(s)=\int_0^\infty \frac{x^{s-1}}{\mathrm e^x+1}\,\mathrm dx</math> =<ref>{{Article|lang=en|auteur=Jesús Guillera|auteur2=Jonathan Sondow|titre=Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent|revue=[[The Ramanujan Journal]]|date=2008|vol=16|issue=3|p.=247-270|doi=10.1007/s11139-007-9102-0|arxiv=math/0506319}}.</ref><math>\int_0^1\int_0^1\frac{(-\ln(x y))^{s-2}}{1 + x y}\,\mathrm dx \,\mathrm dy</math>.
=\int_0^1\int_0^1 \frac{(-\log(x y))^{s-2}}{1 + x y} \, dx \, dy.
\end{align}
</math>
Dans la définition de la fonction gamma sous forme d'intégrale, les bornes de l'intégrale sont fixées ; la [[fonction gamma incomplète]] est la fonction obtenue en en modifiant la borne inférieure ou la borne supérieure.
Dans la définition de la fonction gamma sous forme d'intégrale, les bornes de l'intégrale sont fixées ; la [[fonction gamma incomplète]] est la fonction obtenue en en modifiant la borne inférieure ou la borne supérieure.
Ligne 117 :
Ligne 108 :
Le ''logarithme de la fonction gamma'' est parfois appelé '''lngamma'''. Il intervient notamment dans la résolution des [[Équation d'onde|problèmes de propagation d’ondes]]<ref>{{Ouvrage|lang=en|lien auteur1=Karl Rawer|prénom1=Karl|nom1=Rawer
Le ''logarithme de la fonction gamma'' est parfois appelé '''lngamma'''. Il intervient notamment dans la résolution des [[Équation d'onde|problèmes de propagation d’ondes]]<ref>{{Ouvrage|lang=en|lien auteur1=Karl Rawer|prénom1=Karl|nom1=Rawer
|titre=Wave Propagation in the Ionosphere
|titre=Wave Propagation in the Ionosphere
|éditeur=Kluwer Academic Publishers
|éditeur=[[Kluwer]] Academic Publishers
|lieu= Dordrecht
|lieu= Dordrecht
|année=1993}}.</ref> : l'[[équation fonctionnelle]] de la fonction lngamma est :
|année=1993}}.</ref> : l'[[équation fonctionnelle]] de la fonction lngamma est :
Ligne 124 :
Ligne 115 :
Si l’on connaît les valeurs de la fonction sur une bande de largeur 1 en Re(''z''), on obtient par cette relation les valeurs dans une bande voisine de même largeur, et l’on peut répéter ce procédé. Partant d’un ''z'' avec Re(''z'') >> 1 pour lequel on connaît une bonne approximation, on peut ainsi atteindre la valeur pour un ''z'' quelconque.
Si l’on connaît les valeurs de la fonction sur une bande de largeur 1 en Re(''z''), on obtient par cette relation les valeurs dans une bande voisine de même largeur, et l’on peut répéter ce procédé. Partant d’un ''z'' avec Re(''z'') >> 1 pour lequel on connaît une bonne approximation, on peut ainsi atteindre la valeur pour un ''z'' quelconque.
Rocktaeschel (1922, suivant une indication de Gauss) propose<ref>D'après {{ouvrage|lang=de|auteur=O. R. Rocktäschel|titre=Methoden zur Berechnung der Gammafunktion für komplexes Argument|format=thèse de doctorat|lien éditeur=université technologique de Dresde|éditeur=université technologique de Dresde|année=1922}}.</ref> :
Rocktaeschel (1922<ref>D'après {{ouvrage|lang=de|auteur=O. R. Rocktäschel|titre=Methoden zur Berechnung der Gammafunktion für komplexes Argument|format=thèse de doctorat|lien éditeur=université technologique de Dresde|éditeur=université technologique de Dresde|année=1922}}.</ref>, suivant une indication de Gauss) propose l'approximation pour {{math|Re(''z'')}} grand :
On peut en déduire une approximation de {{math|ln Γ(''z'')}} pour {{math|Re(''z'')}} plus petit, en utilisant<ref>{{ouvrage|lang=de|auteur=P. E. Böhmer|titre=Differenzengleichungen und bestimmte Integrale|éditeur= Köhler Verlag|lieu= Leipzig|année= 1939}}.</ref> :
La [[Dérivation logarithmique|dérivée du logarithme]] de la fonction gamma est appelée [[fonction digamma]]. Les dérivées d'ordre supérieur sont les [[Fonction polygamma|fonctions polygamma]].
La [[Dérivation logarithmique|dérivée du logarithme]] de la fonction gamma est appelée [[fonction digamma]]. Les dérivées d'ordre supérieur sont les [[Fonction polygamma|fonctions polygamma]].
Pour tout nombre complexe ztel que Re(z) > 0, on définit la fonction suivante, appelée fonction gamma, et notée par la lettre grecque Γ (gamma majuscule)
Cette fonction peut être prolongée analytiquement en une fonction méromorphe sur l'ensemble des nombres complexes, excepté pour z = 0, −1, −2, −3… qui sont des pôles. C'est ce prolongement qu'on appelle généralement « fonction gamma ». L'unicité du prolongement analytique permet de montrer que la fonction prolongée vérifie encore l'équation fonctionnelle précédente. Cela permet une définition plus simple, à partir de l'intégrale, et un calcul de proche en proche de Γ pour z – 1, z – 2, etc.
Autres définitions
La définition suivante de la fonction gamma par produits infinis, due à Euler, a un sens pour les nombres complexes z qui ne sont pas des entiers négatifs ou nuls[2] :
.
Elle est équivalente à celle donnée par Schlömilch[3] :
On interprète donc la fonction gamma comme un prolongement de la factorielle à l'ensemble des nombres complexes
(à l'exception des entiers négatifs ou nul).
Une notation alternative est la fonction Π, introduite par Gauss :
(et donc ),
de telle façon que :
.
Caractérisations
Sur l'ensemble des réels
La fonction gamma est entièrement caractérisée sur par les trois propriétés suivantes (théorème de Bohr-Mollerup):
La fonction gamma est entièrement caractérisée parmi les fonctions holomorphes du demi-plan complexe Re(z)>0 par les trois propriétés suivantes (théorème de Wielandt) :
La fonction gamma possède un pôle d'ordre 1 en z = −n pour tout entier natureln. Le résidu de la fonction en ce pôle est donné par :
Dérivées
La fonction gamma est indéfiniment dérivable sur . Sa dérivée est exprimée à l'aide de la fonction digamma :
Plus généralement, sa dérivée p-ième possède sur l'expression intégrale suivante :
.
Lien avec les sommes de Gauss
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
La définition de la fonction gamma sous forme d'intégrale la fait apparaître comme une convolution entre un caractère additif (l'exponentielle) et un caractère multiplicatif ().
Dans la définition de la fonction gamma sous forme d'intégrale, les bornes de l'intégrale sont fixées ; la fonction gamma incomplète est la fonction obtenue en en modifiant la borne inférieure ou la borne supérieure.
La fonction gamma est reliée à la fonction bêta par la formule :
Si l’on connaît les valeurs de la fonction sur une bande de largeur 1 en Re(z), on obtient par cette relation les valeurs dans une bande voisine de même largeur, et l’on peut répéter ce procédé. Partant d’un z avec Re(z) >> 1 pour lequel on connaît une bonne approximation, on peut ainsi atteindre la valeur pour un z quelconque.
Rocktaeschel (1922[6], suivant une indication de Gauss) propose l'approximation pour Re(z) grand :
.
On peut en déduire une approximation de ln Γ(z) pour Re(z) plus petit, en utilisant[7] :
La valeur de est celle de l'intégrale de Gauss ; elle peut aussi se déduire de la formule des compléments.
Cette valeur permet, par récurrence, de déterminer les autres valeurs de la fonction gamma pour les demi-entiers positifs :
Par généralisation sur les complexes de la formule de Stirling, on sait que, pour z ∉ ℤ- :
.
Les nombres de Bernoulli de rang impair supérieur ou égal à 3 étant nuls, on peut également écrire, par changement de variablei = 2k et en introduisant les termes (nuls) de rang impair :
,
d’où :
.
z étant non nul, on peut factoriser z+a en z×(1+a/z) :
Ayant posé |a| < |z|, on a |a/z| < 1, ce qui permet de développer d’une part la série de Taylor du logarithme ln(1 + x) (valable pour |x| < 1) et d’autre part le binôme négatif(1 + x)-n (valable pour |x| < 1 et n ∈ ℕ*) :
,
On a donc d’une part, par le développement du logarithme :
et :
,
d’où :
On a d’autre part, par le développement du binôme négatif, puis en procédant au changement de variable k=i+j :
Puisque pour k < i, et i valant au moins 2, on peut étendre la somme ci-dessus pour k allant de 2 (en deçà, on aurait la forme indéterminée 0/0) à i – 1 (somme de i – 2 termes, donc au pire une somme vide, valide, si i = 2) :
.
On rappelle que les polynômes de Bernoulli vérifient :
En posant a valant respectivement 0, ½ et 1, et connaissant les valeurs particulières des polynômes de Bernoulli en ces points, on retrouve immédiatement les équivalents en z, z + ½ et z + 1 mentionnés plus hauts.
↑(en) Karl Rawer, Wave Propagation in the Ionosphere, Dordrecht, Kluwer Academic Publishers, .
↑D'après (de) O. R. Rocktäschel, Methoden zur Berechnung der Gammafunktion für komplexes Argument, université technologique de Dresde, , thèse de doctorat.
↑(de) P. E. Böhmer, Differenzengleichungen und bestimmte Integrale, Leipzig, Köhler Verlag, .
↑Paul Heinrich Fuss, Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIe siècle, vol. II, St. Pétersbourg, Académie impériale des sciences, (lire en ligne).
↑(en) Detlef Gronau, « Why is the gamma function so as it is? », Teaching Mathematics and Computer Science, vol. 1, no 1, , p. 43-53.
↑(en) Jonathan M. Borwein et Robert M. Corless, Gamma and Factorial in the Monthly, 17 mars 2017 arXiv:1703.05349