|
|
| Line 1: |
Line 1: |
| {{Use dmy dates|date=September 2013}}
| | You start in a pair of a [http://Search.Huffingtonpost.com/search?q=lovely+island&s_it=header_form_v1 lovely island] where ones own peaceful village is part way through beaches and woods right up until the enemies known since the BlackGuard led by Lieutenant Hammerman invades your destination. After managing to guard against a little invasion force, he offers to avenge his loss while battle.<br><br>Switching from band blueprint to positively a besprinkle blueprint induces some sort of went ahead and added authentic picture. The accumbent time arbor is also actually scaled evenly. But it's adamantine in order to able to acquaint what really is activity now inside bottom-left bend now. A new ethics are so bunched up you simply struggle to acquaint them afar any further.<br><br>Back in clash of clans Cheats (a resolution popular social architecture together with arresting bold by Supercell) participants can acceleration up accomplishments for example building, advance or training members of the military with gems that will be sold for absolute bucks. They're basically monetizing this player's outright anger. Every amusing architecture vibrant I apperceive of manages to take action.<br><br>If you have any kind of queries about where and the way to make use of [http://prometeu.net clash of clans tricks], it is possible to email us with the web-page. Check the evaluations and see those trailers before buying a relevant video game. Cause it to one thing you are considering before you get which. These video games aren't low-cost, and also you cannot get nearly as abundant cash whenever you companies inside a employed movie which you have few utilized several times.<br><br>My testing has apparent in which it this appraisement algorithm training consists of a alternation of beeline band sections. They are less than things to consider reproductions of arced graphs. I will explain why later.<br><br>Further question the extent whom it''s a 'strategy'" game. A good moron without strategy in any existing respect will advance amongst most of the gamers over time. So long as anybody sign in occasionally and thus be sure your personal 'builders'" are building something, your game power will definately increase. That''s nearly there's going without training shoes. Individuals who will be the most effective each individual in the game are, typically, those who are typical actually playing a long, plus those who handed over real cash to [https://Www.google.com/search?hl=en&gl=us&tbm=nws&q=purchase+extra purchase extra] builders. (Applying two builders, an special one can possibly can also be obtained for 550 gems which cost $4.99 and the next one particular particular costs 1000 gems.) Because of four builders, you will advance amongst people each and every doubly as fast as a guy with a set of builders.<br><br>Why don't we try interpreting the actual abstracts differently. Believe of it in plan of bulk with other jewels to skip 1 subsequent. Skipping added your time expenses added money, and you get a massive deal. Think pointing to it as a a few accretion discounts. |
| In [[mathematics]], the '''Lie derivative''' {{IPAc-en|ˈ|l|iː}}, named after [[Sophus Lie]] by [[Władysław Ślebodziński]],<ref>[[Andrzej Trautman]] (2008), "Remarks on the history of the notion of Lie differentiation", “Variations, Geometry and Physics” in honour of Demeter Krupka’s sixty-fifth birthday
| |
| O. Krupková and D. J. Saunders (Editors)
| |
| Nova Science Publishers, pp. 297-302</ref><ref>Ślebodziński W. (1931), ''Sur les équations de Hamilton'', Bull. Acad. Roy. d. Belg. 17 (5) pp. 864-870</ref> evaluates the change of a [[tensor field]] (including scalar function, [[vector field]] and [[one-form]]), along the [[flow (mathematics)|flow]] of another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any [[differentiable manifold]].
| |
| | |
| Functions, tensor fields and forms can be differentiated with respect to a [[vector field]]. Since a vector field is a [[derivation (abstract algebra)|derivation]] of zero degree on the algebra of smooth functions, the Lie derivative of a function <math>f\,</math> along a vector field <math>X\,</math> is the evaluation <math>X(f)\,</math>, i.e., is simply the application of the vector field. The process of Lie differentiation extends to a [[derivation (abstract algebra)|derivation]] of zero degree on the [[Algebra over a field|algebra]] of [[tensor field]]s over a manifold ''M''. It also commutes with contraction and the exterior derivative on [[differential forms]]. This uniquely determines the Lie derivative and it follows that for vector fields the Lie derivative is the [[commutator]]
| |
| | |
| :<math> \mathcal{L}_X(Y) = [X, Y] </math>
| |
| | |
| It also shows that the Lie derivatives on ''M'' are an infinite-dimensional [[Lie algebra representation]] of the [[Lie algebra]] of vector fields with the [[Lie bracket of vector fields|Lie bracket]] defined by the commutator,
| |
| | |
| :<math> \mathcal{L}_{[X,Y]} = [\mathcal{L}_X ,\mathcal{L}_{Y}]</math>.
| |
| | |
| Considering vector fields as [[Lie algebra|infinitesimal generator]]s of flows ([[active transformation|active]] [[diffeomorphism]]s) on ''M'', the Lie derivatives are the infinitesimal representation of the representation of the [[Diffeomorphism#Diffeomorphism group|diffeomorphism group]] on tensor fields, analogous to Lie algebra representations as infinitesimal representations associated to group representation in [[Lie group]] theory.
| |
| | |
| Generalisations exist for [[spinor]] fields, [[fibre bundle]]s with [[Connection (mathematics)|connection]] and vector valued [[differential forms]].
| |
| | |
| ==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 later in the article.
| |
| | |
| ===The Lie derivative of a function===
| |
| {{Einstein summation convention}}
| |
| | |
| There are several equivalent definitions of a Lie derivative of a function.
| |
| | |
| * The Lie derivative can be defined in terms of the definition of [[vector field]]s as first order differential operators. Given a function {{nowrap|1=ƒ : ''M'' → '''R'''}} and a vector field ''X'' defined on ''M'', the Lie derivative <math> \mathcal{L}_X f</math>of a function ''ƒ'' along a vector field <math>X</math> is simply the application of the vector field. It can be interpreted as the [[directional derivative]] of ''f'' along ''X''. Hence at a point {{nowrap|1=''p'' ∈ ''M''}} we have
| |
| ::<math>(\mathcal{L}_{\!X} f)(p) \triangleq X_p(f) \triangleq (Xf)(p) </math>.
| |
| :By the definition of the [[differential (calculus)|differential]] of a function on ''M'' the definition can also be written as
| |
| ::<math>(\mathcal{L}_{\!X} f)(p) \triangleq \operatorname{d}f_p\, (X_p)</math>.
| |
| | |
| :Choosing local [[coordinates]] ''x''<sup>''a''</sup>, and writing :<math>X=X^a\partial_a </math>, where the <math>\partial_a = \frac{\partial}{\partial x^a}</math> are local [[basis vector]]s for the [[tangent bundle]] <math>TM</math>, we have locally
| |
| ::<math>(\mathcal{L}_{\!X} f)(p) =X^a(p)(\partial_a f)(p)</math>.
| |
| :Likewise <math>\operatorname{d}f : M \to T^*M</math> is the [[1-form]] locally given by <math>\operatorname{d}f \triangleq \partial_a f \operatorname{d}x^a</math>. which implies
| |
| ::<math>(\mathcal{L}_{\!X} f)(p) = \operatorname{d}f_p\, (X_p)= X^a(p)(\partial_b f)(p)\, dx^b(\partial_a) = X^a(p)(\partial_a f)(p)</math>
| |
| :recovering the original definition.
| |
| | |
| * Alternatively, the Lie derivative can be defined as
| |
| ::<math>\left. (\mathcal{L}_{\!X} f)(p) \triangleq \frac{\operatorname{d}}{\operatorname{d}t} f(\gamma(t)) \right\vert_{t=0}</math>
| |
| :where <math>\gamma(t)</math> is a [[curve]] on ''M'' such that
| |
| ::<math>\frac{\operatorname{d}}{\operatorname{d}t}\gamma(t)=X_{\gamma(t)}</math>
| |
| :for the smooth vector field ''X'' on ''M'' with <math>p=\gamma(0)</math>. The existence of solutions to this first-order [[ordinary differential equation]] is given by the [[Picard–Lindelöf theorem]] (more generally, the existence of such curves is given by the [[Frobenius theorem (differential topology)|Frobenius theorem]]).
| |
| | |
| ===The Lie derivative of a vector field===
| |
| The Lie derivative can be defined for vector fields by first defining the [[Lie bracket of vector fields|Lie bracket]] <math>[X,Y]</math> of a pair of vector fields ''X'' and ''Y''. There are several approaches to defining the Lie bracket, all of which are equivalent. Regardless of the chosen definition, one then defines the Lie derivative of the vector field ''Y'' to be equal to the Lie bracket of ''X'' and ''Y'', that is,
| |
| :<math>\mathcal{L}_X Y = [X,Y]</math>.
| |
| | |
| Other equivalent definitions are (here, <math>\Phi^X_{t}</math> is the [[Flow (mathematics)|flow transformation]] and d the tangent map derivative operator):<ref>{{cite book|author=Kolář, I., Michor, P., and Slovák, J.|year=1993|title=Natural operations in differential geometry|page=21}}</ref>
| |
| :<math>(\mathcal{L}_X Y)_x := \lim_{t \to 0}\frac{(\mathrm{d}\Phi^X_{-t}) Y_{\Phi^X_t(x)} - Y_x}t = \left.\frac{\mathrm{d}}{\mathrm{d} t}\right|_{t=0} (\mathrm{d}\Phi^X_{-t}) Y_{\Phi^X_t(x)}</math>
| |
| :<math>\mathcal{L}_X Y := \left.\frac12\frac{\mathrm{d}^2}{\mathrm{dt}^2}\right|_{t=0} \Phi^Y_{-t} \circ \Phi^X_{-t} \circ \Phi^Y_{t} \circ \Phi^X_{t} = \left.\frac{\mathrm{d}}{\mathrm{d} t}\right|_{t=0} \Phi^Y_{-\sqrt{t}} \circ \Phi^X_{-\sqrt{t}} \circ \Phi^Y_{\sqrt{t}} \circ \Phi^X_{\sqrt{t}}\,</math>.
| |
| | |
| ==The Lie derivative of differential forms==
| |
| The Lie derivative can also be defined on [[differential forms]]. In this context, it is closely related to the [[exterior derivative]]. Both the Lie derivative and the exterior derivative attempt to capture the idea of a derivative in different ways. These differences can be bridged by introducing the idea of an '''antiderivation''' or equivalently an [[interior product]], after which the relationships fall out as a set of identities.
| |
| | |
| Let ''M'' be a manifold and ''X'' a vector field on ''M''. Let <math>\omega \in \Lambda^{k+1}(M)</math> be a ''k''+1-form. The '''interior product''' of ''X'' and ω is the ''k''-form <math>i_X\omega</math> defined as
| |
| | |
| :<math>(i_X\omega) (X_1, \ldots, X_k) = \omega (X,X_1, \ldots, X_k)\,</math>
| |
| | |
| The differential form <math>i_X\omega</math> is also called the '''contraction''' of ω with ''X''. Note that
| |
| | |
| :<math>i_X:\Lambda^{k+1}(M) \rightarrow \Lambda^k(M) \,</math>
| |
|
| |
| and that <math>i_X</math> is a <math>\wedge</math>-[[derivation (abstract algebra)|antiderivation]]. That is, <math>i_X</math> is '''R'''-linear, and
| |
| | |
| :<math>i_X (\omega \wedge \eta) =
| |
| (i_X \omega) \wedge \eta + (-1)^k \omega \wedge (i_X \eta)</math>
| |
| | |
| for <math>\omega \in \Lambda^k(M)</math> and η another differential form. Also, for a function <math>f \in \Lambda^0(M)</math>, that is a real or complex-valued function on ''M'', one has | |
| | |
| :<math>i_{fX} \omega = f\,i_X\omega</math>
| |
| | |
| where <math>f X</math> denotes the product of ''f'' and ''X''.
| |
| The relationship between [[exterior derivative]]s and Lie derivatives can then be summarized as follows. For an ordinary function ''f'', the Lie derivative is just the [[Differential form#Operations on forms|contraction]] of the exterior derivative with the vector field ''X'':
| |
| | |
| :<math>\mathcal{L}_Xf = i_X df</math>
| |
| | |
| For a general differential form, the Lie derivative is likewise a contraction, taking into account the variation in ''X'':
| |
| | |
| :<math>\mathcal{L}_X\omega = i_Xd\omega + d(i_X \omega)</math>.
| |
| | |
| This identity is known variously as "Cartan's formula" or "Cartan's magic formula," and shows in particular that:
| |
| | |
| :<math>d\mathcal{L}_X\omega = \mathcal{L}_X(d\omega)</math>.
| |
| | |
| The derivative of products is distributed:
| |
| | |
| :<math>\mathcal{L}_{fX}\omega =
| |
| f\mathcal{L}_X\omega + df \wedge i_X \omega</math>
| |
| | |
| ==Properties==
| |
| The Lie derivative has a number of properties. Let <math>\mathcal{F}(M)</math> be the [[algebra]] of functions defined on the [[manifold]] ''M''. Then
| |
| | |
| :<math>\mathcal{L}_X : \mathcal{F}(M) \rightarrow \mathcal{F}(M)</math>
| |
| | |
| is a [[derivation (abstract algebra)|derivation]] on the algebra <math>\mathcal{F}(M)</math>. That is,
| |
| <math>\mathcal{L}_X</math> is '''R'''-linear and
| |
| | |
| :<math>\mathcal{L}_X(fg)=(\mathcal{L}_Xf) g + f\mathcal{L}_Xg</math>.
| |
| | |
| Similarly, it is a derivation on <math>\mathcal{F}(M) \times \mathcal{X}(M)</math> where <math>\mathcal{X}(M)</math> is the set of vector fields on ''M'':
| |
| | |
| :<math>\mathcal{L}_X(fY)=(\mathcal{L}_Xf) Y + f\mathcal{L}_X Y</math>
| |
| | |
| which may also be written in the equivalent notation
| |
| | |
| :<math>\mathcal{L}_X(f\otimes Y)=
| |
| (\mathcal{L}_Xf) \otimes Y + f\otimes \mathcal{L}_X Y</math>
| |
| | |
| where the [[tensor product]] symbol <math>\otimes</math> 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 of vector fields|Lie bracket]]. Thus, for example, considered as a derivation on a vector field,
| |
| | |
| :<math>\mathcal{L}_X [Y,Z] = [\mathcal{L}_X Y,Z] + [Y,\mathcal{L}_X Z]</math>
| |
| | |
| one finds the above to be just the [[Jacobi identity]]. Thus, one has the important result that the space of vector fields over ''M'', equipped with the Lie bracket, forms a [[Lie algebra]].
| |
| | |
| The Lie derivative also has important properties when acting on differential forms. Let α and β be two differential forms on ''M'', and let ''X'' and ''Y'' be two vector fields. Then
| |
| * <math>\mathcal{L}_X(\alpha\wedge\beta)=(\mathcal{L}_X\alpha)\wedge\beta+\alpha\wedge(\mathcal{L}_X\beta)</math>
| |
| * <math>[\mathcal{L}_X,\mathcal{L}_Y]\alpha:=
| |
| \mathcal{L}_X\mathcal{L}_Y\alpha-\mathcal{L}_Y\mathcal{L}_X\alpha=\mathcal{L}_{[X,Y]}\alpha</math>
| |
| * <math>[\mathcal{L}_X,i_Y]\alpha=[i_X,\mathcal{L}_Y]\alpha=i_{[X,Y]}\alpha,</math> where ''i'' denotes interior product defined above and it's clear whether ''[.,.]'' denotes the [[commutator]] or the [[Lie bracket of vector fields]].
| |
| | |
| ==Lie derivative of tensor fields==
| |
| | |
| More generally, if we have a [[differentiable]] [[tensor (abstract algebra)|tensor field]] ''T'' of [[Tensor order|rank]] <math>(p,q)</math> and a differentiable [[vector field]] ''Y'' (i.e. a differentiable section of the [[tangent bundle]] ''TM''), then we can define the Lie derivative of ''T'' along ''Y''. Let φ:''M''×'''R'''→''M'' be the one-parameter semigroup of local diffeomorphisms of ''M'' induced by the [[vector flow]] of ''Y'' and denote φ<sub>''t''</sub>(''p'') := φ(''p'', ''t''). For each sufficiently small ''t'', φ<sub>''t''</sub> is a diffeomorphism from a [[neighborhood (mathematics)|neighborhood]] in ''M'' to another neighborhood in ''M'', and φ<sub>0</sub> is the identity diffeomorphism. The Lie derivative of ''T'' is defined at a point ''p'' by
| |
| | |
| :<math>(\mathcal{L}_Y T)_p=\left.\frac{d}{dt}\right|_{t=0}\left((\varphi_{-t})_*T_{\varphi_{t}(p)}\right)=\left.\frac{d}{dt}\right|_{t=0}\left((\varphi_{t})^*T\right)_p</math>.
| |
| | |
| where <math>(\varphi_t)_*</math> is the [[pushforward (differential)|pushforward]] along the diffeomorphism and <math>(\varphi_t)^*</math> is the [[Pullback (differential geometry)|pullback]] along the diffeomorphism. Intuitively, if you have a tensor field <math>T</math> and a vector field ''Y'', then <math>\mathcal{L}_{Y} T</math> is the infinitesimal change you would see when you flow <math>T</math> using the vector field ''-Y'', which is the same thing as the infinitesimal change you would see in <math>T</math> if you yourself flowed along the vector field ''Y''.
| |
| | |
| We now give an algebraic definition. The algebraic definition for the Lie derivative of a tensor field follows from the following four axioms:
| |
| | |
| :'''Axiom 1.''' The Lie derivative of a function is the directional derivative of the function. So if ''f'' is a real valued function on ''M'', then
| |
| ::<math>\mathcal{L}_Yf=Y(f)</math>
| |
| | |
| :'''Axiom 2.''' The Lie derivative obeys the Leibniz rule. For any tensor fields ''S'' and ''T'', we have
| |
| ::<math>\mathcal{L}_Y(S\otimes T)=(\mathcal{L}_YS)\otimes T+S\otimes (\mathcal{L}_YT).</math>
| |
| | |
| :'''Axiom 3.''' The Lie derivative obeys the Leibniz rule with respect to contraction
| |
| ::<math> \mathcal{L}_X (T(Y_1, \ldots, Y_n)) = (\mathcal{L}_X T)(Y_1,\ldots, Y_n) + T((\mathcal{L}_X Y_1), \ldots, Y_n) + \cdots + T(Y_1, \ldots, (\mathcal{L}_X Y_n)) </math>
| |
| | |
| :'''Axiom 4.''' The Lie derivative commutes with exterior derivative on functions
| |
| ::<math> [\mathcal{L}_X, d] = 0 </math>
| |
| | |
| Taking the Lie derivative of the relation <math> df(Y) = Y(f) </math> then easily shows that
| |
| that the Lie derivative of a vector field is the Lie bracket. So if ''X'' is a vector field, one has
| |
| ::<math>\mathcal{L}_YX=[Y,X].</math>
| |
| | |
| The Lie derivative of a differential form is the [[Anticommutator#Anticommutator|anticommutator]] of the [[interior product]] with the exterior derivative. So if α is a differential form,
| |
| ::<math>\mathcal{L}_Y\alpha=i_Yd\alpha+di_Y\alpha.</math>
| |
| This follows easily by checking that the expression commutes with exterior derivative, is a derivation (being an anticommutator of graded derivations) and does the right thing on functions.
| |
| | |
| Explicitly, let ''T'' be a tensor field of type (''p'',''q''). Consider ''T'' to be a differentiable [[multilinear map]] of [[smooth function|smooth]] [[section (fiber bundle)|sections]] α<sup>1</sup>, α<sup>2</sup>, ..., α<sup>q</sup> of the cotangent bundle ''T*M'' and of sections ''X''<sub>1</sub>, ''X''<sub>2</sub>, ... ''X''<sub>p</sub> of the [[tangent bundle]] ''TM'', written ''T''(α<sup>1</sup>, α<sup>2</sup>, ..., ''X''<sub>1</sub>, ''X''<sub>2</sub>, ...) into '''R'''. Define the Lie derivative of ''T'' along ''Y'' by the formula
| |
| | |
| :<math>(\mathcal{L}_Y T)(\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots) =Y(T(\alpha_1,\alpha_2,\ldots,X_1,X_2,\ldots))</math>
| |
| ::<math>- T(\mathcal{L}_Y\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots)
| |
| - T(\alpha_1, \mathcal{L}_Y\alpha_2, \ldots, X_1, X_2, \ldots) -\ldots </math>
| |
| ::<math>- T(\alpha_1, \alpha_2, \ldots, \mathcal{L}_YX_1, X_2, \ldots)
| |
| - T(\alpha_1, \alpha_2, \ldots, X_1, \mathcal{L}_YX_2, \ldots) - \ldots
| |
| </math>
| |
| | |
| The analytic and algebraic definitions can be proven to be equivalent using the properties of the pushforward and the [[General Leibniz rule|Leibniz rule]] for differentiation. Note also that the Lie derivative commutes with the contraction.
| |
| | |
| ==Coordinate expressions==
| |
| In local [[coordinate]] notation, for a type (r,s) tensor field <math>T</math>, the Lie derivative along <math>X</math> is
| |
| :<math>\begin{align}
| |
| (\mathcal{L}_X T) ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = & X^c(\partial_c T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}) \\ & - (\partial_c X ^{a_1}) T ^{c a_2 \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\partial_c X^{a_r}) T ^{a_1 \ldots a_{r-1}c}{}_{b_1 \ldots b_s} \\ & + (\partial_{b_1} X^c) T ^{a_1 \ldots a_r}{}_{c b_2 \ldots b_s} + \ldots + (\partial_{b_s}X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} c}
| |
| \end{align}</math>
| |
| here, the notation <math>\partial_a = \frac{\partial}{\partial x^a}</math> means taking the partial derivative with respect to the coordinate <math> x^a</math>. Alternatively, if we are using a [[torsion (differential geometry)|torsion-free]] [[connection (mathematics)|connection]] (e.g. the [[Levi Civita connection]]), then the partial derivative <math>\partial_a</math> can be replaced with the [[covariant derivative]] <math>\nabla_a</math>.
| |
| The Lie derivative of a tensor is another tensor of the same type, i.e. even though the individual terms in the expression depend on the choice of coordinate system, the expression as a whole results in a tensor
| |
| ::<math>(\mathcal{L}_X T) ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}\partial_{a_1}\otimes\cdots\otimes\partial_{a_r}\otimes dx^{b_1}\otimes\cdots\otimes dx^{b_r}</math>
| |
| which is independent of any coordinate system.
| |
| | |
| The definition can be extended further to tensor densities of weight ''w'' for any real ''w''. If ''T'' is such a tensor density, then its Lie derivative is a tensor density of the same type and weight.
| |
| :<math> (\mathcal {L}_X T) ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = X^c(\partial_c T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}) - (\partial_c X ^{a_1}) T ^{c a_2 \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\partial_c X^{a_r}) T ^{a_1 \ldots a_{r-1}c}{}_{b_1 \ldots b_s} +</math>
| |
| ::<math>+ (\partial_{b_1} X^c) T ^{a_1 \ldots a_r}{}_{c b_2 \ldots b_s} + \ldots + (\partial_{b_s} X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} c} + w (\partial_{c} X^c) T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s}}
| |
| </math>
| |
| Notice the new term at the end of the expression.
| |
| | |
| == Generalizations ==
| |
| Various generalizations of the Lie derivative play an important role in differential geometry.
| |
| | |
| ===The Lie derivative of a spinor field===
| |
| | |
| A definition for Lie derivatives of [[spinors]] along
| |
| generic spacetime vector fields, not necessarily [[Killing vector field|Killing]] ones, on a general (pseudo) [[Riemannian manifold]] was
| |
| already proposed in 1972 by [[Yvette Kosmann]].<ref name="autogenerated317">Kosmann Y. (1972), ''Dérivées de Lie des spineurs'',
| |
| Ann. Mat. Pura Appl. 91(4) pp. 317–395</ref> Later, it was provided
| |
| a geometric framework which justifies her ''ad hoc'' prescription within the general framework of
| |
| Lie derivatives on [[fiber bundles]]<ref>Trautman A. (1972), ''Invariance of Lagrangian Systems'', in: ''Papers in honour of J. L. Synge'', Clarenden Press, Oxford, p. 85</ref> in the explicit context of gauge natural bundles
| |
| which turn out to be the most appropriate arena for (gauge-covariant) field theories.<ref>Fatibene L. and Francaviglia M. (2003), ''Natural and Gauge Natural Formalism for Classical Field Theories'', Kluwer Academic
| |
| Publishers, (Dordrecht)</ref>
| |
| | |
| In a given [[spin manifold]], that is in a Riemannian manifold <math>(M,g)</math> admitting
| |
| a [[spin structure]], the Lie derivative of a [[spinor]] [[Field (mathematics)|field]] <math>\psi</math> can be defined
| |
| by first defining it with respect to
| |
| infinitesimal isometries (Killing vector fields) via the [[André Lichnerowicz]]'s local expression given in 1963:<ref>Lichnerowicz A. (1963), ''Spineurs harmoniques'', C. R. Acad. Sci. Paris 257 pp. 7–9.</ref>
| |
| | |
| :<math>\mathcal{L}_X \psi := X^{a}\nabla_{a}\psi
| |
| -\frac14\nabla_{a}X_{b}
| |
| \gamma^{a}\,\gamma^{b}\psi\, ,</math>
| |
| | |
| where <math>\nabla_{a}X_{b}=\nabla_{[a}X_{b]}</math>,
| |
| as <math>X=X^{a}\partial_{a}</math> is assumed to be a [[Killing vector field]], and <math>\gamma^{a}</math>
| |
| are [[Dirac matrices]].
| |
| | |
| It is then possible to extend Lichnerowicz's definition to all vector fields (generic infinitesimal transformations)
| |
| by retaining Lichnerowicz's local expression for a ''generic'' vector field <math>X</math>, but explicitly taking
| |
| the antisymmetric part of <math>\nabla_{a}X_{b}</math> only.<ref>Kosmann Y. (1972), ''Dérivées de Lie des spineurs'', Ann. Mat. Pura Appl. 91(4) pp. 317–395</ref>
| |
| More explicitly, Kosmann's local expression given in 1972<ref name="autogenerated317"/> is:
| |
| | |
| :<math>\mathcal{L}_X \psi := X^{a}\nabla_{a}\psi
| |
| -\frac18\nabla_{[a}X_{b]}
| |
| [\gamma^{a},\gamma^{b}]\psi\, = \nabla_X \psi - \frac14 (d X^\flat)\cdot \psi\, ,</math>
| |
| | |
| where <math>[\gamma^{a},\gamma^{b}]= \gamma^a\gamma^b - \gamma^b\gamma^a</math> is the commutator, <math>d</math> is [[exterior derivative]], <math>X^\flat = g(X, -)</math> is the dual 1 form corresponding to <math>X</math> under the metric (i.e. with lowered indices) and <math> \cdot </math> is Clifford multiplication.
| |
| It is worth noting that the spinor Lie derivative is independent of the metric, and hence the connection. This is not obvious from the right-hand side of Kosmann's local expression, as the right-hand side seems to depend on the metric through the spin connection (covariant derivative), the dualisation of vector fields (lowering of the indices) and the Clifford multiplication on the [[spinor bundle]]. Such is not the case: the quantities on the right-hand side of Kosmann's local expression combine so as to make all metric and connection dependent terms cancel.
| |
| | |
| To gain a better understanding of the long-debated concept of Lie derivative of spinor fields see<ref>Godina M. and Matteucci P. (2003), ''Reductive G-structures and Lie derivatives'',
| |
| Journal of Geometry and Physics 47, 66–86</ref> and the original article,<ref>Fatibene L., Ferraris M., Francaviglia M.
| |
| and Godina M. (1996), ''A geometric definition of Lie derivative for Spinor Fields'', in: Proceedings of the ''6th International Conference on Differential Geometry and Applications,'' August 28th–September 1st 1995 (Brno, Czech Republic), Janyska J., Kolář I. & J. Slovák J.
| |
| (Eds.), Masaryk University, Brno, pp. 549–558</ref> where the definition of a Lie derivative of spinor
| |
| fields is placed in the more general framework of the theory of Lie derivatives
| |
| of sections of fiber bundles and the direct approach by Y. Kosmann to the spinor
| |
| case is generalized to gauge natural bundles in the form of a new geometric concept
| |
| called the [[Kosmann lift]].
| |
| | |
| === Covariant Lie derivative ===
| |
| If we have a principal bundle over the manifold M with G as the structure group, and we pick X to be a covariant vector field as section of the tangent space of the principal bundle (i.e. it has horizontal and vertical components), then the covariant Lie derivative is just the Lie derivative with respect to X over the principal bundle.
| |
| | |
| Now, if we're given a vector field Y over M (but not the principal bundle) but we also have a [[Connection (mathematics)|connection]] over the principal bundle, we can define a vector field X over the principal bundle such that its horizontal component matches Y and its vertical component agrees with the connection. This is the covariant Lie derivative.
| |
| | |
| See [[connection form]] for more details.
| |
| | |
| === Nijenhuis–Lie derivative ===
| |
| | |
| Another generalization, due to [[Albert Nijenhuis]], allows one to define the Lie derivative of a differential form along any section of the bundle Ω<sup>''k''</sup>(''M'', T''M'') of differential forms with values in the tangent bundle. If ''K'' ∈ Ω<sup>''k''</sup>(''M'', T''M'') and α is a differential ''p''-form, then it is possible to define the interior product ''i''<sub>''K''</sub>α of ''K'' and α. The Nijenhuis–Lie derivative is then the anticommutator of the interior product and the exterior derivative:
| |
| :<math>\mathcal{L}_K\alpha=[d,i_K]\alpha = di_K\alpha-(-1)^{k-1}i_Kd\alpha.</math>
| |
| | |
| ==History==
| |
| In 1931, [[Władysław Ślebodziński]] introduced a new differential operator, later called by [[David van Dantzig]] that of Lie derivation, which can be applied to scalars, vectors, tensors and affine connections and which proved to be a powerful instrument in the study of groups of automorphisms.
| |
| | |
| The Lie derivatives of general geometric objects (i.e., sections of natural [[fiber bundle]]s) were studied by A.
| |
| Nijenhuis, Y. Tashiro and K. [[Kentaro Yano (mathematician)|Yano]].
| |
| | |
| For a quite long time, physicists had been using Lie derivatives, without reference
| |
| to the work of mathematicians. In 1940, [[Léon Rosenfeld]]<ref>Rosenfeld L. (1940), ''Sur le tenseur d’impulsion-énergie'', Mémoires Acad. Roy. d. Belg. 18 (6) pp. 1-30</ref> — and before him [[Wolfgang Pauli]]<ref>{{cite book|author=Pauli W.|title=Theory of Relativity |edition=first published in 1981 Dover|publisher=B.G. Teubner, Leipzig|year=1921|isbn=978-0-486-64152-2}} ''See section 23''</ref>— introduced what he called a ‘local variation’ <math>\delta^{\ast}A</math> of a geometric object <math>A\,</math> induced by an infinitesimal transformation of coordinates generated by a vector field <math>X\,</math>. One can easily prove that his <math>\delta^{\ast}A</math> is <math> - \mathcal{L}_X(A)\,</math>. | |
| | |
| ==See also==
| |
| * [[Covariant derivative]]
| |
| * [[Connection (mathematics)]]
| |
| * [[Frölicher–Nijenhuis bracket]]
| |
| * [[Geodesic]]
| |
| * [[Killing vector field|Killing field]]
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| ==References==
| |
| * [[Ralph Abraham]] and [[Jerrold 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''.
| |
| * Jurgen Jost, ''Riemannian Geometry and Geometric Analysis'', (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2 ''See section 1.6''.
| |
| * {{cite book|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.
| |
| * {{cite book|authorlink=Serge Lang|author=Lang, S.|title=Differential and Riemannian manifolds|publisher=Springer-Verlag|year=1995|isbn=978-0-387-94338-1}} For generalizations to infinite dimensions.
| |
| * {{cite book|authorlink=Serge Lang|author=Lang, S.|title=Fundamentals of Differential Geometry|publisher=Springer-Verlag|year=1999|isbn=978-0-387-98593-0}} For generalizations to infinite dimensions.
| |
| * {{cite book|authorlink=Kentaro Yano (mathematician)|author=Yano K.|title=The Theory of Lie Derivatives and its Applications
| |
| |publisher=North-Holland|year=1957|isbn=978-0-7204-2104-0}} Classical approach using coordinates.
| |
| | |
| {{Tensors}}
| |
| | |
| {{DEFAULTSORT:Lie Derivative}}
| |
| [[Category:Differential geometry]]
| |
| [[Category:Differential topology]]
| |
| [[Category:Differential operators]]
| |
| [[Category:Generalizations of the derivative]]
| |