In mathematics, the polygamma function of order m is a meromorphic function on and defined as the (m+1)-th
derivative of the logarithm of the gamma function:
Thus
holds where ψ(z) is the digamma function and Γ(z) is the gamma function.
They are holomorphic on . At all the nonpositive integers these polygamma functions have a pole of order m+1. The function ψ(z) is sometimes called the trigamma function.