Lesson 9 of 15

The Exterior Derivative

The Exterior Derivative

The exterior derivative dd generalizes the gradient, curl, and divergence into a single unified operator. It maps pp-forms to (p+1)(p+1)-forms.

For a 1-form ω=P dx+Q dy\omega = P\,dx + Q\,dy on R2\mathbb{R}^2, the exterior derivative is a 2-form:

dω=(∂Q∂x−∂P∂y)dx∧dyd\omega = \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dx \wedge dy

The coefficient ∂Q∂x−∂P∂y\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} is the curl of the vector field (P,Q)(P, Q).

Closed and Exact Forms

A form ω\omega is:

  • Closed if dω=0d\omega = 0 — the curl vanishes
  • Exact if ω=df\omega = df for some function ff — it is the differential of something

Stokes's theorem says: ∫∂Mω=∫Mdω\int_{\partial M} \omega = \int_M d\omega.

Examples

One-form ω\omegadωd\omega coefficient
y dx−x dyy\,dx - x\,dy−1−1=−2-1 - 1 = -2
x dx+y dy=d(x2+y22)x\,dx + y\,dy = d(\frac{x^2+y^2}{2})00 (exact)
x2 dx+xy dyx^2\,dx + xy\,dyy−0=yy - 0 = y

Your Task

Implement exterior_d(P, Q) that computes the exterior derivative of the 1-form ω=P dx+Q dy\omega = P\,dx + Q\,dy. Return a function of (x,y)(x, y) giving the coefficient of dx∧dydx \wedge dy.

Python runtime loading...
Loading...
Click "Run" to execute your code.