Skip to main content
Library homepage
Physics LibreTexts

5.S: Calculus of Variations (Summary)

  • Page ID
  • \( \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}}\)

    Euler’s differential equation

    The calculus of variations has been introduced and Euler’s differential equation was derived. The calculus of variations reduces to varying the functions \(y_{i}(x),\) where \(i=1,2,3,...n\), such that the integral

    \[F=\int_{x_{1}}^{x_{2}}f\left[ y_{i}(x),y_{i}^{\prime }(x);x\right] dx \]

    is an extremum, that is, it is a maximum or minimum. Here \(x\) is the independent variable, \(y_{i}(x)\) are the dependent variables plus their first derivatives \(y_{i}^{\prime }\equiv \frac{dy_{i}}{dx}.\) The quantity \(f\left[ y(x),y^{\prime }(x);x\right]\) has some given dependence on \(y_{i},y_{i}^{\prime }\) and \(\ x.\) The calculus of variations involves varying the functions \(y_{i}(x)\) until a stationary value of \(F\) is found which is presumed to be an extremum. It was shown that if the \(y_{i}(x)\) are independent, then the extremum value of \(F\) leads to \(n\) independent Euler equations

    \[\frac{\partial f}{\partial y_{i}}-\frac{d}{dx}\frac{\partial f}{\partial y_{i}^{\prime }}=0 \]

    where \(i=1,2,3..n\). This can be used to determine the functional form \( y_{i}(x)\) that ensures that the integral \(F=\int_{x_{1}}^{x_{2}}f\left[ y(x),y^{\prime }(x);x\right] dx\) is a stationary value, that is, presumably a maximum or minimum value.

    Note that Euler’s equation involves partial derivatives for the dependent variables \(y_{i},y_{i}^{\prime },\) and the total derivative for the independent variable \(x.\)

    Euler’s integral equation

    It was shown that if the function \( \int_{x_{1}}^{x_{2}}f\left[ y_{i}(x),y_{i}^{\prime }(x);x\right]\) does not depend on the independent variable, then Euler’s differential equation can be written in an integral form. This integral form of Euler’s equation is especially useful when \(\frac{\partial f}{\partial x}=0,\) that is, when \(f\) does not depend explicitly on \(x\), then the first integral of the Euler equation is a constant \[f-y^{\prime }\frac{\partial f}{\partial y^{\prime }}=\text{constant} \]

    Constrained variational systems

    Most applications involve constraints on the motion. The equations of constraint can be classified according to whether the constraints are holonomic or non-holonomic, the time dependence of the constraints, and whether the constraint forces are conservative.

    Generalized coordinates in variational calculus

    Independent generalized coordinates can be chosen that are perpendicular to the rigid constraint forces and therefore the constraint does not contribute to the functional being minimized. That is, the constraints are embedded into the generalized coordinates and thus the constraints can be ignored when deriving the variational solution.

    Minimal set of generalized coordinates

    If the constraints are holonomic then the \(m\) holonomic equations of constraint can be used to transform the \(n\) coupled generalized coordinates to \(s=n-m\) independent generalized variables \(q_{i},q_{i}^{\prime }\). The generalized coordinate method then uses Euler’s equations to determine these \(s=n-m\) independent generalized coordinates. \[\frac{\partial f}{\partial q_{i}}-\frac{d}{dx}\frac{\partial f}{\partial q_{i}^{\prime }}=0 \]

    Lagrange multipliers for holonomic constraints

    The Lagrange multipliers approach for \(n\) variables, plus \(m\) holonomic equations of constraint, determines all \(N + m \) unknowns for the system. The holonomic forces of constraint acting on the \(N\) variables, are related to the Lagrange multiplier terms \(\lambda_k(x)\frac{\partial g_k}{\partial y_i})\) that are introduced into the Euler equations.

    That is,

    \[ \frac{\partial f}{\partial y_i}- \frac{d f}{d x} \frac{\partial f}{\partial y^\prime_i} + \sum_k^m\lambda_k(x)\frac{\partial g_k}{\partial y_i}\]

    where the holonomic equations of constraint are given by


    The advantage of using the Lagrange multiplier approach is that the variational procedure simultaneously determines both the equations of motion for the \(N\) variables plus the \(m\) constraint forces acting on the system.

    This page titled 5.S: Calculus of Variations (Summary) 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; a detailed edit history is available upon request.

    • Was this article helpful?