Dirichlet eta function


Dirichlet eta function
Dirichlet eta function η(s) in the complex plane. The color of a point s encodes the value of η(s). Strong colors denote values close to zero and hue encodes the value's argument.

In mathematics, in the area of analytic number theory, the Dirichlet eta function is defined by the following Dirichlet series, which converges for any complex number having real part > 0:

\eta(s) = \sum_{n=1}^{\infty}{(-1)^{n-1} \over n^s} = \frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \frac{1}{4^s} + \cdots

This Dirichlet series is the alternating sum corresponding to the Dirichlet series expansion of the Riemann zeta function, ζ(s) — and for this reason the Dirichlet eta function is also known as the alternating zeta function, also denoted ζ*(s). The following simple relation holds:

\eta(s) = \left(1-2^{1-s}\right) \zeta(s)

While the Dirichlet series expansion for the eta function is convergent only for any complex number s with real part > 0, it is Abel summable for any complex number. This serves to define the eta function as an entire function (and the above relation then shows the zeta function is meromorphic with a simple pole at s = 1, and perhaps poles at the other zeros of the factor 1 − 21 − s).

Equivalently, we may begin by defining

\eta(s) = \frac{1}{\Gamma(s)}\int_0^\infty \frac{x^{s-1}}{e^x+1}{dx}

which is also defined in the region of positive real part. This gives the eta function as a Mellin transform.

Hardy gave a simple proof of the functional equation for the eta function, which is

\eta(-s) = 2 \frac{1-2^{-s-1}}{1-2^{-s}} \pi^{-s-1} s \sin\left({\pi s \over 2}\right) \Gamma(s)\eta(s+1) .

From this, one immediately has the functional equation of the zeta function also, as well as another means to extend the definition of eta to the entire complex plane.

Contents

Zeros

The zeros of the eta function include all the zeros of the zeta function: the infinity of negative even integers (real equidistant simple zeros); an infinity of zeros along the critical line, none of which are known to be multiple and over 40% of which have been proven to be simple, and the hypothetical zeros in the critical strip but not on the critical line, which if they do exist must occur at the vertices of rectangles symmetrical around the x-axis and the critical line and whose multiplicity is unknown. In addition, the factor 1 − 21 − s adds an infinity of complex simple zeros, located at equidistant points on the line \Re(s)=1, at sn = 1 + 2nπi / log(2) where n is any nonzero integer.

Under the Riemann hypothesis, the zeros of the eta function would be located symmetrically with respect to the real axis on two parallel lines \Re(s)=1/2, \Re(s)=1, and on the perpendicular half line formed by the negative real axis.


Landau's problem with zeta(s)=eta(s)/0 and solutions

In the equation η(s) = (1−21−s) ζ(s), "the pole of ζ(s) at s=1 is cancelled by the zero of the other factor" (Titchmarsh, 1986, p. 17), and as a result η(1) is neither infinite nor zero. However, in the equation

\zeta(s)=\frac{\eta(s)}{1-2^{1-s}},

η must be zero at all the points s_n = 1+n\frac{2\pi}{\ln{2}}i, n\ne0, n \in Z , where the denominator is zero, if the Riemann zeta function is analytic and finite there. The problem of proving this without defining the zeta function first was signaled and left open by E. Landau in his 1909 treatise on number theory: "Whether the eta series is different from zero or not at the points s_n\ne1, i.e., whether these are poles of zeta or not, is not readily apparent here."

A first solution for Landau's problem was published almost 40 years later by D. V. Widder in his book The Laplace Transform. It uses the next prime 3 instead of 2 to define a Dirichlet series similar to the eta function, which we will call the λ function, defined for \Re(s)>0 and with some zeros also on \Re(s)=1, but not equal to those of eta.

An elementary direct and \zeta\,-independent proof of the vanishing of the eta function at s_n\ne1 was published by J. Sondow in 2003. It expresses the value of the eta function as the limit of special Riemann sums associated to an integral known to be zero, using a relation between the partial sums of the Dirichlet series defining the eta and zeta functions for \Re(s)>1.

Assuming η(sn) = 0, for each point s_n\ne1 where 2^{s_n}=2, we can now define \zeta(s_n)\, by continuity as follows,


