14.12.2012 Views

Complex Analysis - Maths KU

Complex Analysis - Maths KU

Complex Analysis - Maths KU

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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

log e 2−log e 3 = log e 2<br />

3<br />

☞<br />

and so,<br />

� 2i<br />

3<br />

1<br />

z dz = log 2<br />

e<br />

3<br />

π<br />

+ i ≈−0.4055 + 1.5708i.<br />

2<br />

EXAMPLE 5 Using an Antiderivative of z −1/2<br />

�<br />

1<br />

Evaluate<br />

z1/2 dz, where C is the line segment between z0 = i and z1 =9.<br />

C<br />

Solution Throughout we take f1(z) =z 1/2 to be the principal branch of<br />

the square root function. In the domain |z| > 0, −π < arg(z) < π, the<br />

function f1(z) =1/z 1/2 = z −1/2 is analytic and possesses the antiderivative<br />

F (z) =2z 1/2 (see (9) in Section 4.2). Hence,<br />

� 9<br />

i<br />

1<br />

z<br />

�<br />

�<br />

�<br />

�<br />

9<br />

dz =2z1/2<br />

1/2<br />

i<br />

=(6− √ 2) − i √ 2.<br />

See Problem 5 in Exercise 1.4<br />

� �√<br />

� �� �<br />

√ ��<br />

2 2<br />

=2 3 − + i<br />

2 2<br />

Remarks Comparison with Real <strong>Analysis</strong><br />

(i) In the study of techniques of integration in calculus you learned that<br />

indefinite integrals of certain kinds of products could be evaluated<br />

by integration by parts:<br />

�<br />

f(x)g ′ �<br />

(x)dx = f(x)g(x) − g(x)f ′ (x)dx. (11)<br />

You � undoubtedly � have used (11) in the more compact form<br />

udv = uv − vdu. Formula (11) carries over to complex analysis.<br />

Suppose f and g are analytic in a simply connected domain D. Then<br />

�<br />

f(z)g ′ �<br />

(z)dz = f(z)g(z) − g(z)f ′ (z)dz. (12)<br />

In addition, if z0 and z1 are the initial and terminal points of a<br />

contour C lying entirely in D, then<br />

� z1<br />

f(z)g ′ �<br />

�<br />

�<br />

(z) dz = f(z)g(z) �<br />

�<br />

z0<br />

z1<br />

z0<br />

� z1<br />

−<br />

z0<br />

g(z)f ′ (z) dz. (13)<br />

These results can be proved in a straightforward manner using Theorem5.7<br />

on the function d<br />

fg. See Problems 21–24 in Exercises<br />

dz<br />

5.4.

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

Saved successfully!

Ooh no, something went wrong!