“Lie bracket of vector fields”的意思、由来-开放百科全书

词条

Lie bracket of vector fields

释义

Definitions
Vector fields as derivations Flows and limits In coordinates
Properties
Examples
Applications
Generalizations
References

In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted {{nowrap|[X, Y]}}.

Conceptually, the Lie bracket {{nowrap|[X, Y]}} is the derivative of Y along the flow generated by X. A generalization of the Lie bracket is the Lie derivative, which allows differentiation of any tensor field along the flow generated by X. The Lie bracket {{nowrap|[X, Y]}} equals the Lie derivative of the vector Y (which is a tensor field) along X, and is sometimes denoted (read "the Lie derivative of Y along X").

The Lie bracket is an R-bilinear operation and turns the set of all smooth vector fields on the manifold M into an (infinite-dimensional) Lie algebra.

The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius theorem, and is also fundamental in the geometric theory for nonlinear control systems ({{harvnb|Isaiah|2009|pp=20–21}}, nonholonomic systems; {{harvnb|Khalil|2002|pp=523–530}}, feedback linearization).

Definitions

There are three conceptually different but equivalent approaches to defining the Lie bracket:

Vector fields as derivations

Each vector field X on a smooth manifold M

may be regarded as a differential operator acting on smooth

functions on M. Indeed, each

smooth vector field X becomes a derivation on the smooth

functions C^∞(M) when we define X(f) to be the element of C^∞(M) whose value at a point p is the directional derivative of f at p in the direction X(p). Furthermore, it is known that any derivation on C^∞(M) arises in this fashion from a uniquely determined smooth vector field X.

In general, the commutator of any two derivations and is again a derivation. This can be used to define the Lie bracket of vector fields as follows.

The Lie bracket, {{nowrap|[X, Y]}}, of two smooth vector fields

X and Y is the smooth vector field {{nowrap|[X, Y]}} such that

Flows and limits

Let be the flow associated with the vector field X, and let d denote the tangent map derivative operator. Then the Lie bracket of X and Y at the point {{nowrap|x ∈ M}} can be defined as

or in terms of the Lie derivative

which is also equivalent to

In coordinates

Though neither definition of the Lie bracket depends on a choice of coordinates, in practice one often wants to compute the bracket with respect to a coordinate system.

If we have picked a coordinate chart on M with local coordinate functions , and we write for the associated local basis for the tangent bundle, then the vector fields can be written as

and

with smooth functions and . Then the Lie bracket is given by

If M is (an open subset of) Rⁿ, then the vector fields X and Y can be written as smooth maps of the form and , and the Lie bracket is given by

where and are the Jacobian matrices of and , respectively. These n-by-n matrices are multiplied by the n-vectors X and Y.

Properties

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

R-bilinearity
Anti-symmetry,
Satisfying the Jacobi identity,

An immediate consequence of the second property is that for any .

Furthermore, there is a "product rule" for Lie brackets. Given a smooth real-valued function f defined on M and a vector field Y on M, we have a new vector field fY, defined by multiplying the vector Y_x with the number f(x), at each point {{nowrap|x ∈ M}}. The Lie bracket of X and fY is then given by

where on the right-hand side we multiply the function X(f) with the vector field Y, and the function f with the vector field {{nowrap|[X, Y]}}.

This turns the vector fields with the Lie bracket into a Lie algebroid.

We also have the following fact:

Theorem:

iff the flows of X and Y commute locally, i.e. iff for every {{nowrap|x ∈ M}} and all sufficiently small real numbers s, t we have .

Examples

For a Lie group G, the corresponding Lie algebra is the tangent space at the identity, which can be identified with the left invariant vector fields on G. The Lie bracket of the Lie algebra is then the Lie bracket of the left invariant vector fields, which is also left invariant.

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:

where juxtaposition indicates matrix multiplication.

Applications

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

Generalizations

As mentioned above, the Lie derivative can be seen as a generalization of the Lie bracket. Another generalization of the Lie bracket (to vector-valued differential forms) is the Frölicher–Nijenhuis bracket.

References

{{springer|title=Lie bracket|id=p/l058550}}
{{citation|last=Isaiah|first=Pantelis|title=Controlled parking [Ask the experts]|journal=IEEE Control Systems Magazine|year=2009|volume=29|issue=3|pages=17–21, 132|doi=10.1109/MCS.2009.932394}}
{{citation

| last = Khalil
| first = H.K.
| authorlink = Hassan K. Khalil
| year = 2002
| edition = 3rd
| url = http://www.egr.msu.edu/~khalil/NonlinearSystems/
| isbn = 0-13-067389-7
| title = Nonlinear Systems
| publisher=Prentice Hall
| location = Upper Saddle River, NJ}}

{{Citation|author=Kolář, I., Michor, P., and Slovák, J.|title=Natural operations in differential geometry|url=http://www.emis.de/monographs/KSM/index.html|publisher=Springer-Verlag|year=1993}} Extensive discussion of Lie brackets, and the general theory of Lie derivatives.
{{Citation|author=Lang, S.|title=Differential and Riemannian manifolds|publisher=Springer-Verlag|year=1995|isbn=978-0-387-94338-1}} For generalizations to infinite dimensions.
{{Citation|author=Lewis, Andrew D.|url=http://penelope.mast.queensu.ca/math890-03/ps/math890.pdf|title=Notes on (Nonlinear) Control Theory}}{{dead link|date=December 2017 |bot=InternetArchiveBot |fix-attempted=yes }}
{{Citation | last =Warner | first = Frank | title = Foundations of differentiable manifolds and Lie groups | origyear = 1971 | edition = | year = 1983 | publisher=Springer-Verlag | location = New York-Berlin | isbn = 0-387-90894-3 }}

4 : Bilinear operators|Binary operations|Differential topology|Riemannian geometry

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。