6
$\begingroup$

Suppose Ω is a bounded domain in the plane whose boundary consist of m+1 disjoint analytic simple closed curves.

Let f be holomorphic and nonconstant on a neighborhood of the closure of Ω such that

|f(z)|=1 for all z in the boundary of Ω.

If m=0, then the maximum principle applied to f and 1/f implies that f has at least one zero in Ω.

What about the general case? I believe that f must have at least m+1 zeros in Ω, but I'm not able to prove it...

Thank you

$\endgroup$

1 Answer 1

9
$\begingroup$

Let $C$ be a curve among the m+1 curves defining the boundary. Then since $f$ is non-constant and analytic, $f(C)$ equals the unit circle. Hence $\frac1{2\pi}\Delta_C \arg f(z) \ge 1$. Doing this for all the curves we have $\frac1{2\pi}\Delta_{\partial \Omega} \arg f(z) \ge m+1$ and so $f$ has $m+1$ roots in $\Omega$ by the argument principle.

$\endgroup$
2
  • 4
    $\begingroup$ To translate this into topological language: $f$ is a map from $\Omega$ to the unit disk that takes boundary to boundary. (The image of $\Omega$ is in the disk by the maximum principle). The number of zeros (counted with multiplicity) is the degree of the map. The degree of the map equals the degree of the map on the boundary, which must be at least $m+1$ (since analyticity forces the map to be monotone increasing on each boundary component) $\endgroup$ Jan 3, 2011 at 16:20
  • $\begingroup$ Thank you, but could you elaborate a little on why $f(C)$ equals the unit circle? $\endgroup$
    – Analyst2
    Jan 4, 2011 at 16:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.