A consequence of Schwarz lemma

Question

Suppose that for some $\epsilon>0$ the function $f$ is holomorphic on $B(0,1+\epsilon)$ such that $f(a) = 0$ and $|f(z)|\leq1$ if $|z| \leq 1$. Prove for $|z| \leq 1$:

$$|f(z)|\leq \left|\frac{z-a}{1-\overline{a}z}\right|.$$

I tried using the lemma of Schwarz which states that on the unit sphere, if $f(0) = 0$ and $|f(z)|\leq1$ then $|f(z)|\leq |z|$.

I think I am missing here a smart translation or something, any tips?

Can you find the inverse of $z\mapsto \frac{z-a}{1-\bar a z}$? — AlexR, May 21 '15 at 07:01
If you then look at $f\circ g^{-1}$ you can check if this function satisfies the properties of Schwarz lemma to get $$|f\circ g^{-1}(z)| \le |z|$$ and thus $$|f(z)|\le |g(z)|$$ — AlexR, May 21 '15 at 07:18
is there an easy way to determine inverses of mobius-transformations? — Kees Til, May 21 '15 at 07:36

score 1 · Accepted Answer · answered May 21 '15 at 08:28

Consider the function :$h(z)=\frac{f(z)}{\varphi(z)}$ which: $\varphi(z)=\frac{z-a}{1-\overline az}$. Since $f(a)=0$, $h(z)$ is analytic on $B(0,1+ϵ)$ and because of when $|z|=1$, we have: $|\varphi(z)|=1$, we can write: $|h(z)|=|f(z)|$ for every complex number which: $|z|=1$. From here: $|h(z)|\le 1$ for every complex number which: $|z|\le 1$. Thus: $|f(z)|\le |\frac{z-a}{1-\overline az}|$.

A consequence of Schwarz lemma

1 Answers1