In differential geometry, the
exterior derivative extends the concept of the
differentialIn calculus, a differential is traditionally an infinitesimally small change in a variable. For example, if x is a variable, then a change in the value of x is often denoted Δx . The differential dx represents such a change, but is infinitely small...
of a function, which is a 1form, to
differential formIn 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 better definition for integrands in calculus...
s of higher degree. Its current form was invented by
Élie CartanÉlie Joseph Cartan was an influential French mathematician, who did fundamental work in the theory of Lie groups and their geometric applications...
.
The exterior derivative d has the property that and is the
differentialMathematics:* Differential comprises multiple related meanings of the word, both in calculus and differential geometry, such as an infinitesimal change in the value of a function* Differential algebra* Differential calculus...
(coboundary) used to define
de Rham cohomologyIn mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes...
on forms. Integration of forms gives a natural homomorphism from the de Rham cohomology to the singular cohomology of a smooth manifold. The theorem of de Rham shows that this map is actually an isomorphism. In this sense, the exterior derivative is the "dual" of the boundary map on singular simplices.
Definition
The exterior derivative of a differential form of degree k is a differential form of degree There are a variety of equivalent definitions of the exterior derivative.
Exterior derivative of a function
If ƒ is a smooth function, then the exterior derivative of ƒ is the differential of ƒ. That is, dƒ is the unique
oneformIn linear algebra, a oneform on a vector space is the same as a linear functional on the space. The usage of oneform in this context usually distinguishes the oneforms from higherdegree multilinear functionals on the space. For details, see linear functional.In differential geometry, a...
such that for every smooth
vector fieldIn vector calculus, a vector field is an assignmentof a vector to each point in a subset of Euclidean space. A vector field in the plane for instance can be visualized as an arrow, with a given magnitude and direction, attached to each point in the plane...
X, , where Xƒ is the directional derivative of ƒ in the direction of X. Thus the exterior derivative of a function (or 0form) is a oneform.
Exterior derivative of a kform
The exterior derivative is defined to be the unique
Rlinear mapping from kforms to (k+1)forms satisfying the following properties:
 dƒ is the differential of ƒ for smooth functions ƒ.
 for any smooth function ƒ.
 where α is a pform. That is to say, d is an antiderivation of degree 1 on the exterior algebra
In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in Euclidean geometry to study areas, volumes, and their higherdimensional analogs...
of differential forms.
The second defining property holds in more generality: in fact, for any kform α. This is part of the Poincaré lemma. The third defining property implies as a special case that if ƒ is a function and α a kform, then because functions are forms of degree 0.
Exterior derivative in local coordinates
Alternatively, one can work entirely in a local coordinate system (x
^{1},...,x
^{n}). First, the coordinate differentials dx
^{1},...,dx
^{n} form a basic set of oneforms within the coordinate chart. Given a multiindex with for , the exterior derivative of a kform
over
R^{n} is defined as
For general kforms (where the components of the multiindex I run over all the values in {1, ..., n}), the definition of the exterior derivative is extended
linearIn mathematics, a linear map or function f is a function which satisfies the following two properties:* Additivity : f = f + f...
ly. Note that whenever i is one of the components of the multiindex I then (see wedge product).
The definition of the exterior derivative in local coordinates follows from the preceding definition. Indeed, if , then







Here, we have here interpreted ƒ_{I} as a zeroform, and then applied the properties of the exterior derivative.
Invariant formula
Alternatively, an explicit formula can be given for the exterior derivative of a kform ω, when paired with k+1 arbitrary smooth vector fieldIn vector calculus, a vector field is an assignmentof a vector to each point in a subset of Euclidean space. A vector field in the plane for instance can be visualized as an arrow, with a given magnitude and direction, attached to each point in the plane...
s V_{0},V_{1}, ..., V_{k}:

where denotes Lie bracketIn the mathematical field of differential topology, the Lie bracket of vector fields, Jacobi–Lie bracket, or commutator of vector fields is a bilinear differential operator which assigns, to any two vector fields X and Y on a smooth manifold M, a third vector field denoted [X, Y]...
and the hat denotes the omission of that element:
In particular, for 1forms we have: , where X and Y are vector fields.
Examples
1
Consider over a 1form basis .
The exterior derivative is:

The last formula follows easily from the properties of the wedge product. Namely, .
2
For a 1form defined over R^{2}. We have, by applying the above formula to each term (consider and ) the following sum,

