Polylogaritmen

Inom matematiken är Polylogaritmen en speciell funktion som definieras som

$\operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}}=z+{z^{2} \over 2^{s}}+{z^{3} \over 3^{s}}+\cdots \,.$

Speciella värden

1. Då s är ett negativt heltal är polylogaritmen en rationell funktion av z:

$\operatorname {Li} _{1}(z)=-\ln(1-z)$

$\operatorname {Li} _{0}(z)={z \over 1-z}$

$\operatorname {Li} _{-1}(z)={z \over (1-z)^{2}}$

$\operatorname {Li} _{-2}(z)={z\,(1+z) \over (1-z)^{3}}$

$\operatorname {Li} _{-3}(z)={z\,(1+4z+z^{2}) \over (1-z)^{4}}$

$\operatorname {Li} _{-4}(z)={z\,(1+z)(1+10z+z^{2}) \over (1-z)^{5}}\,$

och i allmänhet

$\operatorname {Li} _{-n}(z)=\left(z\,{\partial \over \partial z}\right)^{n}{z \over {1-z}}=$

$=\sum _{k=0}^{n}k!\,S(n\!+\!1,\,k\!+\!1)\left({z \over {1-z}}\right)^{k+1}\qquad (n=0,1,2,\ldots )\,,$

där S(n,k) är Stirlingtalen av andra ordningen .

2.

$\operatorname {Li} _{1}({\tfrac {1}{2}})=\ln 2$

$\operatorname {Li} _{2}({\tfrac {1}{2}})={\tfrac {1}{12}}\pi ^{2}-{\tfrac {1}{2}}(\ln 2)^{2}$

$\operatorname {Li} _{3}({\tfrac {1}{2}})={\tfrac {1}{6}}(\ln 2)^{3}-{\tfrac {1}{12}}\pi ^{2}\ln 2+{\tfrac {7}{8}}\,\zeta (3)\,,$

där ζ är Riemanns zetafunktion. Inga liknande formler är kända för högre ordningar, men några något mer komplicerade formler är

$\operatorname {Li} _{4}({\tfrac {1}{2}})={\tfrac {1}{360}}\pi ^{4}-{\tfrac {1}{24}}(\ln 2)^{4}+{\tfrac {1}{24}}\pi ^{2}(\ln 2)^{2}-{\tfrac {1}{2}}\,\zeta ({\bar {3}},{\bar {1}})\,,$

som innehåller den alternerande dubbelsumman $\scriptstyle \zeta ({\bar {3}},{\bar {1}})~=\,\sum _{m>n>0}\,(-1)^{m+n}m^{-3}n^{-1}$. I allmänhet gäller för heltal n ≥ 2

$\operatorname {Li} _{n}({\tfrac {1}{2}})=-\zeta ({\bar {1}},{\bar {1}},\left\{1\right\}^{n-2})\,,$

där ζ(s₁, ..., s_k) är multipel-zetafunktionen, exempelvis

$\operatorname {Li} _{5}({\tfrac {1}{2}})=-\zeta ({\bar {1}},{\bar {1}},1,1,1)\,.$

3. Direkt ur polylogaritmens definition följer att

$\operatorname {Li} _{s}(e^{2\pi im/p})=p^{-s}\sum _{k=1}^{p}e^{2\pi imk/p}\,\zeta (s,{\tfrac {k}{p}})\qquad (m=1,2,\dots ,p-1)\,,$

där ζ är Hurwitzs zetafunktion.

Integralrepresentationer

För alla komplexa s och z gäller

$\operatorname {Li} _{s}(z)={\tfrac {1}{2}}z+{\Gamma (1\!-\!s,-\ln z) \over (-\ln z)^{1-s}}+2z\int _{0}^{\infty }{\frac {\sin(s\arctan t\,-\,t\ln z)}{(1+t^{2})^{s/2}\,(e^{2\pi t}-1)}}\,\mathrm {d} t.$

Relation till andra funktioner

• Då z=1 blir polylogaritmen Riemanns zetafunktion:

$\operatorname {Li} _{s}(1)=\zeta (s)\qquad ({\textrm {Re}}(s)>1)\,.$

• Polylogaritmen är även relaterad till Dirichlets etafunktion och Dirichlets betafunktion:

$\operatorname {Li} _{s}(-1)=-\eta (s)\,,$

och

$\operatorname {Li} _{s}(\pm i)=-2^{-s}\,\eta (s)\pm i\,\beta (s)\,.$

• Polylogaritmen är ett specialfall av ofullständiga polylogaritmen:

$\operatorname {Li} _{s}(z)=\operatorname {Li} _{s}(0,z)\,.$

• Polylogaritmen är ett specialfall av Lerchs transcendent:

$\operatorname {Li} _{s}(z)=z\,\Phi (z,s,1)\,.$

