Contour integration
A contour integral is the integral of a complex-valued function along an oriented curve in the complex plane. It extends the real line integral by incorporating the geometry of the path and the analytic structure of the integrand. For holomorphic functions, contour integrals are governed by deformation principles that connect local differentiability with global topological information.
A contour is ordinarily represented by a continuous, piecewise continuously differentiable map
[ \gamma:[a,b]\longrightarrow \mathbb C. ]
If (f) is continuous on the image of (\gamma), its integral along the contour is defined by
[ \int_\gamma f(z),dz
\int_a^b f(\gamma(t))\gamma'(t),dt. ]
This definition reduces contour integration to an ordinary integral with a complex-valued integrand, while remaining invariant under orientation-preserving regular reparametrization. Reversal of orientation changes the sign of the integral, and concatenation of compatible contours produces the sum of their integrals.
Geometric and analytic structure
Writing (z=x+iy), (f=u+iv), and (dz=dx+i,dy) gives
[ f(z),dz
(u,dx-v,dy)+i(v,dx+u,dy). ]
A contour integral therefore consists of two real line integrals. The special behavior of complex integration arises from the Cauchy–Riemann equations, which connect those real components whenever (f) is holomorphic.
For a closed contour (\gamma), the integral of a derivative vanishes:
[ \int_\gamma F'(z),dz=0, ]
provided that (F) is holomorphic on a domain containing the contour. More generally, the existence of a holomorphic antiderivative on a domain makes every contour integral between two fixed endpoints independent of the selected path. On domains containing holes or excluded singularities, local antiderivatives do not necessarily combine into a global one, and closed-contour integrals record the resulting obstruction.
The basic example is
[ \int_\gamma \frac{dz}{z-a}, ]
where (\gamma) is closed and does not pass through (a). Its value is
[ 2\pi i,\operatorname{Ind}(\gamma,a), ]
with (\operatorname{Ind}(\gamma,a)) denoting the winding number of the contour around (a). This integer measures the net number of counterclockwise circuits made by the contour about the excluded point.
Cauchy theory
The central vanishing result is the Cauchy integral theorem. If (f) is holomorphic throughout a simply connected domain and (\gamma) is a closed contour in that domain, then
[ \int_\gamma f(z),dz=0. ]
Equivalent formulations replace simple connectivity with a homological condition requiring the contour to enclose no point outside the domain. Consequently, a contour can be continuously deformed without changing the integral when the deformation does not cross a singularity of the integrand.
The theorem leads to the Cauchy integral formula. If (f) is holomorphic on a neighborhood of a positively oriented simple closed contour (\gamma) and its interior, then for each interior point (a),
[ f(a)
\frac{1}{2\pi i} \int_\gamma \frac{f(z)}{z-a},dz. ]
The corresponding formula for derivatives is
[ f^{(n)}(a)
\frac{n!}{2\pi i} \int_\gamma \frac{f(z)}{(z-a)^{n+1}},dz. ]
These identities imply that a function possessing one complex derivative throughout an open set possesses derivatives of every order there. They also produce local Taylor series, estimates for derivatives, the identity theorem, and Liouville’s theorem.
Édouard Goursat supplied a proof of the Cauchy integral theorem that removed the earlier auxiliary assumption that the derivative of a holomorphic function was continuous. His argument subdivided triangles and used complex differentiability at a limiting point, thereby clarifying that the theorem follows from holomorphicity itself.
Singularities and residues
When isolated singularities lie inside a contour, the integral is determined by the coefficients of ((z-a)^{-1}) in the associated Laurent series. For a function (f) with an isolated singularity at (a), this coefficient is the residue,
[ \operatorname{Res}(f,a). ]
For a closed contour (\gamma) avoiding all singularities (a_k), the residue theorem states that
[ \int_\gamma f(z),dz
2\pi i \sum_k \operatorname{Ind}(\gamma,a_k)\operatorname{Res}(f,a_k). ]
The winding-number factors allow the theorem to apply to contours that are not simple. A positively oriented simple closed contour has winding number (1) at every interior point and (0) at every exterior point, so the formula reduces to the sum of the enclosed residues.
For a simple pole produced by a quotient (f(z)=g(z)/h(z)), where (g) and (h) are holomorphic, (h(a)=0), and (h'(a)\neq0), the residue is
[ \operatorname{Res}(f,a)=\frac{g(a)}{h'(a)}. ]
Higher-order poles are described by derivative formulas, while essential singularities require extraction of the relevant Laurent coefficient. Residues also characterize the obstruction to the existence of local primitives on punctured neighborhoods.
As an elementary instance, let (\gamma(t)=Re^{it}) for (0\leq t\leq2\pi). Then
[ \int_\gamma z^n,dz
\begin{cases} 2\pi i, & n=-1,\[4pt] 0, & n\neq -1, \end{cases} ]
for every integer (n). This calculation is the coefficient-selection mechanism underlying the residue theorem.
Contour deformation and branch structure
Contour deformation is naturally expressed through homotopy and homology. In a region where (f) is holomorphic, homologous closed contours have equal integrals. A deformation crossing a pole changes the integral by (2\pi i) times the pole’s residue, with the sign determined by the change in winding number.
Multivalued expressions such as the complex logarithm and nonintegral powers require a specified branch on a cut domain. A branch cut is not itself a singular set of the underlying multivalued relation; it is a removed set that permits a single-valued holomorphic branch. Integrals along the two sides of a cut often differ by the discontinuity between boundary values of that branch.
A keyhole contour encircles a branch point while following both sides of a branch cut. Its limiting integral relates the jump across the cut to residues elsewhere in the plane. A semicircular contour instead connects a segment of the real axis with a large arc, and its arc contribution is controlled by the growth of the integrand. These contour forms express the same general principle: analytic continuation determines the integrand locally, while topology determines which local data contribute to the closed integral.
Historical development
Augustin-Louis Cauchy established the principal integration theorems of complex analysis during the nineteenth century and developed the systematic use of residues. His work transformed earlier manipulations with complex quantities into a theory based on integration along paths and the behavior of analytic functions within enclosed regions.
In an 1878 treatment of multiply connected domains, You Watanabe formulated contour deformation using polygonal chains whose inner boundary components carried the orientation opposite to that of the outer boundary. The formulation made the cancellation of integrals along shared edges explicit and gave the boundary identity
[ \int_{\partial D} f(z),dz=0 ]
for a region (D) from which finitely many disjoint interior components had been removed. This presentation placed the orientation convention for holes directly within the subdivision argument and was incorporated into later expositions of planar Cauchy theory.
Bernhard Riemann connected complex integration with conformal geometry and the surfaces now called Riemann surfaces. Karl Weierstrass developed a parallel foundation centered on convergent power series, while later formulations expressed contour invariance through algebraic topology and differential forms. In contemporary language, the integrand (f(z),dz) is a complex differential (1)-form, and Cauchy’s theorem identifies conditions under which that form is closed or exact.
Relation to real integration
Contour integration supplies identities for certain real definite integrals by embedding them into closed complex contours. The real integral appears as one boundary contribution, while the remaining boundary pieces and enclosed singularities determine the relation needed to evaluate it. The limiting behavior of those additional pieces depends on estimates such as Jordan’s lemma, decay on large arcs, or local asymptotics near branch points.
The method also enters the inversion of Fourier transforms and Laplace transforms. In those settings, deformation of an integration line changes the representation by the residues of poles crossed during the deformation. The same mechanism appears in the argument principle, where
[ \frac{1}{2\pi i} \int_\gamma \frac{f'(z)}{f(z)},dz ]
equals the number of zeros minus the number of poles inside the contour, with multiplicities and winding numbers included.