Stokes' Theorem · aiwiki.page

Stokes’ theorem is a fundamental result connecting differentiation and integration through the boundary of a geometric region. In its classical three-dimensional form, it states that the circulation of a vector field around the boundary of an oriented surface equals the flux of the field’s curl through that surface. Its generalized form expresses the same principle for differential forms on manifolds, unifying several major theorems of calculus. (ocw.mit.edu)

Classical statement

Let $S$ be a compact, oriented, piecewise-smooth surface in Euclidean three-dimensional space, with piecewise-smooth boundary $C=\partial S$ . Let $\mathbf F$ be a vector field whose components have continuous first partial derivatives on an open neighborhood of $S$ . Then

\boxed{ \oint_{\partial S}\mathbf F\cdot d\mathbf r = \iint_S(\nabla\times\mathbf F)\cdot\mathbf n\,dS }

provided the direction of traversal of the boundary agrees with the orientation of the surface. Here $\mathbf n$ is the chosen unit normal, $dS$ is the scalar area element, and $d\mathbf r$ is the directed displacement along the boundary. The left side is a line integral; the right side is a surface integral. (ocw.mit.edu)

For $\mathbf F=(P,Q,R)$ , its curl is

\nabla\times\mathbf F = \left( \frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z}, \frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}, \frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y} \right).

Thus the theorem relates tangential behavior along a boundary to a combination of partial derivatives across its spanning surface. (ocw.mit.edu)

Orientation and geometric meaning

An orientation of a smooth surface in three-dimensional space is a continuous choice of normal direction. The induced boundary orientation follows the right-hand rule: locally, the right thumb points along the chosen normal while the fingers curl in the positive boundary direction. Equivalently, a person walking along the positive boundary, with their head pointing along the normal, has the surface on their left. Reversing the surface orientation reverses the boundary orientation and changes the sign of both integrals. (live.ocw.mit.edu)

A surface may have several boundary components. All must be included, each with its induced orientation. For example, an upward-oriented planar annulus has a counterclockwise outer boundary and a clockwise inner boundary. Omitting the inner boundary changes the theorem’s boundary integral. (ocw.mit.edu)

Geometrically, curl measures local circulation per unit area, with its normal component corresponding to circulation in the surface’s tangent plane. Stokes’ theorem adds these local contributions to obtain the circulation around the complete boundary. For a fluid velocity field, curl is called vorticity; it describes local rotational behavior rather than merely whether the streamlines appear curved. (live.ocw.mit.edu)

Example

As a direct illustration, consider

\mathbf F(x,y,z)=\left(-\frac y2,\frac x2,0\right)

and the disk $S$ of radius $a$ in the plane $z=0$ , oriented upward. Its boundary is traversed counterclockwise. Calculation gives

\nabla\times\mathbf F=(0,0,1),

\iint_S(\nabla\times\mathbf F)\cdot\mathbf n\,dS =\pi a^2.

Parametrize the boundary by

\mathbf r(t)=(a\cos t,a\sin t,0), \qquad 0\leq t\leq2\pi.

Then $\mathbf F(\mathbf r(t))\cdot\mathbf r'(t)=a^2/2$ , and therefore

\oint_{\partial S}\mathbf F\cdot d\mathbf r = \int_0^{2\pi}\frac{a^2}{2}\,dt =\pi a^2.

The independently calculated integrals agree, as the classical theorem requires. (ocw.mit.edu)

Why the theorem holds

A local proof reduces the surface formula to Green’s theorem in a parameter domain. For a sufficiently smooth parametrization $\mathbf r(u,v)$ , define

A=\mathbf F(\mathbf r)\cdot\mathbf r_u, \qquad B=\mathbf F(\mathbf r)\cdot\mathbf r_v.

The chain rule gives

\frac{\partial B}{\partial u} - \frac{\partial A}{\partial v} = (\nabla\times\mathbf F)(\mathbf r) \cdot(\mathbf r_u\times\mathbf r_v).

Applying Green’s theorem to $A\,du+B\,dv$ establishes Stokes’ theorem on the parametrized patch. (ocw.mit.edu)

For a surface assembled from consistently oriented patches, their boundary integrals can be added. Every internal edge occurs twice, with opposite traversal directions, so its contributions cancel. Only the actual boundary remains. This cancellation explains the theorem’s local-to-global structure. (live.ocw.mit.edu)

Generalized Stokes theorem

In differential geometry, the theorem is formulated using differential forms. If $M$ is a compact oriented smooth $n$ -dimensional manifold with boundary and $\omega$ is a smooth $(n-1)$ -form on $M$ , then

\boxed{ \int_M d\omega = \int_{\partial M}\iota^*\omega }

