Digamma function explained

In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function:

\psi(z) = (d)/(d z) ln \Gamma(z) = (\Gamma'(z))/(\Gamma(z)) .

It is the first of the polygamma functions. This function is strictly increasing and strictly concave on

( 0 , inf ty) ,^[1] and it asymptotically behaves as^[2] \psi(z) \sim ln {z} - (1)/(2 z) ,

for complex numbers with large modulus (

|z| → inf ty ) in the sector |\arg z|<\pi - \varepsilon with some infinitesimally small positive constant \varepsilon .

The digamma function is often denoted as

\psi _{0(x),} \psi ^{(0)} (x) or ^[3] (the uppercase form of the archaic Greek consonant digamma meaning double-gamma).

Relation to harmonic numbers

The gamma function obeys the equation

\Gamma(z +1 ) = z\Gamma(z).

Taking the logarithm on both sides and using the functional equation property of the log-gamma function gives:

log \Gamma(z +1 ) =log (z) +log \Gamma(z),

Differentiating both sides with respect to gives:

\psi(z +1 ) = \psi(z) + (1)/(z)

Since the harmonic numbers are defined for positive integers as

H _{n=\sum} ^{n} ^{k =1} (1)/(k,)

the digamma function is related to them by

\psi(n) = H _{n-1} - \gamma,

where and is the Euler–Mascheroni constant. For half-integer arguments the digamma function takes the values

\psi \left(n + \tfrac 12 \right) =- \gamma -2ln 2 + \sum ^{n} _{k =1} (2)/(2 k -1) .

Integral representations

If the real part of is positive then the digamma function has the following integral representation due to Gauss:^[4]

\psi(z) = \int ^{inf ty} _{0} \left( (e ^{-t})/(t) - (e ^{-zt})/(1- e ^{-t}) \right)dt. \gamma gives:\psi(z + 1 ) = - \gamma + \int ^{1} _{0} \left( (1- t ^{z})/(1- t) \right)dt. The integral is Euler's harmonic number H _{z} , so the previous formula may also be written\psi(z + 1 ) = \psi( 1 ) + H _{z.} A consequence is the following generalization of the recurrence relation:\psi(w + 1 ) - \psi(z + 1 ) = H _{w} - H _{z.}

An integral representation due to Dirichlet is:^[4]

\psi(z) = \int ^{inf ty} _{0} \left(e ^{-t} - (1)/(\right) ( 1+ t) ^{z}) (dt)/(t) .

Gauss's integral representation can be manipulated to give the start of the asymptotic expansion of

\psi .^[5] \psi(z) = log z - (1)/(2 z) - \int ^{inf ty} _{0} \left( (1)/(2) - (1)/(t) + (1)/(e ^{t} -1) \right)e ^{-tz} dt. This formula is also a consequence of Binet's first integral for the gamma function. The integral may be recognized as a Laplace transform.

Binet's second integral for the gamma function gives a different formula for

\psi which also gives the first few terms of the asymptotic expansion:^[6] \psi(z) = log z - (1)/(2 z) - 2 \int ^{inf ty} _{0} (tdt)/((t ^{2} + z ^{2)(e} ^{2\pi} -1 )) .

From the definition of

\psi and the integral representation of the gamma function, one obtains\psi(z) = (1)/(\Gamma(z)) \int ^{inf ty} _{0} t ^{z-1} ln (t) e ^{-t} dt, with \Re z > 0 .^[7]

Infinite product representation

The function

\psi(z)/\Gamma(z) is an entire function, and it can be represented by the infinite product(\psi(z))/(\Gamma(z)) =- e ^{2\gamma} \prod ^{inf ty\left( 1- (z)/(x _{k})} _{k =0} \right)e ^{(z)/(x _{k})} .

Here

x _{k} is the kth zero of \psi (see below), and \gamma is the Euler–Mascheroni constant.

Note: This is also equal to

- (d)/(dz) (1)/(\Gamma(z)) due to the definition of the digamma function: (\Gamma'(z))/(\Gamma(z)) = \psi(z) .

Series representation

Series formula

Euler's product formula for the gamma function, combined with the functional equation and an identity for the Euler–Mascheroni constant, yields the following expression for the digamma function, valid in the complex plane outside the negative integers (Abramowitz and Stegun 6.3.16):

\begin{align} \psi(z + 1 ) & = - \gamma + \sum ^{inf ty} _{n =1} \left( (1)/(n) - (1)/(n + z) \right), z ≠ -1 , -2 , -3 , \ldots, \\ & = - \gamma + \sum ^{inf ty} _{n =1} \left( (z)/(n(n + z)) \right), z ≠ -1 , -2 , -3 , \ldots. \end{align} Equivalently,\begin{align} \psi(z) & = - \gamma + \sum ^{inf ty} _{n =0} \left( (1)/(n +1) - (1)/(n + z) \right), z ≠ 0 , -1 , -2 , \ldots, \\ & = - \gamma + \sum ^{inf ty} _{n =0} (z -1)/((n +1 )(n + z)) , z ≠ 0 , -1 , -2 , \ldots. \end{align}

Evaluation of sums of rational functions

The above identity can be used to evaluate sums of the form

\sum ^{inf ty} _{n =0} u _{n=\sum} ^{inf ty} ^{n =0} (p(n))/(q(n)) , where and are polynomials of .

Performing partial fraction on in the complex field, in the case when all roots of are simple roots,

u _{n = (p(n))/(q(n))} = \sum ^{m} _{k =1} (a _{k})/(n + b _{k}) .

For the series to converge,

\lim _{n\toinfty} nu _{n=0,}

otherwise the series will be greater than the harmonic series and thus diverge. Hence

\sum ^{m} _{k =1} a _{k=0,}

and

\begin{align} \sum ^{inf ty} _{n =0} u _{n} & = \sum ^{m (a _{k})/(n + b _{k})} _{k =1} \\ & = \sum ^{m} _{k =1} a _{k\left( (1)/(n + b _{k})} - (1)/(n +1) \right) \\ & = \sum ^{m\left(a} _{k\sum} - ^{inf ty\left( (1)/(n + b _{k})} _{n =0} (1)/(n +1) \right)\right)\\ & =- \sum ^{m} _{k =1} a _{k(\psi(b} _{k)+\gamma)} \\ & =- \sum ^{m} _{k =1} a _{k\psi(b} _{k). \end{align}}

With the series expansion of higher rank polygamma function a generalized formula can be given as

\sum ^{inf ty} _{n =0} u _{n=\sum} ^{m} ^{k =1} (a _{k})/((n + b ^{r _{k}} _{k)}) = \sum ^{m} _{k =1} (( -1 ) ^{r _{k}})/((r _{k-1)!}) a ^{(r _{k-1)}} _{k\psi} (b _{k),}

provided the series on the left converges.

Taylor series

The digamma has a rational zeta series, given by the Taylor series at . This is

\psi(z +1 ) = - \gamma - \sum ^{inf ty} _{k =1} ( -1 ) ^{k\zeta} (k +1 ) z ^{k,}

which converges for . Here, is the Riemann zeta function. This series is easily derived from the corresponding Taylor's series for the Hurwitz zeta function.

Newton series

The Newton series for the digamma, sometimes referred to as Stern series, derived by Moritz Abraham Stern in 1847,^{[8] [9] [10]} reads

\begin{align} \psi(s) & = - \gamma + (s -1 ) - ((s -1 )(s -2 ))/(2 ⋅ 2 !) + ((s -1 )(s -2 )(s -3 ))/(3 ⋅ 3 !) … , \Re(s)> 0 , \\ & = - \gamma - \sum ^{inf ty} _{k =1} (( -1 ) ^{k})/(k) \binom{s -1 }{k} … , \Re(s)> 0 . \end{align}

where is the binomial coefficient. It may also be generalized to

\psi(s +1 ) = - \gamma - (1)/(m) \sum ^{m -1} _{k =1} (m - k)/(s + k) - (1)/(m) \sum ^{inf ty (( -1 ) ^{k})/(k)} _{k =1} \left\{\binom{s + m}{k +1 } - \binom{s}{k +1 }\right\}, \Re(s)> -1 , where

Series with Gregory's coefficients, Cauchy numbers and Bernoulli polynomials of the second kind

There exist various series for the digamma containing rational coefficients only for the rational arguments. In particular, the series with Gregory's coefficients is

\psi(v) =ln v - \sum ^{inf ty (| G _{n} | (n -1 )!)/((v) _{n})} _{n =1} , \Re (v) > 0 , \psi(v) =2ln \Gamma(v) - 2 v ln v + 2 v +2ln v -ln2 \pi - 2 \sum ^{inf ty (| G _{n} ( 2 ) |)/((v) _{n})} _{n =1} (n -1 )! , \Re (v) > 0 , \psi(v) =3ln \Gamma(v) - 6 \zeta'( -1 ,v) + 3 v ^{2ln{v}} - (32)/(v) ^{2} - 6 v ln (v) + 3 v +3ln {v} - (32ln2 \pi)/(+) (12)/(-) 3 \sum ^{inf ty (| G _{n} ( 3 ) |)/((v) _{n})} _{n =1} (n -1 )! , \Re (v) > 0 , where is the rising factorial, are the Gregory coefficients of higher order with, is the gamma function and is the Hurwitz zeta function.^[11] Similar series with the Cauchy numbers of the second kind reads\psi(v) =ln (v -1 ) + \sum ^{inf ty (C _{n} (n -1 )!)/((v) _{n})} _{n =1} , \Re(v) > 1 , A series with the Bernoulli polynomials of the second kind has the following form\psi(v) =ln (v + a) + \sum ^{inf ty (( -1 ) ^{n\psi} _{n} (a)(n -1 )!)/((v) _{n})} _{n =1} , \Re(v)> - a, where are the Bernoulli polynomials of the second kind defined by the generatingequation(z( 1+ z) ^{a})/(ln ( 1+ z)) = \sum ^{inf ty} _{n =0} z ^{n} \psi _{n(a)} , |z|< 1 , It may be generalized to\psi(v) = (1)/(r) \sum ^{r -1} _{l =0} ln (v + a + l) + (1)/(r) \sum ^{inf ty (( -1 ) ^{n} N _{n,r} (a)(n -1 )!)/((v) _{n})} _{n =1} , \Re(v)> - a, r =1 , 2 , 3 ,\ldots where the polynomials are given by the following generating equation(( 1+ z) ^{a+m} - ( 1+ z) ^{a})/(ln ( 1+ z)) = \sum ^{inf ty} _{n =0} N _{n,m} (a) z ^{n} , |z|< 1 , so that . Similar expressions with the logarithm of the gamma function involve these formulas\psi(v) = (1)/(v + a - \tfrac 12) \left\{ ln \Gamma(v + a) + v - (12ln2 \pi)/(-) (12)/(+) \sum ^{inf ty (( -1 ) ^{n} \psi _{n+1} (a))/((v) _{n})} _{n =1} (n -1 )!\right\}, \Re(v)> - a, and\psi(v) = (1)/(\tfrac{ 1) { 2 }r + v + a -1 }\left\{ ln \Gamma(v + a) + v - (12ln2 \pi)/(-) (12)/(+) (1)/(r) \sum ^{r -2} _{n =0} (r - n -1 ) ln (v + a + n) + (1)/(r) \sum ^{inf ty (( -1 ) ^{n} N _{n+1,r} (a))/((v) _{n})} _{n =1} (n -1 )!\right\}, where \Re(v)> - a and r =2 , 3 , 4 ,\ldots .

Reflection formula

The digamma and polygamma functions satisfy reflection formulas similar to that of the gamma function:

\psi( 1- x) - \psi(x) = \pi \cot \pi x .\psi'( - x) + \psi'(x) = (\pi ^{2})/(+ \sin ^{2(\pi} x)) (1)/(x ^{2}) .

Recurrence formula and characterization

The digamma function satisfies the recurrence relation

\psi(x +1 ) = \psi(x) + (1)/(x) .

Thus, it can be said to "telescope", for one has

\Delta [\psi](x) = (1)/(x)

where is the forward difference operator. This satisfies the recurrence relation of a partial sum of the harmonic series, thus implying the formula

\psi(n) = H _{n-1} - \gamma

where is the Euler–Mascheroni constant.

Actually, is the only solution of the functional equation

F(x +1 ) = F(x) + (1)/(x)

that is monotonic on and satisfies . This fact follows immediately from the uniqueness of the function given its recurrence equation and convexity restriction. This implies the useful difference equation:

\psi(x + N) - \psi(x) = \sum ^{N -1} _{k =0} (1)/(x + k)

Some finite sums involving the digamma function

There are numerous finite summation formulas for the digamma function. Basic summation formulas, such as

\sum ^{m} _{r =1} \psi\left( (r)/(m) \right) =- m(\gamma +ln m), \sum ^{m} _{r =1} \psi\left( (r)/(m) \right) ⋅ \exp\dfrac{ 2 \pi rki}{m} = m ln \left( 1- \exp (2 \pi ki)/(m) \right), k\in\Z, m\in\N, k\ne m \sum ^{m -1} _{r =1} \psi\left( (r)/(m) \right) ⋅ \cos\dfrac{ 2 \pi rk}{m} = m ln \left( 2 \sin (k\pi)/(m) \right) + \gamma, k =1 , 2 ,\ldots, m -1 \sum ^{m -1} _{r =1} \psi \left( (r)/(m) \right) ⋅ \sin (2 \pi rk)/(= m) (\pi)/(2) ( 2 k - m), k =1 , 2 ,\ldots, m -1

are due to Gauss.^{[12] [13]} More complicated formulas, such as

\sum ^{m -1} _{r =0} \psi \left( (2 r +1)/(\right) ⋅ \cos 2 m) (( 2 r +1 )k\pi)/(m) = m ln \left(\tan (\pi k)/(2 m) \right) , k =1 , 2 ,\ldots, m -1 \sum ^{m -1} _{r =0} \psi \left( (2 r +1)/(2 m) \right) ⋅ \sin\dfrac{( 2 r +1 )k\pi }{m} =- (\pi m)/(2) , k =1 , 2 ,\ldots, m -1 \sum ^{m -1} _{r =1} \psi\left( (r)/(\right) ⋅ \cot m) (\pi r)/(m) =- (\pi(m -1 )(m -2 ))/(6) \sum ^{m -1} _{r =1} \psi \left( (r)/(m) \right) ⋅ (r)/(=- m) (\gamma)/((m -1 ) - 2) (m)/(2) ln m - (\pi)/(2) \sum ^{m -1} _{r =1} (r)/(⋅ \cot m) (\pi r)/(m) \sum ^{m -1} _{r =1} \psi \left( (r)/(m) \right) ⋅ \cos\dfrac{( 2 \ell +1 )\pi r}{m} =- (\pi)/(m) \sum ^{m -1} _{r =1} (r ⋅ \sin\dfrac{ 2 \pi r)/(m) }, \qquad \ell\in\mathbb \sum ^{m -1} _{r =1} \psi \left( (r)/(m) \right) ⋅ \sin\dfrac{( 2 \ell +1 )\pi r}{m} =- (\gamma +ln2 m)\cot (( 2 \ell +1 )\pi)/(2 m) + \sin\dfrac{( 2 \ell +1 )\pi }{m}\sum ^{m -1} _{r =1} (ln \sin\dfrac{\pi r)/(m) }, \qquad \ell\in\mathbb\sum ^{m -1} _{r =1} \psi ^{2 \left( (r)/(m)} \right) = (m -1 )\gamma ^{2} + m( 2 \gamma +ln4 m) ln {m} - m(m -1 ) ln ^{2} 2+ (\pi ^{2} (m ^{2-3m+2)})/(12) + m\sum ^{m -1} _{\ell =1} ln ^{2} \sin (\pi\ell)/(m)

are due to works of certain modern authors (see e.g. Appendix B in Blagouchine (2014)^[14]).

We also have ^[15]

1+ (1)/(+ 2) (1)/(+ ... + 3) (1)/(- \gamma = k -1) (1)/(k) \sum ^{k -1} _{n =0} \psi\left( 1+ (n)/(k) \right), k =2 , 3 , ...

Gauss's digamma theorem

For positive integers and, the digamma function may be expressed in terms of Euler's constant and a finite number of elementary functions^[16]

\psi\left( (r)/(m) \right) = - \gamma -ln ( 2 m) - (\pi)/(\cot\left( 2) (r\pi)/(m) \right) +2 \sum ^{\left\lfloor (m -1)/(2) \right\rfloor} _{n =1} \cos\left( (2 \pi nr)/(m) \right) ln \sin\left( (\pi n)/(m) \right)

which holds, because of its recurrence equation, for all rational arguments.

Multiplication theorem

The multiplication theorem of the

\Gamma -function is equivalent to^[17] \psi(nz) = (1)/(n) \sum ^{n -1} _{k =0} \psi(z + (k)/(n) ) +ln n .

Asymptotic expansion

The digamma function has the asymptotic expansion

\psi(z) \sim ln z + \sum ^{inf ty} _{n =1} (\zeta( 1- n))/(z ^{n}) = ln z - \sum ^{inf ty} _{n =1} (B _{n})/(nz ^{n}) , where is the th Bernoulli number and is the Riemann zeta function. The first few terms of this expansion are:\psi(z) \sim ln z - (1)/(2 z) - (1)/(12 z ^{2}) + (1)/(120 z ^{4}) - (1)/(252 z ^{6}) + (1)/(240 z ^{8}) - (1)/(132 z ^{10}) + (691)/(32760 z ^{12}) - (1)/(12 z ^{14}) + … . Although the infinite sum does not converge for any, any finite partial sum becomes increasingly accurate as increases.

The expansion can be found by applying the Euler–Maclaurin formula to the sum^[18]

\sum ^{inf ty} _{n =1} \left( (1)/(n) - (1)/(z + n) \right) The expansion can also be derived from the integral representation coming from Binet's second integral formula for the gamma function. Expanding t / (t ^{2} + z ^{2)} as a geometric series and substituting an integral representation of the Bernoulli numbers leads to the same asymptotic series as above. Furthermore, expanding only finitely many terms of the series gives a formula with an explicit error term:\psi(z) = ln z - (1)/(2 z) - \sum ^{N} _{n =1} (B _{2n})/(2 nz ^{2n}) + ( -1 ) ^{N+1} (2)/(z ^{2N}) \int ^{inf ty} _{0} (t ^{2N+1} dt)/((t ^{2} + z ^{2)(e} ^{2\pi} -1 )) .

Inequalities

When, the function

ln x - (1)/(2 x) - \psi(x) is completely monotonic and in particular positive. This is a consequence of Bernstein's theorem on monotone functions applied to the integral representation coming from Binet's first integral for the gamma function. Additionally, by the convexity inequality 1 + t \le e ^{t} , the integrand in this representation is bounded above by e ^{-tz} / 2 . (1)/(x) - ln x + \psi(x) is also completely monotonic. It follows that, for all,ln x - (1)/(x) \le \psi(x) \le ln x - (1)/(2 x) . This recovers a theorem of Horst Alzer.^[19] Alzer also proved that, for,(1- s)/(x + s) < \psi(x + 1 ) - \psi(x + s),

Related bounds were obtained by Elezovic, Giordano, and Pecaric, who proved that, for,

ln (x + \tfrac{ 1 }{ 2 }) - (1)/(x) < \psi(x) < ln (x + e ^{-\gamma} ) - (1)/(x) , where \gamma =- \psi( 1 ) is the Euler–Mascheroni constant.^[20] The constants (0 . 5 and e ^{-\gamma} ≈ 0 . 56 ) appearing in these bounds are the best possible.^[21]

The mean value theorem implies the following analog of Gautschi's inequality: If, where is the unique positive real root of the digamma function, and if, then

\exp\left(( 1 - s) (\psi'(x +1 ))/(\psi(x +1 )) \right) \le (\psi(x +1 ))/(\psi(x + s)) \le \exp\left(( 1 - s) (\psi'(x + s))/(\psi(x + s)) \right). Moreover, equality holds if and only if .^[22]

Inspired by the harmonic mean value inequality for the classical gamma function, Horzt Alzer and Graham Jameson proved, among other things, a harmonic mean-value inequality for the digamma function:

- \gamma \leq (2 \psi(x) \psi( (1)/(x) ))/(\psi(x) + \psi( (1)/() x)) for x> 0

Equality holds if and only if

x =1 .^[23]

Computation and approximation

The asymptotic expansion gives an easy way to compute when the real part of is large. To compute for small, the recurrence relation

\psi(x +1 ) = (1)/(x) + \psi(x)

can be used to shift the value of to a higher value. Beal^[24] suggests using the above recurrence to shift to a value greater than 6 and then applying the above expansion with terms above cut off, which yields "more than enough precision" (at least 12 digits except near the zeroes).

As goes to infinity, gets arbitrarily close to both and . Going down from to, decreases by, decreases by, which is more than, and decreases by, which is less than . From this we see that for any positive greater than,

\psi(x)\in \left( ln \left(x - \tfrac 12 \right), ln x\right)

or, for any positive,

\exp \psi(x)\in\left(x - \tfrac 12 ,x\right).

The exponential is approximately for large, but gets closer to at small, approaching 0 at .

For, we can calculate limits based on the fact that between 1 and 2,, so

\psi(x)\in\left( - (1)/(x) - \gamma, 1- (1)/(x) - \gamma\right), x\in( 0 , 1 ) or\exp \psi(x)\in\left(\exp\left( - (1)/(- \gamma\right),e\exp\left( - x) (1)/(x) - \gamma\right)\right).

From the above asymptotic series for, one can derive an asymptotic series for . The series matches the overall behaviour well, that is, it behaves asymptotically as it should for large arguments, and has a zero of unbounded multiplicity at the origin too.

(1)/(\exp \psi(x)) \sim (1)/(+ x) (1)/(+ 2 ⋅ x ^{2}) (5)/(+ 4 ⋅ 3 ! ⋅ x ^{3}) (3)/(+ 2 ⋅ 4 ! ⋅ x ^{4}) (47)/(48 ⋅ 5 ! ⋅ x ^{5}) - (5)/(16 ⋅ 6 ! ⋅ x ^{6}) + …

This is similar to a Taylor expansion of at, but it does not converge.^[25] (The function is not analytic at infinity.) A similar series exists for which starts with

\exp \psi(x) \sim x - (12 .)/()

If one calculates the asymptotic series for it turns out that there are no odd powers of (there is no ⁻¹ term). This leads to the following asymptotic expansion, which saves computing terms of even order.

\exp \psi\left(x + \tfrac{ 1 }{ 2 }\right) \sim x + (1)/(4 ! ⋅ x) - (37)/(8 ⋅ 6 ! ⋅ x ^{3}) + (10313)/(72 ⋅ 8 ! ⋅ x ^{5}) - (5509121)/(384 ⋅ 10 ! ⋅ x ^{7}) + …

Similar in spirit to the Lanczos approximation of the

\Gamma -function is Spouge's approximation.

Another alternative is to use the recurrence relation or the multiplication formula to shift the argument of

\psi(x) into the range 1 \le x\le 3 and to evaluate the Chebyshev series there.^{[26] [27]}

Special values

The digamma function has values in closed form for rational numbers, as a result of Gauss's digamma theorem. Some are listed below:

\begin{align} \psi( 1 ) & = - \gamma \ \psi\left(\tfrac{ 1 }{ 2 }\right) & = -2ln { 2 } - \gamma \\ \psi\left(\tfrac{ 1 }{ 3 }\right) & =- (\pi)/(2 \sqrt{ 3) } -\frac - \gamma \\ \psi\left(\tfrac\right) &= -\frac - 3\ln - \gamma \\\psi\left(\tfrac\right) &= -\frac -2\ln -\frac - \gamma \\\psi\left(\tfrac\right) &= -\frac - 4\ln - \frac - \gamma.\end

Moreover, by taking the logarithmic derivative of

|\Gamma (bi)| ^{2} or |\Gamma (\tfrac{ 1 }{ 2 } + bi)| ^{2} where b is real-valued, it can easily be deduced that\operatorname{Im} \psi(bi) = (1)/(+ 2 b) (\pi)/(2) \coth (\pi b), \operatorname{Im} \psi(\tfrac{ 1 }{ 2 } + bi) = (\pi)/(2) \tanh (\pi b).

Apart from Gauss's digamma theorem, no such closed formula is known for the real part in general. We have, for example, at the imaginary unit the numerical approximation

\operatorname{Re} \psi(i) = - \gamma - \sum ^{inf ty (n -1)/(n ^{3+n} ^{2+n+1})} _{n =0} ≈ 0 . 09465 .

Roots of the digamma function

The roots of the digamma function are the saddle points of the complex-valued gamma function. Thus they lie all on the real axis. The only one on the positive real axis is the unique minimum of the real-valued gamma function on at . All others occur single between the poles on the negative axis:

\vdots

Already in 1881, Charles Hermite observed^[28] that

x _{n} = - n + (1)/(ln n) + O\left( (1)/(( ln n) ^{2}) \right)

holds asymptotically. A better approximation of the location of the roots is given by

x _{n} ≈ - n + (1)/(\arctan\left( \pi) (\pi)/(ln n) \right) n \ge 2

and using a further term it becomes still better

x _{n} ≈ - n + (1)/(\arctan\left( \pi) (\pi)/(ln n + (1)/(8 n)) \right) n \ge 1

which both spring off the reflection formula via

0 = \psi( 1- x _{n)} = \psi(x _{n)} + (\pi)/(\tan \pi x _{n})

and substituting by its not convergent asymptotic expansion. The correct second term of this expansion is, where the given one works well to approximate roots with small .

Another improvement of Hermite's formula can be given:

x ^{2 } + O\left( (1 {n)/(^{2(log})} _{n =- n + (1 { log)/(n} - (1 { 2 n( log)/(n)))} n) ^{2}\right).}

Regarding the zeros, the following infinite sum identities were recently proved by István Mező and Michael Hoffman^{[29] [30]}

\begin{align} \sum ^{inf ty (1)/(x ^{2} _{n})} _{n =0} & = \gamma ^{2+ (\pi ^{2})/(2)} , \ \sum ^{inf ty (1)/(x ^{3} _{n})} _{n =0} & =-4 \zeta( 3 ) - \gamma ^{3- (\gamma\pi ^{2})/(2)} , \ \sum ^{inf ty (1)/(x ^{4} _{n})} _{n =0} & = \gamma ^{4+ (\pi ^{4})/(9)} + (23)/(\gamma) ^{2} \pi ^{2} + 4 \gamma\zeta( 3 ). \end{align}

In general, the function

Z(k) = \sum ^{inf ty (1)/(x ^{k} _{n})} _{n =0} can be determined and it is studied in detail by the cited authors.

The following results^[29]

\begin{align} \sum ^{inf ty (1)/(x ^{2+ x} _{n})} _{n =0} & =-2 , \\ \sum ^{inf ty (1)/(x ^{2- x} _{n})} _{n =0} & = \gamma + (\pi ^{2})/(6 \gamma) \end{align} also hold true.

Regularization

The digamma function appears in the regularization of divergent integrals

\int ^{inf ty} _{0} (dx)/(x + a) ,

this integral can be approximated by a divergent general Harmonic series, but the following value can be attached to the series

\sum ^{inf ty} _{n =0} (1)/(n + a) = - \psi (a).

See also

• Polygamma function
• Trigamma function
• Chebyshev expansions of the digamma function in Jet. Wimp . Polynomial approximations to integral transforms. Math. Comp. . 1961. 15. 74 . 174–178. 10.1090/S0025-5718-61-99221-3. free.

References

1. Alzer . Horst . Jameson . Graham . 2017 . A harmonic mean inequality for the digamma function and related results . Rendiconti del Seminario Matematico della Università di Padova . 137 . 203–209. 10.4171/RSMUP/137-10 .
2. Web site: NIST. Digital Library of Mathematical Functions (DLMF), 5.11..
3. Book: Pairman, Eleanor . Eleanor Pairman . 1919 . Tables of the Digamma and Trigamma Functions . Cambridge University Press . 5.
4. Whittaker and Watson, 12.3.
5. Whittaker and Watson, 12.31.
6. Whittaker and Watson, 12.32, example.
7. Web site: NIST. Digital Library of Mathematical Functions (DLMF), 5.9..
8. Book: Nörlund, N. E.. Niels Erik Nörlund. 1924. Vorlesungen über Differenzenrechnung. Springer. Berlin.
9. Blagouchine . Ia. V. . 1606.02044 . Three Notes on Ser's and Hasse's Representations for the Zeta-functions . INTEGERS: The Electronic Journal of Combinatorial Number Theory . 1–45 . 18A . 2018. 2016arXiv160602044B.
10. Web site: Leonhard Euler's Integral: An Historical Profile of the Gamma Function . live . https://web.archive.org/web/20140912213629/http://www.maa.org/sites/default/files/pdf/upload_library/22/Chauvenet/Davis.pdf . 2014-09-12 . 11 April 2022.
11. Blagouchine . Ia. V. . 1408.3902 . Journal of Mathematical Analysis and Applications . 404–434 . Two series expansions for the logarithm of the gamma function involving Stirling numbers and containing only rational coefficients for certain arguments related to . 442 . 2016. 2014arXiv1408.3902B . 10.1016/J.JMAA.2016.04.032 . 119661147 .
12. R. Campbell. Les intégrales eulériennes et leurs applications, Dunod, Paris, 1966.
13. H.M. Srivastava and J. Choi. Series Associated with the Zeta and Related Functions, Kluwer Academic Publishers, the Netherlands, 2001.
14. 10.1016/j.jnt.2014.08.009 . Iaroslav V. . Blagouchine . A theorem for the closed-form evaluation of the first generalized Stieltjes constant at rational arguments and some related summations . Journal of Number Theory . 148 . 537–592 . 2014 . 1401.3724.
15. Book: Classical topi s in complex function theorey . 46.
16. Junesang. Choi. Djurdje. Cvijovic. Values of the polygamma functions at rational arguments. Journal of Physics A. 2007. 40. 15019. 10.1088/1751-8113/40/50/007. 50. 2007JPhA...4015019C . 118527596 .
17. Book: Table of integrals, series and products. I. S. . Gradshteyn. I. M. . Ryzhik. 2015. 978-0-12-384933-5. 8.365.5. Elsevier Science . 2014010276.
18. Algorithm AS 103 psi(digamma function) computation. José M.. Bernardo. 1976. Applied Statistics. 25. 315–317. 10.2307/2347257. 2347257.
19. 2153660 . On Some Inequalities for the Gamma and Psi Functions . Alzer . Horst . Mathematics of Computation . 1997 . 66 . 217 . 373–389 . 10.1090/S0025-5718-97-00807-7 .
20. 10.7153/MIA-03-26. The best bounds in Gautschi's inequality . 2000 . Elezović . Neven . Giordano . Carla . Pečarić . Josip . Mathematical Inequalities & Applications . 2 . 239–252 . free .
21. 0902.2524 . 10.1515/anly-2014-0001 . Sharp inequalities for the psi function and harmonic numbers . 2014 . Guo . Bai-Ni . Qi . Feng . Analysis . 34 . 2 . 16909853 .
22. 10.1016/j.jmaa.2013.05.045 . free. Exponential, gamma and polygamma functions: Simple proofs of classical and new inequalities . 2013 . Laforgia . Andrea . Natalini . Pierpaolo . Journal of Mathematical Analysis and Applications . 407 . 2 . 495–504 .
23. Alzer . Horst . Jameson . Graham . 41966777 . 2017 . A harmonic mean inequality for the digamma function and related results . . 203–209 . 10.4171/RSMUP/137-10 . 70 . 201 . 0041-8994 . 50046633 . 01761704.
24. Matthew J. . Beal . Variational Algorithms for Approximate Bayesian Inference. 2003 . PhD thesis . The Gatsby Computational Neuroscience Unit, University College London . 265–266 .
25. If it converged to a function then would have the same Maclaurin series as . But this does not converge because the series given earlier for does not converge.
26. Jet. Wimp . Polynomial approximations to integral transforms. Math. Comp. . 1961. 15. 74 . 174–178. 10.1090/S0025-5718-61-99221-3. 2004225.
27. Chebyshev series expansion of inverse polynomials. R. J.. Mathar. Journal of Computational and Applied Mathematics . 2004. 196 . 2 . 596–607 . 10.1016/j.cam.2005.10.013 . math/0403344. App. E
28. Charles . Hermite . Sur l'intégrale Eulérienne de seconde espéce . Journal für die reine und angewandte Mathematik. 90. 1881. 332–338 . 10.1515/crll.1881.90.332. 118866486 .
29. István . Mező . Michael E. . Hoffman . Zeros of the digamma function and its Barnes G-function analogue . Integral Transforms and Special Functions . 28 . 2017. 11. 846–858. 10.1080/10652469.2017.1376193. 126115156 .
30. Mező . István . 1409.2971 . A note on the zeros and local extrema of Digamma related functions . 2014 . math.CV .

^{[31] [32]}

External links

• —psi(1/2)

psi(1/3), psi(2/3), psi(1/4), psi(3/4), to psi(1/5) to psi(4/5).