# Conform mapping - trying to learn

• Sep 16th 2010, 12:08 PM
liquidFuzz
Conform mapping - trying to learn
Lets say I have the right half of the real plane. Furthermore the inside of the unit circle. Now I want do a conform mapping of this onto the unit circle. Hmm... I'll try to express my self a bit more mathematically.(Rock)
$\displaystyle A = \displaystyle \{ z \in \mathbb{C}|~ |z| < 1; ~Re (z) > 0 \}$
$\displaystyle B = \displaystyle \{ z \in \mathbb{C}|~ |z| < 1 \}$
So a conform mapping of A onto B.

How does the proper way of writing this look, or better yet, the right way of doing it. As of now I'd just go for something like. $\displaystyle w = z^2$

(Worried)
• Sep 16th 2010, 12:14 PM
Ackbeet
Your mapping will work generally. I'd worry about the boundary points/unusual points like the origin and such. In set A, for example, do you mean that the real part is strictly greater than zero, or is it greater than or equal to zero? Your candidate function is going to leave parts of B out depending on how that all works out.
• Sep 16th 2010, 12:15 PM
Defunkt
Every $\displaystyle z \in A$ can be written as $\displaystyle z = e^{i \theta}, \ 0 \le \theta \le \pi$
Every $\displaystyle z \in B$ can be written as $\displaystyle z = e^{i \phi}, \ 0 \le \phi \le 2 \pi$

So if you double the angle of every $\displaystyle z \in A$, you get every $\displaystyle z \in B$. $\displaystyle w = z^2$ does just that.

Edit: Didn't notice strict inequality. Thanks ackbeet for pointing that out.
• Sep 16th 2010, 12:31 PM
Ackbeet
Technically, you have

$\displaystyle \displaystyle{A=\left\{\rho\,e^{i\theta}:0<\rho<1\ land -\frac{\pi}{2}<\theta<\frac{\pi}{2}\right\}}.$

Also,

$\displaystyle B=\{\rho\,e^{i\theta}:|\rho|<1\}.$

I'm not so sure the mapping $\displaystyle w=z^{2}$ is going to do everything you need. You might need to look into fractional linear transformations.
• Sep 16th 2010, 12:43 PM
Defunkt
Oh, wow. I totally read everything wrong.
Just ignore my post :P
• Sep 16th 2010, 12:48 PM
Ackbeet
Quote:

Been there, done that. For some reason, this happens especially with logic problems. I love logic, and I've done great in the coursework, but for some reason (probably being over-eager) I tend to mess up when I help people on the MHF. Oh, well.
• Sep 16th 2010, 01:04 PM
liquidFuzz
I didn't think about that... But what you say about the $\displaystyle Re > 0$ seems to be right. I should have written $\displaystyle Re \geq 0$. (Wondering)

At this point solving the Re > 0 mapping is way out of my league. I don't really know where to start. I'll try to get around to it later on. Thanks for the input.
• Sep 16th 2010, 01:06 PM
Ackbeet
If you have the possibility of equality there, I think your original candidate will work fine.
• Oct 21st 2010, 01:13 PM
liquidFuzz
I've been playing around with different types of standard mappings and I'm starting to get the hang of it. This Möbius Applet helped me tremendously.

1. $\displaystyle \displaystyle z_1 = iz_2$ - Turns the half circle up to the positive imaginary plane.
2. $\displaystyle \displaystyle z_2 = \frac{1+z_3}{1-z_3}$ - To map the half circle on the first quadrant.
3. $\displaystyle \displaystyle z_3 = z_4^2$ - This maps the first quadrant on the upper plane.
4. $\displaystyle \displaystyle z_4 = \frac{z_5 - i}{z_5 + i}$ - To map the upper plane on the unit circle.

Now all together.
$\displaystyle \displaystyle w = i \left(\frac{1+(\frac{z-i}{z+i})^2}{1-(\frac{z-i}{z+i})^2} \right)$

After some shoveling back and forth we get.
$\displaystyle \displaystyle w = \frac{z^2 -1}{2z}$