Math 2.0

definition

Exterior derivative

Definition

Let U⊆RnU \subseteq \mathbb{R}^n be open, and let ω=∑IfI dxI\omega = \sum_I f_I \, dx_I be a differential k-form on UU whose coefficients fIf_I are of class C1C^1. The exterior derivative of ω\omega is the (k+1)(k + 1)-form dω=∑I∑j=1n∂fI∂xj dxj∧dxI,d\omega = \sum_I \sum_{j=1}^n \frac{\partial f_I}{\partial x_j} \, dx_j \wedge dx_I, where ∧\wedge is the wedge product.

Remarks

For a function ff, df=∑j∂jf dxjdf = \sum_j \partial_j f \, dx_j is its differential, the one-form that corresponds to the gradient. The operator dd is linear and satisfies d(α∧β)=dα∧β+(−1)kα∧dβd(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta for a kk-form α\alpha. For C2C^2 forms, d d = 0. In the plane, d(L dx+M dy)=(∂xM−∂yL) dx∧dyd(L \, dx + M \, dy) = (\partial_x M - \partial_y L) \, dx \wedge dy. In R3\mathbb{R}^3, d(F1 dx+F2 dy+F3 dz)d(F_1 \, dx + F_2 \, dy + F_3 \, dz) has the components of the curl of FF as coefficients of dy∧dzdy \wedge dz, dz∧dxdz \wedge dx and dx∧dydx \wedge dy. Also d(F1 dy∧dz+F2 dz∧dx+F3 dx∧dy)=(∇⋅F) dx∧dy∧dzd(F_1 \, dy \wedge dz + F_2 \, dz \wedge dx + F_3 \, dx \wedge dy) = (\nabla \cdot F) \, dx \wedge dy \wedge dz, which is the divergence.

Explanations

L1 human

The exterior derivative is one operation that does the work of gradient, curl and divergence together. You differentiate each coefficient in each direction and attach the new direction with a wedge product.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What depends on this

13 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Exterior_derivative, In terms of local coordinates
  2. Web https://en.wikipedia.org/wiki/Exterior_derivative, In terms of axioms
  3. Web https://en.wikipedia.org/wiki/Exterior_derivative, Exterior derivative in vector calculus