\zeta(s_n) = \lim_{s\to s_n}\frac{\eta(s)}{1-\frac{2}{2^s}}
 = \lim_{s\to s_n}\frac{\eta(s)-\eta(s_n)}{\frac{2}{2^{s_n}}-\frac{2}{2^s}}
 = \lim_{s\to s_n}\frac{\eta(s)-\eta(s_n)}{s-s_n}\,\frac{s-s_n}{\frac{2}{2^{s_n}}-\frac{2}{2^s}}
 = \frac{\eta'(s_n)}{\log(2)}.

The apparent singularity of zeta at s_n\ne1 is now removed, and the zeta function is proven to be analytic everywhere in \Re{s} > 0, except at s = 1.

Integral Representations

A number of integral formulas involving the eta function can be listed. The first one follows from a change of variable of the integral representation of the Gamma function (Abel, 1823), giving a Mellin transform which can be expressed in different ways as a double integral (Sondow, 2005). This is valid for \Re s > 0.

\Gamma(s)\eta(s) = \int_0^\infty \frac{x^{s-1}}{e^x+1}{dx}
= \int_0^\infty \int_0^x \frac{x^{s-2}}{e^x+1}{dy}{dx}
=\int_0^\infty\int_0^\infty \frac{(t+r)^{s-2}}{e^{t+r}+1}{dr}{dt}
=\int_0^1\int_0^1 \frac{(-\log(x y))^{s-2}}{1 + x y}{dx}{dy}.

The next formula, due to Lindelöf (1905), is valid over the whole complex plane, when the principal value is taken for the logarithm implicit in the exponential.

\eta(s) = \int_{-\infty}^\infty \frac{(1/2 + i t)^{-s}}{e^{\pi t}+e^{-\pi t}}{dt}.

This corresponds to a Jensen (1895) formula for the entire function (s-1)\,\zeta(s), valid over the whole complex plane and also proven by Lindelöf.

(s-1)\zeta(s) = \int_{-\infty}^\infty \frac{(1/2 + i t)^{1-s}}{(e^{\pi t}+e^{-\pi t})^2}{dt}.

The Cauchy-Schlömilch transformation (Amdeberhan, Moll et al., 2010) can be used to prove this representation, valid for \Re s > -1. Integration by parts of the first integral above yields another derivation.

2^{1-s}\,\Gamma(s+1)\,\eta(s) = 2 \int_0^\infty \frac{x^{2s+1}}{\cosh^2(x^2)}{dx}
= \int_0^\infty \frac{t^s}{\cosh^2(t)}{dt}.

Numerical Algorithms

Most of the series acceleration techniques developed for alternating series can be profitably applied to the evaluation of the eta function. One particularly simple, yet reasonable method is to apply Euler's transformation of alternating series, to obtain

\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}.

Note that the second, inside summation is a forward difference.

Borwein's method

Peter Borwein used approximations involving Chebyshev polynomials to produce a method for efficient evaluation of the eta function. If

d_k = n\sum_{i=0}^k \frac{(n+i-1)!4^i}{(n-i)!(2i)!}

then

\eta(s) = -\frac{1}{d_n} \sum_{k=0}^{n-1}\frac{(-1)^k(d_k-d_n)}{(k+1)^s}+\gamma_n(s),

where for \Re(s) \ge \frac{1}{2} the error term γn is bounded by

|\gamma_n(s)| \le \frac{3}{(3+\sqrt{8})^n} (1+2|\Im(s)|)\exp(\frac{\pi}{2}|\Im(s)|).

The factor of 3+\sqrt{8}\approx 5.8 in the error bound indicates that the Borwein series converges quite rapidly as n increases.

Particular values

Also:

 \!\ \eta(1) = \ln2 , this is the alternating harmonic series
\eta(2) = {\pi^2 \over 12}
\eta(4) = {{7\pi^4} \over 720}
\eta(6) = {{31\pi^6} \over 30240}
\eta(8) = {{127\pi^8} \over 1209600}
\eta(10) = {{73\pi^{10}} \over 6842880}
\eta(12) = {{1414477\pi^{12}} \over {1307674368000}}

The general form for even positive integers is:

\eta(2n) = (-1)^{n+1}{{B_{2n}\pi^{2n}(2^{2n-1} - 1)} \over {(2n)!}}.

