Curl & Stokes' Theorem

⚡ Key Takeaways

Stokes' Theorem equates the circulation of a vector field around a closed curve to the flux of its curl through any surface bounded by that curve: $\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_S (\nabla\times\mathbf{F})\cdot d\mathbf{S}$ . In words: the net "swirl" of a field over a surface equals the total circulation around its rim. Applies to: electromagnetism, fluid dynamics, differential geometry, any oriented surface with a piecewise-smooth boundary. Who/when: stated by William Thomson (Lord Kelvin) in 1850, popularized as an exam question by George Stokes at Cambridge in 1854.

💡 The Core Insight

The curl $\nabla\times\mathbf{F}$ measures the infinitesimal circulation per unit area at a point — imagine a tiny paddlewheel placed in the field. Stokes' Theorem says these microscopic circulations, when summed (integrated) over a surface, do not cancel only along the outer boundary: every interior edge is shared by two adjacent cells with opposite orientations, so their contributions annihilate. What survives is the circulation around the rim. This is the same telescoping cancellation that powers all generalized Stokes-type theorems.

DefinitionCurl of a Vector Field

For a vector field $\mathbf{F} = (P, Q, R)$ with continuously differentiable components, the curl is the vector field

1

\quad \nabla\times\mathbf{F} = \left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z}\right)\mathbf{i} + \left(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}\right)\mathbf{j} + \left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\mathbf{k}

Derivation hint: expand the formal determinant $\nabla\times\mathbf{F} = \det\begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\ \partial_x&\partial_y&\partial_z\\ P&Q&R\end{vmatrix}$ along the top row. Here $\nabla = (\partial_x, \partial_y, \partial_z)$ is the del operator. The curl is itself a vector; its direction is the axis of maximal rotation (by the right-hand rule) and its magnitude is twice the local angular velocity of an infinitesimal fluid element.

DefinitionCirculation and Flux

The circulation of $\mathbf{F}$ around a closed curve $C$ is the line integral

2

\quad \Gamma = \oint_C \mathbf{F}\cdot d\mathbf{r} = \oint_C (P\,dx + Q\,dy + R\,dz)

Derivation hint: parametrize $C$ by $\mathbf{r}(t)$ , $a\le t\le b$ , so $d\mathbf{r} = \mathbf{r}'(t)\,dt$ and the integrand becomes $\mathbf{F}(\mathbf{r}(t))\cdot\mathbf{r}'(t)\,dt$ . The flux of the curl through an oriented surface $S$ with unit normal $\hat{\mathbf{n}}$ is

3

\quad \Phi = \iint_S (\nabla\times\mathbf{F})\cdot d\mathbf{S} = \iint_S (\nabla\times\mathbf{F})\cdot\hat{\mathbf{n}}\,dS

Derivation hint: $d\mathbf{S} = \hat{\mathbf{n}}\,dS$ ; for a parametrized surface $\mathbf{r}(u,v)$ , $d\mathbf{S} = (\mathbf{r}_u\times\mathbf{r}_v)\,du\,dv$ .

TheoremStokes' Theorem

Let $S$ be a piecewise-smooth oriented surface in $\mathbb{R}^3$ bounded by a piecewise-smooth, simple, closed curve $\partial S$ with the induced (right-hand-rule) orientation. Let $\mathbf{F}$ be a vector field whose components have continuous partial derivatives on an open region containing $S$ . Then

4

\quad \oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_S (\nabla\times\mathbf{F})\cdot d\mathbf{S}

Derivation hint: reduces to <a class="wiki-link" href="/wiki/ndli-iit-kgp-ma10002-mathematics-ii-greens-theorem">Green's Theorem</a> when $S$ is flat in the $xy$ -plane; the general case follows by pulling $S$ back to a parameter domain.

Orientation convention: if you walk along $\partial S$ with your head pointing in the direction of $\hat{\mathbf{n}}$ , the surface $S$ lies on your left. Equivalently, curl the fingers of your right hand along $\partial S$ ; the thumb gives $\hat{\mathbf{n}}$ .

