Lie derivative: Information from Answers.com

In mathematics, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of one vector field along the flow of another vector field.

The Lie derivative is a derivation on the algebra of tensor fields over a manifold M. The vector space of all Lie derivatives on M forms an infinite-dimensional Lie algebra with respect to the Lie bracket defined by

$[A,B] = \mathcal{L}_A B = -\mathcal{L}_B A.$

The Lie derivatives are represented by vector fields, as infinitesimal generators of flows (active diffeomorphisms) on M. Looking at it the other way around, the diffeomorphism group of M has the associated Lie algebra structure, of Lie derivatives, in a way directly analogous to the Lie group theory.

1 Definition
- 1.1 The Lie derivative of a function
- 1.2 The Lie derivative of a vector field
2 The Lie derivative of differential forms
3 Properties
4 Lie derivative of tensor fields
5 Coordinate expressions
6 Generalizations
- 6.1 Covariant Lie derivative
- 6.2 Nijenhuis–Lie derivative
7 See also
8 References

Definition

The Lie derivative may be defined in several equivalent ways. In this section, to keep things simple, we begin by defining the Lie derivative acting on scalar functions and vector fields. The Lie derivative can also be defined to act on general tensors, as developed later in the article.

The Lie derivative of a function

Note: the Einstein summation convention of summing on repeated indices is used below.

There are several equivalent definitions of a Lie derivative of a function.

The Lie derivative can be defined in terms of the differential of a function. Given a function $f : M \mapsto \mathbb{R}$ and a vector field X defined on M, the Lie derivative of f at point $p \in M$ is

$\mathcal{L}_{\!X} f(p) \triangleq X_p(f) \triangleq \nabla_{\!X} f(p),$

which is the directional derivative of f along the vector field X.

The previous result can be restated using the dual pairing between the tangent bundle and cotangent bundle of M. In particular,

$\mathcal{L}_{\!X} f(p) \triangleq \operatorname{d}f(p)\, [X(p)]$

where $\operatorname{d}f$ is the differential of f. That is, $\operatorname{d}f : M \mapsto T^*M$ is the 1-form given by

$\operatorname{d}f \triangleq \frac{\partial f} {\partial x_a} \operatorname{d}x^a$

where the Einstein summation convention is implied in the formula. Here, the $\frac{\partial}{\partial x_a}$ are the basis vectors for the tangent bundle

T M

and the

d x a

is the dual basis in the cotangent bundle

T * M

. Thus, the notation $\operatorname{d}f(p)\, [X(p)]$ means that the inner product of the differential of f (at point p in M) is being taken with the vector field X (at point p). Writing X in the x^a coordinates,

$X=X^a\frac{\partial}{\partial x_a}$

we have

$\mathcal{L}_{\!X} f(p) = \operatorname{d}f(p)\, [X(p)]=X^a\frac{\partial f}{\partial x_a}$

which recovers the original definition of the Lie derivative of a function.

Alternately, the Lie derivative can be defined as

$\left. \mathcal{L}_{\!X} f(p) \triangleq \frac{\operatorname{d}}{\operatorname{d}t} f(\gamma(t)) \right\vert_{t=0}$

where

γ(t)

is a curve on M such that

$\frac{\operatorname{d}}{\operatorname{d}t}\gamma(t)=X(\gamma(t))$

for the smooth vector field X on M with

p = γ(0)

. The existence of solutions to this first-order ordinary differential equation is given by the Picard–Lindelöf theorem (more generally, the existence of such curves is given by the Frobenius theorem).

The Lie derivative of a vector field

It has been suggested that Lie bracket of vector fields be merged into this article or section. (Discuss)

The Lie derivative of a function has now been defined in several ways. In each case, the Lie derivative of a function agrees with the usual idea of differentiation along a vector field from multivariable calculus. The Lie derivative can be defined for vector fields by first defining the Lie bracket of a pair of vector fields X and Y, denoted [X,Y]. There are several approaches to defining the Lie bracket, all of which are equivalent. Regardless of the chosen definition, one then defines the Lie derivative of the vector field Y to be equal to the Lie bracket of X and Y, that is,

$\mathcal{L}_X Y = [X,Y]$ .

