Derived from Lie

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

In mathematics, one derived from Lie is a derivation in the algebra of differential functions on a differentiable variety M{displaystyle scriptstyle {mathcal {M}}}}, whose definition can be extended to the tensorial algebra of the variety. We then get what in differential topology is called tensorial derivation: implementation R{displaystyle scriptstyle mathbb {R} }-linear on the set of type tensioners (r,s), which preserves the tensorial type and satisfies the rule of the product of Leibniz and which conmutes with the contractions.

To define the derivative of Lie on the set of tensors of type (r,s) it will suffice to define its action on functions and on vector fields: Thus, if X is a differentiable field of vectors, the derivative of Lie with respect to X is defined as the only tensor derivative such that:

  • LXf=X(f).{displaystyle {mathcal {L}}_{X}f=X(f). ! for any differential function f.
  • LXAnd=[chuckles]X,And].{displaystyle {mathcal {L}}_{X}Y=[X,Y]. ! for every different field Y. Where [,] is Lie's corchete.

The derivative thus defined will automatically satisfy the cited properties of a tensor derivation:

  • the product rule
LX(S T)=(LXS) T+S (LXT).{displaystyle {mathcal {L}}_{X}(Sotimes T)=({mathcal {L}_{X}S)otimes T+Sotimes ({mathcal {L}}}_{X}T). !
  • It will switch with the contractions.

The vector space of all Lie derivatives in M forms an infinite dimensional Lie algebra with respect to the Lie bracket.

Although less common, it also denotes the derivative of Lie de And{displaystyle Y} regarding a field X{displaystyle X} Like XLAnd{displaystyle X^{L}Y}. This notation, sometimes cleaner than the previous one because it avoids subscripts, comes from Professor Juan Bautista Sancho Guimerá.

Derivative of Lie of tensor fields

In differential geometry, if we have a differentiable tensor T of rank (p, q) (that is, a linear function of differentiable sections, α, β,... of the cotangent bundled T*M and X, Y,... of the tangent bundled TM,

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

Such that for any differentiable functions

f1...,fp...,fp+q, T(f1α,f2β...,fp+1X,fp+2Y,...) = f1f2... fp+1fp +2... fp+q T(α, β..., X, Y ,...)) and a vector field (section of the tangent bundle) A differentiable, then the linear function:

AT)(α, β,..., X, Y,...) ≡ ∇A T(α, β,..., X, Y,...) - ∇T(-,β...,X,Y,...)A (α)-... + T(α, β...,∇XA,Y,...)+...

is independent of the connection ∇ being used, as long as it is free of torsion, and is, in fact, a tensor.

This tensor is called the Lie derivative of T with respect to A.

Contenido relacionado

Geometric mean

In mathematics and statistics, the geometric mean of an arbitrary number of numbers is the nth root of the product of all numbers; It is recommended for...

Panicle

A panicle or panicle is a racemose inflorescence composed of clusters that decrease in size towards the apex. In other words, a branched cluster of flowers...

Legionellosis

legionellosis, legionnaires' disease or legionella is an infectious disease caused by an aerobic Gram-negative bacterium of the genus...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save