Find a conformal map from semi-disc onto unit disc












16












$begingroup$


This comes straight from Conway's Complex Analysis, VII.4, exercise 4.




Find an analytic function $f$ which maps $G:=$ {${z: |z| < 1, Re(z) > 0}$} onto $B(0; 1)$ in a one-one fashion.




$B(0;1)$ is the open unit disc.



My first intuition was to use $z^2$, which does the job splendidly, except for the segment $(-1,0] subset B(0;1)$. Under $z^2$, the pre-image for this segment is the segment $[-i,i]$, which is not in $G$.



My next thought is to modify $z^2$, something like $a(z-h)^2+k$. I've yet to work out the details, but my gut tells me this isn't the right idea.



I've been teaching myself conformal maps in preparation for a qualifying exam. So, if there's a shockingly basic, obvious solution... please patronize me.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 2:20


















16












$begingroup$


This comes straight from Conway's Complex Analysis, VII.4, exercise 4.




Find an analytic function $f$ which maps $G:=$ {${z: |z| < 1, Re(z) > 0}$} onto $B(0; 1)$ in a one-one fashion.




$B(0;1)$ is the open unit disc.



My first intuition was to use $z^2$, which does the job splendidly, except for the segment $(-1,0] subset B(0;1)$. Under $z^2$, the pre-image for this segment is the segment $[-i,i]$, which is not in $G$.



My next thought is to modify $z^2$, something like $a(z-h)^2+k$. I've yet to work out the details, but my gut tells me this isn't the right idea.



I've been teaching myself conformal maps in preparation for a qualifying exam. So, if there's a shockingly basic, obvious solution... please patronize me.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 2:20
















16












16








16


15



$begingroup$


This comes straight from Conway's Complex Analysis, VII.4, exercise 4.




Find an analytic function $f$ which maps $G:=$ {${z: |z| < 1, Re(z) > 0}$} onto $B(0; 1)$ in a one-one fashion.




$B(0;1)$ is the open unit disc.



My first intuition was to use $z^2$, which does the job splendidly, except for the segment $(-1,0] subset B(0;1)$. Under $z^2$, the pre-image for this segment is the segment $[-i,i]$, which is not in $G$.



My next thought is to modify $z^2$, something like $a(z-h)^2+k$. I've yet to work out the details, but my gut tells me this isn't the right idea.



I've been teaching myself conformal maps in preparation for a qualifying exam. So, if there's a shockingly basic, obvious solution... please patronize me.










share|cite|improve this question









$endgroup$




This comes straight from Conway's Complex Analysis, VII.4, exercise 4.




Find an analytic function $f$ which maps $G:=$ {${z: |z| < 1, Re(z) > 0}$} onto $B(0; 1)$ in a one-one fashion.




$B(0;1)$ is the open unit disc.



My first intuition was to use $z^2$, which does the job splendidly, except for the segment $(-1,0] subset B(0;1)$. Under $z^2$, the pre-image for this segment is the segment $[-i,i]$, which is not in $G$.



My next thought is to modify $z^2$, something like $a(z-h)^2+k$. I've yet to work out the details, but my gut tells me this isn't the right idea.



I've been teaching myself conformal maps in preparation for a qualifying exam. So, if there's a shockingly basic, obvious solution... please patronize me.







complex-analysis conformal-geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jul 30 '14 at 1:59









katlundkatlund

585414




585414








  • 1




    $begingroup$
    One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 2:20
















  • 1




    $begingroup$
    One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 2:20










1




1




$begingroup$
One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
$endgroup$
– Semiclassical
Jul 30 '14 at 2:20






$begingroup$
One thought (which I mostly pose from intuition) is seek a conformal map which maps $G$ to the right half-plane; from there it's not hard to map the right-half plane to $B(0;1)$ by a rotation.
$endgroup$
– Semiclassical
Jul 30 '14 at 2:20












2 Answers
2






active

oldest

votes


















28












$begingroup$

The following trick works for any region bounded by two circular arcs (or a circular arc and a line).



