DDG k-Forms | Guowei Lu

Exterior Derivative

The exterior derivative is a fundamental concept in exterior calculus, a branch of mathematics that generalizes classical calculus to higher dimensions and curved spaces. It provides a unified framework for differentiation and integration, making it a powerful tool in differential geometry, physics, and computer science. In this post, we’ll explore the exterior derivative, its properties, and its applications.

Overview

1. Overview of Exterior Calculus

Exterior calculus is a mathematical framework that extends the ideas of classical calculus (e.g., differentiation and integration) to differential forms. Differential forms are geometric objects that can be integrated over curves, surfaces, volumes, and higher-dimensional manifolds. Key concepts in exterior calculus include:

Differential Forms: These are multilinear objects that generalize scalar functions, vector fields, and volume measures. A k-form measures k-dimensional volume, such as:
- 0-forms: Scalar functions.
- 1-forms: Linear measurements of vectors (e.g., work done by a force).
- 2-forms: Measurements of flux through surfaces.
- 3-forms: Measurements of volume.
Exterior Derivative: The exterior derivative (d) is an operator that generalizes differentiation to k-forms. It maps a k-form to a (k+1)-form and encodes how forms change in space.
Hodge Star Operator: This operator ((\star)) maps k-forms to (n-k)-forms, where (n) is the dimension of the space. It plays a key role in defining duality between forms.

Exterior calculus provides a coordinate-free language for calculus on curved domains (e.g., Riemannian manifolds) and is widely used in physics, computer graphics, and numerical simulations.

2. Two Big Ideas in Calculus: Integration and Differentiation

Classical calculus is built on two fundamental ideas:

Differentiation: Measuring how functions change (e.g., slopes, rates of change).
Integration: Measuring quantities like area, volume, and flux.

Exterior calculus generalizes these ideas to higher dimensions and more complex geometries:

Differentiation: The exterior derivative (d) generalizes differentiation to k-forms. For example:
- For a 0-form (scalar function), (d) corresponds to the gradient.
- For a 1-form, (d) corresponds to the curl.
- For a 2-form, (d) corresponds to the divergence.
Integration: Differential forms can be integrated over curves, surfaces, and volumes. This generalizes the idea of measuring quantities like flux and volume.

A key goal of exterior calculus is to integrate differential forms over meshes to develop discrete exterior calculus (DEC). DEC provides a computational framework for applying exterior calculus to discrete geometries, such as triangle meshes or tetrahedral meshes, enabling practical applications in computer graphics, numerical simulations, and more.

3. Motivation for Exterior Calculus

Why do we need exterior calculus? Here are some key motivations:

Measuring Changes in Volumes: Basic vector calculus struggles to measure changes in volumes or higher-dimensional objects. Exterior calculus provides tools to handle these cases naturally.
Duality: Exterior calculus clarifies the distinction between different concepts and quantities, such as:
- Topology: It provides a notion of differentiation that does not require a metric (e.g., cohomology).
- Geometry: It offers a clear language for calculus on curved domains (e.g., Riemannian manifolds).
- Physics: It distinguishes between physical quantities like velocity (a vector) and momentum (a 1-form).
- Computer Science: It leads directly to discretization and computation, enabling algorithms for simulations and optimizations.
Unified Framework: Exterior calculus unifies gradient, curl, and divergence into a single operator (the exterior derivative) and connects them via Stokes’ theorem, which generalizes the fundamental theorem of calculus to higher dimensions.

By generalizing classical calculus, exterior calculus provides a powerful and elegant framework for solving problems in mathematics, physics, and engineering.

Exterior Derivative

In this section, we’ll introduce the exterior derivative, a central operator in exterior calculus. We’ll start by revisiting the concept of derivatives in classical calculus and vector calculus, then transition to the exterior derivative and its key properties.

1. Derivatives and Vector Derivatives

Before diving into the exterior derivative, let’s recall the concept of derivatives and their vector counterparts in classical calculus.

Derivative: Many Interpretations

The derivative of a function (f(x)) has several interpretations:

Slope of the graph: It measures the steepness of the function at a point.
Rate of change: It describes how the function changes with respect to its input.
Best linear approximation: It provides the linear function that best approximates (f(x)) near a point.

