Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I have two analytic complex functions $f_1$ and $f_2$ which each conformally map the unit disc to regions $\Omega_1$ and $\Omega_2$ respectively, where $\Omega_1\subset\Omega_2$, such that $f_1(0)=f_2(0)$, what can I say about the relationship between the moduli of the derivatives at $0$? It seems like it'd be necessary for $|f_2'(0)|$ to be larger to compensate for the difference in range size. Is it possible for that relationship to switch somewhere else in the disc (i.e. $|f_2'(z_0)|\le|f_1'(z_0)|$ for some $z_0\ne 0$ in the unit disc) while still preserving the containment configuration of the ranges? I suspect that conformality prevents that from being possible, and that it may be the mechanism which allows the initial growth rate of the functions to dictate their future growth.

share|cite|improve this question
up vote 1 down vote accepted
  1. Yes, $|f_1'(0)|\le |f_2'(0)|$ because $f_2^{-1}\circ f_1$ satisfies the assumptions of the Schwarz lemma.
  2. Yes, the inequality may be reversed elsewhere in the disk. For example, $f_1(z)=z$ and $f_2(z)=(1+z)^2-1$ satisfy the above assumptions but $|f_2'(z)|=2|1+z|$ is less than $|f_1'(z)|=1$ when $z=-2/3$.
  3. Despite 2, the inequality $|f_1'(z_0)|\le |f_2'(z_0)|$ still holds at those points $z_0\ne 0$ where $f_1(z_0)=f_2(z_0)$. The proof is again an application of the Schwarz Lemma, but in a more general (Schwarz-Pick) form.
share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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