wu :: forums « wu :: forums - conformal mapping problem » Welcome, Guest. Please Login or Register. Jul 6th, 2022, 6:31pm RIDDLES SITE WRITE MATH! Home Help Search Members Login Register
 wu :: forums    general    complex analysis (Moderators: Icarus, SMQ, ThudnBlunder, Eigenray, towr, Grimbal, william wu)    conformal mapping problem « Previous topic | Next topic »
 Pages: 1 Reply Notify of replies Send Topic Print
 Author Topic: conformal mapping problem  (Read 13166 times)
immanuel78
Newbie

Gender:
Posts: 23
 conformal mapping problem   « on: Feb 11th, 2009, 6:21am » Quote Modify

Show that there is an analytic function defined on G=ann(0;0;1) such that f'(prime) never vanishes and f(G)=B(0;1).

This problem comes from the textbook by John. Conway-In particular, Riemann mapping theorem
section.
 IP Logged
Eigenray
wu::riddles Moderator
Uberpuzzler

Gender:
Posts: 1948
 Re: conformal mapping problem   « Reply #1 on: Feb 11th, 2009, 5:17pm » Quote Modify

That's a good question.

If we didn't require f to be locally injective we could simply take an automorphism of the unit disk that moves 0, and then compose with squaring.

By the Riemann mapping theorem, it suffices to show that there is a surjective conformal map from X \ {p} to Y, where X,Y are proper simply connected domains, and p X.  Then you can compose with the biholomorphic maps between X,Y, and , and an automorphism taking 0 to the appropriate point.

In fact we can replace \ {p} with \ {p1,...,pn}, where n 1.  That is, for any p1,...,pn , we can find q1,...,qn-1 and a surjective conformal map from \ {q1,...,qn-1} to \ {p1,...,pn}.  To see this, apply an automorphism to take pn = 0, and pick J an interval of length > 2 which contains exactly one argument of each of p1,...,pn-1.  Then exp takes U = { x + i y |  x < 0, y J } surjectively onto \ {0}, and we just remove the preimages of p1,...,pn-1.

The simplest example I can think of is to take X a large disk around the origin, and f(z) = z2(z-1).  We need to remove {0, 2/3} since these are the points where f'(z)=0.  But f(1) = f(0) and f(-1/3) = f(2/3), so as long as X is big enough, f(X \ {0,2/3}) = f(X).

It remains to show that for X large enough, f(X) is simply connected.  Actually I'm not sure how to do this, but it should be true for any polynomial.
 IP Logged
Eigenray
wu::riddles Moderator
Uberpuzzler

Gender:
Posts: 1948
 Re: conformal mapping problem   « Reply #2 on: Feb 12th, 2009, 3:20am » Quote Modify

Maybe this is easier:

Let (z) = z+1/z, and for r > 1, let Ar = { z : 1/r < |z| < r }.  Then  (Ar) is the interior of the ellipse (x/(r+1/r))2 + (y/(r-1/r))2 = 1.  In particular, it is simply connected.

Now, let F(z) = z3 - 3z.  Since F((z)) = (z3), F((Ar)) = (Ar^3) is also simply connected.

F is conformal on (Ar), except at z = 1.  But we can remove these points without changing the image because F(2) = F(1).

To sum up:
(disk minus a point) (half-strip minus a point) (disk minus 2 points) ((Ar) \ {1}) (Ar^3) disk,
where the maps are exp and F, respectively.
 « Last Edit: Feb 12th, 2009, 3:43am by Eigenray » IP Logged
Michael Dagg
Senior Riddler

Gender:
Posts: 500
 Re: conformal mapping problem   « Reply #3 on: Feb 15th, 2009, 10:09am » Quote Modify

Clever example!  How did you come with it?

I have done a similar thing to produce a locally
univalent but not univalent holomorphic map of
the unit disk onto a convex image. You should be
able to see how to do that from what you did
here.
 « Last Edit: Feb 15th, 2009, 10:18am by Michael Dagg » IP Logged

Regards,
Michael Dagg
Eigenray
wu::riddles Moderator
Uberpuzzler

Gender:
Posts: 1948
 Re: conformal mapping problem   « Reply #4 on: Feb 15th, 2009, 10:49am » Quote Modify

I had the same idea: try to find a non-injective conformal map between two simply connected regions.  The exponential won't work (since the image of a path between z and z + 2i k has winding number k), so I thought about taking a polynomial and removing the roots of the derivative, since we can add as many holes as we want.  A quadratic won't work, so I tried a cubic.  I wasn't sure how to show the image was simply connected though so I checked the section of Ahlfors on conformal mappings, where he uses the trick of pulling back via z = w+1/w to reduce a general cubic to w w3.
 « Last Edit: Feb 15th, 2009, 10:55am by Eigenray » IP Logged
Michael Dagg
Senior Riddler

Gender:
Posts: 500
 Re: conformal mapping problem   « Reply #5 on: Feb 18th, 2009, 8:31am » Quote Modify

Thanks.

For some a, 0 < a < 1 , then  z(z^2 - a^2)/(a^2 z^2 - 1) maps D
onto D and branches at exactly two points z1,z2 . (D \ {z1,z2}) maps
to the unit disk. We can get a conformal map from D onto D by considering
a composed universal covering map of the domain. Now just restrict
the domain to the annulus.
 « Last Edit: Feb 18th, 2009, 8:48am by Michael Dagg » IP Logged

Regards,
Michael Dagg
Michael Dagg
Senior Riddler

Gender:
Posts: 500
 Re: conformal mapping problem   « Reply #6 on: Mar 9th, 2009, 6:46pm » Quote Modify

Here are some similar constructions to yours:

1. D.S.Greenstein, Monthly 65 ( 1958 ) ,  p.214.
2. Due to John V.Ryff (in a totally inaccessible 1969
journal (Math Reviews, vol. 42, review #1981.
 IP Logged

Regards,
Michael Dagg
 Pages: 1 Reply Notify of replies Send Topic Print

 Forum Jump: ----------------------------- riddles -----------------------------  - easy   - medium   - hard   - what am i   - what happened   - microsoft   - cs   - putnam exam (pure math)   - suggestions, help, and FAQ   - general problem-solving / chatting / whatever ----------------------------- general -----------------------------  - guestbook   - truth => complex analysis   - wanted   - psychology   - chinese « Previous topic | Next topic »