Polygamma function

From Wikipedia, the free encyclopedia

In mathematics, the polygamma function of order m is defined as the (m + 1)th derivative of the logarithm of the gamma function:

Here

is the digamma function and Γ(z) is the gamma function. The function ψ⁽¹⁾(z) is sometimes called the trigamma function.

The logarithm of the gamma function and the first few polygamma functions in the complex plane

lnΓ(z)	ψ(0)(z)	ψ(1)(z)	ψ(2)(z)	ψ(3)(z)	ψ(4)(z)

Contents 1 Integral representation 2 Recurrence relation 3 Multiplication theorem 4 Series representation 5 Taylor's series 6 References

[edit] Integral representation

The polygamma function may be represented as

which holds for Re z >0 and m > 0. For m = 0 see the digamma function definition.

[edit] Recurrence relation

It has the recurrence relation

[edit] Multiplication theorem

The multiplication theorem gives

for m > 1, and, for m = 0, one has the digamma function:

[edit] Series representation

The polygamma function has the series representation

which holds for m > 0 and any complex z not equal to a negative integer. This representation can be written more compactly in terms of the Hurwitz zeta function as

Alternately, the Hurwitz zeta can be understood to generalize the polygamma to arbitrary, non-integer order.

[edit] Taylor's series

The Taylor series at z = 1 is

which converges for |z| < 1. Here, ζ is the Riemann zeta function. This series is easily derived from the corresponding Taylor's series for the Hurwitz zeta function. This series may be used to derive a number of rational zeta series.

[edit] References

• 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