Vector Derivatives

In vector calculus, derivatives generalize to vector fields. The key operators are:

Gradient ((\nabla \phi)):
- The gradient of a scalar function (\phi) is a vector field that points in the direction of the steepest increase of (\phi).
- In coordinates: [ \nabla \phi = \frac{\partial \phi}{\partial x} \frac{\partial}{\partial x} + \frac{\partial \phi}{\partial y} \frac{\partial}{\partial y} + \frac{\partial \phi}{\partial z} \frac{\partial}{\partial z} ]
Divergence ((\nabla \cdot \mathbf{X})):
- The divergence of a vector field (\mathbf{X} = (u, v, w)) measures the “outflow” of the field from a point.
- In coordinates: [ \nabla \cdot \mathbf{X} = \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} ]
Curl ((\nabla \times \mathbf{Y})):
- The curl of a vector field (\mathbf{Y}) measures the rotation or circulation of the field.
- In coordinates: [ \nabla \times \mathbf{Y} = \begin{pmatrix} \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z}
  \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x}
  \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \end{pmatrix} ]

These operators—gradient, divergence, and curl—are fundamental in vector calculus, but they are limited to flat, Euclidean spaces. The exterior derivative generalizes these concepts to curved spaces and higher dimensions.

2. Exterior Derivative: A Unique Linear Map

The exterior derivative (d) is a key operator in exterior calculus. It generalizes differentiation to differential forms and has the following properties:

What is the Exterior Derivative?

The exterior derivative (d) is a unique linear map that takes a k-form to a (k+1)-form: [ d: \Omega^k \rightarrow \Omega^{k+1} ]
It measures how a differential form changes as you move infinitesimally in space.

Key Properties of the Exterior Derivative

Differential for 0-Forms:
- For a 0-form (scalar function (\phi)), the exterior derivative (d\phi) is the differential of (\phi): [ d\phi = \frac{\partial \phi}{\partial x} dx + \frac{\partial \phi}{\partial y} dy + \frac{\partial \phi}{\partial z} dz ] This corresponds to the gradient in vector calculus.
Product Rule:
- The exterior derivative satisfies a product rule for the wedge product ((\wedge)) of forms: [ d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta ] Here, (\alpha) is a k-form, and (\beta) is an l-form.
Exactness ((d \circ d = 0)):
- Applying the exterior derivative twice always yields zero: [ d \circ d = 0 ] This property generalizes the fact that the curl of a gradient is zero and the divergence of a curl is zero in vector calculus.

3. Why the Exterior Derivative is Powerful

The exterior derivative unifies and generalizes the classical derivative operators (gradient, divergence, and curl) into a single operator that works in any dimension and on curved spaces. Its key features include:

Coordinate-Free: It does not depend on a specific coordinate system, making it ideal for curved geometries.
Natural Product Rule: It behaves consistently when applied to products of forms.
Exactness: It captures the geometric principle that “the boundary of a boundary is zero.”

Exterior Derivative—Differential

In this section, we’ll explore the differential of a function, a key concept in exterior calculus that measures how a scalar function changes. We’ll also compare the differential with the gradient, highlighting their similarities and differences.

1. Differential of a Function

The differential of a scalar function (\phi) is a 1-form that measures how (\phi) changes in different directions. It can be defined in two equivalent ways:

Definition 1: Coordinate-Free Definition

The differential (d\phi) is the unique 1-form such that when applied to any vector field (X), it yields the directional derivative of (\phi) along (X): [ d\phi(X) = D_X \phi ] Here:
- (d\phi) is the differential of (\phi) (a 1-form).
- (X) is a vector field.
- (D_X \phi) is the directional derivative of (\phi) along (X).
This definition is coordinate-free, meaning it does not depend on any specific coordinate system.

Definition 2: Definition in Coordinates

