Cauchy–Riemann equations

Cauchy–Riemann equations
Name	Cauchy–Riemann equations
Field	Complex analysis
Introduced	19th century
Related	Holomorphic function, Analytic function, Complex differentiability

Cauchy–Riemann equations. The Cauchy–Riemann equations are a system of first-order partial differential equations that characterize complex differentiability for functions from subsets of the Complex number plane to the Complex number plane. They play a central role in Complex analysis, underpinning results in the theories developed by Augustin-Louis Cauchy, Bernhard Riemann, and subsequent mathematicians such as Karl Weierstrass, Henri Poincaré, and Sofia Kovalevskaya. Their influence extends to applications studied by researchers at institutions like École Normale Supérieure, University of Göttingen, and Princeton University.

Introduction

The equations link the real and imaginary parts of a complex-valued function in a way that ensures the function is holomorphic when sufficient regularity holds, a concept formalized by Ludwig Otto Hesse and refined by Richard Dedekind and Felix Klein. In the context of classical works by Jean le Rond d'Alembert and Joseph Fourier, the Cauchy–Riemann conditions connect to potential theory used in studies by Pierre-Simon Laplace and Siméon Denis Poisson. They also appear in formulations related to the Laplace's equation and methods attributed to Srinivasa Ramanujan in complex transformations.

Formulation and Notation

Let f = u + i v be a function with real-valued components u(x,y) and v(x,y) defined on an open set in the plane; following notation standardized in treatises by Émile Picard and Ernst Zermelo, the equations read: - u_x = v_y and u_y = -v_x, where subscripts denote partial derivatives in the sense used by Bernhard Riemann and later by David Hilbert. This formulation appears in expositions by George Gabriel Stokes and in lecture notes from University of Cambridge courses taught in the spirit of Isaac Newton's analytical methods. Equivalent matrix and differential-form representations are given in works by Élie Cartan and Hermann Weyl.

Derivation and Proofs

A standard derivation uses the limit definition of complex derivative introduced by Augustin-Louis Cauchy in his seminal papers and expanded by Karl Weierstrass: differentiability of f at a point requires that the limit of (f(z+h)-f(z))/h be independent of the direction of h in the plane. Equating directional derivatives along vectors associated to René Descartes coordinates yields the two partial differential relations associated to proofs in texts by Bernhard Riemann and Felix Klein. Rigorous formulations invoking theorems of Sofia Kovalevskaya and David Hilbert show that if u and v are continuously differentiable and satisfy the equations, then f is complex-differentiable; conversely, differentiability implies the equations under hypotheses used in work by Émile Borel and Hermann Weyl. Alternative proofs use the tools of Differential forms and the exterior derivative as developed by Élie Cartan or exploit integral representations from Cauchy's integral theorem attributed to Augustin-Louis Cauchy.

Consequences and Applications

Satisfaction of the equations under regularity hypotheses implies that u and v are harmonic, a fact central to potential theory developed by Pierre-Simon Laplace and applied in boundary-value problems studied by Lord Kelvin and George Green. The equations underpin the Maximum modulus principle used in analyses by Carathéodory and in conformal mapping methods employed by Riemann in his mapping theorem, influencing engineering problems addressed by James Clerk Maxwell and Gustave Eiffel. In modern contexts, the conditions are instrumental in complex dynamics studied by Henri Poincaré, Koenigs, and John Milnor, and in partial differential equation frameworks at institutions like Massachusetts Institute of Technology and University of Chicago.

Generalizations and Extensions

Generalizations include the inhomogeneous or generalized equations with a Beltrami coefficient arising in the theory of quasiconformal maps developed by Lars Ahlfors and Oswald Teichmüller, and elliptic systems in higher dimensions studied by Ennio De Giorgi and Sergei Sobolev. The Cauchy–Riemann framework extends to several complex variables in work by Hermann Weyl, Kiyoshi Oka, and Joseph Kohn, leading to the Cauchy–Riemann operator on complex manifolds studied by André Weil and Atle Selberg. Nonlinear analogues appear in research by S. S. Chern and Shing-Tung Yau on complex differential geometry and in the theory of Dirac operators relevant to Michael Atiyah and Isadore Singer.

Examples and Counterexamples

Classical examples include polynomials and exponentials examined by Carl Friedrich Gauss and Leonhard Euler, which satisfy the equations globally; rational functions studied by Augustin-Louis Cauchy exhibit isolated singularities where the relations fail. Counterexamples demonstrating the necessity of differentiability hypotheses were constructed in the spirit of pathological functions explored by Georg Cantor and Bernard Bolzano; functions with continuous partial derivatives that do not meet the equations fail to be holomorphic, a phenomenon discussed by Sofia Kovalevskaya and Henri Lebesgue. Examples in applied settings, such as fluid flow potentials used by Leonhard Euler and Daniel Bernoulli, illustrate the translation of the equations into models of incompressible, irrotational flow.

Category:Complex analysis