
Stokes' theorem relates the integral of a differential form over a manifold to the integral of its exterior derivative over the boundary.Formulated in the mid-19th century by George Stokes for hydrodynamics, the famous formula quickly became a universal tool of physics. The classical form: the circulation of a vector around a closed loop equals the flux of its curl through any surface spanning the loop: ∮_C F·dr = ∬_S (∇×F)·dS. The generalized version—the grand Stokes' theorem—states: the integral of a differential form over the boundary of a manifold equals the integral of its exterior derivative over the whole manifold. This formula elegantly unifies special cases: Green's theorem in the plane, Gauss–Ostrogradsky theorem in space, and the Kelvin–Stokes theorem itself.
The theorem owes its name to George Stokes, but its first formulation appeared in correspondence with William Thomson (1850). Stokes used it as an examination question for the prestigious Smith's Prize at Cambridge. The vector form was given by Oliver Heaviside and Josiah Gibbs in the 1880s. The most general form was provided by Élie Cartan in the early 20th century via differential forms; it was further generalized by Georges de Rham in cohomology theory.
Applied in electrodynamics (Faraday's law in integral form, Ampère's circulation law), aerodynamics (Zhukovsky's lift theorem), gravitation theory (conservation laws in GR). Limits: the manifold must be smooth and orientable; when singularities are present (e.g., line vortices), additional boundary conditions are needed. In quantum mechanics, the path integral of Feynman is an analogue, where topological effects (Berry phase) are closely related to the geometric interpretation of the theorem.
With its help, engineers calculate the lift of a wing and the thrust of a propeller, and physicists derive the law of electromagnetic induction: a change in magnetic flux creates a voltage in a loop.
The most concise expression of the fundamental theorem of calculus, ∫_a^b f'(x)dx = f(b)–f(a), is also a special case of the general Stokes' theorem, just for a one-dimensional interval.
| f''(x) | variable | Second derivative of function f at x — second derivative per metre squared |
| f(x+h) | variable | Function value at x+h — function value |
| f(x-h) | variable | Function value at x-h — function value |
| f(x) | variable | Function value at x — function value |
| h | variable | Step size — spacing metre |
| \approx | operator | Approximately equal to — approximation |




