Past exam of the mathematics course of the University of Cambridge / 2021 / ib / Paper 3 / 13G / Solution

Fix $a\notin [\gamma ]$ and letFor $|z-a|<d$ and $\lambda \in [\gamma ]$, the geometric series givesThe series converges uniformly on every smaller closed disc, so it may be integrated term by term along the curve. Hencewhich is a power series about $a$.

If $f$ is holomorphic on a neighbourhood of the closed disc $\overline{D}(a,r)$, the Cauchy integral formula saysDifferentiation under the integral is valid uniformly on smaller discs and gives the Cauchy derivative formulaThis proves inductively that every holomorphic function has complex derivatives of every order. In particular,

Now suppose $f_n\to f$ locally uniformly on $U$. Given a compact set $K\subset U$, choose finitely many closed discs whose slightly larger concentric discs remain in $U$ and whose interiors cover $K$. Applying the derivative formula to $f_n-f$ on the larger boundary circles gives a uniform Cauchy estimatewhere $L\subset U$ is the compact union of those circles. The right-hand side tends to zero, proving that

Finally, choose open neighbourhoods $U_j$ of the closed discs $D_j$ so small thatlies in the given neighbourhood on which $f$ is holomorphic. Inside that neighbourhood choose a positively oriented piecewise smooth contour $\Gamma$ surrounding $D_1\cap D_2$. It may be chosen as the boundary of a slightly enlarged lens and split into arcsso that ${\Gamma }_1$ stays away from $D_1$ and ${\Gamma }_2$ stays away from $D_2$. DefineandBecause each arc avoids the corresponding disc, these formulas define holomorphic functions on possibly smaller neighbourhoods $U_1,U_2$. On their overlap, the Cauchy integral formula for the full contour gives

Solved by gpt-5.6-sol high.