I'm studying complex calculus and one conclusion of the Riemann theorem is that the domain where the complex natural logarithm is holomorphic, meaning $\mathbb{C}\setminus\mathbb{R}_-$, can be mapped onto the unit disk with some Mobius transform since it is a simply-connected domain different from $\mathbb{C}$. I've tried to find this using methods we saw in class (picking 3 points on the edge of the starting domain and using the formula for $a$, $b$, $c$, and $d$) and the only this I've managed to map is the top half of the plane onto the unit disk. What would the Möbius transformation be in this special case (of a domain that has a one-dimensional outside)?
The Möbius transformation that maps $\mathbb{C}\setminus]-\infty;0]$ onto the unit disk
complex numberscomplex-analysislogarithmsmobius-transformation
Related Question
- Analytic function on complement of closed unit disk onto open unit disk
- Is a rational function which maps all circles/lines to circles/lines a Möbius transformation
- Determine if analytic mappings from $\mathbb{C}\setminus \{0\}$ and $\mathbb{C}\setminus [0,\infty)$ to open unit disk exist and if so, find them…
Best Answer
You need two steps to perform the task.
In the first step you map the given domain $\Omega$ to the right half plane $H$, using the principal value of the square root function:
$${\rm pv}\sqrt{\cdot}:\quad\Omega\to H,\qquad z=re^{i\phi}\to w:=\sqrt{r}\,e^{i\phi/2}\qquad(r>0, \ -\pi<\phi<\pi)\ .$$ You could also write $${\rm pv}\sqrt{z}:=e^{{\rm Log}(z)/2}\qquad(z\in\Omega)\ .$$ In the second step you map the $w$-halfplane $H$ via a Moebius transformation $T$ to the unit circle. You could, e.g., require that $$T(0)=-1,\quad T(\infty)=1,\quad T(i)=i\ .$$