3.II.13E

Further Analysis
Part IB, 2003

(a) State Taylor's Theorem.

(b) Let f(z)=n=0an(zz0)nf(z)=\sum_{n=0}^{\infty} a_{n}\left(z-z_{0}\right)^{n} and g(z)=n=0bn(zz0)ng(z)=\sum_{n=0}^{\infty} b_{n}\left(z-z_{0}\right)^{n} be defined whenever zz0<r\left|z-z_{0}\right|<r. Suppose that zkz0z_{k} \rightarrow z_{0} as kk \rightarrow \infty, that no zkz_{k} equals z0z_{0} and that f(zk)=g(zk)f\left(z_{k}\right)=g\left(z_{k}\right) for every kk. Prove that an=bna_{n}=b_{n} for every n0n \geqslant 0.

(c) Let DD be a domain, let z0Dz_{0} \in D and let (zk)\left(z_{k}\right) be a sequence of points in DD that converges to z0z_{0}, but such that no zkz_{k} equals z0z_{0}. Let f:DCf: D \rightarrow \mathbb{C} and g:DCg: D \rightarrow \mathbb{C} be analytic functions such that f(zk)=g(zk)f\left(z_{k}\right)=g\left(z_{k}\right) for every kk. Prove that f(z)=g(z)f(z)=g(z) for every zDz \in D.

(d) Let DD be the domain C\{0}\mathbb{C} \backslash\{0\}. Give an example of an analytic function f:DCf: D \rightarrow \mathbb{C} such that f(n1)=0f\left(n^{-1}\right)=0 for every positive integer nn but ff is not identically 0 .

(e) Show that any function with the property described in (d) must have an essential singularity at the origin.