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:

    “O mighty Caesar! Dost thou lie so low?
    Are all thy conquests, glories, triumphs, spoils,
    Shrunk to this little measure? Fare thee well.”
    —William Shakespeare (1564–1616)

    “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 is a continual exchange of ideas between all minds of a generation. Journalists, popular novelists, illustrators, and cartoonists adapt the truths discovered by the powerful intellects for the multitude. It is like a spiritual flood, like a gush that pours into multiple cascades until it forms the great moving sheet of water that stands for the mentality of a period.”
    —Auguste Rodin (1849–1917)