Stokes' theorem

Stokes' theorem,^[1] also known as the Kelvin–Stokes theorem^[2][3] after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem,^[4] is a theorem in vector calculus on ${\displaystyle \mathbb {R} ^{3}}$. Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence:

The line integral of a vector field over a loop is equal to the surface integral of its curl over the enclosed surface.

An illustration of Stokes' theorem, with surface Σ, its boundary ∂Σ and the normal vector n. The direction of positive circulation of the bounding contour ∂Σ, and the direction n of positive flux through the surface Σ, are related by a right-hand-rule (i.e., the right hand the fingers circulate along ∂Σ and the thumb is directed along n).

Stokes' theorem is a special case of the generalized Stokes theorem.^[5][6] In particular, a vector field on ${\displaystyle \mathbb {R} ^{3}}$ can be considered as a 1-form in which case its curl is its exterior derivative, a 2-form.

Theorem

Let ${\displaystyle \Sigma }$ be a smooth oriented surface in ${\displaystyle \mathbb {R} ^{3}}$ with boundary ${\displaystyle \partial \Sigma \equiv \Gamma }$. If a vector field ${\displaystyle \mathbf {F} (x,y,z)=(F_{x}(x,y,z),F_{y}(x,y,z),F_{z}(x,y,z))}$ is defined and has continuous first order partial derivatives in a region containing ${\displaystyle \Sigma }$, then $${\displaystyle \iint _{\Sigma }(\nabla \times \mathbf {F} )\cdot \mathrm {d} \mathbf {\Sigma } =\oint _{\partial \Sigma }\mathbf {F} \cdot \mathrm {d} \mathbf {\Gamma } .}$$ More explicitly, the equality says that $${\displaystyle {\begin{aligned}&\iint _{\Sigma }\left(\left({\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\right)\,\mathrm {d} y\,\mathrm {d} z+\left({\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\right)\,\mathrm {d} z\,\mathrm {d} x+\left({\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\right)\,\mathrm {d} x\,\mathrm {d} y\right)\\&=\oint _{\partial \Sigma }{\Bigl (}F_{x}\,\mathrm {d} x+F_{y}\,\mathrm {d} y+F_{z}\,\mathrm {d} z{\Bigr )}.\end{aligned}}}$$

The main challenge in a precise statement of Stokes' theorem is in defining the notion of a boundary. Surfaces such as the Koch snowflake, for example, are well-known not to exhibit a Riemann-integrable boundary, and the notion of surface measure in Lebesgue theory cannot be defined for a non-Lipschitz surface. One (advanced) technique is to pass to a weak formulation and then apply the machinery of geometric measure theory; for that approach see the coarea formula. In this article, we instead use a more elementary definition, based on the fact that a boundary can be discerned for full-dimensional subsets of ${\displaystyle \mathbb {R} ^{2}}$.

A more detailed statement will be given for subsequent discussions. Let ${\displaystyle \gamma$ :[a,b]\to \mathbb {R} ^{2}} be a piecewise smooth Jordan plane curve. The Jordan curve theorem implies that ${\displaystyle \gamma }$ divides ${\displaystyle \mathbb {R} ^{2}}$ into two components, a compact one and another that is non-compact. Let ${\displaystyle D}$ denote the compact part; then ${\displaystyle D}$ is bounded by ${\displaystyle \gamma }$. It now suffices to transfer this notion of boundary along a continuous map to our surface in ${\displaystyle \mathbb {R} ^{3}}$. But we already have such a map: the parametrization of ${\displaystyle \Sigma }$.

Suppose ${\displaystyle \psi :D\to \mathbb {R} ^{3}}$ is piecewise smooth at the neighborhood of ${\displaystyle D}$, with ${\displaystyle \Sigma =\psi (D)}$.^{[note 1]} If ${\displaystyle \Gamma }$ is the space curve defined by ${\displaystyle \Gamma (t)=\psi (\gamma (t))}$^{[note 2]} then we call ${\displaystyle \Gamma }$ the boundary of ${\displaystyle \Sigma }$, written ${\displaystyle \partial \Sigma }$.

With the above notation, if ${\displaystyle \mathbf {F} }$ is any smooth vector field on ${\displaystyle \mathbb {R} ^{3}}$, then^[7][8]$${\displaystyle \oint _{\partial \Sigma }\mathbf {F} \,\cdot \,\mathrm {d} {\mathbf {\Gamma } }=\iint _{\Sigma }\nabla \times \mathbf {F} \,\cdot \,\mathrm {d} \mathbf {\Sigma } .}$$

Here, the "${\displaystyle \cdot }$" represents the dot product in ${\displaystyle \mathbb {R} ^{3}}$.

Special case of a more general theorem

Stokes' theorem can be viewed as a special case of the following identity:^[9] $${\displaystyle \oint _{\partial \Sigma }(\mathbf {F} \,\cdot \,\mathrm {d} {\mathbf {\Gamma } })\,\mathbf {g} =\iint _{\Sigma }\left[\mathrm {d} \mathbf {\Sigma } \cdot \left(\nabla \times \mathbf {F} -\mathbf {F} \times \nabla \right)\right]\mathbf {g} ,}$$ where ${\displaystyle \mathbf {g} }$ is any smooth vector or scalar field in ${\displaystyle \mathbb {R} ^{3}}$. When ${\displaystyle \mathbf {g} }$ is a uniform scalar field, the standard Stokes' theorem is recovered.

Proof

The proof of the theorem consists of 4 steps. We assume Green's theorem, so what is of concern is how to boil down the three-dimensional complicated problem (Stokes' theorem) to a two-dimensional rudimentary problem (Green's theorem).^[10] When proving this theorem, mathematicians normally deduce it as a special case of a more general result, which is stated in terms of differential forms, and proved using more sophisticated machinery. While powerful, these techniques require substantial background, so the proof below avoids them, and does not presuppose any knowledge beyond a familiarity with basic vector calculus and linear algebra.^[8] At the end of this section, a short alternative proof of Stokes' theorem is given, as a corollary of the generalized Stokes' theorem.

Elementary proof

First step of the elementary proof (parametrization of integral)

As in § Theorem, we reduce the dimension by using the natural parametrization of the surface. Let ψ and γ be as in that section, and note that by change of variables $${\displaystyle \oint _{\partial \Sigma }{\mathbf {F} (\mathbf {x} )\cdot \,\mathrm {d} \mathbf {\Gamma } }=\oint _{\gamma }{\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {\gamma } ))\cdot \,\mathrm {d} {\boldsymbol {\psi }}(\mathbf {\gamma } )}=\oint _{\gamma }{\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {y} ))\cdot J_{\mathbf {y} }({\boldsymbol {\psi }})\,\mathrm {d} \gamma }}$$ where J_yψ stands for the Jacobian matrix of ψ at y = γ(t).

