This article deals with the
Lagrange function in terms of the Lagrange formalism in physics. For the
Lagrange function in mathematical optimization, see
Lagrange multiplier .
In physics, the Lagrange formalism is a formulation of classical mechanics introduced by JosephLouis Lagrange in 1788 , in which the dynamics of a system are described by a single scalar function, the Lagrange function . The formalism is (in contrast to Newtonian mechanics , which a priori only applies in inertial systems ) also valid in accelerated reference systems . The Lagrange formalism is invariant to coordinate transformations. The equations of motion can be determined from the Lagrange function with the EulerLagrange equations of the calculus of variations from the principle of the smallest effect . This approach simplifies many physical problems, since, in contrast to Newton's formulation of the laws of motion, constraints in the Lagrange formalism can be taken into account relatively easily by explicitly calculating the constraining forces or by appropriately choosing generalized coordinates . For this reason, the Lagrange formalism is widely used in multibody systems (MBS). It can also be applied to the relativistic case and is also widely used in relativistic quantum field theory for the formulation of models of elementary particles and their interactions.
For systems with a generalized potential and holonomic constraints , the Lagrange function reads
 ${\ displaystyle L = TV}$
where denotes the kinetic energy and the potential energy of the system under consideration. A distinction is made between socalled Lagrange equations of the first and second kind. In the narrower sense, the Lagrange formalism and the Lagrange equations are understood as the second kind , which are often simply referred to as Lagrange equations :
${\ displaystyle T}$${\ displaystyle V}$
 ${\ displaystyle {\ frac {\ text {d}} {{\ text {d}} t}} {\ frac {\ partial L} {\ partial {\ dot {q}} _ {i}}}  { \ frac {\ partial {L}} {\ partial q_ {i}}} = 0 \ ,.}$
There are generalized coordinates and their time derivatives.
${\ displaystyle q_ {i}}$${\ displaystyle {\ dot {q}} _ {i}}$
Lagrange equations of the first and second kind
The constraining forces can be calculated with the Lagrange equations of the first kind. They are equivalent to the equations that result from D'Alembert's principle . We consider point particles in the position vectors , whose coordinates by independent ( holonomic ) constraints of the mold with are limited (an explicit time dependence is allowed). This restricts the positions of the particles to a dimensional manifold ( is the number of degrees of freedom ).
${\ displaystyle N}$${\ displaystyle \ \ mathbb {R} ^ {3}}$ ${\ displaystyle \ \ mathbf {r} _ {i}}$${\ displaystyle i \ in \ {1, ..., N \}}$${\ displaystyle s}$${\ displaystyle F_ {k} (\ mathbf {r} _ {1}, \ ldots, \ mathbf {r} _ {N}, t) = 0}$${\ displaystyle k \ in \ {1, \ ldots, s \}}$${\ displaystyle (3Ns)}$${\ displaystyle f = 3Ns}$
The constraining forces acting on a particle are proportional to the gradient , the total constraining force is therefore
${\ displaystyle i}$ ${\ displaystyle \ nabla F_ {k}}$${\ displaystyle \ mathbf {Z} _ {i}}$
 ${\ displaystyle \ mathbf {Z} _ {i} = \ sum _ {k = 1} ^ {s} \ lambda _ {k} \ nabla _ {i} F_ {k}.}$
If one assumes that the external forces can be derived from a potential, one can write the equation of motion (Lagrange equation 1st type):
 ${\ displaystyle m_ {i} {\ ddot {\ mathbf {r}}} _ {i} =  \ nabla _ {i} V + \ sum _ {k = 1} ^ {s} \ lambda _ {k} \ nabla _ {i} F_ {k}, \ qquad i = 1, \ ldots, N}$
