Math 2.0

Special functions Definition

Dilogarithm

Builds on PolylogarithmComplex logarithm

Definition

The dilogarithm is the function Li⁡2 ⁣:ℂ∖(1,∞)→ℂ\operatorname{Li}_2 \colon \C \setminus (1, \infty) \to \C given by Li⁡2(z)=−∫0zlog⁡(1−u)u du.\operatorname{Li}_2(z) = -\int_0^z \frac{\log(1 - u)}{u}\, du. Here log⁡\log is the principal branch of the complex logarithm. The path of integration lies in ℂ∖[1,∞)\C \setminus [1, \infty), except possibly for its endpoint z=1z = 1. The function is holomorphic on ℂ∖[1,∞)\C \setminus [1, \infty) and continuous at z=1z = 1.

Remarks

For ∣z∣≤1\abs{z} \le 1 it agrees with the series ∑k≥1zkk2\sum_{k \ge 1} \frac{z^k}{k^2}, so it is the polylogarithm Li⁡2\operatorname{Li}_2. The integral does not depend on the path, because ℂ∖[1,∞)\C \setminus [1, \infty) is simply connected and the integrand is holomorphic there (the singularity at u=0u = 0 is removable).

Example: Li⁡2(1)=∑k≥1k−2=π26\operatorname{Li}_2(1) = \sum_{k \ge 1} k^{-2} = \frac{\pi^2}{6}, and Li⁡2(−1)=∑k≥1(−1)kk2=−π212\operatorname{Li}_2(-1) = \sum_{k \ge 1} \frac{(-1)^k}{k^2} = -\frac{\pi^2}{12}. Euler's reflection formula Li⁡2(z)+Li⁡2(1−z)=π26−log⁡zlog⁡(1−z)\operatorname{Li}_2(z) + \operatorname{Li}_2(1 - z) = \frac{\pi^2}{6} - \log z \log(1 - z) at z=12z = \frac12 gives Li⁡2(12)=π212−(ln⁡2)22\operatorname{Li}_2(\frac12) = \frac{\pi^2}{12} - \frac{(\ln 2)^2}{2}.

Non-example of a valid argument: for real x>1x > 1 the point xx lies on the cut [1,∞)[1, \infty). The limits of Li⁡2\operatorname{Li}_2 from above and below the cut differ by 2πiln⁡x2\pi i \ln x, so Li⁡2\operatorname{Li}_2 has no continuous extension there.

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. Complex logarithm concept
  2. Polylogarithm concept
  3. Dilogarithm definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Dilogarithm
About this page
TagJ9Y7DBZVJA
URIm2://J9Y7DBZVJA
Kinddefinition
WritingW0 stub
MSC33B30, 11G55
DefinesDilogarithm
UsesPolylogarithm, Complex logarithm

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.