Past exam of the mathematics course of the University of Cambridge / 2017 / ib / Paper 3 / 13F (Complex Analysis)

Fix $R>|z|$. The Cauchy integral formula and the uniformly convergent geometric series on $|\zeta |=R$ giveDefiningthe remainder after degree $N$ has modulus at most $M_R(|z|/R{)}^{N+1}/(1-|z|/R)$, which tends to zero uniformly on each smaller disk. Differentiating the integral formula at zero identifies $c_j=f^{(j)}(0)/j!$, independently of $R$. Since $f$ is an entire function, $R$ can be chosen larger than any given $|z|$, proving the global Taylor series.

For the requested radius $r$, the same coefficient integral gives the Cauchy estimateTo characterize equality in the Cauchy coefficient estimate, parametrize its circle:If $M_r=0$, the identity theorem gives $f=0$. Otherwise equality in the modulus bound requires the continuous integrand to have both constant modulus $M_r$ and constant complex argument. To see this directly, rotate its average to the positive real axis: its real part is bounded above by $M_r$, and equality of its average with $M_r$ forces that real part to equal $M_r$ everywhere. Thus $f(r{e}^{i\theta })=c_n{r}^n{e}^{in\theta }$ on the circle. The identity theorem extends that equality to the plane. Conversely every such monomial attains the bound. Thereforeincluding the zero function and, when $n=0$, arbitrary constant functions.