Paper 1, Section II, E

Further Complex Methods
Part II, 2021

(a) Functions g1(z)g_{1}(z) and g2(z)g_{2}(z) are analytic in a connected open set DC\mathcal{D} \subseteq \mathbb{C} with g1=g2g_{1}=g_{2} in a non-empty open subset D~D\tilde{\mathcal{D}} \subset \mathcal{D}. State the identity theorem.

(b) Let D1\mathcal{D}_{1} and D2\mathcal{D}_{2} be connected open sets with D1D2\mathcal{D}_{1} \cap \mathcal{D}_{2} \neq \emptyset. Functions f1(z)f_{1}(z) and f2(z)f_{2}(z) are analytic on D1\mathcal{D}_{1} and D2\mathcal{D}_{2} respectively with f1=f2f_{1}=f_{2} on D1D2\mathcal{D}_{1} \cap \mathcal{D}_{2}. Explain briefly what is meant by analytic continuation of f1f_{1} and use part (a) to prove that analytic continuation to D2\mathcal{D}_{2} is unique.

(c) The function F(z)F(z) is defined by

F(z)=eit(tz)ndtF(z)=\int_{-\infty}^{\infty} \frac{e^{i t}}{(t-z)^{n}} d t

where Imz>0\operatorname{Im} z>0 and nn is a positive integer. Use the method of contour deformation to construct the analytic continuation of F(z)F(z) into Imz0\operatorname{Im} z \leqslant 0.

(d) The function G(z)G(z) is defined by

G(z)=eit(tz)ndtG(z)=\int_{-\infty}^{\infty} \frac{e^{i t}}{(t-z)^{n}} d t

where Imz0\operatorname{Im} z \neq 0 and nn is a positive integer. Prove that G(z)G(z) experiences a discontinuity when zz crosses the real axis. Determine the value of this discontinuity. Hence, explain why G(z)G(z) cannot be used as an analytic continuation of F(z)F(z).