Differential form

In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a unified approach to defining integrands over curves, surfaces, volumes, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.

For instance, the expression $f (x) dx$ from one-variable calculus is an example of a $1$ -form, and can be integrated over an interval $[a, b]$ in the domain of $f$ :

\int _{a}^{b}f(x)\,dx

and similarly the expression $f (x, y, z) dx \land dy + g (x, y, z) dx \land dz + h (x, y, z) dy \land dz$ is a $2$ -form that has a surface integral over an oriented surface $S$ :

\int _{S}f(x,y,z)\,dx\wedge dy+g(x,y,z)\,dx\wedge dz+h(x,y,z)\,dy\wedge dz.

Throughout this article, the symbol $\land$ denotes the exterior product, sometimes called the wedge product, of two differential forms.

Likewise, a $3$ -form $f (x, y, z) dx \land dy \land dz$ represents a volume element that can be integrated over a region of space. In general, a $k$ -form is an object that may be integrated over $k$ -dimensional sets, and is homogeneous of degree $k$ in the coordinate differentials.

The algebra of differential forms is organized in a way that naturally reflects the orientation of the domain of integration. There is an operation $d$ on differential forms known as the exterior derivative that, when acting on a $k$ -form, produces a $(k + 1)$ -form. This operation extends the differential of a function, and is directly related to the divergence and the curl of a vector field in a manner that makes the fundamental theorem of calculus, the divergence theorem, Green's theorem, and Stokes' theorem special cases of the same general result, known in this context also as the generalized Stokes' theorem. In a deeper way, this theorem relates the topology of the domain of integration to the structure of the differential forms themselves; the precise connection is known as de Rham's theorem.

The general setting for the study of differential forms is on a differentiable manifold. Differential $1$ -forms are naturally dual to vector fields on a manifold, and the pairing between vector fields and $1$ -forms is extended to arbitrary differential forms by the interior product. The algebra of differential forms along with the exterior derivative defined on it is preserved by the pullback under smooth functions between two manifolds. This feature allows geometrically invariant information to be moved from one space to another via the pullback, provided that the information is expressed in terms of differential forms. As an example, the change of variables formula for integration becomes a simple statement that an integral is preserved under pullback.

History

Differential forms are part of the field of differential geometry, influenced by linear algebra. Although the notion of a differential is quite old, the initial attempt at an algebraic organization of differential forms is usually credited to Élie Cartan with reference to his 1899 paper.^[1]

Concept

Differential forms provide an approach to multivariable calculus that is independent of coordinates.

Integration

A differential $k$ -form can be integrated over a manifold of dimension $k$ . A differential one-form can be thought of as measuring an infinitesimal (oriented) length, or one-dimensional density. A differential two-form can be thought of as measuring an infinitesimal (oriented) area, or two-dimensional density. And so on.

Integration of differential forms is well-defined only on oriented manifolds. An example of a one dimensional manifold is an interval $[a, b]$ , and intervals can be given an orientation: they are positively oriented if $a < b$ , and negatively oriented otherwise. If $a < b$ then the integral of the differential one-form $f (x) dx$ over the interval $[a, b]$ (with its natural positive orientation) is

\int _{a}^{b}f(x)\,dx

which is the negative of the integral of the same differential form over the same interval, when equipped with the opposite orientation. That is:

\int _{b}^{a}f(x)\,dx=-\int _{a}^{b}f(x)\,dx

This gives a geometrical context to the conventions for one-dimensional integrals, that the sign changes when the orientation of the interval is reversed. A standard explanation of this in one-variable integration theory is that, when the limits of integration are in the opposite order ( $b < a$ ), the increment $dx$ is negative. The integrals are negatives of one another because the oriented lengths "dx" have opposite directions.

More generally, an $m$ -form is an oriented density that can be integrated over an $m$ -dimensional oriented manifold. (For example, a $1$ -form can be integrated over an oriented curve, a $2$ -form can be integrated over an oriented surface, etc.) If $M$ is an oriented $m$ -dimensional manifold, and $M'$ is the same manifold with opposed orientation and $ω$ is an $m$ -form, then one has:

