calculate the Lie derivative of an algebraic expression, a vector field or a one-form with respect to a vector field
LieDerivative( X, vf )
an algebraic expression, a VectorField object, or a OneForm object
a VectorField object that is on the same space as X
If X is an algebraic expression then LieDerivative(X, vf) is the directional derivative vf(X) of X in the direction of the vector field vf.
If X is a VectorField object then LieDerivative(X, vf) is the VectorField object defined by the Lie bracket [vf, X] = LieBracket(vf, X). See LieBracket for more detail.
If X is a OneForm object then omega = LieDerivative(X, vf) is the OneForm object defined by omega(Y) = vf(omega(Y)) - omega([Y,vf]), where Y is any vector field on the same space as X.
This method is associated with the VectorField and OneForm objects. For more detail, see Overview of the VectorField object, Overview of the OneForm object.
The vector fields X,Y live on the same space (x,y).
X ≔ VectorField⁡Dx,space=x,y
R ≔ VectorField⁡−y⁢Dx+x⁢Dy
These two commands are equivalent when Y is a vector field. And it returns a vector field.
ω ≔ OneForm⁡x⁢dx−y⁢dy
The LieDerivative command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
VectorField (Object overview)
OneForm (Object overview)
Download Help Document