3
$\begingroup$

It's an exercise in the book complex analysis of Ahlfors,but I can't work it out.Can somebody give me some hints please. Suppose that $f(z)$ is analytic and satisfies the condition$\left | f(z)^{2}-1 \right | <1$ in a region $\Omega$. Show that either $Ref(z)>0$ or $Ref(z)<0$ through-out $\Omega$. Thank you.

  • 3
    It's a simple continuity argument. Can you see that $f$ cannot vanish on the domain?2011-08-03
  • 0
    It seems like it is Rouche's theorem .2011-08-03
  • 0
    Open mapping theorem. In other words $z$ can't be on the $y$-axis or we could find an open ball about it of radius $\epsilon$ and that gives you points both in the left side and right side of the $y$-axis.2011-08-03
  • 0
    @user786: I don't understand. The reason $f(z)$ can't be be on the $y$-axis has nothing to do with the open mapping theorem, but follows directly from the inequality.2011-08-03
  • 0
    @Jonas, you're most likely right. I answered extremely fast since I did a similar exercise in Conway, I didn't take the time to read all of molan's question. :)2011-08-03
  • 0
    @Zhen. Thank you.First I didn't konw how to use the C-R equations, but I recogenised that I didn't need it after I saw your hints.2011-08-03

2 Answers 2

5

Here is an outline of a method similar to what Zhen Lin suggests.

  • Show that if $\mathrm{Re}(w)=0$, then $|w^2-1|\geq 1$.
  • Note that $\mathrm{Re}f$ is a continuous function with connected domain, and with range contained in $\mathbb{R}\setminus\{0\}$.
  • Use what you know about continuous images of connected sets.
  • Use the fact that connected subsets of $\mathbb R$ are intervals.

(Note that all that is needed in addition to the inequality is that $f$ is continuous and its domain is connected.)

  • 0
    Thank you.I have worked it out. In fact,I don't konw how to use the condition that $f(z)$ is analytic first. But I found that all I need is that $f(z)$ is continuous later.Thank you all the same.2011-08-03
1

Suppose $\mathrm{Re}f$ is $0$ for some $z_0\in\Omega$. Then let $\mathrm{Im}f(z_0)=y$, and you get $|(iy)^2-1|=1+y^2<1$, which is impossible and hence a contradiction. By analyticity, $f$ is continuous, and I assume the region $\Omega$ is at least connected, so that if $\mathrm{Re}f$ takes on two different signs at (say) $z=a$ and $z=b$, there must be a path between them and by an adapted intermediate value argument $\mathrm{Re}f$ is $0$ somewhere along the way, another contradiction.