In a coordinate system ((x^1, x^2, \dots, x^n)), the differential (d\phi) is expressed as: [ d\phi = \frac{\partial \phi}{\partial x^1} dx^1 + \frac{\partial \phi}{\partial x^2} dx^2 + \cdots + \frac{\partial \phi}{\partial x^n} dx^n ] Here:
- (\frac{\partial \phi}{\partial x^i}) are the partial derivatives of (\phi) with respect to the coordinates (x^i).
- (dx^i) are the basis 1-forms corresponding to the coordinate directions.
This definition explicitly shows how the differential depends on the partial derivatives of (\phi) in a given coordinate system.

2. Gradient vs. Differential

The gradient and the differential of a scalar function (\phi) are closely related but fundamentally different objects. Let’s compare them:

Gradient:

The gradient (\nabla \phi) is a vector field that points in the direction of the steepest increase of (\phi).
It depends on the inner product (or metric) because it converts the 1-form (d\phi) into a vector field.
In coordinates, the gradient is: [ \nabla \phi = \frac{\partial \phi}{\partial x^1} \frac{\partial}{\partial x^1} + \frac{\partial \phi}{\partial x^2} \frac{\partial}{\partial x^2} + \cdots + \frac{\partial \phi}{\partial x^n} \frac{\partial}{\partial x^n} ]

Differential:

The differential (d\phi) is a 1-form that measures how (\phi) changes in any direction.
It does not depend on the inner product and is defined purely in terms of the function (\phi) and its directional derivatives.
In coordinates, the differential is: [ d\phi = \frac{\partial \phi}{\partial x^1} dx^1 + \frac{\partial \phi}{\partial x^2} dx^2 + \cdots + \frac{\partial \phi}{\partial x^n} dx^n ]

Key Differences:

3. Why the Differential is a Function, but the Gradient is a Vector

The differential (d\phi) is a 1-form, which is a linear map that takes a vector field (X) and returns a scalar (the directional derivative (D_X \phi)). This makes it a function of vectors.
The gradient (\nabla \phi) is a vector field, which is an assignment of a vector to each point in space. It does not take input; instead, it is an object that can be used in calculations involving inner products or directional derivatives.

4. Example

Consider a scalar function (\phi(x, y) = x^2 + y^2) in 2D Euclidean space.

Differential:
- The differential is: [ d\phi = 2x \, dx + 2y \, dy ]
- For a vector field (X = a \frac{\partial}{\partial x} + b \frac{\partial}{\partial y}), the differential (d\phi) acts as: [ d\phi(X) = 2x a + 2y b ] This is the directional derivative (D_X \phi).
Gradient:
- The gradient is: [ \nabla \phi = 2x \frac{\partial}{\partial x} + 2y \frac{\partial}{\partial y} ]
- This is a vector field that points radially outward, in the direction of steepest increase of (\phi).

Summary

The differential (d\phi) is a 1-form that measures how a scalar function (\phi) changes in any direction. It is a function of vectors and does not depend on the inner product.
The gradient (\nabla \phi) is a vector field that points in the direction of the steepest increase of (\phi). It depends on the inner product and is the dual of the differential with respect to the metric.

This distinction is crucial in differential geometry, physics, and optimization, where the choice of metric (or inner product) can significantly affect the gradient but not the differential. In the next section, we’ll explore the product rule for the exterior derivative and its geometric interpretation.

Exterior Derivative—Product Rule

In this section, we’ll explore the product rule for the exterior derivative, which generalizes the product rule from classical calculus to differential forms. We’ll start by revisiting the product rule for numbers and ordinary derivatives, then extend it to the exterior derivative. Finally, we’ll look at how the product rule enables recursive evaluation of derivatives and work through some examples.

1. From Product of Numbers to Product Rule—Derivative

The product rule is a fundamental result in calculus that describes how to differentiate the product of two functions. Let’s start with the basics and build up to the exterior derivative.

Product of Numbers:

For two real numbers (a) and (b), the product (ab) is commutative: [ ab = ba ]
Geometrically, (ab) represents the area of a rectangle with sides (a) and (b).

Product Rule for Derivatives:

For two differentiable functions (f(x)) and (g(x)), the product rule states: [ (fg)’ = f’g + fg’ ]
This rule describes how the derivative of a product depends on the derivatives of the individual functions.

Geometric Interpretation:

