Complex Analysis – Conformal Map from Disk with Slit to Upper Half Plane

complex-analysis

Find a conformal map from the set $\{|z|<1, \Re{z} > 0\}\backslash [0,1/2]$ to the upper half plane.

The main problem I am encountering is that the boundary of the given domain is comprised of two segments which intersect at right angles. So I am unable to map it to the unit disk conformally. What is usually the best strategy to construct maps from/to domains with slits? I try to use the map $\{|z|<1\}\backslash (-1,0] -> \{|z|<1,\Re{z}>0\}$ via $\sqrt{z}$.

Best Answer

The first three steps from solution in a comment are fine:

  1. Use the map $z\mapsto z^2$ to send $\{|z|<1 : \operatorname{Re} z>0\}\setminus [0,1/2]$ to $\{|z|<1\}\setminus [āˆ’1,1/4]$.

  2. Then use the map $z\mapsto \dfrac{zāˆ’1/4}{1āˆ’z/4}$ to send it to $\{|z|<1\}\setminus[āˆ’1,0]$.

  3. Use $z\mapsto \sqrt{z}$ to send it to the right half disk.

  4. I think $\dfrac{z-i}{z+1}$ has a typo: should be $z+i$ in the denominator. Easily fixed. Anyway, my preference is to use the Joukowski map $z\mapsto z+z^{-1}$ for half-disks. It sends the upper half of the unit disk to the lower halfplane, and the lower half-disk to the upper halfplane. So, the remaining steps can be replaced with $z\mapsto -iz$ followed by $z\mapsto z+z^{-1}$.

since the map $z\mapsto z^2$ is one-to-one in the right half disk and all the other subsequent maps are also injective in their domain of use, hence the resulting composition map is also injective and therefore conformal.

This is correct.

What is usually the best strategy to construct maps from/to domains with slits?

Exactly what you used: a combination of square and square root maps that "push" the slit back into the boundary from which it sticks out.