Dilogarithme

Graphe du dilogarithme restreint aux réels.

En mathématiques, la fonction de Spence, ou dilogarithme, notée Modèle:Math, est un cas particulier de polylogarithme. Deux fonctions spéciales sont appelées fonction de Spence :

• le dilogarithme lui-même :

  ${\mathrm{Li}}_2(z)=-\underset{0}{\overset{z}{\int }}\frac{\ln (1-u)}{u}\mathrm{d}u=\underset{1}{\overset{1-z}{\int }}\frac{\ln t}{1-t}\mathrm{d}t,z\in ℂ$ ;

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

${\mathrm{Li}}_2(z)=\sum _{k=1}^{\mathrm{\infty }}\frac{z^k}{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étrieModèle:,:

${\mathrm{Li}}_2(z)+{\mathrm{Li}}_2(-z)=\frac{1}{2}{\mathrm{Li}}_2(z^2)$

${\mathrm{Li}}_2(1-z)+{\mathrm{Li}}_2(1-\frac{1}{z})=-\frac{{\ln }^{2}z}{2}$

${\mathrm{Li}}_2(z)+{\mathrm{Li}}_2(1-z)=\frac{{\pi }^2}{6}-\ln z\cdot \ln (1-z)$

${\mathrm{Li}}_2(-z)-{\mathrm{Li}}_2(1-z)+\frac{1}{2}{\mathrm{Li}}_2(1-z^2)=-\frac{{\pi }^2}{12}-\ln z\ln (z+1)$

${\mathrm{Li}}_2(z)+{\mathrm{Li}}_2\left(\frac{1}{z}\right)=-\frac{{\pi }^2}{6}-\frac{1}{2}{\ln }^2(-z)$

${\mathrm{Li}}_2(z)+{\mathrm{Li}}_2\left(\frac{z}{z-1}\right)=-\frac{1}{2}{\ln }^2(1-z)$ (identité de Landen)

Valeurs particulières

${\mathrm{Li}}_2(-1)=-\frac{{\pi }^2}{12}$

${\mathrm{Li}}_2(0)=0$

${\mathrm{Li}}_2\left(\frac{1}{2}\right)=\frac{{\pi }^2}{12}-\frac{{\ln }^{2}2}{2}$

${\mathrm{Li}}_2(1)=\frac{{\pi }^2}{6}$

${\mathrm{Li}}_2(2)=\frac{{\pi }^2}{4}-\mathrm{i}\pi \ln 2$

${\mathrm{Li}}_2(-\frac{\sqrt{5}-1}{2})=-\frac{{\pi }^2}{15}+\frac{1}{2}{\ln }^2\frac{\sqrt{5}-1}{2}$

${\mathrm{Li}}_2(-\frac{\sqrt{5}+1}{2})=-\frac{{\pi }^2}{10}-{\ln }^2\frac{\sqrt{5}+1}{2}$

${\mathrm{Li}}_2\left(\frac{3-\sqrt{5}}{2}\right)=\frac{{\pi }^2}{15}-{\ln }^2\frac{\sqrt{5}-1}{2}$

${\mathrm{Li}}_2\left(\frac{\sqrt{5}-1}{2}\right)=\frac{{\pi }^2}{10}-{\ln }^2\frac{\sqrt{5}-1}{2}$

${\mathrm{Li}}_2(\mathrm{i})=-\frac{{\pi }^2}{48}+\mathrm{i}K$

${\mathrm{Li}}_2\left(\frac{1-\mathrm{i}}{2}\right)=\frac{5{\pi }^2}{96}-\frac{1}{8}\ln (2{)}^2+\mathrm{i}(\frac{\pi \ln (2)}{8}-K)$

avec Modèle:Mvar, la constante de Catalan

Égalités entre des valeurs particulières

${\mathrm{Li}}_2\left(\frac{1}{3}\right)-\frac{1}{6}{\mathrm{Li}}_2\left(\frac{1}{9}\right)=\frac{{\pi }^2}{18}-\frac{{\ln }^{2}3}{6}$

${\mathrm{Li}}_2(-\frac{1}{2})+\frac{1}{6}{\mathrm{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}$

${\mathrm{Li}}_2\left(\frac{1}{4}\right)+\frac{1}{3}{\mathrm{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$

${\mathrm{Li}}_2(-\frac{1}{3})-\frac{1}{3}{\mathrm{Li}}_2\left(\frac{1}{9}\right)=-\frac{{\pi }^2}{18}+\frac{1}{6}{\ln }^{2}3$

${\mathrm{Li}}_2(-\frac{1}{8})+{\mathrm{Li}}_2\left(\frac{1}{9}\right)=-\frac{1}{2}{\ln }^2\frac{9}{8}$

$36{\mathrm{Li}}_2\left(\frac{1}{2}\right)-36{\mathrm{Li}}_2\left(\frac{1}{4}\right)-12{\mathrm{Li}}_2\left(\frac{1}{8}\right)+6{\mathrm{Li}}_2\left(\frac{1}{64}\right)={\pi }^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 :

$\mathrm{\Phi }(x)=-\underset{0}{\overset{x}{\int }}\frac{\ln |1-u|}{u}\mathrm{d}u=\{\begin{array}{cc}{\mathrm{Li}}_2(x),& x\le 1;\\ \frac{{\pi }^2}{3}-\frac{1}{2}{\ln }^2(x)-{\mathrm{Li}}_2(\frac{1}{x}),& x>1.\end{array}$

Voir aussi

Bibliographie

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage