Loading field map
Complex analysis is the branch of mathematics that studies functions of a complex variable. A complex number is an expression of the form \( z = x + iy \), where \( x \) and \( y \) are real numbers and \( i \) is the imaginary unit satisfying \( i^2 = -1 \). A complex function \( f \) assigns to each complex number \( z \) in some region of the complex plane another complex number \( w = f(z) \). What makes the subject distinct from the study of functions of two real variables is the requirement of complex differentiability: the derivative \( f'(z) \) must exist as a limit of the difference quotient \( [f(z+h)-f(z)]/h \) as the complex number \( h \) approaches 0 from any direction. This single condition, seemingly a modest extension of the real derivative, turns out to be extraordinarily restrictive and productive. Functions satisfying it are called holomorphic (or analytic), and their theory forms the core of the subject.
The central fact of complex analysis is that holomorphic functions are far more rigid than differentiable real functions. A real function can be smooth and yet flat, wiggly, or arbitrary in many ways; a holomorphic function, by contrast, is determined entirely by its values on any tiny open set, or even on an infinite set of points with a limit point. It is infinitely differentiable, and its Taylor series converges to the function in a neighborhood of every point. This rigidity gives rise to the subject's two great themes: local behavior (what a function looks like near a point) and global behavior (how local pieces fit together to determine the function everywhere). The interplay between these two scales, mediated by the geometry of the complex plane and its generalizations, is what makes complex analysis a distinct and powerful discipline.
The subject is organized around a cluster of interconnected questions. First, what does it mean for a function to be holomorphic, and what are the consequences of that condition? The answer is given by the Cauchy–Riemann equations, a pair of partial differential equations that the real and imaginary parts of a holomorphic function must satisfy. These equations express the geometric fact that a holomorphic function is conformal: it preserves angles between curves, except at points where its derivative vanishes. This geometric interpretation links complex analysis to the study of maps that distort shapes minimally, and it explains why the subject is indispensable in problems involving two-dimensional fluid flow, electrostatics, and cartography.
Second, what can be said about integrals of holomorphic functions along curves? The central result here is Cauchy's integral theorem, which states that the integral of a holomorphic function around a closed curve is zero, provided the function is holomorphic throughout the region enclosed by the curve. This theorem is not a technical curiosity; it is the engine of the subject. From it follows Cauchy's integral formula, which expresses the value of a holomorphic function at a point as an integral over a curve surrounding that point. This formula has a remarkable consequence: the value of a holomorphic function at a point is the average of its values on any small circle around that point. This mean value property is the source of the maximum modulus principle, which states that a nonconstant holomorphic function cannot attain its maximum absolute value in the interior of its domain. The maximum principle, in turn, is a powerful tool for proving uniqueness and rigidity results.
Third, what happens at points where a function is not holomorphic? Such points are called singularities, and their classification is one of the subject's most refined achievements. A singularity can be removable (the function can be redefined there to become holomorphic), a pole (the function blows up like a reciprocal power), or an essential singularity (the function behaves so wildly that, by the Casorati–Weierstrass theorem, its values approach every complex number in any neighborhood of the singularity). The residue theorem then provides a sweeping generalization of Cauchy's integral formula: the integral of a meromorphic function (one whose only singularities are poles) around a closed curve is determined entirely by the residues at the poles inside the curve. This theorem is the workhorse of applied complex analysis, because it reduces many difficult real integrals to the computation of a few algebraic quantities.
Fourth, how do holomorphic functions behave as mappings between regions? The Riemann mapping theorem states that any simply connected open region of the complex plane (other than the whole plane itself) can be mapped conformally onto the unit disk. This theorem is surprising and deep: it says that, from the point of view of complex analysis, all such regions are equivalent, no matter how irregular their boundaries. The theorem is the gateway to geometric function theory, which studies how holomorphic functions distort shapes, and to the theory of univalent functions (one-to-one holomorphic maps), where the famous Bieberbach conjecture (proved by Louis de Branges in 1984) describes the possible growth of Taylor coefficients.
The origins of complex analysis lie in the algebraic problem of solving polynomial equations. By the sixteenth century, mathematicians had encountered square roots of negative numbers in the solutions of cubic equations, and by the eighteenth century, Leonhard Euler and others had begun to manipulate complex numbers formally, deriving the famous identity \( e^{i\theta} = \cos\theta + i\sin\theta \). But these were algebraic and trigonometric manipulations, not yet a theory of functions.
The subject proper began in the nineteenth century with the work of Augustin-Louis Cauchy, who introduced the notion of a complex function and proved the integral theorems that bear his name. Cauchy's work was motivated by problems in mathematical physics, particularly the theory of fluid flow and the evaluation of definite integrals. At roughly the same time, Bernhard Riemann, in his 1851 doctoral thesis, placed the subject on a geometric foundation. Riemann introduced the idea of a Riemann surface, a surface on which a multivalued function (such as the square root or the logarithm) becomes single-valued, and he formulated the Riemann mapping theorem. Riemann's geometric vision was profound but sometimes lacked rigor; the task of supplying rigorous proofs was taken up by later mathematicians, notably Karl Weierstrass, who developed the subject from the power series point of view, and by the Göttingen school, which consolidated the theory of analytic functions in the late nineteenth and early twentieth centuries.
A second major wave of development came in the early twentieth century, when the subject was integrated with topology and functional analysis. The work of Paul Koebe and Constantin Carathéodory on conformal mapping, the development of the theory of harmonic functions and potential theory, and the emergence of several complex variables as a separate discipline all grew out of the classical core. The mid-twentieth century saw the flowering of functional analysis approaches, in which spaces of holomorphic functions are studied as infinite-dimensional vector spaces, and the development of complex dynamics, the study of iteration of holomorphic functions, which gained wide public attention through the computer-generated images of the Mandelbrot set.
The history of complex analysis is not a story of rival schools displacing one another; rather, it is a story of complementary perspectives that have coexisted and enriched each other. Three broad approaches can be distinguished, each with its own characteristic questions and tools.
The Cauchy–Riemann approach treats holomorphic functions as solutions of a system of partial differential equations. This perspective emphasizes local differential properties, integral formulas, and the calculus of residues. It is the most computational and the most directly connected to applications in physics and engineering. Its limitations are that it does not naturally handle global questions about the shape of domains or the behavior of functions at infinity, and it becomes much more complicated in several variables, where the Cauchy–Riemann equations are overdetermined and the integral formulas are less straightforward.
The Weierstrass approach treats holomorphic functions as power series. A function is analytic if it can be represented locally by a convergent power series, and the theory is built from the algebra and analysis of such series. This approach is particularly well suited to questions of convergence, analytic continuation (extending a function beyond its original domain by piecing together power series), and the classification of singularities. Its limitation is that it is less geometric: the global structure of the function and its domain is not visible from the series expansions alone. The Weierstrass approach was historically important for rigorizing the subject, and it remains influential in the theory of special functions and in the study of ordinary differential equations in the complex domain.
The Riemannian geometric approach treats holomorphic functions as conformal maps between surfaces. This perspective emphasizes the global shape of domains, the classification of Riemann surfaces, and the existence of mappings with prescribed properties. Its central tool is the Dirichlet principle, a variational method for finding harmonic functions with given boundary values, which Riemann used to prove the mapping theorem and which was later placed on a rigorous footing by David Hilbert and others. The geometric approach is the most powerful for global questions, but it is also the most abstract and the least computational. Its modern descendants include the theory of Teichmüller spaces (the parameter spaces of Riemann surface structures) and the study of quasiconformal mappings, which relax the conformality condition and are essential in the modern proof of the measurable Riemann mapping theorem.
These three approaches are not competitors but facets of a single object. The Cauchy–Riemann equations are the local differential expression of conformality; the power series are the local algebraic expression; and the Riemann surface is the global geometric expression. A mature understanding of the subject requires moving fluidly among them. For example, the proof of the Riemann mapping theorem can be approached through the Dirichlet principle (geometric), through the theory of normal families of holomorphic functions (a functional-analytic refinement of the Weierstrass approach), or through the solution of the Dirichlet problem for harmonic functions (an analytic approach). Each proof illuminates a different aspect of the result.
The classical core of complex analysis—Cauchy's theory, the residue calculus, conformal mapping, and the theory of Riemann surfaces—remains a standard part of the mathematical curriculum and a working tool in many applied fields. But the subject has also branched into several vigorous research areas.
Several complex variables studies holomorphic functions of more than one complex variable. This subject is not a straightforward generalization of the one-variable theory; it has a different character. In one variable, every domain is locally biholomorphic to the disk, and the Riemann mapping theorem says that many domains are globally equivalent. In several variables, the situation is far more rigid: there are many inequivalent domains, and the boundary behavior of holomorphic functions is governed by the Levi problem and the theory of pseudoconvexity. The subject connects deeply with algebraic geometry, partial differential equations (the \(\bar{\partial}\)-problem), and the theory of complex manifolds.
Complex dynamics studies the iteration of holomorphic functions. The field was founded in the early twentieth century by Pierre Fatou and Gaston Julia, who investigated the iteration of rational functions and discovered the fractal sets now named after Julia. The subject was revitalized in the 1980s by the work of Adrien Douady, John Hubbard, and others, who developed the theory of the Mandelbrot set and the classification of periodic points. Complex dynamics is notable for its intimate connection between analytic and topological ideas: the behavior of an iterated function is determined by the geometry of its Julia set, and the classification of possible behaviors is a deep problem in both analysis and topology.
Geometric function theory continues the classical study of conformal and quasiconformal mappings. The modern theory of quasiconformal maps relaxes the condition of angle preservation, allowing bounded distortion, and has become a central tool in the study of Riemann surfaces, hyperbolic geometry, and the theory of Teichmüller spaces. The measurable Riemann mapping theorem, which guarantees the existence of quasiconformal maps with prescribed complex dilatation, is a cornerstone of this area and has applications in the theory of dynamical systems and in the study of Kleinian groups.
Potential theory and harmonic analysis are closely allied with complex analysis. Harmonic functions (solutions of Laplace's equation) are the real and imaginary parts of holomorphic functions, and many questions about holomorphic functions can be reformulated in terms of harmonic functions and their boundary values. The modern theory of Hardy spaces and Bergman spaces studies holomorphic functions as elements of Banach or Hilbert spaces, with norms defined by integrals over the domain or its boundary. These spaces are central to operator theory and to the theory of interpolation and sampling.
The subject also maintains strong connections to mathematical physics. The Schramm–Loewner evolution (SLE), introduced by Oded Schramm in 2000, is a stochastic process that describes the scaling limits of certain random curves in the plane, such as the boundaries of percolation clusters and the paths of random walks. SLE is defined using the Loewner equation, a classical tool from the theory of conformal mapping, and it has revolutionized the understanding of two-dimensional statistical mechanics. This development is a striking example of how a classical analytic tool, developed in the nineteenth century, can find entirely new life in a twenty-first-century context.
What holds complex analysis together is not a single method but a single object: the holomorphic function, with its remarkable rigidity and its many faces. The subject is unusual in mathematics for the breadth of its applications and the depth of its internal structure. A single theorem—Cauchy's integral formula—yields the residue calculus, the maximum principle, the theory of singularities, and the foundations of conformal mapping. The same theorem, reinterpreted in the language of differential forms, becomes the Cauchy–Pompeiu formula in several variables, and in the language of sheaf theory, it becomes the statement that the sheaf of holomorphic functions is acyclic. This unity across levels of abstraction is one of the subject's most distinctive features.
For the newcomer, the practical lesson is that complex analysis rewards a flexible attitude. The subject is best learned not as a sequence of techniques but as a network of equivalent formulations: a holomorphic function is simultaneously a solution of a differential equation, a convergent power series, a conformal map, and a harmonic function's partner. Each formulation suggests different questions and different tools, and the power of the subject lies in the ease with which one can move among them. The modern landscape of the field, with its branches into several variables, dynamics, and probability, is best understood as the natural outgrowth of this classical core, which remains as vital today as it was in the nineteenth century.