Jump to content

Lerch transcendent

From Wikipedia, the free encyclopedia
(Redirected from Lerch transcendant)

In mathematics, the Lerch transcendent, is a special function that generalizes the Hurwitz zeta function and the polylogarithm. It is named after Czech mathematician Mathias Lerch, who published a paper about a similar function in 1887.[1] The Lerch transcendent, is given by:

.

It only converges for any real number , where , or , and .[2]

Special cases

[edit]

The Lerch transcendent is related to and generalizes various special functions.

The Lerch zeta function is given by:

The Hurwitz zeta function is the special case[3]

The polylogarithm is another special case:[3]

The Riemann zeta function is a special case of both of the above:[3]

The Dirichlet eta function:[3]

The Dirichlet beta function:[3]

The Legendre chi function:[3]

The inverse tangent integral:[4]

The polygamma functions for positive integers n:[5][6]

The Clausen function:[7]

Integral representations

[edit]

The Lerch transcendent has an integral representation:

The proof is based on using the integral definition of the Gamma function to write

and then interchanging the sum and integral. The resulting integral representation converges for Re(s) > 0, and Re(a) > 0. This analytically continues to z outside the unit disk. The integral formula also holds if z = 1, Re(s) > 1, and Re(a) > 0; see Hurwitz zeta function.[8][9]

A contour integral representation is given by

where C is a Hankel contour counterclockwise around the positive real axis, not enclosing any of the points (for integer k) which are poles of the integrand. The integral assumes Re(a) > 0.[10]

Other integral representations

[edit]

A Hermite-like integral representation is given by

for

and

for

Similar representations include

and

holding for positive z (and more generally wherever the integrals converge). Furthermore,

The last formula is also known as Lipschitz formula.

Identities

[edit]

For λ rational, the summand is a root of unity, and thus may be expressed as a finite sum over the Hurwitz zeta function. Suppose with and . Then and .

Various identities include:

and

and

Series representations

[edit]

A series representation for the Lerch transcendent is given by

(Note that is a binomial coefficient.)

The series is valid for all s, and for complex z with Re(z)<1/2. Note a general resemblance to a similar series representation for the Hurwitz zeta function.[11]

A Taylor series in the first parameter was given by Arthur Erdélyi. It may be written as the following series, which is valid for[12]

If n is a positive integer, then

where is the digamma function.

A Taylor series in the third variable is given by

where is the Pochhammer symbol.

Series at a = −n is given by

A special case for n = 0 has the following series

where is the polylogarithm.

An asymptotic series for

for and

for

An asymptotic series in the incomplete gamma function

for

The representation as a generalized hypergeometric function is[13]

Asymptotic expansion

[edit]

The polylogarithm function is defined as

Let

For and , an asymptotic expansion of for large and fixed and is given by

for , where is the Pochhammer symbol.[14]

Let

Let be its Taylor coefficients at . Then for fixed and ,

as .[15]

Software

[edit]

The Lerch transcendent is implemented as LerchPhi in Maple and Mathematica, and as lerchphi in mpmath and SymPy.

References

[edit]
  1. ^ Lerch, Mathias (1887), "Note sur la fonction ", Acta Mathematica (in French), 11 (1–4): 19–24, doi:10.1007/BF02612318, JFM 19.0438.01, MR 1554747, S2CID 121885446
  2. ^ https://arxiv.org/pdf/math/0506319.pdf
  3. ^ a b c d e f Guillera & Sondow 2008, p. 248–249
  4. ^ Weisstein, Eric W. "Inverse Tangent Integral". mathworld.wolfram.com. Retrieved 2024-10-13.
  5. ^ The polygamma function has the series representation which holds for integer values of m > 0 and any complex z not equal to a negative integer.
  6. ^ Weisstein, Eric W. "Polygamma Function". mathworld.wolfram.com. Retrieved 2024-10-14.
  7. ^ Weisstein, Eric W. "Clausen Function". mathworld.wolfram.com. Retrieved 2024-10-14.
  8. ^ Bateman & Erdélyi 1953, p. 27
  9. ^ Guillera & Sondow 2008, Lemma 2.1 and 2.2
  10. ^ Bateman & Erdélyi 1953, p. 28
  11. ^ "The Analytic Continuation of the Lerch Transcendent and the Riemann Zeta Function". 27 April 2020. Retrieved 28 April 2020.
  12. ^ B. R. Johnson (1974). "Generalized Lerch zeta function". Pacific J. Math. 53 (1): 189–193. doi:10.2140/pjm.1974.53.189.
  13. ^ Gottschalk, J. E.; Maslen, E. N. (1988). "Reduction formulae for generalized hypergeometric functions of one variable". J. Phys. A. 21 (9): 1983–1998. Bibcode:1988JPhA...21.1983G. doi:10.1088/0305-4470/21/9/015.
  14. ^ Ferreira, Chelo; López, José L. (October 2004). "Asymptotic expansions of the Hurwitz–Lerch zeta function". Journal of Mathematical Analysis and Applications. 298 (1): 210–224. doi:10.1016/j.jmaa.2004.05.040.
  15. ^ Cai, Xing Shi; López, José L. (10 June 2019). "A note on the asymptotic expansion of the Lerch's transcendent". Integral Transforms and Special Functions. 30 (10): 844–855. arXiv:1806.01122. doi:10.1080/10652469.2019.1627530. S2CID 119619877.
[edit]