# Application of Schwarz lemma

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.

-
Great question! I'm asking a similar question here, which might be a more general result: math.stackexchange.com/questions/1245940/… – EthanAlvaree Apr 22 '15 at 12:47

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)}$.
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? – Deepak Dec 29 '12 at 1:11
,But, I still have difficulty seeing ${h\circ}f\circ h^{-1}(0)=0$. I can see after that Swartz lemma gives the result. – Deepak Dec 30 '12 at 3:43