\int _{M}\omega =-\int _{M'}\omega \,.

These conventions correspond to interpreting the integrand as a differential form, integrated over a chain. In measure theory, by contrast, one interprets the integrand as a function $f$ with respect to a measure $μ$ and integrates over a subset $A$ , without any notion of orientation; one writes $\textstyle {\int _{A}f\,d\mu =\int _{[a,b]}f\,d\mu }$ to indicate integration over a subset $A$ . This is a minor distinction in one dimension, but becomes subtler on higher-dimensional manifolds; see below for details.

Making the notion of an oriented density precise, and thus of a differential form, involves the exterior algebra. The basic $1$ -forms are the differentials of the coordinates: $dx 1$ , ..., $dx n$ . Each of these represents a covector that measures a small displacement in the corresponding coordinate direction. A general $1$ -form is a linear combination of these differentials

f_{1}dx^{1}+\cdots +f_{n}dx^{n}

where the $f_{k}$ are functions of the coordinates. A differential $1$ -form is integrated along an oriented curve as a line integral.

The basic two-forms are expressions $dx i \land dx j$ , where $i < j$ . This represents an infinitesimal oriented square parallel to the $x i$ – $x j$ -plane. A general two-form is a linear combination of these, and it is integrated just like a surface integral.

A fundamental operation defined on differential forms is the exterior product (the symbol is the wedge $\land$ ). This is similar to the cross product from vector calculus, in that it is an alternating product. For instance,

dx^{1}\wedge dx^{2}=-dx^{2}\wedge dx^{1}

because the square whose first side is $dx 1$ and second side is $dx 2$ is to be regarded as having the opposite orientation as the square whose first side is $dx 2$ and whose second side is $dx 1$ . The exterior product allows higher dimensional differential forms to be built out of lower-dimensional ones, in much the same way that the cross product in vector calculus allows one to compute the area vector of a parallelogram from vectors pointing up the two sides.

In addition to the exterior product, there is also the exterior derivative operator $d$ . Like the differential of a function, the exterior derivative gives a way of quantifying a differential form's sensitivity to change. In $R n$ , if $ω = f dx a$ is a $k$ -form, then $dω$ is a $k + 1$ -form defined by

d\omega =\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx^{i}\wedge dx^{a}.

with extension to general $k$ -forms occurring linearly.

This more general approach allows for a more natural coordinate-free approach to integration on manifolds. It also allows for a natural generalization of the fundamental theorem of calculus (see § Stokes' theorem).

Differential calculus

Let $U$ be an open set in $R n$ . A differential $0$ -form ("zero-form") is defined to be a smooth function $f$ on $U$ . If $v$ is any vector in $R n$ , then $f$ has a directional derivative $\partial v f$ , which is another function on $U$ whose value at a point $p \in U$ is the rate of change (at $p$ ) of $f$ in the $v$ direction:

(\partial _{v}f)(p)=\left.{\frac {d}{dt}}f(p+tv)\right|_{t=0}.

(This notion can be extended to the case that $v$ is a vector field on $U$ by evaluating $v$ at the point $p$ in the definition.)

In particular, if $v = e j$ is the $j$ th coordinate vector then $\partial v f$ is the partial derivative of $f$ with respect to the $j$ th coordinate function, i.e., $\partial f / \partial x j$ , where $x 1$ , $x 2$ , ..., $x n$ are the coordinate functions on $U$ . By their very definition, partial derivatives depend upon the choice of coordinates: if new coordinates $y 1$ , $y 2$ , ..., $y n$ are introduced, then

{\frac {\partial f}{\partial x^{j}}}=\sum _{i=1}^{n}{\frac {\partial y^{i}}{\partial x^{j}}}{\frac {\partial f}{\partial y^{i}}}.

The first idea leading to differential forms is the observation that $\partial v f (p)$ is a linear function of $v$ :

{\begin{aligned}(\partial _{v+w}f)(p)&=(\partial _{v}f)(p)+(\partial _{w}f)(p)\\(\partial _{cv}f)(p)&=c(\partial _{v}f)(p)\end{aligned}}

for any vectors $v$ , $w$ and any real number $c$ . This linear map from $R n$ to $R$ is denoted $df p$ and called the derivative of $f$ at $p$ . Thus $df p (v) = \partial v f (p)$ . The object $df$ can be viewed as a function on $U$ , whose value at $p$ is not a real number, but the linear map $df p$ . This is just the usual Fréchet derivative – an example of a differential $1$ -form.

Since any vector $v$ is a linear combination $\sum v j e j$ of its components, $df$ is uniquely determined by $df p (e j)$ for each $j$ and each $p \in U$ , which are just the partial derivatives of $f$ on $U$ . Thus $df$ provides a way of encoding the partial derivatives of $f$ . It can be decoded by noticing that the coordinates $x 1$ , $x 2$ , ..., $x n$ are themselves functions on $U$ , and so define differential $1$ -forms $dx 1$ , $dx 2$ , ..., $dx n$ . Let $f = x i$ . Since $\partial x i / \partial x j = δ j i$ , the Kronecker delta function, it follows that

$df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x^{i}}}\,dx^{i}.$

