Benutzer:HenrikHolke/Clausen-Funktion

In der Mathematik ist die Clausen-Funktion durch folgendes Integral definiert:

$\operatorname {Cl} _{2}(\theta )=-\int _{0}^{\theta }\log |2\sin(t/2)|\,dt.$

Allegmeine Definition

Allgemeiner definiert man für komplexe s mit Re s > 1:

$\operatorname {Cl} _{s}(\theta )=\sum _{n=1}^{\infty }{\frac {\sin(n\theta )}{n^{s}}}$

Diese Definition kann auf die gesamte komplexe Ebene analytisch fortgesetzt werden.

Beziehung zum Polylogarithmus

Die Clausen-Funktion steht in Beziehung zum Polylogarithmus:

$\operatorname {Cl} _{s}(\theta )=\Im (\operatorname {Li} _{s}(e^{i\theta }))$.

Kummers Beziehung

Ernst Kummer und Rogers führen folgende für $0\leq \theta \leq 2\pi$ gültige Beziehung an:

$\operatorname {Li} _{2}(e^{i\theta })=\zeta (2)-\theta (2\pi -\theta )/4+i\operatorname {Cl} _{2}(\theta )$

Beziehung zu den Dirichlet L-Funktionen

Für rationale Werte von $\theta /\pi$ kann die Funktion $\sin(n\theta )$ als periodischer Orbit eines Elementes einer zyklischen Gruppe aufgefasst werden. Folglich kann $\operatorname {Cl} _{s}(\theta )$ als einfache Summe aufgefasst werden, welche die Hurwitzsche Zeta-Funktion beinhaltet. Das erlaubt es, Beziehungen zwischen bestimmten Dirichlet L-Funktionen einfach zu berechnen.

die Clausen-Function als eine Regularisierungs-Methode

Die Clausen-Funktion kann auch als Methode betrachtet werden, um folgender divergenten Fourier-Reihen eine Bedeutung zu geben:

$\sin(\theta )+2\sin(2\theta )+3\sin(3\theta )+....$

which can be taken to have the value $\operatorname {Cl} _{-1}(\theta )$. By integrating, one may give a meaning to the series:

$\cos(\theta )+\cos(2\theta )+\cos(3\theta )+..........=-\int d{\theta }\operatorname {Cl} _{-1}(\theta )$

Dieses Ergebnis kann durch analytische Fortsetzung für alle negativen s verallgemeinert werden.

Reihenentwicklung

Eine Reihenentwicklung für die Clausen-Funktion (für $|\theta |<2\pi$) ist

${\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=1-\log |\theta |-\sum _{n=1}^{\infty }{\frac {\zeta (2n)}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{n}$

$\zeta (s)$ ist dabei die Riemannsche Zeta-Funktion. Eine schneller konvergierende Reihe ist

${\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=3-\log \left[|\theta |\left(1-{\frac {\theta ^{2}}{4\pi ^{2}}}\right)\right]-{\frac {2\pi }{\theta }}\log \left({\frac {2\pi +\theta }{2\pi -\theta }}\right)+\sum _{n=1}^{\infty }{\frac {\zeta (2n)-1}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{n}$

Die Konvergenz wird dadurch sichergestellt, dass $\zeta (n)-1$ für große n schnell gegen 0 konvergiert.

Spezielle Werte

Einige spezielle Werte sind:

$\operatorname {Cl} _{2}\left({\frac {\pi }{2}}\right)=G$,

wobei G die Catalansche Konstante ist.

References

• Leonard Lewin, (Ed.). Structural Properties of Polylogarithms (1991) American Mathematical Society, Providence, RI. ISBN 0-8218-4532-2
• Jonathan M. Borwein, David M. Bradley, Richard E. Crandall: Computational Strategies for the Riemann Zeta Function. In: J. Comp. App. Math.. 121, 2000, S. p.11.