Figure

Stokes' Theorem: circulation around the rim equals flux of curl through the cap

ProofFrom Green's Theorem to the General Surface

We prove the theorem by reducing to Green's Theorem and then assembling the general case.

Step 1 — Flat case. Suppose $S$ lies in the $xy$ -plane with upward normal $\hat{\mathbf{n}}=\mathbf{k}$ , and $\mathbf{F}=(P,Q,0)$ . Then $(\nabla\times\mathbf{F})\cdot\mathbf{k} = Q_x - P_y$ , and

5

\quad \iint_S (Q_x - P_y)\,dA = \oint_{\partial S}(P\,dx + Q\,dy)

Derivation hint: this is exactly the circulation form of Green's Theorem.

Step 2 — Parametrized surface. Let $\mathbf{r}(u,v)$ , $(u,v)\in D$ , parametrize $S$ with $\partial D$ mapping to $\partial S$ . The line integral pulls back:

6

\quad \oint_{\partial S}\mathbf{F}\cdot d\mathbf{r} = \oint_{\partial D}\Big(\mathbf{F}\cdot\mathbf{r}_u\Big)\,du + \Big(\mathbf{F}\cdot\mathbf{r}_v\Big)\,dv

Derivation hint: along $\partial D$ , $d\mathbf{r} = \mathbf{r}_u\,du + \mathbf{r}_v\,dv$ ; substitute into $\mathbf{F}\cdot d\mathbf{r}$ .

Step 3 — Apply Green in the parameter plane. Set $\tilde P = \mathbf{F}\cdot\mathbf{r}_u$ , $\tilde Q = \mathbf{F}\cdot\mathbf{r}_v$ . Green's Theorem in $D$ gives $\oint_{\partial D}\tilde P\,du + \tilde Q\,dv = \iint_D (\tilde Q_u - \tilde P_v)\,du\,dv$ . Computing $\tilde Q_u - \tilde P_v$ by the product and chain rules, the mixed second-derivative terms involving $\mathbf{r}_{uv}$ cancel by equality of mixed partials, leaving

7

\quad \tilde Q_u - \tilde P_v = (\nabla\times\mathbf{F})\cdot(\mathbf{r}_u\times\mathbf{r}_v)

Derivation hint: expand $\partial_u(\mathbf{F}\cdot\mathbf{r}_v) - \partial_v(\mathbf{F}\cdot\mathbf{r}_u)$ ; the surviving terms are first derivatives of $\mathbf{F}$ contracted against $\mathbf{r}_u\times\mathbf{r}_v$ .

Step 4 — Recognize the flux. Since $d\mathbf{S} = (\mathbf{r}_u\times\mathbf{r}_v)\,du\,dv$ ,

8

\quad \iint_D (\nabla\times\mathbf{F})\cdot(\mathbf{r}_u\times\mathbf{r}_v)\,du\,dv = \iint_S(\nabla\times\mathbf{F})\cdot d\mathbf{S}

Derivation hint: substitute the surface-element formula directly. Combining Steps 2–4 yields $\oint_{\partial S}\mathbf{F}\cdot d\mathbf{r} = \iint_S(\nabla\times\mathbf{F})\cdot d\mathbf{S}$ . General surfaces are decomposed into such patches; internal edges cancel pairwise. $\blacksquare$

∎

GG

George Gabriel Stokes

1819–1903

Stokes was Lucasian Professor of Mathematics at Cambridge for over fifty years. He did not discover "his" theorem — Lord Kelvin communicated it to him in a letter of July 1850. Stokes' lasting contribution was pedagogical: he set the identity as a problem on the Smith's Prize Examination in February 1854, ensuring generations of physicists (including James Clerk Maxwell, who sat the exam) encountered it. Stokes himself made monumental contributions to fluid dynamics (the Navier–Stokes equations), optics (fluorescence, Stokes shift), and the theory of light. The naming is one of mathematics' famous historical accidents.

