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)
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.
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.
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.
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.
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
(where K is a complex constant, iC)
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.
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.
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