TheoremBase

The Cauchy–Riemann Equations

A complex function f = u + iv is complex differentiable at a point exactly when (u, v), read as a function on an open subset of the Euclidean plane, is differentiable there and its partial derivatives satisfy the Cauchy–Riemann equations; the complex derivative is then uxu_x + i vxv_x.

Statement

In the setting of The Complex Plane as ℝ²: Standing Notation, let f:U→Cf:U\to\mathbb{C} be a function, with FF, uu and vv as in The Complex Plane as ℝ²: Standing Notation (iv), let p0=(x0,y0)∈Vp_{0}=(x_{0},y_{0})\in V, and let z0=Φ(p0)=x0+iy0z_{0}=\Phi(p_{0})=x_{0}+iy_{0}. Complex differentiability and f′(z0)f'(z_{0}) are as in The Complex Derivative at a Point (ii), and differentiability of FF and derivative matrices as in Differentiability at a Point for Functions Between Euclidean Spaces (i) and Differentiability at a Point for Functions Between Euclidean Spaces (iii).

The derivative matrix. Let a,b∈Ra,b\in\mathbb{R}. Then ff is complex differentiable at z0z_{0} with f′(z0)=a+ibf'(z_{0})=a+ib if and only if FF is differentiable at p0p_{0} with derivative matrix

(a−bba).\begin{pmatrix}a&-b\\ b&a\end{pmatrix}.

The Cauchy–Riemann equations. ff is complex differentiable at z0z_{0} if and only if FF is differentiable at p0p_{0} and the partial derivatives of uu and vv at p0p_{0} (which exist by The Derivative Is the Jacobian Matrix, and Is Unique (ii)) satisfy

∂u∂x(p0)=∂v∂y(p0),∂u∂y(p0)=−∂v∂x(p0).\frac{\partial u}{\partial x}(p_{0})=\frac{\partial v}{\partial y}(p_{0}),\qquad\frac{\partial u}{\partial y}(p_{0})=-\frac{\partial v}{\partial x}(p_{0}).

The derivative. In that case

f′(z0)=∂u∂x(p0)+i ∂v∂x(p0).f'(z_{0})=\frac{\partial u}{\partial x}(p_{0})+i\,\frac{\partial v}{\partial x}(p_{0}).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…