2.I.8B

Further Complex Methods
Part II, 2007

The function I(z)I(z) is defined by

I(z)=1Γ(z)0tz1et+1dtI(z)=\frac{1}{\Gamma(z)} \int_{0}^{\infty} \frac{t^{z-1}}{e^{t}+1} d t

For what values of zz is I(z)I(z) analytic?

By considering I(z)ζ(z)I(z)-\zeta(z), where ζ(z)\zeta(z) is the Riemann zeta function which you may assume is given by

ζ(z)=1Γ(z)0tz1et1dt(Rez>1)\zeta(z)=\frac{1}{\Gamma(z)} \int_{0}^{\infty} \frac{t^{z-1}}{e^{t}-1} d t \quad(\operatorname{Re} z>1)

show that I(z)=(121z)ζ(z)I(z)=\left(1-2^{1-z}\right) \zeta(z). Deduce from this result that the analytic continuation of I(z)I(z) is an entire function. [You may use properties of ζ(z)\zeta(z) without proof.]