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.