A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
The generalized Stokes' theorem states that for any (n-1)-form ω on a compact oriented n-manifold M with boundary, ∫_M dω = ∫_{∂M} ω. This single equation subsumes Green's theorem, the divergence theorem, and the classical Stokes theorem as special cases. It is the deepest relationship between differentiation (the exterior derivative d) and integration on manifolds, and it is the foundation for de Rham cohomology and many physical conservation laws.
The generalized Stokes' theorem is a single equation that encodes the deepest relationship in calculus: ∫_M dω = ∫_{∂M} ω. Here M is a compact oriented n-manifold with boundary ∂M (inheriting the induced orientation), ω is a smooth (n-1)-form on M, and dω is its exterior derivative. The theorem says: integrating a derivative over a region equals integrating the original object over the boundary. This is the manifold analogue of the fundamental theorem of calculus, and it subsumes every classical integral theorem as a special case.
The specializations are: (1) M = [a,b] gives the fundamental theorem of calculus. (2) M = region in ℝ² gives Green's theorem. (3) M = surface in ℝ³ with boundary curve gives the classical Stokes theorem. (4) M = solid region in ℝ³ gives the divergence theorem. The fact that these four theorems are instances of a single statement is one of the great unifications in mathematics. The unification is made possible by the language of differential forms and the exterior derivative — without this language, the four theorems look formally different.
The proof of Stokes' theorem uses a partition of unity to reduce to integrals over coordinate charts, where it becomes a computation with iterated integrals and the fundamental theorem of calculus in one variable. The orientability of M and the induced orientation on ∂M ensure all the signs work out. The proof is conceptually simple but notationally involved — the real content is that the exterior derivative and the boundary operator are "adjoint" to each other with respect to integration.
The consequences of Stokes' theorem pervade mathematics and physics. In topology, it implies that exact forms integrate to zero over cycles, founding de Rham cohomology. In physics, conservation laws follow from Stokes: the integral form of Maxwell's equations, the conservation of charge, and the Gauss law are all instances. The Gauss-Bonnet theorem (connecting curvature to topology) is proved via a sophisticated application of Stokes' theorem. In complex analysis, Cauchy's theorem is Stokes' theorem for holomorphic 1-forms. The theorem is the cornerstone connecting local differential information to global integral and topological information.