title: Función poligamma
text: # 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.
  
  