7
$\begingroup$

Let f be an analytic function from the unit disk D to the unit disk D. Assume that $f(1/2)=0$, prove $|f'(0)| \leq 25/32$.

I am currently stucked with this problem. I have tried adding some conformal self-map g of the unit disk so that $fg(0)=0$ to apply Schwarz lemma,but this only gives upper bound for $|f'(1/2)|$. Is there any other approach for this problem?

$\endgroup$
3
$\begingroup$

Where did you find this problem? My solution is a bit tricky...

Write $f(z) = g(z) \cdot \frac{z-\frac12}{\frac12 z - 1}$. Notice $g$ is an analytic function from $D$ (the unit disk) to $D$.

You can easily check that $f^\prime(0) = -\frac34 g(0) + \frac12 g^\prime(0)$. By Cauchy's integral formula, we have $$ f^\prime(0) = \frac{1}{2 \pi i} \int_{|z|=r} g(z) \cdot \left( -\frac34 \cdot \frac1z + \frac12 \cdot \frac{1}{z^2} \right) \, \rm{d} z =: \frac{1}{2 \pi i} \int_{|z|=r} g(z) \cdot K(z) \, \rm{d} z, $$ for $0 < r < 1$. Taking absolute value, we get $$ |f^\prime(0)| \le \frac{\| g \|_\infty}{2 \pi} \cdot \int_{|z|=r} |K(z)| \cdot |\rm{d} z|, $$ where $\| g \|_\infty = \sup_{|z|\le 1} |g(z)| \le 1$. If we take the limit $r \to 1$, and perform the integration, we get $|f^\prime(0)| \le 0.836$.

Since $\frac{25}{32} = 0.78125$, we have to improve the method. Notice the we can replace $K(z)$ by any function that has the same principal part (that is, add an analytic function to $K$). The optimal choice turns out to be $$ \kappa(z) = \frac{(4-3z)^2}{32 z^2} = \frac12 \cdot \frac{1}{z^2} - \frac34 \cdot \frac1z + \frac{9}{32}, $$ but this requires more explanations. Repeating the same argument, we get $$ |f^\prime(0)| \le \frac{1}{2 \pi} \cdot \int_{|z|=1} |\kappa(z)| \cdot |\rm{d} z| = \frac{1}{2 \pi} \int_{-\pi}^\pi \frac{1}{32}|4-3 e^{it}|^2 \, \rm{d} t = \frac{1}{2 \pi} \int_{-\pi}^\pi \frac{16 - 24 \cos(t) + 9}{32}\, \rm{d} t = \frac{25}{32}.$$

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ This is one of my previous qualifying exam problem. I understand your reasoning perfectly but it does seem rather tricky to think about and to check if the maximum is indeed achievable. Also part a of the problem is to prove $|f'(0)| \leq 1- |f(0)|^2$ which is just the pick's lemma. Maybe there's other way but I am happy for now. Thanks a lot! $\endgroup$ – Tung Nguyen Aug 15 '16 at 20:20

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.