They are the masses of the point particles, is the potential energy. These, together with the constraints , are independent equations for the coordinates of the as well as for the Lagrange multipliers . Thus the solution of the equation system is unique.
${\ displaystyle m_ {i}}$${\ displaystyle N}$${\ displaystyle V}$${\ displaystyle F_ {k} (\ mathbf {r} _ {1}, \ ldots, \ mathbf {r} _ {N}, t) = 0}$${\ displaystyle 3N + s}$${\ displaystyle 3N}$${\ displaystyle \ mathbf {r} _ {i}}$${\ displaystyle s}$${\ displaystyle \ lambda _ {k}}$
Note : Only holonomic constraints were dealt with here. However, the formalism can also be applied to constraints of the form , which z. B. with nonholonomic constraints between the velocities of the particles. In contrast to holonomic constraints, these constraint equations cannot be represented as a complete differential of a function, i.e. it does not apply between the coefficient functions .
${\ displaystyle \ sum _ {k} a_ {k} \ delta q_ {k} = 0 \,}$${\ displaystyle {\ tfrac {\ partial a_ {i}} {\ partial q_ {k}}} = {\ tfrac {\ partial a_ {k}} {\ partial q_ {i}}}}$
In the case of holonomic constraints, new coordinates can be introduced that contain them implicitly, socalled generalized coordinates . With the kinetic energy
${\ displaystyle q_ {i}}$
 ${\ displaystyle T = \ sum _ {i} {\ frac {1} {2}} m_ {i} v_ {i} ^ {2} = \ sum _ {i} {\ frac {1} {2}} m_ {i} {\ left (\ sum _ {j} {\ frac {\ partial \ mathbf {r} _ {i}} {\ partial q_ {j}}} {\ dot {q}} _ {j} + {\ frac {\ partial \ mathbf {r} _ {i}} {\ partial t}} \ right)} ^ {2}}$
and potential forces
 ${\ displaystyle Q_ {i} =  \ nabla _ {i} V =  {\ frac {\ partial V} {\ partial q_ {i}}}}$
(which are also expressed by generalized coordinates and are then referred to as generalized forces  they do not necessarily have the dimension of a force) the equations of motion can also be written
 ${\ displaystyle {{\ text {d}} \ over {\ text {d}} t} {\ partial {T} \ over \ partial {{\ dot {q}} _ {i}}}  {\ partial {T} \ over \ partial q_ {i}} = Q_ {i}}$
or with the Lagrange function (Lagrange equation 2nd type):
${\ displaystyle L = TV}$
 ${\ displaystyle {{\ text {d}} \ over {\ text {d}} t} {\ partial {L} \ over \ partial {{\ dot {q}} _ {i}}}  {\ partial {L} \ over \ partial q_ {i}} = 0}$
If, as in this case, forces that can only be derived from a potential (potential forces) occur, one speaks of conservative forces .
Note : Sometimes the generalized forces can be written in the following form using
a speeddependent generalized potential ${\ displaystyle V (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t)}$
 ${\ displaystyle Q_ {i} =  {\ frac {\ partial V} {\ partial q_ {i}}} + {\ frac {\ mathrm {d}} {\ mathrm {d} t}} {\ frac { \ partial V} {\ partial {\ dot {q}} _ {i}}}}$
Then the equations of motion also result

${\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} {\ frac {\ partial L} {\ partial {\ dot {q}} _ {i}}}  {\ frac {\ partial L} {\ partial q_ {i}}} = 0}$,
with the Lagrange function :
${\ displaystyle L}$
 ${\ displaystyle L (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) = T ( q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) V (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t)}$
The system is then no longer conservative in the usual sense . One example is the electromagnetic field (see below).
But sometimes you still have nonconservative powers , so that the equations are written:
${\ displaystyle Q_ {i} ^ {*}}$
 ${\ displaystyle {{\ text {d}} \ over {\ text {d}} t} {\ partial {L} \ over \ partial {{\ dot {q}} _ {i}}}  {\ partial {L} \ over \ partial q_ {i}} = Q_ {i} ^ {*}}$
An example are systems with nonholonomic constraints (see above) or frictional forces.
Derivation from the Hamilton principle
The Lagrange equations of the second kind result as socalled EulerLagrange equations of a variation problem and provide the equations of motion if the Lagrange function is given. They follow from the variation of the action integral formed with the Lagrange function in Hamilton's principle . To do this, one considers all possible trajectories in the space of generalized coordinates between fixed starting and end points. One considers the change in the action integral when the trajectories vary
${\ displaystyle q (t)}$
 ${\ displaystyle \, q \ rightarrow q + \ delta q}$
 ${\ displaystyle \, {\ dot {q}} \ rightarrow {\ dot {q}} + \ delta {\ dot {q}}}$
