Conformal maps of doubly connected regions to annuli.

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In another question here on MO, Anweshi asks if any doubly connected region in the complex plane can be conformally mapped to some annulus. The answer to this is yes. But the fact is that two annuli are conformally equivalent iff the ratio of the outer radius and the inner radius is the same for the two. Thus each is conformally equivalent to a unique "standard" annulus $r < |z| < 1$ with $0 < r < 1$. Now my question is the following:

Is there any way to see what the radius of a "standard" annulus conformally equivalent to a doubly connected region is, just by looking at the region? That is without constructing an explicit map.

-

This really depends on what you mean by "looking at" a region, but there are integrals that show up in conformal field theory that allow you to distinguish conformally inequivalent surfaces. – S. Carnahan♦ Jan 9 2010 at 18:25
re: Scott Carnahan's comment.  see e.g. this section in Lawler's book: books.google.com/… – jc  Jan 9 2010 at 18:28
Or see the wikipedia article on extremal length at en.wikipedia.org/wiki/Extremal%5flength . – Harald Hanche-Olsen Jan 9 2010 at 18:57
Ah, nice. Thank you very much! – Grétar Amazeen Jan 9 2010 at 19:06

2 Answers

By "see" I will assume you mean in a geometric sense. Then your question falls within a standard topic in geometric complex analysis. First some terminology: A doubly connected domain $R$ on the Riemann sphere is called a ring domain, and if you map it onto $r < |z| < s$ as a canonical domain, then $\mathrm{mod}(R) = (2\pi)^{-1}\log(s/r)$ is called the conformal modulus or just modulus of the ring domain. By the way I have defined it, it is nearly trivially a conformal invariant, but it need not be defined this way. There is a geometric theory, the Ahlfors-Beurling theory of extremal length of curve families, within which the modulus of a ring domain can be defined directly and geometrically, without any preliminary conformal mapping onto some canonical domain. Extremal length can be proved to be a conformal invariant, and then one quickly sees that the two definitions coincide. There is an exposition of the theory of extremal length in Conformal Invariants by Ahlfors.

It would be unreasonable to expect to "see" the exact value of the modulus of a ring domain. The boundary of a ring domain can be extremely complicated geometrically, and every tiny wiggle impacts on the modulus. But extremal length yields inequalities for the modulus from geometric data. I will quote a single, rather striking, result of this kind:

If a ring domain $R$ contains no circle on the Riemann sphere separating its two boundary components, then $\mathrm{mod}(R) \leq 1/4$. The constant $1/4$ is sharp. The result is due to D. A. Herron, X. Y. Liu and D. Minda.

Small modulus means "thin" ring domain; if the modulus is large enough, the ring domain is so "fat" that it has to contain a separating circle.

-

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Hi. I'wanna map an annulus into hollow region (doubly connected). I've got the shape functions of the boundries of the hollow regions (x=f(theta), y=g(theta)). Can you give me a general solution?

-

1
This should be asked as a separate question with more context and also places you looked for answers. Typically people aren't willing to do work for you if it doesn't seem like you haven't put in some effort yourself. – jc May 20 2010 at 18:01
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8970116376876831, "perplexity_flag": "head"}