Polylogarithm

In the case where the order s is an integer, it will be represented by s=n (or s=-n when negative). It is often convenient to define \mu=\ln(z) where \ln(z) is the principal branch of the complex logarithm \operatorname{Ln}(z) so that -\pi Also, all exponentiation will be assumed to be single-valued: z^s = \exp(s\ln(z)). Depending on the order s, the polylogarithm may be multi-valued. The principal branch of \operatorname{Li}_s(z) is taken to be given for | z | by the above series definition and taken to be continuous except on the positive real axis, where a cut is made from z = 1 to \infty such that the axis is placed on the lower half plane of In terms of this amounts to -\pi . The discontinuity of the polylogarithm in dependence on \mu can sometimes be confusing. For real argument z, the polylogarithm of real order s is real if and its imaginary part for z \ge 1 is : \operatorname{Im}\left( \operatorname{Li}_s(z) \right) = -{{\pi \mu^{s-1}}\over{\Gamma(s)}}. Going across the cut, if ε is an infinitesimally small positive real number, then: \operatorname{Im}\left( \operatorname{Li}_s(z+i\epsilon) \right) = {{\pi \mu^{s-1}}\over{\Gamma(s)}}. Both can be concluded from the series expansion (see below) of about The derivatives of the polylogarithm follow from the defining power series: z \frac{\partial \operatorname{Li}_s(z) }{ \partial z} = \operatorname{Li}_{s-1}(z) \frac{\partial \operatorname{Li}_s(e^\mu) }{ \partial \mu} = \operatorname{Li}_{s-1}(e^\mu). The square relationship is seen from the series definition, and is related to the duplication formula (see also , ): \operatorname{Li}_s(-z) + \operatorname{Li}_s(z) = 2^{1-s} \operatorname{Li}_s(z^2). Kummer's function obeys a very similar duplication formula. This is a special case of the multiplication formula, for any positive integer p: \sum_{m=0}^{p-1} \operatorname{Li}_s(z e^{2\pi i m/p}) = p^{1-s} \operatorname{Li}_s(z^p), which can be proved using the series definition of the polylogarithm and the orthogonality of the exponential terms (see e.g. discrete Fourier transform). Another important property, the inversion formula, involves the Hurwitz zeta function or the Bernoulli polynomials and is found under relationship to other functions below. ==Particular values==

