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:

“The World is not enough used to this way of writing, to the moment. It knows not that in the minutiae lie often the unfoldings of the Story, as well as of the heart; and judges of an action undecided, as if it were absolutely decided.”
—Samuel Richardson (1689–1761)

“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 (1882–1957)

“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)

“The idea which man forms of beauty imprints itself throughout his attire, rumples or stiffens his garments, rounds off or aligns his gestures, and, finally, even subtly penetrates the features of his face.”
—Charles Baudelaire (1821–1867)