Find the points of intersection of the arc and the line. (Here, they're $i$ and $-i$.) Now pick a Mobius transformation that takes one of those points to $0$ and the other to $infty$; here $z mapsto frac{z-i}{z+i}$ works. Then the arc and the line go to two rays (because a Mobius transformation sends circles in $S^2$ to circles in $S^2$, and the only circles in $S^2$ that goes through both $0$ and $infty$ is a line in $Bbb C$), both starting at $0$ and going off the $infty$. Your domain maps to the region bounded by these two rays.



Let's compute the rays. It suffices to find where a single point on each arc maps; if $z_0$ is on the arc, the ray will be ${f(z_0)t : 0 leq t < infty}$. I say we pick $0$ to be our point of choice on $Re(z) = 0$ and $1$ to be the point of choice for the circular arc. These are mapped to $-1$ and $-I$ respectively; so our two arcs are the negative real axis and the negative imaginary axis. I'd like the "lower" arc to be the positive real axis, so let's multiply by $-1$ to do this.



So we have a conformal map from your half-disc to the upper-right quadrant given by $z mapsto -frac{z-i}{z+i}$. The upper half-plane is nicer, so let's map to that by squaring; now we have a map to the upper half plane given by $z mapsto frac{(z-i)^2}{(z+i)^2}$. (For other regions bounded by rays that make different angles, you get to the upper half plane by a $z mapsto z^beta$ for the appropriate $beta$.)



Now there's a standard map from the upper half plane to the unit disc given by $z mapsto frac{z-i}{z+i}$. Composing this with our last map gives us a map from the semi-disc to the unit disc, given by $$z mapsto -ifrac{z^2+2z-1}{z^2-2z-1}.$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    This is more insightful. I'll delete my answer.
    $endgroup$
    – Christian Remling
    Jul 30 '14 at 3:06










  • $begingroup$
    For fun, I added the images of your mappings as a community wiki answer. Enjoy!
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 3:15










  • $begingroup$
    @ChristianRemling I appreciate the compliment!
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 3:15






  • 4




    $begingroup$
    It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
    $endgroup$
    – Andreas Blass
    Jul 30 '14 at 4:04






  • 1




    $begingroup$
    @AndreasBlass That's definitely worth noting - thanks for commenting.
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 4:31



















24












$begingroup$

As a supplement to the fine answers provided, here are the pictures of the conformal maps themselves:



enter image description here



We start with the right half of the unit disk, map it to the upper right quadrant, square this to the upper half-plane, and finally rotate onto the unit disk.





Per requests for code - the basic pattern to generate the image of a polar region $aleq r leq b$ and $alpha leq theta leq beta$ under a function $f$ in Mathematica is:



ParametricPlot[{Re[f[r*Exp[I*theta]]], Im[f[r*Exp[I*theta]]]},
{r, a, b}, {theta, alpha, beta}, Mesh -> True]


The pictures above may be generated with the following code block:



phi1[z_] = -(z - I)/(z + I);
f[z_] = z^2;
phi2[z_] = (z - I)/(z + I);
nestedFunctions =
Composition @@@ Table[Take[{phi2, f, phi1}, -k], {k, 0, 3}];
pics = Table[
ParametricPlot[{Re[g[r*Exp[I*theta]]], Im[g[r*Exp[I*theta]]]},
{r, 0, 1}, {theta, -Pi/2, Pi/2},
Mesh -> True, PlotRange -> 2, ImageSize -> 360],
{g, nestedFunctions}];
Grid[Partition[pics, 2]]


You can find a lot more information on visualizing complex function with Mathematica in this notebook.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
    $endgroup$
    – katlund
    Jul 30 '14 at 15:06






  • 2




    $begingroup$
    It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 15:08








  • 1




    $begingroup$
    As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
    $endgroup$
    – coffeebelly
    Oct 4 '14 at 19:10






  • 1




    $begingroup$
    I wonder if you can still recall the code :)
    $endgroup$
    – snulty
    Jan 11 '17 at 8:15






  • 3




    $begingroup$
    @snulty Code has been posted, if you are still interested.
    $endgroup$
    – Mark McClure
    Dec 8 '18 at 17:08











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f882147%2ffind-a-conformal-map-from-semi-disc-onto-unit-disc%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









28












$begingroup$

The following trick works for any region bounded by two circular arcs (or a circular arc and a line).