Now let {e_u, e_v} be an orthonormal basis in the coordinate directions of R².^{[note 3]}

Recognizing that the columns of J_yψ are precisely the partial derivatives of ψ at y, we can expand the previous equation in coordinates as $${\displaystyle {\begin{aligned}\oint _{\partial \Sigma }{\mathbf {F} (\mathbf {x} )\cdot \,\mathrm {d} \mathbf {\Gamma } }&=\oint _{\gamma }{\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {y} ))J_{\mathbf {y} }({\boldsymbol {\psi }})\mathbf {e} _{u}(\mathbf {e} _{u}\cdot \,\mathrm {d} \mathbf {y} )+\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {y} ))J_{\mathbf {y} }({\boldsymbol {\psi }})\mathbf {e} _{v}(\mathbf {e} _{v}\cdot \,\mathrm {d} \mathbf {y} )}\\&=\oint _{\gamma }{\left(\left(\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {y} ))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}(\mathbf {y} )\right)\mathbf {e} _{u}+\left(\mathbf {F} ({\boldsymbol {\psi }}(\mathbf {y} ))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}(\mathbf {y} )\right)\mathbf {e} _{v}\right)\cdot \,\mathrm {d} \mathbf {y} }\end{aligned}}}$$

Second step in the elementary proof (defining the pullback)

