The Beltrami identity
Statement
If the Lagrangian has no explicit dependence on , then along any extremal the quantity is constant.
Why is it true?
This is a conserved quantity, exactly analogous to conservation of energy: when the 'rules' do not change as we slide along , a specific combination of and 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 evaluated along an extremal , and differentiate with respect to using the chain rule: .
The two terms containing cancel exactly, leaving .
But is an extremal, so by the Euler–Lagrange equation the bracketed factor is identically zero along . Hence everywhere on the interval, which means is constant, proving the claim.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- I. M. Gelfand, S. V. Fomin (2000). Calculus of Variations
- Mark Kot (2014). A First Course in the Calculus of Variations
- Camillo De Lellis, Matteo Focardi (2023). The regularity theory for the Mumford-Shah functional on the plane · arXiv:2308.14660 [preprint, not peer-reviewed]