Find the points of intersection of the arc and the line. (Here, they're $i$ and $-i$.) Now pick a Mobius transformation that takes one of those points to $0$ and the other to $infty$; here $z mapsto frac{z-i}{z+i}$ works. Then the arc and the line go to two rays (because a Mobius transformation sends circles in $S^2$ to circles in $S^2$, and the only circles in $S^2$ that goes through both $0$ and $infty$ is a line in $Bbb C$), both starting at $0$ and going off the $infty$. Your domain maps to the region bounded by these two rays.



Let's compute the rays. It suffices to find where a single point on each arc maps; if $z_0$ is on the arc, the ray will be ${f(z_0)t : 0 leq t < infty}$. I say we pick $0$ to be our point of choice on $Re(z) = 0$ and $1$ to be the point of choice for the circular arc. These are mapped to $-1$ and $-I$ respectively; so our two arcs are the negative real axis and the negative imaginary axis. I'd like the "lower" arc to be the positive real axis, so let's multiply by $-1$ to do this.



So we have a conformal map from your half-disc to the upper-right quadrant given by $z mapsto -frac{z-i}{z+i}$. The upper half-plane is nicer, so let's map to that by squaring; now we have a map to the upper half plane given by $z mapsto frac{(z-i)^2}{(z+i)^2}$. (For other regions bounded by rays that make different angles, you get to the upper half plane by a $z mapsto z^beta$ for the appropriate $beta$.)



Now there's a standard map from the upper half plane to the unit disc given by $z mapsto frac{z-i}{z+i}$. Composing this with our last map gives us a map from the semi-disc to the unit disc, given by $$z mapsto -ifrac{z^2+2z-1}{z^2-2z-1}.$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    This is more insightful. I'll delete my answer.
    $endgroup$
    – Christian Remling
    Jul 30 '14 at 3:06










  • $begingroup$
    For fun, I added the images of your mappings as a community wiki answer. Enjoy!
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 3:15










  • $begingroup$
    @ChristianRemling I appreciate the compliment!
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 3:15






  • 4




    $begingroup$
    It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
    $endgroup$
    – Andreas Blass
    Jul 30 '14 at 4:04






  • 1




    $begingroup$
    @AndreasBlass That's definitely worth noting - thanks for commenting.
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 4:31
















28












$begingroup$

The following trick works for any region bounded by two circular arcs (or a circular arc and a line).



Find the points of intersection of the arc and the line. (Here, they're $i$ and $-i$.) Now pick a Mobius transformation that takes one of those points to $0$ and the other to $infty$; here $z mapsto frac{z-i}{z+i}$ works. Then the arc and the line go to two rays (because a Mobius transformation sends circles in $S^2$ to circles in $S^2$, and the only circles in $S^2$ that goes through both $0$ and $infty$ is a line in $Bbb C$), both starting at $0$ and going off the $infty$. Your domain maps to the region bounded by these two rays.



Let's compute the rays. It suffices to find where a single point on each arc maps; if $z_0$ is on the arc, the ray will be ${f(z_0)t : 0 leq t < infty}$. I say we pick $0$ to be our point of choice on $Re(z) = 0$ and $1$ to be the point of choice for the circular arc. These are mapped to $-1$ and $-I$ respectively; so our two arcs are the negative real axis and the negative imaginary axis. I'd like the "lower" arc to be the positive real axis, so let's multiply by $-1$ to do this.



So we have a conformal map from your half-disc to the upper-right quadrant given by $z mapsto -frac{z-i}{z+i}$. The upper half-plane is nicer, so let's map to that by squaring; now we have a map to the upper half plane given by $z mapsto frac{(z-i)^2}{(z+i)^2}$. (For other regions bounded by rays that make different angles, you get to the upper half plane by a $z mapsto z^beta$ for the appropriate $beta$.)



Now there's a standard map from the upper half plane to the unit disc given by $z mapsto frac{z-i}{z+i}$. Composing this with our last map gives us a map from the semi-disc to the unit disc, given by $$z mapsto -ifrac{z^2+2z-1}{z^2-2z-1}.$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    This is more insightful. I'll delete my answer.
    $endgroup$
    – Christian Remling
    Jul 30 '14 at 3:06










  • $begingroup$
    For fun, I added the images of your mappings as a community wiki answer. Enjoy!
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 3:15










  • $begingroup$
    @ChristianRemling I appreciate the compliment!
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 3:15






  • 4




    $begingroup$
    It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
    $endgroup$
    – Andreas Blass
    Jul 30 '14 at 4:04






  • 1




    $begingroup$
    @AndreasBlass That's definitely worth noting - thanks for commenting.
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 4:31














28












28








28





$begingroup$

The following trick works for any region bounded by two circular arcs (or a circular arc and a line).



Find the points of intersection of the arc and the line. (Here, they're $i$ and $-i$.) Now pick a Mobius transformation that takes one of those points to $0$ and the other to $infty$; here $z mapsto frac{z-i}{z+i}$ works. Then the arc and the line go to two rays (because a Mobius transformation sends circles in $S^2$ to circles in $S^2$, and the only circles in $S^2$ that goes through both $0$ and $infty$ is a line in $Bbb C$), both starting at $0$ and going off the $infty$. Your domain maps to the region bounded by these two rays.



Let's compute the rays. It suffices to find where a single point on each arc maps; if $z_0$ is on the arc, the ray will be ${f(z_0)t : 0 leq t < infty}$. I say we pick $0$ to be our point of choice on $Re(z) = 0$ and $1$ to be the point of choice for the circular arc. These are mapped to $-1$ and $-I$ respectively; so our two arcs are the negative real axis and the negative imaginary axis. I'd like the "lower" arc to be the positive real axis, so let's multiply by $-1$ to do this.



So we have a conformal map from your half-disc to the upper-right quadrant given by $z mapsto -frac{z-i}{z+i}$. The upper half-plane is nicer, so let's map to that by squaring; now we have a map to the upper half plane given by $z mapsto frac{(z-i)^2}{(z+i)^2}$. (For other regions bounded by rays that make different angles, you get to the upper half plane by a $z mapsto z^beta$ for the appropriate $beta$.)



Now there's a standard map from the upper half plane to the unit disc given by $z mapsto frac{z-i}{z+i}$. Composing this with our last map gives us a map from the semi-disc to the unit disc, given by $$z mapsto -ifrac{z^2+2z-1}{z^2-2z-1}.$$






share|cite|improve this answer









$endgroup$



The following trick works for any region bounded by two circular arcs (or a circular arc and a line).



Find the points of intersection of the arc and the line. (Here, they're $i$ and $-i$.) Now pick a Mobius transformation that takes one of those points to $0$ and the other to $infty$; here $z mapsto frac{z-i}{z+i}$ works. Then the arc and the line go to two rays (because a Mobius transformation sends circles in $S^2$ to circles in $S^2$, and the only circles in $S^2$ that goes through both $0$ and $infty$ is a line in $Bbb C$), both starting at $0$ and going off the $infty$. Your domain maps to the region bounded by these two rays.



Let's compute the rays. It suffices to find where a single point on each arc maps; if $z_0$ is on the arc, the ray will be ${f(z_0)t : 0 leq t < infty}$. I say we pick $0$ to be our point of choice on $Re(z) = 0$ and $1$ to be the point of choice for the circular arc. These are mapped to $-1$ and $-I$ respectively; so our two arcs are the negative real axis and the negative imaginary axis. I'd like the "lower" arc to be the positive real axis, so let's multiply by $-1$ to do this.



So we have a conformal map from your half-disc to the upper-right quadrant given by $z mapsto -frac{z-i}{z+i}$. The upper half-plane is nicer, so let's map to that by squaring; now we have a map to the upper half plane given by $z mapsto frac{(z-i)^2}{(z+i)^2}$. (For other regions bounded by rays that make different angles, you get to the upper half plane by a $z mapsto z^beta$ for the appropriate $beta$.)



Now there's a standard map from the upper half plane to the unit disc given by $z mapsto frac{z-i}{z+i}$. Composing this with our last map gives us a map from the semi-disc to the unit disc, given by $$z mapsto -ifrac{z^2+2z-1}{z^2-2z-1}.$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jul 30 '14 at 2:58









Mike MillerMike Miller

37.1k472139




37.1k472139












  • $begingroup$
    This is more insightful. I'll delete my answer.
    $endgroup$
    – Christian Remling
    Jul 30 '14 at 3:06










  • $begingroup$
    For fun, I added the images of your mappings as a community wiki answer. Enjoy!
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 3:15










  • $begingroup$
    @ChristianRemling I appreciate the compliment!
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 3:15






  • 4




    $begingroup$
    It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
    $endgroup$
    – Andreas Blass
    Jul 30 '14 at 4:04






  • 1




    $begingroup$
    @AndreasBlass That's definitely worth noting - thanks for commenting.
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 4:31


















  • $begingroup$
    This is more insightful. I'll delete my answer.
    $endgroup$
    – Christian Remling
    Jul 30 '14 at 3:06










  • $begingroup$
    For fun, I added the images of your mappings as a community wiki answer. Enjoy!
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 3:15










  • $begingroup$
    @ChristianRemling I appreciate the compliment!
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 3:15






  • 4




    $begingroup$
    It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
    $endgroup$
    – Andreas Blass
    Jul 30 '14 at 4:04






  • 1




    $begingroup$
    @AndreasBlass That's definitely worth noting - thanks for commenting.
    $endgroup$
    – Mike Miller
    Jul 30 '14 at 4:31
















$begingroup$
This is more insightful. I'll delete my answer.
$endgroup$
– Christian Remling
Jul 30 '14 at 3:06




$begingroup$
This is more insightful. I'll delete my answer.
$endgroup$
– Christian Remling
Jul 30 '14 at 3:06












$begingroup$
For fun, I added the images of your mappings as a community wiki answer. Enjoy!
$endgroup$
– Semiclassical
Jul 30 '14 at 3:15




$begingroup$
For fun, I added the images of your mappings as a community wiki answer. Enjoy!
$endgroup$
– Semiclassical
Jul 30 '14 at 3:15












$begingroup$
@ChristianRemling I appreciate the compliment!
$endgroup$
– Mike Miller
Jul 30 '14 at 3:15




$begingroup$
@ChristianRemling I appreciate the compliment!
$endgroup$
– Mike Miller
Jul 30 '14 at 3:15




4




4




$begingroup$
It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
$endgroup$
– Andreas Blass
Jul 30 '14 at 4:04




$begingroup$
It might be worth noting that, even before computing the two rays (the negative real and imaginary axes), you knew that they had to be perpendicular, because conformal maps preserve angles. So you already know that the next step should be squaring and that it would produce a half-plane. The details of the rays and the half-plane are needed only at the very end, when you map the half-plane to the disk.
$endgroup$
– Andreas Blass
Jul 30 '14 at 4:04




1




1




$begingroup$
@AndreasBlass That's definitely worth noting - thanks for commenting.
$endgroup$
– Mike Miller
Jul 30 '14 at 4:31




$begingroup$
@AndreasBlass That's definitely worth noting - thanks for commenting.
$endgroup$
– Mike Miller
Jul 30 '14 at 4:31











24












$begingroup$

As a supplement to the fine answers provided, here are the pictures of the conformal maps themselves:



enter image description here



We start with the right half of the unit disk, map it to the upper right quadrant, square this to the upper half-plane, and finally rotate onto the unit disk.





Per requests for code - the basic pattern to generate the image of a polar region $aleq r leq b$ and $alpha leq theta leq beta$ under a function $f$ in Mathematica is:



ParametricPlot[{Re[f[r*Exp[I*theta]]], Im[f[r*Exp[I*theta]]]},
{r, a, b}, {theta, alpha, beta}, Mesh -> True]


The pictures above may be generated with the following code block:



phi1[z_] = -(z - I)/(z + I);
f[z_] = z^2;
phi2[z_] = (z - I)/(z + I);
nestedFunctions =
Composition @@@ Table[Take[{phi2, f, phi1}, -k], {k, 0, 3}];
pics = Table[
ParametricPlot[{Re[g[r*Exp[I*theta]]], Im[g[r*Exp[I*theta]]]},
{r, 0, 1}, {theta, -Pi/2, Pi/2},
Mesh -> True, PlotRange -> 2, ImageSize -> 360],
{g, nestedFunctions}];
Grid[Partition[pics, 2]]


You can find a lot more information on visualizing complex function with Mathematica in this notebook.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
    $endgroup$
    – katlund
    Jul 30 '14 at 15:06






  • 2




    $begingroup$
    It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 15:08








  • 1




    $begingroup$
    As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
    $endgroup$
    – coffeebelly
    Oct 4 '14 at 19:10






  • 1




    $begingroup$
    I wonder if you can still recall the code :)
    $endgroup$
    – snulty
    Jan 11 '17 at 8:15






  • 3




    $begingroup$
    @snulty Code has been posted, if you are still interested.
    $endgroup$
    – Mark McClure
    Dec 8 '18 at 17:08
















24












$begingroup$

As a supplement to the fine answers provided, here are the pictures of the conformal maps themselves:



enter image description here



We start with the right half of the unit disk, map it to the upper right quadrant, square this to the upper half-plane, and finally rotate onto the unit disk.





Per requests for code - the basic pattern to generate the image of a polar region $aleq r leq b$ and $alpha leq theta leq beta$ under a function $f$ in Mathematica is:



ParametricPlot[{Re[f[r*Exp[I*theta]]], Im[f[r*Exp[I*theta]]]},
{r, a, b}, {theta, alpha, beta}, Mesh -> True]


The pictures above may be generated with the following code block:



phi1[z_] = -(z - I)/(z + I);
f[z_] = z^2;
phi2[z_] = (z - I)/(z + I);
nestedFunctions =
Composition @@@ Table[Take[{phi2, f, phi1}, -k], {k, 0, 3}];
pics = Table[
ParametricPlot[{Re[g[r*Exp[I*theta]]], Im[g[r*Exp[I*theta]]]},
{r, 0, 1}, {theta, -Pi/2, Pi/2},
Mesh -> True, PlotRange -> 2, ImageSize -> 360],
{g, nestedFunctions}];
Grid[Partition[pics, 2]]


You can find a lot more information on visualizing complex function with Mathematica in this notebook.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
    $endgroup$
    – katlund
    Jul 30 '14 at 15:06






  • 2




    $begingroup$
    It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 15:08








  • 1




    $begingroup$
    As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
    $endgroup$
    – coffeebelly
    Oct 4 '14 at 19:10






  • 1




    $begingroup$
    I wonder if you can still recall the code :)
    $endgroup$
    – snulty
    Jan 11 '17 at 8:15






  • 3




    $begingroup$
    @snulty Code has been posted, if you are still interested.
    $endgroup$
    – Mark McClure
    Dec 8 '18 at 17:08














24












24








24





$begingroup$

As a supplement to the fine answers provided, here are the pictures of the conformal maps themselves:



enter image description here



We start with the right half of the unit disk, map it to the upper right quadrant, square this to the upper half-plane, and finally rotate onto the unit disk.





Per requests for code - the basic pattern to generate the image of a polar region $aleq r leq b$ and $alpha leq theta leq beta$ under a function $f$ in Mathematica is:



ParametricPlot[{Re[f[r*Exp[I*theta]]], Im[f[r*Exp[I*theta]]]},
{r, a, b}, {theta, alpha, beta}, Mesh -> True]


The pictures above may be generated with the following code block:



phi1[z_] = -(z - I)/(z + I);
f[z_] = z^2;
phi2[z_] = (z - I)/(z + I);
nestedFunctions =
Composition @@@ Table[Take[{phi2, f, phi1}, -k], {k, 0, 3}];
pics = Table[
ParametricPlot[{Re[g[r*Exp[I*theta]]], Im[g[r*Exp[I*theta]]]},
{r, 0, 1}, {theta, -Pi/2, Pi/2},
Mesh -> True, PlotRange -> 2, ImageSize -> 360],
{g, nestedFunctions}];
Grid[Partition[pics, 2]]


You can find a lot more information on visualizing complex function with Mathematica in this notebook.






share|cite|improve this answer











$endgroup$



As a supplement to the fine answers provided, here are the pictures of the conformal maps themselves:



enter image description here



We start with the right half of the unit disk, map it to the upper right quadrant, square this to the upper half-plane, and finally rotate onto the unit disk.





Per requests for code - the basic pattern to generate the image of a polar region $aleq r leq b$ and $alpha leq theta leq beta$ under a function $f$ in Mathematica is:



ParametricPlot[{Re[f[r*Exp[I*theta]]], Im[f[r*Exp[I*theta]]]},
{r, a, b}, {theta, alpha, beta}, Mesh -> True]


The pictures above may be generated with the following code block:



phi1[z_] = -(z - I)/(z + I);
f[z_] = z^2;
phi2[z_] = (z - I)/(z + I);
nestedFunctions =
Composition @@@ Table[Take[{phi2, f, phi1}, -k], {k, 0, 3}];
pics = Table[
ParametricPlot[{Re[g[r*Exp[I*theta]]], Im[g[r*Exp[I*theta]]]},
{r, 0, 1}, {theta, -Pi/2, Pi/2},
Mesh -> True, PlotRange -> 2, ImageSize -> 360],
{g, nestedFunctions}];
Grid[Partition[pics, 2]]


You can find a lot more information on visualizing complex function with Mathematica in this notebook.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 8 '18 at 17:07


























community wiki





2 revs, 2 users 68%
Mark McClure













  • $begingroup$
    It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
    $endgroup$
    – katlund
    Jul 30 '14 at 15:06






  • 2




    $begingroup$
    It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 15:08








  • 1




    $begingroup$
    As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
    $endgroup$
    – coffeebelly
    Oct 4 '14 at 19:10






  • 1




    $begingroup$
    I wonder if you can still recall the code :)
    $endgroup$
    – snulty
    Jan 11 '17 at 8:15






  • 3




    $begingroup$
    @snulty Code has been posted, if you are still interested.
    $endgroup$
    – Mark McClure
    Dec 8 '18 at 17:08


















  • $begingroup$
    It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
    $endgroup$
    – katlund
    Jul 30 '14 at 15:06






  • 2




    $begingroup$
    It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
    $endgroup$
    – Semiclassical
    Jul 30 '14 at 15:08








  • 1




    $begingroup$
    As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
    $endgroup$
    – coffeebelly
    Oct 4 '14 at 19:10






  • 1




    $begingroup$
    I wonder if you can still recall the code :)
    $endgroup$
    – snulty
    Jan 11 '17 at 8:15






  • 3




    $begingroup$
    @snulty Code has been posted, if you are still interested.
    $endgroup$
    – Mark McClure
    Dec 8 '18 at 17:08
















