The Lie Derivative of Differential Forms
The Lie derivative can also be defined on differential forms. In this context, it is closely related to the exterior derivative. Both the Lie derivative and the exterior derivative attempt to capture the idea of a derivative in different ways. These differences can be bridged by introducing the idea of an antiderivation or equivalently an interior product, after which the relationships fall out as a set of identities.
Let M be a manifold and X a vector field on M. Let be a k+1-form. The interior product of X and ω is
Note that
and that is a -antiderivation. That is, is R-linear, and
for and η another differential form. Also, for a function, that is a real or complex-valued function on M, one has
The relationship between exterior derivatives and Lie derivatives can then be summarized as follows. For an ordinary function f, the Lie derivative is just the contraction of the exterior derivative with the vector field X:
For a general differential form, the Lie derivative is likewise a contraction, taking into account the variation in X:
- .
This identity is known variously as "Cartan's formula" or "Cartan's magic formula," and shows in particular that:
- .
The derivative of products is distributed:
Read more about this topic: Lie Derivative
Famous quotes containing the words lie, derivative, differential and/or forms:
“Nature herself has not provided the most graceful end for her creatures. What becomes of all these birds that people the air and forest for our solacement? The sparrow seems always chipper, never infirm. We do not see their bodies lie about. Yet there is a tragedy at the end of each one of their lives. They must perish miserably; not one of them is translated. True, not a sparrow falleth to the ground without our Heavenly Fathers knowledge, but they do fall, nevertheless.”
—Henry David Thoreau (18171862)
“When we say science we can either mean any manipulation of the inventive and organizing power of the human intellect: or we can mean such an extremely different thing as the religion of science the vulgarized derivative from this pure activity manipulated by a sort of priestcraft into a great religious and political weapon.”
—Wyndham Lewis (18821957)
“But how is one to make a scientist understand that there is something unalterably deranged about differential calculus, quantum theory, or the obscene and so inanely liturgical ordeals of the precession of the equinoxes.”
—Antonin Artaud (18961948)
“Ring out a slowly dying cause,
And ancient forms of party strife;
Ring in the nobler modes of life,
With sweeter manners, purer laws.”
—Alfred Tennyson (18091892)