The Hurwitz zeta function ζH(s,q) is defined for Re(q)>0 by
ζH(s,q)=n=0∑∞(q+n)s1
State without proof the complex values of s for which this series converges.
Consider the integral
I(s,q)=2πiΓ(1−s)∫Cdz1−ezzs−1eqz
where C is the Hankel contour. Show that I(s,q) provides an analytic continuation of the Hurwitz zeta function for all s=1. Include in your account a careful discussion of removable singularities. [Hint: Γ(s)Γ(1−s)=π/sin(πs).]
Show that I(s,q) has a simple pole at s=1 and find its residue.