The first definition of the Lie bracket uses the local coordinate expressions of the vector fields X and Y. Let x_a be coordinates on M. One starts by noting that the basis vectors for the tangent bundle can be written as $\frac{\partial}{\partial x_a}$ , and so a vector field, expressed in terms of this selected set of basis vectors is written as

$X=X^a \frac{\partial}{\partial x_a}$

One defines the Lie bracket $[X, Y]$ of a pair of vector fields as

$[X,Y] := (X(Y^a) - Y(X^a)) \frac{\partial}{\partial x_a} = \left(X^b \frac{\partial Y^a}{\partial x_b} - Y^b \frac{\partial X^a}{\partial x_b}\right) \frac{\partial}{\partial x_a}$

The second definition is intrinsic in that it does not rely on the use of coordinates. Since a vector field can be identified with a first-order differential operator on functions, the Lie bracket of two vector fields can be defined as follows. If X and Y are two vector fields, then the Lie bracket of X and Y is also a vector field, denoted by [X,Y], defined by the equation:

$[X,Y](f) := X(Y(f))-Y(X(f)) \,.$

Using a local coordinate expression for X and Y, one can prove that this is equivalent to the previous definition of the Lie bracket.

Other equivalent definitions are (Fl here is the flow transformation and d the differential operator):

$(\mathcal{L}_X Y)_x := \lim_{t \to 0} (\mathrm{d}(\mathrm{Fl}^X_{-t}) Y_{\mathrm{Fl}^X_t(x)} - Y_x)/t = \left.\frac{\mathrm{d}}{\mathrm{d} t}\right|_{t=0} \mathrm{d}(\mathrm{Fl}^X_{-t}) Y_{\mathrm{Fl}^X_t(x)}$

$\mathcal{L}_X Y := \left.\frac{\mathrm{d}^2}{2\mathrm{d}^2 t}\right|_{t=0} \mathrm{Fl}^Y_{-t} \circ \mathrm{Fl}^X_{-t} \circ \mathrm{Fl}^Y_{t} \circ \mathrm{Fl}^X_{t} = \left.\frac{\mathrm{d}}{\mathrm{d} t}\right|_{t=0} \mathrm{Fl}^Y_{-\sqrt{t}} \circ \mathrm{Fl}^X_{-\sqrt{t}} \circ \mathrm{Fl}^Y_{\sqrt{t}} \circ \mathrm{Fl}^X_{\sqrt{t}}$

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 $\omega \in \Lambda^{k+1}(M)$ be a k+1-form. The interior product of X and ω is

$(i_X\omega) (X_1, \ldots, X_k) = \omega (X,X_1, \ldots, X_k)\,$

Note that

$i_X:\Lambda^{k+1}(M) \rightarrow \Lambda^k(M) \,$

and that $i X$ is a $\wedge$ -antiderivation. That is, $i X$ is R-linear, and

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

for $\omega \in \Lambda^k(M)$ and η another differential form. Also, for a function $f \in \Lambda^0(M)$ , that is a real or complex-valued function on M, one has

$i_{fX} \omega = f\,i_X\omega$

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:

$\mathcal{L}_Xf = i_X df$

For a general differential form, the Lie derivative is likewise a contraction, taking into account the variation in X:

$\mathcal{L}_X\omega = i_Xd\omega + d(i_X \omega)$ .

This identity is known variously as "Cartan's formula" or "Cartan's magic formula," and shows in particular that:

$d\mathcal{L}_X\omega = \mathcal{L}_X(d\omega)$ .

The derivative of products is distributed:

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

Properties

The Lie derivative has a number of properties. Let $\mathcal{F}(M)$ be the algebra of functions defined on the manifold M. Then

$\mathcal{L}_X : \mathcal{F}(M) \rightarrow \mathcal{F}(M)$

is a derivation on the algebra $\mathcal{F}(M)$ . That is, $\mathcal{L}_X$ is R-linear and

$\mathcal{L}_X(fg)=(\mathcal{L}_Xf) g + f\mathcal{L}_Xg$ .

Similarly, it is a derivation on $\mathcal{F}(M) \times \mathcal{X}(M)$ where $\mathcal{X}(M)$ is the set of vector fields on M:

$\mathcal{L}_X(fY)=(\mathcal{L}_Xf) Y + f\mathcal{L}_X Y$

which is may also be written in the equivalent notation

