Stokes' Theorem and Applications

Stokes' theorem is the central result connecting differentiation and integration on manifolds, unifying the classical integral theorems of vector calculus into a single elegant statement.

The General Stokes Theorem

DefinitionManifold with Boundary

A smooth manifold with boundary $M$ of dimension $n$ is a second-countable Hausdorff space locally homeomorphic to open subsets of the half-space $\mathbb{H}^n = \{(x^1, \ldots, x^n) \in \mathbb{R}^n : x^n \geq 0\}$ . The boundary $\partial M$ consists of points mapping to $\{x^n = 0\}$ under charts; it is a smooth $(n-1)$ -manifold without boundary.

DefinitionInduced Orientation on the Boundary

If $M$ is an oriented $n$ -manifold with boundary, the induced orientation on $\partial M$ is determined by the convention: an ordered basis $(v_1, \ldots, v_{n-1})$ of $T_p(\partial M)$ is positively oriented if $(-\nu, v_1, \ldots, v_{n-1})$ is positively oriented in $T_p M$ , where $\nu$ is the outward-pointing normal.

Stokes' Theorem

Theorem4.3Stokes' theorem

Let $M$ be a compact oriented $n$ -manifold with boundary $\partial M$ (with induced orientation), and let $\omega$ be a smooth $(n-1)$ -form on $M$ . Then

\int_M d\omega = \int_{\partial M} \omega.

ExampleClassical special cases

Stokes' theorem recovers all the major integral theorems of vector calculus:

Fundamental Theorem of Calculus ( $n=1$ ): $\int_a^b f'(x) dx = f(b) - f(a)$ .
Green's theorem ( $n=2$ , $M \subset \mathbb{R}^2$ ): $\int_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA = \oint_{\partial D} P\,dx + Q\,dy$ .
Classical Stokes' theorem ( $n=2$ , surface in $\mathbb{R}^3$ ): $\int_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \oint_{\partial S} \mathbf{F} \cdot d\mathbf{r}$ .
Divergence theorem ( $n=3$ ): $\int_D (\nabla \cdot \mathbf{F})\,dV = \oint_{\partial D} \mathbf{F} \cdot d\mathbf{S}$ .

Consequences

RemarkClosed and exact forms

Stokes' theorem immediately implies: if $\omega = d\eta$ is exact and $M$ is a closed manifold (compact, no boundary), then $\int_M \omega = \int_M d\eta = \int_{\partial M} \eta = 0$ since $\partial M = \emptyset$ . This means integration gives a well-defined pairing between de Rham cohomology classes and homology classes.

ExampleDegree of a map

For a smooth map $f: M \to N$ between closed oriented $n$ -manifolds, Stokes' theorem shows that the degree $\deg(f) = \int_M f^*\omega / \int_N \omega$ is an integer independent of the chosen volume form $\omega$ . This is a powerful topological invariant.

RemarkStokes' theorem with corners

Stokes' theorem extends to manifolds with corners (locally modeled on $[0,\infty)^k \times \mathbb{R}^{n-k}$ ). The boundary orientation and the theorem still hold, which is essential for applications in integration over simplices and chains used in algebraic topology.