Overview

In mathematics, a holomorphic function is a function defined on an open subset of the complex plane that is complex-differentiable at every point of its domain. More precisely, a function f of a complex variable z is holomorphic on a region if the complex derivative f'(z) exists at every point of that region. The requirement that the derivative exist in the complex sense is far stronger than ordinary differentiability of real-variable functions and imposes a rigid structure on such functions.

Definition and basic characteristics

Complex differentiability is defined in terms of a limit analogous to the real derivative but respecting the two-dimensional nature of complex numbers. A function that is complex-differentiable throughout an open set is often called holomorphic or, in older texts, regular. Equivalently, a function is holomorphic on a region precisely when it can be represented locally by a convergent power series (that is, it is analytic). At a practical level the Cauchy–Riemann equations give necessary and sufficient conditions for differentiability when the function is expressed in terms of real and imaginary parts.

Key properties

  • Analyticity: holomorphic functions are equal to their Taylor series around each point in their domain.
  • Infinite differentiability: they have derivatives of all orders wherever they are holomorphic.
  • Cauchy integral theorems: contour integrals of holomorphic functions satisfy strong constraints, and the Cauchy integral formula expresses derivatives by integrals.
  • Maximum modulus principle and identity theorem: the values of a holomorphic function are highly constrained by behavior on small sets.
  • Conformal mapping: where the derivative is nonzero, holomorphic maps are angle-preserving and locally invertible.

Examples and uses

Common examples of holomorphic functions include polynomials, the exponential function, trigonometric functions when extended to the complex plane, and any power series inside its radius of convergence. Rational functions are holomorphic away from their poles. Entire functions are holomorphic on the whole complex plane. Holomorphic and related techniques are widely used in complex analysis, mathematical physics, electrical engineering, fluid dynamics, and in evaluating real integrals via residue calculus.

History and development

The formal study of complex-differentiable functions developed in the 19th century with contributions from Augustin Cauchy, Bernhard Riemann, Karl Weierstrass and others. Cauchy's integral theorem and integral formula were among the first deep results showing that complex differentiability implies powerful integral relations. Subsequent work clarified the equivalence between complex differentiability and local representability by power series.

Holomorphic should not be conflated with mere differentiability of the function's real and imaginary parts: a function may have partial derivatives without being holomorphic. Related terms include meromorphic (holomorphic except at isolated poles), harmonic (solutions of Laplace's equation often given by real parts of holomorphic functions), and analytic (often used interchangeably with holomorphic in this context). For contrast with functions on the real line (real numbers), complex differentiability enforces both directional consistency and integrability properties that have no straightforward analogue in one variable.

For further background and formal statements one may consult standard references in complex analysis or introductory texts in function theory. Many resources explain proofs of the Cauchy integral formula, classification of singularities, and applications such as residue calculus and conformal mapping in more detail.