Fonction gamma inverse

En mathématiques, la fonction gamma inverse est la fonction

z \mapsto \frac{1}{Γ (z)},

où $Γ(z)$ désigne la fonction gamma. Comme la fonction gamma est méromorphe et non nulle partout dans le plan complexe, son inverse est une fonction entière. En tant que fonction entière, elle est d'ordre 1 (ce qui signifie que $ln ln | 1 / Γ(z) |$ croit moins lentement que $ln | z |$ mais est de type infini (ce qui signifie que $ln | 1 / Γ(z) |$ croit plus vite que tout multiple de $| z |$ , puisque sa croissance est approximativement proportionnel à $| z | ln | z |$ dans le demi-plan gauche).

L'inverse est parfois utilisée comme point de départ pour le calcul numérique de la fonction gamma, et quelques bibliothèques logicielles la fournissent séparément de la fonction gamma standard.

Karl Weierstrass a appelé la fonction gamma inverse la « factorielle » et l'a utilisée dans son développement du théorème de factorisation de Weierstrass.

Développement en produit infini

Suite aux définitions du produit infini pour la fonction gamma, dues respectivement à Euler et à Weierstrass, on obtient le développement du produit infini suivant pour la fonction gamma réciproque :

\begin{matrix} \frac{1}{Γ (z)} & = z \prod_{n = 1}^{\infty} \frac{1 + \frac{z}{n}}{{(1 + \frac{1}{n})}^{z}} \\ \frac{1}{Γ (z)} & = z e^{γ z} \prod_{n = 1}^{\infty} (1 + \frac{z}{n}) e^{- \frac{z}{n}} \end{matrix}

où $γ = 0,577216...$ est la constante d'Euler-Mascheroni. Ces développements sont valables pour tous les nombres complexes $z$ .

Développement en série de Taylor

Le développement en série de Taylor autour de 0 donne^[1]:

\frac{1}{Γ (z)} = z + γ z^{2} + (\frac{γ^{2}}{2} - \frac{π^{2}}{12}) z^{3} + (\frac{γ^{3}}{6} - \frac{γ π^{2}}{12} + \frac{ζ (3)}{3}) z^{4} + \dots

où $γ$ est la constante d'Euler-Mascheroni. Pour $n > 2$ , le coefficient $a n$ pour le terme $z n$ peut être calculé récursivement comme^[2]^,^[3]^,^[4]

a_{n} = \frac{a_{2} a_{n - 1} + \sum_{j = 2}^{n - 1} (- 1)^{j + 1} ζ (j) a_{n - j}}{n - 1} = \frac{γ a_{n - 1} - ζ (2) a_{n - 2} + ζ (3) a_{n - 3} - \dots}{n - 1}

où $ζ$ est la fonction zêta de Riemann. Une représentation intégrale de ces coefficients a été récemment trouvée par Fekih-Ahmed (2014)^[4] :

a_{n} = \frac{(- 1)^{n}}{π n!} \int_{0}^{\infty} e^{- t} Im [{(\ln (t) - i π)}^{n}] d t .

Pour les petites valeurs, on obtient les valeurs suivantes :

$n$	$a n$
1	+1.0000000000000000000000000000000000000000
2	+0.5772156649015328606065120900824024310422
3	−0.6558780715202538810770195151453904812798
4	−0.0420026350340952355290039348754298187114
5	+0.1665386113822914895017007951021052357178
6	−0.0421977345555443367482083012891873913017
7	−0.0096219715278769735621149216723481989754
8	+0.0072189432466630995423950103404465727099
9	−0.0011651675918590651121139710840183886668
10	−0.0002152416741149509728157299630536478065
11	+0.0001280502823881161861531986263281643234
12	−0.0000201348547807882386556893914210218184
13	−0.0000012504934821426706573453594738330922
14	+0.0000011330272319816958823741296203307449
15	−0.0000002056338416977607103450154130020573
16	+0.0000000061160951044814158178624986828553
17	+0.0000000050020076444692229300556650480600
18	−0.0000000011812745704870201445881265654365
19	+0.0000000001043426711691100510491540332312
20	+0.0000000000077822634399050712540499373114
21	−0.0000000000036968056186422057081878158781
22	+0.0000000000005100370287454475979015481323
23	−0.0000000000000205832605356650678322242954
24	−0.0000000000000053481225394230179823700173
25	+0.0000000000000012267786282382607901588938
26	−0.0000000000000001181259301697458769513765
27	+0.0000000000000000011866922547516003325798
28	+0.0000000000000000014123806553180317815558
29	−0.0000000000000000002298745684435370206592
30	+0.0000000000000000000171440632192733743338

