2
$\begingroup$

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.

1 Answers 1

2

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$$

  • 0
    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)$..2012-04-16
  • 0
    $|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$.)2012-04-16
  • 0
    Ok, thank! Is there an example proving those estmates are sharp?2012-04-16
  • 0
    When are the conclusions in Schwarz' lemma sharp? I.e. take $f(z) = z\,m(z)$.2012-04-16