The content of Homotopies from the last lecture will be used in this lecture.
Cauchy’s Theorem
Let be holomorphic. Suppose and are two (parametrized) closed curves in such that . Then we have
Proof of Cauchy’s Theorem
Info
This is also called the Cauchy-Goursat theorem.
Cauchy proved the theorem with some extra assumptions, which was later shown to be unnecessary by Goursat.
We also assume the following:
- The derivative of is continuous
- The homotopy has continuous second partial derivatives
(The assumptions are not necessary, but makes the proof a lot simpler).
Fix and let be the closed curve with , where is the homotopy between and .
We introduce a function by
Note
Note that and .
Our main aim is to prove that is constant, which in particular implies that and hence the result.
Since is parametrized by , we have by definition of complex integral
We compute the derivative with respect to , giving
Since the second derivatives of are continuous, we can switch the order of the partial derivatives by Schwartz’s theorem. Then we can rewrite it as
Finally we use the fundamental theorem of calculus to get
Now since and are two homotopic closed curves, we have that for all .
Clearly this also implies that their derivatives coincide, that is .
From this we conclude that , that is is constant.
Contractible Paths
A path is called contractible if it is homotopic to a point (where a point is considered to be a closed constant path).
In this case we get an important corollary, which is very useful in practice.
Corollary
Let be holomorphic and be contractible. Then
Proof
We have that can be modified into a point by some homotopy.
Then by Cauchy’s theorem:
But the integral over a point is always zero.
Another Proof
We give another proof of Cauchy’s theorem (in the contractible setting) by using Green’s Theorem from vector calculus.
Let be a (simple, positively-oriented) closed curve in the plane and denoted by the region enclosed by . Let and be (real-valued) functions and assume that the first-derivatives are continuous.
Then we have the identity
In this formula we use standard notations from vector calculus.