# Polygamma function

Main Article
Talk
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In mathematics, the polygamma functions are the logarithmic derivatives of the gamma function. The polygamma function of order  is defined as



The case  is called the digamma function.

Taking the logarithm of Weierstrass's product for the gamma function, we can write the logarithm of the gamma function in the form of a series



Differentiating termwise renders the logarithmic derivative of the gamma function



which is called the digamma function, denoted by . The expression for the digamma function is simpler than the series we started with, all logarithms notably absent. If , a positive integer, all but finitely many terms in the series cancel and we are left with



where  is the harmonic number . As it generalizes harmonic numbers to non-integer indices, we could say that the digamma function is to harmonic numbers as the gamma function is to the factorials. Since , we can recover the ordinary derivative of the gamma function as ; the derivative at an integer is then  and in particular, , providing a geometric interpretation of Euler's constant as the slope of the gamma function's graph at 1.

Continuing in a similar manner, rational series for the polygamma functions of higher order can be derived.

The polygamma functions are related to the Riemann zeta function: it can be shown that the polygamma function at an integer value is expressible in terms of the zeta function at integers. With the higher-order derivatives available, it becomes possible to calculate the Taylor series of the gamma function around any integer in terms of Euler's constant and the zeta function. Choosing  instead of  for convenience, since the former is an entire function and hence has an everywhere convergent Taylor series in the simple point , we can compute



where , ,



and  is the Riemann zeta function.