(*)

The meaning of this expression is given by evaluating both sides at an arbitrary point $p$ : on the right hand side, the sum is defined "pointwise", so that

df_{p}=\sum _{i=1}^{n}{\frac {\partial f}{\partial x^{i}}}(p)(dx^{i})_{p}.

Applying both sides to $e j$ , the result on each side is the $j$ th partial derivative of $f$ at $p$ . Since $p$ and $j$ were arbitrary, this proves the formula (*).

More generally, for any smooth functions $g i$ and $h i$ on $U$ , we define the differential $1$ -form $α = \sum i g i dh i$ pointwise by

\alpha _{p}=\sum _{i}g_{i}(p)(dh_{i})_{p}

for each $p \in U$ . Any differential $1$ -form arises this way, and by using (*) it follows that any differential $1$ -form $α$ on $U$ may be expressed in coordinates as

\alpha =\sum _{i=1}^{n}f_{i}\,dx^{i}

for some smooth functions $f i$ on $U$ .

The second idea leading to differential forms arises from the following question: given a differential $1$ -form $α$ on $U$ , when does there exist a function $f$ on $U$ such that $α = df$ ? The above expansion reduces this question to the search for a function $f$ whose partial derivatives $\partial f / \partial x i$ are equal to $n$ given functions $f i$ . For $n > 1$ , such a function does not always exist: any smooth function $f$ satisfies

{\frac {\partial ^{2}f}{\partial x^{i}\,\partial x^{j}}}={\frac {\partial ^{2}f}{\partial x^{j}\,\partial x^{i}}},

so it will be impossible to find such an $f$ unless

{\frac {\partial f_{j}}{\partial x^{i}}}-{\frac {\partial f_{i}}{\partial x^{j}}}=0

for all $i$ and $j$ .

The skew-symmetry of the left hand side in $i$ and $j$ suggests introducing an antisymmetric product $\land$ on differential $1$ -forms, the exterior product, so that these equations can be combined into a single condition

\sum _{i,j=1}^{n}{\frac {\partial f_{j}}{\partial x^{i}}}\,dx^{i}\wedge dx^{j}=0,

where $\land$ is defined so that:

dx^{i}\wedge dx^{j}=-dx^{j}\wedge dx^{i}.

This is an example of a differential $2$ -form. This $2$ -form is called the exterior derivative $dα$ of $α = \sum n j =1 f j dx j$ . It is given by

d\alpha =\sum _{j=1}^{n}df_{j}\wedge dx^{j}=\sum _{i,j=1}^{n}{\frac {\partial f_{j}}{\partial x^{i}}}\,dx^{i}\wedge dx^{j}.

To summarize: $dα = 0$ is a necessary condition for the existence of a function $f$ with $α = df$ .

Differential $0$ -forms, $1$ -forms, and $2$ -forms are special cases of differential forms. For each $k$ , there is a space of differential $k$ -forms, which can be expressed in terms of the coordinates as

\sum _{i_{1},i_{2}\ldots i_{k}=1}^{n}f_{i_{1}i_{2}\ldots i_{k}}dx^{i_{1}}\wedge dx^{i_{2}}\wedge \cdots \wedge dx^{i_{k}}

for a collection of functions $f i 1 i 2 \cdot\cdot\cdot i k$ . (As assumed below, one can restrict the sum to the case $i 1 < i 2 < ... < i k -1 < i k$ .)

Differential forms can be multiplied together using the exterior product, and for any differential $k$ -form $α$ , there is a differential $(k + 1)$ -form $dα$ called the exterior derivative of $α$ .

Differential forms, the exterior product and the exterior derivative are independent of a choice of coordinates. Consequently, they may be defined on any smooth manifold $M$ . One way to do this is cover $M$ with coordinate charts and define a differential $k$ -form on $M$ to be a family of differential $k$ -forms on each chart which agree on the overlaps. However, there are more intrinsic definitions which make the independence of coordinates manifest.

Intrinsic definitions

Let $M$ be a smooth manifold. A smooth differential form of degree $k$ is a smooth section of the $k$ th exterior power of the cotangent bundle of $M$ . At any point $p \in M$ , a $k$ -form $β$ is an element

\beta _{p}\in \bigwedge ^{k}T_{p}^{*}M,

where $T p M$ is the tangent space to $M$ at $p$ . This space is naturally isomorphic to the dual of the $k$ th exterior power of the tangent bundle of $M$ , so $β$ is also a linear functional

