The quotient is a holomorphic function because the denominator has no zeros, and . Write . The Cauchy-Riemann equations say and . Differentiating in both real directions givesThe coefficient determinant is , so , and the Cauchy-Riemann equations also give . Thus is locally constant. Since a domain is connected, it is constant throughout . Its constant value has modulus one and can be written with . Therefore throughout .
This is the constant-modulus holomorphic function principle. Connectedness is essential to a single global phase: on two disjoint discs, taking and choosing on one disc and on the other gives equal moduli without one common phase.
Articles by others on the same topic
There are currently no matching articles.