In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function Lis(z) of order s and argument z. Only for special values of s does the polylogarithm reduce to an elementary function such as the natural logarithm or a rational function. In quantum statistics, the polylogarithm function appears as the closed form of integrals of the Fermi–Dirac distribution and the Bose–Einstein distribution, and is also known as the Fermi–Dirac integral or the Bose–Einstein integral. In quantum electrodynamics, polylogarithms of positive integer order arise in the calculation of processes represented by higher-order Feynman diagrams. The polylogarithm function is equivalent to the Hurwitz zeta function — either function can be expressed in terms of the other — and both functions are special cases of the Lerch transcendent. Polylogarithms should not be confused with polylogarithmic functions, nor with the offset logarithmic integral Li(z), which has the same notation without the subscript.
The polylogarithm function is defined by a power series in z generalizing the Mercator series, which is also a Dirichlet series in s:
Li s ( z ) = ∑ k = 1 ∞ z k k s = z + z 2 2 s + z 3 3 s + ⋯ {\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}}=z+{z^{2} \over 2^{s}}+{z^{3} \over 3^{s}}+\cdots }
This definition is valid for arbitrary complex order s and for all complex arguments z with |z| < 1; it can be extended to |z| ≥ 1 by the process of analytic continuation. (Here the denominator ks is understood as exp(s ln k)). The special case s = 1 involves the ordinary natural logarithm, Li1(z) = −ln(1−z), while the special cases s = 2 and s = 3 are called the dilogarithm (also referred to as Spence's function) and trilogarithm respectively. The name of the function comes from the fact that it may also be defined as the repeated integral of itself:
Li s + 1 ( z ) = ∫ 0 z Li s ( t ) t d t {\displaystyle \operatorname {Li} _{s+1}(z)=\int _{0}^{z}{\frac {\operatorname {Li} _{s}(t)}{t}}dt}
thus the dilogarithm is an integral of a function involving the logarithm, and so on. For nonpositive integer orders s, the polylogarithm is a rational function.
Properties In the case where the order s {\displaystyle s} is an integer, it will be represented by s = n {\displaystyle s=n} (or s = − n {\displaystyle s=-n} when negative). It is often convenient to define μ = ln ( z ) {\displaystyle \mu =\ln(z)} where ln ( z ) {\displaystyle \ln(z)} is the principal branch of the complex logarithm Ln ( z ) {\displaystyle \operatorname {Ln} (z)} so that − π < Im ( μ ) ≤ π . {\displaystyle -\pi <\operatorname {Im} (\mu )\leq \pi .} Also, all exponentiation will be assumed to be single-valued: z s = exp ( s ln ( z ) ) . {\displaystyle z^{s}=\exp(s\ln(z)).}
… excerpt ends here. Continue reading the full article.