Fekih-Ahmed (2014) ^[4] donne également une approximation pour $a_{n}$ :

a_{n} \approx \frac{(- 1)^{n}}{(n - 1)!} \sqrt{\frac{2}{π n}} Im (\frac{z_{0}^{(1 / 2 - n)} e^{- n z_{0}}}{\sqrt{1 + z_{0}}}),

où $z_{0} = - \frac{1}{n} \exp (W_{- 1} (- n)),$ et $W_{- 1}$ est la branche négative de la fonction W de Lambert.

Le développement de Taylor autour de $1$ a les mêmes coefficients (mais décalés), c'est-à-dire :

\frac{1}{Γ (1 + z)} = \frac{1}{z Γ (z)} = 1 + γ z + (\frac{γ^{2}}{2} - \frac{π^{2}}{12}) z^{2} + (\frac{γ^{3}}{6} - \frac{γ π^{2}}{12} + \frac{ζ (3)}{3}) z^{3} + \dots

(l'inverse de la fonction pi de Gauss).

Développement asymptotique

Lorsque $| z |$ tend vers l'infini à $arg(z)$ constant, on a le développement suivant :

\ln (1 / Γ (z)) \sim - z \ln (z) + z + \frac{1}{2} \ln (\frac{z}{2 π}) - \frac{1}{12 z} + \frac{1}{360 z^{3}} - \frac{1}{1260 z^{5}} pour | \arg (z) | < π

Représentation intégrale

La fonction gamma inverse est un exemple classique d'application de la méthode du point col^[5]^,^[6]. On a par exemple :

\frac{1}{Γ (z)} = \frac{e^{z} z^{1 - z}}{2 i π} \int_{- π}^{π} \exp [- z (1 - θ \cot θ + \ln \frac{θ}{\sin θ})] d θ,

Représentation intégrale de contour

Une représentation intégrale due à Hermann Hankel est

\frac{1}{Γ (z)} = \frac{i}{2 π} \oint_{H} (- t)^{- z} e^{- t} d t,

où $H$ est le contour de Hankel, c'est-à-dire le chemin encerclant 0 dans le sens positif, commençant et revenant à l'infini positif par rapport à la branche coupée le long de l'axe réel positif. Selon Schmelzer et Trefethen, l'évaluation numérique de l'intégrale de Hankel est la base de certaines des meilleures méthodes de calcul de la fonction gamma^[5].

Représentations intégrales aux entiers positifs

Pour les entiers positifs $n \geq 1$ , il existe une intégrale pour la fonction factorielle inverse donnée par ^[7]

\frac{1}{n!} = \frac{1}{2 π} \int_{- π}^{π} e^{- i n t} e^{e^{i t}} d t .

De même, pour tout réel $c > 0$ et $z \in ℂ$ tel que $ℜ e (z) > 0$ on a l'intégrale suivante pour la fonction gamma inverse le long de l'axe réel sous la forme de^[8] :

\frac{1}{Γ (z)} = \frac{1}{2 π} \int_{- \infty}^{\infty} (c + i t)^{- z} e^{c + i t} d t,

où le cas particulier où $z = n + 1 / 2$ fournit une relation correspondante pour la fonction factorielle double inverse, $\frac{1}{(2 n - 1)!!} = \frac{\sqrt{π}}{2^{n} \cdot Γ (n + \frac{1}{2})} .$

Intégrale selon l'axe réel

L'intégration de la fonction gamma inverse le long de l'axe réel positif donne la valeur

\int_{0}^{+ \infty} \frac{1}{Γ (x)} d x \approx 2, 80777024,

qui est connue sous le nom de constante de Fransén-Robinson.

On a également la formule suivante ( ^[9] chapitre 9, exercice 100)

\int_{0}^{+ \infty} \frac{a^{x}}{Γ (x)} d x = a e^{a} + a \int_{0}^{+ \infty} \frac{e^{- a x}}{\ln^{2} (x) + π^{2}} d x

Voir aussi

Fonction de Bessel-Clifford
Loi inverse-gamma

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Reciprocal gamma function » (voir la liste des auteurs).

↑ (en) Eric W. Weisstein, « Gamma function », sur MathWorld
↑ (en) J.W. Wrench, « Concerning two series for the gamma function », Mathematics of Computation, vol. 22, n^o 103,‎ 1968, p. 617–626 (DOI 10.1090/S0025-5718-1968-0237078-4, S2CID 121472614)
↑ (en) J.W. Wrench, « Erratum: Concerning two series for the gamma function », Mathematics of Computation, vol. 27, n^o 123,‎ 1973, p. 681–682 (DOI 10.1090/S0025-5718-1973-0319344-9)
1 2 3 L. Fekih-Ahmed, « On the power series expansion of the reciprocal gamma function », HAL archives, 2014
1 2 (en) Thomas Schmelzer et Lloyd N. Trefethen, « Computing the Gamma function using contour integrals and rational approximations », SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, vol. 45, n^o 2,‎ 2007, p. 558–571 (DOI 10.1137/050646342, lire en ligne )
↑ (en) Nico M. Temme, Special Functions : An Introduction to the Classical Functions of Mathematical Physics, John Wiley & Sons, 1996, 392 p.
↑ Graham, Knuth, and Patashnik, Concrete Mathematics, Addison-Wesley, 1994, p. 566
↑ Schmidt, « A Short Note on Integral Transformations and Conversion Formulas for Sequence Generating Functions », Axioms, vol. 8, n^o 2,‎ 19 mai 2019, p. 62 (DOI 10.3390/axioms8020062, arXiv 1809.03933)
↑ (en) Henri Cohen, Number Theory Volume II: Analytic and Modern Tools, vol. 240, coll. « Graduate Texts in Mathematics », 2007 (ISBN 978-0-387-49893-5, ISSN 0072-5285, DOI 10.1007/978-0-387-49894-2, lire en ligne)

(en) Peter Reinhard Hansen et Chen Tong, « A Unifying Integral Representation of the Gamma Function and Its Reciprocal », 2025.
(en) Milton Abramowitz et Irene Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables [détail de l’édition] (lire en ligne)
(en) Eric W. Weisstein, « Gamma Function », sur MathWorld

Portail de l'analyse

[1] (en) Eric W. Weisstein, « Gamma function », sur MathWorld

[2] (en) J.W. Wrench, « Concerning two series for the gamma function », Mathematics of Computation, vol. 22, n^o 103,‎ 1968, p. 617–626 (DOI 10.1090/S0025-5718-1968-0237078-4, S2CID 121472614)

[3] (en) J.W. Wrench, « Erratum: Concerning two series for the gamma function », Mathematics of Computation, vol. 27, n^o 123,‎ 1973, p. 681–682 (DOI 10.1090/S0025-5718-1973-0319344-9)

[Fekih-Ahmed2014-4] 1 2 3 L. Fekih-Ahmed, « On the power series expansion of the reciprocal gamma function », HAL archives, 2014

[SchmelzerTrefethen-5] 1 2 (en) Thomas Schmelzer et Lloyd N. Trefethen, « Computing the Gamma function using contour integrals and rational approximations », SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, vol. 45, n^o 2,‎ 2007, p. 558–571 (DOI 10.1137/050646342, lire en ligne )

[6] (en) Nico M. Temme, Special Functions : An Introduction to the Classical Functions of Mathematical Physics, John Wiley & Sons, 1996, 392 p.

[7] Graham, Knuth, and Patashnik, Concrete Mathematics, Addison-Wesley, 1994, p. 566

[8] Schmidt, « A Short Note on Integral Transformations and Conversion Formulas for Sequence Generating Functions », Axioms, vol. 8, n^o 2,‎ 19 mai 2019, p. 62 (DOI 10.3390/axioms8020062, arXiv 1809.03933)

[9] (en) Henri Cohen, Number Theory Volume II: Analytic and Modern Tools, vol. 240, coll. « Graduate Texts in Mathematics », 2007 (ISBN 978-0-387-49893-5, ISSN 0072-5285, DOI 10.1007/978-0-387-49894-2, lire en ligne)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]