Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

d, boundary, and delta: three different-looking ideas that are all the same move

The exterior derivative, the boundary operator, and the first variation each measure a change at the edge of something.

These three symbols look unrelated across three different chapters, but they're the same underlying idea, applied to three different kinds of object: raising a form's degree (d), taking a chain's edge (boundary operator), and perturbing a functional's input (delta J). Reach for this cluster whenever a proof or a problem needs you to connect "what happens on the boundary" to "what happens throughout the interior" -- the generalized Stokes theorem IS that connection, stated once and for all.

d raises a form's degree

See section →
The operator d that turns a k-form into a (k{+}1)-form -- grad, curl, and div are all just d in disguise.
See section →
A form \omega with d\omega=0.

The boundary operator lowers a chain's dimension

See section →
The operator \partial that sends a chain to the chain of its oriented edges -- and satisfies \partial(\partial c)=0 always.

Term

Chain

See section →
A formal sum of oriented cells (points, edges, triangles, ...) -- the domain a differential form is integrated over.

One theorem connects both

The generalized Stokes theorem →

For a k-form \omega and an oriented (k+1)-chain S (with boundary \partial S, itself a k-chain), \int_{\partial S} \omega = \int_S d\omega.

Example

\int_M d\omega = \int_{\partial M}\omega -- integrating d\omega over the interior equals integrating \omega over just the boundary.
Show proof

Sketch, via the chain-boundary picture (chapter 07's own construction): subdivide S into small oriented cells, each nearly flat. On each tiny cell, \int_{\partial(\text{cell})}\omega \approx (\text{cell's own size}) \cdot d\omega evaluated at the cell — this is essentially d\omega's own definition, the local rate at which \omega's integral around a shrinking boundary compares to the cell's volume. Summing this approximate identity over every cell in the subdivision gives \sum_{\text{cells}}\int_{\partial(\text{cell})}\omega \approx \int_Sd\omega. On the left, every INTERIOR edge shared by two adjacent cells is traversed twice, once from each cell, in OPPOSITE orientations — exactly the cancellation chapter 07's chain-boundary-lab widget makes visible — leaving only the edges on S's own outer boundary, i.e. exactly \int_{\partial S}\omega. Refining the subdivision (shrinking every cell) makes the approximation exact in the limit.

The variational analogue, one chapter later

See section →
The necessary condition for y to extremize \int L(x,y,y')\,dx: \partial L/\partial y - d/dx(\partial L/\partial y')=0.

The first variation vanishing, \delta J=0, is the SAME kind of statement -- an extremum condition derived from a boundary term (the endpoints) vanishing in the derivation.

Graph settings

Calculator