Función poligamma
# Función poligamma

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:

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

donde

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

es la función digamma.

## Representaciones

### Representación en forma de integral

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

    $\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.

### Relación de recurrencia

Esta tiene la siguiente relación de recurrencia

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

### Teorema de multiplicación

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

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

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

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

### Representación en forma de series

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

    $\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

    $\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,

    $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:

    $\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:

    $\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:

    $\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 $\delta _{n0}$ es la delta de Kronecker.

### Serie de Taylor

La serie de Taylor en z = 1 es

    $\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.

