On the Euclidean unit ball ,
The outward unit normal along is the radial vector field , so part b gives
Let on the ball and put . Direct use of the exterior derivative gives . Therefore the Generalized Stokes theorem yields
This proves the volume of a Euclidean unit sphere formula.
For , pull back its spectral closed differential one-form along each straight side . Under counterclockwise traversal and outward normal derivatives , the side density is , where is the Dirichlet boundary data. The Generalized Stokes theorem gives the displayed global relation. Clockwise traversal reverses the normal-derivative coefficient; all orientations must be changed consistently.
Symplectic cohomology obstruction Created 2026-10-06 Updated 2026-10-07
On a nonempty compact -dimensional symplectic manifold without boundary, with , the class in top-degree de Rham cohomology is nonzero, since its integral in the symplectic orientation is positive. In particular cannot be an exact differential form: if , then and the Generalized Stokes theorem would make that integral zero. Thus vanishing second de Rham cohomology obstructs a closed positive-dimensional symplectic manifold.
A compact Lie group has finitely many connected components, each an oriented compact manifold of dimension . Componentwise integration identifies its top-degree de Rham cohomology with one real coordinate per component. For a connected group, if top-degree classes are represented by invariant forms, the invariant volume form on a Lie group spans the cohomology: invariant top forms are one-dimensional, and its positive integral proves that its class is nonzero by the Generalized Stokes theorem. A disconnected group cannot have an invariant representative of every top-degree class, since left translations permute its components. For example, has two independent degree-one classes but only one independent invariant top form.
Vector calculus Created 2026-09-24 Updated 2026-10-14
Vector calculus studies differentiation and integration of scalar fields and vector fields. Three operators answer different local questions: the gradient describes change of a scalar value, the divergence describes net outward flow, and the curl describes local circulation. Their associated integral theorems turn local derivatives into measurements along paths and across boundaries.
The difference between divergence and curl is especially visible in two smooth vector fields on three-dimensional Euclidean space:
At each point they have the same Euclidean norm , but their directions differ. For , and . For , and . One expands radially in each horizontal plane; the other describes rigid rotation.
Figure 1.
Equal-magnitude fields can have different divergence and curl: radial expansion gives outward flux, while rotation gives circulation
. Details.
Around the counterclockwise unit circle in the plane , is normal to the boundary and has zero tangential component. Its outward planar flux integral is , while its line integral around the circle is zero. For the values are reversed: outward planar flux is zero, and circulation is . The divergence and curl predict exactly which boundary measurement survives.
Why is this useful? A velocity field can move material through a boundary or circulate it within a region. Conservation of mass connects its divergence with density changes through the continuity equation; its curl is vorticity. In electromagnetism, the Maxwell equations use the same operators to connect electric fields, magnetic fields, and their sources. The common mathematical language lets the same integral calculations work across different physical models. [ref].
The geometric framework behind these operators is developed in differential forms. The Generalized Stokes theorem unifies the fundamental theorem for line integrals, Green theorem, Stokes theorem, and divergence theorem. In coordinates their formulas look different, but each relates accumulation over a region to a measurement on its boundary.
Wilson's Vector Analysis, published in 1901, was based on J. Willard Gibbs's lectures at Yale. Wilson's preface explains that examples from geometry, mechanics, and physics are interspersed with the mathematical development, so readers encounter applications as soon as they have the tools to understand them. That is a useful way to approach vector calculus: learn each operation through a measurement it makes possible. [ref].
Volume of a Euclidean unit sphere Created 2026-09-28 Updated 2026-10-07
The -dimensional volume of the Euclidean unit sphere equals times the -dimensional volume of its unit ball. If is the radial vector field and , then , and the Generalized Stokes theorem proves the formula.