Module VII·Article III·~5 min read
Differential Forms and the General Stokes' Theorem
Vector Analysis
Turn this article into a podcast
Pick voices, format, length — AI generates the audio
Unity Across Diversity
The Newton–Leibniz theorem, Green's theorem, Stokes' theorem, and the Gauss–Ostrogradsky theorem appear to be four different theorems about four different types of integrals. In reality, they are one theorem in different dimensions: the integral of an exterior derivative over a manifold equals the integral of the original form over its boundary. The language that allows us to express this is differential forms.
Differential forms emerged at the end of the 19th century in works by Poincaré, Carleman, Cartan. They unify analysis, topology, and geometry and constitute the proper language for the general theory of integration on manifolds—from classical mechanics to general relativity.
Differential Forms: Definition
A 0-form on ℝⁿ is simply a smooth function f: ℝⁿ → ℝ. Its “integral” over a point is the value of the function.
A 1-form is an expression ω = P₁ dx₁ + P₂ dx₂ + ... + Pₙ dxₙ, where Pᵢ are smooth functions and dx₁,...,dxₙ are “basis forms.” The integral of a 1-form over a curve is the line integral of the second kind.
A 2-form is an expression ω = Σ_{i<j} Pᵢⱼ dxᵢ ∧ dxⱼ, where ∧ is the exterior product (antisymmetric: dxᵢ ∧ dxⱼ = −dxⱼ ∧ dxᵢ, dxᵢ ∧ dxᵢ = 0). In ℝ³: ω = P dy∧dz + Q dz∧dx + R dx∧dy. The integral of a 2-form over a surface is a surface integral.
A k-form is a skew-symmetric k-linear form on tangent vectors. In ℝⁿ, there are exactly C(n,k) basic k-forms.
The meaning of antisymmetry. dxᵢ ∧ dxⱼ is “oriented area” in the (xᵢ, xⱼ) plane. Changing the order alters the orientation (the sign). This matches the orientation of a surface when calculating flux.
Exterior Product
For forms α (degree p) and β (degree q): α ∧ β is a form of degree p+q.
Rules:
- Associativity: (α ∧ β) ∧ γ = α ∧ (β ∧ γ).
- Antisymmetry: α ∧ β = (−1)^{pq} β ∧ α.
- Linearity in each argument.
Example in ℝ³. Let α = dx + 2dy (a 1-form), β = dy ∧ dz + dz ∧ dx (a 2-form).
α ∧ β = (dx + 2dy) ∧ (dy∧dz + dz∧dx) = dx∧dy∧dz + dx∧dz∧dx + 2dy∧dy∧dz + 2dy∧dz∧dx.
Given dz∧dx = −dx∧dz and dx∧dx = 0, dy∧dy = 0:
= dx∧dy∧dz − 0 + 0 + 2dy∧dz∧dx = dx∧dy∧dz + 2 dx∧dy∧dz = 3 dx∧dy∧dz.
Exterior Derivative
The operator d maps k-forms to (k+1)-forms and serves as a generalization of the gradient, curl, and divergence.
On 0-forms (functions): d(f) = Σᵢ (∂f/∂xᵢ) dxᵢ—the gradient. In ℝ³: df = fₓ dx + f_y dy + f_z dz.
On 1-forms in ℝ³. If ω = P dx + Q dy + R dz:
dω = dP∧dx + dQ∧dy + dR∧dz = (R_y − Q_z)dy∧dz + (P_z − R_x)dz∧dx + (Q_x − P_y)dx∧dy—this is the curl!
On 2-forms in ℝ³. If ω = P dy∧dz + Q dz∧dx + R dx∧dy:
dω = (Pₓ + Q_y + R_z) dx∧dy∧dz—this is divergence!
Key property: d² = 0. For any form ω: d(dω) = 0. This is a generalization of the fact that curl(grad f) = 0 and div(curl F) = 0.
Generalized Stokes' Theorem
Theorem: Let M be an oriented compact manifold with boundary ∂M of dimension m, ω a smooth (m−1)-form. Then:
∫_{∂M} ω = ∫_M dω.
This single formula unites everything:
| M | ω | ∂M | dω | Result |
|---|---|---|---|---|
| Interval [a,b] | f (0-form) | {a, b} | df = f'dx (1-form) | ∫ₐᵇ f'dx = f(b)−f(a) — Newton–Leibniz |
| Domain in ℝ² | P dx+Q dy (1-form) | Boundary ∂D | (Qₓ−P_y)dx∧dy | ∮P dx+Q dy = ∬(Qₓ−P_y)dA — Green |
| Surface in ℝ³ | 1-form | Boundary ∂S | curl | ∮F·dr = ∬curl F·n dS — Stokes |
| Volume V | 2-form | Surface ∂V | divergence | ∬_{∂V} F·n dS = ∭ div F dV — Gauss |
Closed and Exact Forms. de Rham Cohomology
A form ω is called closed if dω = 0. A form is called exact if ω = dη for some η.
From d² = 0: exactness ⟹ closedness. The reverse is not always true—and precisely this difference captures the topology of the space.
Poincaré Lemma: In a convex (more generally—contractible) domain, every closed form is exact.
Classic example. The form ω = (−y dx + x dy)/(x² + y²) on ℝ² \ {0}. Check: dω = 0 (closed). But ∮_{circle} ω = 2π ≠ 0 → ω is not exact! The obstacle is the "hole" in the domain ℝ² \ {0}.
de Rham Cohomology H^k(M) = (closed k-forms)/(exact k-forms) measures the topological “holes” in M. For example, H¹(ℝ² \ {0}) ≅ ℝ (one “hole”), H¹(ℝ²) = 0 (no holes).
Differential Forms in Physics
In general relativity, the metric is a symmetric 2-form. The electromagnetic field tensor F = dA is an exact 2-form, and Maxwell's equations are written as dF = 0 (closedness) and d*F = J (sources). Hamiltonian mechanics works with the symplectic 2-form ω = Σ dpᵢ ∧ dqᵢ. Hamilton's equations are the condition that the Hamiltonian vector field preserves ω.
Discussion question: Explain why the condition dω = 0 for the electromagnetic tensor F corresponds to Faraday's law and the absence of magnetic monopoles. How does Stokes' theorem imply the law of conservation of electric charge?
§ Act · what next