5
$\begingroup$

The following is an old qualifying exam problem that I can't seem to piece together:

Suppose we have an analytic function $f$ on the unit disk $\mathbb{D}$ s.t. $|f| \leq 1$. Show $$ \frac{|f(0)|-|z|}{1-|f(0)||z|} \leq |f(z)| \leq \frac{|f(0)|+|z|}{1+|f(0)||z|} $$.

I've tried two things. First, decomposing $f$ into its real and imaginary parts and applying the Harnack inequality to each (after adding 1 so that it is nonnegative) and then piecing them together so they say something about $f$. I couldn't get that to look close to the inequality. Second, I define $h(z) = \frac{f(z)-f(0)}{1+|f(0)|}$ and apply the Schwartz lemma. This comes close but I couldn't get it to work.

$\endgroup$
  • $\begingroup$ You are applying the Schwarz lemma on the wrong function. $\endgroup$ – Braindead Jan 7 '14 at 9:05
3
$\begingroup$

Use a conformal mapping of the unit disk to normalize your function $f$, instead of the linear function. That is, a mapping of the form

$h(z) = \dfrac{z-a}{1-\bar{a}{z}}$, where $|a| < 1$.

Note that for $|z| \le 1$, we have $|h(z)| \ge \left|\dfrac{ |z| - |a| }{1-|a||z|}\right|$.

$\endgroup$
0
$\begingroup$

Let $f(0) = a$ and consider the function $\phi_a(z) = \dfrac{a-z}{1-\bar{a}z}$. Apply Schwarz lemma on $(\phi_a \circ f)(z)$ to use the result that $|(\phi_a \circ f)(z)| \leq |z|$. From this, using triangle and reverse triangle inequality you can arrive at $\dfrac{|f(0)|-|z|}{1-|f(0)||z|} \leq |f(z)|$.

Similarly apply Schwarz lemma on $(\tilde{\phi}_a \circ f)(z)$ where $\tilde{\phi}_a(z) = \dfrac{z-a}{1-\bar{a}z}$.

This will lead you to $ |f(z)| \leq \dfrac{|f(0)|+|z|}{1+|f(0)||z|}$

$\endgroup$

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.