In der Mathematik werden verschiedene spezielle Funktionen als Dilogarithmus bezeichnet. Der klassische Dilogarithmus wird Spencesche Funktion genannt und er stellt einen Spezialfall des Polylogarithmus dar. Akkurat handelt es sich bei der Spenceschen Funktion um den Polylogarithmus mit dem Index Zwei. Wenn der index jedoch Drei lautet, so wird dann bei der betroffenen Funktion der sogenannte Trilogarithmus repräsentiert. Wenn der klassische Dilogarithmus, also die Spencesche Funktion mit dem negativen Abbild der betroffenen Funktion aus der negativ geschalteten inneren Variable arithmetisch gemittelt wird, dann entsteht die sogenannte Legendresche Chifunktion mit dem Index Zwei. Und das imaginäre Abbild dieser Funktion wird als Arkustangensintegral bezeichnet. Speziell für den Spenceschen Dilogarithmus gilt außerdem die Tatsache, dass über die Substitution der inneren Variable durch die Differenz Eins minus Exponentialkehrwert die Debyesche Funktion mit dem Index Zwei entsteht, welche in der Thermodynamik bei der Beschreibung der Strahlungsenergien in Schwarzen Körpern verwendet wird.
Klassischer Dilogarithmus Werte des klassischen Dilogarithmus auf der reellen Achse. (Der Imaginärteil ist dort identisch Null.) Der klassische Dilogarithmus ist für komplexe Zahlen z {\displaystyle z} mit | z | < 1 {\displaystyle |z|<1} definiert durch die Potenzreihe
Li 2 ( z ) = ∑ k = 1 ∞ z k k 2 {\displaystyle \operatorname {Li} _{2}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{2}}}} .Er lässt sich durch analytische Fortsetzung auf C ∖ [ 1 , ∞ ] {\displaystyle \mathbb {C} \setminus \left[1,\infty \right]} fortsetzen:
Li 2 ( z ) = − ∫ 0 z ln ( 1 − t ) t d t {\displaystyle \operatorname {Li} _{2}(z)=-\int _{0}^{z}{\frac {\ln(1-t)}{t}}\,\mathrm {d} t} .(Hierbei muss entlang eines Weges in C ∖ [ 1 , ∞ ] {\displaystyle \mathbb {C} \setminus \left[1,\infty \right]} integriert werden.)
Darauf basierend kann weiter die Legendresche Chifunktion mit dem Index Zwei definiert werden:
χ 2 ( z ) = 1 2 Li 2 ( z ) − 1 2 Li 2 ( − z ) = Li 2 ( z ) − 1 4 Li 2 ( z 2 ) = 1 4 Li 2 ( z 2 ) − Li 2 ( − z ) {\displaystyle \chi _{2}(z)={\frac {1}{2}}\operatorname {Li} _{2}(z)-{\frac {1}{2}}\operatorname {Li} _{2}(-z)=\operatorname {Li} _{2}(z)-{\frac {1}{4}}\operatorname {Li} _{2}(z^{2})={\frac {1}{4}}\operatorname {Li} _{2}(z^{2})-\operatorname {Li} _{2}(-z)} Und das Arkustangensintegral ist das imaginäre Gegenstück von der genannten Legendreschen Chifunktion:
Ti 2 ( z ) = − i χ 2 ( i z ) = ∫ 0 1 1 x arctan ( x z ) d x {\displaystyle \operatorname {Ti} _{2}(z)=-i\chi _{2}(iz)=\int _{0}^{1}{\frac {1}{x}}\arctan(xz)\,\mathrm {d} x} Außerdem kann basierend auf dem Dilogarithmus der Trilogarithmus direkt definiert werden:
Li 3 ( z ) = ∫ 0 1 1 x Li 2 ( x z ) d x {\displaystyle \operatorname {Li} _{3}(z)=\int _{0}^{1}{\frac {1}{x}}\operatorname {Li} _{2}(xz)\,\mathrm {d} x} Bloch-Wigner-Dilogarithmus Der Bloch-Wigner-Dilogarithmus ist für z ∈ C {\displaystyle z\in \mathbb {C} } definiert durch
D 2 ( z ) = Im ( Li 2 ( z ) ) + arg ( 1 − z ) ln ( | z | ) {\displaystyle \operatorname {D} _{2}(z)=\operatorname {Im} (\operatorname {Li} _{2}(z))+\arg(1-z)\ln(|z|)} .Er ist wohl-definiert und stetig, auch in [ 1 , ∞ ] {\displaystyle \left[1,\infty \right]} .
Er ist analytisch in C ∖ { 0 , 1 } {\displaystyle \mathbb {C} \setminus \left\{0,1\right\}} , in 0 und 1 hat er Singularitäten vom Typ r ln ( r ) {\displaystyle r\ln(r)} .
Rogers-Dilogarithmus Der Rogers-Dilogarithmus ist definiert durch
L ( x ) = 6 π 2 ( Li 2 ( x ) + 1 2 ln ( x ) ln ( 1 − x ) ) {\displaystyle L(x)={\frac {6}{\pi ^{2}}}\left(\operatorname {Li} _{2}(x)+{\frac {1}{2}}\ln(x)\ln(1-x)\right)} für 0 < x < 1 {\displaystyle 0<x<1} .
Eine andere gebräuchliche Definition ist
R ( x ) = Li 2 ( x ) + 1 2 ln ( x ) ln ( 1 − x ) − π 2 6 {\displaystyle R(x)=\operatorname {Li} _{2}(x)+{\frac {1}{2}}\ln(x)\ln(1-x)-{\frac {\pi ^{2}}{6}}} .Diese hängt mit der erstgenannten via
R ( x ) = π 2 6 ( L ( x ) − 1 ) {\displaystyle R(x)={\frac {\pi ^{2}}{6}}(L(x)-1)} zusammen.
Man kann R {\displaystyle R} (unstetig) auf ganz R {\displaystyle \mathbb {R} } fortsetzen durch R ( 1 ) = 0 , R ( 0 ) = − π 2 6 {\displaystyle R(1)=0,R(0)=-{\frac {\pi ^{2}}{6}}} und
R ( x ) = { − R ( 1 / x ) für x > 1 − R ( x / ( x − 1 ) ) für x < 0 } {\displaystyle R(x)=\left\{{\begin{array}{ll}-R(1/x)\ &{\mbox{für}}\ x>1\\-R(x/(x-1))\ &{\mbox{für}}\ x<0\end{array}}\right\}} .Elliptischer Dilogarithmus Sei E {\displaystyle E} eine über Q {\displaystyle \mathbb {Q} } definierte elliptische Kurve . Mittels der Weierstraßschen ℘-Funktion lässt sie sich mittels eines Gitters Λ = { 1 , τ } {\displaystyle \Lambda =\left\{1,\tau \right\}} parametrisieren durch
C / Λ → E ( C ) {\displaystyle \mathbb {C} /\Lambda \rightarrow E(\mathbb {C} )} u {\displaystyle u} mod Λ ↦ ( p ( u ) , p ′ ( u ) ) {\displaystyle \Lambda \mapsto (p(u),p^{\prime }(u))} .Der elliptische Dilogarithmus D E : E ( C ) → C {\displaystyle D^{E}\colon E(\mathbb {C} )\rightarrow \mathbb {C} } ist dann definiert durch
D E ( p ( u ) , p ′ ( u ) ) = ∑ n = − ∞ ∞ D 2 ( e 2 π i ( n τ + u ) ) {\displaystyle D^{E}(p(u),p^{\prime }(u))=\sum _{n=-\infty }^{\infty }D_{2}(e^{2\pi i(n\tau +u)})} ,wobei D 2 {\displaystyle D_{2}} den Bloch-Wigner-Dilogarithmus bezeichnet.
Der elliptische Dilogarithmus stimmt bis auf rationale Vielfache von π {\displaystyle \pi } mit dem Wert L ( E , 2 ) {\displaystyle L(E,2)} der L-Funktion überein.[1]
Spezielle Werte Klassischer Dilogarithmus Für die folgenden Zahlen lassen sich z {\displaystyle z} und Li 2 ( z ) {\displaystyle \operatorname {Li} _{2}(z)} in geschlossener Form darstellen:
Li 2 ( − 1 ) = − π 2 12 , Li 2 ( 0 ) = 0 , {\displaystyle \operatorname {Li} _{2}(-1)=-{\frac {{\pi }^{2}}{12}},\qquad \operatorname {Li} _{2}(0)=0,} Li 2 ( 1 2 ) = π 2 12 − 1 2 ln 2 ( 2 ) , Li 2 ( 1 ) = π 2 6 {\displaystyle \operatorname {Li} _{2}{\biggl (}{\frac {1}{2}}{\biggr )}={\frac {{\pi }^{2}}{12}}-{\frac {1}{2}}\ln ^{2}(2),\qquad \operatorname {Li} _{2}(1)={\frac {{\pi }^{2}}{6}}} ,Li 2 ( − Φ − 1 ) = − π 2 15 + 1 2 ln 2 ( Φ ) , Li 2 ( − Φ ) = − π 2 10 − ln 2 ( Φ ) , {\displaystyle \operatorname {Li} _{2}(-\Phi ^{-1})=-{\frac {{\pi }^{2}}{15}}+{\frac {1}{2}}\ln ^{2}(\Phi ),\qquad \operatorname {Li} _{2}(-\Phi )=-{\frac {{\pi }^{2}}{10}}-\ln ^{2}(\Phi ),} Li 2 ( Φ − 2 ) = π 2 15 − ln 2 ( Φ ) , Li 2 ( Φ − 1 ) = π 2 10 − ln 2 ( Φ ) {\displaystyle \operatorname {Li} _{2}(\Phi ^{-2})={\frac {{\pi }^{2}}{15}}-\ln ^{2}(\Phi ),\qquad \operatorname {Li} _{2}(\Phi ^{-1})={\frac {{\pi }^{2}}{10}}-\ln ^{2}(\Phi )} .Mit dem Kürzel Φ wird hierbei die Zahl des Goldenen Schnittes ausgedrückt: Φ = ( 5 + 1 ) / 2 {\displaystyle \Phi =({\sqrt {5}}+1)/2}
Mit der sechsten Einheitswurzel ω = 1 2 + 3 2 i {\displaystyle \omega ={\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i} und der Gieseking-Konstante V 0 = 1,014 9 … {\displaystyle V_{0}=1{,}0149\ldots } hat man außerdem
Li 2 ( ω ) = π 2 36 + V 0 i , Li 2 ( ω 2 ) = − π 2 18 + 2 3 V 0 i , {\displaystyle \operatorname {Li} _{2}(\omega )={\frac {\pi ^{2}}{36}}+V_{0}i,\qquad \operatorname {Li} _{2}(\omega ^{2})=-{\frac {\pi ^{2}}{18}}+{\frac {2}{3}}V_{0}i,} Li 2 ( 1 + ω ) = π 2 9 + ( 2 3 V 0 + 1 3 ln ( 3 ) π ) i , Li 2 ( 1 1 + ω ) = 5 π 2 72 − 1 8 ln ( 3 ) + ( − 2 3 V 0 + 1 12 ln ( 3 ) π ) i {\displaystyle \operatorname {Li} _{2}(1+\omega )={\frac {\pi ^{2}}{9}}+\left({\frac {2}{3}}V_{0}+{\frac {1}{3}}\ln(3)\pi \right)i,\qquad \operatorname {Li} _{2}\left({\frac {1}{1+\omega }}\right)={\frac {5\pi ^{2}}{72}}-{\frac {1}{8}}\ln(3)+\left(-{\frac {2}{3}}V_{0}+{\frac {1}{12}}\ln(3)\pi \right)i} .Bloch-Wigner-Dilogarithmus Werte des Bloch-Wigner-Dilogarithmus können bisher nur numerisch berechnet werden und man kennt nur wenige algebraische Relationen zwischen Werten des Bloch-Wigner-Dilogarithmus. Eine Vermutung von John Milnor besagt für N ≥ 3 {\displaystyle N\geq 3} :
die Zahlen D 2 ( e 2 π i j N ) {\displaystyle D_{2}(e^{2\pi i{\frac {j}{N}}})} für 0 < j < N 2 {\displaystyle 0<j<{\frac {N}{2}}} und ggT ( j , N ) = 1 {\displaystyle \operatorname {ggT} (j,N)=1} sind linear unabhängig über Q {\displaystyle \mathbb {Q} } . Rogers-Dilogarithmus Es gibt zahlreiche algebraische Identitäten zwischen Werten von L {\displaystyle L} in rationalen oder algebraischen Argumenten. Beispiele spezieller Werte sind
L ( 0 ) = 0 , L ( 1 2 ) = 1 2 , L ( 1 ) = 1 , L ( 3 − 5 2 ) = 2 5 , L ( 5 − 1 2 ) = 3 5 {\displaystyle L(0)=0,\quad L\left({\frac {1}{2}}\right)={\frac {1}{2}},\quad L(1)=1,\quad L\left({\frac {3-{\sqrt {5}}}{2}}\right)={\frac {2}{5}},\quad L\left({\frac {{\sqrt {5}}-1}{2}}\right)={\frac {3}{5}}} .Mit der sechsten Einheitswurzel ω = 1 2 + 3 2 i {\displaystyle \omega ={\frac {1}{2}}+{\frac {\sqrt {3}}{2}}i} und der Gieseking-Konstante V 0 = 1 , 0149... {\displaystyle V_{0}=1,0149...} hat man
R ( ω ) = − π 2 12 + V 0 i , R ( ω 2 ) = − π 2 6 + ( 2 3 V 0 + 1 6 ln ( 3 ) π ) i , {\displaystyle R(\omega )=-{\frac {\pi ^{2}}{12}}+V_{0}i,\qquad R(\omega ^{2})=-{\frac {\pi ^{2}}{6}}+\left({\frac {2}{3}}V_{0}+{\frac {1}{6}}\ln(3)\pi \right)i,} R ( 1 + ω ) = ( 2 3 V 0 + 1 6 ln ( 3 ) π ) i , R ( 1 1 + ω ) = − π 2 12 − 1 8 ln ( 3 ) + 1 8 ln 2 ( 3 ) + ( − 2 3 V 0 + 1 12 ln ( 3 ) π ) i {\displaystyle R(1+\omega )=\left({\frac {2}{3}}V_{0}+{\frac {1}{6}}\ln(3)\pi \right)i,\qquad R\left({\frac {1}{1+\omega }}\right)=-{\frac {\pi ^{2}}{12}}-{\frac {1}{8}}\ln(3)+{\frac {1}{8}}\ln ^{2}(3)+\left(-{\frac {2}{3}}V_{0}+{\frac {1}{12}}\ln(3)\pi \right)i} Basler Problem Der Beweis des Wertes vom Dilogarithmus von Eins wird im sogenannten Basler Problem behandelt. Dieser Beweis kann auf folgende Weise absolviert werden:
Folgende Funktion hat folgende Ableitung:
d d x [ 2 Li 2 ( x x 2 + 1 + 1 ) − 1 2 Li 2 ( x 2 + 1 − 1 x 2 + 1 + 1 ) ] = arsinh ( x ) x x 2 + 1 {\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}2\operatorname {Li} _{2}{\biggl (}{\frac {x}{{\sqrt {x^{2}+1}}+1}}{\biggr )}-{\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {{\sqrt {x^{2}+1}}-1}{{\sqrt {x^{2}+1}}+1}}{\biggr )}{\biggr ]}={\frac {\operatorname {arsinh} (x)}{x{\sqrt {x^{2}+1}}}}} Deswegen gilt folgendes Integral:
∫ 0 ∞ arsinh ( x ) x x 2 + 1 d x = [ 2 Li 2 ( x x 2 + 1 + 1 ) − 1 2 Li 2 ( x 2 + 1 − 1 x 2 + 1 + 1 ) ] x = 0 x = ∞ = 3 2 Li 2 ( 1 ) {\displaystyle \int _{0}^{\infty }{\frac {\operatorname {arsinh} (x)}{x{\sqrt {x^{2}+1}}}}\,\mathrm {d} x={\biggl [}2\operatorname {Li} _{2}{\biggl (}{\frac {x}{{\sqrt {x^{2}+1}}+1}}{\biggr )}-{\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {{\sqrt {x^{2}+1}}-1}{{\sqrt {x^{2}+1}}+1}}{\biggr )}{\biggr ]}_{x=0}^{x=\infty }={\frac {3}{2}}\,{\text{Li}}_{2}(1)} Der Satz von Fubini liefert diesen Zusammenhang:
∫ 0 ∞ arsinh ( x ) x x 2 + 1 d x = ∫ 0 ∞ ∫ 0 1 1 − x 2 y 2 + x 2 + 1 d y d x = ∫ 0 1 ∫ 0 ∞ 1 − x 2 y 2 + x 2 + 1 d x d y = ∫ 0 1 π 2 1 − y 2 d y = π 2 4 {\displaystyle \int _{0}^{\infty }{\frac {\operatorname {arsinh} (x)}{x{\sqrt {x^{2}+1}}}}\mathrm {d} x=\int _{0}^{\infty }\int _{0}^{1}{\frac {1}{-x^{2}y^{2}+x^{2}+1}}\,\mathrm {d} y\,\mathrm {d} x=\int _{0}^{1}\int _{0}^{\infty }{\frac {1}{-x^{2}y^{2}+x^{2}+1}}\,\mathrm {d} x\,\mathrm {d} y=\int _{0}^{1}{\frac {\pi }{2{\sqrt {1-y^{2}}}}}\,\mathrm {d} y={\frac {\pi ^{2}}{4}}} Durch Gleichsetzung der beiden zuletzt genannten Formeln erhält man jenes Resultat:
3 2 Li 2 ( 1 ) = π 2 4 {\displaystyle {\frac {3}{2}}\,{\text{Li}}_{2}(1)={\frac {\pi ^{2}}{4}}} Aufgelöst entsteht der genannte Wert:
Li 2 ( 1 ) = π 2 6 {\displaystyle {\text{Li}}_{2}(1)={\frac {\pi ^{2}}{6}}} Exakt dieser Wert ist somit auch die unendliche Summe der Kehrwerte der Quadratzahlen:
∑ n = 1 ∞ 1 n 2 = π 2 6 {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}} Diese Tatsache geht direkt aus der Maclaurinschen Reihe vom Dilogarithmus hervor.
Funktionalgleichungen Klassischer Dilogarithmus Der klassische Dilogarithmus genügt zahlreichen Funktionalgleichungen, zum Beispiel
Li 2 ( z ) + Li 2 ( − z ) = 1 2 Li 2 ( z 2 ) , {\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(-z)={\frac {1}{2}}\operatorname {Li} _{2}(z^{2}),} Li 2 ( 1 − z ) + Li 2 ( 1 − 1 z ) = − ln 2 ( z ) 2 , {\displaystyle \operatorname {Li} _{2}(1-z)+\operatorname {Li} _{2}\left(1-{\frac {1}{z}}\right)=-{\frac {\ln ^{2}(z)}{2}},} Li 2 ( z ) + Li 2 ( 1 − z ) = π 2 6 − ln ( z ) ⋅ ln ( 1 − z ) , {\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1-z)={\frac {{\pi }^{2}}{6}}-\ln(z)\cdot \ln(1-z),} Li 2 ( − z ) − Li 2 ( 1 − z ) + 1 2 Li 2 ( 1 − z 2 ) = − π 2 12 − ln ( z ) ⋅ ln ( z + 1 ) , {\displaystyle \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),} Li 2 ( z ) + Li 2 ( 1 z ) = − π 2 6 − 1 2 ln 2 ( − z ) , {\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}\left({\frac {1}{z}}\right)=-{\frac {\pi ^{2}}{6}}-{\frac {1}{2}}\ln ^{2}(-z),} Li 2 ( z ) − 1 4 Li 2 ( z 2 ) = ∫ 0 1 arcsin ( x z ) 1 − x 2 d x {\displaystyle \operatorname {Li} _{2}(z)-{\frac {1}{4}}\operatorname {Li} _{2}(z^{2})=\int _{0}^{1}{\frac {\operatorname {arcsin} (xz)}{\sqrt {1-x^{2}}}}\,\mathrm {d} x} . Daraus folgt ebenso: Li 2 ( 1 ) = π 2 6 {\displaystyle \operatorname {Li} _{2}(1)={\frac {{\pi }^{2}}{6}}} .Bloch-Wigner-Dilogarithmus Der Bloch-Wigner-Dilogarithmus genügt den Identitäten
D 2 ( z ) = D 2 ( 1 − 1 z ) = D 2 ( 1 1 − z ) = − D 2 ( 1 z ) = − D 2 ( 1 − z ) = − D 2 ( − z 1 − z ) {\displaystyle \operatorname {D} _{2}(z)=\operatorname {D} _{2}\left(1-{\frac {1}{z}}\right)=\operatorname {D} _{2}\left({\frac {1}{1-z}}\right)=-\operatorname {D} _{2}\left({\frac {1}{z}}\right)=-\operatorname {D} _{2}(1-z)=-\operatorname {D} _{2}\left({\frac {-z}{1-z}}\right)} und der 5-Term-Relation
D 2 ( x ) + D 2 ( y ) + D 2 ( 1 − x 1 − x y ) + D 2 ( 1 − x y ) + D 2 ( 1 − y 1 − x y ) = 0 {\displaystyle \operatorname {D} _{2}(x)+\operatorname {D} _{2}(y)+\operatorname {D} _{2}\left({\frac {1-x}{1-xy}}\right)+\operatorname {D} _{2}(1-xy)+\operatorname {D} _{2}\left({\frac {1-y}{1-xy}}\right)=0} .Rogers-Dilogarithmus Der Rogers-Dilogarithmus erfüllt die Beziehung
L ( x ) + L ( 1 − x ) = 1 {\displaystyle L(x)+L(1-x)=1} und Abels Funktionalgleichung
L ( x ) + L ( y ) = L ( x y ) + L ( x ( 1 − y ) 1 − x y ) + L ( y ( 1 − x ) 1 − x y ) {\displaystyle L(x)+L(y)=L(xy)+L\left({\frac {x(1-y)}{1-xy}}\right)+L\left({\frac {y(1-x)}{1-xy}}\right)} .Für R {\displaystyle R} hat man
R ( x ) + R ( 1 − x ) = − π 2 6 {\displaystyle R(x)+R(1-x)=-{\frac {\pi ^{2}}{6}}} und die 5-Term-Relation
R ( x ) − R ( y ) + R ( y x ) − R ( 1 − x − 1 1 − y − 1 ) + R ( 1 − x 1 − y ) = 0 {\displaystyle R(x)-R(y)+R\left({\frac {y}{x}}\right)-R\left({\frac {1-x^{-1}}{1-y^{-1}}}\right)+R\left({\frac {1-x}{1-y}}\right)=0} ,insbesondere ist R {\displaystyle R} eine wohldefinierte Funktion auf der Bloch-Gruppe .
Integration von Funktionen Produkten von Logarithmusfunktionen und Kehrwertfunktionen Folgende Gleichung gilt für den Fall t > 0 ∩ v > 0 ∩ t w − u v < 0 {\displaystyle t>0\,\cap \,v>0\,\cap \,tw-uv<0} :
ln ( t x + u ) v x + w = d d x [ 1 v ln ( u v − t w v ) ln ( v x + w ) − 1 v Li 2 ( − t v x + w u v − t w ) ] {\displaystyle {\frac {\ln(tx+u)}{vx+w}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}{\frac {1}{v}}\ln {\biggl (}{\frac {uv-tw}{v}}{\biggr )}\ln(vx+w)-{\frac {1}{v}}\operatorname {Li} _{2}{\biggl (}-t{\frac {vx+w}{uv-tw}}{\biggr )}{\biggr ]}} Beispiel:
∫ 0 5 ln ( x + 2 ) 3 x + 4 d x = [ 1 3 ln ( 2 3 ) ln ( 3 x + 4 ) − 1 3 Li 2 ( − 3 2 x − 2 ) ] x = 0 x = 5 = = − 1 3 ln ( 3 2 ) ln ( 19 4 ) − 1 3 Li 2 ( − 19 2 ) + 1 3 Li 2 ( − 2 ) {\displaystyle {\begin{aligned}\int _{0}^{5}{\frac {\ln(x+2)}{3x+4}}\mathrm {d} x&={\biggl [}{\frac {1}{3}}\ln {\biggl (}{\frac {2}{3}}{\biggr )}\ln(3x+4)-{\frac {1}{3}}\operatorname {Li} _{2}{\biggl (}-{\frac {3}{2}}x-2{\biggr )}{\biggr ]}_{x=0}^{x=5}=\\&=-{\frac {1}{3}}\ln {\biggl (}{\frac {3}{2}}{\biggr )}\ln {\biggl (}{\frac {19}{4}}{\biggr )}-{\frac {1}{3}}\operatorname {Li} _{2}{\biggl (}-{\frac {19}{2}}{\biggr )}+{\frac {1}{3}}\operatorname {Li} _{2}(-2)\\\end{aligned}}} Folgende Gleichung gilt für den Fall t > 0 ∩ v > 0 ∩ t w − u v > 0 {\displaystyle t>0\,\cap \,v>0\,\cap \,tw-uv>0} :
ln ( t x + u ) v x + w = d d x [ 1 v ln ( t v x + w t w − u v ) ln ( t x + u ) + 1 v Li 2 ( − v t x + u t w − u v ) ] {\displaystyle {\frac {\ln(tx+u)}{vx+w}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}{\frac {1}{v}}\ln {\biggl (}t\,{\frac {vx+w}{tw-uv}}{\biggr )}\ln(tx+u)+{\frac {1}{v}}\operatorname {Li} _{2}{\biggl (}-v\,{\frac {tx+u}{tw-uv}}{\biggr )}{\biggr ]}} Beispiel:
∫ 0 1 ln ( 5 x + 6 ) 3 x + 4 d x = [ 1 3 ln ( 15 2 x + 10 ) ln ( 5 x + 6 ) + 1 3 Li 2 ( − 15 2 x − 9 ) ] x = 0 x = 1 = = 1 3 ln ( 35 2 ) ln ( 11 ) − 1 3 ln ( 10 ) ln ( 6 ) + 1 3 Li 2 ( − 33 2 ) − 1 3 Li 2 ( − 9 ) {\displaystyle {\begin{aligned}\int _{0}^{1}{\frac {\ln(5x+6)}{3x+4}}\mathrm {d} x&={\biggl [}{\frac {1}{3}}\ln {\biggl (}{\frac {15}{2}}x+10{\biggr )}\ln(5x+6)+{\frac {1}{3}}\operatorname {Li} _{2}{\biggl (}-{\frac {15}{2}}x-9{\biggr )}{\biggr ]}_{x=0}^{x=1}=\\&={\frac {1}{3}}\ln {\biggl (}{\frac {35}{2}}{\biggr )}\ln(11)-{\frac {1}{3}}\ln(10)\ln(6)+{\frac {1}{3}}\operatorname {Li} _{2}{\biggl (}-{\frac {33}{2}}{\biggr )}-{\frac {1}{3}}\operatorname {Li} _{2}(-9)\\\end{aligned}}} Produkte aus Areafunktionen und algebraischen Funktionen Weitere Funktionen lassen sich mit dem Dilogarithmus integrieren:
Areatangens-Hyperbolicus-Funktionen:
artanh ( x ) x = d d x [ Li 2 ( x ) − 1 4 Li 2 ( x 2 ) ] {\displaystyle {\frac {\operatorname {artanh} (x)}{x}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}\operatorname {Li} _{2}(x)-{\frac {1}{4}}\operatorname {Li} _{2}(x^{2}){\biggr ]}} artanh ( x ) x 1 − x 2 = d d x [ 2 Li 2 ( x 1 + 1 − x 2 ) − 1 2 Li 2 ( 1 − 1 − x 2 1 + 1 − x 2 ) ] {\displaystyle {\frac {\operatorname {artanh} (x)}{x{\sqrt {1-x^{2}}}}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}2\operatorname {Li} _{2}{\biggl (}{\frac {x}{1+{\sqrt {1-x^{2}}}}}{\biggr )}-{\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {1-{\sqrt {1-x^{2}}}}{1+{\sqrt {1-x^{2}}}}}{\biggr )}{\biggr ]}} artanh ( x ) x ( 1 − x 2 ) = d d x [ 1 2 Li 2 ( 2 x x + 1 ) + 1 2 artanh ( x ) 2 ] {\displaystyle {\frac {\operatorname {artanh} (x)}{x(1-x^{2})}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}{\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {2x}{x+1}}{\biggr )}+{\frac {1}{2}}\operatorname {artanh} (x)^{2}{\biggr ]}} Areasinus-Hyperbolicus-Funktionen:
arsinh ( x ) x = d d x { 1 2 Li 2 [ 1 − ( x 2 + 1 − x ) 2 ] + 1 2 arsinh ( x ) 2 } {\displaystyle {\frac {\operatorname {arsinh} (x)}{x}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl \{}{\frac {1}{2}}\operatorname {Li} _{2}{\bigl [}1-{\bigl (}{\sqrt {x^{2}+1}}-x{\bigr )}^{2}{\bigr ]}+{\frac {1}{2}}\operatorname {arsinh} (x)^{2}{\biggr \}}} Deswegen gilt: ∫ 0 1 / 2 arsinh ( x ) x d x = 1 2 Li 2 ( 1 2 5 − 1 2 ) + 1 2 arsinh ( 1 2 ) 2 = π 2 20 {\displaystyle \int _{0}^{1/2}{\frac {\operatorname {arsinh} (x)}{x}}\mathrm {d} x={\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {1}{2}}{\sqrt {5}}-{\frac {1}{2}}{\biggr )}+{\frac {1}{2}}\operatorname {arsinh} {\biggl (}{\frac {1}{2}}{\biggr )}^{2}={\frac {\pi ^{2}}{20}}} Daraus folgt: ∑ k = 0 ∞ ( − 1 ) k ( 2 k ) ! 16 k ( 2 k + 1 ) 2 ( k ! ) 2 = π 2 10 {\displaystyle \sum _{k=0}^{\infty }{\frac {(-1)^{k}(2k)!}{16^{k}(2k+1)^{2}(k!)^{2}}}={\frac {\pi ^{2}}{10}}} arsinh ( x ) x x 2 + 1 = d d x [ 2 Li 2 ( x x 2 + 1 + 1 ) − 1 2 Li 2 ( x 2 + 1 − 1 x 2 + 1 + 1 ) ] {\displaystyle {\frac {\operatorname {arsinh} (x)}{x{\sqrt {x^{2}+1}}}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}2\operatorname {Li} _{2}{\biggl (}{\frac {x}{{\sqrt {x^{2}+1}}+1}}{\biggr )}-{\frac {1}{2}}\operatorname {Li} _{2}{\biggl (}{\frac {{\sqrt {x^{2}+1}}-1}{{\sqrt {x^{2}+1}}+1}}{\biggr )}{\biggr ]}} arsinh ( x ) x ( x 2 + 1 ) = d d x [ Li 2 ( x x 2 + 1 ) − 1 4 Li 2 ( x 2 x 2 + 1 ) ] = d d x { Li 2 [ 1 − ( x 2 + 1 − x ) 2 ] − 1 4 Li 2 [ 1 − ( x 2 + 1 − x ) 4 ] } {\displaystyle {\frac {\operatorname {arsinh} (x)}{x(x^{2}+1)}}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl [}\operatorname {Li} _{2}{\biggl (}{\frac {x}{\sqrt {x^{2}+1}}}{\biggr )}-{\frac {1}{4}}\operatorname {Li} _{2}{\biggl (}{\frac {x^{2}}{x^{2}+1}}{\biggr )}{\biggr ]}={\frac {\mathrm {d} }{\mathrm {d} x}}{\biggl \{}\operatorname {Li} _{2}{\bigl [}1-{\bigl (}{\sqrt {x^{2}+1}}-x{\bigr )}^{2}{\bigr ]}-{\frac {1}{4}}\operatorname {Li} _{2}{\bigl [}1-{\bigl (}{\sqrt {x^{2}+1}}-x{\bigr )}^{4}{\bigr ]}{\biggr \}}} Siehe auch Weblinks Einzelnachweise ↑ K2 and L-functions of elliptic curves