I'm trying to solve the following exercise from Rudin's Real & Complex Analysis, chapter 14 exercise 22.

Suppose $f$ is a one-to-one conformal mapping of $U$ onto a square with center at $0$, and $f(0) = 0$. Prove that $f(iz) = if(z)$. If $f(z) = \sum c_n z^n$, prove that $c_n = 0$ unless $n - 1$ is a multiple of $4$. Generalize this: Replace the square by other simply connected regions with rotational symmetry.

The part about $c_n = 0$ is easy once the first part is proved. This is were I'm stuck. I suspect the generalization will become easier once I know how to prove the first part. Any help is appreciated.


  • This is not homework. I'm reading the text on my own.
  • $U$ is the unit disc.

Hint: $g(z)=f^{-1}(if(z))$ is a conformal 1-1 map from $U$ onto itself fixing the origin. Try playing a little with this or something similar.

  • 1
    $\begingroup$ I applied Schwarz lemma and solved the general case with ease. Thank you! $\endgroup$ – PeterM Mar 7 '13 at 1:14
  • $\begingroup$ @PeterM well done! $\endgroup$ – mrf Mar 7 '13 at 5:35
  • $\begingroup$ This yields that $f^{-1}(if(z))=\lambda z$ for some constant $|\lambda|=1$. How do we show $\lambda = i$? $\endgroup$ – user122916 Dec 5 '14 at 10:03
  • $\begingroup$ @mrf Unfortunately, I am unable to see how this helps. Do you mind elaborating a bit? Thank you. $\endgroup$ – user122916 Dec 5 '14 at 20:47
  • 1
    $\begingroup$ @mrf I'm sorry, I still don't understand why the second equality hold, it is equivalent to $if(z)=f(iz)$, since f is 1-1? $\endgroup$ – Kira Yamato Dec 11 '14 at 13:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.