Kelvin–Stokes theorem

Kelvin–Stokes theorem
Name	Kelvin–Stokes theorem
Field	Mathematics
Statement	Relates surface integral of curl to line integral around boundary
Named after	Lord Kelvin; Sir George Stokes

Kelvin–Stokes theorem is a fundamental result in vector calculus connecting a line integral of a vector field around a closed curve to a surface integral of the curl of that field over a surface bounded by the curve. It provides a bridge between local rotational behavior and global circulation, underpinning key results in Carl Friedrich Gauss, Leonhard Euler, Jean le Rond d'Alembert, Pierre-Simon Laplace, Joseph-Louis Lagrange, Augustin-Louis Cauchy, Bernhard Riemann, Simeon Denis Poisson, George Green, Siméon Denis Poisson, James Clerk Maxwell, Michael Faraday, André-Marie Ampère, William Rowan Hamilton, Évariste Galois, Niels Henrik Abel, Peter Gustav Lejeune Dirichlet, Richard Feynman, Enrico Fermi, David Hilbert, Emmy Noether, Henri Poincaré, Sophus Lie, Élie Cartan, Hermann Weyl, John von Neumann, Kurt Gödel, Norbert Wiener, Alan Turing, Alan Mathison Turing, Srinivasa Ramanujan, Andrey Kolmogorov, Lev Landau, Paul Dirac, Erwin Schrödinger, Felix Klein, G. H. Hardy, Jacques Hadamard, Carl Gustav Jacob Jacobi, Joseph Liouville, Émile Picard, Alexander Grothendieck, Jean-Pierre Serre, John Milnor, Shing-Tung Yau, Terence Tao, Andrew Wiles, Grigori Perelman, Alexander Fleming, Wilhelm Röntgen, Marie Curie, Ada Lovelace, Florence Nightingale, Louis Pasteur, Gregor Mendel.

Statement

Let S be an oriented smooth surface with oriented boundary curve C in three-dimensional space and let F be a continuously differentiable vector field defined on an open set containing S. Then the circulation of F around C equals the surface integral of the curl of F over S: ∮_C F · dr = ∬_S (∇×F) · n dS. Historical attributions connect the theorem to William Thomson, 1st Baron Kelvin and George Gabriel Stokes, though precursors appear in work by Carl Friedrich Gauss and George Green; formalization benefited from contributions by Henri Poincaré and Élie Cartan.

Intuition and physical interpretation

Physically the theorem expresses conservation of rotational flux: the total circulation around a boundary equals the sum of infinitesimal rotations across the surface. In James Clerk Maxwell's electromagnetic theory, the theorem underlies Faraday's law relating changing magnetic flux through a loop to induced electromotive force studied by Michael Faraday and formalized by André-Marie Ampère. In fluid dynamics, vorticity introduced by Claude-Louis Navier and George Gabriel Stokes is the curl of velocity; the theorem links net circulation around a curve to vorticity flux across a surface, a concept used in work by Ludwig Prandtl, Osborne Reynolds, Andrey Kolmogorov, Horace Lamb, and Henri Bénard. In classical mechanics and the study of rigid body rotation, ideas related to the theorem appear in analyses by Leonhard Euler and Joseph-Louis Lagrange.

Proofs

Proofs proceed by partitioning S into small patches and applying the fundamental theorem of calculus to each, canceling internal edges to leave only the boundary contribution. Modern differential-forms proofs use the exterior derivative d and Stokes' theorem on manifolds developed by Élie Cartan and generalized in the language of Hermann Weyl and André Weil; this viewpoint connects to de Rham cohomology introduced by Georges de Rham. Vector calculus proofs can be found in expositions by George Green, Lord Kelvin, George Stokes, and later textbooks by Walter Rudin, Tom Apostol, Michael Spivak, Marsden and Tromba, Barbara O'Neill, Lawrence C. Evans, Gilbert Strang, and David V. Widder. Rigorous manifold proofs rely on charts and partitions of unity attributed to Henri Cartan and the formalism of Jean Leray and Leray–Schauder theory in partial differential equations, with measure-theoretic underpinnings from Henri Lebesgue.

Generalizations and related theorems

General form is the generalized Stokes theorem on oriented manifolds: ∫_∂M ω = ∫_M dω, a statement central to differential topology by Élie Cartan, Henri Poincaré, and George de Rham. Related results include the divergence theorem associated with Carl Friedrich Gauss and sometimes called Gauss–Ostrogradsky theorem related to Siméon Denis Poisson; Green's theorem in the plane credited to George Green; and Hodge theory developed by W.V.D. Hodge and Salomon Bochner. The theorem interfaces with index theorems such as the Atiyah–Singer index theorem proven by Michael Atiyah and Isadore Singer and with cohomological frameworks by Jean-Pierre Serre and Alexander Grothendieck. Extensions to manifolds with corners, distributions, and currents build on work by Laurent Schwartz, Henri Cartan, and De Rham; stochastic analogs relate to stochastic calculus by Kiyosi Itô and Norbert Wiener.

Applications

Applied mathematics and theoretical physics exploit the theorem across electromagnetism (Maxwell's equations studied by James Clerk Maxwell), fluid mechanics (vorticity analyses by Ludwig Prandtl and Osborne Reynolds), elasticity (continuum mechanics contributions by Augustin-Louis Cauchy and Siméon Denis Poisson), and general relativity where differential-forms language is used by Albert Einstein and Marcel Grossmann. Computational applications appear in finite element methods and computational electromagnetics developed by Felix Klein influence and modern work by J. H. Wilkinson and Ivo Babuška. In topology and geometry it is used in proofs by Henri Poincaré and constructions in Algebraic Topology by Solomon Lefschetz and Samuel Eilenberg.

Examples and computations

Classic examples include computing circulation of the field F(x,y,z) = (-y, x, 0) around a unit circle, illustrating constant curl as in elementary problems found in texts by G. H. Hardy and E.T. Whittaker. Surface choices that share the same boundary (e.g., disk and cap) give identical line integrals when curl is divergence-free on the intervening region, a technique used in computations in James Clerk Maxwell's electromagnetic problems and in fluid dynamics examples of Horace Lamb. More advanced examples include applications to holonomy around loops in connections studied by Élie Cartan and Hermann Weyl, and computations of flux of curl in geophysical fluid dynamics in works by Vilhelm Bjerknes and Lewis Fry Richardson.

Category:Theorems in vector calculus