Hurwitzsche Zeta-Funktion

Die Hurwitzsche Zeta-Funktion (nach Adolf Hurwitz) ist eine der vielen bekannten Zeta-Funktionen, die in der analytischen Zahlentheorie, einem Teilgebiet der Mathematik, eine wichtige Rolle spielt.

Die formale Definition für komplexe $s,q$ lautet

$\zeta (s,q)=\sum _{n=0}^{\infty }{\frac {1}{(q+n)^{s}}}\qquad \quad \mathrm {Re} (s)>1{\text{ und Re}}(q)>0$

Die Reihe konvergiert absolut und kann zu einer meromorphen Funktion erweitert werden für alle $s\not =1.$

Die Riemannsche Zeta-Funktion ist dann $\zeta (s,1).$

Analytische Fortsetzung

Die Hurwitzsche Zeta-Funktion kann zu einer meromorphen Funktion fortgesetzt werden, sodass sie für alle komplexen $s\not =1$ definiert ist. Bei s=1 liegt ein einfacher Pol mit Residuum 1 vor.

Es gilt dann

$\lim _{s\to 1}\left[\zeta (s,q)-{\frac {1}{s-1}}\right]={\frac {-\Gamma '(q)}{\Gamma (q)}}=-\psi (q)$

unter Verwendung der Gammafunktion $\Gamma (\cdot )$ und der Digammafunktion $\psi (\cdot )$ .

Reihendarstellungen

Helmut Hasse fand 1930 die Reihendarstellung

$\zeta (s,q)={\frac {1}{s-1}}\sum _{n=0}^{\infty }{\frac {1}{n+1}}\sum _{k=0}^{n}(-1)^{k}{n \choose k}(q+k)^{1-s}$

für $q>-1$ und $s\in \mathbb {C} \setminus \{1\}$ .

Laurent-Entwicklung

Die Laurent-Entwicklung um s=1 lautet:

$\zeta (s,q)={\frac {1}{s-1}}+\sum _{n=0}^{\infty }{\frac {(-1)^{n}\gamma _{n}(q)}{n!}}(s-1)^{n}$

mit $0<q\leq 1$ . $\gamma _{n}(q)$ sind die Verallgemeinerten Stieltjes-Konstanten:

$\gamma _{n}(q):=\lim _{N\to \infty }\left(\sum _{k=0}^{N}{\frac {\log ^{n}(k+q)}{k+q}}-{\frac {\log ^{n+1}(N+q)}{n+1}}\right)$

für $n=0,1,2,\dots$

Fourier-Reihe

$\zeta (s,a)=2(2\pi )^{s-1}\Gamma (1-s)\left(\sin \left({\frac {\pi s}{2}}\right)\sum _{k=1}^{\infty }{\frac {\cos(2\pi ak)}{k^{1-s}}}+\cos \left({\frac {\pi s}{2}}\right)\sum _{k=1}^{\infty }{\frac {\sin(2\pi ak)}{k^{1-s}}}\right)$

mit $\mathrm {Re} (s)<1{\text{ und }}0<a\leq 1$ .

Integraldarstellung

Die Integraldarstellung lautet

$\zeta (s,q)={\frac {1}{\Gamma (s)}}\int \limits _{0}^{\infty }{\frac {t^{s-1}e^{-qt}}{1-e^{-t}}}\mathrm {d} t$

wobei $\mathrm {Re} (s)>1$ und $\mathrm {Re} (q)>0$

Hurwitz-Formel

Die Formel von Hurwitz ist eine Darstellung der Funktion für $0\leq x\leq 1$ und $s>1.$ Sie lautet:

$\zeta (1-s,x)={\frac {1}{2s}}\left[e^{-\mathrm {i} \pi s/2}\beta (x;s)+e^{\mathrm {i} \pi s/2}\beta (1-x;s)\right]$

wobei

$\beta (x;s)=2\Gamma (s+1)\sum _{n=1}^{\infty }{\frac {\exp(2\pi \mathrm {i} nx)}{(2\pi n)^{s}}}={\frac {2\Gamma (s+1)}{(2\pi )^{s}}}{\mbox{Li}}_{s}(e^{2\pi \mathrm {i} x})$

Dabei bezeichnet ${\mbox{Li}}_{s}(z)$ den Polylogarithmus.

Funktionalgleichung

Für alle und $1\leq m\leq n$ gilt

$\zeta \left(1-s,{\frac {m}{n}}\right)={\frac {2\Gamma (s)}{(2\pi n)^{s}}}\sum _{k=1}^{n}\cos \left({\frac {\pi s}{2}}-{\frac {2\pi km}{n}}\right)\;\zeta \left(s,{\frac {k}{n}}\right).$

Werte

Nullstellen

Da sich für q=1 und $q=\tfrac12$ die Riemannsche Zeta-Funktion bzw. diese multipliziert mit einer einfachen Funktion von ergibt, führt dies zu der komplizierten Nullstellenberechnung der Riemannschen Zeta-Funktion mit der Riemannschen Vermutung.

Für diese hat die Hurwitzsche Zeta-Funktion keine Nullstellen mit einem Realteil größergleich 1.

Für 0<q<1 und $q\not ={\tfrac {1}{2}}$ gibt es dagegen Nullstellen für jeden Steifen $1<\mathrm {Re} (s)<1+\epsilon$ mit einem positiv-reellen $\epsilon$ . Dies wurde für rationale und nicht-algebraische-irrationale von Davenport und Heilbronn bewiesen; für algebraische irrationale von Cassels.

Rationale Argumente

Die Hurwitzsche Zeta-Funktion tritt etwa im Zusammenhang mit den Euler-Polynomen $E_{n}(x)$ auf:

$E_{2n-1}\left({\frac {p}{q}}\right)=(-1)^{n}{\frac {4(2n-1)!}{(2\pi q)^{2n}}}\sum _{k=1}^{q}\zeta \left(2n,{\frac {2k-1}{2q}}\right)\cos {\frac {(2k-1)\pi p}{q}}$

und

$E_{2n}\left({\frac {p}{q}}\right)=(-1)^{n}{\frac {4(2n)!}{(2\pi q)^{2n+1}}}\sum _{k=1}^{q}\zeta \left(2n+1,{\frac {2k-1}{2q}}\right)\sin {\frac {(2k-1)\pi p}{q}}.$

Ferner gilt

$\zeta \left(s,{\frac {2p-1}{2q}}\right)=2(2q)^{s-1}\sum _{k=1}^{q}\left[C_{s}\left({\frac {k}{q}}\right)\cos \left({\frac {(2p-1)\pi k}{q}}\right)+S_{s}\left({\frac {k}{q}}\right)\sin \left({\frac {(2p-1)\pi k}{q}}\right)\right]$

mit $1\leq p\leq q$ . Dabei werden $C_{\nu }(x)$ und $S_{\nu }(x)$ wie folgt mit der legendreschen Chi-Funktion $\chi _{\nu }$ definiert:

$C_{\nu }(x)=\operatorname {Re} \,\chi _{\nu }(e^{\mathrm {i} x})$

bzw.

$S_{\nu }(x)=\operatorname {Im} \,\chi _{\nu }(e^{\mathrm {i} x}).$

Weitere

Es gilt (Auswahl):

$\zeta (s,-1)=\zeta (s)+1\,$

$\zeta (s,2)=\zeta (s)-1\,$

$\zeta (s,0)=\zeta (s,1)\,$

$\zeta \left(s,{\frac {m}{n}}\right)={\frac {1}{n}}\sum _{k=1}^{n}n^{s}\cdot \mathrm {Li} _{s}\left(e^{\frac {2\pi \mathrm {i} k}{n}}\right)e^{-{\frac {2\pi \mathrm {i} km}{n}}}\qquad \qquad m,n\in \mathbb {N} ^{+}{\text{ und }}m\leq n$

$\zeta (0,a)={\frac {1}{2}}-a$

$\zeta (2,{\tfrac {1}{4}})=\pi ^{2}+8G$

$\zeta (2,{\tfrac {1}{2}}+{\tfrac {x}{\pi }})+\zeta (2,{\tfrac {1}{2}}-{\tfrac {x}{\pi }})={\frac {\pi ^{2}}{\cos ^{2}x}}$

(Riemannsche Zeta-Funktion, Catalansche Konstante)

Ableitungen

Es gilt

${\frac {\partial ^{n}\zeta (s,a)}{\partial s^{n}}}={\frac {(-1)^{n}}{2^{n}}}\sum _{k=0}^{\infty }{\frac {\log ^{n}\left((a+k)^{2}\right)}{\left((a+k)^{2}\right)^{s/2}}}$

mit $-a\notin \mathbb {N}$ sowie $\mathrm {Re} (s)>1$ und $n\in \mathbb {N}$ .

Die Ableitungen nach ergeben sich zu

${\frac {\partial ^{n}\zeta (s,a)}{\partial a^{n}}}=(1-n-s,n)\sum _{k=0}^{\infty }{\frac {1}{(a+k)^{n}\left((a+k)^{2}\right)^{s/2}}}$

für $a\notin \mathbb {N}$ und $n\in \mathbb {N}$ unter Verwendung des Pochhammer-Symbol (x,n) .

Beziehungen zu anderen Funktionen

Bernoulli-Polynome

Die im Abschnitt Hurwitz-Formel definierte Funktion $\beta$ verallgemeinert die Bernoulli-Polynome $B_{n}(x)$ :

$B_{n}(x)=-\mathrm {Re} \left[(-\mathrm {i} )^{n}\beta (x;n)\right]$

Alternativ kann man sagen, dass

$\zeta (-n,x)=-{\frac {B_{n+1}(x)}{n+1}}.$

Für n=0 ergibt das

$\zeta (0,x)={\frac {1}{2}}-x.$

Jacobische Theta-Funktion

Mit $\vartheta (z,\tau )$ , der Jacobischen Theta-Funktion gilt

$\int \limits _{0}^{\infty }\left[\vartheta (z,\mathrm {i} t)-1\right]t^{s/2}{\frac {\mathrm {d} t}{t}}=\pi ^{-(1-s)/2}\Gamma \left({\frac {1-s}{2}}\right)\left[\zeta (1-s,z)+\zeta (1-s,1-z)\right]$

wobei $\mathrm {Re} (s)>0$ und $z\in \mathbb {C} \,\setminus \,\mathbb {Z}$ .

Ist z=n ganz, vereinfacht sich dies zu

$\int \limits _{0}^{\infty }\left[\vartheta (n,\mathrm {i} t)-1\right]t^{s/2}{\frac {\mathrm {d} t}{t}}=2\ \pi ^{-(1-s)/2}\ \Gamma \left({\frac {1-s}{2}}\right)\zeta (1-s)=2\ \pi ^{-s/2}\ \Gamma \left({\frac {s}{2}}\right)\zeta (s).$

( $\zeta$ mit einem Argument steht für die Riemannsche Zeta-Funktion)

Polygammafunktion

Die Hurwitzsche Zeta-Funktion verallgemeinert die Polygammafunktion auf nicht-ganze Ordnungen :

$\psi _{s}(z)={\frac {1}{\Gamma (-s)}}\left({\frac {\partial }{\partial s}}+\psi (-s)+\gamma \right)\zeta (s+1,z)$

mit der Euler-Mascheroni-Konstanten $\gamma$ .

Auftreten

Die Hurwitzschen Zeta-Funktionen finden an verschiedenen Stellen Anwendung, nicht nur in der Zahlentheorie. Sie tritt bei Fraktalen und dynamischen Systemen ebenso wie im zipfschen Gesetz auf.

In der Teilchenphysik kommt sie in einer Formel von Julian Schwinger vor, die ein genaues Resultat für die Paarbildungs-Rate von in der Dirac-Gleichung beschriebenen Elektronen in Feldern gibt.

Spezialfälle und Verallgemeinerungen

Eine Verallgemeinerung der Hurwitzschen Zeta-Funktion bietet

$\Phi (z,s,q)=\sum _{k=0}^{\infty }{\frac {z^{k}}{(k+q)^{s}}}$ ,

so dass

$\zeta (s,q)=\Phi (1,s,q).$

Diese Funktion wird als Lerchsche Zeta-Funktion bezeichnet.

Die Hurwitzsche Zeta-Funktion lässt sich durch die verallgemeinerte hypergeometrische Funktion ausdrücken:

$\zeta (s,a)=a^{-s}\cdot {}_{s+1}F_{s}(1,a_{1},a_{2},\ldots a_{s};a_{1}+1,a_{2}+1,\ldots a_{s}+1;1)$

mit $a_{1}=a_{2}=\ldots =a_{s}=a{\text{ und }}a\notin \mathbb {N} {\text{ und }}s\in \mathbb {N} ^{+}.$

Außerdem gilt mit der Meijerschen G-Funktion:

$\zeta (s,a)=G\,_{s+1,\,s+1}^{\,1,\,s+1}\left(-1\;\left|\;{\begin{matrix}0,1-a,\ldots ,1-a\\0,-a,\ldots ,-a\end{matrix}}\right)\right.$

mit $s\in \mathbb {N} ^{+}$ .

Basierend auf einem Artikel in:

Wikipedia.de