2.II.14C

Further Complex Methods | Part II, 2008

(i) The function ff is defined by

f(z)=∫Ctz−1dtf(z)=\int_{C} t^{z-1} d t

where CC is the circle ∣t∣=r|t|=r, described anti-clockwise starting on the positive real axis and where the value of tz−1t^{z-1} at each point on CC is determined by analytic continuation along CC with arg⁡t=0\arg t=0 at the starting point. Verify by direct integration that ff is an entire function, the values of which depend on rr.

(ii) The function JJ is defined by

J(z)=∫γet(t2−1)zdtJ(z)=\int_{\gamma} e^{t}\left(t^{2}-1\right)^{z} d t

where γ\gamma is a figure of eight, starting at t=0t=0, looping anti-clockwise round t=1t=1 and returning to t=0t=0, then looping clockwise round t=−1t=-1 and returning again to t=0t=0. The value of (t2−1)z\left(t^{2}-1\right)^{z} is determined by analytic continuation along γ\gamma with arg⁡(t2−1)=−π\arg \left(t^{2}-1\right)=-\pi at the start. Show that, for Re⁡z>−1\operatorname{Re} z>-1,

J(z)=−2isin⁡πzI(z),J(z)=-2 i \sin \pi z I(z),

where

I(z)=∫−11et(t2−1)zdtI(z)=\int_{-1}^{1} e^{t}\left(t^{2}-1\right)^{z} d t

Explain how this provides the analytic continuation of I(z)I(z). Classify the singular points of the analytically continued function, commenting on the points z=0,1,…z=0,1, \ldots.

Explain briefly why the analytic continuation could not be obtained by this method if γ\gamma were replaced by the circle ∣t∣=2|t|=2.

Typos? Please submit corrections to this page on GitHub.