The Hamilton principle states that for the classical orbit the action integral is stationary with variation of the orbit curves:
 ${\ displaystyle \ delta W = W (q + \ delta q, {\ dot {q}} + \ delta {\ dot {q}}, t) W (q, {\ dot {q}}, t) = \ delta \ int {\ text {d}} tL (q, {\ dot {q}}, t) = \ int {\ text {d}} t (L (q + \ delta q, {\ dot {q} } + \ delta {\ dot {q}}, t) L (q, {\ dot {q}}, t)) {\ stackrel {!} {=}} 0 \ ,.}$
A first order approximation is for an ordinary function ${\ displaystyle f (x, y)}$
 ${\ displaystyle f (x + {\ text {d}} x, y + {\ text {d}} y) \ approx f + {\ frac {\ partial f} {\ partial x}} {\ text {d}} x + {\ frac {\ partial f} {\ partial y}} {\ text {d}} y}$
so

${\ displaystyle {\ text {d}} f = f (x + {\ text {d}} x, y + {\ text {d}} y) f (x, y) = {\ frac {\ partial f} {\ partial x}} {\ text {d}} x + {\ frac {\ partial f} {\ partial y}} {\ text {d}} y}$.
In the first order the variation of the integral results in

${\ displaystyle \ int {\ text {d}} t \ left ({\ frac {\ partial L} {\ partial q}} \ delta q + {\ frac {\ partial L} {\ partial {\ dot {q} }}} \ delta {\ dot {q}} \ right) = \ int {\ text {d}} t \ left ({\ frac {\ partial L} {\ partial q}} \ delta q + {\ frac { \ partial L} {\ partial {\ dot {q}}}} {\ frac {\ text {d}} {{\ text {d}} t}} \ delta q \ right)}$.
Now one carries out a partial integration in the term that contains the derivative with respect to time:

${\ displaystyle \ int _ {t_ {1}} ^ {t_ {2}} {\ text {d}} t \ left ({\ frac {\ partial L} {\ partial {\ dot {q}}}} {\ frac {\ text {d}} {{\ text {d}} t}} \ delta q \ right) = \ left [{\ frac {\ partial L} {\ partial {\ dot {q}}} } \ delta q \ right] _ {t_ {1}} ^ {t_ {2}}  \ int _ {t_ {1}} ^ {t_ {2}} {\ text {d}} t \ left (\ delta q {\ frac {\ text {d}} {{\ text {d}} t}} {\ frac {\ partial L} {\ partial {\ dot {q}}}} \ right)}$.
It is used here that
 ${\ displaystyle \, \ delta q (t_ {1}) = \ delta q (t_ {2}) = 0}$
is because the start and end points are recorded. Therefore applies to the boundary terms
 ${\ displaystyle \ left [{\ frac {\ partial L} {\ partial {\ dot {q}}}} \ delta q \ right] _ {t_ {1}} ^ {t_ {2}} = 0}$
This ultimately results
 ${\ displaystyle \ int {\ text {d}} t \ left ( {\ frac {\ text {d}} {{\ text {d}} t}} {\ frac {\ partial L} {\ partial { \ dot {q}}}} + {\ frac {\ partial L} {\ partial q}} \ right) \ delta q {\ stackrel {!} {=}} 0 \ ,.}$
Since now occurs as a factor of the entire integral and is arbitrary, the integral can only vanish according to the principle of variation if the integrand itself vanishes. The following are the Lagrange equations or Lagrange equations of the second kind (the EulerLagrange equations of the variation problem considered here):
${\ displaystyle \ delta q}$
 ${\ displaystyle {\ frac {\ text {d}} {{\ text {d}} t}} {\ frac {\ partial L} {\ partial {\ dot {q}} _ {i}}}  { \ frac {\ partial {L}} {\ partial q_ {i}}} = 0 \ ,.}$
There is such an equation for every generalized coordinate (and the associated generalized velocity ). The Lagrange equations form a system of ordinary second order differential equations with respect to the time derivative. How many differential equations there are in the end is only known when the number of degrees of freedom of the "system" has been calculated.
${\ displaystyle q_ {i}}$${\ displaystyle {\ dot {q}} _ {i}}$
Cyclic variables and symmetry
If the Lagrange function does not depend on a coordinate , but only on the associated speed , then it is called cyclic , cyclic coordinate or cyclic variable . The impulse conjugated to the cyclic variable${\ displaystyle L}$${\ displaystyle q}$${\ displaystyle {\ dot {q}}}$${\ displaystyle q}$ ${\ displaystyle q}$
 ${\ displaystyle p = {\ frac {\ partial L} {\ partial {\ dot {q}}}}}$
