14.12.2012 Views

Complex Analysis - Maths KU

Complex Analysis - Maths KU

Complex Analysis - Maths KU

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

262 Chapter 5 Integration in the <strong>Complex</strong> Plane<br />

C<br />

i<br />

–i<br />

y<br />

C 1<br />

C 2<br />

x<br />

and<br />

�<br />

C<br />

dz<br />

z2 � � �<br />

1 1 1<br />

= − dz.<br />

+1 2i C z − i z + i<br />

We now surround the points z = i and z = −i by circular contours C1 and<br />

C2, respectively, that lie entirely within C. Specifically, the choice |z − i| = 1<br />

2<br />

for C1 and |z + i| = 1<br />

2 for C2 will suffice. See Figure 5.32. FromTheorem5.5<br />

we can write<br />

�<br />

dz<br />

z2 �<br />

1<br />

=<br />

+1 2i<br />

C<br />

= 1<br />

�<br />

2i C1<br />

C1<br />

�<br />

1 1<br />

dz −<br />

z − i 2i C1<br />

� �<br />

1 1<br />

− dz +<br />

z − i z + i<br />

1<br />

� � �<br />

1 1<br />

− dz<br />

2i C2 z − i z + i<br />

�<br />

1 1<br />

dz +<br />

z + i 2i C2<br />

�<br />

1 1<br />

dz −<br />

z − i 2i C2<br />

1<br />

dz. (9)<br />

z + i<br />

Figure 5.32 Contour for Example 5 Because 1/(z+i) is analytic on C1 and at each point in its interior and because<br />

1/(z − i) is analytic on C2 and at each point in its interior, it follows from(4)<br />

that the second and third integrals in (9) are zero. Moreover, it follows from<br />

D<br />

C<br />

Figure 5.33 Contour C is closed but<br />

not simple.<br />

(6), with n = 1, that<br />

�<br />

Thus (9) becomes<br />

Remarks<br />

C1<br />

dz<br />

=2πi and<br />

z − i<br />

�<br />

C<br />

�<br />

C2<br />

dz<br />

z2 = π − π =0.<br />

+1<br />

dz<br />

z + i =2πi.<br />

Throughout the foregoing discussion we assumed that C was a simple<br />

closed contour, in other words, C did not intersect itself. Although we<br />

shall not give the proof, it can be shown that the Cauchy-Goursat theorem<br />

is valid for any closed contour C in a simply connected domain D. As<br />

shown in Figure 5.33, the contour C is closed but not simple. Nevertheless,<br />

if f is analytic in D, then �<br />

f(z) dz =0. See Problem23 in Exercises<br />

C<br />

5.3.<br />

EXERCISES 5.3 Answers to selected odd-numbered problems begin on page ANS-16.<br />

In Problems 1–8, show that �<br />

f(z) dz = 0, where f is the given function and C is<br />

C<br />

the unit circle |z| =1.<br />

1. f(z) =z 3 − 1+3i 2. f(z) =z 2 + 1<br />

3. f(z) =<br />

z − 4<br />

z<br />

2z +3<br />

z − 3<br />

4. f(z) =<br />

z2 +2z +2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!