Relationships Between the Integral Theorems

The four fundamental integral theorems of calculus form a hierarchy connected by dimension, with each theorem relating integration over a region to integration over its boundary.

The Hierarchy

Definition

The fundamental theorems of vector calculus form a dimensional ladder:

| Dimension | Theorem | Interior | Boundary | |-----------|---------|----------|----------| | 1 | FTC | $\int_a^b f'(x)\,dx$ | $f(b) - f(a)$ | | 2 | Green | $\iint_D (Q_x - P_y)\,dA$ | $\oint_{\partial D} P\,dx + Q\,dy$ | | 2 | Stokes | $\iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S}$ | $\oint_{\partial S} \mathbf{F} \cdot d\mathbf{r}$ | | 3 | Divergence | $\iiint_E \nabla \cdot \mathbf{F}\,dV$ | $\oiint_{\partial E} \mathbf{F} \cdot d\mathbf{S}$ |

Each theorem says: integrating a "derivative" over the interior equals integrating the "function" over the boundary.

Connections and Duality

Theorem12.2De Rham Complex in $\mathbb{R}^3$

The differential operators of vector calculus form an exact sequence (on contractible domains): $0 \to \mathbb{R} \xrightarrow{\text{const}} C^\infty(\mathbb{R}^3) \xrightarrow{\nabla} \mathfrak{X}(\mathbb{R}^3) \xrightarrow{\nabla \times} \mathfrak{X}(\mathbb{R}^3) \xrightarrow{\nabla \cdot} C^\infty(\mathbb{R}^3) \to 0$ Exactness means:

$\nabla f = 0 \iff f$ is constant (on connected domains)
$\nabla \times \mathbf{F} = 0 \iff \mathbf{F} = \nabla f$ (on simply connected domains)
$\nabla \cdot \mathbf{F} = 0 \iff \mathbf{F} = \nabla \times \mathbf{G}$ (on contractible domains)

ExampleHelmholtz decomposition

The Helmholtz decomposition theorem states that any sufficiently smooth vector field $\mathbf{F}$ on $\mathbb{R}^3$ (decaying at infinity) can be uniquely decomposed as $\mathbf{F} = \nabla \phi + \nabla \times \mathbf{A}$ where $\phi$ is a scalar potential (capturing the irrotational part) and $\mathbf{A}$ is a vector potential (capturing the solenoidal part). This decomposition is fundamental in electromagnetism, where $\phi$ and $\mathbf{A}$ are the electric and magnetic potentials.

RemarkFrom calculus to topology

The failure of exactness on non-simply-connected domains (e.g., curl-free fields that are not gradients on $\mathbb{R}^3 \setminus \{0\}$ ) leads to de Rham cohomology, which measures the topological complexity of the domain. This is the starting point of the profound connection between calculus and algebraic topology, where differential-geometric tools detect topological invariants.