7
$\begingroup$

I'm studying some complex analysis in preparation for a qualifier exam and I'm doing exercise $6.12$ from Robert Greene and Steven Krantz' book Function Theory of One Complex Variable.

I have $\Omega$ a simply connected domain in $\mathbb{C}$, with $P,Q \in \Omega$ two different points. $\phi_1 : \Omega \to \Omega$ and $\phi_2 : \Omega \to \Omega$ are conformal maps (that is, bijective and holomorphic) such that $\phi_1(P) = \phi_2(P)$ and $\phi_1(Q) = \phi_2(Q)$. Then the question is to prove that $\phi_1 \equiv \phi_2$.

I don't know why but I've been thinking about how to approach this without success for quite some time now. I've thought of maybe using the Riemann mapping theorem to say that there's a conformal map $\phi:\Omega \to \mathbb{D}$ to the open unit disk, and similar things but I'm not getting anywhere really.

Thus I would really appreciate some help with this problem, maybe some hints on how to proceed would be very appreciated. Thanks in advance for any help.

  • 2
    I think you're on the right track. $\Omega$ is either all of $\mathbf{C}$ or it is conformal to the unit disk. You can write all of the automorphisms of the plane or disk down (Greene and Krantz do this, IIRC) and in either case there are two parameters; fixing two points nails these down.2011-12-05
  • 0
    Oh I see, thank you very much @Dylan.2011-12-05

1 Answers 1

8

You are on the right track! You have to use the Riemann mapping theorem, and the fact that all conformal maps $D \to D$ are of the form $$z \mapsto e^{i\phi}\frac{z+b}{\overline{b}z+1},\: \: \phi \in \mathbf{R},\: \: |b|<1.$$ (This is essentially the group $\mathrm{PSL}_2(\mathbb{R})$ in disguise, since the unit disc and the upper half-plane are conformally equivalent and the automorphism group of the latter is $\mathrm{PSL}_2(\mathbb{R})$, which is perhaps easier to see.)

If $\sigma : \Omega \to D$ is a the conformal map, then $\sigma\phi_1\sigma^{-1}$ and $\sigma\phi_2\sigma^{-1}$ are maps $D \to D$ which coincide at two different points. Now you can use the characterization above to show that they must be equal.

Addendum: if $\Omega=\mathbf{C}$, then any holomorphic bijective map $\Omega \to \Omega$ is of the form $z \mapsto az+b$, and the statement is true also.

Addendum #2: Here's the complete solution as hinted to in the comments. By the above, we are left proving it for the conformal map $z \mapsto e^{i\phi}\frac{z+b}{\overline{b}z+1},\: \: \phi \in \mathbf{R},\: \: |b|<1$. Its fixed points are the roots of the quadratic polynomial $$z^2+z(1-e^{i\phi})/\overline{b}-e^{i\phi}b/{\overline{b}}.$$

Since the product of the roots is the constant term $e^{i\phi}b/{\overline{b}}$, which has modulus $1$, at most one of the roots can have modulus $<1$.

  • 0
    Thank you very much Bruno.2011-12-05
  • 2
    Don't forget the case where $\Omega$ is the whole complex plane.2011-12-05
  • 0
    You are very welcome Adrián!2011-12-05
  • 0
    Good point Robert!2011-12-05
  • 0
    @Bruno Is your $\phi_2$ a biholomorphism? It would work on the Riemann sphere (where it takes three points to pin down a conformal map), but that's not what we have. Automorphisms of the complex plane all look like $az + b$, $a \neq 0$.2011-12-05
  • 0
    @Bruno I tried with this approach and I think I'm almost done, it's just that I'm not able to show that the two maps are the same using the form that you give, because I get two equations but I have 4 variables. Do you have any more advice on this?2011-12-05
  • 1
    @AdriánBarquero Show that a conformal map $D \to D$ as above has at most one fixed point inside $D$. Then if $\phi_1, \phi_2 : D \to D$ coincide at two points inside $D$, $\phi_1\phi_2^{-1}$ has two fixed points inside $D$.2011-12-05
  • 1
    @AdriánBarquero: Extra hint: the fixed points are the roots of $z^2 + z(1-e^{i\phi})/\overline{b} - e^{i\phi}b/\overline{b}$. The product of the two fixed points is $- e^{i\phi}b/\overline{b}$, which has modulus $1$...2011-12-05
  • 0
    @Bruno Thank you very much.2011-12-05
  • 0
    @AdriánBarquero You are very welcome! Good luck on the exam. :-)2011-12-06