Paper 1, Section I, 7 E

Further Complex Methods | Part II, 2020

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

I(z)=0tz1etdtI(z)=\int_{0}^{\infty} t^{z-1} e^{-t} d t

is analytic for Rez>0\operatorname{Re} z>0.

(i) Show that I(z+1)=zI(z)I(z+1)=z I(z).

(ii) Use part (i) to construct an analytic continuation of I(z)I(z) into Re z0z \leqslant 0, except at isolated singular points, which you need to identify.

Typos? Please submit corrections to this page on GitHub.