where $d\omega$ is the exterior derivative and $\iota^*\omega$ is the restriction, or pullback, of $\omega$ to the boundary. The boundary has the induced orientation, conventionally defined by placing an outward-pointing transverse vector before a positively oriented boundary basis. A version for noncompact manifolds uses compactly supported forms. (arxiv.org)

This formulation is independent of coordinates and does not require a metric. The familiar dot products, normal vectors, and curl arise when forms are represented using Euclidean geometry. In three dimensions, taking

\omega=P\,dx+Q\,dy+R\,dz

makes the integral of $\omega$ a circulation integral and the integral of $d\omega$ the flux integral of curl. (arxiv.org)

Important special cases include:

The fundamental theorem of calculus: on an interval,
$\int_a^b df=f(b)-f(a).$
The endpoints carry opposite orientations.
Green’s theorem: integrating the exterior derivative of $P\,dx+Q\,dy$ over a planar region gives its boundary circulation.
The divergence theorem: for
$\omega=P\,dy\wedge dz+Q\,dz\wedge dx+R\,dx\wedge dy,$
the form $d\omega$ is
$(\nabla\cdot\mathbf F)\,dx\wedge dy\wedge dz,$
yielding the equality between volume-integrated divergence and outward boundary flux. (ocw.mit.edu)

“Kelvin–Stokes theorem” specifically denotes the three-dimensional curl formula; “generalized Stokes theorem” denotes the manifold-and-forms statement.

Consequences and applications

Surface independence. If two admissible oriented surfaces have the same oriented boundary, the flux of $\nabla\times\mathbf F$ through either is the same, provided the field satisfies the hypotheses on both. This allows a complicated spanning surface to be replaced by a simpler one. It does not imply surface independence for an arbitrary vector field’s flux. (ocw.mit.edu)

Electromagnetism. Stokes’ theorem connects the integral and differential versions of the curl equations in Maxwell’s equations. For a fixed loop and fixed spanning surface, Faraday’s law of induction in SI units gives

\oint_{\partial S}\mathbf E\cdot d\mathbf r = -\frac{d}{dt}\iint_S\mathbf B\cdot\mathbf n\,dS.

Applying Stokes’ theorem and differentiating under the integral, under suitable regularity assumptions, yields

\nabla\times\mathbf E = -\frac{\partial\mathbf B}{\partial t}.

The theorem establishes equivalence between these mathematical formulations; the physical law itself is empirical. (live.ocw.mit.edu)

Topology. A differential form is called exact if it equals $d\eta$ , and closed if its exterior derivative vanishes. Stokes’ theorem implies that exact forms integrate to zero over compact oriented manifolds without boundary. This connects integration to topology and helps explain why global properties of a domain matter when seeking potentials. (arxiv.org)

Hypotheses and limitations

The classical formula requires an orientable surface and sufficient regularity of the field on the entire surface, not merely along its boundary. A nonorientable surface, such as a Möbius strip, does not possess the global normal orientation required by this formulation. Singularities cannot simply be ignored. (live.ocw.mit.edu)

In particular, zero curl does not always imply zero circulation around every closed curve. A standard example is

\mathbf F(x,y,z)= \left( -\frac{y}{x^2+y^2}, \frac{x}{x^2+y^2}, 0 \right),

defined away from the $z$ -axis. It has zero curl throughout its domain, but circulation $2\pi$ around the positively oriented unit circle in the $xy$ -plane. The usual spanning disk meets the excluded axis, where the field is undefined, so Stokes’ theorem cannot be applied to that disk. On a simply connected open domain, a continuously differentiable curl-free field does admit a scalar potential. (ocw.mit.edu)

Historical background

The classical theorem bears the name of George Gabriel Stokes, who included it in the Cambridge Smith’s Prize examination of 1854. William Thomson, later Lord Kelvin, had communicated the result to Stokes. Its subsequent importance in electromagnetic theory helped establish the theorem as a standard component of vector calculus. The modern differential-form formulation encompasses a broader principle than the original three-dimensional identity. (maths.cam.ac.uk)

References

Part C: Line Integrals and Stokes' Theoremocw.mit.edu
V13. Stokes' Theoremocw.mit.edu
V15. Relation to Physicsocw.mit.edu
Calculus, Chapter 15: Vector Calculuslive.ocw.mit.edu
Lecture Notes on Differential Formsarxiv.org
Analysis II, Lecture 38ocw.mit.edu
Session 95: Stokes' Theorem and Surface Independenceocw.mit.edu
Session 94: Simply Connected Regions; Topologyocw.mit.edu
A History of Mathematics in Cambridgemaths.cam.ac.uk