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

$\endgroup$
7
  • $\begingroup$ If I haven't mistaken, there is such a map due to Riemann Mapping Theorem. $\endgroup$
    – finnlim
    Dec 30 '12 at 4:53
  • $\begingroup$ 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? $\endgroup$
    – Jose27
    Dec 30 '12 at 6:45
  • $\begingroup$ 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. $\endgroup$ Dec 30 '12 at 6:57
  • $\begingroup$ @Jose27, Yes we do need an explicit map. $\endgroup$
    – Deepak
    Dec 30 '12 at 17:41
  • $\begingroup$ @KevinCarlson, I would assume they are nicer in polar coordinates, the intersection point you gave looks not very nice. But that is something anyway. Thaks $\endgroup$
    – Deepak
    Dec 30 '12 at 17:42
3
$\begingroup$

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

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.