• Polylogaritmen är också relaterad till Hurwitzs zetafunktion:

$\operatorname {Li} _{s}(z)={\Gamma (1\!-\!s) \over (2\pi )^{1-s}}\left[i^{1-s}~\zeta \!\left(1\!-\!s,~{\frac {1}{2}}+{\ln(-z) \over {2\pi i}}\right)+i^{s-1}~\zeta \!\left(1\!-\!s,~{\frac {1}{2}}-{\ln(-z) \over {2\pi i}}\right)\right],$

utom då s=0,1,2,...

• Polylogaritmen är relaterad till Bernoullipolynomen emligt

$\operatorname {Li} _{n}(e^{2\pi ix})+(-1)^{n}\,\operatorname {Li} _{n}(e^{-2\pi ix})=-{(2\pi i)^{n} \over n!}\,B_{n}(x)\,,$

där 0 ≤ Re(x) < 1 om Im(x) ≥ 0, och 0 < Re(x) ≤ 1 om Im(x) < 0.

• Legendres chifunktion χ_s(z) kan skrivas med hjälp av polylogaritmen::

$\chi _{s}(z)={\tfrac {1}{2}}\left[\operatorname {Li} _{s}(z)-\operatorname {Li} _{s}(-z)\right].$

• Polylogaritmen av heltalsordning kan skrivas med hjälp av generaliserade hypergeometriska funktionen:

$\operatorname {Li} _{n}(z)=z\;_{n+1}F_{n}(1,1,\dots ,1;\,2,2,\dots ,2;\,z)\qquad (n=0,1,2,\ldots )~$

$\operatorname {Li} _{-n}(z)=z\;_{n}F_{n-1}(2,2,\dots ,2;\,1,1,\dots ,1;\,z)\qquad (n=1,2,3,\ldots )~.$

• Inversa tangensintegralen Ti_s(z) är relaterad till polylogaritmen enligt

$Ti_{s}(z)={1 \over 2i}\left[\operatorname {Li} _{s}(iz)-\operatorname {Li} _{s}(-iz)\right].$

Av det här följer:

$Ti_{0}(z)={z \over 1+z^{2}},\quad Ti_{1}(z)=\arctan z,\quad Ti_{2}(z)=\int _{0}^{z}{\arctan t \over t}\,\mathrm {d} t,$

$\quad \ldots ~,\quad Ti_{n+1}(z)=\int _{0}^{z}{Ti_{n}(t) \over t}\,\mathrm {d} t\,.$

Gränsvärden

$\lim _{|z|\rightarrow 0}\operatorname {Li} _{s}(z)=z$

$\lim _{|\mu |\rightarrow 0}\operatorname {Li} _{s}(e^{\mu })=\Gamma (1\!-\!s)\,(-\mu )^{s-1}\qquad (\mathrm {Re} (s)<1)$

$\lim _{\mathrm {Re} (\mu )\rightarrow \infty }\operatorname {Li} _{s}(-e^{\mu })=-{\mu ^{s} \over \Gamma (s+1)}\qquad (s\neq -1,-2,-3,\ldots )$

$\lim _{\mathrm {Re} (\mu )\rightarrow \infty }\operatorname {Li} _{-n}(e^{\mu })=-(-1)^{n}\,e^{-\mu }\qquad (n=1,2,3,\ldots )$

$\lim _{\mathrm {Re} (s)\rightarrow \infty }\operatorname {Li} _{s}(z)=z$

$\lim _{\mathrm {Re} (s)\rightarrow -\infty }\operatorname {Li} _{s}(e^{\mu })=\Gamma (1\!-\!s)\,(-\mu )^{s-1}\qquad (-\pi <\mathrm {Im} (\mu )<\pi )$

$\lim _{\mathrm {Re} (s)\rightarrow -\infty }\operatorname {Li} _{s}(-e^{\mu })=\Gamma (1\!-\!s)\left[(-\mu -i\pi )^{s-1}+(-\mu +i\pi )^{s-1}\right]\qquad (\mathrm {Im} (\mu )=0)$

Övrigt

Definiera $\scriptstyle \rho \,=\,{\tfrac {1}{2}}({\sqrt {5}}-1)$. Då gäller

$\operatorname {Li} _{2}(\rho ^{6})=4\operatorname {Li} _{2}(\rho ^{3})+3\operatorname {Li} _{2}(\rho ^{2})-6\operatorname {Li} _{2}(\rho )+{\tfrac {7}{30}}\pi ^{2}$

och

$\operatorname {Li} _{2}(\rho )={\tfrac {1}{10}}\pi ^{2}-\ln ^{2}\rho .$

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Polylogarithm, 4 november 2013.

Externa länkar

• Wikimedia Commons har media som rör Polylogaritmen.
  Bilder & media