Proof. [049Y]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
We have a section of given by , which takes boundary value in on . Since are all holomorphic, so must be the function . Assume this function is not identically zero. By holomorphicity, the zeros are isolated. We claim that the order of zeros must be nonnegative everywhere. This is clear for the interior and the boundary points. We analyze the ends of the strip as the origin in the upper half plane model with holomorphic coordinate , putting in the standard form at the corner point. The deformation vector field has the leading asymptote
hence
and the excess vanishing order is nonnegative. By the index formula (23), the index , and when equality is achieved all vanishing orders must be zero. In particular at the corners. ∎