$\mathcal{L}_X(f\otimes Y)= (\mathcal{L}_Xf) \otimes Y + f\otimes \mathcal{L}_X Y$

where the tensor product symbol $\otimes$ is used to emphasize the fact that the product of a function times a vector field is being taken over the entire manifold.

Additional properties are consistent with that of the Lie bracket. Thus, for example, considered as a derivation on a vector field,

$\mathcal{L}_X [Y,Z] = [\mathcal{L}_X Y,Z] + [Y,\mathcal{L}_X Z]$

one finds the above to be just the Jacobi identity. Thus, one has the important result that the space of vector fields over M, equipped with the Lie bracket, forms a Lie algebra.

The Lie derivative also has important properties when acting on differential forms. Let α and β be two differential forms on M, and let X and Y be two vector fields. Then

$\mathcal{L}_X(\alpha\wedge\beta)=(\mathcal{L}_X\alpha)\wedge\beta+\alpha\wedge(\mathcal{L}_X\beta)$
$[\mathcal{L}_X,\mathcal{L}_Y]\alpha:= \mathcal{L}_X\mathcal{L}_Y\alpha-\mathcal{L}_Y\mathcal{L}_X\alpha=\mathcal{L}_{[X,Y]}\alpha$
$[\mathcal{L}_X,i_Y]\alpha=[i_X,\mathcal{L}_Y]\alpha=i_{[X,Y]}\alpha,$ where i denotes interior multiplication between vector fields and differential forms.

Lie derivative of tensor fields

More generally, if we have a differentiable tensor field T of rank $(p, q)$ and a differentiable vector field Y (i.e. a differentiable section of the tangent bundle TM), then we can define the Lie derivative of T along Y. Let φ:M×R→M be the one-parameter semigroup of local diffeomorphisms of M induced by the vector flow of Y and denote φ_t(p) := φ(p, t). For each sufficiently small t, φ_t is a diffeomorphism from a neighborhood in M to another neighborhood in M, and φ₀ is the identity diffeomorphism. The Lie derivative of T is defined at a point p by

$(\mathcal{L}_Y T)_p=\left.\frac{d}{dt}\right|_{t=0}\left((\phi_t)_*T_{\phi_{-t}(p)}\right)$ .

where (φ_t)_* is the pushforward along the diffeomorphism. In other words, if one has a tensor field $T$ and an infinitesimal generator of a diffeomorphism given by a vector field Y, then $\mathcal{L}_{Y} T$ is nothing other than the infinitesimal change in T under the infinitesimal diffeomorphism.

We now give an algebraic definition. The algebraic definition for the Lie derivative of a tensor field follows from the following four axioms:

Axiom 1. The Lie derivative of a function is the directional derivative of the function. So if f is a real valued function on M, then

$\mathcal{L}_Yf=Y(f)=\nabla_Y f.$

Axiom 2. The Lie derivative of a vector field is the Lie bracket. So if X is a vector field, one has

$\mathcal{L}_YX=[Y,X].$

Axiom 3. The Lie derivative of a differential form is the anticommutator of the interior product with the exterior derivative. So if α is a differential form,

$\mathcal{L}_Y\alpha=i_Yd\alpha+di_Y\alpha.$

Axiom 4. The Lie derivative obeys the Leibniz rule. For any tensor fields S and T, we have

$\mathcal{L}_Y(S\otimes T)=(\mathcal{L}_YS)\otimes T+S\otimes (\mathcal{L}_YT).$

Explicitly, let T be a tensor field of type (p,q). Consider T to be a differentiable multilinear map of smooth sections α¹, α², ..., α^q of the cotangent bundle T*M and of sections X₁, X₂, ... X_p of the tangent bundle TM, written T(α¹, α², ..., X₁, X₂, ...) into R. Define the Lie derivative of T along Y by the formula

$(\mathcal{L}_Y T)(\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots) =Y(T(\alpha_1,\alpha_2,\ldots,X_1,X_2,\ldots))$

$- T(\mathcal{L}_Y\alpha_1, \alpha_2, \ldots, X_1, X_1, \ldots) - T(\alpha_1, \mathcal{L}_Y\alpha_2, \ldots, X_1, X_1, \ldots) -\ldots$