For particular cases, the polylogarithm may be expressed in terms of other functions (see below). Particular values for the polylogarithm may thus also be found as particular values of these other functions. For integer values of the polylogarithm order, the following explicit expressions are obtained by repeated application of z·∂/∂z to Li1(z): \operatorname{Li}_{1}(z) = -\ln(1-z) \operatorname{Li}_{0}(z) = {z \over 1-z} \operatorname{Li}_{-1}(z) = {z \over (1-z)^2} \operatorname{Li}_{-2}(z) = {z (1+z) \over (1-z)^3} \operatorname{Li}_{-3}(z) = {z (1+4z+z^2) \over (1-z)^4} \operatorname{Li}_{-4}(z) = {z (1+z) (1+10z+z^2) \over (1-z)^5} . Accordingly the polylogarithm reduces to a ratio of polynomials in z, and is therefore a rational function of z, for all nonpositive integer orders. The general case may be expressed as a finite sum: \operatorname{Li}_{-n}(z) = \left(z {\partial \over \partial z} \right)^n {z \over {1-z}} = \sum_{k=0}^n k! S(n+1, k+1) \left({z \over {1-z}} \right)^{k+1} \qquad (n=0,1,2,\ldots), where S(n,k) are the Stirling numbers of the second kind. Equivalent formulae applicable to negative integer orders are : \operatorname{Li}_{-n}(z) = (-1)^{n+1} \sum_{k=0}^n k! S(n+1, k+1) \left({{-1} \over {1-z}} \right)^{k+1} \qquad (n=1,2,3,\ldots), and: \operatorname{Li}_{-n}(z) = {1 \over (1-z)^{n+1}} \sum_{k=0}^{n-1} \left\langle {n \atop k} \right\rangle z^{n-k} \qquad (n=1,2,3,\ldots), where \scriptstyle \left\langle {n \atop k} \right\rangle are the Eulerian numbers. All roots of Li−n(z) are distinct and real; they include z = 0, while the remainder is negative and centered about z = −1 on a logarithmic scale. As n becomes large, the numerical evaluation of these rational expressions increasingly suffers from cancellation ; full accuracy can be obtained, however, by computing Li−n(z) via the general relation with the Hurwitz zeta function (see below). Some particular expressions for half-integer values of the argument z are: \operatorname{Li}_1(\tfrac12) = \ln 2 \operatorname{Li}_2(\tfrac12) = \tfrac1{12} \pi^2 - \tfrac12 (\ln 2)^2 \operatorname{Li}_3(\tfrac12) = \tfrac16 (\ln 2)^3 - \tfrac1{12} \pi^2 \ln 2 + \tfrac78 \zeta(3) , where ζ is the Riemann zeta function. No formulae of this type are known for higher integer orders , but one has for instance : \operatorname{Li}_4(\tfrac12) = \tfrac 1{360} \pi^4 - \tfrac 1{24}(\ln 2)^4 + \tfrac1{24} \pi^2 (\ln 2)^2 - \tfrac 1 2 \zeta(\bar3, \bar1), which involves the alternating double sum \zeta(\bar3, \bar1)=\sum_{m>n>0} (-1)^{m+n} m^{-3} n^{-1}. In general one has for integer orders n ≥ 2 : \operatorname{Li}_n(\tfrac12) = -\zeta(\bar1, \bar1, \left\{ 1 \right\}^{n-2}), where ζ(s1, …, sk) is the multiple zeta function; for example: \operatorname{Li}_5(\tfrac12) = -\zeta(\bar1, \bar1, 1,1,1). As a straightforward consequence of the series definition, values of the polylogarithm at the pth complex roots of unity are given by the Fourier sum: \operatorname{Li}_s(e^{2 \pi i m/p}) = p^{-s} \sum_{k=1}^p e^{2 \pi i m k/p} \zeta(s, \tfrac {k}{p}) \qquad (m = 1, 2, \dots, p-1), where ζ is the Hurwitz zeta function. For Re(s) > 1, where Lis(1) is finite, the relation also holds with m = 0 or m = p. While this formula is not as simple as that implied by the more general relation with the Hurwitz zeta function listed under relationship to other functions below, it has the advantage of applying to non-negative integer values of s as well. As usual, the relation may be inverted to express ζ(s, m⁄p) for any m = 1, …, p as a Fourier sum of Lis(exp(2πi k⁄p)) over k = 1, …, p. ==Relationship to other functions==

