Complex analysis

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is primarily concerned with holomorphic (or analytic) functions, which are complex differentiable in a neighbourhood of every point in their domain. These functions exhibit remarkably rigid and elegant properties not shared by merely differentiable functions of a real variable, including infinite differentiability, representation by power series, and conformality. Complex analysis serves as a central pillar of mathematics, connecting to number theory, algebraic geometry, differential equations, and dynamics, and it provides powerful techniques for evaluating real integrals, solving boundary value problems in physics, and modelling phenomena in engineering.

Holomorphic functions and the Cauchy–Riemann equations

A complex function \(f(z) = u(x,y) + i v(x,y)\), where \(z = x + iy\), is said to be complex differentiable at a point if the limit of the difference quotient exists independently of the direction of approach. This condition is far more restrictive than real differentiability. A function is holomorphic on an open set if it is complex differentiable at every point; equivalently, its real and imaginary parts must be continuously differentiable and satisfy the Cauchy–Riemann equations:
\[
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}.
\]
These equations imply that both \(u\) and \(v\) are harmonic functions, i.e., they satisfy Laplace’s equation, and they guarantee that a holomorphic function is infinitely differentiable and locally representable by a convergent power series.

Cauchy’s integral theorem and formula

The cornerstone of complex integration is Cauchy’s integral theorem: if \(f\) is holomorphic on a simply connected domain \(D\), then for every closed contour \(\gamma\) in \(D\),
\[
\oint_\gamma f(z)\,dz = 0.
\]
A direct consequence is Cauchy’s integral formula: for any point \(a\) inside a simple closed curve \(\gamma\) and \(f\) holomorphic in a neighbourhood of the enclosed region,
\[
f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z - a}\,dz.
\]
This formula reveals that the values of a holomorphic function inside a region are completely determined by its values on the boundary. It also shows that holomorphic functions are analytic, meaning they possess Taylor series expansions about any point in their domain, and that derivatives of all orders can be represented by analogous integrals.

Power series and Laurent series

Around any point \(a\) where a function is holomorphic, it can be expressed as a convergent power series:
\[
f(z) = \sum_{n=0}^\infty a_n (z - a)^n,
\]
whose radius of convergence is the distance to the nearest singularity. This equivalence between holomorphy and analyticity is fundamental. If a function has an isolated singularity at \(a\), it can be expanded in a Laurent series:
\[
f(z) = \sum_{n=-\infty}^\infty c_n (z - a)^n.
\]
The coefficient \(c_{-1}\) is the residue of \(f\) at \(a\), a number that plays a pivotal role in contour integration.

Singularities and the residue theorem

Isolated singularities are classified into removable singularities, poles, and essential singularities. A pole of order \(m\) is characterised by behaviour of the form \(c (z-a)^{-m}\). The residue theorem states that if \(f\) is holomorphic inside and on a simple closed curve \(\gamma\) except for isolated singularities \(a_k\), then
\[
\oint_\gamma f(z)\,dz = 2\pi i \sum_k \operatorname{Res}(f, a_k).
\]
This theorem transforms the computation of contour integrals into algebraic residue calculations and is widely used to evaluate real definite integrals, invert Laplace transforms, and sum infinite series. It also gives rise to the argument principle and Rouché’s theorem, tools for locating and counting zeros and poles.

Meromorphic functions and the Riemann sphere

A function that is holomorphic on a domain except for isolated poles is called meromorphic. Such functions can naturally be extended to the Riemann sphere \(\mathbb{C} \cup \{\infty\}\), the one-point compactification of the complex plane. On the extended plane, meromorphic functions are precisely the rational functions. The study of elliptic functions—meromorphic functions with two independent periods—provided early motivation for complex analysis and forged deep links with algebraic curves and number theory.

Conformal mappings

A holomorphic function with a non-zero derivative is conformal at that point, meaning it preserves angles between curves. Conformal mappings are used to transform geometrically complicated domains into simpler ones, such as the unit disk or the upper half-plane. The celebrated Riemann mapping theorem guarantees that any simply connected proper open subset of the complex plane can be mapped conformally onto the unit disk. Important classes of conformal maps include Möbius transformations, Schwarz–Christoffel mappings, and the Joukowsky transform, all of which have direct applications in fluid dynamics, electrostatics, and aerofoil design.

Analytic continuation

Many important functions are initially defined in a restricted region by a series or integral. Analytic continuation is the technique of extending the domain of a holomorphic function beyond its original circle of convergence. A crucial uniqueness property is the identity theorem: if two holomorphic functions agree on a set possessing an accumulation point in a connected domain, they are identical throughout that domain. This principle underpins the continuation of the Riemann zeta function, originally given for \(\operatorname{Re}(s) > 1\), to the entire complex plane except for a simple pole at \(s = 1\). Analytic continuation also leads to the notion of monodromy and requires the introduction of Riemann surfaces to handle multivalued functions such as the complex logarithm and square root.

Several complex variables

The extension of complex analysis to functions \(f(z_1, \dots, z_n)\) of several complex variables yields a theory markedly different from the one-dimensional case. Phenomena such as Hartogs’ extension theorem—which states that holomorphic functions in dimensions greater than one automatically extend across compact singularities—have no one-variable analogue. The subject makes essential use of sheaf cohomology, the \(\bar{\partial}\)-operator, and plurisubharmonic functions, and it is intimately connected with algebraic geometry, partial differential equations, and the theory of pseudoconvex domains.

History

Complex numbers arose in the 16th century in the context of solving cubic equations, but the systematic study of functions of a complex variable began in the 18th and 19th centuries. Leonhard Euler introduced the exponential form \(e^{i\theta} = \cos\theta + i\sin\theta\) and used complex functions to evaluate integrals. Carl Friedrich Gauss proved the fundamental theorem of algebra and employed complex integration. Augustin-Louis Cauchy provided the rigorous foundations in the early 19th century, establishing the integral theorem and the residue calculus. Bernhard Riemann then introduced Riemann surfaces, conformal mapping, and the zeta function that bears his name, while Karl Weierstrass developed a rigorous approach based on power series and analytic continuation. The subject was further refined by the arithmetisation of analysis and expanded throughout the 20th century into several variables and complex geometry.

Applications

Complex analysis is an indispensable tool across the mathematical sciences. Conformal mapping techniques solve boundary value problems for Laplace’s equation in electrostatics, heat conduction, and irrotational fluid flow. The residue theorem provides a systematic method for evaluating improper real integrals and series arising in Fourier analysis, quantum mechanics, and signal processing. In number theory, complex analysis is the framework for the Riemann zeta function and the proof of the prime number theorem. Entire functions and their growth properties appear in the study of differential equations and the theory of Fourier transforms. Moreover, the iteration of complex functions generates fractal structures such as Julia sets and the Mandelbrot set, creating an entire field of complex dynamics with connections to chaos theory and statistical mechanics.