18.2 Cauchy–Goursat Theorem
INTRODUCTION
In this section we shall concentrate on contour integrals where the contour C is a simple closed curve with a positive (counterclockwise) orientation. Specifically, we shall see that when f is analytic in a special kind of domain D, the value of the contour integral f(z) dz is the same for any simple closed curve C that lies entirely within D. This theorem, called the Cauchy–Goursat theorem, is one of the fundamental results in complex analysis. Preliminary to discussing the Cauchy–Goursat theorem and some of its ramifications, we first need to distinguish two kinds of domains in the complex plane: simply connected and multiply connected.
Simply and Multiply Connected Domains
In the discussion that follows, we shall concentrate on contour integrals where the contour C is a simple closed curve with a positive (counterclockwise) orientation. Before doing this, we need to distinguish two kinds of domains. A domain D is said to be simply connected if every simple closed contour C lying entirely in D can be shrunk to a point without leaving D. In other words, in a simply connected domain, every simple closed contour C lying entirely within it encloses only points of the domain D. Expressed yet another way, a simply connected domain has no “holes” in it. The entire complex plane is an example of a simply connected domain. A domain that is not simply connected is called a multiply connected domain; that is, a multiply connected domain has “holes” in it. See FIGURE 18.2.1. As in Section 9.9, we call a domain with one “hole” doubly connected, a domain with two “holes” triply connected, and so on.
FIGURE 18.2.1 Two kinds of domains
Cauchy’s Theorem
In 1825, the French mathematician Louis-Augustin Cauchy proved one of the most important theorems in complex analysis. Cauchy’s theorem says:
Suppose that a function f is analytic in a simply connected domain D and that f′ is continuous in D. Then for every simple closed contour C in D,
The proof of this theorem is an immediate consequence of Green’s theorem and the Cauchy–Riemann equations. Since f′ is continuous throughout D, the real and imaginary parts of f(z) = u + iv and their first partial derivatives are continuous throughout D. By (2) of Section 18.1 we write f(z) dz in terms of real-line integrals and use Green’s theorem on each line integral:
(1)
Now since f is analytic, the Cauchy–Riemann equations, ∂u/∂x = ∂v/∂y and ∂u/∂y = −∂v/∂x, imply that the integrands in (1) are identically zero. Hence, we have f(z) dz = 0.
In 1883, the French mathematician Edouard Goursat (1858–1936) proved Cauchy’s theorem without the assumption of continuity of f′ . The resulting modified version of Cauchy’s theorem is known as the Cauchy–Goursat theorem.
THEOREM 18.2.1 Cauchy–Goursat Theorem
Suppose a function f is analytic in a simply connected domain D. Then for every simple closed contour C in D, f(z) dz = 0.
Since the interior of a simple closed contour is a simply connected domain, the Cauchy–Goursat theorem can be stated in the slightly more practical manner:
If f is analytic at all points within and on a simple closed contour C, then (2)
EXAMPLE 1 Applying the Cauchy–Goursat Theorem
Evaluate ez dz, where C is the curve shown in FIGURE 18.2.2.
FIGURE 18.2.2 Contour in Example 1
SOLUTION
The function f(z) = ez is entire and C is a simple closed contour. It follows from the form of the Cauchy–Goursat theorem given in (2) that . ≡
EXAMPLE 2 Applying the Cauchy–Goursat Theorem
Evaluate , where C is the ellipse (x − 2)2 +
= 1.
SOLUTION
The rational function f(z) = 1/z2 is analytic everywhere except at z = 0. But z = 0 is not a point interior to or on the contour C. Thus, from (2) we have . ≡
EXAMPLE 3 Applying the Cauchy–Goursat Theorem
Given the flow f(z) = , compute the circulation around and net flux across C, where C is the square with vertices z = 1, z = i, z = −1, and z = −i.
SOLUTION
We must compute
dz =
cos z dz and then take the real and imaginary parts of the integral to find the circulation and net flux, respectively. The function cos z is analytic everywhere, and so
dz = 0 from (2). The circulation and net flux are therefore both 0. FIGURE 18.2.3 shows the flow f(z) =
and the contour C. ≡
FIGURE 18.2.3 Flow f(z) =
Cauchy–Goursat Theorem for Multiply Connected Domains
If f is analytic in a multiply connected domain D, then we cannot conclude that f(z) dz = 0 for every simple closed contour C in D. To begin, suppose D is a doubly connected domain and C and C1 are simple closed contours such that C1 surrounds the “hole” in the domain and is interior to C. See FIGURE 18.2.4(a). Suppose, also, that f is analytic on each contour and at each point interior to C but exterior to C1. When we introduce the cut AB shown in Figure 18.2.4(b), the region bounded by the curves is simply connected. Now the integral from A to B has the opposite value of the integral from B to A, and so from (2) we have
f(z) dz +
f(z) dz = 0 or
(3)
FIGURE 18.2.4 Doubly connected domain D
The last result is sometimes called the principle of deformation of contours, since we can think of the contour C1 as a continuous deformation of the contour C. Under this deformation of contours, the value of the integral does not change. Thus, on a practical level, (3) allows us to evaluate an integral over a complicated simple closed contour by replacing that contour with one that is more convenient.
EXAMPLE 4 Applying Deformation of Contours
Evaluate , where C is the outer contour shown in FIGURE 18.2.5.
FIGURE 18.2.5 We use the simpler contour C1 in Example 4
SOLUTION
In view of (3), we choose the more convenient circular contour C1 in the figure. By taking the radius of the circle to be r = 1, we are guaranteed that C1 lies within C. In other words, C1 is the circle |z − i| = 1, which can be parameterized by x = cos t, y = 1 + sin t, 0 ≤ t ≤ 2π, or equivalently by z = i + eit, 0 ≤ t ≤ 2π. From z − i = eit and dz = ieit dt we obtain
≡
The result in Example 4 can be generalized. Using the principle of deformation of contours (3) and proceeding as in the example, we can show that if z0 is any constant complex number interior to any simple closed contour C, then
(4)
The fact that the integral in (4) is zero when n is an integer ≠ 1 follows only partially from the Cauchy–Goursat theorem. When n is zero or a negative integer, 1/(z − z0)n is a polynomial (for example, n = −3, 1/(z − z0)−3 = (z − z0)3) and therefore entire. Theorem 18.2.1 then implies dz/(z − z0)n = 0. It is left as an exercise to show that the integral is still zero when n is a positive integer different from one. See Problem 22 in Exercises 18.2.
EXAMPLE 5 Applying Formula (4)
Evaluate where C is the circle |z − 2| = 2.
SOLUTION
Since the denominator factors as z2 + 2z − 3 = (z − 1)(z + 3), the integrand fails to be analytic at z = 1 and z = −3. Of these two points, only z = 1 lies within the contour C, which is a circle centered at z = 2 of radius r = 2. Now by partial fractions,
and so (5)
In view of the result given in (4), the first integral in (5) has the value 2πi. By the Cauchy–Goursat theorem, the value of the second integral is zero. Hence, (5) becomes
≡
If C, C1, and C2 are the simple closed contours shown in FIGURE 18.2.6 and if f is analytic on each of the three contours as well as at each point interior to C but exterior to both C1 and C2, then by introducing cuts, we get from Theorem 18.2.1 that f(z) dz +
f(z) dz +
f(z) dz = 0. Hence,
FIGURE 18.2.6 Triply connected domain D
The next theorem summarizes the general result for a multiply connected domain with n “holes”:
THEOREM 18.2.2 Cauchy–Goursat Theorem for Multiply Connected Domains
Suppose C, C1, . . ., Cn are simple closed curves with a positive orientation such that C1, C2, . . ., Cn are interior to C but the regions interior to each Ck, k = 1, 2, . . ., n, have no points in common. If f is analytic on each contour and at each point interior to C but exterior to all the Ck, k = 1, 2, . . ., n, then
(6)
EXAMPLE 6 Applying Theorem 18.2.2
Evaluate where C is the circle |z| = 3.
SOLUTION
In this case the denominator of the integrand factors as z2 + 1 = (z − i)(z + i). Consequently, the integrand 1/(z2 + 1) is not analytic at z = i and z = −i. Both of these points lie within the contour C. Using partial fraction decomposition once more, we have
and
We now surround the points z = i and z = −i by circular contours C1 and C2, respectively, that lie entirely within C. Specifically, the choice |z − i| = for C1 and |z + i| =
for C2 will suffice. See FIGURE 18.2.7. From Theorem 18.2.2 we can then write
(7)
FIGURE 18.2.7 Contour in Example 6
Because 1/(z + i) is analytic on C1 and at each point in its interior and because 1/(z − i) is analytic on C2 and at each point in its interior, it follows from (4) that the second and third integrals in (7) are zero. Moreover, it follows from (4), with n = 1, that
Thus (7) becomes ≡
REMARKS
Throughout the foregoing discussion we assumed that C was a simple closed contour; in other words, C did not intersect itself. Although we shall not give the proof, it can be shown that the Cauchy–Goursat theorem is valid for any closed contour C in a simply connected domain D. As shown in FIGURE 18.2.8, the contour C is closed but not simple. Nevertheless, if f is analytic in D, then f(z) dz = 0.
FIGURE 18.2.8 Contour C is closed but not simple
18.2 Exercises Answers to selected odd-numbered problems begin on page ANS-46.
In Problems 1–8, prove that f(z) dz = 0, where f is the given function and C is the unit circle |z| = 1.
- f(z) = z3 − 1 + 3i
- f(z) = z2 +
- f(z) =
- f(z) =
- f(z) =
- f(z) =
- f(z) = tan z
- f(z) =
- Evaluate
where C is the contour shown in FIGURE 18.2.9.
FIGURE 18.2.9 Contour in Problem 9
- Evaluate
where C is the contour shown in FIGURE 18.2.10.
FIGURE 18.2.10 Contour in Problem 10
In Problems 11–20, use any of the results in this section to evaluate the given integral along the indicated closed contour(s).
(a) |z| =
, (b) |z| = 2, (c) |z − 3i| = 1
(a) |z| = 1, (b) |z − 2i| = 1, (c) |z| = 4
(a) |z − 5| = 2, (b) |z| = 9
(a) |z| = 5, (b) |z − 2i| =
- Evaluate
where C is the closed contour shown in FIGURE 18.2.11. [Hint: Express C as the union of two closed curves C1 and C2.]
FIGURE 18.2.11 Contour in Problem 21
- Suppose z0 is any constant complex number interior to any simple closed contour C. Show that
In Problems 23 and 24, evaluate the given integral by any means.
C is the unit circle |z| = 1
(z3 + z2 + Re(z)) dz, C is the triangle with vertices z = 0, z = 1 + 2i, z = 1