$- T(\alpha_1, \alpha_2, \ldots, \mathcal{L}_YX_1, X_2, \ldots) - T(\alpha_1, \alpha_2, \ldots, X_1, \mathcal{L}_YX_2, \ldots) - \ldots$

The analytic and algebraic definitions can be proven to be equivalent using the properties of the pushforward and the Leibniz rule for differentiation. Note also that the Lie derivative commutes with the contraction.

Coordinate expressions

In coordinate notation, for a type (r,s) tensor field $T$ , the Lie derivative along $X$ is

$\mathcal L_X T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = X^c(\nabla_c T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}) - (\nabla_c X ^{a_1}) T ^{c a_2 \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\nabla_c X^{a_r}) T ^{a_1 \ldots a_{r-1}c}{}_{b_1 \ldots b_s} +$

$+ (\nabla_{b_1} X^c) T ^{a_1 \ldots a_r}{}_{c b_2 \ldots b_s} + \ldots + (\nabla_{b_s}X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} c}$

here, the notation ∇ means taking the gradient (i.e. partial derivative). The Lie derivative of a tensor is another tensor of the same type. The above formula gives the same resulting tensor in any coordinate system.

Alternatively, if we are using a torsion-free connection, then ∇ could also mean the covariant derivative. For a torsion-free connection, both definitions are equivalent.

The definition can be extended further to tensor densities of weight w for any real w. If T is such a tensor density, then its Lie derivative is a tensor density of the same type and weight.

$\mathcal {L}_X T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = X^c(\nabla_c T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}) - (\nabla_c X ^{a_1}) T ^{c a_2 \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\nabla_c X^{a_r}) T ^{a_1 \ldots a_{r-1}c}{}_{b_1 \ldots b_s} +$

$+ (\nabla_{b_1} X^c) T ^{a_1 \ldots a_r}{}_{c b_2 \ldots b_s} + \ldots + (\nabla_{b_s} X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} c} + w (\nabla_{c} X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s}}$

Notice the new term at the end of the expression.

Generalizations

Various generalizations of the Lie derivative play an important role in differential geometry.

Covariant Lie derivative

If we have a principal bundle over the manifold M with G as the structure group, and we pick X to be a covariant vector field as section of the tangent space of the principal bundle (i.e. it has horizontal and vertical components), then the covariant Lie derivative is just the Lie derivative with respect to X over the principal bundle.

Now, if we're given a vector field Y over M (but not the principal bundle) but we also have a connection over the principal bundle, we can define a vector field X over the principal bundle such that its horizontal component matches Y and its vertical component agrees with the connection. This is the covariant Lie derivative.

See connection form for more details.

Nijenhuis–Lie derivative

Another generalization, due to Albert Nijenhuis, allows one to define the Lie derivative of a differential form along any section of the bundle Ω^k(M, TM) of differential forms with values in the tangent bundle. If K ∈ Ω^k(M, TM) and α is a differential p-form, then it is possible define the interior product i_Kα of K and α. The Nijenhuis–Lie derivative is then the anticommutator of the interior product and the exterior derivative:

$\mathcal{L}_K\alpha=[d,i_K]\alpha = di_K\alpha-(-1)^{k-1}i_Kd\alpha.$

References

Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See section 2.2.
David Bleecker, Gauge Theory and Variational Principles, (1981), Addison-Wesley Publishing, ISBN 0-201-10096-7. See Chapter 0.
Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2 See section 1.6.
Kolář, I., Michor, P., and Slovák, J. (1993). Natural operations in differential geometry. Springer-Verlag. http://www.emis.de/monographs/KSM/index.html. Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
Lang, S. (1995). Differential and Riemannian manifolds. Springer-Verlag. ISBN 978-0387943381. For generalizations to infinite dimensions.

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Lie bracket of vector fields
	Symplectic vector field
	Lie (disambiguation)

	Where to buy I wish I were your derivative so I could lie tangent to your curves t shirt? Read answer...
	In Python lore who is told this Strange women lying in ponds distributing swords is no basis for a system of government Supreme executive power derives from a mandate from the masses not from some far? Read answer...
	What do you do if you lie? Read answer...

	What case law is the following maxim derived from The proof lies upon him who affirms not on him who denies?
	What is a derivation?
	How are derivatives and anti derivatives related?

Lie derivative

Contents