Dilogarithme

Graphe du dilogarithme restreint aux réels.

En mathématiques, la fonction de Spence, ou dilogarithme, notée Li₂, 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}}$

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Spence's function » (voir la liste des auteurs).

Voir aussi

Bibliographie

• (en) L. Lewin, Dilogarithms and Associated Functions, Londres, Macdonald, 1958
• (en) Robert Morris, « The dilogarithm function of a real argument », Math. Comp., vol. 33,‎ 1979, p. 778-787 (DOI 10.1090/S0025-5718-1979-0521291-X)
• (en) J. H. Loxton, « Special values of the dilogarithm », Acta Arith., vol. 18,‎ 1984, p. 155-166 (lire en ligne)
• (en) Anatol N. Kirillov, « Dilogarithm identities », Progress of Theoretical Physics Supplement, vol. 118,‎ 1994, p. 61-142 (DOI 10.1143/PTPS.118.61, arXiv hep-th/9408113)
• (en) Carlos Osacar, Jesus Palacian et Manuel Palacios, « Numerical evaluation of the dilogarithm of complex argument », Celest. Mech. Dyn. Astron., vol. 62,‎ 1995, p. 93-98 (DOI 10.1007/BF00692071, Bibcode 1995CeMDA..62...93O)
• (en) Spencer J. Bloch, Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, Providence, RI, AMS, coll. « CRM Monograph Series » (n^o 11), 2000, 97 p. (ISBN 0-8218-2114-8, zbMATH 0958.19001)

Lien externe

(en) « Dilogarithms », sur NIST Digital Library of Mathematical Functions