Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

On my complex analysis prelim this morning I was asked to give a conformal map from the region $L=\{z\in\mathbb{C}:|z-i|<\sqrt{2},|z+i|<\sqrt{2}\}$, a lune with vertices at $-1$ and $1$ to the unit disc $\mathbb{D}=\{z:|z|<1\}$. I tried to send $L$ to the upper half plane by the Möbius transform sending $(-1,0,1)$ to $(0,i,\infty)$. Then I composed with the Cayley transformation to get to the unit disc.

My question is: does my first map do what I want it to(presuming I calculated it correctly)?

To be brief, does the Möbius transform which takes $(-1,0,1)$ to $(0,i,\infty)$ send $L$ to the upper half plane?

share|improve this question
2  
Your first map should send your "lune" to the quadrant $\{\operatorname{Im}{z} \gt \operatorname{Re}{z}\}$ (since the circles intersect orthogonally and the boundaries of the "lune" are sent to rays), so you need to square before you get a half-plane. –  t.b. Aug 23 '11 at 18:06
add comment

3 Answers 3

up vote 6 down vote accepted

Your map sending $(-1,0,1)$ to $(0,i,\infty)$ is given by $i = e^{i\pi/2}$ times the cross ratio $[z,0,-1,1] = \frac{z+1}{z - 1} : \frac{1}{-1}$, so it is $$\tilde{\phi}(z) = e^{i\pi/2}\cdot \frac{1+z}{1-z}.$$ It is easy to see geometrically (or by a direct calculation) that $\tilde\phi(L)$ is the quadrant $\{z:\,\operatorname{Im}{z} \gt |\operatorname{Re}{z}|\}$ since the circles $|z-i|=\sqrt{2}$ and $|z+i|=\sqrt{2}$ are sent to the lines $\{\operatorname{Im}{z} = \operatorname{Re}{z}\}$ and $\{\operatorname{Im}{z} = -\operatorname{Re}{z}\}$. Note that the angles at the vertices of the lune are equal to $\pi/2$.

It is more convenient to work with $\displaystyle\phi(z) = e^{i\pi/4}\cdot \frac{1+z}{1-z}$ which sends $L$ to the quadrant $\{z:\operatorname{Re}{z}, \, \operatorname{Im}{z}\gt 0\}$, then square to get to the upper half plane and apply the Cayley-transfom $\displaystyle\kappa(z) = \frac{z-i}{z+i}$ to get to the unit disk.

The solution to your problem then is $\kappa((\phi(z))^2)$, which you can compute yourself if needed.


The general procedure is succinctly explained in GEdgar's answer.

share|improve this answer
    
Do you mean the quadrant $\{z : \operatorname{Im} z > \lvert \operatorname{Re} z \rvert\}$? –  Rahul Aug 23 '11 at 19:03
    
Oh, yes. Thanks. Hm... It's really not my day. It should be fixed now. –  t.b. Aug 23 '11 at 19:03
    
Thanks for the explanation! –  RHP Aug 24 '11 at 2:26
add comment

Theo is right. For a general lune: First apply a linear fractional transformation mapping the two corners (vertices, horns, whatever you call them) to $0$ and $\infty$. The result is a sector. Then apply a power to get a half-plane. Then appy a linear fractional transformation to get a disk.

share|improve this answer
add comment

Just to put everyone's answers together and finish things off, $f:z\mapsto \frac{1+z}{1-z}$ sends $-1$ to $0$ and $1$ to $\infty$. Because $f:(-1,1)\to(0,+\infty)$, the sector is symmetric about $\mathbb{R}^+$. Since $f$ is conformal, it preserves the right angle at which the circles cross, so the sector has a right angle. Therefore, $g:z\mapsto z^2$ maps the sector to the right half-plane. Then, $h:z\mapsto\frac{z-1}{z+1}$ maps the right half-plane to the unit disk. Thus, $$ h\circ g\circ f:z\mapsto\frac{2z}{1+z^2} $$ should map the given lune to the unit disk.

share|improve this answer
    
Just to clarify: $f$ sends $(-1,1)$, a segment of $\mathbb{R}$, to $(0,+\infty)$, another segment of $\mathbb{R}$. –  robjohn Aug 24 '11 at 14:07
    
Ah, that looks simpler than what I suggested. I didn't actually do the computation, but I trust you :) –  t.b. Aug 24 '11 at 14:57
    
@Theo: it is a nice map in that it maps $[-1,1]$ to itself, fixing the endpoints. Of course, it then has to map the top and bottom of the lune to the top and bottom of the disk. –  robjohn Aug 24 '11 at 17:49
    
I saw that when I finally made the short computation and now I'm even more convinced by the superiority of your solution than before. Thanks for contributing it. –  t.b. Aug 24 '11 at 20:52
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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