lie_derivative
This is an old revision of the document!
Lie derivative
The Lie derivatives quantifies the evolution of a tensor field along the flow generated by a vector field. Algebraically, the Lie derivative $L_X$ along $X$ satisfies the following four properties:
- $L_X f = Xf$ on functions
- $L_X (S \otimes T) = (L_X S) \otimes T + S \otimes (L_X T)$
- $[L_X, d] = 0$
- $L_X (T(Y_1, \ldots, Y_n)) = (L_X T)(Y_1, \ldots, Y_n) + T(L_X Y_1, \ldots, Y_n) + \cdots + T(Y_1, \ldots, L_X Y_n)$
These axioms imply that, for example, $L_X Y = [X,Y]$ for $Y$ a vector field.
On forms there is also the Cartan 'magic formula' $L_X = d \iota_X + \iota_X d$.
In terms of a covariant derivative
Recall (p. 24 of DG notes) that $L_X = \nabla_X + e(\omega^i) e^*(\nabla_{e_j} X)$.
lie_derivative.1686225818.txt.gz · Last modified: by spencer
