Complex Analysis/Cauchy's Integral Theorem for Disks

The Cauchy Integral Formula (named after Augustin-Louis Cauchy) is one of the fundamental results of complex analysis, a branch of mathematics. In its weakest form, it states that the values of a holomorphic function $f$ inside a disk are completely determined by its values on the boundary of that disk. A powerful generalization of this is the Residue theorem.

Cauchy Integral Formula for Disks

Statement

Let $G\subseteq \mathbb {C}$ be open, $f\colon G\to \mathbb {C}$ holomorphic, $z_{0}\in G$ a point in $G$, and $U:=D_{r}(z_{0})\subset G$ a bounded disk in $G$. Then for all $z\in D_{r}(z_{0})$ (i.e., for all $z$ with $|z-z_{0}|<r$), the following holds: :$f(z)={\frac {1}{2\pi \mathrm {i} }}\oint _{\partial U}{\frac {f(\zeta )}{\zeta -z}}\mathrm {d} \zeta$ Here, $\partial U$ denotes the positively oriented curve $t\mapsto z_{0}+re^{\mathrm {i} t}$ for $t\in [0,2\pi ]$ along the boundary of the disk $U$.

Proof 1

For a fixed $z\in U$, the function $g\colon U\to \mathbb {C}$ defined by $w\mapsto {\tfrac {f(w)-f(z)}{w-z}}$ for $w\neq z$ und $w\mapsto f'(z)$ for $w=z$. $g$ is steadily on $U$ and holomorphic on $U\setminus \{z\}$. By the Cauchy Integral Theorem, we now have: :$0=\oint _{\partial U}g=\oint _{\partial U}{\frac {f(\zeta )}{\zeta -z}}\mathrm {d} \zeta -f(z)\oint _{\partial U}{\frac {\mathrm {d} \zeta }{\zeta -z}}$.

Proof 2

The function $h\colon U\to \mathbb {C}$, $\textstyle w\mapsto \oint _{\partial U}{\frac {\mathrm {d} \zeta }{\zeta -w}}$ is holomorphic with the derivative $\textstyle h'(w)=\oint _{\partial U}{\frac {\mathrm {d} \zeta }{\left(\zeta -w\right)^{2}}}$, which vanishes since the integrand has an antiderivative (namely $\zeta \mapsto -{\frac {1}{\zeta -w}}$). Therefore, $h$ is constant, and since $h(a)=2\pi i$, we have $h(z)=2\pi i$.

Consequences of the Cauchy Integral Theorem

The Cauchy Integral Theorem (CIS) leads to the following corollaries:

Representation of the Function at the Center of the Disk

For every holomorphic function, the function value at the center of a circle is the average of the function values on the circle's boundary. Use $\zeta (t)=z_{o}+re^{\mathrm {i} t},\ \mathrm {d} \zeta =\mathrm {i} re^{\mathrm {i} t}\mathrm {d} t$. Test: :${\begin{aligned}f|{U}(z_{o})&={\frac {1}{2\pi \mathrm {i} }}\oint {\partial U}{\frac {f(\zeta )}{\zeta -z_{o}}}\mathrm {d} \zeta ={\frac {1}{2\pi \mathrm {i} }}\int _{0}^{2\pi }{\frac {f(a+re^{\mathrm {i} t})}{re^{\mathrm {i} t}}}\mathrm {i} re^{\mathrm {i} t},\mathrm {d} t\ &={\frac {1}{2\pi }}\int _{0}^{2\pi }f(z_{o}+re^{\mathrm {i} t}),\mathrm {d} t\end{aligned}}$

Derivatives - Cauchy Integral Formula - CIF

Every holomorphic function is infinitely complex differentiable, and each of these derivatives is also holomorphic. Expressed using the integral formula, this means for $|z-z_{o}|<r$ and $n\in \mathbb {N} {0}$: :$f^{(n)}(z)={\frac {n!}{2\pi \mathrm {i} }}\oint {\partial U}{\frac {f(\zeta )}{(\zeta -z)^{n+1}}}\mathrm {d} \zeta .$

Local Developability in Power Series

Every holomorphic function can be locally expanded into a power series for $|z-a|<r$.

$f(z)=\sum \limits _{n=0}^{\infty }\left({\frac {1}{2\pi \mathrm {i} }}\oint _{\partial U}{\frac {f(\zeta )}{(\zeta -a)^{n+1}}}\mathrm {d} \zeta \right)(z-a)^{n}=\sum \limits _{n=0}^{\infty }a_{n}(z-a)^{n}.$

Using the integral formula for $f^{(n)}$, it immediately follows that the coefficients $a_{n}$ are exactly the Taylor coefficients.

Estimation of the Taylor Series Coefficients

For the coefficients, the following estimate holds when $|f(z)|\leq M$ for $|z-a|<r\ \Leftrightarrow z\in U_{r}(a)$: :$|a_{n}|\leq {\frac {M}{r^{n}}}$ The Liouville Theorem (every holomorphic function bounded on the entire complex plane is constant) can be easily proven using the integral formula. This can then be used to easily prove the Fundamental Theorem of Algebra (every polynomial in $\mathbb {C}$ factors into linear factors). Here's the translation with the specified conditions:

