View source for Lagrangian

''Lagrange function, Lagrange integrand''

The integrand <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572601.png" /> in the problem of an extremum for the functional

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572602.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

the extremum problem is solved under the possible imposition of constraints and boundary conditions; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572603.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572604.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572605.png" /> is an arbitrary differentiable mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572606.png" />.

The term  "Lagrangian"  arises in classical mechanics, where in the simplest case the Lagrangian is the difference between the kinetic and the potential energy of the system, and the motions of the system coincide with the extremals of the corresponding integral functional (the principle of stationary action). In the general case in classical mechanics, the Lagrangian is an arbitrary differentiable mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572607.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572608.png" /> is the [[Tangent bundle|tangent bundle]] of a [[Differentiable manifold|differentiable manifold]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l0572609.png" /> (the configuration manifold of the system).

A necessary condition for a weak extremum of the functional (*) in the absence of constraints is given by the [[Euler–Lagrange equation|Euler–Lagrange equation]]

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726010.png" /></td> </tr></table>

The presence of constraints of equality type is taken into account by means of [[Lagrange multipliers|Lagrange multipliers]]. In the presence of  "non-classical"  constraints of inequality type, in the theory of optimal control, a necessary condition for a strong extremum of the functional (*) is given by the [[Pontryagin maximum principle|Pontryagin maximum principle]].

Using the concept of the Lagrangian it is convenient to consider the various symmetries of the system, since to any one-parameter group of diffeomorphisms of the configuration manifold that preserve the Lagrangian there corresponds a first integral of the equations of motion (Noether's theorem).

In many problems it is useful to rewrite the Euler–Lagrange equations in the form of the [[Hamilton equations|Hamilton equations]], which makes it possible, in particular, to use the method of canonical transformations and [[Hamilton–Jacobi theory|Hamilton–Jacobi theory]]. Transition to the Hamiltonian form is also useful in the quantization of the original classical system. If the Lagrangian is not degenerate, then transition to the Hamiltonian formulation is carried out by means of the [[Legendre transform|Legendre transform]]; in the case of degeneracy a more complicated procedure for reduction is used (see [[#References|[1]]], [[#References|[6]]]).

In the mechanics of continuous media and in [[Quantum field theory|quantum field theory]], in which fields can be regarded as mechanical systems with infinitely many degrees of freedom, one considers extremal problems for functionals of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726011.png" /></td> </tr></table>

where

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726012.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726013.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726014.png" /></td> </tr></table>

In this case the functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726015.png" /> is called the Lagrangian, and the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057260/l05726016.png" /> is called the density of the Lagrangian. The basic concepts for such systems (the Hamiltonian, etc.) are introduced by analogy with classical mechanics.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  V.I. Arnol'd,   "Mathematical methods of classical mechanics" , Springer  (1978)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.N. Bogolyubov,   D.V. Shirkov,   "Introduction to the theory of quantized fields" , Interscience  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.D. Ioffe,   V.M. Tikhomirov,   "Theory of extremal problems" , North-Holland  (1979)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L.S. Pontryagin,   V.G. Boltayanskii,   R.V. Gamkrelidze,   E.F. Mishchenko,   "The mathematical theory of optimal processes" , Wiley  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  S. Sternberg,   "Lectures on differential geometry" , Prentice-Hall  (1964)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L.D. Faddeev,   "The Feynman integral for singular Lagrangians"  ''Teoret. i Mat. Fiz.'' , '''1''' :  1  (1969)  pp. 1–8  (In Russian)  (English abstract)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  F.R. [F.R. Gantmakher] Gantmacher,   "Lectures in analytical mechanics" , MIR  (1975)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  P. Libermann,   C.-M. Marle,   "Symplectic geometry and analytical mechanics" , Reidel  (1987)  pp. Chapt. 2, Sects. 10–13  (Translated from French)</TD></TR></table>