6
$\begingroup$

Does there exist a conformal map from the region $\Omega = \{z :|z|<1\} \cap \{z: |z- \frac{1+i}{\sqrt2}|<1\}$ onto the region $\{z: |z|<1, \operatorname{Im}z>0\}$?

I think I need to find at least three intersection point of the two circles and mapped them to real axis using the formula of fractional linear transformation. I even have difficulty finding the intersection points. I would really appreciate if someone do this rigorously. This is not a homework problem. This is from the collection of previous qual exams.

  • 0
    If I haven't mistaken, there is such a map due to Riemann Mapping Theorem.2012-12-30
  • 0
    Most likely you're expected to prove that the Riemann mapping theorem applies. For this note that both domains are convex and so are simply connected. Or are you asked to give an explicit map?2012-12-30
  • 0
    As has been said, it's not apparent that you need an explicit map. But for what it's worth, I compute the intersection points as $\left(-\sqrt{1/2-\sqrt{12}/8},1/4(\sqrt{2}+\sqrt{6})\right)$ and $\left(\sqrt{1/2+1/8\sqrt{12}},1/4(\sqrt{2}-\sqrt{6})\right)$. They might have been nicer in polar coordinates. Note there are only two, not three.2012-12-30
  • 0
    @Jose27, Yes we do need an explicit map.2012-12-30
  • 0
    @KevinCarlson, I would assume they are nicer in polar coordinates, the intersection point you gave looks not very nice. But that is something anyway. Thaks2012-12-30
  • 0
    @Deepak: This seems hard with Möbius transformations since the second circle in $\Omega$ is not orthogonal to the unit disk.2012-12-31
  • 0
    Any other thoughts then?2012-12-31

1 Answers 1

3

Here is the standard way to map any domain bounded by two circular arcs, or a circular arc and a line segment, to a half-plane. Doing this for both of these domains and composing one map with the inverse of the other gives the desired map.

Find a linear fractional transformation mapping the intersection points to $0$ and $\infty$. The two boundary arcs will be mapped to rays from $0$ to $\infty$, so the image will be a sector of some opening angle $\alpha$ (which is the angle at which the two circles or circle/line segment intersect.) Then compose with a power map $z \mapsto z^\beta$ such that $\alpha \beta = \pi$, which maps the sector to a half-plane.

(You might have to rotate the half-planes to get the same for both of your domains, depending on the choice of the LFT in the first step.)