Polygamma
From specialfunctionswiki
The polygamma function of order $m$, $\psi^{(m)}(z)$, is defined by the formula $$\psi^{(m)}(z) = \dfrac{\mathrm{d}^{m+1}}{\mathrm{d}z^{m+1}} \log \Gamma(z),$$ where $\log \Gamma$ denotes the loggamma function. The digamma function $\psi$ is the function $\psi^{(0)}(z)$ and the trigamma function is $\psi^{(1)}(z)$.
Properties
Theorem
The following formula holds for $\mathrm{Re}(z)>0$ and $m>0$: $$\psi^{(m)}(z)=(-1)^{m+1} \displaystyle\int_0^{\infty} \dfrac{t^m e^{-zt}}{1-e^{-t}} \mathrm{d}t,$$ where $\psi^{(m)}$ denotes the polygamma and $e^{-zt}$ denotes the exponential.
Proof
References
- 1964: Milton Abramowitz and Irene A. Stegun: Handbook of mathematical functions ... (previous) ... (next): $6.4.1$