Fonction polygamma

Fichier:Polygamma function.png

Tracé de la fonction polygamma le long de l'axe des réels avec en orange m = 0, en jaune m = 1, en vert m = 2, en rouge m = 3 et en bleu m = 4.

En mathématiques, la fonction polygamma d'ordre m est une fonction spéciale notée<ref>Polygamma Function sur mathworld.wolfram.com.</ref> <math>\psi_m (z)</math> ou <math>\psi^{(m)} (z)</math> et définie comme la m+1^e dérivée du logarithme de la fonction gamma <math>\Gamma(z)</math> :

<math>\psi_m(z) = \left(\frac{\mathrm d}{\mathrm dz}\right)^{m+1} \ln\Gamma(z)\qquad</math>.

Ce qui équivaut à la dérivée m^e de la dérivée logarithmique de la fonction gamma <math>\frac{\mathrm d}{\mathrm dz} \ln\Gamma(z) = \frac{\Gamma'(z)}{\Gamma(z)}\,</math> :

<math>\psi_m(z) = \psi^{(m)} (z) = \left(\frac{\mathrm d}{\mathrm dz}\right)^m \frac{\Gamma'(z)}{\Gamma(z)}\, </math>

• <math>\psi_{0}(z) =\frac{\Gamma'(z)}{\Gamma(z)} \, </math> est la fonction digamma <math>\psi(z)</math>.
• <math>\psi_{1}(z) =\psi'(z) \, </math>. On appelle parfois la fonction <math>\psi_{1}</math> (ou <math>\psi^{(1)}</math>) la Modèle:Lien.

Définition par une intégrale

La fonction polygamma peut être représentée par :

<math>\psi_m(z)= (-1)^{m+1}\int_0^\infty \frac{t^m \mathrm{e}^{-zt}} {1-\mathrm{e}^{-t}}~\mathrm dt.</math>

Ceci n'est valable que pour Modèle:Math et Modèle:Math. Pour Modèle:Math, voir la définition de la fonction digamma.

Représentation dans le plan complexe

La représentation du logarithme de la fonction gamma et des premiers ordres de la fonction polygamma dans le plan complexe est :

Fichier:Complex LogGamma.jpg	Fichier:Complex Polygamma 0.jpg	Fichier:Complex Polygamma 1.jpg	Fichier:Complex Polygamma 2.jpg	Fichier:Complex Polygamma 3.jpg	Fichier:Complex Polygamma 4.jpg
<math> \ln\Gamma(z) </math>.	<math> \psi_{0}(z) </math>.	<math> \psi_{1}(z) </math>.	<math> \psi_{2}(z) </math>.	<math> \psi_{3}(z) </math>.	<math> \psi_{4}(z) </math>.

Relation de récurrence

Elle vérifie la relation de récurrence

<math>\psi_m(z+1)= \psi_m(z) + (-1)^m\; m!\; z^{-(m+1)}.\,</math>

Théorème de multiplication

Le Modèle:Lien donne

<math>k^{m} \psi_{m-1}(kz) = \sum_{n=0}^{k-1}

\psi_{m-1}\left(z+\frac{n}{k}\right),</math>

valable pour Modèle:Math ; et pour Modèle:Math, la formule de multiplication de la fonction digamma est :

<math>k (\psi(kz)-\ln(k)) = \sum_{n=0}^{k-1}

\psi\left(z+\frac{n}{k}\right).</math>

Représentation par série

La fonction polygamma a pour représentation en série :

<math>\psi_m(z) = (-1)^{m+1}\; m!\; \sum_{k=0}^\infty

\frac{1}{(z+k)^{m+1}},</math>

qui n'est valable que pour Modèle:Math et pour tout complexe Modèle:Mvar qui n'est pas égal à un nombre entier négatif. Cette représentation peut être écrite avec la fonction zêta de Hurwitz par

<math>\psi_m(z) = (-1)^{m+1}\; m!\; \zeta (m+1,z).\,</math>

On peut en conclure que la fonction zêta de Hurwitz généralise la fonction polygamma à n'importe quel ordre appartenant à ℂ \ (–ℕ).

Série de Taylor

La série de Taylor au point Modèle:Math est

<math>\psi_m(z+1)= \sum_{k=0}^\infty

(-1)^{m+k+1} (m+k)!\; \zeta (m+k+1)\; \frac {z^k}{k!},\,</math> qui converge pour Modèle:Math. Ici, Modèle:Math est la fonction zêta de Riemann.

Références

• {{#invoke:Langue|indicationDeLangue}} Milton Abramowitz et Irene Stegun, Handbook of Mathematical Functions, Dover Publications, 1964 Modèle:ISBN, section 6.4