Welcome to MathOverflow

Question

5

1

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

flag	asked Jan 3 2011 at 15:44 Analyst2 91●2

J.C. Ottem · Answer 1 · 2011-01-03 16:12:18Z UTC

9

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.

answered Jan 3 2011 at 16:12

J.C. Ottem
8,668●1●17●45

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 2011 at 16:20

Thank you, but could you elaborate a little on why $f(C)$ equals the unit circle? – Analyst2 Jan 4 2011 at 16:02

Zeros of a holomorphic function

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.