Math 2.0

Special functions Definition

Polylogarithm

Builds on Power series in the complex planeAnalytic continuation

Definition

Let ss be a complex number. For z∈ℂz \in \C with ∣z∣<1\abs{z} < 1, the polylogarithm of order ss is the power series Li⁡s(z)=∑k=1∞zkks,\operatorname{Li}_s(z) = \sum_{k=1}^\infty \frac{z^k}{k^s}, together with its analytic continuation in zz to ℂ∖[1,∞)\C \setminus [1, \infty).

Remarks

The series has radius of convergence 11 for every ss, because ∣k−s∣1/k=k−Re⁡s/k→1\abs{k^{-s}}^{1/k} = k^{-\operatorname{Re} s/k} \to 1.

Example: for s=1s = 1 the series is −ln⁡(1−z)-\ln(1 - z), and for s=0s = 0 and s=−1s = -1 it gives Li⁡0(z)=z1−z\operatorname{Li}_0(z) = \frac{z}{1 - z} and Li⁡−1(z)=z(1−z)2\operatorname{Li}_{-1}(z) = \frac{z}{(1 - z)^2}. For Re⁡s>1\operatorname{Re} s > 1 the series also converges at z=1z = 1, and Li⁡s(1)=ζ(s)\operatorname{Li}_s(1) = \zeta(s), the Riemann zeta function.

Non-example of a valid argument: for s=1s = 1 the series diverges at z=1z = 1 (it is the harmonic series), and −ln⁡(1−z)-\ln(1 - z) has a singularity there.

Termwise differentiation gives zddzLi⁡s(z)=Li⁡s−1(z)z \frac{d}{dz} \operatorname{Li}_s(z) = \operatorname{Li}_{s-1}(z), so Li⁡s+1(z)=∫0zLi⁡s(t)t dt\operatorname{Li}_{s+1}(z) = \int_0^z \frac{\operatorname{Li}_s(t)}{t}\, dt. For s=2s = 2 this is the dilogarithm.

Reading path

To understand this page from the ground up, read these 3 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. Analytic continuation concept
  2. Power series in the complex plane concept
  3. Polylogarithm definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Polylogarithm
About this page
Tag2XB240D6MP
URIm2://2XB240D6MP
Kinddefinition
WritingW0 stub
MSC33B30, 11G55
DefinesPolylogarithm
UsesPower series in the complex plane, Analytic continuation

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.