The product rule can be visualized as the change in the area of a rectangle whose sides are (f(x)) and (g(x)):
- The change in area due to (f(x)) changing is (f’g).
- The change in area due to (g(x)) changing is (fg’).
- The total change in area is the sum of these two contributions: (f’g + fg’).

2. Product Rule—Exterior Derivative

The product rule for the exterior derivative generalizes the classical product rule to differential forms. Let’s explore this in detail.

Product Rule for the Exterior Derivative:

Let (\alpha) be a k-form and (\beta) be an l-form. The product rule for the exterior derivative states: [ d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta ]
Here:
- (\alpha \wedge \beta) is the wedge product of (\alpha) and (\beta), which combines a k-form and an l-form into a ((k+l))-form.
- The term ((-1)^k) accounts for the antisymmetry of the wedge product.

Geometric Interpretation:

The product rule for the exterior derivative describes how the change in the combined object (\alpha \wedge \beta) depends on the changes in (\alpha) and (\beta).
The term ((-1)^k) arises because the wedge product is antisymmetric: (\alpha \wedge \beta = (-1)^{kl} \beta \wedge \alpha).

3. Product Rule—“Recursive Evaluation”

The product rule for the exterior derivative enables recursive evaluation of derivatives. Let’s see how this works.

Recursive Evaluation:

When applying the product rule to a wedge product of forms, the derivatives on the right-hand side may themselves involve exterior derivatives.
These derivatives can be evaluated recursively by repeatedly applying the product rule until the process reduces to computing the exterior derivative of 0-forms (scalar functions).

Key Idea:

The base case for the recursion is the exterior derivative of a 0-form, which is simply the differential of a scalar function.
For example, if (\alpha = u \, dx) and (\beta = v \, dy), then: [ d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^1 \alpha \wedge d\beta ] Here:
- (d\alpha = du \wedge dx)
- (d\beta = dv \wedge dy)
The final result boils down to taking the differential of ordinary scalar functions ((du) and (dv)).

4. Exterior Derivative—Examples

Let’s work through some examples to illustrate the product rule and recursive evaluation.

Example 1: Exterior Derivative of a 0-Form:

Let (\phi(x, y) = x^2 + y^2).
The exterior derivative (d\phi) is: [ d\phi = 2x \, dx + 2y \, dy ] This corresponds to the gradient of (\phi).

Example 2: Exterior Derivative of a 1-Form:

Let (\alpha = x \, dy - y \, dx).
The exterior derivative (d\alpha) is: [ d\alpha = d(x \, dy) - d(y \, dx) = dx \wedge dy - dy \wedge dx = 2 \, dx \wedge dy ] This corresponds to the curl of the vector field ((0, 0, 2)).

Example 3: Exterior Derivative of a 2-Form:

Let (\beta = x \, dy \wedge dz + y \, dz \wedge dx + z \, dx \wedge dy).
The exterior derivative (d\beta) is: [ d\beta = d(x \, dy \wedge dz) + d(y \, dz \wedge dx) + d(z \, dx \wedge dy) ] Using the product rule: [ d(x \, dy \wedge dz) = dx \wedge dy \wedge dz ] [ d(y \, dz \wedge dx) = dy \wedge dz \wedge dx = dx \wedge dy \wedge dz ] [ d(z \, dx \wedge dy) = dz \wedge dx \wedge dy = dx \wedge dy \wedge dz ] Thus: [ d\beta = 3 \, dx \wedge dy \wedge dz ] This corresponds to the divergence of the vector field ((x, y, z)), which is 3.

Summary

The product rule for the exterior derivative generalizes the classical product rule to differential forms: [ d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta ]
This rule enables recursive evaluation of derivatives, reducing everything to the differential of scalar functions (0-forms).
Examples illustrate how the exterior derivative acts on 0-forms, 1-forms, and 2-forms, corresponding to gradient, curl, and divergence in vector calculus.

In the next section, we’ll explore the exactness of the exterior derivative and its connection to the curl of a gradient.

Exterior Derivative—Exactness

In this section, we’ll explore the concept of exactness in exterior calculus, which is closely related to the curl of a gradient and the divergence of a vector field. We’ll also see how the Hodge star operator plays a key role in connecting these ideas.

