Dirichletsche Etafunktion

In der analytischen Zahlentheorie ist die Dirichletsche η-Funktion eine spezielle Funktion, die nach dem deutschen Mathematiker Dirichlet (1805–1859) benannt ist. Sie ist verwandt mit der Riemannschen ${\displaystyle \zeta }$-Funktion.

Die Dirichletsche ${\displaystyle \eta }$-Funktion in der komplexen Zahlenebene.

Sie wird mit dem kleinen griechischen Buchstaben eta (${\displaystyle \eta }$) notiert; die Dedekindsche η-Funktion, eine Modulform, wird ebenfalls so bezeichnet.

Definition

Die Dirichletsche ${\displaystyle \eta }$-Funktion ist für alle komplexen ${\displaystyle s}$ mit Realteil größer als 0 definiert über die Dirichletreihe:

${\displaystyle \eta (s)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n^{s}}}=1-{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}-{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}-+\cdots .}$

Obwohl die Gültigkeit dieses Ausdrucks auf komplexe Zahlen mit positivem Realteil beschränkt ist, bildet er die Ausgangsbasis für alle Darstellungen der ${\displaystyle \eta }$-Funktion. Sie kann auf die ganze komplexe Zahlenebene analytisch fortgesetzt werden, was eine Berechnung der ${\displaystyle \eta }$-Funktion für alle beliebigen ${\displaystyle s}$ gewährleistet.

Euler-Produkt

Ihre zahlentheoretische Bedeutung erhält die ${\displaystyle \eta }$-Funktion durch ihre Verbindung zu den Primzahlen, die sich für ${\displaystyle \operatorname {Re} s>1}$ formelhaft durch das Euler-Produkt

${\displaystyle \eta (s)=\left(1-{\frac {1}{2^{s-1}}}\right)\prod _{p\ \mathrm {prim} }{\frac {1}{1-{\frac {1}{p^{s}}}}}=\left(1-{\frac {1}{2^{s-1}}}\right)\cdot {\frac {1}{(1-{\frac {1}{2^{s}}})(1-{\frac {1}{3^{s}}})(1-{\frac {1}{5^{s}}})\cdots }}}$

ausdrücken lässt.

Funktionalgleichung

In ganz ${\displaystyle \mathbb {C} }$ gilt die Identität:

${\displaystyle \eta (1-s)={\frac {2^{s}-1}{1-2^{s-1}}}\pi ^{-s}\cos \left({\frac {\pi s}{2}}\right)\Gamma (s)\eta (s).}$

Verbindung zur Riemannschen ζ-Funktion

Die Funktionalgleichung zwischen Dirichletscher ${\displaystyle \eta }$ und Riemannscher ${\displaystyle \zeta }$-Funktion lässt sich aus den Dirichletreihendarstellungen beider Funktionen gewinnen. Der ${\displaystyle \eta }$-Ausdruck wird durch Addition weiterer Dirichletreihen transformiert zu:

${\displaystyle \eta (s)+2\sum _{n=1}^{\infty }{\frac {1}{(2n)^{s}}}=\eta (s)+{\frac {2}{2^{s}}}\zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\zeta (s).}$

Daraus f​olgt der Zusammenhang:

${\displaystyle \eta (s)=(1-2^{1-s})\cdot \zeta (s),}$

der in ganz ${\displaystyle \mathbb {C} }$ Gültigkeit behält.

Weitere Darstellungen

Integraldarstellung

Eine Integraldarstellung für alle ${\displaystyle \operatorname {Re} s>0}$ enthält die Gammafunktion ${\displaystyle \Gamma (s)}$ und lautet:

${\displaystyle \eta (s)={\frac {1}{\Gamma (s)}}\int \limits _{0}^{\infty }{\frac {x^{s-1}}{e^{x}+1}}{\mathrm {d} x}}$.

Dies kann als Mellin-Transformation von ${\displaystyle {\tfrac {1}{e^{x}+1}}}$ verstanden werden. Gültig für alle ${\displaystyle s\in \mathbb {C} }$ ist:

${\displaystyle \eta (s)={\frac {2^{s-1}-1}{s-1}}-(2^{s}-2)\int \limits _{0}^{\infty }{\frac {\sin(s\arctan x)}{(1+x^{2})^{s/2}(e^{\pi x}+1)}}\mathrm {d} x.}$

