Physics[LieDerivative]  Compute the Lie derivative of a tensorial expression

Calling Sequence


LieDerivative[v, ...](T)
LieDerivative(T, v, ...)


Parameters


T



an algebraic expression, or a relation, or a list, set, Matrix or Array of them

v



a contravariant vector as a tensor or tensor function, passed with or without one free spacetime contravariant index (prefixed by ~), with respect to which the derivative is being taken

...



optional, more contravariant vectors as v to perform higher order differentiation

...



optional, the last argument can be the noncovariant operator d_ to be used instead of the covariant D_





Description


•

The LieDerivative[mu] command computes the Lie derivative of a tensorial expression T  say with one contravariant and one covariant spacetime indices as in  according to the standard definition

•

The indexation of LieDerivative can also consists of a sequence of spacetime vectors like , in which case a higher order LieDerivative is computed (orderly differentiating from left to right).

•

This single differentiating vector, or a sequence of them, can also be passed after the first argument, as in other Maple differentiation commands.

•

When the spacetime is Galilean, so all the Christoffel symbols are zero, the operator d_ is used instead of the covariant D_. Also, when the spacetime is nonGalilean, due to the symmetry of the Christoffel symbols under permutation of their 2nd and 3rd indices, all the terms involving Christoffel symbols cancel so that a mathematically equivalent result can be obtained replacing D_ by d_. To obtain a result directly expressed using d_, pass d_ as the last argument.



Compatibility


•

The Physics[LieDerivative] command was introduced in Maple 17.



Examples


In the examples that follow, as well as in the context of tensor computations with the Physics package, Einstein's summation convention for repeated indices is used.
>


>


 (1) 
Set a system of coordinates  say X
>


 (2) 
Define some tensors for experimentation
>


 (3) 
Compute the Lie derivative of a scalar : it is the same as the directional derivative in the direction of
>


 (4) 
Because the spacetime at this point in the worksheet is flat, the output above involves d_, not the covariant D_. Set the spacetime to any nongalilean value, for instance (see g_):
>


 (5) 
Use the declare facility of PDEtools to avoid redundant display of functionality and have derivatives displayed with compact indexed notation
>


 (6) 
The Lie derivatives of the covariant and contravariant vectors and differ in the sign of the second term, but not just in that: note the different ways in which the index is contracted
>


 (7) 
>


 (8) 
The index in enters the Lie derivative as a dummy. If this dummy is found in the indices of the derivand, it is automatically replaced by another spacetime index. For example: pass and with the same index
>


 (9) 
You can also pass without indices, with or without functionality depending on whether is constant, in which case only the part involving the Christoffel symbols remains after computing the covariant derivative:
>


 (10) 
>


 (11) 
When the derivand is a contravariant vector field, the Lie derivative is equal to the the LieBracket between the indexing vector field in the above) and the derivand . For that reason, you can also pass the first argument to LieBracket with or without the index
>


 (12) 
So in LieBracket the free index of the first vector field is also a dummy and the index of the second one is the free index of the result.
The Lie derivative of a contains three terms: first there is the term equivalent to a directional derivative, then another with a minus sign related to the contravariant index, then another one related to the covariant index
>


 (13) 
The Lie derivative is essentially the change in form of the derivand under transformations generated by the indexing vector field ( in the examples above). In turn the Killing vectors generate transformations that leave the form of the spacetime metric g_ invariant. So equating to zero the Lie Derivative of the metric (currently Schwarzschild) results in a system of partial differential equations defining the Killing vectors
>


 (14) 
>


 (15) 
The array of Killing equations behind this tensorial expression can be obtained with TensorArray, KillingVectors or the Library command TensorComponents:
>


 (16) 
These equations can be solved using pdsolve
>


 (17) 
Alternatively, the same equations components of the tensorial expression (15) can be obtained directly with KillingVectors that in addition performs a reduction to involutive form (canonical form) for the DE system, and can as well compute and solve the equations all in one go
>


 (18) 
Yet another manner of obtaining the same result is using Physics:Library:TensorComponents  that computes similar to TensorArray  but returns a list of equations instead, where the ordering is ascending with respect to value of the free indices 
>


 (19) 
Expanding the sum over the repeated indices,
>


 (20) 
>


 (21) 
>




See Also


Christoffel, Coordinates, d_, D_, Define, g_, KillingVectors, Library[TensorComponents], LieBracket, PDEtools[declare], pdsolve, Physics, Physics conventions, Physics examples, Setup, Simplify, SumOverRepeatedIndices, TensorArray


References



Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.


Weinberg, S. Gravitation and Cosmology: Principles and Applications of The General Theory of Relativity, John Wiley & Sons, Inc, 1972.