1. Curl of Gradient, Exterior Derivative, and Exactness

The relationship between the curl of a gradient, the exterior derivative, and exactness is a fundamental result in both vector calculus and exterior calculus.

Curl of Gradient:

In vector calculus, the curl of a gradient is always zero: [ \nabla \times (\nabla \phi) = 0 ] This reflects the fact that the gradient of a scalar function is a conservative vector field with no “rotation.”

Exterior Derivative and Exactness:

In exterior calculus, the exterior derivative (d) generalizes the gradient, curl, and divergence.
A differential form (\alpha) is called exact if it can be written as the exterior derivative of another form: [ \alpha = d\beta ]
A key property of the exterior derivative is exactness: [ d \circ d = 0 ] This means that applying the exterior derivative twice always yields zero: [ d(d\beta) = 0 ]
This property generalizes the fact that the curl of a gradient is zero and the divergence of a curl is zero in vector calculus.

Intuition:

The property (d \circ d = 0) reflects the geometric principle that “the boundary of a boundary is zero.”
For example, if (\alpha = d\phi) is an exact 1-form (i.e., it is the exterior derivative of a 0-form (\phi)), then: [ d\alpha = d(d\phi) = 0 ] This corresponds to the curl of a gradient being zero.

2. Exterior Derivative and Curl, Especially with the Hodge Star

The Hodge star operator ((\star)) plays a key role in connecting the exterior derivative to the curl and divergence.

Exterior Derivative and Curl:

The curl of a vector field corresponds to the exterior derivative of a 1-form.
For a 1-form (\alpha = u \, dx + v \, dy + w \, dz), the exterior derivative (d\alpha) is: [ d\alpha = \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right) dy \wedge dz + \left( \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x} \right) dz \wedge dx + \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right) dx \wedge dy ] This 2-form encodes the same information as the curl of the vector field ((u, v, w)).

Applying the Hodge Star:

Applying the Hodge star operator to (d\alpha) converts the 2-form back into a 1-form: [ \star d\alpha = \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right) dx + \left( \frac{\partial u}{\partial z} - \frac{\partial w}{\partial x} \right) dy + \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right) dz ] This 1-form corresponds to the curl vector field: [ \nabla \times \mathbf{X} = \begin{pmatrix} \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z}
\frac{\partial u}{\partial z} - \frac{\partial w}{\partial x}
\frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \end{pmatrix} ]

Example: (d \star \alpha) for (\alpha = u \, dx + v \, dy + w \, dz):

The Hodge dual of (\alpha) is: [ \star \alpha = u \, dy \wedge dz + v \, dz \wedge dx + w \, dx \wedge dy ]
The exterior derivative (d(\star \alpha)) is: [ d(\star \alpha) = \left( \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} \right) dx \wedge dy \wedge dz ]
Applying the Hodge star again gives: [ \star d(\star \alpha) = \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} ] This is the divergence of the vector field ((u, v, w)): [ \nabla \cdot \mathbf{X} = \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} ]

3. Exterior Derivative and Divergence

The divergence of a vector field can also be expressed using the exterior derivative and the Hodge star operator.

Divergence in Exterior Calculus:

For a vector field (\mathbf{X} = (u, v, w)), the corresponding 1-form is (\alpha = u \, dx + v \, dy + w \, dz).
The divergence of (\mathbf{X}) is given by: [ \nabla \cdot \mathbf{X} = \star d \star \alpha ]
This identity shows that the divergence can be computed by applying the Hodge star operator, the exterior derivative, and the Hodge star operator again to the 1-form (\alpha).

Why (\nabla \cdot \mathbf{X} = \star d \star \alpha):

The Hodge star (\star \alpha) converts the 1-form (\alpha) into a 2-form: [ \star \alpha = u \, dy \wedge dz + v \, dz \wedge dx + w \, dx \wedge dy ]
The exterior derivative (d(\star \alpha)) computes the divergence: [ d(\star \alpha) = \left( \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} \right) dx \wedge dy \wedge dz ]
Applying the Hodge star again converts the 3-form back into a 0-form (scalar function): [ \star d(\star \alpha) = \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} ] This is the divergence (\nabla \cdot \mathbf{X}).