Reihendarstellung

Eine in ganz ${\displaystyle \mathbb {C} }$ konvergente Reihe ergibt sich mit Hilfe der eulerschen Reihentransformation:

${\displaystyle \eta (s)=\sum _{n=0}^{\infty }{\frac {1}{2^{n+1}}}\sum _{k=0}^{n}(-1)^{k}{n \choose k}{\frac {1}{(k+1)^{s}}}.}$

Produktdarstellung

Für alle ${\displaystyle s\in \mathbb {C} }$ konvergiert das Hadamard-Produkt[1], benannt nach seinem Entdecker Jacques Hadamard:

${\displaystyle \eta (s)={\frac {1-2^{1-s}}{2(s-1)\,\Gamma (1+s/2)}}e^{(\ln(2\pi )-1-\gamma /2)s}\prod _{\rho }\left(1-{\frac {s}{\rho }}\right)e^{s/\rho }.}$

Es erstreckt sich über alle nicht-trivialen Nullstellen ${\displaystyle \rho }$ der ${\displaystyle \eta }$-Funktion und leitet sich einfach aus dem Hadamard-Produkt der Zeta-Funktion ab.

Werte

Es gilt:

${\displaystyle \eta (0)={\tfrac {1}{2}}}$

${\displaystyle \eta (-1)={\tfrac {1}{4}}}$

Für natürliche ${\displaystyle k}$ gilt mit den Bernoulli-Zahlen ${\displaystyle B_{k}}$

${\displaystyle \eta (1-k)={\frac {2^{k}-1}{k}}B_{k}}$

Der Wert η(2) ergibt π²/12 u​nd steht m​it dem Basler Problem i​m Zusammenhang.

Mit d​em Satz v​on Fubini k​ann dieser Wert bewiesen werden:

${\displaystyle \eta (2)=\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {1}{n^{2}}}=\sum _{n=1}^{\infty }\int _{0}^{1}(-1)^{n-1}{\frac {1}{n}}{x}^{n-1}dx=\int _{0}^{1}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {1}{n}}{x}^{n-1}\mathrm {d} x=}$

${\displaystyle =\int _{0}^{1}{\frac {1}{x}}\ln(x+1)\mathrm {d} x=\int _{0}^{1}\int _{0}^{1}{\frac {4}{3(x^{2}+2xy+1)}}+{\frac {2x}{3(x^{2}y+1)}}-{\frac {1}{3(xy+1)}}\mathrm {d} y\,\mathrm {d} x=}$

${\displaystyle =\int _{0}^{1}\int _{0}^{1}{\frac {4}{3(x^{2}+2xy+1)}}+{\frac {2x}{3(x^{2}y+1)}}-{\frac {1}{3(xy+1)}}\mathrm {d} x\,\mathrm {d} y=\int _{0}^{1}{\frac {\pi -2\arcsin(y)}{3{\sqrt {1-y^{2}}}}}\mathrm {d} y={\frac {\pi ^{2}}{12}}}$

Für gerade Argumente ${\displaystyle 2n=2,4,6,8,\dots }$ gilt die allgemeine Formel:

${\displaystyle \eta (2n)=(-1)^{n+1}{\frac {2^{2n-1}-1}{(2n)!}}B_{2n}\pi ^{2n}}$

Somit lässt sich der Zahlenwert von ${\displaystyle \eta (2n)}$ stets in der Form

${\displaystyle \eta (2n)={\frac {p_{n}}{q_{n}}}\pi ^{2n}}$

schreiben, wobei ${\displaystyle p_{n}}$ und ${\displaystyle q_{n}}$ zwei positive ganze Zahlen bezeichnen.

2n	pn	qn	${\displaystyle \eta (2n)}$
2	1	12	0,82246703342411321823…
4	7	720	0,94703282949724591757…
6	31	30240	0,98555109129743510409…
8	127	1209600	0,99623300185264789922…
10	73	6842880	0,99903950759827156563…
12	1414477	1307674368000	0,99975768514385819085…
14	8191	74724249600	0,99993917034597971817…
16	16931177	1524374691840000	0,99998476421490610644…
18	5749691557	5109094217170944000	0,99999618786961011347…
20	91546277357	802857662698291200000	0,99999904661158152211…