\beta _{p}\colon \bigwedge ^{k}T_{p}M\to \mathbf {R} .

By the universal property of exterior powers, this is equivalently an alternating multilinear map

\beta _{p}\colon \bigoplus _{n=1}^{k}T_{p}M\to \mathbf {R} .

The exterior algebra may be embedded in the tensor algebra by means of the alternation map. More precisely, there is a map of vector bundles

\operatorname {Alt} \colon \bigwedge ^{k}T^{*}M\to \otimes ^{k}T^{*}M

defined at each point $p$ by

\operatorname {Alt} (\omega _{p})(x_{1},\dots ,x_{k})={\frac {1}{k!}}\sum _{\sigma \in S_{k}}\operatorname {sgn}(\sigma )\omega _{p}(x_{\sigma (1)},\dots ,x_{\sigma (k)}),

where $S k$ is the symmetric group on $k$ elements. This map exhibits $β$ as a totally antisymmetric covariant tensor field of rank $k$ . The differential forms on $M$ are in one-to-one correspondence with such tensor fields.

The set of all differential $k$ -forms on a manifold $M$ is a vector space, often denoted $Ω k (M)$ .

For example, a differential $1$ -form $α$ assigns to each point $p \in M$ a linear functional $α p$ on $T p M$ . In the presence of an inner product on $T p M$ (induced by a Riemannian metric on $M$ ), $α p$ may be represented as the inner product with a tangent vector $X p$ . Differential $1$ -forms are sometimes called covariant vector fields, covector fields, or "dual vector fields", particularly within physics.

Operations

As well as the addition and multiplication by scalar operations which arise from the vector space structure, there are several other standard operations defined on differential forms. The most important operations are the exterior product of two differential forms, the exterior derivative of a single differential form, the interior product of a differential form and a vector field, the Lie derivative of a differential form with respect to a vector field and the covariant derivative of a differential form with respect to a vector field on a manifold with a defined connection.

Exterior product

The exterior product of a $k$ -form $α$ and an $l$ -form $β$ is a ( $k + l$ )-form denoted $α \land β$ . At each point $p$ of the manifold $M$ , the forms $α$ and $β$ are elements of an exterior power of the tangent space at $p$ . When the exterior algebra is viewed as a quotient of the tensor algebra, the exterior product corresponds to the tensor product.

The antisymmetry inherent in the exterior algebra means that when $α \land β$ is viewed as a multilinear functional, it is alternating. However, when the exterior algebra is viewed as a subspace of the tensor algebra, the tensor product $α \otimes β$ is not alternating. There is an explicit formula which describes the exterior product in this situation. The exterior product is

\alpha \wedge \beta ={\frac {(k+\ell )!}{k!\ell !}}\operatorname {Alt} (\alpha \otimes \beta ).

This description is useful for explicit computations. For example, if $k = l = 1$ , then $α \land β$ is the $2$ -form whose value at a point $p$ is the alternating bilinear form defined by

(\alpha \wedge \beta )_{p}(v,w)=\alpha _{p}(v)\beta _{p}(w)-\alpha _{p}(w)\beta _{p}(v)

for $v, w \in T p M$ .

The exterior product is bilinear: for instance, if $α$ , $β$ , and $γ$ are any differential forms, then

\alpha \wedge (\beta +\gamma )=\alpha \wedge \beta +\alpha \wedge \gamma .

It is skew commutative (also known as graded commutative), meaning that it satisfies a variant of anticommutativity that depends on the degrees of the forms: if $α$ is a $k$ -form and $β$ is an $l$ -form, then

\alpha \wedge \beta =(-1)^{kl}\beta \wedge \alpha .

Riemannian manifold

On a Riemannian manifold, or more generally a pseudo-Riemannian manifold, vector and covector fields can be identified (the metric is a fiber-wise isomorphism of the tangent space and the cotangent space), and additional operations can thus be defined, such as the Hodge star operator $\star \colon \Omega ^{k}(M){\overset {\sim }{\to }}\Omega ^{n-k}(M)$ and codifferential $\delta \colon \Omega ^{k}(M)\rightarrow \Omega ^{k-1}(M)$ (degree $-1$ ), which is adjoint to the exterior differential $d$ .

Vector field structures

On a pseudo-Riemannian manifold, $1$ -forms can be identified with vector fields; vector fields have additional distinct algebraic structures, which are listed here for context and to avoid confusion.

