MathLabs
TheoremProved

The Beltrami identity

Statement

If the Lagrangian L=L(y,y′)L=L(y,y') has no explicit dependence on xx, then along any extremal y(x)y(x) the quantity L−y′∂L∂y′=CL - y' \frac{\partial L}{\partial y'} = C is constant.

Why is it true?

This is a conserved quantity, exactly analogous to conservation of energy: when the 'rules' LL do not change as we slide along xx, a specific combination of LL and y′y' stays fixed. It gives a first-order equation in place of the second-order Euler–Lagrange equation, which is often much easier to solve directly.

Proof sketch

Define H(x)=L(y,y′)−y′ ∂L∂y′H(x) = L(y,y') - y'\,\frac{\partial L}{\partial y'} evaluated along an extremal y(x)y(x), and differentiate with respect to xx using the chain rule: dHdx=∂L∂yy′+∂L∂y′y′′−y′′ ∂L∂y′−y′ ddx∂L∂y′\frac{dH}{dx} = \frac{\partial L}{\partial y} y' + \frac{\partial L}{\partial y'} y'' - y''\,\frac{\partial L}{\partial y'} - y'\,\frac{d}{dx}\frac{\partial L}{\partial y'}.

The two terms containing y′′y'' cancel exactly, leaving dHdx=y′(∂L∂y−ddx∂L∂y′)\frac{dH}{dx} = y'\left( \frac{\partial L}{\partial y} - \frac{d}{dx}\frac{\partial L}{\partial y'} \right).

But y(x)y(x) is an extremal, so by the Euler–Lagrange equation the bracketed factor is identically zero along yy. Hence dHdx=0\frac{dH}{dx}=0 everywhere on the interval, which means H(x)=L−y′ ∂L∂y′H(x)=L-y'\,\frac{\partial L}{\partial y'} is constant, proving the claim.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. I. M. Gelfand, S. V. Fomin (2000). Calculus of Variations
  2. Mark Kot (2014). A First Course in the Calculus of Variations
  3. Camillo De Lellis, Matteo Focardi (2023). The regularity theory for the Mumford-Shah functional on the plane · arXiv:2308.14660 [preprint, not peer-reviewed]