Summary

The exterior derivative (d) generalizes the gradient, curl, and divergence from vector calculus.
The property (d \circ d = 0) (exactness) reflects the fact that the curl of a gradient is zero and the divergence of a curl is zero.
The Hodge star operator ((\star)) connects the exterior derivative to the curl and divergence, enabling a coordinate-free formulation of these operations.
The divergence of a vector field (\mathbf{X}) can be expressed as: [ \nabla \cdot \mathbf{X} = \star d \star \alpha ] where (\alpha) is the 1-form corresponding to (\mathbf{X}).

Exterior Derivative—Summary

In this final section, we’ll summarize the key ideas about the exterior derivative and its role in exterior calculus. We’ll start by visualizing the operators in a diagram, then discuss the Laplacian and its expression in exterior calculus. Finally, we’ll recap the main properties of the exterior derivative and its connection to Stokes’ theorem.

1. Exterior Calculus—Diagram View

Exterior calculus can be visualized as a sequence of operators acting on differential forms. Here’s a diagram that shows how the exterior derivative (d) and the Hodge star operator (\star) connect different spaces of forms:

[ \Omega^0 \xrightarrow{d} \Omega^1 \xrightarrow{d} \Omega^2 \xrightarrow{d} \Omega^3 \xrightarrow{d} \cdots ]

(\Omega^k) is the space of k-forms.
The exterior derivative (d) maps a k-form to a (k+1)-form.
The Hodge star operator (\star) maps a k-form to an (n-k)-form, where (n) is the dimension of the space.

This diagram shows how the exterior derivative generalizes differentiation to higher dimensions and connects different types of forms.

2. Laplacian in Vector Calculus and Exterior Calculus

The Laplacian is a fundamental operator in mathematics and physics. Let’s compare its expression in vector calculus and exterior calculus.

Laplacian in Vector Calculus:

In vector calculus, the Laplacian of a scalar function (\phi) is: [ \Delta \phi = \nabla \cdot (\nabla \phi) ] This measures the “divergence of the gradient” of (\phi).

Laplacian in Exterior Calculus:

In exterior calculus, the Laplacian of a scalar function (\phi) (a 0-form) is expressed as: [ \Delta \phi = \star d \star d \phi ] Here’s how it works:
1. The exterior derivative (d) of (\phi) gives the 1-form (d\phi), which corresponds to the gradient (\nabla \phi).
2. Applying the Hodge star (\star) to (d\phi) gives a 2-form (\star d\phi).
3. Applying the exterior derivative (d) to (\star d\phi) gives a 3-form (d \star d\phi), which corresponds to the divergence (\nabla \cdot (\nabla \phi)).
4. Applying the Hodge star (\star) to (d \star d\phi) converts the 3-form back into a 0-form (scalar function), yielding the Laplacian (\Delta \phi).

Why the Laplacian is (\star d \star d):

The Laplacian in exterior calculus is (\star d \star d) because it combines the gradient and divergence operations into a single operator.
This formulation generalizes the Laplacian to curved spaces and higher dimensions, making it a powerful tool in differential geometry and physics.

3. Exterior Derivative: Key Properties

The exterior derivative (d) is a central operator in exterior calculus. Here’s a summary of its key properties and applications:

Differentiation of k-Forms:

The exterior derivative (d) maps a k-form to a (k+1)-form:
- 0-form: The exterior derivative of a scalar function (\phi) corresponds to the gradient: [ d\phi = \frac{\partial \phi}{\partial x} dx + \frac{\partial \phi}{\partial y} dy + \frac{\partial \phi}{\partial z} dz ]
- 1-form: The exterior derivative of a 1-form corresponds to the curl: [ d\alpha = \left( \frac{\partial w}{\partial y} - \frac{\partial v}{\partial z} \right) dy \wedge dz + \cdots ]
- 2-form: The exterior derivative of a 2-form corresponds to the divergence (via the codifferential (\delta = \star d \star)): [ d\beta = \left( \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} + \frac{\partial w}{\partial z} \right) dx \wedge dy \wedge dz ]

