Schwarz's Lemma/Lemma

Theorem
Let $D$ be the unit disk centred at $0$.

Let $g : D \to \C$ be a complex function such that:


 * $\map g z = \begin {cases} \dfrac {\map f z} z & z \ne 0 \\ \map {f'} 0 & z = 0\end {cases}$

Then $g$ is holomorphic on $D$.

Proof
By Differentiable Function is Continuous, $f$ is continuous.

So by Quotient Rule for Continuous Complex Functions:


 * $g$ is continuous on $D \setminus \set 0$.

We aim to show that $f$ is continuous on $D$.

Note that since $f$ is holomorphic on $D$ and $0 \in D$ we have, by the definition of the complex derivative:


 * $\ds \lim_{z \mathop \to 0} \frac {\map f z - \map f 0} z = \map {f'} 0 \in \C$

Since $\map f 0 = 0$, we furthermore have:


 * $\ds \map {f'} 0 = \lim_{z \mathop \to 0} \frac {\map f z} z$

That is:


 * $\ds \map g 0 = \lim_{z \mathop \to 0} \map g z$

so $g$ is continuous at $0$.

Since $f$ is holomorphic on $D$, by the Quotient Rule for Continuous Complex Functions:


 * $g$ is differentiable on $D \setminus \set 0$.

It remains to show that $g$ is differentiable at $0$.

Take $z \ne 0$ and consider:


 * $\dfrac {\map g z - \map g 0} z$

We have:

Since $f$ is holomorphic on $D$, by Holomorphic Function is Analytic, there exists a positive real number $R$ such that the series:


 * $\ds \sum_{n \mathop = 0}^\infty \frac {\map {f^{\paren n} } 0} {n!} z^n$

converges to $\map f z$ on $\cmod z < R$.

Note that since $\map f 0 = 0$, the first term of this series is zero.

With that, we have:

Taking $z \to 0$ we have:


 * $\ds \lim_{z \mathop \to 0} \frac {\map g z - \map g 0} z = \frac 1 2 \map {f''} 0$

so $g$ is indeed differentiable at $0$.

Hence by definition $g$ is holomorphic on $D$.