DifferentialGeometry[LieDerivative] - calculate the Lie derivative of a vector field, differential form, tensor, or connection with respect to a vector field
|
Calling Sequence
|
|
LieDerivative(X, T)
|
|
Parameters
|
|
X
|
-
|
a vector field on a manifold M or a vector in a Lie algebra A
|
T
|
-
|
a vector field, a Maple expression, a differential form or a tensor field on the manifold M or the Lie algebra A
|
|
|
|
|
Description
|
|
•
|
If T is a Maple expression, then LieDerivative(X, T) is the directional derivative X(T) of T in the direction of the vector field X.
|
•
|
If T is a vector field, then LieDerivative(X, T) coincides with the Lie bracket [X, T] = LieBracket(X, T).
|
•
|
If T is a differential 1-form, then alpha = LieDerivative(X, T) is the 1-form defined by alpha(Y) = X(alpha(Y)) - alpha([X,Y]), where Y is any vector field on M.
|
•
|
The Lie derivative operator acts as a derivation with respect to both the wedge and tensor products. If alpha and beta are differential forms and T and S are tensors, then LieDerivative(X, alpha &w beta) = LieDerivative(X, alpha) &w beta + alpha &w LieDerivative(X, beta), and LieDerivative(X, S &t T) = LieDerivative(X, S) &t T + S &w LieDerivative(X, T).
|
•
|
The Lie derivative of a differential form can also be calculated from the Cartan formula, LieDerivative(X, alpha) = ExteriorDerivative(Hook(X, alpha)) + Hook(X, ExteriorDerivative(alpha))
|
•
|
The Lie derivative of a connection nabla_Y(Z) is the type (1, 2) tensor field S = LieDerivative(X, nabla), defined (when viewed as mapping from pairs of vector fields to vector fields) by S(Y, Z) = LieDerivative(X, nabla_Y(Z)) - nabla_{LieDerivative(X, Y)}(Z) - nabla_X(LieDerivative(Y, Z)).
|
•
|
For the definition of the Lie derivative of these geometric objects in terms of the flow of the vector field X see, for example, Spivak page 207-208.
|
•
|
The Lie derivative of a tensor defined on a Lie algebra can also be computed.
|
•
|
The first argument also be a list of vectors. The second argument can be a list of a vectors, Maple expressions, a differential forms or tensors.
|
•
|
This command is part of the DifferentialGeometry package, and so can be used in the form LieDerivative(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-LieDerivative.
|
|
|
Examples
|
|
>
|
|
First initialize a manifold M with local coordinates [x, y, z].
>
|
|
Example 1.
First we calculate the Lie derivative of a function f and note that it agrees with the directional derivative f.
>
|
|
| (1) |
>
|
|
| (2) |
Example 2.
First we calculate the Lie derivative of a vector field and check that it coincides with the Lie bracket.
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
Example 3.
First we calculate the Lie derivative of a differential form and check the result against Cartan's formula.
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
Example 4.
We calculate the Lie derivative of a tensor field.
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
Example 5.
We calculate the Lie derivative of the zero connection.
>
|
|
| (14) |
>
|
|
| (15) |
>
|
|
| (16) |
Example 6.
The Lie derivative with respect to a list of vectors can be calculated simultaneously.
>
|
|
| (17) |
The Lie derivative of a list of tensors can be calculated simultaneously.
>
|
|
| (18) |
Both arguments to LieDerivative can be lists.
>
|
|
| (19) |
The Lie derivative of a Matrix of differential 2-forms can be calculated simultaneously.
>
|
|
| (20) |
>
|
|
| (21) |
Example 7.
The Lie derivative can be calculated in anholonomic frames. Use FrameData to find the structure equations for an anholonomic frame and initialize with DGsetup.
>
|
|
| (22) |
>
|
|
| (23) |
>
|
|
| (24) |
>
|
|
| (25) |
Example 8.
The Lie derivative can be calculated for abstract forms.
>
|
|
| (26) |
>
|
|
| (27) |
>
|
|
| (28) |
Example 9.
The Lie derivative can be calculated for tensors on a Lie algebra. Use LieAlgebraData and DGsetup to initialize a Lie algebra.
>
|
|
| (29) |
>
|
|
| (30) |
>
|
|
| (31) |
Calculate the Killing form for the Lie algebra and show that its Lie derivative is zero for all vectors in the Lie algebra.
>
|
|
| (32) |
>
|
|
| (33) |
alg >
|
|
|
|