Mathematics
The Cauchy–Riemann Equations and Holomorphic Functions
Quick fact
A complex function is holomorphic (complex-differentiable) exactly when its real and imaginary parts satisfy the Cauchy–Riemann equations: uₓ = vᵧ and uᵧ = -vₓ. These two simple partial differential equations are so powerful that they imply the function is infinitely differentiable and can be represented by a convergent power series.
Why this is interesting
You've seen derivatives for real functions, but what about functions that take in and output complex numbers? It turns out that the simple act of asking for a derivative in the complex world imposes a surprisingly strict condition that changes everything.
Read the full explanation
Understanding The Cauchy–Riemann Equations and Holomorphic Functions
Think of a complex function f(z) = u(x, y) + i v(x, y), where z = x + iy. In real calculus, a derivative is a slope of a tangent line. For complex functions, the derivative f'(z) is defined by a limit: \lim{\Delta z \to 0} \frac{f(z+\Delta z) - f(z)}{\Delta z}. However, because \Delta z can approach 0 from infinitely many directions (e.g., along the real axis, along the imaginary axis, or any other path), the limit must be the same regardless of that path. That is an extremely strong requirement. Let's work out what it means. Write \Delta z = \Delta x + i \Delta y. If we approach along the real axis (\Delta y = 0), the derivative becomes uₓ + i vₓ (the partial derivatives with respect to x). If we approach along the imaginary axis (\Delta x = 0), the derivative becomes -i uᵧ + vᵧ (since dividing by i \Delta y). For these two results to be equal, we must have uₓ = vᵧ and vₓ = -uᵧ. These are the Cauchy–Riemann equations. So a complex function is differentiable (holomorphic) only if its real and imaginary parts satisfy these equations. This is the first, and most crucial, step into complex analysis.
A deeper explanation
The Cauchy–Riemann equations are not just a coincidence; they are an expression of a deep property. When they hold, the function f is conformal (preserves angles) at every point where f'(z) ≠ 0, because the derivative acts as a complex multiplication, which scales and rotates. This property is crucial in applications like fluid flow, where holomorphic functions describe ideal flows. Moreover, the Cauchy–Riemann equations are so restrictive that they force the real and imaginary parts u and v to be harmonic (each satisfies Laplace's equation). This is why complex analysis is intimately tied to problems in electrostatics and fluid dynamics. The true power, however, is that a function satisfying the Cauchy–Riemann equations is not just once differentiable but infinitely differentiable, and it can be represented by a power series (it is analytic). This surprising result follows from integral theorems of complex analysis (e.g., Cauchy's integral formula), which require the Cauchy–Riemann equations to hold everywhere in the domain. In essence, the Cauchy–Riemann equations are the gateway to the entire magnificent structure of complex analysis.