4
$\begingroup$

Problem

I'm trying to find a Möbius transformation to map the region

$\{z:|z-i|<\sqrt2 \text{ and } |z+i|<\sqrt{2} \}$ onto

$\left\{z=re^{i\theta}:0<\theta<\frac{\pi}{2}, 0

Any help would be appreciated. Regards.

  • 0
    OK, so on reflection I think it may map the region to the lower half plane...2011-12-27

1 Answers 1

4

The target set is the upper right quarter-plane - the set of $z$ with positive real and imaginary parts.

Let $S_1=\{z:|z-i|=\sqrt 2\}$ and $S_2=\{z:|z+i|=\sqrt 2\}$, and let $D_1,D_2$ be their respective interiors.

Any Möbius transformation that sends $D_1\cap D_2$ to the upper-right plane must send either $S_1$ or $S_2$ to the real line, and the other to the imaginary line. In particular, it must send the pair $\{-1,1\}$ to $\{0,\infty\}$ since that is the two points on the Riemann sphere where the real and imaginary axes intersect.

We'll try $f(z)=a\frac{z+1}{z-1}$ for some $a$, since $f(1)=\infty$ and $f(-1)=0$.

For $f(z)$ to send $S_1$ to the real numbers, you only need to prove it for one value on $S_1$. We'll pick $w_1=1+2i$. Then we want $a\frac{2+2i}{2i}$ to be real, and, since $w_1$ is not on the boundary of $D_1\cap D_2$, we want $f(w_1)$ to be negative. So let's try to solve:

$ -1 = f(w_1) = a\frac{2+2i}{2i}=a(1-i)$ or $a = \frac{-1-i}2$

Then you need to show that, for this value of $a$, $f$ send $S_2$ to the imaginary line, and, again, you only need to validate $f(w_2)$ is imaginary for some $w_2$ on $S_2$ not in $\{\pm 1\}$, e.g., $w_2=1-2i$.$f(w_2)$. (You could just prove that $S_1$ and $S_2$ are orthogonal, since their image under $f$ would have to be orthogonal, so the image of $S_2$ would be a line that goes through $0$ and is orthogonal to the real line, hence must be the imaginary line.)

Finally, you need to show that $f(0)$ is in the upper-right quarter-plane.