Complex differentiability

ID: complex-differentiability

A complex-valued function is complex differentiable at if
exists. The same limit must hold for every approach, including curved paths. Equivalently,
The error divided by tends to zero. Thus the derivative is a single complex multiplier, not an arbitrary real linear map of the plane. If the real coordinate map is differentiable, complex differentiability is equivalent to its satisfying the Cauchy-Riemann equations at that point.
The simplest failure is complex conjugation, . At every its increment quotient is . For real it is , while for it is . More generally, gives . Although complex conjugation is a smooth real reflection and has every real directional derivative, these incompatible quotients rule out a complex derivative everywhere.
Agreement on two axes is necessary, but does not by itself establish a limit over the whole complex plane. The Cauchy-Riemann equations need the real differentiability condition above, or a sufficient regularity condition such as continuous partial derivatives near the point. There is a second distinction: has complex derivative zero at zero because its quotient there is , but its Cauchy-Riemann equations fail at every nonzero point. It is complex differentiable at zero without being a holomorphic function on any neighbourhood of zero.

New to topics? Read the docs here!