Lie Derivative - The Lie Derivative of Differential Forms

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

i_X (\omega \wedge \eta) = (i_X \omega) \wedge \eta + (-1)^k \omega \wedge (i_X \eta)

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:

\mathcal{L}_{fX}\omega = f\mathcal{L}_X\omega + df \wedge i_X \omega

Read more about this topic:  Lie Derivative

Famous quotes containing the words lie, derivative, differential and/or forms:

    “A child who fears excessive retaliation for even minor offenses will learn very early on that to lie is to protect himself.... If your child intuits that you will react very punitively to his wrongdoing, he may be tempted to lie and may become, as time goes on, a habitual liar.”
    —Lawrence Balter (20th century)

    “Poor John Field!—I trust he does not read this, unless he will improve by it,—thinking to live by some derivative old-country mode in this primitive new country.... With his horizon all his own, yet he a poor man, born to be poor, with his inherited Irish poverty or poor life, his Adam’s grandmother and boggy ways, not to rise in this world, he nor his posterity, till their wading webbed bog-trotting feet get talaria to their heels.”
    —Henry David Thoreau (1817–1862)

    “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 (1896–1948)

    “There are these sudden mobs of men,
    These sudden clouds of faces and arms,
    An immense suppression, freed,
    These voices crying without knowing for what,
    Except to be happy, without knowing how,
    Imposing forms they cannot describe,
    Requiring order beyond their speech.”
    —Wallace Stevens (1879–1955)