Closed and exact forms
Differential forms in the kernelIn the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective. An important special case is the kernel of a matrix, also called the null space.The definition of kernel takes...
of d are called closed formMaths:* Closedform expression, a finitary expression* Closed differential form, a differential form \alpha with the property that d\alpha = 0Poetry:* In poetry analysis, a type of poetry that exhibits regular structure, such as meter or a rhyming pattern;...
s. The imageIn mathematics, an image is the subset of a function's codomain which is the output of the function on a subset of its domain. Precisely, evaluating the function at each element of a subset X of the domain produces a set called the image of X under or through the function...
of d are called exact forms. Closed and exact forms are related, because of the identity for any kform α. This implies that every exact form is closed. The converse is true in contractible regions, by the converse to the Poincaré lemma.
Naturality
The exterior derivative is natural. If is a smooth map and Ω^{k} is the contravariant smooth functorIn category theory, a branch of mathematics, a functor is a special type of mapping between categories. Functors can be thought of as homomorphisms between categories, or morphisms when in the category of small categories....
that assigns to each manifold the space of kforms on the manifold, then the following diagram commutes
so where ƒ* denotes the pullback of ƒ. This follows from that ƒ*ω(·), by definition, is ω(ƒ_{*}(·)), ƒ_{*} being the pushforward of ƒ. Thus d is a natural transformationIn category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Indeed this intuition...
from Ω^{k} to Ω^{k+1}.
The exterior derivative in calculus
Most vector calculus operators are special cases of, or have close relationships to, the notion of exterior differentiation.
Gradient
A smooth functionIn mathematical analysis, a differentiability class is a classification of functions according to the properties of their derivatives. Higher order differentiability classes correspond to the existence of more derivatives. Functions that have derivatives of all orders are called smooth.Most of...
f: R^{n} → R is a 0form. The exterior derivative of this 0form is the 1form
That is, the form dƒ acts on any vector field V by outputting, at each point, the scalar product of V with the gradient ∇ƒ of ƒ.
The 1form dƒ is a section of the cotangent bundleIn mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold...
, that gives a local linear approximation to ƒ in the cotangent space at each point.
Divergence
A vector field V = (v_{1}, v_{2}, ... v_{n}) on R^{n} has a corresponding (n1)form
where denotes the omission of that element.
(For instance, when n = 3, in threedimensional space, the 2form ω_{V} is locally the scalar triple product with V.) The integral of ω_{V} over a hypersurface is the fluxIn the various subfields of physics, there exist two common usages of the term flux, both with rigorous mathematical frameworks.* In the study of transport phenomena , flux is defined as flow per unit area, where flow is the movement of some quantity per time...
of V over that hypersurface.
The exterior derivative of this (n−1)form is the nform
Curl
A vector field V on R^{n} also has a corresponding 1form
,
Locally, η_{V} is the dot product with V. The integral of η_{V} along a path is the workIn physics, work is a scalar quantity that can be described as the product of a force times the distance through which it acts, and it is called the work of the force. Only the component of a force in the direction of the movement of its point of application does work...
done against V along that path.
When n = 3, in threedimensional space, the exterior derivative of the 1form η_{V} is the 2form
Invariant formulations of grad, curl, div, and Laplacian
The three operators above can be written in coordinatefree notation as follows:

where is the Hodge star operatorIn mathematics, the Hodge star operator or Hodge dual is a significant linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finitedimensional oriented inner product space.Dimensions and algebra:...
and and are the musical isomorphismIn mathematics, the musical isomorphism is an isomorphism between the tangent bundle TM and the cotangent bundle T*M of a Riemannian manifold given by its metric. There are similar isomorphisms on symplectic manifolds....
s.
See also
 Exterior covariant derivative
In mathematics, the exterior covariant derivative, sometimes also covariant exterior derivative, is a very useful notion for calculus on manifolds, which makes it possible to simplify formulas which use a principal connection....
 de Rham complex
 Discrete exterior calculus
In mathematics, the discrete exterior calculus is the extension of the exterior calculus to discrete spaces including graphs and finite element meshes. DEC methods have proved to be very powerful in improving and analyzing finite element methods: for instance, DECbased methods allow the use of...
 Green's theorem
In mathematics, Green's theorem gives the relationship between a line integral around a simple closed curve C and a double integral over the plane region D bounded by C...
 Lie derivative
In mathematics, the Lie derivative , named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a vector field or more generally a tensor field, along the flow of another vector field...
 Stokes' theorem
In differential geometry, Stokes' theorem is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. Lord Kelvin first discovered the result and communicated it to George Stokes in July 1850...