Firstly, each (co)tangent space generates a Clifford algebra, where the product of a (co)vector with itself is given by the value of a quadratic form – in this case, the natural one induced by the metric. This algebra is distinct from the exterior algebra of differential forms, which can be viewed as a Clifford algebra where the quadratic form vanishes (since the exterior product of any vector with itself is zero). Clifford algebras are thus non-anti-commutative ("quantum") deformations of the exterior algebra. They are studied in geometric algebra.

Another alternative is to consider vector fields as derivations, and consider the (noncommutative) algebra of differential operators they generate, which is the Weyl algebra, and is a noncommutative ("quantum") deformation of the symmetric algebra in the vector fields.

Exterior differential complex

One important property of the exterior derivative is that $d 2 = 0$ . This means that the exterior derivative defines a cochain complex:

0\ \to \ \Omega ^{0}(M)\ {\stackrel {d}{\to }}\ \Omega ^{1}(M)\ {\stackrel {d}{\to }}\ \Omega ^{2}(M)\ {\stackrel {d}{\to }}\ \Omega ^{3}(M)\ \to \ \cdots \ \to \ \Omega ^{n}(M)\ \to \ 0.

By the Poincaré lemma, this complex is locally exact except at $Ω 0 (M)$ . Its cohomology is the de Rham cohomology of $M$ .

Pullback

One of the main reasons the cotangent bundle rather than the tangent bundle is used in the construction of the exterior complex is that differential forms are capable of being pulled back by smooth maps, while vector fields cannot be pushed forward by smooth maps unless the map is, say, a diffeomorphism. The existence of pullback homomorphisms in de Rham cohomology depends on the pullback of differential forms.

Differential forms can be moved from one manifold to another using a smooth map. If $f : M \to N$ is smooth and $ω$ is a smooth $k$ -form on $N$ , then there is a differential form $f * ω$ on $M$ , called the pullback of $ω$ , which captures the behavior of $ω$ as seen relative to $f$ .

To define the pullback, recall that the differential of $f$ is a map $f * : TM \to TN$ . Fix a differential $k$ -form $ω$ on $N$ . For a point $p$ of $M$ and tangent vectors $v 1$ , ..., $v k$ to $M$ at $p$ , the pullback of $ω$ is defined by the formula

(f^{*}\omega )_{p}(v_{1},\ldots ,v_{k})=\omega _{f(p)}(f_{*}v_{1},\ldots ,f_{*}v_{k}).

More abstractly, if $ω$ is viewed as a section of the cotangent bundle $T * N$ of $N$ , then $f * ω$ is the section of $T * M$ defined as the composite map

M{\stackrel {f}{\to }}N{\stackrel {\omega }{\to }}T^{*}N{\stackrel {(Df)^{*}}{\longrightarrow }}T^{*}M.

Pullback respects all of the basic operations on forms:

{\begin{aligned}f^{*}(\omega +\eta )&=f^{*}\omega +f^{*}\eta ,\\f^{*}(\omega \wedge \eta )&=f^{*}\omega \wedge f^{*}\eta ,\\f^{*}(d\omega )&=d(f^{*}\omega ).\end{aligned}}

The pullback of a form can also be written in coordinates. Assume that $x 1$ , ..., $x m$ are coordinates on $M$ , that $y 1$ , ..., $y n$ are coordinates on $N$ , and that these coordinate systems are related by the formulas $y i = f i (x 1, ..., x m)$ for all $i$ . Then, locally on $N$ , $ω$ can be written as

\omega =\sum _{i_{1}<\cdots <i_{k}}\omega _{i_{1}\cdots i_{k}}\,dy_{i_{1}}\wedge \cdots \wedge dy_{i_{k}},

where, for each choice of $i 1$ , ..., $i k$ , $ω i 1 \cdot\cdot\cdot i k$ is a real-valued function of $y 1$ , ..., $y n$ . Using the linearity of pullback and its compatibility with exterior product, the pullback of $ω$ has the formula

f^{*}\omega =\sum _{i_{1}<\cdots <i_{k}}(\omega _{i_{1}\cdots i_{k}}\circ f)\,df_{i_{1}}\wedge \cdots \wedge df_{i_{k}}.

Each exterior derivative $df i$ can be expanded in terms of $dx 1$ , ..., $dx m$ . The resulting $k$ -form can be written using Jacobian matrices:

f^{*}\omega =\sum _{i_{1}<\cdots <i_{k}}\sum _{j_{1}<\cdots <j_{k}}(\omega _{i_{1}\cdots i_{k}}\circ f){\frac {\partial (f_{i_{1}},\ldots ,f_{i_{k}})}{\partial (x_{j_{1}},\ldots ,x_{j_{k}})}}\,dx_{j_{1}}\wedge \cdots \wedge dx_{j_{k}}.

