Math 2.0

statement theorem

Cauchy–Riemann equations

Statement

Let U⊆CU \subseteq \mathbb{C} be an open set and let f:U→Cf : U \to \mathbb{C} be a function. Identify C\mathbb{C} with R2\mathbb{R}^2 by x+iy↔(x,y)x + i y \leftrightarrow (x, y). Let u=Re⁡fu = \operatorname{Re} f and v=Im⁡fv = \operatorname{Im} f be the real and imaginary parts of ff, as real functions of (x,y)(x, y) on UU. Let z0=x0+iy0∈Uz_0 = x_0 + i y_0 \in U. Then ff is complex differentiable at z0z_0 if and only if the following two conditions hold. First, uu and vv are differentiable at (x0,y0)(x_0, y_0) as functions of two real variables. Second, they satisfy ∂u∂x=∂v∂y,∂u∂y=−∂v∂x\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = - \frac{\partial v}{\partial x} at (x0,y0)(x_0, y_0). In this case f′(z0)=∂u∂x(x0,y0)+i∂v∂x(x0,y0)f'(z_0) = \frac{\partial u}{\partial x}(x_0, y_0) + i \frac{\partial v}{\partial x}(x_0, y_0).

Remarks

For f(z)=z2f(z) = z^2 we have u=x2−y2u = x^2 - y^2 and v=2xyv = 2xy. Then ux=2x=vyu_x = 2x = v_y and uy=−2y=−vxu_y = -2y = -v_x. The real differentiability of uu and vv is necessary. The function u(x,y)=∣xy∣u(x, y) = \sqrt{|xy|}, v=0v = 0 satisfies the two equations at (0,0)(0, 0), but u+ivu + iv is not complex differentiable at 00. The two equations together are the one complex equation ∂f∂y=i∂f∂x\frac{\partial f}{\partial y} = i \frac{\partial f}{\partial x}.

Explanations

L1 human

A complex derivative must be the same in each direction. If you compare the derivative along the real axis with the derivative along the imaginary axis, you get the two equations. So the equations are a test with partial derivatives for a complex derivative. For example, zˉ=x−iy\bar z = x - i y has ux=1u_x = 1 and vy=−1v_y = -1, so it fails the test.

What this node needs for W2
  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Real and imaginary parts definition
  5. Supremum definition
  6. Completeness axiom statement
  7. Existence of square roots of nonnegative reals statement
  8. Square root definition
  9. Modulus of a complex number definition
  10. Complex differentiability definition
  11. Cauchy–Riemann equations statement

What depends on this

5 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equations, Complex differentiability
  2. Web https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equations, lead section