Proof 1

The Cauchy integral formula is differentiated partially, allowing differentiation and integration to be swapped:

${\begin{aligned}f^{(n)}|_{U}(z)&={\frac {\partial ^{n}f}{\partial z^{n}}}|_{U}(z)={\frac {1}{2\pi \mathrm {i} }}{\frac {\partial ^{n}}{\partial z^{n}}}\oint _{\partial U}{\frac {f(\zeta )}{\zeta -z}}\mathrm {d} \zeta \\&={\frac {1}{2\pi \mathrm {i} }}\oint _{\partial U}f(\zeta )\underbrace {{\frac {\partial ^{n}}{\partial z^{n}}}{\frac {1}{\zeta -z}}} _{n!/(\zeta -z)^{1+n}}\mathrm {d} \zeta ={\frac {n!}{2\pi \mathrm {i} }}\oint _{\partial U}{\frac {f(\zeta )}{(\zeta -z)^{1+n}}}\mathrm {d} \zeta \end{aligned}}$

Proof 2a: Cauchy Kernel

Developing ${\frac {1}{\zeta -z}}$ in the Cauchy integral formula using the geometric series gives (Cauchy kernel):

${\frac {1}{1-{\frac {z-z_{o}}{\zeta -z_{o}}}}}=\sum _{n=0}^{\infty }\left({\frac {z-z_{o}}{\zeta -z_{o}}}\right)^{n}$

Proof 2: Cauchy Kernel - Taylor Series

${\begin{aligned}f|_{U}(z)&={\frac {1}{2\pi \mathrm {i} }}\oint _{\partial D_{r}(z_{o})}{\frac {f(\zeta )}{\zeta -z}}\mathrm {d} \zeta ={\frac {1}{2\pi \mathrm {i} }}\oint _{\partial D_{r}(z_{o})}{\frac {f(\zeta )}{\zeta -z_{o}-(z-z_{o})}}\mathrm {d} \zeta \\&{=}{\frac {1}{2\pi \mathrm {i} }}\oint _{\partial D_{r}(z_{o})}{\frac {f(\zeta )}{\zeta -z_{o}}}\cdot {\frac {1}{1-{\frac {z-z_{o}}{\zeta -z_{o}}}}}\mathrm {d} \zeta \,\\&{\overset {|{\frac {z-z_{o}}{\zeta -z_{o}}}|<1}{=}}{\frac {1}{2\pi \mathrm {i} }}\oint _{\partial D_{r}(z_{o})}{\frac {f(\zeta )}{\zeta -z_{o}}}\sum _{n=0}^{\infty }\left({\frac {z-z_{o}}{\zeta -z_{o}}}\right)^{n}\mathrm {d} \zeta \\&=\sum _{n=0}^{\infty }\underbrace {\left({\frac {1}{2\pi \mathrm {i} }}\oint _{\partial D_{r}(z_{o})}{\frac {f(\zeta )}{(\zeta -z_{o})^{n+1}}}\mathrm {d} \zeta \right)} _{a_{n}}(z-z_{o})^{n}\end{aligned}}$

Proof 2b: Cauchy Kernel

Since the geometric series converges uniformly for $|z-z_{o}|<|\zeta -z_{o}|=r$, one can integrate term by term, i.e., swap the sum and the integral. The development coefficients are:

${\begin{aligned}a_{n}&={\frac {1}{n!}}f^{(n)}|_{U}(z_{o})={\frac {1}{2\pi \mathrm {i} }}\oint _{\partial U_{r}(a)}{\frac {f(\zeta )}{(\zeta -z_{o})^{n+1}}}\mathrm {d} \zeta \\&={\frac {1}{2\pi \mathrm {i} }}\int _{0}^{2\pi }{\frac {f(z_{o}+re^{\mathrm {i} t})}{(re^{\mathrm {i} t})^{n+1}}}\mathrm {i} re^{\mathrm {i} t}\,\mathrm {d} t={\frac {1}{2\pi r^{n}}}\int _{0}^{2\pi }f(z_{o}+re^{\mathrm {i} t})e^{-\mathrm {i} nt}\,\mathrm {d} t\end{aligned}}$

Proof 3: Estimation of the Coefficients

For the coefficients $a_{n}\in \mathbb {C}$, the following estimate holds. There exists a $M>0$ such that $|f(z)|\leq M$ for $|z-z_{o}|=r$. Then, for $n\in \mathbb {N} 0$, we have:

${\begin{aligned}|a_{n}|&=\left|{\frac {1}{2\pi r^{n}}}\int _{0}^{2\pi }f(z_{o}+re^{\mathrm {i} t})e^{-\mathrm {i} nt}\,\mathrm {d} t\right|\\&\leq {\frac {1}{2\pi r^{n}}}\int _{0}^{2\pi }\underbrace {|f(z_{o}+re^{\mathrm {i} t})|} _{\leq M}\,\mathrm {d} t\leq {\frac {M}{r^{n}}}\end{aligned}}$

Proof 4: Liouville's Theorem

