Stokes' Theorem and Whitney Manifolds

1. The geometric heart of Stokes' Theorem

Stokes' Theorem is a unifying statement that relates the integral of a differential form on the boundary of a region to the integral of its exterior derivative over the region itself. In threedimensional Euclidean space the theorem is often written as

_{}Fd\mathbf{r}=_{} (F)\mathbf{n}\,dS

where is an oriented surface, its oriented boundary, F a smooth vector field, and n the unit normal to . The theorem tells us that the circulation of F around the edge equals the total twist of F across the surface.

1.1 Intuition

Think of a fluid flowing over a sheet. The line integral around the edge measures how much the fluid is pushed around the loop. The surface integral of the curl measures how much the fluid locally rotates at each point of the sheet. Stokes' Theorem says that the accumulated local rotations equal the overall circulation.

1.2 Formal statement (differentialform version)

Let M be an oriented smooth manifold of dimension k+1 with (possibly empty) smooth boundary M. For any smooth k-form on M we have

_{M} = _{M} d

where d denotes the exterior derivative. The classical Stokes theorem for curves, surfaces, and volumes is recovered by choosing appropriate dimensions and forms.

2. A brief history and significance

The theorem bears the name of George Stokes because his 1854 paper presented the threedimensional case for vector fields. Earlier mathematicians such as Kelvin, Green, and Gauss had proved special cases (Greens theorem, the divergence theorem). In the early 20th century lie Cartan recast the result in the language of differential forms, making it a natural part of modern geometry.

2.1 Applications

• Electromagnetism Faradays law of induction is an instance of Stokes theorem.
• Fluid dynamics Vorticity and circulation are linked via the theorem.
• Mathematical physics Pathintegral formulations often rely on Stokes theorem to convert surface integrals to boundary integrals.
• Topology The theorem underlies deRham cohomology, relating closed forms to exact forms.

3. Whitney manifolds

Hassler Whitney (1936) introduced a class of manifolds that are now called Whitney manifolds. The terminology usually refers to a smooth manifold equipped with an embedding into a Euclidean space that satisfies the Whitney embedding theorem and the Whitney extension theorem. Below we focus on the key ideas that make Whitney manifolds pertinent to Stokes' theorem.

3.1 Definition

A smooth n-dimensional manifold M is a Whitney manifold if there exists an embedding

: M ^{2n}

that is a smooth (C^) injective immersion whose image is a closed submanifold of ^{2n}. The embedding is said to be a Whitney embedding.

3.2 Why the ambient Euclidean space matters

The presence of a global ambient space allows one to treat differential forms on M as restrictions of forms defined on ^{2n}. This viewpoint is extremely useful when applying Stokes' theorem: the theorem is originally proved for domains in Euclidean space, so if a manifold sits nicely inside ^{2n>, the boundary integrals can be interpreted as slices of Euclidean integrals.

3.3 Whitney's Extension Theorem

Given a closed set A^{m} and a family of functions on A that satisfy compatibility conditions (the Whitney conditions), there exists a smooth function on all of ^{m} extending the prescribed data. In the language of manifolds, this means any smooth form defined on a closed submanifold can be extended to a smooth form on the whole surrounding Euclidean space.

3.4 Examples

• Circle S: The map (cos,sin) embeds S in , a classic Whitney embedding.
• Real projective plane P: It can be embedded in , providing a Whitney embedding for a nonorientable surface.
• Any compact smooth surface (e.g., the torus) embeds in ; the 2torus T is a Whitney manifold.

4. Linking Stokes' theorem and Whitney manifolds

When a manifold M is realized as a Whitney submanifold of ^{k}, the classic Stokes theorem for Euclidean domains can be pulled back to M. The steps are:

1. Choose a smooth k1-form on ^{k} whose restriction to M is the desired form on M.
2. Apply the Euclidean Stokes theorem to a region U^{k} that contains M and whose boundary intersects M transversely.
3. Use the Whitney Extension Theorem to guarantee the existence of such an and to control its behavior near the boundary.
4. Restrict the equality _{U} = _{U} d to the submanifold; the term _{UM} becomes the integral over M, and _{UM} d becomes the integral over M of d(|_{M}).

This procedure shows that the abstract statement _{M} = _{M} d is not merely a formal generalisation, but can be proved by embedding M into ordinary Euclidean space and invoking the familiar theorem there.

4.1 Orientation and boundary

Whitney embeddings preserve orientation. If M is orientable, the embedding gives a consistent outward normal on the boundary M. Consequently, the sign conventions used in the Euclidean Stokes theorem match those required for the intrinsic version on M.

4.2 An example

Consider the 2dimensional unit sphere S in . The inclusion : S is a Whitney embedding. Let = xdy ydx, a 1form on . Its restriction to S is a smooth 1form on the sphere. The classic Stokes theorem on the ball B (the interior of S) gives

_{S} = _{B} d

Because d = 2dxdy, the righthand side computes the volume form of B and reproduces the known surface integral of . The same equality holds intrinsically on S, illustrating the compatibility of Stokes' theorem with the Whitney embedding.

5. Why this synergy matters

The bridge between Stokes' theorem and Whitney manifolds illustrates a powerful paradigm in mathematics: complex geometric statements are often easiest to prove after placing the objects in a familiar ambient space. This perspective yields several benefits:

• Unified proofs: One need not develop separate proofs for each dimension; a single Euclidean argument suffices.
• Computational tools: Numerical integration on manifolds can be performed by triangulating the ambient region and applying standard algorithms.
• Topological insight: The embedding reveals how the manifolds homology interacts with that of the surrounding space, a key idea in deRham cohomology.

6. Further reading

For a deeper treatment of these topics, the following references are recommended:

• Spivak, Calculus on Manifolds concise introduction to differential forms and Stokes' theorem.
• Lee, Introduction to Smooth Manifolds chapters on embeddings and orientation.
• Whitney, The Extension of Differentiable Functions Defined in Closed Subsets (1934) original paper on the extension theorem.
• Guillemin & Pollack, Differential Topology discussion of the Whitney embedding theorem.