The Generalized Stokes' Theorem

This section presents the precise statement and key consequences of the generalized Stokes' theorem, the single result that unifies all of the fundamental integral theorems of vector calculus.

Precise Statement

Theorem12.3Generalized Stokes' Theorem

Let $M$ be a compact oriented smooth $n$ -manifold with boundary, and let $\omega$ be a smooth $(n-1)$ -form on $M$ . Then $\int_{\partial M} \iota^*\omega = \int_M d\omega$ where $\iota : \partial M \hookrightarrow M$ is the inclusion and $\partial M$ carries the induced orientation. If $M$ has no boundary, both sides are zero.

The theorem is ultimately a consequence of the fundamental theorem of calculus, extended to higher dimensions through the machinery of differential forms and orientations.

Theorem12.4Poincare Lemma

On a contractible open set $U \subseteq \mathbb{R}^n$ , every closed $k$ -form ( $d\omega = 0$ ) with $k \geq 1$ is exact ( $\omega = d\eta$ for some $(k-1)$ -form $\eta$ ). That is, the de Rham cohomology of a contractible space vanishes: $H^k_{dR}(U) = 0$ for $k \geq 1$ .

The proof constructs $\eta$ explicitly using a cone (homotopy) operator $K$ that satisfies $dK + Kd = \text{id}$ on forms of positive degree.

Applications to Physics

ExampleConservation laws from Stokes' theorem

If $\omega$ is a closed $(n-1)$ -form ( $d\omega = 0$ ) on an $n$ -manifold $M$ , then for any $n$ -dimensional region $E \subseteq M$ with boundary: $\int_{\partial E} \omega = \int_E d\omega = 0$ This means the "flux" of $\omega$ through any closed surface vanishes — the hallmark of a conservation law. In physics, closed forms correspond to conserved currents (charge conservation, energy conservation, etc.).

Topological Consequences

RemarkDe Rham cohomology detects topology

On non-contractible domains, closed forms need not be exact. The quotient $H^k_{dR}(M) = \ker d / \operatorname{im} d$ (closed $k$ -forms modulo exact $k$ -forms) is a topological invariant of $M$ called the $k$ -th de Rham cohomology group. By de Rham's theorem, $H^k_{dR}(M) \cong H^k(M; \mathbb{R})$ , establishing that differential-geometric data (forms) captures purely topological information (cohomology). This deep connection between analysis and topology is one of the great unifying themes in mathematics.