Dirichlet eta function

The Dirichlet eta function can be defined as

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

where ζ is Riemann's zeta function. However, it can also be used to define the zeta function. It has a Dirichlet series expression, valid for any complex number s with positive real part, given by

$\eta (s)=\sum _{n=1}^{\infty }{(-1)^{n-1} \over n^{s}}.$

While this is convergent only for s with positive real part, it is Abel summable for any complex number, which serves to define the eta function as an entire function, and shows the zeta function is meromorphic with a single pole at s = 1.

Equivalently, we may begin by defining

$\eta (s)={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }{\frac {x^{s}}{\exp(x)+1}}{\frac {dx}{x}}$

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

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 the error term γ_n is bounded by

$\gamma _{n}(s)\leq {\frac {3}{(3+{\sqrt {8}})^{n}}}(1+2|t|)\exp(|t|\pi /2)$

where $t=\Im (s)$.

References

Borwein, P., An Efficient Algorithm for the Riemann Zeta Function, Constructive experimental and nonlinear analysis, CMS Conference Proc. 27 (2000), 29-34 or http://www.cecm.sfu.ca/~pborwein/

Also see

• Riemann zeta function