🧠 Intuition

Picture a surface $S$ tiled into tiny squares. In each square, the curl gives the local circulation per unit area. Now sum the circulations around the boundaries of all these little squares. Every interior edge is shared by exactly two squares, traversed in opposite directions — so those contributions cancel exactly. The only edges not cancelled are those on the outer rim $\partial S$ . Therefore the total interior swirl (the flux of curl) must equal the leftover boundary circulation. This is the discrete heart of the theorem; refining the tiles to zero size makes it exact. A second intuition: the curl points along the axis a paddlewheel would spin about, and its length is the spin rate. Flux of curl counts how much "spin-axis" pokes through $S$ . The theorem says that total is fixed by what the flow does along the rim — the interior detail is irrelevant.

ExampleHemisphere with a Rotational Field

Given: $\mathbf{F} = (-y, x, z)$ , and $S$ is the upper unit hemisphere $x^2+y^2+z^2=1$ , $z\ge 0$ , oriented with outward (upward) normal. Compute $\iint_S(\nabla\times\mathbf{F})\cdot d\mathbf{S}$ .

Step 1 — Use Stokes to convert to a line integral. The boundary $\partial S$ is the unit circle $x^2+y^2=1$ in the plane $z=0$ , oriented counterclockwise (viewed from above).

Step 2 — Parametrize the boundary. $\mathbf{r}(t)=(\cos t,\sin t, 0)$ , $0\le t\le 2\pi$ , so $d\mathbf{r}=(-\sin t,\cos t,0)\,dt$ .

Step 3 — Evaluate $\mathbf{F}$ on $\partial S$ . $\mathbf{F}=(-\sin t,\cos t,0)$ .

Step 4 — Dot and integrate.

\mathbf{F}\cdot d\mathbf{r} = (\sin^2 t + \cos^2 t)\,dt = dt.

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

Check: $\nabla\times\mathbf{F}=(0,0,2)$ ; the flat disk of radius 1 has flux $\iint 2\,dA = 2\cdot\pi = 2\pi$ . The hemisphere gives the same value — surface independence confirmed.

\boxed{\iint_S(\nabla\times\mathbf{F})\cdot d\mathbf{S} = 2\pi}

ExampleTriangle Boundary, Direct Line Integral Avoided

Given: $\mathbf{F}=(y^2, x, z^2)$ . $C$ is the triangle with vertices $(0,0,0)$ , $(1,0,0)$ , $(0,1,0)$ oriented counterclockwise in the $xy$ -plane. Compute $\oint_C\mathbf{F}\cdot d\mathbf{r}$ .

Step 1 — Choose surface $S$ . The flat triangular region $T$ in $z=0$ , normal $\hat{\mathbf{n}}=\mathbf{k}$ .

Step 2 — Curl.

\nabla\times\mathbf{F}=\big(\partial_y z^2 - \partial_z x,\ \partial_z y^2 - \partial_x z^2,\ \partial_x x - \partial_y y^2\big) = (0,\ 0,\ 1 - 2y).

Step 3 — Flux through $T$ . $(\nabla\times\mathbf{F})\cdot\mathbf{k} = 1-2y$ . The region: $0\le x \le 1-y$ , $0\le y\le 1$ .

\iint_T (1-2y)\,dA = \int_0^1\!\!\int_0^{1-y}(1-2y)\,dx\,dy = \int_0^1 (1-2y)(1-y)\,dy.

Step 4 — Integrate.

\int_0^1 (1 - 3y + 2y^2)\,dy = \Big[y - \tfrac{3}{2}y^2 + \tfrac{2}{3}y^3\Big]_0^1 = 1 - \tfrac{3}{2} + \tfrac{2}{3} = \tfrac{1}{6}.

\boxed{\oint_C\mathbf{F}\cdot d\mathbf{r} = \tfrac{1}{6}}