• For , the polylogarithm reduces to the Riemann zeta function \operatorname{Li}_s(1) = \zeta(s) \qquad (\operatorname{Re}(s)>1). • The polylogarithm is related to Dirichlet eta function and the Dirichlet beta function: \operatorname{Li}_s(-1) = -\eta(s), where is the Dirichlet eta function. For pure imaginary arguments, we have: \operatorname{Li}_s(\pm i) = -2^{-s} \eta(s) \pm i\beta(s), where is the Dirichlet beta function. • The polylogarithm is related to the complete Fermi–Dirac integral as: F_s(\mu) = -\operatorname{Li}_{s+1}(-e^\mu). • The polylogarithm is related to the complete Bose–Einstein integral as: G_s(\mu) = \operatorname{Li}_{s+1}(e^\mu). • The polylogarithm is a special case of the incomplete polylogarithm function \operatorname{Li}_s(z) = \operatorname{Li}_s(0,z) . • The polylogarithm is a special case of the Lerch transcendent \operatorname{Li}_s(z) = z\Phi(z,s,1). • The polylogarithm is related to the Hurwitz zeta function by: \operatorname{Li}_s(z) = {\Gamma(1 - s) \over (2\pi)^{1-s}} \left[i^{1-s} \zeta \left(1 - s, \frac{1}{2} + {\ln(-z) \over {2\pi i}} \right) + i^{s-1} ~\zeta \left(1 - s, \frac{1}{2} - {\ln(-z) \over {2\pi i}} \right) \right], which relation, however, is invalidated at positive integer s by poles of the gamma function , and at by a pole of both zeta functions; a derivation of this formula is given under series representations below. With a little help from a functional equation for the Hurwitz zeta function, the polylogarithm is consequently also related to that function via : i^{-s} \operatorname{Li}_s(e^{2\pi i x}) + i^s \operatorname{Li}_s(e^{-2\pi i x}) = \frac{(2\pi)^s}{\Gamma(s)} \zeta(1 - s, x), which relation holds for if , and for if . Equivalently, for all complex s and for complex , the inversion formula reads \operatorname{Li}_s(z) + (-1)^s \operatorname{Li}_s(1/z) = \frac{(2\pi i)^s}{\Gamma(s)} ~\zeta \left(1 - s, ~\frac{1}{2} + {\ln(-z) \over {2\pi i}} \right), and for all complex s and for complex \operatorname{Li}_s(z) + (-1)^s \operatorname{Li}_s(1/z) = {(2\pi i)^s \over \Gamma(s)} ~\zeta \left(1 - s, ~\frac{1}{2} - {\ln(-1/z) \over {2\pi i}} \right) . For , one has , and both expressions agree. These relations furnish the analytic continuation of the polylogarithm beyond the circle of convergence |z| = 1 of the defining power series. (The corresponding equation of and is not correct if one assumes that the principal branches of the polylogarithm and the logarithm are used simultaneously.) See the next item for a simplified formula when s is an integer. • For positive integer polylogarithm orders s, the Hurwitz zeta function ζ(1−s, x) reduces to Bernoulli polynomials, , and Jonquière's inversion formula for n = 1, 2, 3, … becomes: \operatorname{Li}_{n}(e^{2\pi i x}) + (-1)^n \operatorname{Li}_{n}(e^{-2\pi i x}) = -{(2\pi i)^n \over n!} B_n(x), where again 0 ≤ Re(x) n(e2πix)) if n is even, and to 2i Im(Lin(e2πix)) if n is odd. For negative integer orders, on the other hand, the divergence of Γ(s) implies for all z that : \operatorname{Li}_{-n}(z) + (-1)^n \operatorname{Li}_{-n}(1/z) = 0 \qquad (n = 1,2,3,\ldots). More generally, one has for : \begin{align} \operatorname{Li}_{n}(z) + (-1)^n \operatorname{Li}_{n}(1/z) &= -\frac{(2\pi i)^n}{n!} B_n \left( \frac{1}{2} + {\ln(-z) \over {2\pi i}} \right) & (z \not\in ]0;1]), \\ \operatorname{Li}_{n}(z) + (-1)^n \operatorname{Li}_{n}(1/z) &= -\frac{(2\pi i)^n}{n!} B_n \left( \frac{1}{2} - {\ln(-1/z) \over {2\pi i}} \right) & (z \not\in ~]1;\infty[), \end{align} where both expressions agree for . (The corresponding equation of and is again not correct.) • The polylogarithm with pure imaginary μ may be expressed in terms of the Clausen functions Cis(θ) and Sis(θ), and vice versa (; ):\operatorname{Li}_s(e^{\pm i \theta}) = Ci_s(\theta) \pm i Si_s(\theta). • The inverse tangent integral can be expressed in terms of polylogarithms: \operatorname{Ti}_s(z) = {1 \over 2i} \left[ \operatorname{Li}_s(i z) - \operatorname{Li}_s(-i z) \right]. The relation in particular implies: \operatorname{Ti}_0(z) = {z \over 1+z^2}, \quad \operatorname{Ti}_1(z) = \arctan z, \quad \operatorname{Ti}_2(z) = \int_0^z {\arctan t \over t} dt, \quad \ldots~ \quad \operatorname{Ti}_{n+1}(z) = \int_0^z \frac{\operatorname{Ti}_n(t)}{t} dt, which explains the function name. • The Legendre chi function χs(z) (; ) can be expressed as the odd part of polylogarithms: \chi_s(z) = \tfrac {1}{2} \left[ \operatorname{Li}_s(z) - \operatorname{Li}_s(-z) \right]. • The polylogarithm of integer order can be expressed as a generalized hypergeometric function: \begin{align} \operatorname{Li}_n(z) &= z\,\; _{n+1\!}F_{n} (1,1,\dots,1; 2,2,\dots,2; z) & (n = 0,1,2,\ldots), \\ \operatorname{Li}_{-n}(z) &= z\,\; _{n}F_{n-1} (2,2,\dots,2; 1,1,\dots,1; z) & (n = 1,2,3,\ldots) ~. \end{align} • In terms of the incomplete zeta functions or "Debye functions" : Z_n(z) = {1 \over (n - 1)!} \int_z^\infty {t^{n-1} \over e^t-1} dt \qquad (n = 1,2,3,\ldots) , the polylogarithm Lin(z) for positive integer n may be expressed as the finite sum : \operatorname{Li}_{n}(e^\mu) = \sum_{k=0}^{n-1} Z_{n-k}(-\mu) {\mu^k \over k!} \qquad (n = 1,2,3,\ldots) . A remarkably similar expression relates the "Debye functions" Zn(z) to the polylogarithm: Z_n(z) = \sum_{k=0}^{n-1} \operatorname{Li}_{n-k}(e^{-z}) {z^k \over k!} \qquad (n = 1,2,3,\ldots) . • Using Lambert series, if J_s(n) is Jordan's totient function, then \sum_{n=1}^\infty\frac{z^nJ_{-s}(n)}{1-z^n}=\operatorname{Li}_{s}(z). ==Integral representations==

