Cauchy's integral theorem

Statement of theorem

The theorem is usually formulated for closed paths as follows: let U be an open subset of C which is simply connected, let f : UC be a holomorphic function, and let be a rectifiable path in U whose start point is equal to its end point. Then

A precise (homology) version can be stated using winding numbers. The winding number of a closed curve around a point z0 (not on the curve) is the integral of f(z)/(2πi), where f(z) = 1/(z  z0) around the curve. It is an integer. Briefly, the path integral along a Jordan curve of a function holomorphic in the interior of the curve, is zero. Instead of a single closed path we can consider a linear combination of closed paths, where the scalars are integers. Such a combination is called a closed chain, and one defines an integral along the chain as a linear combination of integrals over individual paths. A closed chain is called a cycle in a region if it is homologous to zero in the region; that is, the winding number, expressed by the integral of 1/(z  z0) over the closed chain, is zero for each point z0 not in the region. This means that the closed chain does not wind around points outside the region. Then Cauchy's theorem can be stated as the integral of a function holomorphic in an open set taken around any cycle in the open set is zero. An example is furnished by the ring-shaped region. This version is crucial for rigorous derivation of Laurent series and Cauchy's residue formula without involving any physical notions such as cross cuts or deformations. The version enables the extension of Cauchy's theorem to multiply-connected regions analytically.


As was shown by Édouard Goursat, Cauchy's integral theorem can be proven assuming only that the complex derivative f(z) exists everywhere in U. This is significant, because one can then prove Cauchy's integral formula for these functions, and from that deduce these functions are in fact infinitely differentiable.

The condition that U be simply connected means that U has no "holes" or, in homotopy terms, that the fundamental group of U is trivial; for instance, every open disk , for , qualifies. The condition is crucial; consider

which traces out the unit circle, and then the path integral

is non-zero; the Cauchy integral theorem does not apply here since is not defined (and is certainly not holomorphic) at .

One important consequence of the theorem is that path integrals of holomorphic functions on simply connected domains can be computed in a manner familiar from the fundamental theorem of real calculus: let U be a simply connected open subset of C, let f : UC be a holomorphic function, and let γ be a piecewise continuously differentiable path in U with start point a and end point b. If F is a complex antiderivative of f, then

The Cauchy integral theorem is valid in slightly stronger forms than given above. e.g. Let U be a simply connected open subset of C and f a function which is holomorphic on U and continuous on . Let be a loop in which is uniform limit of a sequence of rectifiable loops in U with bounded lengths. Then applying the Cauchy theorem to the and passing to the limit one has

See e.g. (Kodaira 2007, Theorem 2.3) for a more general result.

The Cauchy integral theorem leads to Cauchy's integral formula and the residue theorem.


If one assumes that the partial derivatives of a holomorphic function are continuous, the Cauchy integral theorem can be proved as a direct consequence of Green's theorem and the fact that the real and imaginary parts of must satisfy the Cauchy–Riemann equations in the region bounded by , and moreover in the open neighborhood U of this region. Cauchy provided this proof, but it was later proved by Goursat without requiring techniques from vector calculus, or the continuity of partial derivatives.

We can break the integrand , as well as the differential into their real and imaginary components:

In this case we have

By Green's theorem, we may then replace the integrals around the closed contour with an area integral throughout the domain that is enclosed by as follows:

However, being the real and imaginary parts of a function holomorphic in the domain , and must satisfy the Cauchy–Riemann equations there:

We therefore find that both integrands (and hence their integrals) are zero

This gives the desired result

See also


  • Kodaira, Kunihiko (2007), Complex Analysis, Cambridge Stud. Adv. Math., 107, CUP, ISBN 978-0-521-80937-5
  • Ahlfors, Lars (2000), Complex Analysis, McGraw-Hill series in Mathematics, McGraw-Hill, ISBN 0-07-000657-1
  • Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
  • Rudin, Walter (2000), Real and Complex Analysis, McGraw-Hill series in mathematics, McGraw-Hill
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.