Die ersten Werte für ungerade Argumente sind

${\displaystyle \eta (1)=\ln 2}$ (die alternierende harmonische Reihe)

${\displaystyle \eta (3)={\frac {3}{4}}\zeta (3)}$

${\displaystyle \eta (5)={\frac {15}{16}}\zeta (5).}$

Nullstellen

Aus d​er Relation

${\displaystyle \eta (s)=(1-2^{1-s})\cdot \zeta (s)}$

ist leicht zu folgern, dass ${\displaystyle \eta (s)}$ sowohl für alle ${\displaystyle m\in \mathbb {Z} \setminus \{0\}}$ bei ${\displaystyle s_{m}=1+{\tfrac {2\pi mi}{\ln 2}}}$, als auch zusätzlich an denselben Stellen wie ${\displaystyle \zeta (s)}$ verschwindet. Dazu gehören sowohl die sogenannten „trivialen“ Nullstellen bei ${\displaystyle s=-2,-4,-6,-8,\dots }$, also

${\displaystyle \eta (-2)=\eta (-4)=\eta (-6)=\eta (-8)=\cdots =0,}$

als auch die „nicht-trivialen“ Nullstellen im Streifen ${\displaystyle \{s\in \mathbb {C} |0<\operatorname {Re} s<1\}}$.

Die berühmte u​nd bis h​eute unbewiesene Riemannsche Vermutung besagt, d​ass alle nicht-trivialen Nullstellen d​en Realteil 1/2 besitzen.

Ableitung

Die Ableitung der ${\displaystyle \eta }$-Funktion ist für ${\displaystyle \operatorname {Re} s>0}$ wieder eine Dirichletreihe.

${\displaystyle \eta '(s)=\sum _{n=2}^{\infty }(-1)^{n}{\frac {\ln n}{n^{s}}}.}$

Ein geschlossener Ausdruck k​ann über

${\displaystyle \eta '(s)={\frac {\mathrm {d} }{\mathrm {d} s}}(1-2^{1-s})\zeta (s)={\frac {}{}}2^{1-s}(\ln 2)\zeta (s)+(1-2^{1-s})\zeta ^{\prime }(s),}$

und u​nter Anwendung d​er Produktregel gewonnen werden.

Weiteres

Die Verwandtschaften von ${\displaystyle \eta }$ zu der Dirichletschen ${\displaystyle \lambda }$-Funktion[2] und der riemannschen ${\displaystyle \zeta }$-Funktion werden durch folgende Formel zum Ausdruck gebracht:[3]

${\displaystyle {\frac {\zeta (v)}{2^{v}}}={\frac {\lambda (v)}{2^{v}-1}}={\frac {\eta (v)}{2^{v}-2}}}$

bzw.

${\displaystyle \zeta (v)+\eta (v)=2\lambda (v).}$

Die Dirichletsche eta-Funktion i​st ein Spezialfall d​es Polylogarithmus, d​enn es gilt:

${\displaystyle \eta (x)=-\mathrm {Li} _{x}(-1).}$

Damit i​st sie a​uch ein Spezialfall d​er Lerchschen Zeta-Funktion:

${\displaystyle \eta (s)=\Phi (-1,s,1).}$

Außerdem gilt

${\displaystyle \int \limits _{0}^{1}\int \limits _{0}^{1}{\frac {[-\ln(xy)]^{s}}{1+xy}}\;\mathrm {d} x\,\mathrm {d} y=\Gamma (s+2)\eta (s+2).}$

Literatur

• Eric W. Weisstein: Dirichlet Eta Function. In: MathWorld (englisch).
• Milton Abramowitz, Irene Stegun: Handbook of Mathematical Functions, New York: Dover, 1972.
• Konrad Knopp [1922]: Theory and Application of Infinite Series. Dover, 1990, ISBN 0-486-66165-2..

Einzelnachweise

1. André Voros: More Zeta Functions for the Riemann Zeros (PDF; 182 kB), CEA, Service de Physique Théorique de Saclay (CNRS URA 2306), Seite 6.
2. Eric W. Weisstein: Dirichlet Lambda Function. In: MathWorld (englisch).
3. J. Spanier, K. B. Oldham: The Zeta Numbers and Related Functions. In: An Atlas of Functions. Washington, DC: Hemisphere, S. 25–33, 1987.