Math 2.0

Special functions Definition

Polygamma function

Builds on Digamma function

Definition

Let ψ\psi be the digamma function and let m≥0m \ge 0 be an integer. The polygamma function of order mm is the meromorphic function ψ(m)(z)=dmdzmψ(z)=dm+1dzm+1log⁡Γ(z),z∈ℂ∖{0,−1,−2,…}.\psi^{(m)}(z) = \frac{d^m}{dz^m} \psi(z) = \frac{d^{m+1}}{dz^{m+1}} \log \Gamma(z), \qquad z \in \C \setminus \set{0, -1, -2, \ldots}.

Remarks

The series ψ(z)=−γ+∑k=0∞(1k+1−1z+k)\psi(z) = -\gamma + \sum_{k=0}^\infty \left(\frac{1}{k+1} - \frac{1}{z+k}\right), with γ\gamma the Euler–Mascheroni constant, can be differentiated term by term. For m≥1m \ge 1 this gives ψ(m)(z)=(−1)m+1 m!∑k=0∞1(z+k)m+1=(−1)m+1 m! ζ(m+1,z),\psi^{(m)}(z) = (-1)^{m+1}\, m! \sum_{k=0}^\infty \frac{1}{(z+k)^{m+1}} = (-1)^{m+1}\, m!\, \zeta(m+1, z), where ζ(s,z)\zeta(s, z) is the Hurwitz zeta function.

Example: for m=2m = 2 and z=1z = 1 the series gives ψ(2)(1)=−2∑k≥1k−3=−2ζ(3)\psi^{(2)}(1) = -2 \sum_{k \ge 1} k^{-3} = -2\zeta(3).

Non-example of a valid argument: at z=−nz = -n with n≥0n \ge 0 an integer the term k=nk = n of the series is infinite. There ψ(m)\psi^{(m)} has a pole of order m+1m + 1.

The function ψ(0)=ψ\psi^{(0)} = \psi is the digamma function and ψ(1)\psi^{(1)} is the trigamma function. The recurrence ψ(m)(z+1)=ψ(m)(z)+(−1)m m! z−m−1\psi^{(m)}(z+1) = \psi^{(m)}(z) + (-1)^m\, m!\, z^{-m-1} follows by differentiating ψ(z+1)=ψ(z)+1/z\psi(z+1) = \psi(z) + 1/z mm times.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Digamma function concept
  2. Polygamma function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Polygamma_function
About this page
TagGRZKGHMNTG
URIm2://GRZKGHMNTG
Kinddefinition
WritingW0 stub
MSC33B15
DefinesPolygamma function
UsesDigamma function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.