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.

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

(i) If F(x, y) = P (x, y)i + Q(x, y)j is a vector field for which<br />

div F = 0 and curl F = 0 in D, and if f(z) =P (x, y)+iQ(x, y)<br />

is the complex representation of F, then the function g(z) =f(z) =<br />

P (x, y) − iQ(x, y) is analytic in D.<br />

(ii) Conversely, if g(z) =u(x, y)+iv(x, y) is analytic in D, then the function<br />

f(z) =g(z) =u(x, y) − iv(x, y) is the complex representation<br />

of a vector field F(x, y) =P (x, y)i + Q(x, y)j for which div F =0<br />

and curl F = 0 in D.<br />

Proof (i) If we let u(x, y) and v(x, y) denote the real and imaginary parts<br />

of g(z) =f(z) =P (x, y) − iQ(x, y), then P = u and Q = −v. Because div F<br />

= 0 and curl F = 0, the equations in (2) become, respectively,<br />

That is,<br />

∂u<br />

= −∂(−v)<br />

∂x ∂y<br />

∂u ∂v<br />

=<br />

∂x ∂y<br />

and<br />

and<br />

∂u<br />

∂y<br />

∂u<br />

∂y<br />

= ∂(−v)<br />

∂x .<br />

∂v<br />

= − . (3)<br />

∂x<br />

The equations in (3) are the usual Cauchy-Riemann equations, and so by<br />

Theorem3.5 we conclude that g(z) =f(z) =P (x, y) − iQ(x, y) is analytic<br />

in D.<br />

(ii) We now let P (x, y) and Q(x, y) denote the real and imaginary parts<br />

of f(z) =g(z) =u(x, y) − iv(x, y). Since u = P and v = −Q, the Cauchy-<br />

Riemann equations become<br />

∂P<br />

∂x<br />

= ∂(−Q)<br />

∂y<br />

= −∂Q<br />

∂y<br />

and<br />

∂P<br />

∂y<br />

= −∂(−Q)<br />

∂x<br />

∂Q<br />

= . (4)<br />

∂x<br />

These are the equations in (2) and so div F = 0 and curl F = 0. ✎<br />

EXAMPLE 1 Vector Field Gives an Analytic Function<br />

The two-dimensional vector field<br />

F(x, y) = K<br />

�<br />

�<br />

2π<br />

,K >0,<br />

y − y0<br />

(x − x0) 2 2 i −<br />

+(y − y0)<br />

x − x0<br />

(x − x0) 2 2 j<br />

+(y − y0)<br />

can be interpreted as the velocity field of the flow of an ideal fluid in a domain<br />

D of the xy-plane not containing (x0, y0). It is easily verified that the fluid is<br />

incompressible (div F = 0) and irrotational (curl F = 0) inD. The complex<br />

representation of F is<br />

f(z) = K<br />

�<br />

y − y0<br />

2π (x − x0) 2 x − x0<br />

2 − i<br />

+(y − y0) (x − x0) 2 +(y − y0) 2<br />

�<br />

.

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

Saved successfully!

Ooh no, something went wrong!