Skip to main content
Physics LibreTexts

9.3: Lagrangian

  • Page ID
    9644
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Standard Lagrangian

    Lagrangian mechanics, as introduced in chapter \(6,\) was based on the concepts of kinetic energy and potential energy. d’Alembert’s principle of virtual work was used to derive Lagrangian mechanics in chapter \(6\) and this led to the definition of the standard Lagrangian. That is, the standard Lagrangian was defined in chapter \(6.2\) to be the difference between the kinetic and potential energies.

    \[L(\mathbf{q, \dot{q},}t)=T(\mathbf{\dot{q},}t)-U(\mathbf{q},t)\]

    Hamilton extended Lagrangian mechanics by defining Hamilton’s Principle, equation \((9.1.2)\), which states that a dynamical system follows a path for which the action functional is stationary, that is, the time integral of the Lagrangian. Chapter \(6\) showed that using the standard Lagrangian for defining the action functional leads to the Euler-Lagrange variational equations

    \[\left\{ \frac{d}{dt}\left( \frac{\partial L}{\partial \dot{q}_{j}}\right) - \frac{\partial L}{\partial q_{j}}\right\} =Q_{j}^{EXC}+\sum_{k=1}^{m}\lambda _{k}\frac{\partial g_{k}}{\partial q_{j}}(\mathbf{q},t) \label{9.51}\]

    The Lagrange multiplier terms handle the holonomic constraint forces and \( Q_{j}^{EXC}\) handles the remaining excluded generalized forces. Chapters \(6-8\) showed that the use of the standard Lagrangian, with the Euler-Lagrange equations \ref{9.51}, provides a remarkably powerful and flexible way to derive second-order equations of motion for dynamical systems in classical mechanics.

    Note that the Euler-Lagrange equations, expressed solely in terms of the standard Lagrangian \ref{9.51}, that is, excluding the \(Q_{j}^{EXC}+ \sum_{k=1}^{m}\lambda _{k}\frac{\partial g_{k}}{\partial q_{j}}(\mathbf{q} ,t)\) terms, are valid only under the following conditions:

    1. The forces acting on the system, apart from any forces of constraint, must be derivable from scalar potentials.
    2. The equations of constraint must be relations that connect the coordinates of the particles and may be functions of time, that is, the constraints are holonomic.

    The \(Q_{j}^{EXC}+\sum_{k=1}^{m}\lambda _{k}\frac{\partial g_{k}}{ \partial q_{j}}(\mathbf{q},t)\) terms extend the range of validity of using the standard Lagrangian in the Lagrange-Euler equations by introducing constraint and omitted forces explicitly.

    Chapters \(6-8\) exploited Lagrangian mechanics based on use of the standard definition of the Lagrangian. The present chapter will show that the powerful Lagrangian formulation, using the standard Lagrangian, can be extended to include alternative non-standard Lagrangians that may be applied to dynamical systems where use of the standard definition of the Lagrangian is inapplicable. If these non-standard Lagrangians satisfy Hamilton’s Action Principle, \((9.1.2)\), then they can be used with the Euler-Lagrange equations to generate the correct equations of motion, even though the Lagrangian may not have the simple relation to the kinetic and potential energies adopted by the standard Lagrangian. Currently, the development and exploitation of non-standard Lagrangians is an active field of Lagrangian mechanics.

    Gauge invariance of the standard Lagrangian

    Note that the standard Lagrangian is not unique in that there is a continuous spectrum of equivalent standard Lagrangians that all lead to identical equations of motion. This is because the Lagrangian \(L\) is a scalar quantity that is invariant with respect to coordinate transformations. The following transformations change the standard Lagrangian, but leave the equations of motion unchanged.

    1. The Lagrangian is indefinite with respect to addition of a constant to the scalar potential which cancels out when the derivatives in the Euler-Lagrange differential equations are applied.
    2. The Lagrangian is indefinite with respect to addition of a constant kinetic energy.
    3. The Lagrangian is indefinite with respect to addition of a total time derivative of the form \(L_{2}\rightarrow L_{1}+ \frac{d}{dt}\left[ \Lambda (q_{i},t)\right] ,\) for any differentiable function \(\Lambda (q_{i}t)\) of the generalized coordinates plus time, that has continuous second derivatives.

    This last statement can be proved by considering a transformation between two related standard Lagrangians of the form

    \[ \label{9.52} L_{2}(\mathbf{q},\overset{.}{q},t)=L_{1}(\mathbf{q},\overset{.}{q},t)+\frac{ d\Lambda (\mathbf{q},t)}{dt}=L_{1}(\mathbf{q},\overset{.}{q},t)+\left( \frac{ \partial \Lambda (\mathbf{q},t)}{\partial q_{j}}\dot{q}_{j}+\frac{\partial \Lambda (\mathbf{q},t)}{\partial t}\right)\] This leads to a standard Lagrangian \(L_{2}\) that has the same equations of motion as \(L_{1}\) as is shown by substituting Equation \ref{9.52} into the Euler-Lagrange equations. That is,

    \[\begin{align} \label{9.53} \frac{d}{dt}\left( \frac{\partial L_{2}}{\partial \dot{q}_{j}}\right) -\frac{ \partial L_{2}}{\partial q_{j}} &=\frac{d}{dt}\left( \frac{\partial L_{1}}{ \partial \dot{q}_{j}}\right) -\frac{\partial L_{1}}{\partial q_{j}}+\frac{ \partial ^{2}\Lambda (\mathbf{q},t)}{\partial t\partial q_{j}}-\frac{ \partial ^{2}\Lambda (\mathbf{q},t)}{\partial t\partial q_{j}} \\[4pt] &=\frac{d}{dt} \left( \frac{\partial L_{1}}{\partial \dot{q}_{j}}\right) -\frac{\partial L_{1}}{\partial q_{j}} \end{align}\]

    Thus even though the related Lagrangians \(L_{1}\) and \(L_{2}\) are different, they are completely equivalent in that they generate identical equations of motion.

    There is an unlimited range of equivalent standard Lagrangians that all lead to the same equations of motion and satisfy the requirements of the Lagrangian. That is, there is no unique choice among the wide range of equivalent standard Lagrangians expressed in terms of generalized coordinates. This discussion is an example of gauge invariance in physics.

    Modern theories in physics describe reality in terms of potential fields. Gauge invariance, which also is called gauge symmetry, is a property of field theory for which different underlying fields lead to identical observable quantities. Well-known examples are the static electric potential field and the gravitational potential field where any arbitrary constant can be added to these scalar potentials with zero impact on the observed static electric field or the observed gravitational field. Gauge theories constrain the laws of physics in that the impact of gauge transformations must cancel out when expressed in terms of the observables. Gauge symmetry plays a crucial role in both classical and quantal manifestations of field theory, e.g. it is the basis of the Standard Model of electroweak and strong interactions.

    Equivalent Lagrangians are a clear manifestation of gauge invariance as illustrated by equations \ref{9.52}, \ref{9.53} which show that adding any total time derivative of a scalar function \(\Lambda (\mathbf{q,}t)\) to the Lagrangian has no observable consequences on the equations of motion. That is, although addition of the total time derivative of the scalar function \(\Lambda ( \mathbf{q},t)\) changes the value of the Lagrangian, it does not change the equations of motion for the observables derived using equivalent standard Lagrangians.

    For Lagrangian formulations of classical mechanics, the gauge invariance is readily apparent by direct inspection of the Lagrangian.

    Example \(\PageIndex{1}\): Gauge invariance in electromagnetism

    The scalar electric potential \(\Phi\) and the vector potential \(A\) fields in electromagnetism are examples of gauge-invariant fields. These electromagnetic-potential fields are not directly observable, that is, the electromagnetic observable quantities are the electric field \(E\) and magnetic field \(B\) which can be derived from the scalar and vector potential fields \(\Phi\) and \(A\). An advantage of using the potential fields is that they reduce the problem from \(6\) components, \(3\) each for \(E\) and \(B,\) to \(4\) components, one for the scalar field \(\Phi\) and \(3\) for the vector potential \(A\). The Lagrangian for the velocity-dependent Lorentz force, given by equation \((6.10.7)\), provides an example of gauge invariance. Equations \((6.10.3)\) and \((6.10.5)\) showed that the electric and magnetic fields can be expressed in terms of scalar and vector potentials \( \Phi\) and \(\mathbf{A}\) by the relations

    \[\mathbf{B}=\boldsymbol{\nabla}\times \mathbf{A}\]

    \[\mathbf{E}=-\boldsymbol{\nabla}\Phi - \frac{\partial \mathbf{A}}{\partial t}\nonumber\]

    The equations of motion for a charge \(q\) in an electromagnetic field can be obtained by using the Lagrangian

    \[L=\frac{1}{2}m\mathbf{v}\cdot \mathbf{v}-q(\Phi -\mathbf{A\cdot v)}\nonumber\]

    Consider the transformations \(\left( \mathbf{A,}\Phi \right) \rightarrow \left( \mathbf{A}^{\prime },\Phi ^{\prime }\right)\) in the transformed Lagrangian \(L^{\prime }\) where

    \[\mathbf{A}^{\prime }=\mathbf{A}+\nabla \Lambda (\mathbf{r,}t)\nonumber\]

    \[\Phi ^{\prime }=\Phi -\frac{\partial \Lambda (\mathbf{r,}t)}{\partial t}\nonumber\]

    The transformed Lorentz-force Lagrangian \(L^{\prime }\) is related to the original Lorentz-force Lagrangian \(L\) by

    \[L^{\prime }=L+q\left[ \mathbf{\dot{r}\cdot }\nabla \Lambda (\mathbf{r,}t)+ \frac{\partial \Lambda (\mathbf{r,}t)}{\partial t}\right] =L+q\frac{d}{dt} \Lambda (\mathbf{r,}t)\nonumber\]

    Note that the additive term \(q\frac{d}{dt}\Lambda (\mathbf{r,}t)\) is an exact time differential. Thus the Lagrangian \(L^{\prime }\) is gauge invariant implying identical equations of motion are obtained using either of these equivalent Lagrangians.

    The force fields \(\mathbf{E}\) and \(\mathbf{B}\) can be used to show that the above transformation is gauge-invariant. That is,

    \[\begin{align*} \mathbf{E}^{\prime } &=-\boldsymbol{\nabla}\Phi ^{\prime }-\frac{\partial \mathbf{ A}^{\prime }}{\partial t} \\[4pt] &=-\boldsymbol{\nabla}\Phi -\frac{\partial \mathbf{A}}{ \partial t} \\[4pt] &=\mathbf{E} \\[4pt] \mathbf{B}^{\prime } &=\boldsymbol{\nabla}\times \mathbf{A}^{\prime } \\[4pt] &=\boldsymbol{ \nabla }\times \mathbf{A} \\[4pt] &=\mathbf{B} \end{align*}\]

    That is, the additive terms due to the scalar field \(\Lambda ( \mathbf{r,}t)\) cancel. Thus the electromagnetic force fields following a gauge-invariant transformation are shown to be identical in agreement with what is inferred directly by inspection of the Lagrangian.

    Non-standard Lagrangians

    The definition of the standard Lagrangian was based on d’Alembert’s differential variational principle. The flexibility and power of Lagrangian mechanics can be extended to a broader range of dynamical systems by employing an extended definition of the Lagrangian that is based on Hamilton’s Principle, equation \((9.1.2)\). Note that Hamilton’s Principle was introduced \(46\) years after development of the standard formulation of Lagrangian mechanics. Hamilton’s Principle provides a general definition of the Lagrangian that applies to standard Lagrangians, which are expressed as the difference between the kinetic and potential energies, as well as to non-standard Lagrangians where there may be no clear separation into kinetic and potential energy terms. These non-standard Lagrangians can be used with the Euler-Lagrange equations to generate the correct equations of motion, even though they may have no relation to the kinetic and potential energies. The extended definition of the Lagrangian based on Hamilton’s action functional \((9.1.1)\) can be exploited for developing non-standard definitions of the Lagrangian that may be applied to dynamical systems where use of the standard definition is inapplicable. Non-standard Lagrangians can be equally as useful as the standard Lagrangian for deriving equations of motion for a system. Secondly, non-standard Lagrangians, that have no energy interpretation, are available for deriving the equations of motion for many nonconservative systems. Thirdly, Lagrangians are useful irrespective of how they were derived. For example, they can be used to derive conservation laws or the equations of motion. Coordinate transformations of the Lagrangian is much simpler than that required for transforming the equations of motion. The relativistic Lagrangian defined in chapter \(17.6\) is a well-known example of a non-standard Lagrangian.

    Inverse variational calculus

    Non-standard Lagrangians and Hamiltonians are not based on the concept of kinetic and potential energies. Therefore, development of non-standard Lagrangians and Hamiltonians require an alternative approach that ensures that they satisfy Hamilton’s Principle, equation \((9.1.2)\), which underlies the Lagrangian and Hamiltonian formulations. One useful alternative approach is to derive the Lagrangian or Hamiltonian via an inverse variational process based on the assumption that the equations of motion are known. Helmholtz developed the field of inverse variational calculus which plays an important role in development of non-standard Lagrangians. An example of this approach is use of the well-known Lorentz force as the basis for deriving a corresponding Lagrangian to handle systems involving electromagnetic forces. Inverse variational calculus is a branch of mathematics that is beyond the scope of this textbook. The Douglas theorem states that, if the three Helmholtz conditions are satisfied, then there exists a Lagrangian that, when used with the Euler-Lagrange differential equations, leads to the given set of equations of motion. Thus, it will be assumed that the inverse variational calculus technique can be used to derive a Lagrangian from known equations of motion.


    This page titled 9.3: Lagrangian is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Douglas Cline via source content that was edited to the style and standards of the LibreTexts platform.