$begingroup$
It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
$endgroup$
– katlund
Jul 30 '14 at 15:06




$begingroup$
It appears I can only choose one answer, but I think these images are just as essential to the solution as the explanation. With what program did you generate them?
$endgroup$
– katlund
Jul 30 '14 at 15:06




2




2




$begingroup$
It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
$endgroup$
– Semiclassical
Jul 30 '14 at 15:08






$begingroup$
It's from Mathematica. I'll incorporate the code for them when I get the chance. (Also, I should note that this really isn't a proper answer since I didn't remember the proper conformal maps until I saw the other answers. Hence why I did this as a community wiki answer.)
$endgroup$
– Semiclassical
Jul 30 '14 at 15:08






1




1




$begingroup$
As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
$endgroup$
– coffeebelly
Oct 4 '14 at 19:10




$begingroup$
As a rookie mathematica user I would find it usefully to see the code for these types of mappings.
$endgroup$
– coffeebelly
Oct 4 '14 at 19:10




1




1




$begingroup$
I wonder if you can still recall the code :)
$endgroup$
– snulty
Jan 11 '17 at 8:15




$begingroup$
I wonder if you can still recall the code :)
$endgroup$
– snulty
Jan 11 '17 at 8:15




3




3




$begingroup$
@snulty Code has been posted, if you are still interested.
$endgroup$
– Mark McClure
Dec 8 '18 at 17:08




$begingroup$
@snulty Code has been posted, if you are still interested.
$endgroup$
– Mark McClure
Dec 8 '18 at 17:08


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f882147%2ffind-a-conformal-map-from-semi-disc-onto-unit-disc%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Aardman Animations

Are they similar matrix

“minimization” problem in Euclidean space related to orthonormal basis