Dirichlet eta function

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 greater than zero: η ( s ) = ∑ n = 1 ∞ ( − 1 ) n − 1 n s = 1 1 s − 1 2 s + 1 3 s − 1 4 s + ⋯ . {\displaystyle \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 relation holds: η ( s ) = ( 1 − 2 1 − s ) ζ ( s ) {\displaystyle \eta (s)=\left(1-2^{1-s}\right)\zeta (s)} Both the Dirichlet eta function and the Riemann zeta function are special cases of polylogarithms. 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. Equivalently, we may begin by defining η ( s ) = 1 Γ ( s ) ∫ 0 ∞ x s − 1 e x + 1 d x {\displaystyle \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 ( Γ ( s ) {\displaystyle \Gamma (s)} represents the gamma function). This gives the eta function as a Mellin transform. Hardy gave a simple proof of the functional equation for the eta function, which is η ( − s ) = 2 1 − 2 − s − 1...