3
$\begingroup$

I'm trying to do a question but I have a doubt on holomorphic functions, here is the problem.

Let $A = \{z ∈ \mathbb{C} : \frac{1}{R}< |z| < R\}$. Suppose that $f : A → \mathbb{C}$ is holomorphic and that $|f(z)| = 1 $ if $|z| = 1$. Show that $f(z) = {\left(\overline{f(\bar{z}^{−1})}\right)}^{-1}$ when $ |z| = 1 $ and deduce that this holds for all $z ∈ A$.

Now, my problem is with the final deduction...

I think I need something about the zeroes of f as the right-hand side of the equality could not be defined at some point. Am I right or is there a way to prove that a function with these properties can never be zero in A?

Thank you all.

  • 0
    but for the uniqueness theorem i need the function on the rhs to be holomorphic in A. and it is not if f has zeroes in A, that's why I am worried about them!2012-08-08

1 Answers 1

3

$f(z) \cdot \overline{f(1/\,\overline{z})}$ is well-defined and holomorphic on $A$ and equal to $1$ for $|z|=1$. Then it is constant on $A$, since level sets of non-constant holomorphic functions are discrete.

  • 0
    thank you, really helpful! I couldn't see the last part so easily (don't really understand the terminology) anyway I did get it using identity theorem!2012-08-08