# What is the Möbius transformation that maps $\mathbb{C}\setminus]-\infty;0]$ onto the unit disk?

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)?

• Can you show us what you tried? Jul 27, 2020 at 12:12
• Hint: you can take log and square-roots on $\mathbb{C}-\mathbb{R}_-$ since you no longer has the problem of winding number about 0. Note you can't do it with Mobius alone Jul 27, 2020 at 12:30
• There is a conformal map from $\mathbb{C}\setminus\mathbb{R}_-$ to the unit disk, but not a Möbius transformation. Jul 27, 2020 at 13:49
• But then, wouldn't you be able to map $\mathbb{C}$ to the unit disk with a function like $$f(z)=(1-e^{-|z|})(e^{i\cdot \arg(z)})$$ or would this mapping not qualify as conformal? Jul 28, 2020 at 12:04

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\ .$$