5.2 Cauchy's integral theorem

Cauchy's integral theorem is a game-changer in complex analysis. It states that for analytic functions in simply connected domains, integrals around closed curves are zero. This powerful result simplifies calculations and leads to deeper insights about analytic functions.

The theorem's implications are far-reaching. It proves that analytic functions have antiderivatives, are infinitely differentiable, and their integrals are path-independent. These properties form the foundation for many advanced concepts in complex analysis and have applications in physics and engineering.

Cauchy's Integral Theorem

Statement and Proof for Simply Connected Domains

• Cauchy's integral theorem states that if $f(z)$ is analytic in a simply connected domain $D$ and $C$ is a simple closed contour lying in $D$, then $\oint_C f(z) dz = 0$
• The proof relies on Green's theorem, which relates a line integral around a simple closed curve $C$ to a double integral over the plane region bounded by $C$
  • To apply Green's theorem, the real and imaginary parts of $f(z)$, denoted as $u(x, y)$ and $v(x, y)$, must have continuous partial derivatives in $D$
  • Expressing $f(z)$ as $u(x, y) + iv(x, y)$ and applying Green's theorem transforms the integral $\oint_C f(z) dz$ into a double integral of the partial derivatives of $u$ and $v$ over the region enclosed by $C$
• The Cauchy-Riemann equations for $f(z)$ being analytic imply that the partial derivatives of $u$ and $v$ satisfy specific relationships
  • These relationships cause the double integral to vanish, proving the theorem
  • The Cauchy-Riemann equations are $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ and $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$

Consequences and Implications

• Analytic functions possess antiderivatives or primitive functions within their domain of analyticity
• Analytic functions are infinitely differentiable within their domain of analyticity, meaning that all higher-order derivatives exist and are themselves analytic
• Cauchy's integral theorem leads to the development of Cauchy's integral formula, which expresses the value of an analytic function at a point in terms of a contour integral around that point
• The theorem underlies the concept of conservative vector fields, as the integral of an analytic function over a closed contour is zero, indicating that the work done by a conservative force along a closed path is always zero

Applying Cauchy's Theorem to Integrals

Simplifying the Evaluation of Integrals

• Cauchy's integral theorem simplifies the evaluation of integrals of analytic functions over closed contours in simply connected domains
  • If $f(z)$ is analytic in a simply connected domain containing a closed contour $C$, the integral $\oint_C f(z) dz$ is equal to zero, regardless of the specific path of integration
  • This property allows for the deformation of the integration path to a more convenient contour without changing the value of the integral, as long as the new path lies within the domain of analyticity
• Cauchy's integral theorem can be used to prove that the integral of an analytic function over any closed contour in a simply connected domain is independent of the path, depending only on the endpoints
  • For example, if $f(z)$ is analytic in a simply connected domain $D$ and $C_1$ and $C_2$ are two different closed contours in $D$ with the same starting and ending points, then $\oint_{C_1} f(z) dz = \oint_{C_2} f(z) dz$

Examples and Applications

• Evaluating the integral $\oint_C \frac{1}{z} dz$ over the unit circle $C: |z| = 1$ oriented counterclockwise
  • Since $\frac{1}{z}$ is analytic everywhere except at $z = 0$, which lies inside the unit circle, Cauchy's integral theorem does not apply directly
  • However, we can deform the contour to a larger circle that does not enclose the origin, where $\frac{1}{z}$ is analytic, and apply Cauchy's integral theorem to conclude that the integral is zero
• Calculating the integral $\oint_C e^z dz$ over a rectangular contour $C$ with vertices at $(0, 0)$, $(2, 0)$, $(2, i)$, and $(0, i)$
  • The function $e^z$ is entire (analytic everywhere), so Cauchy's integral theorem applies
  • Regardless of the specific path chosen for $C$, as long as it lies within the domain of analyticity, the integral will be zero

Implications of Cauchy's Theorem

Antiderivatives and Infinite Differentiability

• Cauchy's integral theorem implies that analytic functions possess antiderivatives or primitive functions within their domain of analyticity
  • If $f(z)$ is analytic in a simply connected domain $D$, then there exists a function $F(z)$, called an antiderivative or primitive of $f(z)$, such that $F'(z) = f(z)$ for all $z$ in $D$
  • The existence of antiderivatives is a consequence of the path independence of integrals of analytic functions
• The theorem also implies that analytic functions are infinitely differentiable within their domain of analyticity
  • All higher-order derivatives of an analytic function exist and are themselves analytic
  • This property is known as the smoothness of analytic functions and is a stronger condition than mere differentiability

Cauchy's Integral Formula and Conservative Vector Fields

• Cauchy's integral theorem leads to the development of Cauchy's integral formula, which expresses the value of an analytic function at a point in terms of a contour integral around that point
  • Cauchy's integral formula states that if $f(z)$ is analytic in a simply connected domain $D$ and $z_0$ is a point in $D$, then $f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz$, where $C$ is any simple closed contour in $D$ that encloses $z_0$
  • This formula allows for the computation of the values of an analytic function using contour integrals, which can be easier to evaluate than the function itself
• The theorem underlies the concept of conservative vector fields, as the integral of an analytic function over a closed contour is zero
  • A vector field $\mathbf{F}(x, y) = P(x, y) \hat{i} + Q(x, y) \hat{j}$ is conservative if and only if $\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}$, which is analogous to the Cauchy-Riemann equations for analytic functions
  • The work done by a conservative force along a closed path is always zero, just as the integral of an analytic function over a closed contour vanishes

Cauchy's Theorem for Multiply Connected Domains

Extension using Homotopy

• Cauchy's integral theorem can be extended to multiply connected domains, which are domains with holes or excluded regions, using the concept of homotopy
  • Two closed contours $C_1$ and $C_2$ in a domain $D$ are said to be homotopic if one can be continuously deformed into the other without leaving $D$
  • If $f(z)$ is analytic in a multiply connected domain $D$ and $C_1$ and $C_2$ are homotopic closed contours in $D$, then $\oint_{C_1} f(z) dz = \oint_{C_2} f(z) dz$
• The extension of Cauchy's integral theorem to multiply connected domains states that if $f(z)$ is analytic in a multiply connected domain $D$ and $C$ is a closed contour in $D$ that is homotopic to a point (null-homotopic), then $\oint_C f(z) dz = 0$
  • This extension allows for the evaluation of integrals over closed contours in multiply connected domains by deforming the contour to a homotopically equivalent path that is more convenient for computation

Applications and Further Results

• The concept of homotopy and the extended Cauchy's integral theorem are crucial for developing further results in complex analysis, such as the residue theorem and its applications
  • The residue theorem relates the integral of a meromorphic function (analytic except for isolated poles) over a closed contour to the sum of the residues of the function at its poles enclosed by the contour
  • Residues are complex numbers that characterize the behavior of a meromorphic function near its poles and can be used to evaluate integrals using the residue theorem
• The extension of Cauchy's integral theorem to multiply connected domains is also essential for studying the properties of analytic functions on Riemann surfaces, which are generalized surfaces that allow for the multi-valued nature of some complex functions (logarithms, square roots)
  • Riemann surfaces are constructed by gluing together copies of the complex plane along branch cuts, creating a multiply connected domain where the extended Cauchy's integral theorem can be applied
  • The study of analytic functions on Riemann surfaces leads to important concepts such as monodromy, which describes how the values of a multi-valued function change when its argument follows a closed path around a branch point