Translator Disclaimer
Open Access
2021 Chapter III. Whitney’s Setting for Stokes’s Theorem

Abstract

This chapter looks for a single setting in which Stokes's Theorem applies at once to all situations of practical interest. It begins by developing the theory in the setting of manifolds-with-corners and continues with a theory in a more general setting studied by H. Whitney.

Section 1 introduces the model space $\bQ^m$ for $m\geq2$, in terms of which manifolds-with-corners are defined. The section contains one result that is relatively hard to prove: the index of a point of $\bQ^m$ is taken to be the number of coordinates that are equal to 0, and it is shown that any diffeomorphism between open sets in $\bQ^m$ maps points of one index into points of the same index. Consequently the notion of index is well defined for the points of a manifold-with-corners. Other definitions concerning manifolds translate easily into corresponding definitions for manifolds-with-corners. These include smooth real-valued function, support, germ, tangent space, cotangent space, smooth differential forms, pullbacks of differential forms, and the derivative of a smooth map between manifolds-with-corners.

Section 2 introduces strata, the stratum $S_k(M)$ consisting of all points of index $k$ in a manifold-with-corners $M$. Strata have a number of useful properties, one of which is that the strata of index 0 and 1 combine to yield a manifold-with-boundary.

Section 3 gives a version of the Stokes's Theorem for manifolds-with-corners, saying $\int_{\pa M}\gw=\int_Md\gw$ as usual. In this equality the integral on the left is over the stratum of all points of index 1, and the integral on the right is over the stratum of all points of index 0. Simple examples show that this theorem is not a trivial consequence of the theorem about manifolds-with-boundary when applied to the manifold-with-boundary consisting of all points of index 0 and 1 in $M$.

Section 4 establishes a version of the Divergence Theorem due to Whitney that applies to any bounded region of $\bR^m$ for $m\geq2$ when most of the topological boundary behaves as it does for a manifold-with-boundary and when the set of exceptional points of the topological boundary is small in a specific technical sense. Such a region will be called a Whitney domain. If the set of exceptional points is finite, then it is small in the technical sense.

Section 5 examines in some detail the technical condition in Section 4. That condition becomes: the set of exceptional points is compact and either is empty or has $m-1$ dimensional Minkowski content 0. It is shown that the condition that a compact set has $\ell$ dimensional Minkowski content 0 is intrinsic to the set as a subset of a Euclidean space and does not depend on its embedding. Furthermore any function from one Euclidean space to another that satisfies a Lipschitz condition always carries compact subsets of $\ell$ dimensional Minkowski content 0 to compact sets of $\ell$ dimensional Minkowski content 0. Consequently the notion "$\ell$ dimensional Minkowski content 0" is well defined for compact subsets of smooth manifolds and is preserved under smooth mappings into Euclidean spaces. The section concludes with examples of Whitney domains constructed from the zero loci of polynomials.

Section 6 extends the scope of Stokes's Theorem to Whitney manifolds, a class of spaces that includes all manifolds-with-corners and that allows all Whitney domains as additional model cases. The result is that the Stokes formula applies in what seems to be the full set of practical situations of interest to mathematicians, physicists, and engineers.

Information

Published: 1 June 2021
First available in Project Euclid: 23 June 2021

Digital Object Identifier: 10.3792/euclid/9781429799881-3

Rights: Copyright © 2021, Anthony W. Knapp

CHAPTER
34 PAGES


SHARE
Back to Top