Professional Documents
Culture Documents
30. Use Definition 18.1.1 to show for any smooth curve C between
e
dz, where C is the circle |z| 5
C
C z 1 1
1
26.
dz, where C is the right half of the circle |z| 6
2
C z 2 2i
from z 6i to z 6i
25.
In Problems 3235, compute the circulation and net flux for the
given flow and the indicated closed contour.
32. f (z) 1/z, where C is the circle |z| 2
33. f (z) 2z, where C is the circle |z| 1
34. f (z) 1/1z 2 12 , where C is the circle |z 1| 2
35. f (z) z, where C is the square with vertices z 0, z 1,
z 1 i, z i
z1i
1
28.
dz, where C is one quarter of the circle |z| 4 from
3
C z
z 4i to z 4
29. (a) Use Definition 18.1.1 to show for any smooth curve C
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.
Cauchys Theorem In 1825, the French mathematician Louis-Augustin Cauchy proved one
of the most important theorems in complex analysis. Cauchys 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, C f 1z2 dz 5 0.
The proof of this theorem is an immediate consequence of Greens theorem and the CauchyRiemann
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 C f (z) dz
in terms of real-line integrals and use Greens theorem on each line integral:
C
C
f (z) dz
C
C
u(x, y) dx v(x, y) dy i
C
C
v(x, y) dx u(x, y) dy
0v
0u
0u
0v
5 6 a2 2
b dA 1 i 6 a
2
b dA.
0x
0y
0x
0y
D
802
79665_CH18_FINAL.indd 802
(1)
11/2/09 3:09:53 PM
Theorem 18.2.1
CauchyGoursat Theorem
Suppose a function f is analytic in a simply connected domain D. Then for every simple closed
contour C in D, C f (z) dz 0.
Since the interior of a simple closed contour is a simply connected domain, the CauchyGoursat
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
C f 1z2 dz 5 0.
EXAMPLE 1
Evaluate
C
C
(2)
Solution The function f (z) ez is entire and C is a simple closed contour. It follows from
the form of the CauchyGoursat theorem given in (2) that C ez dz 0.
EXAMPLE 2
Evaluate
1 y 2 52 2
dz
2
,
where
C
is
the
ellipse
(x
2)
1.
2
4
C
C z
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 C dz/z2 0.
EXAMPLE 3
Given the flow f (z) cos 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 C f 1z2 dz C 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 C f 1z2 dz 0 from (2). The circulation and net flux are therefore
both zero. FIGURE 18.2.3 shows the flow f (z) cos z and the contour C.
C1
D
C
(a)
C
C
f 1z2 dz 5
C
C1
f 1z2 dz.
(3)
(b)
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.
18.2 CauchyGoursat Theorem
79665_CH18_FINAL.indd 803
803
11/2/09 3:09:54 PM
EXAMPLE 4
y
2 + 4i
4i
Evaluate
2 + 3i
C
C1
i
x
dz
, where C is the outer contour shown in FIGURE 18.2.5.
z
2i
C
C
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 2p,
or equivalently by z i eit, 0 t 2p. From z i eit and dz ieit dt we obtain
2 2i
2i
2p
2p
dz
dz
ieit
5
5
dt 5 i dt 5 2pi.
eit
0
0
C
C z 2 i
C
C1 z 2 i
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
dz
2pi, n 5 1
(4)
n 5 e
0,
n an integer 2 1.
C
C 1z 2 z02
The fact that the integral in (4) is zero when n is an integer
1 follows only partially from
the CauchyGoursat 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 C 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
Evaluate
5z 1 7
dz, where C is the circle |z 2| 2.
C
C z 1 2z 2 3
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,
5z 1 7
2
3
1
5
z21
z13
z 1 2z 2 3
2
5z 1 7
dz
dz
12
.
(5)
dz 5 3
2
z
2
1
z
1
3
z
1
2z
2
3
C
C
C
C
C
C
In view of the result given in (4), the first integral in (5) has the value 2pi. By the Cauchy
Goursat theorem, the value of the second integral is zero. Hence, (5) becomes
and so
5z 1 7
dz 5 312pi2 1 2102 5 6pi.
2
z
1
2z 2 3
C
C
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 C f (z) dz C1 f (z) dz C2 f (z) dz 0. Hence,
C1
C2
Theorem 18.2.2
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
n
C
C
804
79665_CH18_FINAL.indd 804
f 1z2 dz 5 a
k51
C
Ck
f 1z2 dz.
(6)
11/2/09 3:09:55 PM
EXAMPLE 6
Evaluate
dz
, where C is the circle |z| 3.
2
z
11
C
C
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
C
i
1>2i
1>2i
1
2
5
z2i
z1i
z2 1 1
x
i
dz
1
1
1
c
2
d dz.
5
2
2i
z
2
i
z
1
i
z
1
1
C
C
C
C
and
C1
C2
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| 12 for C1 and |z i| 12 for C2 will
suffice. See FIGURE 18.2.7. From Theorem 18.2.2 we can then write
dz
1
1
1
1
1
1
c
2
d dz 1
c
2
d dz
5
2i C
z1i
2i C
z1i
C
C z 1 1
C1 z 2 i
C2 z 2 i
1
dz
1
dz
1
dz
1
dz
2
1
2
.
2iC
2i C
2i C
2i C
C1 z 2 i
C1 z 1 i
C2 z 2 i
C2 z 1 i
(7)
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
dz
dz
5 2piand
5 2pi.
z
2
i
z
1i
C
C1
C
C2
dz
5 p 2 p 5 0.
C
C z 1 1
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
CauchyGoursat 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 C f (z) dz 0.
18.2
Exercises
sin z
ez
6.
f
(z)
1z2 2 252 1z2 1 92
2z2 1 11z 1 15
z2 2 9
7. f (z) tan z
8. f (z)
cosh z
5. f (z)
79665_CH18_FINAL.indd 805
805
11/2/09 3:09:56 PM