Lie bracket of vector fields

It has been suggested that this article or section be merged into Lie_derivative#The_Lie_derivative_of_a_vector_field. (Discuss)

See Lie algebra for more on the definition of the Lie bracket and Lie derivative for the derivation

In the mathematical field of differential topology, the Lie bracket of vector fields,Jacobi–Lie bracket, or Commutator of vector fields is a bilinear differential operator which assigns, to any two vector fields X and Y on a smooth manifold M, a third vector field denoted [X, Y]. It is closely related to, and sometimes also known as, the Lie derivative. In particular, the bracket [X,Y] equals the Lie derivative .

It plays an important role in differential geometry and differential topology, and is also fundamental in the geometric theory for nonlinear control systems (Isaiah 2009, pp. 20–21, nonholonomic systems; Khalil 2002, pp. 523–530, feedback linearization).

A generalization of the Lie bracket (to vector-valued differential forms) is the Frölicher–Nijenhuis bracket.

Definition

Let X and Y be smooth vector fields on a smooth n-manifold M. The Jacobi–Lie bracket or simply Lie bracket of X and Y, denoted [X,Y] is the unique vector field such that

where is the Lie derivative with respect to the vector field X. For a finite-dimensional manifold M we can define the Jacobi–Lie bracket in local coordinates as

where n is the dimension of M.

The Lie bracket of vector fields equips the real vector space (i.e., smooth sections of the tangent bundle of M) with the structure of a Lie algebra, i.e., [·,·] is a map from VV to V with the following properties

• [.,.] is R-bilinear
• 
• This is the Jacobi identity.
• For functions f and g we have

[fX,gY] = fg[X,Y] + fX(g)Y − gY(f)X.

An immediate consequence of the second property is that [X,X] = 0 for any X.

The name commutator is used because of the following fact:

Theorem:

iff their corresponding flows commute (i.e., ).

Examples

For a matrix Lie group, smooth vector fields can be locally represented in the corresponding Lie algebra. Since the Lie algebra associated with a Lie group is isomorphic to the group's tangent space at the identity, elements of the Lie algebra of a matrix Lie group are also matrices. Hence the Jacobi–Lie bracket corresponds to the usual commutator for a matrix group:

[X,Y] = XY − YX

where juxtaposition indicates matrix multiplication.

Applications

The Jacobi–Lie bracket is essential to proving small-time local controllability (STLC) for driftless affine control systems.

References

• Isaiah, Pantelis (2009), "Controlled parking [Ask the experts]", IEEE Control Systems Magazine 29 (3): 17–21, 132, doi:10.1109/MCS.2009.932394 
• Khalil, H.K. (2002), Nonlinear Systems (3^rd edition ed.), Upper Saddle River, NJ: Prentice Hall, ISBN 0-13-067389-7, http://www.egr.msu.edu/~khalil/NonlinearSystems/ 
• 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.
• Lewis, Andrew D.. Notes on (Nonlinear) Control Theory. http://penelope.mast.queensu.ca/math890-03/ps/math890.pdf. 

This geometry-related article is a stub. You can help Wikipedia by expanding it. v • d • e