Función de Spence

Véase también: Polilogaritmo

En matemáticas, la función de Spence, o dilogaritmo, denotado como Li₂ (z), es un caso particular de función polilogarítmica. Dos función especial relacionados se conocen como función de Spence, el dilogaritmo en sí:

El dilogaritmo a lo largo del eje real

${\displaystyle \operatorname {Li} _{2}(z)=-\int _{0}^{z}{\ln(1-u) \over u}\,du{\text{, }}z\in \mathbb {C} }$

y su simétrica. Para ${\displaystyle |z|<1}$ también se aplica una serie infinita (la definición integral constituye su extensión analítica al plano complejo):

${\displaystyle \operatorname {Li} _{2}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{2}}.}$

Alternativamente, la función dilogaritmo a veces se define como

${\displaystyle \int _{1}^{v}{\frac {\ln t}{1-t}}dt=\operatorname {Li} _{2}(1-v).}$

En geometría hiperbólica el dilogaritmo ${\displaystyle \operatorname {Li} _{2}(z)}$ permite obtener el volumen hiperbólico de un símplex ideal cuyos vértices ideales guardan una razón anarmónica ${\displaystyle z}$. La función de Lobachevski y la Función de Clausen están estrechamente relacionadas con el dilogaritmo.

William Spence, de quien la función recibió el nombre según los primeros autores que trataron este campo, fue un matemático escocés que trabajó a principios del siglo XIX.^[1]​ Fue compañero de escuela de John Galt,^[2]​ quien escribiría un ensayo biográfico sobre Spence.

Estructura analítica

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}$ .

Identidades

${\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]​

Identidades de valores particulares

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

Valores especiales

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

En física de partículas

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}}}$ 

Referencias

1. http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Spence.html
2. http://www.biographi.ca/009004-119.01-e.php?BioId=37522
3. Zagier
4. Weisstein, Eric W. «Dilogarithm». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

Bibliografía

• 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)

Lecturas relacionadas

• 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. 

Enlaces externos

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

•   Datos: Q1290753