Natural Product Rule:

The exterior derivative satisfies a product rule for the wedge product ((\wedge)) of forms: [ d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^k \alpha \wedge d\beta ] where (\alpha) is a k-form and (\beta) is an l-form.

Exactness ((d \circ d = 0)):

Applying the exterior derivative twice always yields zero: [ d \circ d = 0 ] This property generalizes the fact that the curl of a gradient is zero and the divergence of a curl is zero in vector calculus.

Analogy: Curl of Gradient:

The property (d \circ d = 0) reflects the geometric principle that “the boundary of a boundary is zero.”

More General Picture via Stokes’ Theorem:

The exterior derivative is deeply connected to Stokes’ theorem, which generalizes the fundamental theorem of calculus to higher dimensions: [ \int_\Omega d\alpha = \int_{\partial \Omega} \alpha ] This provides a unified framework for understanding differentiation and integration on manifolds.

Summary

The exterior derivative (d) is a powerful tool in exterior calculus that generalizes differentiation to k-forms. Its key properties include:

Differentiation of k-forms: It maps 0-forms to gradients, 1-forms to curls, and 2-forms to divergences.
Natural product rule: It behaves consistently when applied to products of forms.
Exactness: It satisfies (d \circ d = 0), reflecting the fact that the curl of a gradient is zero.
Connection to Stokes’ theorem: It provides a unified framework for differentiation and integration on manifolds.

The Laplacian in exterior calculus is expressed as (\star d \star d), generalizing the Laplacian from vector calculus to curved spaces and higher dimensions. This formulation highlights the elegance and power of exterior calculus in unifying and extending classical calculus concepts.

Exterior Derivative

Overview

1. Overview of Exterior Calculus

2. Two Big Ideas in Calculus: Integration and Differentiation

3. Motivation for Exterior Calculus

Exterior Derivative

1. Derivatives and Vector Derivatives

Derivative: Many Interpretations

Vector Derivatives

2. Exterior Derivative: A Unique Linear Map

What is the Exterior Derivative?

Key Properties of the Exterior Derivative

3. Why the Exterior Derivative is Powerful

Exterior Derivative—Differential

1. Differential of a Function

Definition 1: Coordinate-Free Definition

Definition 2: Definition in Coordinates

2. Gradient vs. Differential

Gradient:

Differential:

Key Differences:

3. Why the Differential is a Function, but the Gradient is a Vector

4. Example

Summary

Exterior Derivative—Product Rule

1. From Product of Numbers to Product Rule—Derivative

Product of Numbers:

Product Rule for Derivatives:

Geometric Interpretation:

2. Product Rule—Exterior Derivative

Product Rule for the Exterior Derivative:

Geometric Interpretation:

3. Product Rule—“Recursive Evaluation”

Recursive Evaluation:

Key Idea:

4. Exterior Derivative—Examples

Example 1: Exterior Derivative of a 0-Form:

Example 2: Exterior Derivative of a 1-Form:

Example 3: Exterior Derivative of a 2-Form:

Summary

Exterior Derivative—Exactness

1. Curl of Gradient, Exterior Derivative, and Exactness

Curl of Gradient:

Exterior Derivative and Exactness:

Intuition:

2. Exterior Derivative and Curl, Especially with the Hodge Star

Exterior Derivative and Curl:

Applying the Hodge Star:

Example: (d \star \alpha) for (\alpha = u \, dx + v \, dy + w \, dz):

3. Exterior Derivative and Divergence

Divergence in Exterior Calculus:

Why (\nabla \cdot \mathbf{X} = \star d \star \alpha):

Summary

Exterior Derivative—Summary

1. Exterior Calculus—Diagram View

2. Laplacian in Vector Calculus and Exterior Calculus

Laplacian in Vector Calculus:

Laplacian in Exterior Calculus:

Why the Laplacian is (\star d \star d):

3. Exterior Derivative: Key Properties

Differentiation of k-Forms:

Natural Product Rule:

Exactness ((d \circ d = 0)):

Analogy: Curl of Gradient:

More General Picture via Stokes’ Theorem:

Summary

Enjoy Reading This Article?