Möbius transformation mapping
$begingroup$
I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:
$z rightarrow frac{z-i}{z+i}$
or
the Mobius transformation that maps the unit disk one to one onto the right half-plane is:
$zrightarrowfrac{1+z}{1-z}$
I would like to understand how one gets to this Möbius transformations.
Thank you!
complex-analysis complex-numbers mobius-transformation
$endgroup$
add a comment |
$begingroup$
I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:
$z rightarrow frac{z-i}{z+i}$
or
the Mobius transformation that maps the unit disk one to one onto the right half-plane is:
$zrightarrowfrac{1+z}{1-z}$
I would like to understand how one gets to this Möbius transformations.
Thank you!
complex-analysis complex-numbers mobius-transformation
$endgroup$
1
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49
add a comment |
$begingroup$
I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:
$z rightarrow frac{z-i}{z+i}$
or
the Mobius transformation that maps the unit disk one to one onto the right half-plane is:
$zrightarrowfrac{1+z}{1-z}$
I would like to understand how one gets to this Möbius transformations.
Thank you!
complex-analysis complex-numbers mobius-transformation
$endgroup$
I would like to understand how to choose the right Mobius transformation.
For example, the Mobius transformation that maps upper half plane onto the unit disk is:
$z rightarrow frac{z-i}{z+i}$
or
the Mobius transformation that maps the unit disk one to one onto the right half-plane is:
$zrightarrowfrac{1+z}{1-z}$
I would like to understand how one gets to this Möbius transformations.
Thank you!
complex-analysis complex-numbers mobius-transformation
complex-analysis complex-numbers mobius-transformation
edited Dec 13 '18 at 15:13
Boshu
708315
708315
asked Dec 13 '18 at 14:51
user608881user608881
283
283
1
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49
add a comment |
1
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49
1
1
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}
We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.
I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.
$endgroup$
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
add a comment |
$begingroup$
A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.
$endgroup$
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038106%2fm%25c3%25b6bius-transformation-mapping%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}
We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.
I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.
$endgroup$
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
add a comment |
$begingroup$
For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}
We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.
I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.
$endgroup$
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
add a comment |
$begingroup$
For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}
We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.
I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.
$endgroup$
For your first example, because the boundary of the upper half-plane is a "circle" (in the Riemann sphere sense (sorry, Riemann sphere, not Bloch sphere)), and the boundary of the unit disk is a circle (plainly, but also in the Riemann sphere sense), we try to map the boundary of the one to the boundary of the other. We start with a generic Möbius transformation:
$$w=frac{az+b}{cz+d}.$$
Here $a,b,c,dinmathbb{C}$ and $ad-bcnot=0.$
Let's remember that $z$ is a point in the upper half-plane, and $w$ is in the unit circle. So if we consider the following table:
$$begin{array}{c|c}z &w \ hline 0 &b/d \ hline 1 &(a+b)/(c+d) \ hline infty &a/c end{array},$$
we need all three points in the second column to be unique points on the unit circle. How did I get the points for $z?$ The answer is this: they're the most straight-forward points on the real axis (the boundary of the upper half plane) to plug into the transformation. We can see right away that we need $|b|=|d|,; |a|=|c|,$ and $|a+b|=|c+d|,$ in order for the $w$ points to be on the unit circle. There are a number of ways to do this, so let's try $a=b=c=d=1:$
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &1 \ hline infty &a/c &1 end{array}.$$
Clearly, this won't work: the $w$ have to be unique! Could we work backwards? How if we could map $0to 1, ; 1to i, ; inftyto-1?$ Are there $a,b,c,d$ to make that work? Let's see:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &1 \ hline 1 &(a+b)/(c+d) &i \ hline infty &a/c &-1 end{array}.$$
So here $b=d$ and $a=-c$. To get $i$ out of $dfrac{a+b}{c+d}=dfrac{a+b}{-a+b}$ would require $a+b=i(-a+b),$ so (remembering that $a,binmathbb{C}$) we would have
begin{align*}
a(1+i)&=b(i-1) \
a&=frac{b(i-1)}{i+1}.
end{align*}
We have one degree of freedom here, now. Let's just let $b=1,$ and see what falls out. We get
$$a=frac{i-1}{i+1}cdotfrac{i-1}{i-1}=frac{(i-1)(i-1)}{2}=frac{-1-2i+1}{2}=-i.$$
Then, from before, we have $d=1$ and $c=i,$ so the mapping is
$$w=frac{-iz+1}{iz+1}.$$
We can see that $ad-bcnot=0.$ What about the interior? Let's see if $z=i$ maps to the interior of the unit circle. $z=i$ goes to $(1+1)/(0)$. Oops! Can't do that. We can see that $z=-i$ maps to $w=0$. So what's going on? We actually mapped the lower half-plane to the unit circle! The upper half-plane got mapped to everything outside the unit circle. What went wrong? Well, we had some freedom in choosing what to map $0,1,infty$ to, so we must have done that wrong. Let's try going around the boundary of the unit circle the other way ($0,1,infty$ got mapped to a counter-clockwise orientation on the unit circle before), and see if we can fix it:
$$begin{array}{c|c|c}z &w &text{actual} ; w \ hline 0 &b/d &-1 \ hline 1 &(a+b)/(c+d) &? \ hline infty &a/c &1 end{array}.$$
We'll leave the middle one blank for now, but to get the clockwise orientation, it'll need to have a positive imaginary part. Let's try $a=c=1$. Now $b=-d,$ and we're going to need nonzero imaginary parts to get that third point right. The easiest thing to try is $b=i, ; d=-i$. Let's check the middle row:
$$frac{a+b}{c+d}=frac{1+i}{1-i}cdotfrac{1+i}{1+i}=frac{1+2i-1}{2}=i, $$
which makes our transformation
$$w=frac{z+i}{z-i}.$$
Does this work? We check the interior again: $z=i$ should map to the interior of the unit circle. We get $w=(2i)/(0),$ which doesn't work again! So we try it the other way, with $b=-i$ and $d=i$, and you'll find that it works.
I wanted to show you how I think about Möbius transformations, and how I get one to work. It basically all comes down to this: if you generalize the concept of circle to circles or lines (lines still being a circle on the Riemann sphere), then Möbius transformations map circles to circles. Use that to map one boundary to the other, and then get the interiors to match up. That's the basic plan of attack.
answered Dec 13 '18 at 19:06
Adrian KeisterAdrian Keister
5,26571933
5,26571933
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
add a comment |
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
$begingroup$
Thanks a lot! Very helpful!
$endgroup$
– user608881
Dec 13 '18 at 19:47
add a comment |
$begingroup$
A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.
$endgroup$
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
add a comment |
$begingroup$
A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.
$endgroup$
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
add a comment |
$begingroup$
A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.
$endgroup$
A simple answer is, when we want a map between unit disk and a right /left /upper /lower half-plane is considering the map
$$w=dfrac{1+z}{1-z}$$
as a base, which maps unit disk to right halfplane ${{bf Re} w>0}$. With rotation $dfrac{pi}{2}$ of the range, we find a map $idfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w>0}$, other rotation makes $i^2dfrac{1+z}{1-z}:{mathbb D}to{{bf Re} w<0}$ and with another rotation we have the mapping $i^3dfrac{1+z}{1-z}:{mathbb D}to{{bf Im} w<0}$. Inverse of each of above maps, enable us to have a map from a half-plane to unit disk.
answered Dec 13 '18 at 19:23
NosratiNosrati
26.5k62354
26.5k62354
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
add a comment |
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
I have a question. For example if we consider the map between the unit disk and the upper half plane (Im w > 0) : i (1+z)/(1-z). Is the inverse (meaning the map of upper half plane to unit disk) going to be w= (z-i)/ (z+i)? This is the result I'm obtaining and it's no the correct one, which is: w=(z+i)/z-i).
$endgroup$
– user608881
Dec 13 '18 at 20:35
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
$w=frac{z+i}{z-i}$ maps upper half-plane to exterior of the unit disk. Let $frac12+frac{i}{2}to2i-1$.
$endgroup$
– Nosrati
Dec 14 '18 at 2:59
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
Sorry my mistake. For the map of unit disk to right half-plane we have w=(1+z)/(1-z). The inverse I find it to be w=(z-1)/(z+1). However, my teacher wrote that the map of right half-plane to unit disk is: w=(1-z)/(1+z). Is this wrong or we can consider it to be the same thing?
$endgroup$
– user608881
Dec 14 '18 at 7:29
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
both are correct, $frac{z-1}{1+z}=color{red}{-}frac{1-z}{1+z}$, each map flip the circle horizontally!
$endgroup$
– Nosrati
Dec 14 '18 at 7:40
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
$begingroup$
Thank you! Very helpful!
$endgroup$
– user608881
Dec 14 '18 at 7:48
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3038106%2fm%25c3%25b6bius-transformation-mapping%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
If you envision the complex plane as the Bloch sphere, then understand that Möbius transformations map "circles to circles", where these circles are on the Bloch sphere, then many times all you have to do is figure out where $0,1,$ and $infty$ map to, and you're done. To be clear, the term "circles" here includes regular circles in the complex plane, as well as straight lines in the complex plane.
$endgroup$
– Adrian Keister
Dec 13 '18 at 15:09
$begingroup$
Would you be able to illustrate it for me with one of the examples above? I have never used the Bloch sphere before. Thank you!
$endgroup$
– user608881
Dec 13 '18 at 17:49