In mathematics, the trigamma function, denoted ψ1(z) or ψ(1)(z), is the second of the polygamma functions, and is defined by
ψ 1 ( z ) = d 2 d z 2 ln Γ ( z ) {\displaystyle \psi _{1}(z)={\frac {d^{2}}{dz^{2}}}\ln \Gamma (z)} . It follows from this definition that
ψ 1 ( z ) = d d z ψ ( z ) {\displaystyle \psi _{1}(z)={\frac {d}{dz}}\psi (z)}
where ψ(z) is the digamma function. It may also be defined as the sum of the series
ψ 1 ( z ) = ∑ n = 0 ∞ 1 ( z + n ) 2 , {\displaystyle \psi _{1}(z)=\sum _{n=0}^{\infty }{\frac {1}{(z+n)^{2}}},}
making it a special case of the Hurwitz zeta function
ψ 1 ( z ) = ζ ( 2 , z ) . {\displaystyle \psi _{1}(z)=\zeta (2,z).}
Note that the last two formulas are valid when 1 − z is not a natural number.
Calculation A double integral representation, as an alternative to the ones given above, may be derived from the series representation:
ψ 1 ( z ) = ∫ 0 1 ∫ 0 x x z − 1 y ( 1 − x ) d y d x {\displaystyle \psi _{1}(z)=\int _{0}^{1}\!\!\int _{0}^{x}{\frac {x^{z-1}}{y(1-x)}}\,dy\,dx}
using the formula for the sum of a geometric series. Integration over y yields:
ψ 1 ( z ) = − ∫ 0 1 x z − 1 ln x 1 − x d x {\displaystyle \psi _{1}(z)=-\int _{0}^{1}{\frac {x^{z-1}\ln {x}}{1-x}}\,dx}
An asymptotic expansion as a Laurent series can be obtained via the derivative of the asymptotic expansion of the digamma function:
… excerpt ends here. Continue reading the full article.


