Lagrangian system

In mathematics, a Lagrangian system is a pair {{math|(Y, L)}}, consisting of a smooth fiber bundle {{math|Y → X}} and a Lagrangian density {{math|L}}, which yields the Euler–Lagrange differential operator acting on sections of {{math|Y → X}}.

In classical mechanics, many dynamical systems are Lagrangian systems. The configuration space of such a Lagrangian system is a fiber bundle $Q \rarr \mathbb{R}$ over the time axis $\mathbb{R}$ . In particular, $Q = \mathbb{R} \times M$ if a reference frame is fixed. In classical field theory, all field systems are the Lagrangian ones.

Lagrangians and Euler–Lagrange operators

A Lagrangian density {{math|L}} (or, simply, a Lagrangian) of order {{math|r}} is defined as an exterior form, {{math|1=n = dim X}}, on the {{math|r}}-order jet manifold {{math|J^rY}} of {{math|Y}}.

A Lagrangian {{math|L}} can be introduced as an element of the variational bicomplex of the differential graded algebra {{math|O^∗_∞(Y)}} of exterior forms on jet manifolds of {{math|Y → X}}. The coboundary operator of this bicomplex contains the variational operator {{math|δ}} which, acting on {{math|L}}, defines the associated Euler–Lagrange operator {{math|δL}}.

= In coordinates =

Given bundle coordinates {{math|x^λ, yⁱ}} on a fiber bundle {{math|Y}} and the adapted coordinates {{math|x^λ, yⁱ, yⁱ_Λ}}, {{math|1=(Λ = (λ₁, ...,λ_k)}}, {{math|1={{!}}Λ{{!}} = k ≤ r}}) on jet manifolds {{math|J^rY}}, a Lagrangian {{math|L}} and its Euler–Lagrange operator read

: $L=\mathcal{L}(x^\lambda,y^i,y^i_\Lambda) \, d^nx,$

: $\delta L= \delta_i\mathcal{L} \, dy^i\wedge d^nx,\qquad \delta_i\mathcal{L} =\partial_i\mathcal{L} +
\sum_$

\Lambda

(-1)^

\Lambda

\, d_\Lambda \, \partial_i^\Lambda\mathcal{L},

where

: $d_\Lambda=d_{\lambda_1}\cdots d_{\lambda_k}, \qquad
d_\lambda=\partial_\lambda + y^i_\lambda\partial_i +\cdots,$

denote the total derivatives.

For instance, a first-order Lagrangian and its second-order Euler–Lagrange operator take the form

: $L=\mathcal{L}(x^\lambda,y^i,y^i_\lambda) \, d^nx,\qquad
\delta_i L =\partial_i\mathcal{L} - d_\lambda
\partial_i^\lambda\mathcal{L}.$

= Euler–Lagrange equations =

The kernel of an Euler–Lagrange operator provides the Euler–Lagrange equations {{math|δL {{=}} 0}}.

Cohomology and Noether's theorems

Cohomology of the variational bicomplex leads to the so-called

variational formula

: $dL=\delta L + d_H \Theta_L,$

where

: $d_H\Theta_L=dx^\lambda\wedge d_\lambda\phi, \qquad \phi\in
O^*_\infty(Y)$

is the total differential and {{math|θ_L}} is a Lepage equivalent of {{math|L}}. Noether's first theorem and Noether's second theorem are corollaries of this variational formula.

Graded manifolds

Extended to graded manifolds, the variational bicomplex provides description of graded Lagrangian systems of even and odd variables.{{harvnb|Sardanashvily|2013}}

Alternative formulations

In a different way, Lagrangians, Euler–Lagrange operators and Euler–Lagrange equations are introduced in the framework of the calculus of variations.

Classical mechanics

In classical mechanics equations of motion are first and second order differential equations on a manifold {{math|M}} or various fiber bundles {{math|Q}} over $\mathbb{R}$ . A solution of the equations of motion is called a motion.{{harvnb|Arnold|1989|p=83}}{{harvnb|Giachetta|Mangiarotti|Sardanashvily|2011|p=7}}

References

{{citation|last=Arnold|first=V. I.|title=Mathematical Methods of Classical Mechanics|year=1989|edition=second|publisher=Springer-Verlag|series=Graduate Texts in Mathematics|volume=60|isbn=0-387-96890-3|authorlink=Vladimir Arnold|url-access=registration|url=https://archive.org/details/mathematicalmeth0000arno}}
{{cite book|last1=Giachetta|first1=G.|last2=Mangiarotti|first2=L.|last3=Sardanashvily|first3=G.|authorlink3=Gennadi Sardanashvily|title=New Lagrangian and Hamiltonian Methods in Field Theory|publisher=World Scientific|year=1997|isbn=981-02-1587-8}}
{{cite book|last1=Giachetta|first1=G.|last2=Mangiarotti|first2=L.|last3=Sardanashvily|first3=G.|title=Geometric formulation of classical and quantum mechanics|publisher=World Scientific|year=2011|doi=10.1142/7816|hdl=11581/203967 |isbn=978-981-4313-72-8}}
{{cite book|last=Olver|first=P.|title=Applications of Lie Groups to Differential Equations|edition=2|publisher=Springer-Verlag|year=1993|isbn=0-387-94007-3}}
{{cite journal|first=G.|last=Sardanashvily|title=Graded Lagrangian formalism|journal=Int. J. Geom. Methods Mod. Phys.|volume=10|year=2013|issue=5|pages=1350016|doi=10.1142/S0219887813500163|arxiv=1206.2508|publisher=World Scientific|issn=0219-8878}}

External links

{{cite book|first=G.|last=Sardanashvily|title=Fibre Bundles, Jet Manifolds and Lagrangian Theory. Lectures for Theoreticians|year=2009|arxiv=0908.1886|type=Lecture notes}}

Category:Differential operators

Category:Calculus of variations

Category:Dynamical systems

Category:Lagrangian mechanics