Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

share|improve this question

1 Answer 1

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.

share|improve this answer
4  
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) –  Bill Thurston Jan 3 '11 at 16:20
    
Thank you, but could you elaborate a little on why $f(C)$ equals the unit circle? –  Analyst2 Jan 4 '11 at 16:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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