|
|
|
|
|
Lie DerivativeIn 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 -
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. 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 and a vector field X defined on M, one defines the Lie derivative of f at point as -
where is the differential of f. That is, is the 1-form given by - .
Here, the are the basis vectors for the cotangent bundle . Thus, the notation 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 on M such that -
with for any point p in M. The existance of solutions to this first-order ordinary differential equation is given by the Picard-Lindelf theorem (more generally, one says the existance of such curves is given by the Frobenius theorem). One then defines the Lie derivative as - .
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 , and so a vector field, expressed in terms of a selected set of basis vectors is written as -
One defines the Lie bracket of a pair of vector fields as -
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, - .
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, -
and that - .
We complete this section by noting the definition of the Lie derivative on a 1-form is given by -
\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 be the algebra of functions defined on the manifold M. Then -
is a derivation on the algebra . That is, is R-linear and - .
Similarly, it is a derivation on where is the set of vector fields on M: -
which is may also be written in the equivalent notation -
(\mathcal{L}_Xf) \otimes Y + f\otimes \mathcal{L}_X Y where the tensor product symbol 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, -
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 - f1,...,fp,...,fp+q, T(f1α,f2β,...,fp+1X,fp+2Y,...)=f1f2...fp+1fp+2...fp+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 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 - .
See also 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.
|
 |
|
| Copyright 2005-2009 OnPedia.com. All Rights Reserved |
|
|