The previous step suggests we define the function $${\displaystyle \mathbf {P} (u,v)=\left(\mathbf {F} ({\boldsymbol {\psi }}(u,v))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}(u,v)\right)\mathbf {e} _{u}+\left(\mathbf {F} ({\boldsymbol {\psi }}(u,v))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}(u,v)\right)\mathbf {e} _{v}}$$

Now, if the scalar value functions ${\displaystyle P_{u}}$ and ${\displaystyle P_{v}}$ are defined as follows, $${\displaystyle {P_{u}}(u,v)=\left(\mathbf {F} ({\boldsymbol {\psi }}(u,v))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}(u,v)\right)}$$ $${\displaystyle {P_{v}}(u,v)=\left(\mathbf {F} ({\boldsymbol {\psi }}(u,v))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}(u,v)\right)}$$ then, $${\displaystyle \mathbf {P} (u,v)={P_{u}}(u,v)\mathbf {e} _{u}+{P_{v}}(u,v)\mathbf {e} _{v}.}$$

This is the pullback of F along ψ, and, by the above, it satisfies $${\displaystyle \oint _{\partial \Sigma }{\mathbf {F} (\mathbf {x} )\cdot \,\mathrm {d} \mathbf {l} }=\oint _{\gamma }{\mathbf {P} (\mathbf {y} )\cdot \,\mathrm {d} \mathbf {l} }=\oint _{\gamma }{({P_{u}}(u,v)\mathbf {e} _{u}+{P_{v}}(u,v)\mathbf {e} _{v})\cdot \,\mathrm {d} \mathbf {l} }}$$

We have successfully reduced one side of Stokes' theorem to a 2-dimensional formula; we now turn to the other side.

Third step of the elementary proof (second equation)

First, calculate the partial derivatives appearing in Green's theorem, via the product rule: $${\displaystyle {\begin{aligned}{\frac {\partial P_{u}}{\partial v}}&={\frac {\partial (\mathbf {F} \circ {\boldsymbol {\psi }})}{\partial v}}\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}+(\mathbf {F} \circ {\boldsymbol {\psi }})\cdot {\frac {\partial ^{2}{\boldsymbol {\psi }}}{\partial v\,\partial u}}\\[5pt]{\frac {\partial P_{v}}{\partial u}}&={\frac {\partial (\mathbf {F} \circ {\boldsymbol {\psi }})}{\partial u}}\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}+(\mathbf {F} \circ {\boldsymbol {\psi }})\cdot {\frac {\partial ^{2}{\boldsymbol {\psi }}}{\partial u\,\partial v}}\end{aligned}}}$$

Conveniently, the second term vanishes in the difference, by equality of mixed partials. So,^{[note 4]} $${\displaystyle {\begin{aligned}{\frac {\partial P_{v}}{\partial u}}-{\frac {\partial P_{u}}{\partial v}}&={\frac {\partial (\mathbf {F} \circ {\boldsymbol {\psi }})}{\partial u}}\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}-{\frac {\partial (\mathbf {F} \circ {\boldsymbol {\psi }})}{\partial v}}\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}\\[5pt]&={\frac {\partial {\boldsymbol {\psi }}}{\partial v}}\cdot (J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} ){\frac {\partial {\boldsymbol {\psi }}}{\partial u}}-{\frac {\partial {\boldsymbol {\psi }}}{\partial u}}\cdot (J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} ){\frac {\partial {\boldsymbol {\psi }}}{\partial v}}&&{\text{(chain rule)}}\\[5pt]&={\frac {\partial {\boldsymbol {\psi }}}{\partial v}}\cdot \left(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} -{(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} )}^{\mathsf {T}}\right){\frac {\partial {\boldsymbol {\psi }}}{\partial u}}\end{aligned}}}$$

