Английская Википедия:Dilogarithm
Шаблон:Short description Шаблон:Redirect Шаблон:See also
In mathematics, the dilogarithm (or Spence's function), denoted as Шаблон:Math, is a particular case of the polylogarithm. Two related special functions are referred to as Spence's function, the dilogarithm itself:
- <math>\operatorname{Li}_2(z) = -\int_0^z{\ln(1-u) \over u}\, du \text{, }z \in \Complex</math>
and its reflection. For Шаблон:Math, an infinite series also applies (the integral definition constitutes its analytical extension to the complex plane):
- <math>\operatorname{Li}_2(z) = \sum_{k=1}^\infty {z^k \over k^2}.</math>
Alternatively, the dilogarithm function is sometimes defined as
- <math>\int_{1}^{v} \frac{ \ln t }{ 1 -t } dt = \operatorname{Li}_2(1-v).</math>
In hyperbolic geometry the dilogarithm can be used to compute the volume of an ideal simplex. Specifically, a simplex whose vertices have cross ratio Шаблон:Mvar has hyperbolic volume
- <math>D(z) = \operatorname{Im} \operatorname{Li}_2(z) + \arg(1-z) \log|z|.</math>
The function Шаблон:Math is sometimes called the Bloch-Wigner function.[1] Lobachevsky's function and Clausen's function are closely related functions.
William Spence, after whom the function was named by early writers in the field, was a Scottish mathematician working in the early nineteenth century.[2] He was at school with John Galt,[3] who later wrote a biographical essay on Spence.
Analytic structure
Using the former definition above, the dilogarithm function is analytic everywhere on the complex plane except at <math>z = 1</math>, where it has a logarithmic branch point. The standard choice of branch cut is along the positive real axis <math>(1, \infty)</math>. However, the function is continuous at the branch point and takes on the value <math>\operatorname{Li}_2(1) = \pi^2/6</math>.
Identities
- <math>\operatorname{Li}_2(z)+\operatorname{Li}_2(-z)=\frac{1}{2}\operatorname{Li}_2(z^2).</math>[4]
- <math>\operatorname{Li}_2(1-z)+\operatorname{Li}_2\left(1-\frac{1}{z}\right)=-\frac{(\ln z)^2}{2}.</math>[5]
- <math>\operatorname{Li}_2(z)+\operatorname{Li}_2(1-z)=\frac{{\pi}^2}{6}-\ln z \cdot\ln(1-z).</math>[4]
- <math>\operatorname{Li}_2(-z)-\operatorname{Li}_2(1-z)+\frac{1}{2}\operatorname{Li}_2(1-z^2)=-\frac{{\pi}^2}{12}-\ln z \cdot \ln(z+1).</math>[5]
- <math>\operatorname{Li}_2(z) +\operatorname{Li}_2\left(\frac{1}{z}\right) = - \frac{\pi^2}{6} - \frac{(\ln(-z))^2}{2}.</math>[4]
Particular value identities
- <math>\operatorname{Li}_2\left(\frac{1}{3}\right)-\frac{1}{6}\operatorname{Li}_2\left(\frac{1}{9}\right)=\frac{{\pi}^2}{18}-\frac{(\ln 3)^2}{6}.</math>[5]
- <math>\operatorname{Li}_2\left(-\frac{1}{3}\right)-\frac{1}{3}\operatorname{Li}_2\left(\frac{1}{9}\right)=-\frac{{\pi}^2}{18}+\frac{(\ln 3)^2}{6}.</math>[5]
- <math>\operatorname{Li}_2\left(-\frac{1}{2}\right)+\frac{1}{6}\operatorname{Li}_2\left(\frac{1}{9}\right)=-\frac{{\pi}^2}{18}+\ln2\cdot \ln3-\frac{(\ln 2)^2}{2}-\frac{(\ln 3)^2}{3}.</math>[5]
- <math>\operatorname{Li}_2\left(\frac{1}{4}\right)+\frac{1}{3}\operatorname{Li}_2\left(\frac{1}{9}\right)=\frac{{\pi}^2}{18}+2\ln2\cdot\ln3-2(\ln 2)^2-\frac{2}{3}(\ln 3)^2.</math> [5]
- <math>\operatorname{Li}_2\left(-\frac{1}{8}\right)+\operatorname{Li}_2\left(\frac{1}{9}\right)=-\frac{1}{2}\left(\ln{\frac{9}{8}}\right)^2.</math>[5]
- <math>36\operatorname{Li}_2\left(\frac{1}{2}\right)-36\operatorname{Li}_2\left(\frac{1}{4}\right)-12\operatorname{Li}_2\left(\frac{1}{8}\right)+6\operatorname{Li}_2\left(\frac{1}{64}\right)={\pi}^2.</math>
Special values
- <math>\operatorname{Li}_2(-1)=-\frac{{\pi}^2}{12}.</math>
- <math>\operatorname{Li}_2(0)=0.</math>
- <math>\operatorname{Li}_2\left(\frac{1}{2}\right)=\frac{{\pi}^2}{12}-\frac{(\ln 2)^2}{2}.</math>
- <math>\operatorname{Li}_2(1) = \zeta(2) = \frac{{\pi}^2}{6},</math> where <math>\zeta(s)</math> is the Riemann zeta function.
- <math>\operatorname{Li}_2(2)=\frac{{\pi}^2}{4}-i\pi\ln2.</math>
- <math>\begin{align}
\operatorname{Li}_2\left(-\frac{\sqrt5-1}{2}\right) &=-\frac{{\pi}^2}{15}+\frac{1}{2}\left(\ln\frac{\sqrt5+1}{2}\right)^2 \\ &=-\frac{{\pi}^2}{15}+\frac{1}{2}\operatorname{arcsch}^2 2. \end{align}</math>
- <math>\begin{align}
\operatorname{Li}_2\left(-\frac{\sqrt5+1}{2}\right) &=-\frac{{\pi}^2}{10}-\ln^2 \frac{\sqrt5+1}{2} \\ &=-\frac{{\pi}^2}{10}-\operatorname{arcsch}^2 2. \end{align}</math>
- <math>\begin{align}
\operatorname{Li}_2\left(\frac{3-\sqrt5}{2}\right) &=\frac{{\pi}^2}{15}-\ln^2 \frac{\sqrt5+1}{2} \\ &=\frac{{\pi}^2}{15}-\operatorname{arcsch}^2 2. \end{align}</math>
- <math>\begin{align}
\operatorname{Li}_2\left(\frac{\sqrt5-1}{2}\right) &=\frac{{\pi}^2}{10}-\ln^2 \frac{\sqrt5+1}{2} \\ &=\frac{{\pi}^2}{10}-\operatorname{arcsch}^2 2. \end{align}</math>
In particle physics
Spence's Function is commonly encountered in particle physics while calculating radiative corrections. In this context, the function is often defined with an absolute value inside the logarithm:
- <math>
\operatorname{\Phi}(x) = -\int_0^x \frac{\ln|1-u|}{u} \, du = \begin{cases} \operatorname{Li}_2(x), & x \leq 1; \\ \frac{\pi^2}{3} - \frac{1}{2}(\ln x)^2 - \operatorname{Li}_2(\frac{1}{x}), & x > 1. \end{cases} </math>
See also
Notes
References
- Шаблон:Cite book
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite journal
- Шаблон:Cite book
Further reading
External links
