# Complex Analysis/Extremum principles, open mapping theorem, Schwarz' lemma

We continue our quest of proving general properties of holomorphic functions, this time even better equipped, since we have the theorems from last chapter.

## Extremum principles

Under certain circumstances, holomorphic functions assume their maximal resp. minimal absolute value on the boundary. Before making this precise, we need a preparatory lemma.
Lemma 8.1:
Let $f:B_{r}(z_{0})\to \mathbb {C}$ be holomorphic, where $r>0$ and $z_{0}\in \mathbb {C}$ are arbitrary, and assume that it even satisfies $|f(z)|=\alpha$ for a constant $\alpha >0$. Then $f$ itself is constant.
Proof:
In case $|f(z)|=0$ in $B_{r}(z_{0})$, we may conclude $f(z)=0$ in $B_{r}(z_{0})$ and are done. Otherwise, we proceed as follows:
If $|f(z)|$ is constant, so is $|f(z)|^{2}$. We write $f=f_{1}+if_{2}$. Then $\alpha ^{2}=|f(z)|^{2}=f_{1}(z)^{2}+f_{2}(z)^{2}$ for all $z\in B_{r}(z_{0})$. Thus, taking partial derivatives, we get
    $\partial _{x}|f(z)|^{2}=f_{1}(z)\partial _{x}f_{1}(z)+f_{2}(z)\partial _{x}f_{2}(z)=0$ and $\partial _{y}|f(z)|^{2}=f_{1}(z)\partial _{y}f_{1}(z)+f_{2}(z)\partial _{y}f_{2}(z)=0$.
From the Cauchy–Riemann equations we may further infer
    $f_{1}(z)\partial _{x}f_{1}(z)-f_{2}(z)\partial _{y}f_{1}(z)=0$ and $f_{1}(z)\partial _{y}f_{1}(z)+f_{2}(z)\partial _{x}f_{1}(z)=0$,
from which follow (after some algebra) that
    $(f_{1}(z)^{2}+f_{2}(z)^{2})\partial _{x}f_{1}(z)=0$, $(f_{1}(z)^{2}+f_{2}(z)^{2})\partial _{y}f_{1}(z)=0$, $(f_{1}(z)^{2}+f_{2}(z)^{2})\partial _{x}f_{2}(z)=0$ and $(f_{1}(z)^{2}+f_{2}(z)^{2})\partial _{y}f_{2}(z)=0$,
that is $\partial _{x}f_{1}\equiv \partial _{y}f_{1}\equiv \partial _{x}f_{2}\equiv \partial _{y}f_{2}\equiv 0$.$\Box$
Now we are ready to explicate the extremum principles in the form of the following two theorems.
Theorem 8.2 (the maximum principle):
Let $f:S\to \mathbb {C}$ be a function which is holomorphic on the interior of $S$. If $z_{M}\in O$ is such that
    $f(z_{M})=\max _{z\in O}|f(z)|$,
then either $z_{M}\in \partial S$ or $f$ is constant on the connected component of $z_{M}$.
Proof:
Assume $z_{M}\notin \partial S$, that is, $z_{M}\in {\overset {\circ }{S}}$. Let $\epsilon >0$ be arbitrary such that ${\overline {B_{\epsilon }(z_{m})}}\subseteq {\overset {\circ }{S}}$. Then Cauchy's integral formula implies
    $f(z_{M})={\frac {1}{2\pi i}}\int _{\partial B_{\epsilon }(z_{M})}{\frac {f(z)}{z-z_{M}}}dz={\frac {1}{2\pi }}\int _{0}^{2\pi }f(z_{M}+\epsilon e^{i\varphi })d\varphi$.
If now $|f(z)|<|f(z_{M})|$ for some $z\in \partial B_{\epsilon }(z_{M})$, then by the continuity of $f$
    $\left|{\frac {1}{2\pi }}\int _{0}^{2\pi }f(z_{M}+\epsilon e^{i\varphi })d\varphi \right|\leq {\frac {1}{2\pi }}\int _{0}^{2\pi }|f(z_{M}+\epsilon e^{i\varphi })|d\varphi <|f(z_{M})|$,
a contradiction. Hence, $|f(z)|=|f(z_{M})|$ on all of $|z|=\epsilon$, and since $\epsilon$ was arbitrary (provided that ${\overline {B_{\epsilon }(z_{m})}}\subseteq {\overset {\circ }{S}}$), $|f(z)|=|f(z_{M})|$ in a small ball around $z_{M}$. From lemma 8.1, it follows that $f$ is constant there, and hence the identity theorem implies that $f$ is constant on the whole connected component containing $z_{M}$.$\Box$
Similarly, we have:
Theorem 8.3 (the minimum principle):
Let $f:S\to \mathbb {C}$ be a function which is holomorphic on the interior of $S$. If $z_{M}\in O$ is such that
    $f(z_{m})=\min _{z\in O}|f(z)|$,
