Lie derivative of a differential form
ID: lie-derivative-of-a-differential-form
Let be a smooth vector field with local flow . The Lie derivative of a differential form isPulling back before taking the derivative compares forms in the same cotangent space. The Lie derivative of a differential form preserves degree and obeys the Leibniz rule for the wedge product of differential forms.
Cartan's magic formula expresses it using two intrinsic operations:where is the exterior derivative and is the interior product. In particular, it commutes with the exterior derivative.
On the real line, has local flow . Hence and . The vector field vanishes at zero, but its differential still stretches the one-form there. For a volume form , the equation defines a volume-preserving vector field.
New to topics? Read the docs here!