⚠️ Orientation Must Match

The most common error is mismatched orientation between $\partial S$ and $\hat{\mathbf{n}}$ . If you reverse the surface normal but keep the same boundary orientation, the answer flips sign. Always verify with the right-hand rule: fingers curl along $\partial S$ , thumb gives $\hat{\mathbf{n}}$ . A second pitfall: Stokes' Theorem requires $\mathbf{F}$ to be $C^1$ on all of $S$ — a singularity anywhere on the chosen surface invalidates the equality, even if the boundary is fine.

CounterexampleCurl-Free but Nonzero Circulation

Consider the "vortex" field $\mathbf{F} = \left(\dfrac{-y}{x^2+y^2}, \dfrac{x}{x^2+y^2}, 0\right)$ . A direct computation gives $\nabla\times\mathbf{F}=\mathbf{0}$ everywhere it is defined. Yet around the unit circle,

\oint_C\mathbf{F}\cdot d\mathbf{r} = 2\pi \ne 0.

Stokes' Theorem is not violated: every surface spanning the unit circle must pass through the $z$ -axis, where $\mathbf{F}$ is undefined (the curl has a delta-function singularity there). The hypothesis " $\mathbf{F}$ is $C^1$ on $S$ " fails. This example shows circulation can be "trapped" by a hole — the seed of De Rham Cohomology.

connection

Stokes' Theorem sits at the center of a web of results. Green's Theorem is its flat, two-dimensional special case (and supplies the proof). The Divergence Theorem is its sibling, relating flux through a closed surface to a volume integral of divergence. All three are unified by the Generalized Stokes Theorem for differential forms: $\int_M d\omega = \int_{\partial M}\omega$ . The vanishing identity $\nabla\cdot(\nabla\times\mathbf{F})=0$ explains surface independence, and connects to De Rham Cohomology — exact circulation depends only on the boundary's homology class. In physics, Stokes' Theorem converts Maxwell's integral and differential forms into one another via Maxwell's Equations.

🔬 Where this appears

⏳ History

- 1760s–1780s — Lagrange and others develop line and surface integrals in the study of mechanics and potential theory.

- 1828 — George Green publishes his Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism, introducing Green's Theorem.

- 1831 — Faraday discovers electromagnetic induction, motivating circulation–flux relations physically.

- July 1850 — William Thomson (Lord Kelvin) states the curl theorem in a letter to Stokes.

- February 1854 — Stokes sets the theorem as Question 8 on the Smith's Prize Examination at Cambridge; James Clerk Maxwell is among the candidates.

- 1861–1873 — Maxwell employs the theorem extensively in his treatment of electromagnetism, embedding it in A Treatise on Electricity and Magnetism.

- 1880s–1890s — Heaviside and Gibbs cast the result in modern vector-calculus notation with

\nabla\times

.

- 1899 — Élie Cartan develops the exterior calculus of differential forms.

- 1930s–1940s — Cartan and Georges de Rham complete the Generalized Stokes Theorem

\int_M d\omega = \int_{\partial M}\omega

, unifying all classical integral theorems.

open-problem

Stokes' Theorem is fully proven for smooth manifolds with boundary, but its boundaries (literal and figurative) remain rich. Regularity: the classical statement requires $C^1$ fields and piecewise-smooth surfaces; extending to rough/fractal boundaries and to currents (in the sense of geometric measure theory) is the domain of Federer–Fleming theory and is technically delicate. Topology: when surfaces have holes or are non-orientable (e.g., the Möbius band), the naïve theorem fails — orientability is essential, and the failure is measured by De Rham Cohomology and homology. Singular fields: as the vortex counterexample shows, isolated singularities act like distributional sources; making this rigorous leads to currents and the theory of distributions. Whether the cleanest formulation lives in the smooth category, the PL category, or geometric measure theory depends on the application, and the interplay remains an active interface between analysis and topology.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also