The outer derivative or Cartan derivative is a term used in differential geometry and analysis . It generalizes the derivation of functions to differential forms known from analysis . The name Cartan derivation is explained by the fact that Élie Cartan (1869–1952) is the founder of the theory of differential forms.
Let be a -dimensional smooth manifold and an open subset. With the space is here -forms on the manifold referred. So there is exactly one function
for all of them , so that the following properties apply:
is an antiderivation , which means for and applies .
- Let , then is defined as the total differential .
- The operator behaves of course with regard to restrictions, that is: if are open sets and , then we have .
Of course, it has to be proven that such an operator exists and is unique. This is called outer derivation or Cartan derivation and is usually referred to as. The index, which indicates the degree of the differential form to which the operator is applied, is omitted.
Formula for the outer derivative
One can also find the outer derivative using the formula
represent, the circumflex in means that the corresponding argument must be left out, denotes the Lie bracket .
Let be a point on a smooth manifold. The outer derivative of has the representation at this point
has the local representation
Representation via antisymmetrization mapping
The outer derivative of -forms is simply given by the total derivative and is always covariant ( see also covariant derivative ) and antisymmetric. The external derivative of a -form can be viewed up to a multiple as an antisymmetrization of the formal tensor product of with the form:
In index notation :
Let be two smooth manifolds and a once continuously differentiable function. Then the return transport is a homomorphism, so that
In words one also says: product formation or external differentiation are compatible with the "pullback" relation.
Adjoint outer derivative
In this section let be a pseudo-Riemannian manifold with index . The Hodge star operator is referred to below with . The operator
is defined by and for by
It is called the adjoint external derivative or co- derivative .
This operator is linear and it holds . Indeed, the operator to be adjoint is . If the manifold is also compact , then applies to the Riemannian metric and the relation
For this reason one also notes as , since this is the adjoint operator . Similar duality relationships can also be defined for pseudo-Riemannian metrics , for example for the Minkowski metric of the special theory of relativity or the Lorentz metric of the general theory of relativity .
Generalization of further differential operators
The differential operators known from vector analysis can be extended to Riemannian manifolds with the help of the outer derivative and the Hodge-Star operator . In particular, a formula is obtained for the rotation which operates on n-dimensional spaces. In the following there is always a smooth Riemann manifold .
Be and cross (flat and sharp) isomorphism
These two isomorphisms are induced by the Riemannian metric. They map tangential vectors to cotangent vectors and vice versa. To understand it, it is sufficient at this point to demonstrate the effect of the isomorphisms in three-dimensional space. Let the flat operator be a vector field in standard coordinates of
The flat operator maps vector fields into their dual space. The Sharp operator is the inverse operation. If a co-vector field (or a 1-form) then applies (also standard coordinates)
The cross product is not a differential operator and is also only defined for three-dimensional vector spaces in vector analysis. Nevertheless, especially for the definition of the rotation, it is very important: Let be a vector space and two elements of an outer power of , then the generalized cross product is defined by
For a reason for this definition see under external algebra .
Let it be a partially differentiable function and let the standard scalar product be given. The gradient of the function in the point is for any of that by the requirement
uniquely definite vector . With the help of differential forms calculus can the gradient on a Riemann manifold by
define. Since the set of 0-forms is by definition equal to the set of functions that can be differentiated as often as desired, this definition generalizes the gradient of functions. This can be seen quickly with a short invoice. If it is a smooth function, then it holds
In Euclidean vector spaces this is often noted as follows:
In vector analysis, the rotation is a mapping . The following applies to general vector fields
The following calculation shows that the known expression for the rotation is obtained for the dimension :
This formula is obtained immediately by inserting the definition of the gradient into that of the cross product.
There is also a generalization of divergence , which is
The Hodge-Laplace operator is a special generalized Laplace operator . Such operators have an important meaning in differential geometry.
Let be a smooth Riemannian manifold, then the Hodge-Laplace operator is defined by
A function is called harmonic if it satisfies Laplace's equation . The harmonic differential forms are defined analogously . A differential form is called harmonic if the Hodge-Laplace equation is fulfilled. The number of all harmonic forms is noted with. Because of the Hodge decomposition, this space is isomorphic to the corresponding De Rham cohomology group .
The Hodge-Laplace operator has the following properties:
, so if is harmonious, then is also harmonious.
- The operator is self-adjoint with respect to a Riemannian metric g, that is, applies to all ; .
- It is necessary and sufficient for the equation that and hold.
Two other differential operators related to the Cartan derivative are the Dolbeault and the Dolbeault transverse operator on manifolds. In this way one can introduce the spaces of the differential forms of the degree , which are noted by, and naturally get the mappings
with . These differential operators have the representations in local coordinates
↑ Ivan Avramidi, Notes on Differential Forms (PDF; 112 kB) , 2003
↑ This is related to a terminology used in physics according to which one differentiates between polar and axial vectors; for example, the cross product of two polar vectors gives an axial vector. The quantities of theoretical mechanics (“ angular momentum ” or “ torques ”) designated as or are e.g. B. axial vectors.