Complex Analysis/Lemma of Goursat

The Goursat Lemma is an important intermediate result in the proof of the Cauchy Integral Theorem. It restricts the integration paths to triangles, and its proof is based on a geometrical subdivision argument.

Let ${\displaystyle D\subseteq \mathbb {C} }$ be a closed triangle, ${\displaystyle G\supseteq D}$ open, and ${\displaystyle f\colon U\to \mathbb {C} }$ holomorphic. Then, ${\displaystyle \int _{\partial D}f(z),dz=0.}$

Let ${\displaystyle \Delta _{0}:=D}$. We will inductively construct a sequence ${\displaystyle (\Delta _{n})_{n\geq 0}}$ with the following properties:

${\displaystyle \Delta _{n}\subseteq \Delta _{n-1}}$

${\displaystyle {\mathcal {L}}(\partial \Delta _{n})=2^{-n}{\mathcal {L}}(\partial D)}$ (where ${\displaystyle L}$ denotes the length of a curve)

${\displaystyle \left|\int _{\partial D}f(z),dz\right|\leq 4^{n}\left|\int _{\partial \Delta _{n}}f(z),dz\right|}$

So, for some ${\displaystyle n\geq 0}$, suppose ${\displaystyle \Delta _{n}}$ is already constructed. We subdivide ${\displaystyle \Delta _{n}}$ by connecting the midpoints of the sides, creating four smaller triangles ${\displaystyle \Delta _{n+1}^{i}}$, ${\displaystyle 1\leq i\leq 4}$. Since the connections of the midpoints cancel each other out during integration, we have:

${\displaystyle {\begin{array}{rl}\displaystyle \left|\int _{\partial \Delta _{n}}f(z)\,dz\right|&=\displaystyle \left|\sum _{i=1}^{4}\int _{\partial \Delta _{n+1}^{i}}f(z)\,dz\right|\\&\leq \displaystyle \sum _{i=1}^{4}\left|\int _{\partial \Delta _{n+1}^{i}}f(z)\,dz\right|\\&\leq \displaystyle \max _{i}\left|\int _{\partial \Delta _{n+1}^{i}}f(z)\,dz\right|\end{array}}}$

Now, choose ${\displaystyle 1\leq i\leq 4}$ with ${\displaystyle \left|\int _{\partial \Delta _{n+1}^{i}}f(z)\,dz\right|=\max _{i}\left|\int _{\partial \Delta _{n+1}^{i}}f(z)\,dz\right|}$ and set ${\displaystyle \Delta _{n+1}:=\Delta _{n+1}^{i}}$. Then, by construction, we have ${\displaystyle \Delta _{n+1}\subseteq \Delta _{n}}$, and also:

${\displaystyle {\mathcal {L}}(\partial \Delta _{n+1})={\frac {1}{2}}{\mathcal {L}}(\partial \Delta _{n})=2^{-(n+1)}{\mathcal {L}}(\partial D)}$

and

${\displaystyle \left|\int _{\partial D}f(z)\,dz\right|\leq 4^{n}\left|\int _{\partial \Delta _{n}}f(z)\,dz\right|\leq 4^{n+1}\left|\int _{\partial \Delta _{n+1}}f(z)\,dz\right|}$

Thus, ${\displaystyle \Delta _{n+1}}$ has exactly the desired properties. Since all ${\displaystyle \Delta _{n}}$ are compact, the intersection ${\displaystyle \bigcap _{n\geq 0}\Delta _{n}\neq \emptyset }$, and let ${\displaystyle z_{0}\in \bigcap _{n\geq 0}\Delta _{n}}$. Since ${\displaystyle f}$ is holomorphic at ${\displaystyle z_{0}}$, there exists a continuous function ${\displaystyle A\colon V\to \mathbb {C} }$ with ${\displaystyle A(z_{0})=0}$ in a neighborhood ${\displaystyle V}$ of ${\displaystyle z_{0}}$ such that:

${\displaystyle f(z)=f(z_{0})+(z-z_{0})f'(z_{0})+A(z)(z-z_{0}),\qquad z\in V}$

Since ${\displaystyle z\mapsto f(z_{0})+(z-z_{0})f'(z_{0})}$ has an antiderivative, for all ${\displaystyle n\geq 0}$ with ${\displaystyle \Delta _{n}\subseteq V}$, we have:

${\displaystyle \int _{\partial \Delta _{n}}f(z)\,dz=\int _{\partial \Delta _{n}}f(z_{0})+(z-z_{0})f'(z_{0})+A(z)(z-z_{0})\,dz=\int _{\partial \Delta _{n}}A(z)(z-z_{0})\,dz.}$

Thus, using the continuity of ${\displaystyle A}$ and ${\displaystyle A(z_{0})=0}$, we get:

${\displaystyle {\begin{array}{rl}\displaystyle \left|\int _{\partial D}f(z)\,dz\right|&\leq \displaystyle 4^{n}\left|\int _{\partial \Delta _{n}}f(z)\,dz\right|\\&=\displaystyle 4^{n}\left|\int _{\partial \Delta _{n}}A(z)(z-z_{0})\,dz\right|\\&\leq \displaystyle 4^{n}\cdot {\mathcal {L}}(\partial \Delta _{n})\max _{z\in \partial \Delta _{n}}|z-z_{0}||A(z)|\\&\leq \displaystyle 4^{n}\cdot {\mathcal {L}}(\partial \Delta _{n})^{2}\max _{z\in \partial \Delta _{n}}|A(z)|\\&=\displaystyle {\mathcal {L}}(\partial D)\max _{z\in \partial \Delta _{n}}|A(z)|\\&\to \displaystyle {\mathcal {L}}(\partial D)|A(z_{0})|=0,\qquad n\to \infty .\end{array}}}$

==Notation in the Proof==

${\displaystyle \Delta _{n}}$ is the ${\displaystyle n}$-th similar subtriangle of the original triangle with side lengths shortened by a factor of ${\displaystyle {\frac {1}{2^{n}}}}$.

${\displaystyle \partial \Delta _{n}}$ is the integration path along the boundary of the ${\displaystyle n}$-th similar subtriangle, with a perimeter ${\displaystyle {\mathcal {L}}(\partial \Delta _{n})={\frac {1}{2^{n}}}\cdot {\mathcal {L}}(\partial \Delta _{0})}$.

Goursat's Lemma with Details

rectifiable curve or length of a curve