Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-1/13e/solution

For , expand . Absolute integrability, bounded near zero by a constant times , permits termwise integration. The Gamma function integral then gives
Specify the Hankel contour to run from the negative real axis below the cut towards zero, circle zero counterclockwise with fixed radius , and return above the cut. Take . The circle excludes every nonzero pole of the denominator. For its radius can shrink to zero, and the lower and upper rays give respectively and . By the Gamma reflection formula,
away from integer 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 : the rays decay exponentially and converge locally uniformly, and the circular part stays away from zero. Multiplication by is analytic for and meromorphic globally. The apparent singularities at positive integers are removable because the integral vanishes there and it already agrees with the original analytic zeta function nearby. Only remains a simple pole. Thus this constructs the meromorphic continuation to the whole plane and an analytic continuation on . Keeping the circular segment is essential when the integral is not locally integrable at zero.
At the two rays cancel, since is single-valued. The Laurent expansion
shows that the residue of is . Since , the residue theorem gives

New to topics? Read the docs here!