is a conservation quantity: its value does not change during movement, as will be shown shortly. If the Lagrange function does not depend on, then holds
${\ displaystyle q}$
 ${\ displaystyle {\ frac {\ partial {L}} {\ partial q}} = 0 \ ,.}$
But then it follows from the EulerLagrange equation that the time derivative of the associated conjugate momentum vanishes and it is therefore constant over time:
 ${\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} {\ frac {\ partial L} {\ partial {\ dot {q}}}} = 0 \ ,,}$
More generally, according to Noether's theorem , every continuous symmetry of the effect has a conservation quantity . With a cyclic variable, the effect is invariant under the shift of by any constant,${\ displaystyle q}$${\ displaystyle q \ rightarrow q + c \ ,.}$
Extension to fields
In field theory , the equation of motion results from the Hamiltonian principle for fields to
 ${\ displaystyle {\ frac {\ partial {\ mathcal {L}}} {\ partial \ phi _ {i}}}  \ sum _ {j = 1} ^ {3} {\ frac {\ partial} {\ partial x_ {j}}} {\ frac {\ partial {\ mathcal {L}}} {\ partial {\ frac {\ partial \ phi _ {i}} {\ partial x_ {j}}}}}  { \ frac {\ partial} {\ partial t}} {\ frac {\ partial {\ mathcal {L}}} {\ partial {\ frac {\ partial \ phi _ {i}} {\ partial t}}}} = {\ frac {\ partial {\ mathcal {L}}} {\ partial \ phi _ {i}}}  {\ partial _ {\ mu}} \ left ({\ frac {\ partial {\ mathcal {L }}} {\ partial (\ partial _ {\ mu} \ phi _ {i})}} \ right) = 0}$
where are the considered field and the Lagrange density .
${\ displaystyle \ phi = \ phi (x, y, z, t)}$${\ displaystyle {\ mathcal {L}} = {\ mathcal {L}} \ left (\ phi, {\ frac {\ partial \ phi} {\ partial x}}, {\ frac {\ partial \ phi} { \ partial y}}, {\ frac {\ partial \ phi} {\ partial z}}, {\ frac {\ partial \ phi} {\ partial t}}, x, y, z, t \ right)}$
You can also write this in short as
 ${\ displaystyle {\ frac {\ delta {\ mathcal {L}}} {\ delta \ phi}} \ equiv 0 \ ,,}$
with the derivative of variation defined in this way .
${\ displaystyle {\ frac {\ delta {\ mathcal {L}}} {\ delta \ phi}}: = {\ frac {\ partial {\ mathcal {L}}} {\ partial \ phi _ {i}} }  {\ partial _ {\ mu}} \ left ({\ frac {\ partial {\ mathcal {L}}} {\ partial (\ partial _ {\ mu} \ phi _ {i})}} \ right )}$
Note: The Lagrange formalism is also the starting point for many formulations of quantum field theory .
Relativistic Mechanics
In relativistic mechanics, the Lagrange function of a free particle can be derived from Hamilton's principle by assuming the simplest case of a relativistic scalar for the effect:
 ${\ displaystyle S = mc \ int _ {a} ^ {b} \ mathrm {d} s = mc ^ {2} \ int \ mathrm {d} t {\ sqrt {1  {\ frac {v ^ {2}} {c ^ {2}}}}} = \ int L \, \ mathrm {d} t}$
where the relativistic line element is proportional to proper time and a constant factor was chosen.
${\ displaystyle \ mathrm {d} s = c \, \ mathrm {d} \ tau = c \, \ mathrm {d} t {\ sqrt {1  {\ frac {v ^ {2}} {c ^ { 2}}}}}}$${\ displaystyle \, ( mc)}$
The Lagrange function of a free particle is no longer identical with the kinetic energy (this is why one sometimes speaks of the kinetic supplementary energy T in the Lagrange function). The relativistic kinetic energy of a body with mass and speed without constraints is
${\ displaystyle m}$${\ displaystyle v = {\ dot {\ mathbf {x}}}}$
 ${\ displaystyle E = {\ frac {mc ^ {2}} {{\ sqrt {1  {\ frac {{\ dot {\ mathbf {x}}} ^ {2}} {c ^ {2}}} }} \,}}  mc ^ {2}}$