But now consider the matrix in that quadratic form—that is, ${\displaystyle J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} -(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} )^{\mathsf {T}}}$. We claim this matrix in fact describes a cross product. Here the superscript "${\displaystyle {}^{\mathsf {T}}}$" represents the transposition of matrices.

To be precise, let ${\displaystyle A=(A_{ij})_{ij}}$ be an arbitrary 3 × 3 matrix and let $${\displaystyle \mathbf {a} ={\begin{bmatrix}a_{1}\\a_{2}\\a_{3}\end{bmatrix}}={\begin{bmatrix}A_{32}-A_{23}\\A_{13}-A_{31}\\A_{21}-A_{12}\end{bmatrix}}}$$

Note that x ↦ a × x is linear, so it is determined by its action on basis elements. But by direct calculation $${\displaystyle {\begin{aligned}\left(A-A^{\mathsf {T}}\right)\mathbf {e} _{1}&={\begin{bmatrix}0\\a_{3}\\-a_{2}\end{bmatrix}}=\mathbf {a} \times \mathbf {e} _{1}\\\left(A-A^{\mathsf {T}}\right)\mathbf {e} _{2}&={\begin{bmatrix}-a_{3}\\0\\a_{1}\end{bmatrix}}=\mathbf {a} \times \mathbf {e} _{2}\\\left(A-A^{\mathsf {T}}\right)\mathbf {e} _{3}&={\begin{bmatrix}a_{2}\\-a_{1}\\0\end{bmatrix}}=\mathbf {a} \times \mathbf {e} _{3}\end{aligned}}}$$ Here, {e₁, e₂, e₃} represents an orthonormal basis in the coordinate directions of ${\displaystyle \mathbb {R} ^{3}}$.^{[note 5]}

Thus (A − A^T)x = a × x for any x.

Substituting ${\displaystyle {(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} )}}$ for A, we obtain $${\displaystyle \left({(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} )}-{(J_{{\boldsymbol {\psi }}(u,v)}\mathbf {F} )}^{\mathsf {T}}\right)\mathbf {x} =(\nabla \times \mathbf {F} )\times \mathbf {x} ,\quad {\text{for all}}\,\mathbf {x} \in \mathbb {R} ^{3}}$$

We can now recognize the difference of partials as a (scalar) triple product: $${\displaystyle {\begin{aligned}{\frac {\partial P_{v}}{\partial u}}-{\frac {\partial P_{u}}{\partial v}}&={\frac {\partial {\boldsymbol {\psi }}}{\partial v}}\cdot (\nabla \times \mathbf {F} )\times {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}=(\nabla \times \mathbf {F} )\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}\times {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}\end{aligned}}}$$

On the other hand, the definition of a surface integral also includes a triple product—the very same one! $${\displaystyle {\begin{aligned}\iint _{\Sigma }(\nabla \times \mathbf {F} )\cdot \,d\mathbf {\Sigma } &=\iint _{D}{(\nabla \times \mathbf {F} )({\boldsymbol {\psi }}(u,v))\cdot {\frac {\partial {\boldsymbol {\psi }}}{\partial u}}(u,v)\times {\frac {\partial {\boldsymbol {\psi }}}{\partial v}}(u,v)\,\mathrm {d} u\,\mathrm {d} v}\end{aligned}}}$$

So, we obtain $${\displaystyle \iint _{\Sigma }(\nabla \times \mathbf {F} )\cdot \,\mathrm {d} \mathbf {\Sigma } =\iint _{D}\left({\frac {\partial P_{v}}{\partial u}}-{\frac {\partial P_{u}}{\partial v}}\right)\,\mathrm {d} u\,\mathrm {d} v}$$