Here, ${\frac {\partial (f_{i_{1}},\ldots ,f_{i_{k}})}{\partial (x_{j_{1}},\ldots ,x_{j_{k}})}}$ denotes the determinant of the matrix whose entries are ${\frac {\partial f_{i_{m}}}{\partial x_{j_{n}}}}$ , $1\leq m,n\leq k$ .

Integration

A differential $k$ -form can be integrated over an oriented $k$ -dimensional manifold. More generally, it can be integrated over $k$ -dimensional chains. If $k = 0$ , this is just evaluation of a function at points. Other values of $k = 1, 2, 3, ...$ correspond to line integrals, surface integrals, volume integrals etc. Simply, a chain parametrizes a domain of integration as a collection of cells (images of cubes or other domains $D$ ) that are patched together; to integrate, one pulls back the form on each cell of the chain to a form on the cube (or other domain) and integrates there, which is just integration of a function on $R k$ , as the pulled back form is simply a multiple of the volume form $du 1 \land ... \land du k$ . For example, given a path $γ (t) : [0, 1] \to R 2$ , integrating a form on the path is simply pulling back the form to a function on $[0, 1]$ (properly, to a form $f (t) dt$ ) and integrating the function on the interval.

Formal details

Let

\omega =\sum _{i_{1}<\cdots <i_{k}}a_{i_{1},\dots ,i_{k}}({\mathbf {x} })\,dx^{i_{1}}\wedge \ldots \wedge dx^{i_{k}}

be a differential form and $S$ a differentiable $k$ -manifold over which we wish to integrate, where $S$ has the parameterization

S({\mathbf {u} })=(x^{1}({\mathbf {u} }),\dots ,x^{k}({\mathbf {u} }))

for $u$ in the parameter domain $D$ . Then (Rudin 1976) defines the integral of the differential form over $S$ as

\int _{S}\omega =\int _{D}\sum _{i_{1}<\cdots <i_{k}}a_{i_{1},\dots ,i_{k}}(S({\mathbf {u} })){\frac {\partial (x^{i_{1}},\dots ,x^{i_{k}})}{\partial (u^{1},\dots ,u^{k})}}\,du^{1}\cdots du^{k},

where the integral on the right-hand side is the standard Riemann (or Lebesgue) integral over $D$ , and

{\frac {\partial (x^{i_{1}},\dots ,x^{i_{k}})}{\partial (u^{1},\dots ,u^{k})}}

is the determinant of the Jacobian. The Jacobian exists because $S$ is differentiable.

More generally, a $k$ -form can be integrated over a $p$ -dimensional submanifold, for $p \leq k$ , to obtain a ( $k - p$ )-form. This comes up, for example, in defining the pushforward of a differential form by a smooth map $f : M \to N$ by attempting to integrate over the fibers of $f$ .

Stokes' theorem

The fundamental relationship between the exterior derivative and integration is given by the Stokes' theorem: If $ω$ is an ( $n - 1$ )-form with compact support on $M$ and $\partialM$ denotes the boundary of $M$ with its induced orientation, then

\int _{M}d\omega =\oint _{\partial M}\omega .

A key consequence of this is that "the integral of a closed form over homologous chains is equal": If $ω$ is a closed $k$ -form and $M$ and $N$ are $k$ -chains that are homologous (such that $M - N$ is the boundary of a ( $k + 1$ )-chain $W$ ), then $\textstyle {\int _{M}\omega =\int _{N}\omega }$ , since the difference is the integral $\int _{W}d\omega =\int _{W}0=0$ .

For example, if $ω = df$ is the derivative of a potential function on the plane or $R n$ , then the integral of $ω$ over a path from $a$ to $b$ does not depend on the choice of path (the integral is $f (b) - f (a)$ ), since different paths with given endpoints are homotopic, hence homologous (a weaker condition). This case is called the gradient theorem, and generalizes the fundamental theorem of calculus. This path independence is very useful in contour integration.

This theorem also underlies the duality between de Rham cohomology and the homology of chains.

Relation with measures