while for the Lagrange function the kinetic supplementary energy
 ${\ displaystyle T (\ mathbf {x}, {\ dot {\ mathbf {x}}}, t) =  mc ^ {2} {\ sqrt {1  {\ frac {{\ dot {\ mathbf {x }}} ^ {2}} {c ^ {2}}}}}}$
is relevant. The Lagrange function for a particle in a potential V is then given by
 ${\ displaystyle L (\ mathbf {x}, {\ dot {\ mathbf {x}}}, t) = TV = mc ^ {2} {\ sqrt {1  {\ frac {{\ dot {\ mathbf {x}}} ^ {2}} {c ^ {2}}}}} \,  \, V (\ mathbf {x}, {\ dot {\ mathbf {x}}}, t)}$
For a particle system is the Lagrange function with the generalized coordinates
${\ displaystyle N}$
 ${\ displaystyle L (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) =  \ sum _ {i = 1} ^ {N} m_ {0, i} c ^ {2} {\ sqrt {1  {\ frac {{\ dot {\ mathbf {x}}} _ {i} ^ {2 } (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t)} {c ^ {2 }}}}} \,  \, V (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n }, t)}$
where is the number of degrees of freedom and the number of holonomic constraints.
${\ displaystyle n = 3Ns}$${\ displaystyle s}$
For small velocities one can develop the root up to the first order :
${\ displaystyle  {\ dot {\ mathbf {x}}}  \ ll c}$${\ displaystyle {\ sqrt {1x}} = 1x / 2}$
 ${\ displaystyle mc ^ {2} {\ sqrt {1  {\ frac {{\ dot {\ mathbf {x}}} ^ {2}} {c ^ {2}}}}} =  mc ^ { 2} + {\ frac {m} {2}} {\ dot {\ mathbf {x}}} ^ {2}}$
The zeroth order of development is a constant, the negative rest energy. Since the Lagrange equations are invariant when a constant is added to the Lagrange function, the constant first term can be omitted and the classical kinetic energy is obtained again:
 ${\ displaystyle L (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) = \ sum _ {i = 1} ^ {N} {\ frac {m_ {0, i}} {2}} {\ dot {\ mathbf {x}}} _ {i} ^ {2} (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) \,  \, V (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t)}$
 ${\ displaystyle L (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) = T ( q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t) \,  \, V (q_ {1}, \ ldots, q_ {n}, {\ dot {q}} _ {1}, \ ldots, {\ dot {q}} _ {n}, t)}$
Connection with path integrals in quantum mechanics
Richard Feynman was the first to use this approach consistently for the derivation of the equations of quantum mechanics . In classical physics, the Lagrange equations described above result from the requirement that the action integral is stationary. In Feynman's path integral formalism, the quantum mechanical probability amplitude that a system will follow a certain path between the initial and final conditions is proportional to the action integral . Paths in the vicinity of the classic path, for which the variation of vanishes, usually provide the main contributions, since the contributions with almost the same phase factors add up in their vicinity.
${\ displaystyle e ^ {\ frac {iW} {\ hbar}}}$${\ displaystyle W}$${\ displaystyle W}$
Examples
Mass in harmonic potential (conservative)
Oscillation system:
x is the deflection from the equilibrium position
A mass is connected via two springs with a spring constant and fixed boundary conditions. The basic requirement for describing the problem in the Lagrange formalism is the setting up of the Lagrange function by setting up the terms for kinetic energy and potential energy :
${\ displaystyle m}$${\ displaystyle c}$${\ displaystyle T}$${\ displaystyle V}$
 ${\ displaystyle T = {\ frac {1} {2}} m {\ dot {x}} ^ {2}}$
 ${\ displaystyle V = {\ frac {1} {2}} cx ^ {2}}$
The Lagrange function is therefore:
 ${\ displaystyle L = {\ frac {1} {2}} m {\ dot {x}} ^ {2}  {\ frac {1} {2}} cx ^ {2}}$
The Lagrange function in turn is inserted into the EulerLagrange equation for the analytical description of the physical problem, which then leads to equations that correspond to the equations of motion in Newtonian mechanics. In this example, the generalized coordinate is the EulerLagrange equation${\ displaystyle x}$

