\[ \newcommand{\Arg}{\mathsf{Arg}} \newcommand{\C}{\mathbb{C}} \newcommand{\CC}{\mathbb{C}} \newcommand{\R}{\mathbb{R}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Im}{\mathsf{Im}} \newcommand{\intd}{\,\mathsf{d}} \newcommand{\Re}{\mathsf{Re}} \newcommand{\ball}{\mathsf{B}} \newcommand{\wind}{\mathsf{wind}} \newcommand{\Log}{\mathsf{Log}} \newcommand{\exp}{\mathsf{exp}} \]

8.3 Applications

Home | Assessment | Notes | Index | Worksheets | Blackboard

We will cover three applications of Cauchy's integral formula.

Theorem (Cauchy's Estimate)

Fix $f$ holomorphic on $\ball(b,R)$. If, for some $0 < r < R$ there is $M > 0$ with $|f(z)| \le M$ for all $z$ with $|z-b| = r$ then \[ |f^{(n)}(b)| \le \dfrac{M n!}{r^n} \] for all $n \in \N$.

Proof:

Our proof of Taylor's theorem gave \[ f^{(n)}(b) = \dfrac{n!}{2 \pi i} \int\limits_{\gamma(r)} \dfrac{f(z)}{(z-b)^{n+1}} \intd z \] where $\gamma(t) = b + re^{it}$ on $[0,2\pi]$. The estimation lemma gives \[ |f^{(n)}(b)| \le \dfrac{n!}{2\pi} \dfrac{M}{r^{n+1}} \ell(\gamma(r)) = \dfrac{M n!}{r^n} \] because $|f(b+re^{it})| \le M$ for all $0 \le t \le 2\pi$. $\square$

Definition

A function $f : D \to \C$ is bounded if there is $M > 0$ such that $|f(z)| \le M$ for all $z \in D$.

Theorem (Liouville's Theorem)

If $f : \C \to \C$ is holomorphic and bounded then $f$ is constant.

Proof:

Fix $a \in \C$. Since $f$ is holomorphic on all of $\C$ we can apply Cauchy's estimate for all $r > 0$ to get \[ |f'(a)| \le \dfrac{M}{r} \] for all $r > 0$. But this implies $f'(a) = 0$. This is true for all $a \in \C$ so $f$ must be constant. $\square$

Our last application for the moment is the fundamental theorem of algebra. It states that every non-constant polynomial has a root.

Theorem (Fundamental Theorem of Algebra)

Let \[p(z) = z^n + a_{n-1}z^{n-1} + \cdots + a_2z^2 + a_1 z + a_0\] be a polynomial. If $p$ is not constant there is $b \in \C$ with $p(b) = 0$.

Proof:

The proof will be by contradiction. Suppose that $p(b) \ne 0$ for all $b \in \C$. Then the function $f(z) = 1/p(z)$ is holomorphic on $\C$. Moreover, it is bounded because $f$ is continuous and $\lim\limits_{z \to \infty} f(z) = 0$. But then Liouville's theorem implies $f$ is constant, which contradicts our hypothesis. $\square$