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).

Typos? Please submit corrections to this page on GitHub.