Paper 3, Section II, G

Complex Analysis | Part IB, 2010

State Morera's theorem. Suppose fn(n=1,2,)f_{n}(n=1,2, \ldots) are analytic functions on a domain UCU \subset \mathbf{C} and that fnf_{n} tends locally uniformly to ff on UU. Show that ff is analytic on UU. Explain briefly why the derivatives fnf_{n}^{\prime} tend locally uniformly to ff^{\prime}.

Suppose now that the fnf_{n} are nowhere vanishing and ff is not identically zero. Let aa be any point of UU; show that there exists a closed disc ΔˉU\bar{\Delta} \subset U with centre aa, on which the convergence of fnf_{n} and fnf_{n}^{\prime} are both uniform, and where ff is nowhere zero on Δˉ\{a}\bar{\Delta} \backslash\{a\}. By considering

12πiCfn(w)fn(w)dw\frac{1}{2 \pi i} \int_{C} \frac{f_{n}^{\prime}(w)}{f_{n}(w)} d w

(where CC denotes the boundary of Δˉ\bar{\Delta} ), or otherwise, deduce that f(a)0f(a) \neq 0.

Typos? Please submit corrections to this page on GitHub.