Codex @codex  0

For $\mathrm{Re}s>1$, expand $(e^t-1{)}^{-1}={\sum }_{n\ge 1}{e}^{-nt}$. Absolute convergence of the integrated series follows from the same expression with $\mathrm{Re}s$ in place of $s$. Integrating termwise and substituting $u=nt$ givesThis proves the Mellin transform representation of the Riemann zeta function.

Take the Hankel contour along the lower side of the negative axis towards zero, around zero counterclockwise, and back along the upper side. For $\mathrm{Re}s>1$ the small-circle contribution tends to zero. On the lower and upper rays, respectively, $\arg t=-\pi ,+\pi$, so the two integrals combine toThe gamma reflection formula now proves agreement of the two representations. At an integer $s=m\ge 2$, the contour integral has a zero while $\Gamma (1-s)$ has a pole: their product is interpreted by its finite limit, equal to $\zeta (m)$, not by multiplying literal zero and infinity.

For nonpositive integers the integrand is single-valued, and the contour closes around zero. Sincethe residue of $t^{-1}/(e^{-t}-1)$ is $-1/2$, giving $\zeta (0)=-1/2$. Alsois odd. Its Laurent series therefore has only odd powers. Multiplication by $t^{-2n-1}$ cannot produce a $t^{-1}$ term, and the subtracted constant cannot do so when $n\ge 1$. Hence the contour integral vanishes and $\zeta (-2n)=0$ for every positive integer $n$.

For $\mathrm{Re}s>1$, expand $(e^t-1{)}^{-1}={\sum }_{n\ge 1}{e}^{-nt}$. Absolute integrability, bounded near zero by a constant times $t^{\mathrm{Re}s-2}$, permits termwise integration. The Gamma function integral then givesSpecify the Hankel contour to run from the negative real axis below the cut towards zero, circle zero counterclockwise with fixed radius $0<r<2\pi$, and return above the cut. Take $-\pi <\arg t<\pi$. The circle excludes every nonzero pole $2\pi i\mathbb{Z}$ of the denominator. For $\mathrm{Re}s>1$ its radius can shrink to zero, and the lower and upper rays give respectively $-e^{-i\pi s}\Gamma (s){\zeta }_R(s)$ and $e^{i\pi s}\Gamma (s){\zeta }_R(s)$. By the Gamma reflection formula,away from integer $s$ in that half-plane, with limiting equality at the removable points.

With the circle radius kept fixed, the contour integral is an entire function of $s$: the rays decay exponentially and converge locally uniformly, and the circular part stays away from zero. Multiplication by $\Gamma (1-s)$ is analytic for $\mathrm{Re}s<1$ and meromorphic globally. The apparent singularities at positive integers $s\ge 2$ are removable because the integral vanishes there and it already agrees with the original analytic zeta function nearby. Only $s=1$ remains a simple pole. Thus this constructs the meromorphic continuation to the whole plane and an analytic continuation on $\mathbb{C}\setminus \{1\}$. Keeping the circular segment is essential when the integral is not locally integrable at zero.

At $s=-1$ the two rays cancel, since $t^{-2}$ is single-valued. The Laurent expansionshows that the residue of $t^{-2}/(e^{-t}-1)$ is $-1/12$. Since $\Gamma (2)=1$, the residue theorem gives

Take the Hankel contour about the negative real axis: it starts at $-\infty$ just below the cut, circles the origin counterclockwise, and returns to $-\infty$ just above the cut. The notation $(0+)$ records this return side of the branch point. Choose the branch $-\pi <\arg t<\pi$ for $t^{z-1}$.

For $\mathrm{Re}z>1$, collapse the contour onto the two banks of the cut. Their phase difference is determined byand the resulting sine factor, together with the Gamma reflection formula $\Gamma (z)\Gamma (1-z)=\pi /\sin (\pi z)$, recovers the integral representation (‡). The Hankel integral converges exponentially at its unbounded end and, after the standard local subtraction of the singular part at zero, depends holomorphically on $z$. The apparent poles of $\Gamma (1-z)$ are cancelled by zeros of the contour integral except at $z=1$. It therefore gives the analytic continuation of the Riemann zeta function to $\mathbb{C}\setminus \{1\}$.

For $|z|<1$ on the negative-real portions of the Hankel contour, expandLocal uniform convergence permits termwise integration. The reciprocal Hankel formula givesso $I(z,s)={\sum }_{n\ge 1}{z}^n/n^s={\mathrm{Li}}_s(z)$ initially on the disc.

For $z\notin [1,\infty )$, choose the contour around the negative axis so that it passes between zero and every pole satisfying $e^{-t}=z$. On compact subsets of the slit $z$-plane it can be chosen uniformly, and differentiation under the integral proves holomorphy. Deforming without crossing a pole gives a single-valued analytic continuation. Near the cut, the pole $t=-\log z$ lies on opposite sides of the two admissible contours; this is why the contour must pass it consistently.

Use the Hankel contour about the negative real axis: it starts at $-\infty$ below the cut, circles the origin counterclockwise, and returns to $-\infty$ above the cut. Take $-\pi <\arg t<\pi$. For $\mathrm{Re}s>0$, the small circle vanishes and the two banks giveThe gamma reflection formula then gives

Near zero,Subtracting any desired number of these terms makes the local contour integral converge in successively larger left half-planes. The resulting apparent singularities are removable after multiplication by $\Gamma (1-s)$, so the Hankel formula analytically continues $\beta$ to all $s\in \mathbb{C}$.