then one of three things happens:
* $z_{m}\in \partial S$,
* $f$ is constant on the connected component of $z_{m}$ or
* $f$ has a zero inside ${\overset {\circ }{S}}$.
Proof:
If $f$ does not have a zero inside ${\overset {\circ }{S}}$, the chain rule implies that the function
    $z\mapsto {\frac {1}{f(z)}}$
is holomorphic in ${\overset {\circ }{S}}$. Hence, the maximum principle applies and either $z\mapsto {\frac {1}{f(z)}}$ has no maximum in the interior (and thus $f$ has no minimum in the interior) or $z\mapsto {\frac {1}{f(z)}}$ is constant (and hence $f$ is constant as well).$\Box$

## The open mapping theorem

Theorem 8.4 (open mapping theorem)
Let $f:O\to \mathbb {C}$ be a holomorphic function. If $U\subseteq O$ is an open set, then $f(U)$ is also open.
That is, as topologists would say, $f$ is an open map.
Proof:
Let $z_{0}\in U$. We prove that there exists a ball around $f(z_{0})$ which is contained within $f(U)$. To this end, we pick (due to the openness of $U$) a $\delta >0$ such that ${\overline {B_{\delta }(z_{0})}}\subseteq U$ and furthermore $f(w)\neq f(z_{0})$ on ${\overline {B_{\delta }(z_{0})}}\setminus \{z_{0}\}$ (by the identity theorem) and set
    $\epsilon :={\frac {1}{3}}\min _{z\in \partial B_{\delta }(z_{0})}|f(z)-f(z_{0})|$;
since $\partial B_{\delta }(z_{0})$ is compact, $f$ assumes a minimum there and it's not equal to zero by choice of $\delta$, which is why $\epsilon >0$. Now for every $w\in B_{\epsilon }(f(z_{0}))$ we define the function
    ${\overline {B_{\delta }(z_{0})}}\to \mathbb {C} ,z\mapsto f(z)-w$.
In $z_{0}$, the absolute value of this function is less than $\epsilon$ by choice of $w$. However, for $z\in \partial B_{\delta }(z_{0})$, we have
    $|f(z)-w|\geq |f(z)|-|w|>\epsilon$.
Hence, the minimum principle implies that the function ${\overline {B_{\delta }(z_{0})}}\to \mathbb {C} ,z\mapsto f(z)-w$ has a zero in $B_{\delta }(z_{0})$, and this proves (since $w\in B_{\epsilon }(f(z_{0}))$ was arbitrary) that $f$ assumes every value in $B_{\epsilon }(f(z_{0}))$.$\Box$

## Schwarz' lemma

Theorem 8.5 (Schwarz' lemma)
Let $f:B_{1}(0)\to \mathbb {C}$ be a holomorphic function such that
* $\forall z\in {\overline {B_{1}(0)}}:|f(z)|\leq 1$ and
* $f(0)=0$.
Then $\forall z\in B_{1}(0):|f(z)|\leq |z|$, and further, if either $|f'(0)|=1$ or $|f(z)|=|z|$ for one particular $z\in B_{1}(0)\setminus 0$, then we can find a $\lambda \in \mathbb {C}$ such that $f(z)=\lambda z$.
Proof:
First, we consider the following function:
    $g(z):={\begin{cases}{\frac {f(z)}{z}}&z\neq 0\\f'(0)&z=0\end{cases}}$.
Since this map is bounded, continuous and holomorphic everywhere except in $0$, it is even holomorphic in $0$ due to Riemann's theorem (the extension in $0$ must be uniquely chosen s.t. continuity is satisfied). Furthermore, we have
    $|f(z)|\leq 1\Rightarrow |g(z)|\leq {\frac {1}{|z|}}$
for all $z\in B_{1}(0)$ by assumption; in particular, if $|z|=r$, then $|g(z)|\leq 1/r$, and thus, by the maximum principle, $|g(z)|\leq 1/r$ also for $|z|<r$. Taking $r\to 1$ gives $|g(z)|<1$ in $B_{1}(0)$, and hence $|f(z)|\leq |z|$ for $z\in B_{1}(0)$.
For the second part, if either $|f'(0)|=1$ or $|f(z)|=|z|$ for a $z\in B_{1}(0)\setminus 0$, then $|g(z)|=1$ somewhere inside $B_{1}(0)$, and hence, again by the maximum principle, $g$ must be constant, from which follows $f(z)=f'(0)z$, that is, we may pick $\lambda =f'(0)$.$\Box$