Fonction êta de Dirichlet

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: 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: Both Dirichlet eta function and Riemann zeta function are special cases of polylogarithm. 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. (The above relation and the facts that the eta function is entire and together show the zeta function is meromorphic with a simple pole at s = 1, and possibly additional poles at the other zeros of the factor , although in fact these hypothetical additional poles do not exist.) Equivalently, we may begin by defining which is also defined in the region of positive real part ( 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 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. The zeros of the eta function include all the zeros of the zeta function: the negative even integers (real equidistant simple zeros); the 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.