${\ displaystyle {\ mathrm {d} \ over \ mathrm {d} t} {\ partial {L} \ over \ partial {\ dot {x}}} = {\ partial {L} \ over \ partial x}}$.
This leads to the above formulas for on
${\ displaystyle L}$
 ${\ displaystyle \ {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ left (m {\ dot {x}} \ right) =  cx}$
and thus to the equation of motion of the system:

${\ displaystyle {\ ddot {x}} =  {\ frac {c} {m}} x}$.
The general solution of this differential equation is , is the time when the angular frequency . The constant amplitude and phase can be determined from the initial conditions.
${\ displaystyle x (t) = A \ cos (\ omega t + \ varphi)}$${\ displaystyle t}$${\ displaystyle \ textstyle \ omega = {\ sqrt {c / m}}}$${\ displaystyle A}$${\ displaystyle \ varphi}$
Charge in the electromagnetic field (nonconservative)
A point charge with mass moves in the electromagnetic field. The generalized coordinates correspond to the Cartesian coordinates in 3 spatial dimensions.
${\ displaystyle q}$${\ displaystyle m}$
The fields (magnetic field and electric field ) are determined by the scalar potential and the vector potential :
${\ displaystyle \ mathbf {B}}$${\ displaystyle \ mathbf {E}}$${\ displaystyle \ phi}$${\ displaystyle \ mathbf {A}}$
 ${\ displaystyle \ mathbf {B} (\ mathbf {x}, t) = \ nabla \ times \ mathbf {A} (\ mathbf {x}, t) \, \ quad \ mathbf {E} (\ mathbf {x }, t) =  {\ frac {\ partial \ mathbf {A} (\ mathbf {x}, t)} {\ partial t}}  \ nabla \ phi (\ mathbf {x}, t)}$
The kinetic energy of the particle is classic:
 ${\ displaystyle T ({\ dot {\ mathbf {x}}}) = {\ frac {1} {2}} m {\ dot {\ mathbf {x}}} ^ {2}}$
The "potential" here is, however, dependent on the speed, which is why one speaks of a generalized potential as shown above :
 ${\ displaystyle V (\ mathbf {x}, {\ dot {\ mathbf {x}}}, t) = q \ left (\ phi (\ mathbf {x}, t)  {\ dot {\ mathbf {x }}} \ cdot \ mathbf {A} (\ mathbf {x}, t) \ right)}$
Thus, the Lagrange function of a charged particle in the electromagnetic field is:
 ${\ displaystyle L (\ mathbf {x}, {\ dot {\ mathbf {x}}}, t) = {\ frac {1} {2}} \, m \, {\ dot {\ mathbf {x} }} ^ {2} q \, \ phi (\ mathbf {x}, t) + q \, {\ dot {\ mathbf {x}}} \ cdot \ mathbf {A} (\ mathbf {x}, t)}$
The EulerLagrange equations lead to the equation of motion, on the righthand side of which the Lorentz force is:
${\ displaystyle {\ frac {d} {dt}} \ nabla _ {\ dot {\ mathbf {x}}} L \ nabla _ {\ mathbf {x}} L = 0}$
 ${\ displaystyle m \, {\ ddot {\ mathbf {x}}} = q \, {\ dot {\ mathbf {x}}} \ times \ left (\ nabla \ times \ mathbf {A} (\ mathbf { x}, t) \ right) q \, {\ frac {\ partial} {\ partial t}} \ mathbf {A} (\ mathbf {x}, t) q \, \ nabla \ phi (\ mathbf {x}, t)}$
Mass on drum (nonconservative)
The axis of an elevator drum is driven by a torque . The mass of the load is the mass moment of inertia of the drum . The radius of the drum is .
${\ displaystyle M}$${\ displaystyle m}$${\ displaystyle J}$${\ displaystyle r}$
The following relationship exists between the coordinates and :
${\ displaystyle x}$${\ displaystyle \ varphi}$
 ${\ displaystyle x = r \ varphi}$
${\ displaystyle \ Rightarrow \; {\ dot {x}} = r {\ dot {\ varphi}}}$
${\ displaystyle \ Rightarrow \; \ delta x = r \ delta \ varphi}$
The kinetic energy is:
 ${\ displaystyle T = {\ frac {1} {2}} \ left (m {\ dot {x}} ^ {2} + J {\ dot {\ varphi}} ^ {2} \ right) = {\ frac {1} {2}} \ left (mr ^ {2} + J \ right) \ {\ dot {\ varphi}} ^ {2}}$
The virtual work of the impressed forces is
 ${\ displaystyle \ delta W = mg \, \ delta x + M \, \ delta \ varphi = ( mgr + M) \, \ delta \ varphi}$
${\ displaystyle \ Rightarrow \; Q = mgr + M}$
The equation of motion finally follows from this
 ${\ displaystyle \ left (mr ^ {2} + J \ right) {\ ddot {\ varphi}} =  mgr + M}$
The solution of this equation for the angular acceleration gives
 ${\ displaystyle {\ ddot {\ varphi}} = {\ frac {mgr + M} {mr ^ {2} + J}}}$
Atwood's fall machine (method of the first kind)
Functional diagram of the fall machine
In Atwood's fall machine, one considers two point masses in the earth's gravitational field, which are suspended from a pulley at height h and connected by a rope of length l . The constraint in this case is:
 ${\ displaystyle \, F: = y_ {1} + y_ {2} + l2h = 0}$
If the rope lying on the pulley (pulley radius r) is taken into account, the following results:
 ${\ displaystyle F: = y_ {1} + y_ {2} + l2h \ pi \ r = 0}$
The potential energy V is calculated as follows:
 ${\ displaystyle V: = m_ {1} gy_ {1} + m_ {2} gy_ {2}}$
For the gradients one obtains
 ${\ displaystyle {\ frac {\ partial F} {\ partial y_ {1}}} = 1, \ qquad {\ frac {\ partial F} {\ partial y_ {2}}} = 1}$
 ${\ displaystyle {\ frac {\ partial V} {\ partial y_ {1}}} = m_ {1} g, \ qquad {\ frac {\ partial V} {\ partial y_ {2}}} = m_ {2 }G}$
This leads to the system of Lagrange equations of the first type:
 ${\ displaystyle {\ begin {matrix} m_ {1} {\ ddot {y}} _ {1} & = &  m_ {1} g + \ lambda \\ m_ {2} {\ ddot {y}} _ { 2} & = &  m_ {2} g + \ lambda \\ y_ {1} + y_ {2} + l2h & = & 0 \ end {matrix}}}$
This can be resolved and z. B. for known initial conditions:
 ${\ displaystyle {\ begin {matrix} y_ {1} (t) & = & {\ frac {1} {2}} {m_ {2} m_ {1} \ over {m_ {1} + m_ {2 }}} gt ^ {2} + {\ dot {y}} _ {1,0} t + y_ {1,0} \\\ lambda & = & 2g {\ frac {m_ {1} m_ {2}} {m_ {1} + m_ {2}}} \ end {matrix}}}$
Particle in free fall (general relativity)
In the general theory of relativity , freefalling particles traverse world lines for a long time: between two (sufficiently close) events and on a clock carried along the world line of freefalling particles, more time passes than on all other world lines through these events. Is an increasing monotonically along the path running parameters, then the elapsed time is calculated to
${\ displaystyle A}$${\ displaystyle B}$${\ displaystyle s}$
 ${\ displaystyle \ tau _ {AB} = \ int _ {\ underline {s}} ^ {\ overline {s}} L \ left (s, x (s), {\ frac {\ mathrm {d} x} {\ mathrm {d} s}} \ right) \, \ mathrm {d} s \, \ x ({\ underline {s}}) = A \ ,, \ x ({\ overline {s}}) = B \ ,,}$
with the Lagrange function
 ${\ displaystyle L (s, x, {\ dot {x}}) = {\ sqrt {g_ {mn} (x) \, {\ dot {x}} ^ {m} \, {\ dot {x} } ^ {n}}} \ ,.}$
Here are the component functions of the metric (both space and time components ). For the sake of simplicity, we calculate in systems of measurement in which the speed of light is dimensionless and has the value , and we use Einstein's sum convention .
${\ displaystyle g_ {mn} (x)}$${\ displaystyle c = 1}$
The momentum to be conjugated is
${\ displaystyle x ^ {k}}$
 ${\ displaystyle {\ frac {\ partial L} {\ partial {\ dot {x}} ^ {k}}} = {\ frac {g_ {kl} \, {\ dot {x}} ^ {l}} {\ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n}}}}}$
