Why This Matters
The Cauchy-Riemann equations are the gateway to everything that makes complex analysis powerful and beautiful. When you're tested on complex differentiability, analyticity, or conformal mappings, you're really being tested on whether you understand how these two deceptively simple partial differential equations constrain the relationship between the real and imaginary parts of a complex function. Master this, and concepts like harmonic functions, power series representations, and angle-preserving transformations suddenly click into place.
Here's the key insight: complex differentiability is far more restrictive than real differentiability. The Cauchy-Riemann equations encode exactly what that restriction looks like. Don't just memorize the formulas—understand that they're telling you the real and imaginary parts of an analytic function can't vary independently. Every concept below connects back to this fundamental constraint, so know what principle each item illustrates, not just the definitions.
The Cauchy-Riemann equations express the precise relationship that partial derivatives must satisfy for complex differentiability to exist.
Definition of Cauchy-Riemann Equations
- Two coupled partial differential equations—for f(z)=u(x,y)+iv(x,y), these equations link how u and v change with respect to x and y
- The equations themselves: ∂x∂u=∂y∂v and ∂y∂u=−∂x∂v, encoding the constraint that makes complex differentiation unique
- Foundation for analyticity—every theorem about analytic functions ultimately traces back to these two relationships
- Coordinate transformation—when z=reiθ, the equations become ∂r∂u=r1∂θ∂v and ∂θ∂u=−r∂r∂v
- Essential for radial symmetry—functions like f(z)=zn or f(z)=logz are far easier to analyze in polar form
- The r factors matter—notice how they appear differently in each equation, reflecting how distances scale in polar coordinates
Compare: Cartesian form vs. Polar form—both express the same constraint on u and v, but polar form handles functions with rotational structure more naturally. If an exam gives you f(z)=zn or asks about branch cuts, reach for polar coordinates.
Differentiability and Analyticity Conditions
Complex differentiability is extraordinarily demanding—satisfying the Cauchy-Riemann equations is necessary, but the story doesn't end there.
Necessary Conditions for Complex Differentiability
- Must satisfy Cauchy-Riemann equations at the point—if f is complex differentiable at z0, then the equations hold there; no exceptions
- Continuity required nearby—the function must be continuous in some neighborhood around the point, not just at the point itself
- Failure means non-differentiable—if either equation fails at a point, complex differentiability is impossible there
Sufficient Conditions for Complex Differentiability
- Cauchy-Riemann plus continuous partials—if the equations hold and the partial derivatives ∂x∂u,∂y∂u,∂x∂v,∂y∂v are continuous, then f is complex differentiable
- Differentiability implies analyticity—once differentiable in a region, the function is automatically infinitely differentiable there
- Power series representation follows—analytic functions can be expressed as convergent power series, a stunning consequence of complex differentiability
Compare: Necessary vs. Sufficient conditions—satisfying Cauchy-Riemann is necessary but not sufficient alone; you need continuous partial derivatives too. Exam questions often test whether you know this distinction, especially with pathological examples.
The Real-Imaginary Relationship
The Cauchy-Riemann equations reveal that u and v are not independent—they're locked together in a mathematical dance.
Relationship Between Real and Imaginary Parts
- Interconnected variation—changes in u(x,y) completely determine how v(x,y) must change, and vice versa
- Harmonic conjugates—given u, the equations let you reconstruct v (up to a constant); these paired functions are called harmonic conjugates
- Consistency in the complex plane—this coupling ensures the function's behavior doesn't depend on the direction of approach in the limit definition
Connection to Harmonic Functions
- Both u and v are harmonic—they satisfy Laplace's equation ∂x2∂2ϕ+∂y2∂2ϕ=0, a consequence of applying Cauchy-Riemann twice
- Second-order constraint—the Cauchy-Riemann equations are first-order, but they imply this second-order condition on each component
- Physical applications—harmonic functions model steady-state heat distribution, electrostatic potential, and incompressible fluid flow
Compare: u and v as harmonic functions—both satisfy the same Laplace equation, but they're related as harmonic conjugates. Knowing one lets you find the other, which is a common exam technique.
Geometric and Visual Interpretations
The Cauchy-Riemann equations have elegant geometric meanings that help you visualize what analytic functions do.
Orthogonality of Level Curves
- Gradients are perpendicular—∇u and ∇v are orthogonal wherever the Cauchy-Riemann equations hold
- Level curves intersect at right angles—curves where u=constant cross curves where v=constant at 90°
- Visualization tool—this orthogonal grid structure helps you sketch the behavior of analytic functions geometrically
- Angle preservation—functions satisfying Cauchy-Riemann equations preserve angles between curves at points where f′(z)=0
- Local shape preservation—infinitesimally small figures maintain their shape under the mapping, though they may be scaled and rotated
- Applications everywhere—conformal maps are used in fluid dynamics, aerodynamics, electrostatics, and cartography
Compare: Orthogonality vs. Conformality—orthogonality describes the relationship between u and v level curves, while conformality describes how the mapping transforms any curves. Both follow from Cauchy-Riemann, but they're different geometric properties.
Testing for Analyticity
The Cauchy-Riemann equations give you a practical algorithm for determining whether a function is analytic.
Applications in Determining Analyticity
- Systematic test—compute all four partial derivatives, check both equations, verify continuity of partials
- Region-by-region analysis—a function might be analytic in some regions but not others; the equations tell you exactly where
- Foundation for proofs—when asked to prove a function is analytic, Cauchy-Riemann verification is typically your first move
Examples: Functions That Do and Don't Satisfy the Equations
- f(z)=z2 is analytic—with u=x2−y2 and v=2xy, both equations check out everywhere
- f(z)=zˉ is nowhere analytic—with u=x and v=−y, we get ∂x∂u=1=−1=∂y∂v
- f(z)=∣z∣2 is differentiable only at the origin—a classic example showing differentiability at a single point without analyticity
Compare: f(z)=z2 vs. f(z)=zˉ—both are simple functions of z, but one is entire (analytic everywhere) and one is nowhere analytic. This contrast perfectly illustrates why complex conjugation destroys analyticity.
Quick Reference Table
|
| Core Equations | Cartesian form, Polar form |
| Differentiability | Necessary conditions, Sufficient conditions |
| Component Relationships | Real-imaginary coupling, Harmonic conjugates |
| Harmonic Functions | Laplace's equation, u and v both harmonic |
| Geometric Meaning | Orthogonal level curves, Gradient perpendicularity |
| Conformal Properties | Angle preservation, Local shape preservation |
| Analyticity Testing | Systematic verification, Counterexamples |
| Classic Examples | z2 (analytic), zˉ (not analytic), $$ |
Self-Check Questions
-
If a function satisfies the Cauchy-Riemann equations at a point but has discontinuous partial derivatives there, can you conclude the function is complex differentiable? Why or why not?
-
Compare f(z)=ez and f(z)=ezˉ: which satisfies the Cauchy-Riemann equations, and what does this tell you about their analyticity?
-
Given that u(x,y)=x2−y2 is the real part of an analytic function, how would you use the Cauchy-Riemann equations to find the imaginary part v(x,y)?
-
Explain why the level curves u=c1 and v=c2 intersect at right angles for an analytic function. Which form of the Cauchy-Riemann equations makes this clearest?
-
FRQ-style: A student claims that f(z)=∣z∣2 is analytic because it's differentiable at the origin. Identify the flaw in this reasoning and explain the distinction between complex differentiability at a point versus analyticity.