If $f$ is holomorphic on all of $\mathbb {C}$ and bounded, i.e., $|f(z)|=|\sum _{n=0}^{\infty }a_{n}z^{n}|\leq M$ for all $z\in \mathbb {C}$, then, as before, for all $r>0$, we have:

$|a_{n}|\leq {\frac {M}{r^{n}}}$

Since $r$ was arbitrary, it follows that $a_{n}=0$ for all $n\in \mathbb {N}$. Therefore, from the boundedness of $f$, we conclude:

$f(z)=a_{0}$

Thus, every bounded holomorphic function on all of $\mathbb {C}$ is constant (Liouville's theorem).

Example

Using the integral formula, integrals can also be computed:

$\oint _{\partial U_{2}(0)}{\frac {e^{2\zeta }}{(\zeta +1)^{4}}}\mathrm {d} \zeta ={\frac {2\pi \mathrm {i} }{3!}}{\frac {\mathrm {d} ^{3}}{\mathrm {d} z^{3}}}e^{2z}|_{z=-1}={\frac {8\pi \mathrm {i} }{3e^{2}}}$

Cauchy Integral Formula for Cycles

A generalization of the integral formula for circular contours is the version for cycles:

Let $G\subseteq \mathbb {C}$ be a domain, $f\colon G\to \mathbb {C}$ holomorphic, and $\Gamma$ a zero homologous cycle in $D$. Then, for all $z\in D$ not on $\Gamma$, the following integral formula holds:

$n(\Gamma ,z)\cdot f(z)={\frac {1}{2\pi \mathrm {i} }}\int _{\Gamma }{\frac {f(\zeta )}{\zeta -z}}\mathrm {d} \zeta$

Here, $n(\Gamma ,z)$ denotes the winding number or revolution of $\Gamma$ around $z$.

Cauchy Integral Formula for Polycycles

The Cauchy integral formula has been generalized to the multidimensional complex space $\mathbb {C} ^{n}$. Let $U_{1},\ldots ,U_{n}$ be disk domains in $\mathbb {C}$, then $U:=\prod _{i=1}^{n}U_{i}$ is a Polycylinder in $\mathbb {C} ^{n}$. Let $f\colon U\to \mathbb {C}$ be a holomorphic function and $\xi \in U$. The Cauchy integral formula is given by

$f(z_{1},\ldots ,z_{n})={\frac {1}{(2\pi \mathrm {i} )^{n}}}\oint _{\partial U_{n}}\cdots \oint _{\partial U_{1}}{\frac {f(\xi _{1},\ldots ,\xi _{n})}{(\xi _{1}-z_{1})\cdots (\xi _{n}-z_{n})}}\mathrm {d} \xi _{1}\cdots \mathrm {d} \xi _{n}$

Restrictions in Multidimensional Space

Since the Cauchy integral theorem does not hold in higher-dimensional space, this formula cannot be derived analogously to the one-dimensional case. Therefore, this integral formula is derived using induction from the Cauchy integral formula for disk domains. Using the multi-index notation, the formula can be simplified to:

$f(z)={\frac {1}{(2\pi \mathrm {i} )^{n}}}\oint _{\partial U}{\frac {f(\xi )}{(\xi -z)}},\mathrm {d} \xi$

with $\partial U=\partial U_{1}\times \cdots \times \partial U_{n}$.

Polycycles

Polycycles are defined using a vector of radii, where $M:=\max _{\xi \in U}|f(\xi )|$ and $r=(r_{1},\ldots ,r_{n})$ is the radius of the polycycle $U:=\prod _{i=1}^{n}U_{i}$.<ref> for the derivatives of the holomorphic Function $f$ as well as Cauchy's inequality

$\left|D^{k}f(z)\right|\leq {\frac {M\cdot k!}{r^{k}}},$

See also

• cycle

• Cauchy's Integral Theorem for Cycles

• zero homologous

Literature

• Kurt Endl, Wolfgang Luh: Analysis. Volume 3: Function Theory, Differential Equations. 6th revised edition. Aula-Verlag, Wiesbaden 1987, ISBN 3-89104-456-9, p. 153, Theorem 4.9.1.
• Wolfgang Fischer, Ingo Lieb: Function Theory. 7th improved edition. Vieweg, Braunschweig, 1994, ISBN 3-528-67247-1, p. 60, Chapter 3, Theorem 2.2 (Vieweg-Studium. Advanced Mathematics Course 47).

Page Information

You can display this page as Wiki2Reveal slides

Wiki2Reveal

The Wiki2Reveal slides were created for the Complex Analysis' and the Link for the Wiki2Reveal Slides was created with the link generator.

• This page is designed as a PanDocElectron-SLIDE document type.
• Source: Wikiversity https://en.wikiversity.org/wiki/Complex%20Analysis/Cauchy's%20Integral%20Theorem%20for%20Disks
• see Wiki2Reveal for the functionality of Wiki2Reveal.

Translation and Version Control

This page was translated based on the following source page and uses the concept of Translation and Version Control for a transparent language fork in a Wikiversity:

• Source: Cauchy-Integralsatz_für_Kreisscheiben - URL: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Cauchy-Integralsatz_für_Kreisscheiben
• Date: 12/10/2024