Balanced polygamma function

In mathematics, the generalized polygamma function or balanced negapolygamma function is a function introduced by Olivier Espinosa Aldunate and Victor Hugo Moll.

It generalizes the polygamma function to negative and fractional order, but remains equal to it for integer positive orders.

Definition

The generalized polygamma function is defined as follows:

$\psi (z,q)=\frac{{\zeta }^{\prime }(z+1,q)+(\psi (-z)+\gamma )\zeta (z+1,q)}{\mathrm{\Gamma }(-z)}$

or alternatively,

$\psi (z,q)=e^{-\gamma z}\frac{\partial }{\partial z}\left(e^{\gamma z}\frac{\zeta (z+1,q)}{\mathrm{\Gamma }(-z)}\right),$

where Template:Math is the polygamma function and Template:Math, is the Hurwitz zeta function.

The function is balanced, in that it satisfies the conditions

$f(0)=f(1)\text{and}\underset{0}{\overset{1}{\int }}f(x)dx=0$.

Relations

Several special functions can be expressed in terms of generalized polygamma function.

$\begin{array}{cc}\psi (x)& =\psi (0,x)\\ {\psi }^{(n)}(x)& =\psi (n,x)n\in \mathbb{N}\\ \mathrm{\Gamma }(x)& =\exp (\psi (-1,x)+\frac{1}{2}\ln 2\pi )\\ \zeta (z,q)& =\frac{(-1{)}^z}{\mathrm{\Gamma }(z)}\psi (z-1,q)\\ {\zeta }^{\prime }(-1,x)& =\psi (-2,x)+\frac{x^2}{2}-\frac{x}{2}+\frac{1}{12}\\ \end{array}$

$K(z)=A\exp (\psi (-2,z)+\frac{z^2-z}{2})$

where Template:Math is the [[K-function|Template:Mvar-function]] and Template:Mvar is the Glaisher constant.

Special values

The balanced polygamma function can be expressed in a closed form at certain points (where Template:Mvar is the Glaisher constant and Template:Mvar is the Catalan constant):

$\begin{array}{cccc}\psi (-2,\frac{1}{4})& =\frac{1}{8}\ln A+\frac{G}{4\pi }& & \\ \psi (-2,\frac{1}{2})& =\frac{1}{2}\ln A-\frac{1}{24}\ln 2& \\ \psi (-3,\frac{1}{2})& =\frac{3\zeta (3)}{32{\pi }^2}\\ \psi (-2,1)& =-\ln A& \\ \psi (-3,1)& =\frac{-\zeta (3)}{8{\pi }^2}\\ \psi (-2,2)& =-\ln A-1& \\ \psi (-3,2)& =\frac{-\zeta (3)}{8{\pi }^2}-\frac{3}{4}\\ \end{array}$