References

  • Sondow, Jonathan, Double integrals for Euler's constant and ln 4/π and an analog of Hadjicostas's formula, Amer. Math. Monthly 112 (2005) 61-65, formula 18.
  • Lindelöf, Ernst, Le calcul des résidus et ses applications à la théorie des fonctions, Gauthier-Villars, 1905, p. 103.
  • Jensen, J.L.W.V., L'intermédiaire des Mathématiciens, 1895, p. 346.
  • Conrey, J.B., More than two fifths of the zeros of the Riemann zeta function are on the critical line, Journal für die Reine und Angewandte Mathematik, 399 (1989) 1-26.
  • Titchmarsh, E. C. (1986). The Theory of the Riemann Zeta Function, Second revised (Heath-Brown) edition. Oxford University Press.
  • Landau, Edmund, Handbuch der Lehre von der Verteilung der Primzahlen, Erster Band, Berlin, 1909, p. 160. (Second edition by Chelsea, New York, 1953, p. 160, 933).
  • T. Amdeberhan, M. L. Glasser, M. C. Jones, V. H. Moll, R. Posey, and D. Varela, The Cauchy-Schlomilch Transformation, April 2010, p. 12.
  • Widder, David Vernon, The Laplace Transform, Princeton University Press, 1946, p. 230.
  • Sondow, Jonathan, Zeros of the Alternating Zeta Function on the Line R(s)=1, Amer. Math. Monthly, 110 (2003) 435-437.
  • Borwein, P., An Efficient Algorithm for the Riemann Zeta Function, Constructive experimental and nonlinear analysis, CMS Conference Proc. 27 (2000), 29-34.
  • Xavier Gourdon and Pascal Sebah, Numerical evaluation of the Riemann Zeta-function, Numbers, constants and computation (2003)
  • Knopp, Konrad (1990) [1922]. Theory and Application of Infinite Series. Dover. ISBN 0-486-66165-2. 

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Eta function — There are two distinct functions called eta function in number theory:* The Dirichlet eta function * The Dedekind eta function disambig …   Wikipedia

  • Dedekind eta function — For the Dirichlet series see Dirichlet eta function. Dedekind η function in the complex plane The Dedekind eta function, named after Richard Dedekind, is a function defined on the upper half plane of complex numbers, where the imaginary part is… …   Wikipedia

  • Eta (letter) — Eta (uppercase Eta;, lowercase eta;; el. Ήτα) is the seventh letter of the Greek alphabet. In the system of Greek numerals it has a value of 8. Letters that arose from Eta include the Latin H and the Cyrillic letter И. In Modern Greek the letter …   Wikipedia

  • Dirichlet'sche Eta-Funktion — Die dirichletsche η Funktion in der komplexen Zahlenebene. In der Zahlentheorie ist die dirichletsche η Funktion eine spezielle Funktion, die nach dem deutschen Mathematiker Dirichlet (1805−1859) benannt ist. Sie ist verwandt mit der …   Deutsch Wikipedia

  • Dirichlet'sche η-Funktion — Die dirichletsche η Funktion in der komplexen Zahlenebene. In der Zahlentheorie ist die dirichletsche η Funktion eine spezielle Funktion, die nach dem deutschen Mathematiker Dirichlet (1805−1859) benannt ist. Sie ist verwandt mit der …   Deutsch Wikipedia

  • Dirichlet character — In number theory, Dirichlet characters are certain arithmetic functions which arise from completely multiplicative characters on the units of . Dirichlet characters are used to define Dirichlet L functions, which are meromorphic functions with a… …   Wikipedia

  • Riemann zeta function — ζ(s) in the complex plane. The color of a point s encodes the value of ζ(s): dark colors denote values close to zero and hue encodes the value s argument. The white spot at s = 1 is the pole of the zeta function; the black spots on the… …   Wikipedia

  • Dirichletsche Eta-Funktion — Die dirichletsche η Funktion in der komplexen Zahlenebene. In der Zahlentheorie ist die dirichletsche η Funktion eine spezielle Funktion, die nach dem deutschen Mathematiker Dirichlet (1805−1859) benannt ist. Sie ist verwandt mit der …   Deutsch Wikipedia

  • Lerch zeta function — In mathematics, the Lerch zeta function, sometimes called the Hurwitz Lerch zeta function, is a special function that generalizes the Hurwitz zeta function and the polylogarithm. It is named after Mathias Lerch [http://www groups.dcs.st… …   Wikipedia

  • Hurwitz zeta function — In mathematics, the Hurwitz zeta function, named after Adolf Hurwitz, is one of the many zeta functions. It is formally defined for complex arguments s with Re( s )>1 and q with Re( q )>0 by:zeta(s,q) = sum {n=0}^infty frac{1}{(q+n)^{sThis series …   Wikipedia