On a general differentiable manifold (without additional structure), differential forms cannot be integrated over subsets of the manifold; this distinction is key to the distinction between differential forms, which are integrated over chains, and measures, which are integrated over subsets. The simplest example is attempting to integrate the $1$ -form $dx$ over the interval $[0, 1]$ . Assuming the usual distance (and thus measure) on the real line, this integral is either $1$ or $- 1$ , depending on orientation: $\textstyle {\int _{0}^{1}dx=1}$ , while $\textstyle {\int _{1}^{0}dx=-\int _{0}^{1}dx=-1}$ . By contrast, the integral of the measure $| dx |$ on the interval is unambiguously $1$ (formally, the integral of the constant function $1$ with respect to this measure is $1$ ). Similarly, under a change of coordinates a differential $n$ -form changes by the Jacobian determinant $J$ , while a measure changes by the absolute value of the Jacobian determinant, $| J |$ , which further reflects the issue of orientation. For example, under the map $x \mapsto - x$ on the line, the differential form $dx$ pulls back to $- dx$ ; orientation has reversed; while the Lebesgue measure, which here we denote $| dx |$ , pulls back to $| dx |$ ; it does not change.

In the presence of the additional data of an orientation, it is possible to integrate $n$ -forms (top-dimensional forms) over the entire manifold or over compact subsets; integration over the entire manifold corresponds to integrating the form over the fundamental class of the manifold, $[M]$ . Formally, in the presence of an orientation, one may identify $n$ -forms with densities on a manifold; densities in turn define a measure, and thus can be integrated (Folland 1999, Section 11.4, pp. 361–362).

On an orientable but not oriented manifold, there are two choices of orientation; either choice allows one to integrate $n$ -forms over compact subsets, with the two choices differing by a sign. On non-orientable manifold, $n$ -forms and densities cannot be identified —notably, any top-dimensional form must vanish somewhere (there are no volume forms on non-orientable manifolds), but there are nowhere-vanishing densities— thus while one can integrate densities over compact subsets, one cannot integrate $n$ -forms. One can instead identify densities with top-dimensional pseudoforms.

There is in general no meaningful way to integrate $k$ -forms over subsets for $k < n$ because there is no consistent way to orient $k$ -dimensional subsets; geometrically, a $k$ -dimensional subset can be turned around in place, reversing any orientation but yielding the same subset. Compare the Gram determinant of a set of $k$ vectors in an $n$ -dimensional space, which, unlike the determinant of $n$ vectors, is always positive, corresponding to a squared number.

On a Riemannian manifold, one may define a $k$ -dimensional Hausdorff measure for any $k$ (integer or real), which may be integrated over $k$ -dimensional subsets of the manifold. A function times this Hausdorff measure can then be integrated over $k$ -dimensional subsets, providing a measure-theoretic analog to integration of $k$ -forms. The $n$ -dimensional Hausdorff measure yields a density, as above.

Applications in physics

Differential forms arise in some important physical contexts. For example, in Maxwell's theory of electromagnetism, the Faraday 2-form, or electromagnetic field strength, is

{\textbf {F}}={\frac {1}{2}}f_{ab}\,dx^{a}\wedge dx^{b}\,,

where the $f ab$ are formed from the electromagnetic fields ${\vec {E}}$ and ${\vec {B}}$ ; e.g., $f 12 = E z / c$ , $f 23 = - B z$ , or equivalent definitions.

This form is a special case of the curvature form on the $U(1)$ principal bundle on which both electromagnetism and general gauge theories may be described. The connection form for the principal bundle is the vector potential, typically denoted by $A$ , when represented in some gauge. One then has

{\textbf {F}}=d{\textbf {A}}.

The current $3$ -form is

{\textbf {J}}={\frac {1}{6}}j^{a}\,\varepsilon _{abcd}\,dx^{b}\wedge dx^{c}\wedge dx^{d}\,,

where $j a$ are the four components of the current density. (Here it is a matter of convention to write $F ab$ instead of $f ab$ , i.e. to use capital letters, and to write $J a$ instead of $j a$ . However, the vector rsp. tensor components and the above-mentioned forms have different physical dimensions. Moreover, one should remember that by decision of an international commission of the IUPAP, the magnetic polarization vector is called ${\vec {J}}$ since several decades, and by some publishers $J$ , i.e. the same name is used for different quantities.)

Using the above-mentioned definitions, Maxwell's equations can be written very compactly in geometrized units as

{\begin{aligned}d{\textbf {F}}&={\textbf {0}}\\d{\star {\textbf {F}}}&={\textbf {J}},\end{aligned}}

where $\star$ denotes the Hodge star operator. Similar considerations describe the geometry of gauge theories in general.

The $2$ -form ${\star }\mathbf {F}$ , which is dual to the Faraday form, is also called Maxwell 2-form.

