4.II.14A

Further Complex Methods | Part II, 2005

Two representations of the zeta function are

ζ(z)=Γ(1−z)2πi∫−∞(0+)tz−1e−t−1dt and ζ(z)=∑1∞n−z\zeta(z)=\frac{\Gamma(1-z)}{2 \pi i} \int_{-\infty}^{\left(0^{+}\right)} \frac{t^{z-1}}{e^{-t}-1} d t \quad \text { and } \quad \zeta(z)=\sum_{1}^{\infty} n^{-z}

where, in the integral representation, the path is the Hankel contour and the principal branch of tz−1t^{z-1}, for which ∣arg⁡z∣<π|\arg z|<\pi, is to be used. State the range of zz for which each representation is valid.

Evaluate the integral

∫γtz−1e−t−1dt\int_{\gamma} \frac{t^{z-1}}{e^{-t}-1} d t

where γ\gamma is a closed path consisting of the straight line z=πi+xz=\pi i+x, with ∣x∣<2Nπ|x|<2 N \pi, and the semicircle ∣z−πi∣=2Nπ|z-\pi i|=2 N \pi, with Im⁡z>π\operatorname{Im} z>\pi, where NN is a positive integer.

Making use of this result and assuming, when necessary, that the integral along the curved part of γ\gamma is negligible when NN is large, derive the functional equation

ζ(z)=2zπz−1sin⁡(πz/2)Γ(1−z)ζ(1−z)\zeta(z)=2^{z} \pi^{z-1} \sin (\pi z / 2) \Gamma(1-z) \zeta(1-z)

for z≠1z \neq 1.

Typos? Please submit corrections to this page on GitHub.