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

There is a holomorphic function $f$ from the unit disc to itself s.t $f(0)=f(i/2)=0$. How can you prove the estimates $|f'(0)|\leq 1/2$ and $|f(-i/2)|\leq 2/5$?

Applying Schwarz's lemma we can get $|f(z)|\leq |z|$ but this gives an estimate too large. Cauchy's integral formula seems of no use since we don't know anything about other values of the function.

share|cite|improve this question
up vote 2 down vote accepted

I'll give you a solution for the first one. Let $p = i/2$; this will simplify the notation. Let $m(z)$ be an automorphism of the unit disc, interchanging $0$ and $p$, i.e. $$m(z) = \frac{z-p}{1-\bar p z}.$$

Since $f$ maps the disc to itself and $f(0) = f(p) = 0$, we can write $$f(z) = m(z) g(z),$$ where $g$ (is holomorphic and) maps the disc to itself, satisfying $g(0) = 0$. Schwarz' lemma on $g$ gives us that $|g'(0)| \le 1$. Differentiating the equality above, we get $$ f'(z) = m'(z)g(z) + m(z)g'(z). $$ In particular $$ |f'(0)| = |m'(0)g(0) + m(0)g'(0)| \le |m'(0)g(0)| + |m(0)g'(0)| \le |m(0)| = \frac12. $$

Added: I might as well give the second half too. Again by Schwarz' lemma on $g$, $|g(z) | \le |z|$. So from the factorization above, $$\left| f\left(-\frac{i}2\right) \right| = \left|m\left(-\frac{i}2\right) g\left(-\frac{i}2\right) \right| \le \left| \frac{-i/2 - i/2}{1 - i^2/4} \right| \cdot \left| -\frac{i}2 \right| = \frac25$$

share|cite|improve this answer
I don't get why Since f maps the disc to itself and $f(0)=f(p)=0$ we can write $f(z)=m(z)g(z)$.. – balestrav Apr 16 '12 at 19:37
$|m(z)| = 1$ for all $z$ on the unit circle and has $p$ as its only zero. I.e. $g = f/m$ is holmorphic on the disc and $|g|$ is bounded by $1$ on the circle. The maximum modulus theorem shows that $g$ maps the disc to itself. (For a formally correct argument, look at the disc of radius $r < 1$ and let $r \to 1$.) – mrf Apr 16 '12 at 19:44
Ok, thank! Is there an example proving those estmates are sharp? – balestrav Apr 16 '12 at 19:49
When are the conclusions in Schwarz' lemma sharp? I.e. take $f(z) = z\,m(z)$. – mrf Apr 16 '12 at 19:50

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.