(ii) Prove that \( w=\frac{z}{1-z} \) maps the upper half of the \( z \)-plane onto the upper half of the w-plane. What is the image of the circle \( |z|=1 \) under this transformation?
Real Tutor Solution
Answer
Solution
Reviewed and approved by the UpStudy tutoring team
The Deep Dive
To prove that \( w = \frac{z}{1-z} \) maps the upper half of the \( z \)-plane to the upper half of the \( w \)-plane, we start by letting \( z = x + iy \) where \( y > 0 \). The transformation can be rewritten as: \[ w = \frac{x + iy}{1 - (x + iy)} = \frac{x + iy}{1 - x - iy}. \] By multiplying the numerator and the denominator by the conjugate of the denominator \( 1 - x + iy \), we have: \[ w = \frac{(x + iy)(1 - x + iy)}{(1 - x)^2 + y^2}. \] Now, expanding the numerator gives: \[ w = \frac{(x(1 - x) + y^2) + i(y(1 - x) + xy)}{(1 - x)^2 + y^2}. \] The imaginary part (which determines which half-plane \( w \) lies in) is: \[ \text{Im}(w) = \frac{y(1 - x) + xy}{(1 - x)^2 + y^2} = \frac{y(1 - x + x)}{(1 - x)^2 + y^2} = \frac{y}{(1 - x)^2 + y^2}. \] Since \( y > 0 \), we see that \( \text{Im}(w) > 0 \), meaning \( w \) is indeed in the upper half-plane. Now, for the circle \( |z| = 1 \), we can parameterize it with \( z = e^{i\theta} \) where \( \theta \) varies from \( 0 \) to \( 2\pi \). Substituting into our transformation yields: \[ w = \frac{e^{i\theta}}{1 - e^{i\theta}}. \] To find \( |w| \) for \( |z| = 1 \), we compute: \[ 1 - e^{i\theta} = 1 - (\cos \theta + i \sin \theta) = (1 - \cos \theta) - i \sin \theta, \] and thus, \[ w = \frac{e^{i\theta}}{(1 - \cos \theta) - i \sin \theta}. \] This transformation takes the unit circle to some other path on the plane, revealing that \( |w| \to \infty \) as \( \theta \) approaches the angles where \( 1 - e^{i\theta} \) approaches zero. Therefore, the image of the unit circle under this transformation will be a line that extends in opposite directions from the point at infinity on both sides, specifically mapping to a vertical line in the \( w \)-plane representing the boundary between two semicircles.