Complex Analysis Guide: Holomorphic Functions and Contour Integration
Introduction
Complex analysis is one of the most beautiful subjects in all of mathematics. It studies functions of a complex variable — functions that map the complex plane to itself — and reveals a stunning depth of structure that has no analogue in real analysis. The requirement that a complex function be differentiable imposes conditions so strong that differentiability alone forces the function to be infinitely differentiable, representable by power series, and determined entirely by its values on any small region.
The subject emerged from the work of Cauchy, Riemann, Weierstrass, and others in the nineteenth century. They discovered that complex differentiability — holomorphy — is equivalent to the Cauchy-Riemann equations, which express the geometric condition that the function preserves angles locally. This connection between analysis and geometry gives complex analysis its distinctive character.
Holomorphic Functions
A complex function f is holomorphic at a point if the complex derivative f’(z) = lim_{h→0} (f(z + h) - f(z))/h exists. The existence of this limit requires the limit to be the same regardless of the direction from which h approaches zero — a much stronger condition than real differentiability.
Cauchy-Riemann Equations
Writing f = u + iv where u and v are real-valued functions of two real variables, the Cauchy-Riemann equations require ∂u/∂x = ∂v/∂y and ∂u/∂y = -∂v/∂x. These equations express the condition that the derivative is well-defined as a complex number.
The Cauchy-Riemann equations have remarkable consequences. Both u and v are harmonic functions — they satisfy Laplace’s equation. The level curves of u and v intersect at right angles. And any harmonic function is locally the real part of a holomorphic function.
Cauchy’s Theorem and Integral Formula
Cauchy’s Theorem is the foundational result of complex analysis. It states that the contour integral of a holomorphic function around a closed curve is zero. This seemingly simple result has far-reaching consequences.
Cauchy’s Integral Formula
Cauchy’s Integral Formula states that the value of a holomorphic function at any point inside a closed curve is determined by its values on the curve itself. This result shows that holomorphic functions are rigid — they cannot be modified locally without changing them globally.
The integral formula leads to the existence of all higher derivatives. A holomorphic function is infinitely differentiable, and each derivative has its own integral representation. The Cauchy estimates bound the size of derivatives in terms of the maximum of the function, leading directly to Liouville’s Theorem: every bounded entire function is constant.
Power Series and Analyticity
A holomorphic function is automatically analytic — it can be expanded in a power series around any point in its domain. The radius of convergence of the series equals the distance to the nearest singularity. Conversely, every convergent power series defines a holomorphic function within its radius of convergence.
Laurent Series
Laurent series extend power series to include negative powers. They converge on annuli — regions between two concentric circles — rather than disks. The coefficient of the (z - z₀)⁻¹ term in the Laurent series is the residue, which captures the behavior of the function near an isolated singularity.
The classification of isolated singularities is one of the beautiful results of complex analysis. Removable singularities can be filled in to give a holomorphic function. Poles cause the function to blow up like a negative power. Essential singularities have wild behavior — Picard’s Theorem states that near an essential singularity, the function attains every complex value except possibly one, infinitely often. These ideas connect naturally to real analysis via power series.
Residue Theorem
The Residue Theorem is the computational workhorse of complex analysis. It states that the contour integral of a meromorphic function around a closed curve equals 2πi times the sum of the residues at the poles inside the curve. This theorem allows evaluation of a vast class of real definite integrals that are difficult or impossible to evaluate by real methods.
Applications to Real Integrals
Trigonometric integrals over [0, 2π] become contour integrals over the unit circle. Improper integrals of rational functions over the real line are evaluated by closing the contour in the upper half-plane. Integrals involving trigonometric functions over the real line yield to Jordan’s Lemma.
The Residue Theorem also provides elegant proofs of results in number theory. The Prime Number Theorem, which describes the asymptotic distribution of primes, is proved using complex analysis and the Riemann zeta function. For deeper exploration of these number-theoretic connections, see number theory.
Conformal Mappings
A conformal mapping preserves angles locally. Holomorphic functions with nonzero derivative are conformal. The Riemann Mapping Theorem states that any simply connected region in the complex plane (other than the entire plane itself) can be mapped conformally onto the unit disk.
Conformal mappings are essential in applications. In fluid dynamics, conformal mappings transform complicated flow patterns into simpler ones. In electrical engineering, they map complicated geometries to simpler ones for solving Laplace’s equation. In cartography, conformal projections like the Mercator projection preserve angles at the cost of distorting areas.
Möbius Transformations
Möbius transformations are rational functions of the form (az + b)/(cz + d) with ad - bc ≠ 0. They map circles and lines to circles and lines and are the conformal automorphisms of the Riemann sphere. The cross-ratio, invariant under Möbius transformations, provides a powerful tool for constructing mappings.
The group of Möbius transformations is isomorphic to PSL(2, C), connecting complex analysis to group theory and Lie groups.
Harmonic Functions
Harmonic functions satisfy Laplace’s equation Δu = 0. They are the real and imaginary parts of holomorphic functions. The mean value property states that the value of a harmonic function at a point equals its average over any circle centered at that point. The maximum principle states that a nonconstant harmonic function attains its maximum on the boundary of its domain.
The Dirichlet problem — finding a harmonic function with specified boundary values — is solved using the Poisson integral formula for the disk. The solution is unique by the maximum principle.
Complex Dynamics
Complex dynamics studies iteration of holomorphic functions. The field was revolutionized by the work of Julia and Fatou in the early twentieth century and dramatically revived by Mandelbrot’s computer experiments in the 1970s. The Mandelbrot set, defined as the set of c for which the orbit of 0 under z → z² + c remains bounded, is one of the most famous objects in mathematics.
The Julia set of a rational function is the boundary of the basin of attraction of attracting periodic points. Julia sets exhibit remarkable self-similarity and fractal structure. The connectedness of the Julia set is intimately related to the location of the parameter in the Mandelbrot set.
Holomorphic Dynamics
The classification of periodic points in complex dynamics uses the multiplier — the derivative of the iterated map. Attracting, repelling, and indifferent periodic points have multipliers of modulus less than, greater than, and equal to 1 respectively. Indifferent points are further classified as rationally or irrationally indifferent.
The study of the Mandelbrot set has connections to many areas of mathematics. The local connectivity of the Mandelbrot set, proved by Yoccoz for many parameters and by Lyubich for others, remains a central open problem in complex dynamics.
What makes complex analysis different from real analysis? Complex differentiability implies analyticity, infinite differentiability, and rigidity. Real differentiability gives none of these.
What is a residue? The residue is the coefficient of the (z - z₀)⁻¹ term in the Laurent series. It measures the obstruction to the existence of an antiderivative near a singularity.
How is complex analysis used in engineering? Conformal mappings solve Laplace’s equation in complicated geometries. The residue theorem evaluates difficult integrals.
Elliptic Functions and Modular Forms
Elliptic functions are meromorphic functions on C that are doubly periodic — they satisfy f(z + ω₁) = f(z) and f(z + ω₂) = f(z) for two periods ω₁, ω₂ that are linearly independent over R. These functions are the complex-analytic counterpart of elliptic curves and arise naturally from the study of integrals of rational functions involving square roots of cubic polynomials.
The Weierstrass ℘-function is the canonical elliptic function. It satisfies a differential equation ℘‘² = 4℘³ - g₂℘ - g₃, and the points (℘(z), ℘’(z)) parametrize an elliptic curve. This connection between complex analysis and algebraic geometry is one of the deepest in mathematics.
Modular Forms
Modular forms are holomorphic functions on the upper half-plane that transform in a specific way under the action of SL(2, Z). They are central to number theory through the theory of modular forms and the proof of Fermat’s Last Theorem. The q-expansion of a modular form encodes arithmetic information.
The theory of modular forms connects complex analysis to representation theory via the Langlands program. Hecke operators acting on spaces of modular forms have eigenvalues that encode arithmetic data. The connection between elliptic curves and modular forms — the modularity theorem — was the key to Wiles’s proof.
What is the Riemann hypothesis? The Riemann hypothesis asserts that all nontrivial zeros of the Riemann zeta function lie on the line Re(s) = 1/2. It remains unproven.