En matemática, la función poligamma de orden m se define como la (m+1)-ésima derivada del logaritmo de la función gamma:

${\displaystyle \psi ^{(m)}(x)=\left({\frac {d}{dx}}\right)^{m}\psi (x)=\left({\frac {d}{dx}}\right)^{m+1}\log \Gamma (x)}$

donde

${\displaystyle \psi (x)=\psi ^{0}(x)={\frac {\Gamma '(x)}{\Gamma (x)}}}$

es la función digamma.

La función poligamma puede ser representada en forma de integral como

${\displaystyle \psi ^{(m)}(z)=(-1)^{m+1}\int _{0}^{\infty }{\frac {t^{m}e^{-zt}}{1-e^{-t}}}dt}$

que se cumple para Re z >0 y m > 0. Para m = 0 véase la definición de función digamma.

Esta tiene la siguiente relación de recurrencia

${\displaystyle \psi ^{(m)}(z+1)=\psi ^{(m)}(z)+(-1)^{m}\;m!\;z^{-(m+1)}.}$

El teorema de multiplicación proporciona la siguiente fórmula

${\displaystyle k^{m}\psi ^{(m-1)}(kz)=\sum _{n=0}^{k-1}\psi ^{(m-1)}\left(z+{\frac {n}{k}}\right)}$

para ${\displaystyle m>1}$, y, para ${\displaystyle m=0}$, se obtiene la función digamma:

${\displaystyle k(\psi (kz)-\log(k))=\sum _{n=0}^{k-1}\psi \left(z+{\frac {n}{k}}\right).}$

La función poligamma tiene la siguiente representación en forma de serie

${\displaystyle \psi ^{(m)}(z)=(-1)^{m+1}\;m!\;\sum _{k=0}^{\infty }{\frac {1}{(z+k)^{m+1}}}}$

que se cumple para m > 0 y cualquier número complejo z que no sea igual a un número negativo. Esta representación puede ser escrita de manera más compacta en términos de la función zeta de Hurwitz como

${\displaystyle \psi ^{(m)}(z)=(-1)^{m+1}\;m!\;\zeta (m+1,z).}$

Alternativamente, la función zeta de Hurwitz puede ser entendida como la generalización de la función poligamma a un orden no entero arbitrario.

Una serie más se puede permitir a las funciones poligamma. como la dada por Oskar Schlömilch,

${\displaystyle 1/\Gamma (z)=z\;{\mbox{e}}^{\gamma z}\;\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)\;{\mbox{e}}^{-z/n}}$. Este es un resultado del teorema de factorización de Weierstrass.

Por lo tanto, la función gamma puede ser definida ahora como:

${\displaystyle \Gamma (z)={\frac {{\mbox{e}}^{-\gamma z}}{z}}\;\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)^{-1}\;{\mbox{e}}^{z/n}}$

De esta manera, el logaritmo natural de la función gamma es fácilmente representable:

${\displaystyle \ln \Gamma (z)=-\gamma z-\ln(z)+\sum _{n=1}^{\infty }\left({\frac {z}{n}}-\ln(1+{\frac {z}{n}})\right)}$

Finalmente, se llega a una representación en forma de sumatorio para la función poligamma:

${\displaystyle \psi ^{(n)}(z)={\frac {d^{n+1}}{dz^{n+1}}}\ln \Gamma (z)=-\gamma \delta _{n0}\;-\;{\frac {(-1)^{n}n!}{z^{n+1}}}\;+\;\sum _{k=1}^{\infty }\left({\frac {1}{k}}\delta _{n0}\;-\;{\frac {(-1)^{n}n!}{(k+z)^{n+1}}}\right)}$

Donde ${\displaystyle \delta _{n0}}$ es la delta de Kronecker.

La serie de Taylor en z = 1 es

${\displaystyle \psi ^{(m)}(z+1)=\sum _{k=0}^{\infty }(-1)^{m+k+1}(m+k)!\;\zeta (m+k+1)\;{\frac {z^{k}}{k!}},}$

que converge para todo |z| < 1. Aquí, ζ es la función zeta de Riemann. Esta serie se deriva de la correspondiente serie de Taylor para la función zeta de Hurwitz. Esta serie se puede utilizar para obtener un número de series zeta racionales.

• Función gamma

• Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 978-0-486-61272-0 . See section §6.4

• Weisstein, Eric W. «Polygamma Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.