Fourth step of the elementary proof (reduction to Green's theorem)

Combining the second and third steps, and then applying Green's theorem completes the proof. Green's theorem asserts the following: for any region D bounded by the Jordans closed curve γ and two scalar-valued smooth functions ${\displaystyle P_{u}(u,v),P_{v}(u,v)}$ defined on D;

$${\displaystyle \oint _{\gamma }{({P_{u}}(u,v)\mathbf {e} _{u}+{P_{v}}(u,v)\mathbf {e} _{v})\cdot \,\mathrm {d} \mathbf {l} }=\iint _{D}\left({\frac {\partial P_{v}}{\partial u}}-{\frac {\partial P_{u}}{\partial v}}\right)\,\mathrm {d} u\,\mathrm {d} v}$$

We can substitute the conclusion of STEP2 into the left-hand side of Green's theorem above, and substitute the conclusion of STEP3 into the right-hand side. Q.E.D.

Proof via differential forms

The functions ${\displaystyle \mathbb {R} ^{3}\to \mathbb {R} ^{3}}$ can be identified with the differential 1-forms on ${\displaystyle \mathbb {R} ^{3}}$ via the map $${\displaystyle F_{x}\mathbf {e} _{1}+F_{y}\mathbf {e} _{2}+F_{z}\mathbf {e} _{3}\mapsto F_{x}\,\mathrm {d} x+F_{y}\,\mathrm {d} y+F_{z}\,\mathrm {d} z.}$$

Write the differential 1-form associated to a function F as ω_F. Then one can calculate that $${\displaystyle \star \omega _{\nabla \times \mathbf {F} }=\mathrm {d} \omega _{\mathbf {F} },}$$ where ★ is the Hodge star and ${\displaystyle \mathrm {d} }$ is the exterior derivative. Thus, by generalized Stokes' theorem,^[11] $${\displaystyle \oint _{\partial \Sigma }{\mathbf {F} \cdot \,\mathrm {d} \mathbf {\gamma } }=\oint _{\partial \Sigma }{\omega _{\mathbf {F} }}=\int _{\Sigma }{\mathrm {d} \omega _{\mathbf {F} }}=\int _{\Sigma }{\star \omega _{\nabla \times \mathbf {F} }}=\iint _{\Sigma }{\nabla \times \mathbf {F} \cdot \,\mathrm {d} \mathbf {\Sigma } }}$$

Applications

Irrotational fields

In this section, we will discuss the irrotational field (lamellar vector field) based on Stokes' theorem.

Definition 2-1 (irrotational field). A smooth vector field F on an open ${\displaystyle U\subseteq \mathbb {R} ^{3}}$ is irrotational (lamellar vector field) if ∇ × F = 0.

This concept is very fundamental in mechanics; as we'll prove later, if F is irrotational and the domain of F is simply connected, then F is a conservative vector field.

Helmholtz's theorem

In this section, we will introduce a theorem that is derived from Stokes' theorem and characterizes vortex-free vector fields. In classical mechanics and fluid dynamics it is called Helmholtz's theorem.

Theorem 2-1 (Helmholtz's theorem in fluid dynamics).^{[5][3]: 142} Let ${\displaystyle U\subseteq \mathbb {R} ^{3}}$ be an open subset with a lamellar vector field F and let c₀, c₁: [0, 1] → U be piecewise smooth loops. If there is a function H: [0, 1] × [0, 1] → U such that

• [TLH0] H is piecewise smooth,
• [TLH1] H(t, 0) = c₀(t) for all t ∈ [0, 1],
• [TLH2] H(t, 1) = c₁(t) for all t ∈ [0, 1],
• [TLH3] H(0, s) = H(1, s) for all s ∈ [0, 1].

Then, $${\displaystyle \int _{c_{0}}\mathbf {F} \,\mathrm {d} c_{0}=\int _{c_{1}}\mathbf {F} \,\mathrm {d} c_{1}}$$

Some textbooks such as Lawrence^[5] call the relationship between c₀ and c₁ stated in theorem 2-1 as "homotopic" and the function H: [0, 1] × [0, 1] → U as "homotopy between c₀ and c₁". However, "homotopic" or "homotopy" in above-mentioned sense are different (stronger than) typical definitions of "homotopic" or "homotopy"; the latter omit condition [TLH3]. So from now on we refer to homotopy (homotope) in the sense of theorem 2-1 as a tubular homotopy (resp. tubular-homotopic).^{[note 6]}

Proof of Helmholtz's theorem

The definitions of γ₁, ..., γ₄

In what follows, we abuse notation and use "${\displaystyle \oplus }$" for concatenation of paths in the fundamental groupoid and "${\displaystyle \ominus }$" for reversing the orientation of a path.

Let D = [0, 1] × [0, 1], and split ∂D into four line segments γ_j. $${\displaystyle {\begin{aligned}\gamma _{1}:[0,1]\to D;\quad &\gamma _{1}(t)=(t,0)\\\gamma _{2}:[0,1]\to D;\quad &\gamma _{2}(s)=(1,s)\\\gamma _{3}:[0,1]\to D;\quad &\gamma _{3}(t)=(1-t,1)\\\gamma _{4}:[0,1]\to D;\quad &\gamma _{4}(s)=(0,1-s)\end{aligned}}}$$ so that $${\displaystyle \partial D=\gamma _{1}\oplus \gamma _{2}\oplus \gamma _{3}\oplus \gamma _{4}}$$

By our assumption that c₀ and c₁ are piecewise smooth homotopic, there is a piecewise smooth homotopy H: D → M $${\displaystyle {\begin{aligned}\Gamma _{i}(t)&=H(\gamma _{i}(t))&&i=1,2,3,4\\\Gamma (t)&=H(\gamma (t))=(\Gamma _{1}\oplus \Gamma _{2}\oplus \Gamma _{3}\oplus \Gamma _{4})(t)\end{aligned}}}$$

Let S be the image of D under H. That $${\displaystyle \iint _{S}\nabla \times \mathbf {F} \,\mathrm {d} S=\oint _{\Gamma }\mathbf {F} \,\mathrm {d} \Gamma }$$ follows immediately from Stokes' theorem. F is lamellar, so the left side vanishes, i.e. $${\displaystyle 0=\oint _{\Gamma }\mathbf {F} \,\mathrm {d} \Gamma =\sum _{i=1}^{4}\oint _{\Gamma _{i}}\mathbf {F} \,\mathrm {d} \Gamma }$$

As H is tubular(satisfying [TLH3]),${\displaystyle \Gamma _{2}=\ominus \Gamma _{4}}$ and ${\displaystyle \Gamma _{2}=\ominus \Gamma _{4}}$. Thus the line integrals along Γ₂(s) and Γ₄(s) cancel, leaving $${\displaystyle 0=\oint _{\Gamma _{1}}\mathbf {F} \,\mathrm {d} \Gamma +\oint _{\Gamma _{3}}\mathbf {F} \,\mathrm {d} \Gamma }$$

On the other hand, c₁ = Γ₁, ${\displaystyle c_{3}=\ominus \Gamma _{3}}$, so that the desired equality follows almost immediately.

Conservative forces

Above Helmholtz's theorem gives an explanation as to why the work done by a conservative force in changing an object's position is path independent. First, we introduce the Lemma 2-2, which is a corollary of and a special case of Helmholtz's theorem.

Lemma 2-2.^[5][6] Let ${\displaystyle U\subseteq \mathbb {R} ^{3}}$ be an open subset, with a Lamellar vector field F and a piecewise smooth loop c₀: [0, 1] → U. Fix a point p ∈ U, if there is a homotopy H: [0, 1] × [0, 1] → U such that

• [SC0] H is piecewise smooth,
• [SC1] H(t, 0) = c₀(t) for all t ∈ [0, 1],
• [SC2] H(t, 1) = p for all t ∈ [0, 1],
• [SC3] H(0, s) = H(1, s) = p for all s ∈ [0, 1].

Then, $${\displaystyle \int _{c_{0}}\mathbf {F} \,\mathrm {d} c_{0}=0}$$

Above Lemma 2-2 follows from theorem 2–1. In Lemma 2-2, the existence of H satisfying [SC0] to [SC3] is crucial;the question is whether such a homotopy can be taken for arbitrary loops. If U is simply connected, such H exists. The definition of simply connected space follows:

Definition 2-2 (simply connected space).^[5][6] Let ${\displaystyle M\subseteq \mathbb {R} ^{n}}$ be non-empty and path-connected. M is called simply connected if and only if for any continuous loop, c: [0, 1] → M there exists a continuous tubular homotopy H: [0, 1] × [0, 1] → M from c to a fixed point p ∈ c; that is,

• [SC0'] H is continuous,
• [SC1] H(t, 0) = c(t) for all t ∈ [0, 1],
• [SC2] H(t, 1) = p for all t ∈ [0, 1],
• [SC3] H(0, s) = H(1, s) = p for all s ∈ [0, 1].

The claim that "for a conservative force, the work done in changing an object's position is path independent" might seem to follow immediately if the M is simply connected.　However, recall that simple-connection only guarantees the existence of a continuous homotopy satisfying [SC1-3]; we seek a piecewise smooth homotopy satisfying those conditions instead.

Fortunately, the gap in regularity is resolved by the Whitney's approximation theorem.^{[6]: 136, 421 [12]} In other words, the possibility of finding a continuous homotopy, but not being able to integrate over it, is actually eliminated with the benefit of higher mathematics.　We thus obtain the following theorem.

Theorem 2-2.^[5][6] Let ${\displaystyle U\subseteq \mathbb {R} ^{3}}$ be open and simply connected with an irrotational vector field F. For all piecewise smooth loops c: [0, 1] → U $${\displaystyle \int _{c_{0}}\mathbf {F} \,\mathrm {d} c_{0}=0}$$

Maxwell's equations

See also: Maxwell's equations § Circulation and curl

In the physics of electromagnetism, Stokes' theorem provides the justification for the equivalence of the differential form of the Maxwell–Faraday equation and the Maxwell–Ampère equation and the integral form of these equations. For Faraday's law, Stokes' theorem is applied to the electric field, ${\displaystyle \mathbf {E} }$: $${\displaystyle \oint _{\partial \Sigma }\mathbf {E} \cdot \mathrm {d} {\boldsymbol {l}}=\iint _{\Sigma }\mathbf {\nabla } \times \mathbf {E} \cdot \mathrm {d} \mathbf {S} .}$$

For Ampère's law, Stokes' theorem is applied to the magnetic field, ${\displaystyle \mathbf {B} }$: $${\displaystyle \oint _{\partial \Sigma }\mathbf {B} \cdot \mathrm {d} {\boldsymbol {l}}=\iint _{\Sigma }\mathbf {\nabla } \times \mathbf {B} \cdot \mathrm {d} \mathbf {S} .}$$

Notes

1. ${\displaystyle \Sigma =\psi (D)}$ represents the image set of ${\displaystyle D}$ by ${\displaystyle \psi }$
2. ${\displaystyle \Gamma }$ may not be a Jordan curve if the loop ${\displaystyle \gamma }$ interacts poorly with ${\displaystyle \psi }$. Nonetheless, ${\displaystyle \Gamma }$ is always a loop, and topologically a connected sum of countably many Jordan curves, so that the integrals are well-defined.
3. In this article, $${\displaystyle \mathbf {e} _{u}={\begin{bmatrix}1\\0\end{bmatrix}},\mathbf {e} _{v}={\begin{bmatrix}0\\1\end{bmatrix}}.}$$ Note that, in some textbooks on vector analysis, these are assigned to different things. For example, in some text book's notation, {e_u, e_v} can mean the following {t_u, t_v} respectively. In this article, however, these are two completely different things. $${\displaystyle \mathbf {t} _{u}={\frac {1}{h_{u}}}{\frac {\partial \varphi }{\partial u}}\,,\mathbf {t} _{v}={\frac {1}{h_{v}}}{\frac {\partial \varphi }{\partial v}}.}$$ Here, $${\displaystyle h_{u}=\left\|{\frac {\partial \varphi }{\partial u}}\right\|,h_{v}=\left\|{\frac {\partial \varphi }{\partial v}}\right\|,}$$ and the "${\displaystyle \|\cdot \|}$" represents Euclidean norm.
4. For all ${\displaystyle {\textbf {a}},{\textbf {b}}\in \mathbb {R} ^{n}}$, for all ${\displaystyle A;n\times n}$ square matrix, ${\displaystyle {\textbf {a}}\cdot A{\textbf {b}}={\textbf {a}}^{\mathsf {T}}A{\textbf {b}}}$ and therefore ${\displaystyle {\textbf {a}}\cdot A{\textbf {b}}={\textbf {b}}\cdot A^{\mathsf {T}}{\textbf {a}}}$.
5. In this article, $${\displaystyle \mathbf {e} _{1}={\begin{bmatrix}1\\0\\0\end{bmatrix}},\mathbf {e} _{2}={\begin{bmatrix}0\\1\\0\end{bmatrix}},\mathbf {e} _{3}={\begin{bmatrix}0\\0\\1\end{bmatrix}}.}$$ Note that, in some textbooks on vector analysis, these are assigned to different things.
6. There do exist textbooks that use the terms "homotopy" and "homotopic" in the sense of Theorem 2-1.^[5] Indeed, this is very convenient for the specific problem of conservative forces. However, both uses of homotopy appear sufficiently frequently that some sort of terminology is necessary to disambiguate, and the term "tubular homotopy" adopted here serves well enough for that end.

References

1. Stewart, James (2012). Calculus – Early Transcendentals (PDF) (7th ed.). Brooks/Cole. p. 1122. ISBN 978-0-538-49790-9.
2. Nagayoshi, Iwahori (1983). 微分積分学 (Bibun sekibungaku) (in Japanese). Shokabo. ISBN 978-4-7853-1039-4. OCLC 673475347.
3. Atsuo, Fujimoto (1979). 現代数学レクチャーズ. C 1, ベクトル解析 (Gendai sūgaku rekuchāzu. C(1), Bekutoru kaiseki) (in Japanese). Baifukan. OCLC 674186011.
4. Griffiths, David J. (2013). Introduction to electrodynamics (PDF). Always learning (4. ed.). Boston: Pearson. p. 34. ISBN 978-0-321-85656-2.
5. Conlon, Lawrence (2008). Differentiable manifolds. Modern Birkhäuser classics (2. ed.). Boston ; Berlin: Birkhäuser. ISBN 978-0-8176-4766-7.
6. Lee, John M. (2012). Introduction to smooth manifolds. Graduate texts in mathematics. Vol. 218 (2nd ed.). New York ; London: Springer. ISBN 978-1-4419-9982-5.
7. Stewart, James (2010). Essential calculus: early transcendentals. Australia ; United States: Brooks/Cole. ISBN 978-0-538-49739-8.
8. Robert Scheichl, lecture notes for University of Bath mathematics course
9. Pérez-Garrido, A. (2024-05-01). "Recovering seldom-used theorems of vector calculus and their application to problems of electromagnetism". American Journal of Physics. 92 (5): 354–359. arXiv:2312.17268. doi:10.1119/5.0182191. ISSN 0002-9505.
10. Colley, Susan Jane (2012). Vector calculus (PDF) (4th ed.). Boston: Pearson. pp. 500–3. ISBN 978-0-321-78065-2. OCLC 732967769.
11. Edwards, Harold M. (1994). Advanced calculus: a differential forms approach (3rd ed.). Boston: Birkhäuser. ISBN 978-0-8176-3707-1.
12. Pontryagin, L. S. (1959). "Smooth manifolds and their applications in homotopy theory" (PDF). American Mathematical Society Translations: Series 2. 11. Translated by Hilton, P. J. Providence, Rhode Island: American Mathematical Society: 1–114. doi:10.1090/trans2/011/01. ISBN 978-0-8218-1711-7. MR 0115178. See theorems 7 & 8.