Two representations of the zeta function are
ζ(z)=2πiΓ(1−z)∫−∞(0+)e−t−1tz−1dt and ζ(z)=1∑∞n−z
where, in the integral representation, the path is the Hankel contour and the principal branch of tz−1, for which ∣argz∣<π, is to be used. State the range of z for which each representation is valid.
Evaluate the integral
∫γe−t−1tz−1dt
where γ is a closed path consisting of the straight line z=πi+x, with ∣x∣<2Nπ, and the semicircle ∣z−πi∣=2Nπ, with Imz>π, where N is a positive integer.
Making use of this result and assuming, when necessary, that the integral along the curved part of γ is negligible when N is large, derive the functional equation
ζ(z)=2zπz−1sin(πz/2)Γ(1−z)ζ(1−z)
for z=1.