title: Función de Spence
text: # Función de Spence
  
  En matemáticas, la función de Spence, o dilogaritmo, denotado como Li$_2$ (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í:
         $\operatorname {Li} _{2}(z)=-\int _{0}^{z}{\ln(1-u) \over u}\,du{\text{, }}z\in \mathbb {C}$
  y su simétrica. Para $|z|<1$ también se aplica una serie infinita (la definición integral constituye su extensión analítica al plano complejo):
         $\operatorname {Li} _{2}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{2}}.$
  Alternativamente, la función dilogaritmo a veces se define como
         $\int _{1}^{v}{\frac {\ln t}{1-t}}dt=\operatorname {Li} _{2}(1-v).$
  En geometría hiperbólica el dilogaritmo $\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 $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. Fue compañero de escuela de John Galt, quien escribiría un ensayo biográfico sobre Spence.
  
  # Función de Spence
  ## Estructura analítica
  
  Usando la primera definición anterior, la función dilogaritmo es analítica en todo el plano complejo excepto en $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 $(1,\infty )$. Sin embargo, la función es continua en el punto de ramificación y toma el valor $\operatorname {Li} _{2}(1)=\pi ^{2}/6$.
  
  # Función de Spence
  ## Identidades
  
      $\operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(-z)={\frac {1}{2}}\operatorname {Li} _{2}(z^{2}).$
      $\operatorname {Li} _{2}(1-z)+\operatorname {Li} _{2}\left(1-{\frac {1}{z}}\right)=-{\frac {\ln ^{2}z}{2}}.$
      $\operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1-z)={\frac {{\pi }^{2}}{6}}-\ln z\cdot \ln(1-z).$
      $\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).$
      $\operatorname {Li} _{2}(z)+\operatorname {Li} _{2}\left({\frac {1}{z}}\right)=-{\frac {\pi ^{2}}{6}}-{\frac {1}{2}}\ln ^{2}(-z).$
  
  # Función de Spence
  ## Identidades de valores particulares
  
      $\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}}.$
      $\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}}.$
      $\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.$
      $\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.$
      $\operatorname {Li} _{2}\left(-{\frac {1}{8}}\right)+\operatorname {Li} _{2}\left({\frac {1}{9}}\right)=-{\frac {1}{2}}\ln ^{2}{\frac {9}{8}}.$
      $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}.$
  
  # Función de Spence
  ## Valores especiales
  
      $\operatorname {Li} _{2}(-1)=-{\frac {{\pi }^{2}}{12}}.$
      $\operatorname {Li} _{2}(0)=0.$
      $\operatorname {Li} _{2}\left({\frac {1}{2}}\right)={\frac {{\pi }^{2}}{12}}-{\frac {\ln ^{2}2}{2}}.$
      $\operatorname {Li} _{2}(1)=\zeta (2)={\frac {{\pi }^{2}}{6}},$ donde $\zeta (s)$ es la función zeta de Riemann.
      $\operatorname {Li} _{2}(2)={\frac {{\pi }^{2}}{4}}-i\pi \ln 2.$
      ${\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}}$
      ${\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}}$
      ${\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}}$
      ${\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}}$
  
  # Función de Spence
  ## 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:
      $\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}}$