4
$\begingroup$

Each analytic function mapping the right half complex plane into itself must satisfy $$ \left|\frac{f(z)-f(1)}{f(z)+f(1)}\right| \leqslant \left|\frac {z-1}{z+1} \right|$$ for $\text{Re}\; z > 0.$

I have a hunch that this is an application of Schwarz's Lemma. I don't know how to proceed though. Thanks in advance.

  • 0
    Great question! I'm asking a similar question here, which might be a more general result: http://math.stackexchange.com/questions/1245940/prove-that-big-fracfz-fwfz-overlinefw-big-le-big-fracz-w2015-04-22

1 Answers 1

1

The map $h$ from $\{z,\Re z>0\}$ to the open unit disk $D$ given by $h(z)=\frac{z-1}{z+1}$ is one-to-one, then use Schwarz lemma with $g(z):=\dfrac{f\left(\frac{1+z}{1-z}\right)-f(1)}{f\left(\frac{1+z}{1-z}\right)+f(1)}$.

  • 0
    this is actually a past qual question. I am thinking $f$o$h^{-1}$ is actually a mapping from unit disk to right half plane, but don't we need the mapping from unit disk to unit disk in Swartz's Lemma? I am confused. Could you please elaborate?2012-12-29
  • 0
    ,But, I still have difficulty seeing ${h\circ}f\circ h^{-1}(0)=0$. I can see after that Swartz lemma gives the result.2012-12-30
  • 0
    But, in what ground can we assume that? @Davide Giraudo2012-12-30
  • 0
    I don't know if you can access this because this is the departmental website, you can find it here if the link works http://sierra.nmsu.edu/dept/Comp%20Exams/Complex%20Analysis/2001.pdf2012-12-30
  • 0
    I'm asking a similar question here: http://math.stackexchange.com/questions/1245940/prove-that-big-fracfz-fwfz-overlinefw-big-le-big-fracz-w2015-04-22