Cauchy Integral Theorem
July 13, 2012 2 Comments
Suppose I’m thinking of a path between two complex numbers and , and I have a holomorphic function that I want you to integrate on the path. The problem is, I’m obnoxious, and I didn’t tell you what the path was. Can you do it?
The short answer is unfortunately no. The slightly longer answer is: it depends on the open set . If has no holes, then you can do it. Sometimes, you can even if does have holes, but that’s not what we’re going to worry about. The claim is that if I can continuously morph one path into another path , then
Such a “continuous morphing” is called a homotopy. Maybe you can see, roughly speaking, how a hole could be an obstruction to morphing one path into another. The intuition is, if you tie down two ends of a string, and you stick a big “pole” in the ground. You can’t get the string to go around the other side of the pole (without lifting it off the ground).
Here’s another way to look at it. Suppose I first integrate over the curve , and then I integrate over the curve , but I do it backwards. The result would be the difference between the two integrals. If is the curve given by and then backwards, then
I’d like to show that this integral is zero. One way to do this would be to show that if I integrate over any loop which is homotopic (can be shrunk down) to a point, then the integral must be zero.
Indeed these two things are equivalent, but I’m not going to prove either. To avoid some messy details, and sweep some others under the rug, I’m going to prove a result that is slightly weaker, though I hope strong enough to give you the right idea. The details I’m leaving out aren’t complex analysis. They’re topology, and in my opinion, boring. I’ll prove this weaker result, and then use the stronger one. If you’re interested, Ahlfors has a proof of the stronger result.
This weaker result is about loops which enclose a simply-connected region. That is, it’s the same result as I want to prove, but only for loops which are the boundary of some region.
Theorem 1 Let be a simply-connected region contained in an open set , and is a parameterization of the boundary, then for ,
Proof: Let , and let . Then we have the relation on 1-forms . As before, we’ll be using the notation as shorthand for . Now
From Green’s theorem (which we won’t prove because it is real analysis), we know that
Of course, the Cauchy-Riemann equations tell us that and , so
A discussion with some friends revealed that this is sort of a hack. I just swept the difficult part of the theoerm into Green’s theorem and then didn’t both to prove it. I know. But I like it anyway, and the reason I like it is because I had never seen the connection between the Cauchy-Riemann equations and the result of Green’s theorem. In some sense, one might say that complex analysis is the study of a very special class of functions that behave in remarkably nice ways with respect to Green’s theorem.