Exterior derivative Guide, Meaning , Facts, Information and Description
In mathematics, the exterior derivative operator of differential topology, extends the concept of the differential of a function to differential forms of higher degree. It is important in the theory of integration on manifolds, and is the differential used to define de Rham and Alexander-Spanier cohomology. Its current form was invented by Élie Cartan.
| Table of contents |
|
2 Properties 3 Invariant formula 4 Connection with vector calculus 5 Examples 6 See also |
The exterior derivative of a differential form of degree k is a differential form of degree k + 1.
For a k-form ω = fI dxI over Rn, the definition is as follows:
Definition
For general k-forms ΣI fI dxI (where the multi-index I runs over all ordered subsets of {1, ..., n} of cardinality k), we just extend linearly. Note that if above then (see wedge product).
Exterior differentiation satisfies three important properties:
It can be shown that exterior derivative is uniquely determined by these properties and its agreement with the differential on 0-forms (functions).
The kernel of d consists of the closed forms, and the image of the exact forms (cf. exact differentials).
Given a -form and arbitrary smooth vector fields we have
In particular, for 1-forms we have:
The following correspondence reveals about a dozen formulas from vector calculus as merely special cases of the above three rules of exterior differentiation.
For a 0-form, that is a smooth function f: Rn→R, we have
For a 1-form on R3,
the where denotes curl of ,
For a 2-form
For a 1-form on R2 we have
This is an Article on Exterior derivative. Page Contains Information, Facts Details or Explanation Guide About Exterior derivative Properties
Invariant formula
where denotes Lie bracket and Connection with vector calculus
Gradient
Therefore
where denotes gradient of and is scalar product.Curl
which restricted to the three-dimensional case is
Therefore, for vector field we haveis the vector product and is scalar product.
Divergence
For three dimensions, with we get
where V is a vector field defiend by Examples
which is exactly the 2-form being integrated in Green's theorem.See also
