Unit 5: Part A Solutions (Complex Variables)

Question 1

Show that an analytic function with constant imaginary part is constant.

Let f(z) = u + iv be an analytic function.

Given: The imaginary part is constant. Let v(x, y) = c, where c is a constant.

1. ∂v/∂x = 0

2. ∂v/∂y = 0

By the Cauchy-Riemann (C-R) equations, since f(z) is analytic:

∂u/∂x = ∂v/∂y = 0

∂u/∂y = -∂v/∂x = 0

Since both partial derivatives of u are zero, u(x, y) must also be a constant, say k.

Therefore, f(z) = u + iv = k + ic, which is a constant. (Proved)

Question 2

If u = x2-y2 and v = -y / (x2+y2), then u+iv is not an analytic function. (True/False).

We check the Cauchy-Riemann (C-R) equations.

For u = x2 - y2:

∂u/∂x = 2x

∂u/∂y = -2y

For v = -y / (x2+y2):

∂v/∂y = [(-1)(x2+y2) - (-y)(2y)] / (x2+y2)2 = (-x2-y2+2y2) / (x2+y2)2 = (y2-x2) / (x2+y2)2

∂v/∂x = (-(-y) · 2x) / (x2+y2)2 = 2xy / (x2+y2)2

Check C-R 1: ∂u/∂x = ∂v/∂y ?

2x ≠ (y2-x2) / (x2+y2)2

Check C-R 2: ∂u/∂y = -∂v/∂x ?

-2y ≠ -[ 2xy / (x2+y2)2 ]

Since the C-R equations are not satisfied, the function is not analytic.

True

Question 3

Show that φ = x3 - 3xy2 + 3x2 - 3y2 + 1 is harmonic.

To be harmonic, φ must satisfy Laplace's equation: ∂2φ/∂x2 + ∂2φ/∂y2 = 0.

Derivatives w.r.t. x:

∂φ/∂x = 3x2 - 3y2 + 6x

2φ/∂x2 = 6x + 6

Derivatives w.r.t. y:

∂φ/∂y = -6xy - 6y

2φ/∂y2 = -6x - 6

Sum:

2φ/∂x2 + ∂2φ/∂y2 = (6x + 6) + (-6x - 6) = 0

Since Laplace's equation is satisfied, the function is harmonic.

Question 4

3x2y - y3 is harmonic (True/False).

Let φ = 3x2y - y3. We check Laplace's equation.

Derivatives w.r.t. x:

∂φ/∂x = 6xy

2φ/∂x2 = 6y

Derivatives w.r.t. y:

∂φ/∂y = 3x2 - 3y2

2φ/∂y2 = -6y

Sum:

2φ/∂x2 + ∂2φ/∂y2 = (6y) + (-6y) = 0

Since Laplace's equation is satisfied, the function is harmonic.

True

Question 5

Show that u = ex(cos y - sin y) is harmonic.

We check if uxx + uyy = 0.

Derivatives w.r.t. x:

∂u/∂x = ex(cos y - sin y)

2u/∂x2 = ex(cos y - sin y)

Derivatives w.r.t. y:

∂u/∂y = ex(-sin y - cos y)

2u/∂y2 = ex(-cos y + sin y) = -ex(cos y - sin y)

Sum:

2u/∂x2 + ∂2u/∂y2 = ex(cos y - sin y) - ex(cos y - sin y) = 0

Since Laplace's equation is satisfied, the function is harmonic.

Question 6

Find a function w such that w = u+iv is analytic if u = exsin y.

We need to find the conjugate function v using the C-R equations.

1. ∂u/∂x = exsin y

2. ∂u/∂y = excos y

From C-R 1: ∂v/∂y = ∂u/∂x = exsin y

Integrate w.r.t. y to find v:

v = ∫ exsin y dy = -excos y + g(x)    (where g(x) is a function of x only)

From C-R 2: ∂v/∂x = -∂u/∂y = -excos y

Differentiate our v w.r.t. x:

∂v/∂x = ∂/∂x(-excos y + g(x)) = -excos y + g'(x)

Compare the two expressions for ∂v/∂x:

-excos y + g'(x) = -excos y  &implies  g'(x) = 0  &implies  g(x) = C (a constant)

So, v = -excos y + C.

w = u + iv = exsin y + i(-excos y + C)

w = -i ex(cos y + i sin y) + iC = -i exeiy + iC = -i ez + iC

w = -i ez + K

(where K is a complex constant, iC)

Question 7

Find the image of |z| = 2 under the transformation w = z + 3 + 2i.

The transformation w = z + c is a simple translation (shift).

The original curve |z| = 2 is a circle centered at the origin (0, 0) with a radius of 2.

The transformation shifts the center by the vector (3 + 2i).

New center = (0 + 3) + i(0 + 2) = 3 + 2i.

The radius remains unchanged.

Alternatively:

Let z = w - (3 + 2i). Substitute this into |z| = 2:

|w - (3 + 2i)| = 2    or    |w - 3 - 2i| = 2

This is the equation of a circle.

A circle centered at (3, 2) with radius 2.

Question 8

The invariant points of the transformation w = (2z+6) / (z+7) is...

Invariant (or fixed) points are found by setting w = z.

z = (2z + 6) / (z + 7)

z(z + 7) = 2z + 6

z2 + 7z = 2z + 6

z2 + 5z - 6 = 0

Factor the quadratic equation:

(z + 6)(z - 1) = 0

The invariant points are z = 1 and z = -6.

z = 1 and z = -6

Question 9

Find the bilinear transformation which maps Z1=0, Z2=1, Z3=∞ into the points w1=i, w2=1, w3=-i.

We use the cross-ratio formula:

( (w-w1)(w2-w3) ) / ( (w-w3)(w2-w1) ) = ( (z-z1)(z2-z3) ) / ( (z-z3)(z2-z1) )

Since z3 = ∞, the term (z2-z3) / (z-z3) simplifies to -1.

RHS: ( (z-0) / ( (z2-z1) ) ) · (-1) = ( z / (1-0) ) · (-1) = -z

LHS: ( (w-i)(1 - (-i)) ) / ( (w - (-i))(1 - i) )

= ( (w-i)(1+i) ) / ( (w+i)(1-i) )

= [ (w-i) / (w+i) ] · [ (1+i) / (1-i) ]

Simplify the constant term: (1+i)/(1-i) = (1+i)2 / ((1-i)(1+i)) = (1 + 2i - 1) / (1 - (-1)) = 2i / 2 = i

Equate LHS and RHS:

i · ( (w-i) / (w+i) ) = -z

(w-i) / (w+i) = -z / i = iz

w - i = iz(w + i)

w - i = izw + i2z

w - i = izw - z

w - izw = i - z

w(1 - iz) = i - z

w = (i - z) / (1 - iz)