and the EulerLagrange equations are
 ${\ displaystyle 0 = {\ frac {\ mathrm {d}} {\ mathrm {d} s}} {\ frac {g_ {kl} \, {\ dot {x}} ^ {l}} {\ sqrt { g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n}}}}  {\ frac {1} {2}} {\ frac {\ partial _ {k} g_ {rs} \, {\ dot {x}} ^ {r} \, {\ dot {x}} ^ {s}} {\ sqrt {g_ {mn} \, {\ dot {x }} ^ {m} \, {\ dot {x}} ^ {n}}}}}$
 ${\ displaystyle \ qquad \ qquad = g_ {kl} \, {\ frac {\ mathrm {d}} {\ mathrm {d} s}} {\ frac {{\ dot {x}} ^ {l}} { \ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n}}}} + {\ frac {{\ dot {x}} ^ { r} \, \ partial _ {r} g_ {ks} \, {\ dot {x}} ^ {s}} {\ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \ , {\ dot {x}} ^ {n}}}}  {\ frac {1} {2}} {\ frac {\ partial _ {k} g_ {rs} \, {\ dot {x}} ^ {r} \, {\ dot {x}} ^ {s}} {\ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n }}}} \ ,.}$
Let's use the Christoffel symbol as an abbreviation
 ${\ displaystyle \ Gamma _ {rs} ^ {l} = {\ frac {1} {2}} g ^ {lm} {\ bigl (} \ partial _ {r} g_ {sm} + \ partial _ {s } g_ {rm}  \ partial _ {m} g_ {rs} {\ bigr)} \ ,,}$
