Euler–Lagrange equation

Euler–Lagrange equation
Name	Euler–Lagrange equation
Field	Calculus of variations, Classical mechanics
Introduced	18th century
Introduced by	Leonhard Euler, Joseph-Louis Lagrange

Euler–Lagrange equation is a fundamental differential equation arising in the calculus of variations and classical mechanics that gives necessary conditions for an extremum of a functional. It links contributions from figures such as Leonhard Euler, Joseph-Louis Lagrange, Pierre-Simon Laplace, Joseph Fourier, and later developments influenced by William Rowan Hamilton, Évariste Galois, and Carl Gustav Jacob Jacobi. The equation underpins formulations used by institutions like the Royal Society, Académie des Sciences, Prussian Academy of Sciences, and informs modern work at universities including University of Göttingen, École Polytechnique, and Princeton University.

History and motivation

The genesis traces to problems posed by Jakob Bernoulli and work by John Bernoulli and Isaac Newton on brachistochrone and geodesic problems, through systematic treatment by Leonhard Euler and consolidation by Joseph-Louis Lagrange in the 18th century. Influential contemporaries and later commentators included Adrien-Marie Legendre, Simeon Denis Poisson, and Augustin-Louis Cauchy, while 19th‑century extensions involved George Gabriel Stokes and James Clerk Maxwell. The motivation arose from optimizing integrals like those in the brachistochrone and is linked historically to applications in projects of the East India Company and constructions overseen by the British Admiralty.

Derivation

Start with a functional J[y] = ∫_{a}^{b} L(x,y,y') dx where L is a Lagrangian dependent on x and y and its derivative. Consider variations y → y + εη with η(a)=η(b)=0; expand J[y+εη] and require first variation δJ = 0. Integration by parts removes derivatives of η and produces the Euler–Lagrange condition d/dx(∂L/∂y') − ∂L/∂y = 0. Classical expositors who presented similar derivations include Joseph Fourier, Siméon Denis Poisson, Augustin-Louis Cauchy, and later pedagogical treatments at University of Cambridge and Université Paris-Saclay.

Euler–Lagrange equations in multiple dimensions and fields

For vector-valued functions or fields φ_i(x^μ), the system generalizes to ∂_μ(∂L/∂(∂_μ φ_i)) − ∂L/∂φ_i = 0, coupling components across coordinates. This field-theoretic form is central in formulations by James Clerk Maxwell for electromagnetism, by James Prescott Joule and Michael Faraday in electrodynamics, and by Albert Einstein in variational derivations of equations used by Institute for Advanced Study. The modern tensorial notation used in relativity and continuum mechanics owes to conventions developed at Princeton University, University of Göttingen, and ETH Zurich.

Applications in classical mechanics and calculus of variations

In classical mechanics the Euler–Lagrange equation yields Lagrange’s equations for systems with coordinates q_i and L = T − V, a cornerstone of dynamics in works by Isaac Newton, William Rowan Hamilton, and Joseph-Louis Lagrange. Celestial mechanics problems addressed by Pierre-Simon Laplace, Simon Newcomb, and Henri Poincaré employ these methods for stability and perturbation analyses. The calculus of variations applications include geodesics on manifolds studied by Bernhard Riemann, minimal surfaces treated by Joseph-Louis Lagrange and Jean Baptiste Meusnier de la Place, and control problems advanced at California Institute of Technology and Massachusetts Institute of Technology.

Boundary conditions and variational principles

Natural and fixed (Dirichlet-type) boundary conditions arise from whether variations vanish at endpoints; transversality and natural boundary conditions appear when endpoints vary, as discussed by Adrien-Marie Legendre and Simeon Denis Poisson. The principle of stationary action—pioneered by Pierre-Louis Maupertuis and formalized by William Rowan Hamilton—uses the Euler–Lagrange framework to select physically realized trajectories, a concept integral to work at Royal Institution and experimental programs at Los Alamos National Laboratory.

Generalizations and related formulations (Hamiltonian, Noether's theorem)

Hamiltonian mechanics reformulates Euler–Lagrange equations via Legendre transform H = Σ p_i q̇_i − L and Hamilton’s equations, developed by William Rowan Hamilton and used by Carl Gustav Jacob Jacobi. Symmetry and conservation laws are linked through Emmy Noether’s theorem, connecting continuous symmetries to conserved quantities; this theorem influenced research at Niels Bohr Institute and CERN. Further generalizations include higher-order variational problems studied by Sophus Lie and Élie Cartan, constrained dynamics via Lagrange multipliers popularized in texts at Harvard University, and extensions to quantum action principles central to work by Paul Dirac, Richard Feynman, and Erwin Schrödinger.

Category:Calculus of variations