Exterior derivative must be called the negative accumulation meter or production meter.
Case 1: 0-Forms
For a 0-form (a scalar function), associate values to points, and represents the net production of along a direction: Example (1D water pipe with a source):
Consider a pipe () with water flowing rightward and a point source at injecting 4 units of water per second.
Let be the total flow passing point .
For , (no water yet).
For , (water added by the source).
The exterior derivative is a 1-form encoding the source:
where is a Dirac-like concentration at .
Interpretation:
where no sources exist (since is constant).
At , spikes to reflect the production of 4 units.
Integration:
confirming the source’s contribution.
General Intuition:
measures the net change of along , for infinitesimally close.
If , is conserved (no production/loss) along that direction.
Case 2: 1-forms
In the case of a 1-form , which associate values to line elements (vectors), exterior derivative tell us how of "something" is being produced in a bivector (a "2-direction"). If we restrict to this area element (with a kind of pullback), the 1-form can be understood like a kind of flow (a 1-form in a 2-dimensional space can be seen as line families at every point, which can be joined together if the 1-form is closed). In this context, measures how much of this flow is being produced in . This is the idea of the infinitesimal Stokes' theorem
In a sense, the value of in is like measuring how the 1-form varies "along the bivector" .
Case 3: 2-forms and more
In the case of 2-forms, for example in , these can be visualized as "packages of 1-dimensional fibers" in a neighborhood of each point (in , they look like packages of -dimensional fibers). The value a 2-form assigns to each bivector represents the density of intersections between those fibers and the bivector.
If we apply the exterior derivative of the 2-form to a volume element (a 3-vector), we get something completely analogous to what was described above: pulling back to that "infinitesimally small 3-dimensional space," the 2-form still appears as a kind of one-dimensional flow, and its differential tells us how much is being generated inside (what goes out minus what came in).
If instead of working in , we were in , the pullback of the 2-form to the 3-vector still appears as a one-dimensional flow—although globally in , it may not be.
Why ?
From here it shouldn't be difficult understand why
For 0-forms it is easy: if , the 2-form is computed evaluating in sides of the parallelogram , which in turn is evaluated in the "vertices". But the latter appear twice in the final computation, but with different sign.
For a 1-form is the same, but a bit more difficult to visualize. In this case is evaluated in a parallelepiped, and the computation rests, finally, at evaluation on the edges, which appear twice with opposite sign.
The interpretation of as production (negative accumulation) of a flow in a -vector makes Stokes' theorem trivial. By the way, this interpretation is in some sense given in @needham2021visual page 409.