Any of the following integral representations furnishes the analytic continuation of the polylogarithm beyond the circle of convergence |z| = 1 of the defining power series. The polylogarithm can be expressed in terms of the integral of the Bose–Einstein distribution: \operatorname{Li}_{s}(z) = {1 \over \Gamma(s)} \int_0^\infty {t^{s-1} \over e^t/z-1} dt . This converges for Re(s) > 0 and all z except for z real and ≥ 1. The polylogarithm in this context is sometimes referred to as a Bose integral but more commonly as a Bose–Einstein integral (, ). Similarly, the polylogarithm can be expressed in terms of the integral of the Fermi–Dirac distribution: -\operatorname{Li}_{s}(-z) = \frac{1}{\Gamma(s)} \int_0^\infty {t^{s-1} \over e^t/z+1} dt . This converges for and all except for z real and ≤ −1. The polylogarithm in this context is sometimes referred to as a Fermi integral or a Fermi–Dirac integral (, ). These representations are readily verified by Taylor expansion of the integrand with respect to z and termwise integration. The papers of Dingle contain detailed investigations of both types of integrals. The polylogarithm is also related to the integral of the Maxwell–Boltzmann distribution: \lim_{z \to 0} \frac{\operatorname{Li}_{s}(z)}{z} = {1 \over \Gamma(s)} \int_0^\infty {t^{s-1} e^{-t}} dt = 1 . This also gives the asymptotic behavior of polylogarithm at the vicinity of origin. A complementary integral representation applies to Re(s) \operatorname{Li}_{s}(z) =\int_0^\infty {t^{-s} \sin[s \pi /2 - t \ln(-z)] \over \sinh(\pi t)} dt . This integral follows from the general relation of the polylogarithm with the Hurwitz zeta function (see above) and a familiar integral representation of the latter. The polylogarithm may be quite generally represented by a Hankel contour integral , which extends the Bose–Einstein representation to negative orders s. As long as the t = μ pole of the integrand does not lie on the non-negative real axis, and s ≠ 1, 2, 3, …, we have: \operatorname{Li}_s(e^\mu) = -{{\Gamma(1 - s)} \over {2\pi i}} \oint_H {{(-t)^{s-1}} \over {e^{t-\mu}-1}} dt where H represents the Hankel contour. The integrand has a cut along the real axis from zero to infinity, with the axis belonging to the lower half plane of t. The integration starts at +∞ on the upper half plane (Im(t) > 0), circles the origin without enclosing any of the poles t = μ + 2kπi, and terminates at +∞ on the lower half plane (Im(t) \operatorname{Li}_s(e^\mu) = -{{\Gamma(1 - s)} \over {2\pi i}} \oint_H {{(-t)^{s-1}} \over {e^{t-\mu}}-1} dt - 2\pi i R where R is the residue of the pole: R = {i \over 2\pi} \Gamma(1 - s) (-\mu)^{s-1} . When the Abel–Plana formula is applied to the defining series of the polylogarithm, a Hermite-type integral representation results that is valid for all complex z and for all complex s: \operatorname{Li}_s(z) = \tfrac{1}{2}z + {\Gamma(1 - s, -\ln z) \over (-\ln z)^{1-s}} + 2z \int_0^\infty \frac{\sin(s\arctan t - t\ln z)} {(1+t^2)^{s/2} (e^{2\pi t}-1)} dt where Γ is the upper incomplete gamma-function. All (but not part) of the ln(z) in this expression can be replaced by −ln(1⁄z). A related representation which also holds for all complex s, \operatorname{Li}_s(z) = \tfrac{1}{2}z + z \int_0^\infty \frac{\sin[s \arctan t - t \ln(-z)]} {(1+t^2)^{s/2} \sinh(\pi t)} dt , avoids the use of the incomplete gamma function, but this integral fails for z on the positive real axis if Re(s) ≤ 0. This expression is found by writing 2s Lis(−z) / (−z) = Φ(z2, s, 1⁄2) − z Φ(z2, s, 1), where Φ is the Lerch transcendent, and applying the Abel–Plana formula to the first Φ series and a complementary formula that involves 1 / (e2πt + 1) in place of 1 / (e2πt − 1) to the second Φ series. We can express an integral for the polylogarithm by integrating the ordinary geometric series termwise for s \in \mathbb{N} as \operatorname{Li}_{s+1}(z) = \frac{z \cdot (-1)^s}{s!} \int_0^1 \frac{\log^s(t)}{1-tz} dt. ==Series representations==

As noted under integral representations above, the Bose–Einstein integral representation of the polylogarithm may be extended to negative orders s by means of Hankel contour integration: \operatorname{Li}_s(e^\mu) = -{\Gamma(1 - s) \over 2\pi i} \oint_H {(-t)^{s-1} \over e^{t-\mu}-1} dt, where H is the Hankel contour, s ≠ 1, 2, 3, …, and the t = μ pole of the integrand does not lie on the non-negative real axis. The contour can be modified so that it encloses the poles of the integrand at t − μ = 2kπi, and the integral can be evaluated as the sum of the residues (; ): \operatorname{Li}_s(e^\mu) = \Gamma(1 - s) \sum_{k=-\infty}^\infty (2k \pi i - \mu)^{s-1}. This will hold for Re(s) μ = 1. For 0 \operatorname{Li}_s(e^\mu) = \Gamma(1-s) \left[ (-2\pi i)^{s-1} \sum_{k=0}^\infty \left(k + {\mu \over {2\pi i}} \right)^{s-1} + (2\pi i)^{s-1} \sum_{k=0}^\infty \left(k+1- {\mu \over {2\pi i}} \right)^{s-1} \right], where the two series can now be identified with the Hurwitz zeta function: \operatorname{Li}_s(e^\mu) = {\Gamma(1 - s) \over (2\pi)^{1-s}} \left[i^{1-s} ~\zeta \left(1 - s, ~{\mu \over {2\pi i}} \right) + i^{s-1} ~\zeta \left(1 - s, ~1 - {\mu \over {2\pi i}} \right) \right] \qquad (0 This relation, which has already been given under relationship to other functions above, holds for all complex s ≠ 0, 1, 2, 3, … and was first derived in . In order to represent the polylogarithm as a power series about μ = 0, we write the series derived from the Hankel contour integral as: \operatorname{Li}_s(e^\mu) = \Gamma(1 - s) (-\mu)^{s-1} + \Gamma(1 - s) \sum_{h=1}^\infty \left[(-2 h \pi i - \mu)^{s-1} + (2 h \pi i - \mu)^{s-1} \right] . When the binomial powers in the sum are expanded about μ = 0 and the order of summation is reversed, the sum over h can be expressed in closed form: \operatorname{Li}_s(e^\mu) = \Gamma(1 - s) (-\mu)^{s-1} + \sum_{k=0}^\infty {\zeta(s-k) \over k!} \mu^k . This result holds for |μ| \lim_{s \to k+1} \left[ {\zeta(s-k) \over k!} \mu^k + \Gamma(1 - s) (-\mu)^{s-1} \right] = {\mu^k \over k!} \left[\sum_{h=1}^k {1 \over h} - \ln(-\mu) \right], where the sum over h vanishes if k = 0. So, for positive integer orders and for |μ| \operatorname{Li}_{n}(e^\mu) = {\mu^{n-1} \over (n-1)!} \left[ H_{n-1} - \ln(-\mu) \right] + \sum_{k=0,k\ne n-1}^\infty {\zeta(n-k) \over k!} \mu^k , where Hn denotes the nth harmonic number: H_n = \sum_{h=1}^n {1 \over h}, \qquad H_0 = 0. The problem terms now contain −ln(−μ) which, when multiplied by μn−1, will tend to zero as μ → 0, except for n = 1. This reflects the fact that Lis(z) exhibits a true logarithmic singularity at s = 1 and z = 1 since: \lim_{\mu \to 0} \Gamma(1-s)(-\mu)^{s-1} = 0 \qquad (\operatorname{Re}(s) > 1). For s close, but not equal, to a positive integer, the divergent terms in the expansion about μ = 0 can be expected to cause computational difficulties . Erdélyi's corresponding expansion in powers of ln(z) is not correct if one assumes that the principal branches of the polylogarithm and the logarithm are used simultaneously, since ln(1⁄z) is not uniformly equal to −ln(z). For nonpositive integer values of s, the zeta function ζ(s − k) in the expansion about μ = 0 reduces to Bernoulli numbers: ζ(−n − k) = −B1+n+k / (1 + n + k). Numerical evaluation of Li−n(z) by this series does not suffer from the cancellation effects that the finite rational expressions given under particular values above exhibit for large n. By use of the identity 1 = {1 \over \Gamma(s)} \int_0^\infty e^{-t} t^{s-1} dt \qquad (\operatorname{Re}(s) > 0) , the Bose–Einstein integral representation of the polylogarithm (see above) may be cast in the form: \operatorname{Li}_s(z) = \tfrac{1}{2}z + {z \over 2 \Gamma(s)} \int_0^\infty e^{-t} t^{s-1} \coth{t - \ln z \over 2} dt \qquad (\operatorname{Re}(s) > 0). Replacing the hyperbolic cotangent with a bilateral series, \coth{t-\ln z \over 2} = 2 \sum_{k = -\infty}^\infty {1 \over 2 k \pi i + t - \ln z} , then reversing the order of integral and sum, and finally identifying the summands with an integral representation of the upper incomplete gamma function, one obtains: \operatorname{Li}_s(z) = \tfrac{1}{2}z + \sum_{k = -\infty}^\infty {\Gamma(1-s, 2k \pi i - \ln z) \over (2k \pi i - \ln z)^{1-s}}. For both the bilateral series of this result and that for the hyperbolic cotangent, symmetric partial sums from −kmax to kmax converge unconditionally as kmax → ∞. Provided the summation is performed symmetrically, this series for Lis(z) thus holds for all complex s as well as all complex z. Introducing an explicit expression for the Stirling numbers of the second kind into the finite sum for the polylogarithm of nonpositive integer order (see above) one may write: \operatorname{Li}_{-n}(z) = \sum_{k=0}^n \left( {-z \over 1-z} \right)^{k+1} \sum_{j=0}^k (-1)^{j+1} {k \choose j} (j+1)^n \qquad (n=0,1,2,\ldots). The infinite series obtained by simply extending the outer summation to ∞ : \operatorname{Li}_s(z) = \sum_{k=0}^\infty \left( {-z \over 1-z} \right)^{k+1} ~\sum_{j=0}^k (-1)^{j+1} {k \choose j} (j+1)^{-s} , turns out to converge to the polylogarithm for all complex s and for complex z with Re(z) 1⁄2, as can be verified for |−z⁄(1−z)| 1⁄2 by reversing the order of summation and using: \sum_{k=j}^\infty {k \choose j} \left( {-z \over 1-z} \right)^{k+1} = \left[ \left( {-z \over 1-z} \right)^{-1} -1 \right]^{-j-1} = (-z)^{j+1}. The inner coefficients of these series can be expressed by Stirling-number-related formulas involving the generalized harmonic numbers. For example, see generating function transformations to find proofs (references to proofs) of the following identities: \begin{align} \operatorname{Li}_2(z) &= \sum_{j \geq 1} \frac{(-1)^{j-1}}{2} \left(H_j^2+H_j^{(2)}\right) \frac{z^j}{(1-z)^{j+1}} \\ \operatorname{Li}_3(z) &= \sum_{j \geq 1} \frac{(-1)^{j-1}}{6} \left(H_j^3+3H_j H_j^{(2)} + 2 H_j^{(3)}\right) \frac{z^j}{(1-z)^{j+1}}. \end{align} For the other arguments with Re(z) 1⁄2 the result follows by analytic continuation. This procedure is equivalent to applying Euler's transformation to the series in z that defines the polylogarithm. ==Asymptotic expansions==

For |z| ≫ 1, the polylogarithm can be expanded into asymptotic series in terms of ln(−z): \operatorname{Li}_s(z) = {\pm i\pi \over \Gamma(s)} [\ln(-z) \pm i\pi]^{s-1} - \sum_{k = 0}^\infty (-1)^k (2\pi)^{2k} {B_{2k} \over (2k)!} {[\ln(-z) \pm i\pi]^{s-2 k} \over \Gamma(s+1-2k)}, \operatorname{Li}_s(z) = \sum_{k=0}^\infty (-1)^k (1-2^{1-2k}) (2\pi)^{2k} {B_{2k} \over (2k)!} {[\ln(-z)]^{s-2 k} \over \Gamma(s+1-2k)}, where B2k are the Bernoulli numbers. Both versions hold for all s and for any arg(z). As usual, the summation should be terminated when the terms start growing in magnitude. For negative integer s, the expansions vanish entirely; for non-negative integer s, they break off after a finite number of terms. describes a method for obtaining these series from the Bose–Einstein integral representation (his equation 11.2 for Lis(eμ) requires −2π < Im(μ) ≤ 0). ==Limiting behavior==

The following limits result from the various representations of the polylogarithm : \operatorname{Li}_s(z) \sim_{|z|\to 0} z \operatorname{Li}_s(e^\mu) \sim_{|\mu|\to 0} \Gamma(1 - s) (-\mu)^{s-1} \qquad (\operatorname{Re}(s) \operatorname{Li}_s(\pm e^\mu) \sim_{\operatorname{Re}(\mu) \to \infty} -{\mu^s \over \Gamma(s+1)}\qquad (s \ne -1, -2, -3, \ldots) \operatorname{Li}_{-n}(e^\mu) \sim_{\operatorname{Re}(\mu) \to \infty} -(-1)^n e^{-\mu} \qquad (n = 1, 2, 3, \ldots) \operatorname{Li}_s(z) \sim_{\operatorname{Re}(s) \to \infty} z \operatorname{Li}_s(e^\mu) \sim_{\operatorname{Re}(s) \to -\infty} \Gamma(1-s) (-\mu)^{s-1} \qquad (-\pi \operatorname{Li}_s(-e^\mu) \sim_{\operatorname{Re}(s) \to -\infty} \Gamma(1 - s) \left[ (-\mu - i\pi)^{s-1} + (-\mu + i\pi)^{s-1} \right] \qquad (\operatorname{Im}(\mu) = 0) Wood's first limit for has been corrected in accordance with his equation 11.3. The limit for follows from the general relation of the polylogarithm with the Hurwitz zeta function (see above). ==Dilogarithm==

The dilogarithm is the polylogarithm of order s = 2. An alternate integral expression of the dilogarithm for arbitrary complex argument z is : \operatorname{Li}_2 (z) = -\int_0^z{\ln (1-t) \over t} dt = -\int_0^1{\ln (1-zt) \over t} dt. A source of confusion is that some computer algebra systems define the dilogarithm as dilog(z) = Li2(1−z). In the case of real z ≥ 1 the first integral expression for the dilogarithm can be written as \operatorname{Li}_2(z) = \frac{\pi^2}{6} - \int_1^z{\ln(t-1) \over t} dt - i\pi \ln z from which expanding ln(t−1) and integrating term by term we obtain \operatorname{Li}_2(z) = \frac{\pi^2}{3} - \frac{1}{2}(\ln z)^2 - \sum_{k=1}^\infty {1 \over k^2 z^k} - i\pi \ln z \qquad (z \ge 1). The Abel identity for the dilogarithm is given by \operatorname{Li}_2 \left( \frac{x}{1-y} \right) + \operatorname{Li}_2 \left( \frac{y}{1-x} \right) - \operatorname{Li}_2 \left(\frac{xy}{(1-x)(1-y)} \right) = \operatorname{Li}_2(x) + \operatorname{Li}_2(y) + \ln(1-x) \ln(1-y) (\operatorname{Re}(x) \le \tfrac{1}{2} \wedge \operatorname{Re}(y) \le \tfrac{1}{2} \vee \operatorname{Im}(x) > 0 \wedge \operatorname{Im}(y) > 0 \vee \operatorname{Im}(x) This is immediately seen to hold for either x = 0 or y = 0, and for general arguments is then easily verified by differentiation ∂/∂x ∂/∂y. For y = 1−x the identity reduces to Euler's reflection formula \operatorname{Li}_2 \left(x \right) + \operatorname{Li}_2 \left(1-x\right) = \frac{1}{6} \pi^2 - \ln(x)\ln(1-x) , where Li2(1) = ζ(2) = 1⁄6 π2 has been used and x may take any complex value. In terms of the new variables u = x/(1−y), v = y/(1−x) the Abel identity reads \operatorname{Li}_2(u) + \operatorname{Li}_2(v) - \operatorname{Li}_2(uv) = \operatorname{Li}_2 \left( \frac{u-uv}{1-uv} \right) + \operatorname{Li}_2 \left( \frac{v-uv}{1-uv} \right) + \ln \left( \frac{1-u}{1-uv} \right) \ln\left( \frac{1-v}{1-uv} \right), which corresponds to the pentagon identity given in . From the Abel identity for x = y = 1−z and the square relationship we have Landen's identity \operatorname{Li}_2(1-z) + \operatorname{Li}_2 \left( 1-\frac{1}{z} \right) = - \frac{1}{2} (\ln z)^2 \qquad (z \not \in ~]-\infty; 0]) , and applying the reflection formula to each dilogarithm we find the inversion formula \operatorname{Li}_2(z) + \operatorname{Li}_2(1/z) = -\tfrac{1}{6} \pi^2 - \tfrac{1}{2} [\ln(-z)]^2 \qquad (z \not \in [0; 1[) , and for real z ≥ 1 also \operatorname{Li}_2(z) + \operatorname{Li}_2(1/z) = \tfrac{1}{3} \pi^2 - \tfrac{1}{2} (\ln z)^2 - i\pi \ln z . Known closed-form evaluations of the dilogarithm at special arguments are collected in the table below. Arguments in the first column are related by reflection x ↔ 1−x or inversion x ↔ 1⁄x to either x = 0 or x = −1; arguments in the third column are all interrelated by these operations. discusses the 17th to 19th century references. The reflection formula was already published by Landen in 1760, prior to its appearance in a 1768 book by Euler ; an equivalent to Abel's identity was already published by Spence in 1809, before Abel wrote his manuscript in 1826 . The designation bilogarithmische Function was introduced by Carl Johan Danielsson Hill (professor in Lund, Sweden) in 1828 . has remarked that the dilogarithm is the only mathematical function possessing a sense of humor. : :Here \phi = \tfrac{1}{2} (\sqrt{5}+1) denotes the golden ratio. ==Polylogarithm ladders==

Leonard Lewin discovered a remarkable and broad generalization of a number of classical relationships on the polylogarithm for special values. These are now called polylogarithm ladders. Define \rho = \tfrac{1}{2} (\sqrt{5}-1) as the reciprocal of the golden ratio. Then two simple examples of dilogarithm ladders are \operatorname{Li}_2(\rho^6) = 4 \operatorname{Li}_2(\rho^3) + 3 \operatorname{Li}_2(\rho^2) - 6 \operatorname{Li}_2(\rho) + \tfrac {7}{30} \pi^2 given by and \operatorname{Li}_2(\rho) = \tfrac{1}{10} \pi^2 - \ln^2\rho given by Landen. Polylogarithm ladders occur naturally and deeply in K-theory and algebraic geometry. Polylogarithm ladders provide the basis for the rapid computations of various mathematical constants by means of the BBP algorithm . ==Monodromy==

The polylogarithm has two branch points; one at z = 1 and another at z = 0. The second branch point, at z = 0, is not visible on the main sheet of the polylogarithm; it becomes visible only when the function is analytically continued to its other sheets. The monodromy group for the polylogarithm consists of the homotopy classes of loops that wind around the two branch points. Denoting these two by m0 and m1, the monodromy group has the group presentation \langle m_0, m_1 \vert w = m_0 m_1 m^{-1}_0 m^{-1}_1, w m_1 = m_1 w \rangle. For the special case of the dilogarithm, one also has that wm0 = m0w, and the monodromy group becomes the Heisenberg group (identifying m0, m1 and w with x, y, z) . == Notes ==