title: Dilogarithme
text: # Dilogarithme
  
  En mathématiques, la fonction de Spence, ou dilogarithme, notée $Li_2,$ est un cas particulier de polylogarithme. Deux fonctions spéciales sont appelées fonction de Spence :
  
  * le dilogarithme lui-même :
  
      $\operatorname {Li} _{2}(z)=-\int _{0}^{z}{\ln(1-u) \over u}\,\mathrm {d} u=\int _{1}^{1-z}{\frac {\ln t}{1-t}}\mathrm {d} t,\quad z\in \mathbb {C}$ ;
  * sa réflexion.
  
  Pour $|z|<1$, une définition à l'aide d'une série est également possible (la définition intégrale constituant son prolongement analytique dans le plan complexe) :
  
      $\operatorname {Li} _{2}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{2}}$.
  
  William Spence (1777-1815), dont on a donné le nom à cette fonction, est un mathématicien écossais. Il a été condisciple de John Galt, qui a par la suite écrit un essai biographique sur Spence.
  
  ## Identités
  
  Plusieurs égalités sur la fonction dilogarithme reposent sur des propriétés de $symétrie^,:$
  
      $\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\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)$
  
  ## Égalités pour des valeurs particulières
  
      $\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\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}$
  
  ## Valeurs particulières
  
      $\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)={\frac {\pi ^{2}}{6}}$
      $\operatorname {Li} _{2}(2)={\frac {\pi ^{2}}{4}}-\mathrm {i} \pi \ln 2$
      $\operatorname {Li} _{2}\left(-{\frac {{\sqrt {5}}-1}{2}}\right)=-{\frac {\pi ^{2}}{15}}+{\frac {1}{2}}\ln ^{2}{\frac {{\sqrt {5}}-1}{2}}$
      $\operatorname {Li} _{2}\left(-{\frac {{\sqrt {5}}+1}{2}}\right)=-{\frac {\pi ^{2}}{10}}-\ln ^{2}{\frac {{\sqrt {5}}+1}{2}}$
      $\operatorname {Li} _{2}\left({\frac {3-{\sqrt {5}}}{2}}\right)={\frac {\pi ^{2}}{15}}-\ln ^{2}{\frac {{\sqrt {5}}-1}{2}}$
      $\operatorname {Li} _{2}\left({\frac {{\sqrt {5}}-1}{2}}\right)={\frac {\pi ^{2}}{10}}-\ln ^{2}{\frac {{\sqrt {5}}-1}{2}}$
  
  ## En physique des particules
  
  On rencontre couramment la fonction de Spence en physique des particules, dans le calcul des corrections radiatives. Dans ce contexte, la fonction est souvent définie avec une valeur absolue à l'intérieur du logarithme :
  
      $\operatorname {\Phi } (x)=-\int _{0}^{x}{\frac {\ln |1-u|}{u}}\,\mathrm {d} u={\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}}$
  