Cauchy–Riemann operator

Cauchy–Riemann operator
Cauchy-Riemann.png: Keenan Crane vector version: VectorVoyager · CC BY-SA 4.0 · source
Name	Cauchy–Riemann operator
Field	Complex analysis
Introduced by	Augustin-Louis Cauchy, Bernhard Riemann
Related	Dolbeault operator, Laplace operator, Wirtinger derivatives

Cauchy–Riemann operator The Cauchy–Riemann operator is a first-order linear differential operator central to Augustin-Louis Cauchy, Bernhard Riemann, Hermann Weyl, Émile Picard, and Henri Lebesgue-era developments in complex analysis and partial differential equations. It encodes holomorphicity conditions on functions of one complex variable and appears in formulations across Riemann surface theory, Dolbeault cohomology, Hodge theory, Atiyah–Singer index theorem, and analytic aspects of Algebraic geometry and Differential geometry.

Definition and notation

On an open set U ⊂ ℂ with complex coordinate z = x + iy and real coordinates (x,y), the Cauchy–Riemann operator is expressed using Wirtinger derivatives introduced by Jean Gaston Darboux and formalized in contexts by Émile Picard and Henri Poincaré. Writing ∂/∂z and ∂/∂\bar z, one defines the operator acting on sufficiently smooth functions f: U → ℂ by ∂̄f = (1/2)(∂/∂x + i∂/∂y)f. In vector-bundle language used by Kunihiko Kodaira and Shing-Tung Yau, the operator is a Dolbeault-type operator mapping sections of the trivial line bundle to (0,1)-forms: ∂̄: C^∞(U) → Ω^{0,1}(U). Notational variants appear in works by Lars Ahlfors, Rolf Nevanlinna, Oskar Perron, and Gustav Friedrich Wirtinger.

Relation to Cauchy–Riemann equations

The vanishing of the Cauchy–Riemann operator is equivalent to satisfaction of the classical Cauchy–Riemann equations attributed to Augustin-Louis Cauchy and Bernhard Riemann. Writing f = u + iv with u,v real-valued as in treatments by Karl Weierstrass and Gotthold Eisenstein, ∂̄f = 0 yields ∂u/∂x = ∂v/∂y and ∂u/∂y = −∂v/∂x, the system used by Felix Klein and Hermann Schwarz in mapping theory. This equivalence underpins integrability conditions exploited in proofs by Bernhard Riemann of the Riemann mapping theorem and in methods by Henri Poincaré regarding analytic continuation and monodromy studied by Richard Dedekind.

Properties and ellipticity

As a first-order linear elliptic operator in the context of Laplace operator theory, the Cauchy–Riemann operator has an elliptic symbol and enjoys regularity properties explored in André Weil's studies and in the theory developed by Lars Hörmander and Sergei Sobolev. Its formal adjoint relates to conjugate Wirtinger derivatives used in harmonic analysis by Norbert Wiener and Alfréd Haar. Ellipticity leads to hypoellipticity and elliptic regularity results exploited in proofs by Michael Atiyah, Isadore Singer, Enrico Bombieri, and Jean-Pierre Serre for vanishing theorems and index computations on Riemann surface and Complex manifold settings.

Sobolev and distributional formulations

In the Sobolev framework of Sergei Sobolev and distribution theory of Laurent Schwartz, the Cauchy–Riemann operator extends to act on Sobolev spaces W^{s,p}(U) and on distributions in D'(U). Weak solutions satisfying ∂̄f = g in the distributional sense are studied with techniques from Lars Hörmander's L^2 estimates and John Nash|||Louis Nirenberg-style regularity theory. Estimates involving Calderón–Zygmund operators and the theory of singular integrals as developed by Alberto Calderón and Antoni Zygmund are used to obtain apriori bounds and compactness results applied in works by Elias Stein and Charles Fefferman.

Applications in complex geometry and analysis

The operator is fundamental to Dolbeault cohomology as formulated by Kunihiko Kodaira and Dmitri Z. A. Dolbeault and underlies Hodge decomposition results used by Wim de Graaf and Pierre Deligne in studies of mixed Hodge structures and Mumford-type constructions in Algebraic geometry. It appears in the proof of the Riemann–Roch theorem for Riemann surface by methods of Bernhard Riemann and Oswald Teichmüller and in deformation theory à la Kodaira and Spencer. Solutions and estimates for ∂̄ yield existence results applied in the resolution of the Levi problem treated by Joseph J. Kohn and Klaus Friedrich Roth, and are instrumental in boundary regularity problems examined by Gennadi Henkin and J. J. Kohn in several complex variables, linking to topics considered by Håkan Hedenmalm and Sergei Krantz.

Generalizations and higher-dimensional analogues

Higher-dimensional analogues include the Dolbeault operator ∂̄ on complex manifolds studied by Kunihiko Kodaira, Shing-Tung Yau, S.-T. Yau, Pierre Deligne, and Jean-Pierre Demailly. On almost-complex manifolds related to work of Charles Ehresmann and Marcel Berger, generalized Cauchy–Riemann-type operators appear in the theory of pseudoholomorphic curves initiated by Mikhail Gromov and applied in Symplectic topology and Donaldson theory by Simon Donaldson and Clifford Taubes. Index-theoretic treatments using the Atiyah–Singer index theorem involve contributions by Michael Atiyah, Isadore Singer, Edward Witten, and Alain Connes in noncommutative generalizations; analytical techniques connect to heat-kernel methods of Peter Gilkey and spectral theory studied by Barry Simon and Mark Kac.

Category:Complex analysis