Science Fair Project Encyclopedia

Science Fair Project Encyclopedia Contents Page

Categories: Differential topology | Riemannian geometry

Lie derivative

In mathematics, a Lie derivative, named after Sophus Lie, is a derivation on the algebra of smooth functions 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] \equiv \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 round, the diffeomorphism group of M has the associated Lie algebra structure, of Lie derivatives, in a way directly analogous to the Lie group theory.

Contents

1 Definition

2 Properties

3 Lie derivative of tensor fields

4 See also

5 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 in the next section.

One might start by defining the Lie derivative in terms of the differential of a function. Thus, give a function $f:M\rightarrow \mathbb{R}$ and a vector field X defined on M, one defines the Lie derivative of f at point $p\in M$ as

$\mathcal{L}_Xf(p)=df(p)\, [X(p)]$

where $d f$ is the differential of f. That is, $df:M\rightarrow T^*M$ is the 1-form given by

$df = \frac{\partial f} {\partial x^a} dx^a$ .

Here, the $d x a$ are the basis vectors for the cotangent bundle $T * M$ . Thus, the notation $df(p)\, [X(p)]$ means that the inner product of the differential of f is being taken with the vector field X.

Alternately, one might start by showing that a smooth vector field X on M defines a one-parameter family of curves on M. That is, one shows that there exists a curve $γ(t)$ on M such that

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

with $p = γ(0)$ for any point p in M. The existance of solutions to this first-order ordinary differential equation is given by the Picard-Lindelöf theorem (more generally, one says the existance of such curves is given by the Frobenius theorem). One then defines the Lie derivative as

$\mathcal{L}_Xf(p)=\frac{d}{dt} f(\gamma(t)) \vert_{t=0}$ .

A third possible definition of the Lie derivative can be gotten by first defining the Lie bracket of a pair of vector fields. One starts by noting that the basis vectors for the tangent manifold can be written as $\frac{\partial}{\partial x^a}$ , and so a vector field, expressed in terms of a 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^a \frac{\partial Y^b}{\partial x^a} \frac{\partial}{\partial x^b} - Y^a \frac{\partial X^b}{\partial x^a} \frac{\partial}{\partial x^b}$

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]$ .

Depending on which of the above are chosen as the definition of the Lie derivative, the others can be proven to be equivalent. Thus, for example, one may prove that, for a differentiable function f,

$\mathcal{L}_X (f) = df(X) = X(f)$

and that

[X, Y] f = X (Y (f)) - Y (X (f))

We complete this section by noting the definition of the Lie derivative on a 1-form $ω = ω a d x a$ is given by

$\mathcal{L}_X \omega = \left(\frac{\partial \omega_b} {\partial x^a} X^a + \frac{\partial X^a} {\partial x^b} \omega_a \right) dx^b$ .

Properties

The Lie deriviative 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, equiped with the the Lie bracket, forms a Lie algebra.

Lie derivative of tensor fields

In differential geometry, if we have a differentiable tensor T of rank (p q) (i.e. a differentiable linear map of smooth sections,

α, β, ...

of the cotangent bundle T*M and

X, Y, ...

of the tangent bundle TM,

T(α,β,...,X,Y,...)

such that for any smooth functions

f₁,...,f_p,...,f_p+q, T(f₁α,f₂β,...,f_p+1X,f_p+2Y,...)=f₁f₂...f_p+1f_p+2...f_p+qT(α,β,...,X,Y,...))

and a differentiable vector field (section of the tangent bundle) A, then the linear map

(£_AT)(α,β,...,X,Y,...)≡∇_A T(α,β,...,X,Y,...)-∇_{T(-,β,...,X,Y,...)}A(α)-...+ T(α,β,...,∇_XA,Y,...)+...

is independent of the connection ∇ used; as long as it is torsion-free, and in fact, is a tensor. This tensor is called the Lie derivative of T with respect to A.

In other words, if you have a tensor field T and an infinitesimal generator of a diffeomorphism given by a vector field U, then $\mathcal{L}_UT$ is nothing other than the infinitesimal change in T under the infinitesimal diffeomorphism.

Alternately, given the vector field U, let ψ be the family of integral curves of U, as given above. Note that ψ is a local 1-parameter group of local diffeomorphisms. Let $ψ *$ be the pullback induced by ψ. Then the Lie derivative of the tensor field T at the point p is given by

$\mathcal{L}_UT=\frac{d}{dt}\left(\psi^*_t T\right) \vert_{\psi(t)=p}$ .

References

Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-4267-2 See section 1.6.
Ralph Abraham and Jarrold 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.

Categories: Differential topology | Riemannian geometry

Science Fair Project Encyclopedia Contents Page

10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details

All Science Fair Projects