Electromagnetism is an example of a $U(1)$ gauge theory. Here the Lie group is $U(1)$ , the one-dimensional unitary group, which is in particular abelian. There are gauge theories, such as Yang–Mills theory, in which the Lie group is not abelian. In that case, one gets relations which are similar to those described here. The analog of the field $F$ in such theories is the curvature form of the connection, which is represented in a gauge by a Lie algebra-valued one-form $A$ . The Yang–Mills field $F$ is then defined by

\mathbf {F} =d\mathbf {A} +\mathbf {A} \wedge \mathbf {A} .

In the abelian case, such as electromagnetism, $A \land A = 0$ , but this does not hold in general. Likewise the field equations are modified by additional terms involving exterior products of $A$ and $F$ , owing to the structure equations of the gauge group.

Applications in geometric measure theory

Numerous minimality results for complex analytic manifolds are based on the Wirtinger inequality for 2-forms. A succinct proof may be found in Herbert Federer's classic text Geometric Measure Theory. The Wirtinger inequality is also a key ingredient in Gromov's inequality for complex projective space in systolic geometry.

Notes

↑ Cartan, Élie (1899), "Sur certaines expressions différentielles et le problème de Pfaff", Annales scientifiques de l'École Normale Supérieure: 239–332

References

Bachman, David (2006), A Geometric Approach to Differential Forms, Birkhäuser, ISBN 978-0-8176-4499-4
Bachman, David (2003), A Geometric Approach to Differential Forms, arXiv:math/0306194v1 
Cartan, Henri (2006), Differential Forms, Dover, ISBN 0-486-45010-4 —Translation of Formes différentielles (1967)
Edwards, Harold M. (1994), Advanced Calculus; A Differential Forms Approach, Boston, Basel, Berlin: Birkhäuser, ISBN 978-0-8176-8411-2
Folland, Gerald B. (1999), Real Analysis: Modern Techniques and Their Applications (Second ed.), ISBN 978-0-471-31716-6, provides a brief discussion of integration on manifolds from the point of view of measure theory in the last section.
Flanders, Harley (1989), Differential forms with applications to the physical sciences, Mineola, New York: Dover Publications, ISBN 0-486-66169-5
Fleming, Wendell H. (1965), "Chapter 6: Exterior algebra and differential calculus", Functions of Several Variables, Addison-Wesley, pp. 205–238. This textbook in multivariate calculus introduces the exterior algebra of differential forms at the college calculus level.
Morita, Shigeyuki (2001), Geometry of Differential Forms, AMS, ISBN 0-8218-1045-6
Rudin, Walter (1976), Principles of Mathematical Analysis, New York: McGraw-Hill, ISBN 0-07-054235-X
Spivak, Michael (1965), Calculus on Manifolds (PDF), Menlo Park, California: W. A. Benjamin, ISBN 0-8053-9021-9, standard introductory text
Tu, Loring W. (2008), An Introduction to Manifolds, Springer, ISBN 978-0-387-48098-5
Zorich, Vladimir A. (2004), Mathematical Analysis II, Springer, ISBN 3-540-40633-6

External links

Weisstein, Eric Wolfgang. "Differential form". MathWorld.

Sjamaar, Reyer (2006), Manifolds and differential forms lecture notes , a course taught at Cornell University.
Bachman, David (2003), A Geometric Approach to Differential Forms, arXiv:math/0306194  , an undergraduate text.
Jones, Frank, Integration on manifolds (PDF)

Tensors

Glossary of tensor theory

Scope

Mathematics	coordinate system multilinear algebra Euclidean geometry tensor algebra dyadic algebra differential geometry exterior calculus tensor calculus
Physics Engineering	continuum mechanics electromagnetism transport phenomena general relativity computer vision

Notation

Tensor definitions

Operations

Related abstractions

Notable tensors

Mathematics	Kronecker delta Levi-Civita symbol metric tensor nonmetricity tensor Christoffel symbols Ricci curvature Riemann curvature tensor Weyl tensor torsion tensor
Physics	moment of inertia angular momentum tensor spin tensor Cauchy stress tensor stress–energy tensor EM tensor gluon field strength tensor Einstein tensor metric tensor (GR)

Mathematicians

Authority control	NDL: 00560655

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Differential form

History

Concept

Integration

Differential calculus

Intrinsic definitions

Operations

Exterior product

Riemannian manifold

Vector field structures

Exterior differential complex

Pullback

Integration

Formal details

Stokes' theorem

Relation with measures

Applications in physics

Applications in geometric measure theory

See also

Notes

References

External links