5
$\begingroup$

I was trying to solve the following problem:

Let $f:\mathbb D\rightarrow \mathbb D$ be holomorphic with $f(0)=0$ and $f(1/2)=0,$ where $\mathbb D=\{z:|z|<1\}.$ Then which of the following statements are correct?

(a)$|f'(1/2)|\leq 4/3,$

(b)$|f'(0)|\leq 1,$

(c)$|f'(1/2)|\leq 4/3$ and $|f'(0)|\leq 1,$

(d)$f(z)=z$ for $z\in \mathbb D.$

My Attempts: Clearly, here we can apply Schwarz Lemma.By this lemma,we can say that $|f(z)|\leq |z|$ for all $z \in\mathbb D$ and $|f'(0)|\leq 1$ and so i can say option $(b)$ is definitely correct.But i can not say anything about option$(a)$.Please help.Thanks in advance for your time.

$\endgroup$
3

2 Answers 2

0
$\begingroup$

Statement (b) follows from the Schwarz inequality. A similar trick can be applied for $z = \tfrac{1}{2}$:

$$g(z) = f(z)\frac{2-z}{2z-1}$$ is holomorphic on $\mathbb{D}$ and $|g(z)| \leq 1$. Also $g(\tfrac{1}{2}) = \tfrac{3}{4}f'(\tfrac{1}{2})$.

$\endgroup$
3
  • $\begingroup$ Sir,pardon my ignorance but i could not understand the steps $|g(z)|\leq 1$ and also $g(1/2)=3/4f′(1/2).$ Can you explain a little bit more? $\endgroup$
    – user52976
    Dec 15, 2012 at 17:58
  • $\begingroup$ As i see that $|g(z)|=|f(z)||(2-z)/(2z-1)|\leq |z||(2-z)/(2z-1)|$ that is $|g(z)|\leq |(2z-z^2)/(2z-1)|$ but i see that $|(2z-z^2)/(2z-1)|$ is greater than $1$ for $ z\in \mathbb D$. I am sure i am wrong but could not find out.... $\endgroup$
    – user52976
    Dec 15, 2012 at 18:05
  • $\begingroup$ $1/z$ is also $>1$ on $\mathbb{D}$ but that does not harm the Scharz argument. It's the maximum modulus principle that saves the day. Same here. $z \mapsto (2z-1)/(2-z)$ is a Möbius transformation of the disc (hence bounded) that maps $\tfrac{1}{2}$ to $0$. $\endgroup$
    – WimC
    Dec 15, 2012 at 18:21
0
$\begingroup$

First, as @Conan Wong commented, use Schwarz lemma to say that $f(z)=z\cdot g(z)$ where $g:\mathbb{D}\to\mathbb{D}$ is holomorphic. Moreover, $g(1/2)=0$. Consider the map $\varphi_a=\frac{z-a}{1-\bar{a}z}$. This map is injective, satisfies $\varphi_a(\mathbb{D})=\mathbb{D}$ for any $a\in \mathbb{D}$ and $\varphi_a(a)=0$. Hence the map $\varphi(z)=\varphi_{1/2}(z)=\frac{2z-1}{2-z}$ preserves $\mathbb{D}$ and sends $1/2$ to $0$.
Look at $h(z)=g(\varphi^{-1}(z))$. We have $h(0)=0$ and $h:\mathbb{D}\to\mathbb{D}$ is holomorphic, so we can apply Schwarz lemma to $h$ once again, to get $h(z)=g(\varphi^{-1}(z))=zk(z)$ where $k:\mathbb{D}\to\mathbb{D}$ is holomorphic. So $g(z)=\varphi(z)k(\varphi(z))$. In conclusion, $f(z)=z\cdot\frac{2z-1}{2-z}\cdot K(z)$ where $K:\mathbb{D}\to\mathbb{D}$ is holomorphic. Can you continue?

$\endgroup$
1
  • $\begingroup$ thanks a lot sir.I am trying to understand your arguments and will try to take it forward. $\endgroup$
    – user52976
    Dec 15, 2012 at 17:42

You must log in to answer this question.