A holomorphic function on the open set is complex differentiable at every point of : the limitexists independently of the direction of approach. Write . The Cauchy-Riemann equations areTo prove necessity, approach first with real , obtaining . Approach instead with for real , obtainingEquality of real and imaginary parts yields the displayed Cauchy-Riemann equations.
A sufficient condition is that and have continuous first partial derivatives throughout and satisfy the Cauchy-Riemann equations there. Indeed, real differentiability gives, for ,The Cauchy-Riemann equations imply , so this is . Dividing by proves complex differentiability and at every point. Merely having first partial derivatives and the equations at a point, without a suitable differentiability hypothesis, would not justify this argument.
Articles by others on the same topic
There are currently no matching articles.