For , the Cauchy-Riemann equations are and . Holomorphy implies these relations. Conversely, if the first partial derivatives exist and are continuous near a point, satisfying the equations there gives complex differentiability; satisfying them on an open set gives a holomorphic function on that set.
Let . On the cut plane, : equality could occur only at a nonpositive real point, which is excluded. Thus is strictly positive and is well defined and smooth. Since ,
Consequently
One can verify holomorphy directly:
Here throughout the domain, so all partial derivatives are continuous. Therefore is holomorphic, specifically the principal square root on the cut plane, with derivative .

Articles by others on the same topic (0)

There are currently no matching articles.