Función de Spence

Usando la primera definición anterior, la función dilogaritmo es analítica en todo el plano complejo excepto en ${\displaystyle z=1}$, donde tiene un punto de ramificación logarítmico. La elección estándar de la rama de corte es el eje real positivo ${\displaystyle (1,\infty )}$. Sin embargo, la función es continua en el punto de ramificación y toma el valor ${\displaystyle \operatorname {Li} _{2}(1)=\pi ^{2}/6}$.

${\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(-z)={\frac {1}{2}}\operatorname {Li} _{2}(z^{2}).}$[3]

${\displaystyle \operatorname {Li} _{2}(1-z)+\operatorname {Li} _{2}\left(1-{\frac {1}{z}}\right)=-{\frac {\ln ^{2}z}{2}}.}$[4]

${\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1-z)={\frac {{\pi }^{2}}{6}}-\ln z\cdot \ln(1-z).}$[3]

${\displaystyle \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).}$[4]

${\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}\left({\frac {1}{z}}\right)=-{\frac {\pi ^{2}}{6}}-{\frac {1}{2}}\ln ^{2}(-z).}$[3]

${\displaystyle \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 ^{2}3}{6}}.}$[4]

${\displaystyle \operatorname {Li} _{2}\left(-{\frac {1}{2}}\right)+{\frac {1}{6}}\operatorname {Li} _{2}\left({\frac {1}{9}}\right)=-{\frac {{\pi }^{2}}{18}}+\ln 2\cdot \ln 3-{\frac {\ln ^{2}2}{2}}-{\frac {\ln ^{2}3}{3}}.}$[4]

${\displaystyle \operatorname {Li} _{2}\left({\frac {1}{4}}\right)+{\frac {1}{3}}\operatorname {Li} _{2}\left({\frac {1}{9}}\right)={\frac {{\pi }^{2}}{18}}+2\ln 2\ln 3-2\ln ^{2}2-{\frac {2}{3}}\ln ^{2}3.}$[4]

${\displaystyle \operatorname {Li} _{2}\left(-{\frac {1}{3}}\right)-{\frac {1}{3}}\operatorname {Li} _{2}\left({\frac {1}{9}}\right)=-{\frac {{\pi }^{2}}{18}}+{\frac {1}{6}}\ln ^{2}3.}$[4]

${\displaystyle \operatorname {Li} _{2}\left(-{\frac {1}{8}}\right)+\operatorname {Li} _{2}\left({\frac {1}{9}}\right)=-{\frac {1}{2}}\ln ^{2}{\frac {9}{8}}.}$[4]

${\displaystyle 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}.}$

${\displaystyle \operatorname {Li} _{2}(-1)=-{\frac {{\pi }^{2}}{12}}.}$

${\displaystyle \operatorname {Li} _{2}(0)=0.}$

${\displaystyle \operatorname {Li} _{2}\left({\frac {1}{2}}\right)={\frac {{\pi }^{2}}{12}}-{\frac {\ln ^{2}2}{2}}.}$

${\displaystyle \operatorname {Li} _{2}(1)=\zeta (2)={\frac {{\pi }^{2}}{6}},}$ donde ${\displaystyle \zeta (s)}$ es la función zeta de Riemann.

${\displaystyle \operatorname {Li} _{2}(2)={\frac {{\pi }^{2}}{4}}-i\pi \ln 2.}$

${\displaystyle {\begin{aligned}\operatorname {Li} _{2}\left(-{\frac {{\sqrt {5}}-1}{2}}\right)&=-{\frac {{\pi }^{2}}{15}}+{\frac {1}{2}}\ln ^{2}{\frac {{\sqrt {5}}+1}{2}}\\&=-{\frac {{\pi }^{2}}{15}}+{\frac {1}{2}}\operatorname {arcsch} ^{2}2.\end{aligned}}}$

${\displaystyle {\begin{aligned}\operatorname {Li} _{2}\left(-{\frac {{\sqrt {5}}+1}{2}}\right)&=-{\frac {{\pi }^{2}}{10}}-\ln ^{2}{\frac {{\sqrt {5}}+1}{2}}\\&=-{\frac {{\pi }^{2}}{10}}-\operatorname {arcsch} ^{2}2.\end{aligned}}}$

${\displaystyle {\begin{aligned}\operatorname {Li} _{2}\left({\frac {3-{\sqrt {5}}}{2}}\right)&={\frac {{\pi }^{2}}{15}}-\ln ^{2}{\frac {{\sqrt {5}}+1}{2}}\\&={\frac {{\pi }^{2}}{15}}-\operatorname {arcsch} ^{2}2.\end{aligned}}}$

${\displaystyle {\begin{aligned}\operatorname {Li} _{2}\left({\frac {{\sqrt {5}}-1}{2}}\right)&={\frac {{\pi }^{2}}{10}}-\ln ^{2}{\frac {{\sqrt {5}}+1}{2}}\\&={\frac {{\pi }^{2}}{10}}-\operatorname {arcsch} ^{2}2.\end{aligned}}}$

La función de Spence se utiliza en física de partículas al calcular las correcciones radiativas. En este contexto, la función a menudo se define con un valor absoluto dentro del logaritmo:

${\displaystyle \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 ^{2}(x)-\operatorname {Li} _{2}({\frac {1}{x}}),&x>1.\end{cases}}}$

• Lewin, L. (1958). Dilogarithms and associated functions. Foreword by J. C. P. Miller. London: Macdonald. MR 0105524.
• Morris, Robert (1979). «The dilogarithm function of a real argument». Math. Comp. 33 (146): 778-787. MR 521291. doi:10.1090/S0025-5718-1979-0521291-X.
• Loxton, J. H. (1984). «Special values of the dilogarithm». Acta Arith. 18 (2): 155-166. MR 0736728. doi:10.4064/aa-43-2-155-166.
• Kirillov, Anatol N. (1994). «Dilogarithm identities». Progress of Theoretical Physics Supplement 118: 61-142. Bibcode:1995PThPS.118...61K. arXiv:hep-th/9408113. doi:10.1143/PTPS.118.61.
• Osacar, Carlos; Palacian, Jesus; Palacios, Manuel (1995). «Numerical evaluation of the dilogarithm of complex argument». Celest. Mech. Dyn. Astron. 62 (1): 93-98. Bibcode:1995CeMDA..62...93O. doi:10.1007/BF00692071.
• Zagier, Don (2007). «The Dilogarithm Function». En Pierre Cartier; Pierre Moussa; Bernard Julia et al., eds. Frontiers in Number Theory, Physics, and Geometry II. pp. 3-65. ISBN 978-3-540-30308-4. doi:10.1007/978-3-540-30308-4_1. Se sugiere usar |número-editores= (ayuda)

• Bloch, Spencer J. (2000). Higher regulators, algebraic K-theory, and zeta functions of elliptic curves. CRM Monograph Series 11. Providence, RI: American Mathematical Society. ISBN 0-8218-2114-8. Zbl 0958.19001.

• NIST Digital Library of Mathematical Functions: Dilogarithm
• Weisstein, Eric W. «Dilogarithm». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.