so the world line of the longest duration turns out to be a straight line: the direction of the tangent to the world line
 ${\ displaystyle u ^ {l} = {\ frac {{\ dot {x}} ^ {l}} {\ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n}}}}}$
does not change with parallel displacement along the world line
 ${\ displaystyle 0 = g_ {kl} \ left ({\ frac {\ mathrm {d}} {\ mathrm {d} s}} u ^ {l} + {\ dot {x}} ^ {r} \, \ Gamma _ {rs} ^ {l} \, u ^ {s} \ right) \ ,.}$
The parameterization is not specified. If we have them in such a way that the tangential vector is of the same length everywhere, then it is constant and the tangential vector turns into itself when it passes through the world line. It satisfies the geodesic equation
${\ displaystyle {\ sqrt {g_ {mn} \, {\ dot {x}} ^ {m} \, {\ dot {x}} ^ {n}}}}$
 ${\ displaystyle 0 = {\ frac {\ mathrm {d} ^ {2} x ^ {l}} {\ mathrm {d} s ^ {2}}} + \ Gamma _ {rs} ^ {l} (x ) \, {\ frac {\ mathrm {d} x ^ {r}} {\ mathrm {d} s}} \, {\ frac {\ mathrm {d} x ^ {s}} {\ mathrm {d} s}} \ ,.}$
This is the general relativistic form of the equation of motion of a free falling particle. The gravitation is fully taken into account.
${\ displaystyle \ Gamma _ {rs} ^ {l}}$
literature
The Lagrange formalism is dealt with in many introductory and advanced textbooks on classical mechanics.
 Josef Honerkamp, Hartmann Römer : Classical Theoretical Physics . 3. Edition. Springer, 1993, ISBN 3540559019 . (Full text available here )

Herbert Goldstein , Charles P. Poole, John L. Safko: Classical Mechanics . 3. Edition. WileyVCH, 2006, ISBN 3527405895 .

Cornelius Lanczos : The Variational Principles of Mechanics . 4th edition. Dover Publ. Inc, 1986, ISBN 0486650677 .
 Friedhelm Kuypers: Classic mechanics . 8th edition. WileyVch, 2008, ISBN 3527407219 .
Literature on path integrals.
Web links
Individual evidence

↑ Landau , Lifschitz : Textbook of theoretical physics I  Mechanics. AkademieVerlag Berlin 1987, p. 156.

↑ For example Hamel Theoretische Mechanik , Springer Verlag 1967, p. 281.

↑ The real anholonomic constraints would be The time differential vanishes by definition with the associated socalled virtual shifts${\ displaystyle \ sum _ {k} a_ {k} \ mathrm {d} q_ {k} + a_ {t} \ mathrm {d} t = 0 \ ,.}$${\ displaystyle \ mathrm {d} t}$${\ displaystyle \ delta q_ {k}}$

↑ See the calculus of variations . There the EulerLagrange equations result from the variation of a functional. In mechanics, the functional under consideration is the action function and one speaks of the Lagrange equation.