Lagrangian Mechanics: Why the Euler-Lagrange Equation Works

Emmy Noether's first theorem establishes that continuous symmetries in physical systems correspond to conservation laws: translational symmetry implies conservation of linear momentum, rotational symmetry implies conservation of angular momentum, and temporal symmetry implies conservation of energy; this connection is demonstrated through Lagrangian mechanics, where cyclic coordinates (quantities not explicitly appearing in the Lagrangian) yield conserved quantities via the Euler-Lagrange equation.

Emmy Noether proved that conservation laws (energy, momentum, angular momentum) are not absolute but depend on symmetries in physical systems. A system has symmetry if it remains unchanged under certain transformations: time translation (system looks same at any time), spatial translation (looks same anywhere in space), or rotation (looks same after any rotation). Continuous symmetries allow transformations by any amount, while discrete symmetries only allow specific transformations. Noether's theorem states that every continuous symmetry corresponds to a conservation law: time symmetry gives energy conservation, spatial symmetry gives momentum conservation, and rotational symmetry gives angular momentum conservation. These conservation laws only hold when the corresponding symmetry exists in the system.

Noether's theorem, formulated by German mathematician Emmy Noether approximately 100 years ago, establishes a profound connection between symmetries of nature and conservation laws in physics. The theorem states that for every continuous symmetry of a physical system's Lagrangian (the function defining the system's dynamics), there exists a corresponding conserved quantity. Specifically, spatial translation invariance (the ability to move a system without changing its physics) leads to conservation of linear momentum; rotational invariance (the ability to rotate a system without changing its physics) leads to conservation of angular momentum; and time translation invariance (the constancy of physical laws across time) leads to conservation of energy. This elegant mathematical relationship reveals that conservation laws are not arbitrary but emerge naturally from the fundamental symmetries inherent in physical systems.

Noether's theorem states that every continuous global symmetry of a physical system's Lagrangian corresponds to a conserved quantity; mathematically, this manifests as a divergence-free conserved current j^μ satisfying ∂_μj^μ = 0, which in classical mechanics reduces to the continuity equation describing conservation of quantities like energy, momentum, or charge depending on the specific symmetry transformation applied.

Emmy Noether's groundbreaking theorem establishes that every continuous symmetry in physical laws corresponds to a conserved quantity: translational symmetry leads to conservation of linear momentum, rotational symmetry leads to conservation of angular momentum, and time symmetry leads to conservation of energy; this profound insight, developed while helping Einstein and Hilbert resolve issues in general relativity, reveals that conservation laws are not arbitrary but emerge directly from the fundamental symmetries of the universe.

The Legendre transform provides the mathematical bridge between two major formulations of classical mechanics: Lagrangian mechanics and Hamiltonian mechanics. Lagrangian mechanics uses the Lagrangian L(q, q̇), a function of generalized coordinates q and velocities q̇, while Hamiltonian mechanics uses the Hamiltonian H(q, p), a function of coordinates q and momenta p. The Hamiltonian is obtained by performing a Legendre transform on the Lagrangian: H = pq̇ - L, where p = ∂L/∂q̇ is the generalized momentum. This transformation swaps the independent variables from (q, q̇) to (q, p). By equating differentials and using the definition of generalized momentum, we derive Hamilton's equations: dq/dt = ∂H/∂p and dp/dt = -∂H/∂q. These equations contain exactly the same physical information as the Euler-Lagrange equations from Lagrangian mechanics. The Legendre transform thus provides a powerful tool for converting between different mathematical representations of physical systems while preserving all dynamical information.

The Legendre transformation is a mathematical technique that converts a scalar function of one set of variables into a new function of its partial derivatives, serving as the bridge between Lagrangian and Hamiltonian mechanics; this transformation enables the derivation of Hamilton's canonical equations (q̇ = ∂H/∂p and ṗ = -∂H/∂q) by changing the independent variables from generalized coordinates and velocities to generalized coordinates and momenta, with the Hamiltonian H being defined as H = Σ(q̇ᵢpᵢ) - L, where L is the Lagrangian.

Hamilton's equations are systematically derived from Lagrange's equations through the Legendre transformation. Generalized momentum p_i is defined as ∂L/∂q̇_i, transforming from (q, q̇) to (q, p) coordinates. The Hamiltonian H = Σ(q̇_i p_i) - L depends only on q and p. For time-independent systems, H equals total energy T + V. This derivation shows how Hamiltonian mechanics naturally emerges from Lagrangian foundations while providing new mathematical structure. The resulting Hamilton's canonical equations provide a complete description of Hamiltonian dynamics: q̇_i = ∂H/∂p_i and ṗ_i = -∂H/∂q_i for each degree of freedom. These 2n first-order equations replace n second-order Lagrange's equations, making numerical implementation more straightforward and revealing the deep geometric structure underlying Hamiltonian mechanics.

This section covers the transition from Lagrangian to Hamiltonian mechanics. The Lagrangian approach has limitations: it produces second-order differential equations and the Lagrangian (L = T - U) is not a direct physical quantity. The Legendre transformation resolves these issues by changing variables from velocity to momentum (p = ∂L/∂q̇). This transformation eliminates second-order equations and produces Hamilton's equations: q̇ = ∂H/∂p and ṗ = -∂H/∂q. The Hamiltonian is defined as H = pq̇ - L, representing the total energy of the system.

Lagrangian mechanics reformulates Newtonian mechanics by focusing on minimizing the action (the integral of the Lagrangian, which is kinetic minus potential energy), using generalized coordinates and Euler-Lagrange equations to derive equations of motion; Hamiltonian mechanics transforms the Lagrangian via Legendre transform to express the system in terms of total energy (kinetic plus potential) using Hamilton's equations, which provide first-order differential equations in position and momentum rather than second-order equations, making both formalisms particularly useful for complex systems with constraints.

In the calculus of variations, instead of minimizing a function (which maps numbers to numbers), one minimizes a functional (which maps functions to numbers). A typical functional is an integral of the form ∫F(x, u, ∇u) dx over a domain Ω. The goal is to find a function u that minimizes this functional, subject to boundary conditions. The direct method involves finding a compact space of functions where the functional is well-defined and proving lower semicontinuity. The Euler-Lagrange equation is the necessary condition for a function to be a minimizer: ∂F/∂u - ∇·(∂F/∂∇u) = 0. The fundamental lemma of calculus of variations states that if an integral of the form ∫g(x)φ(x) dx = 0 for all test functions φ with compact support, then g(x) = 0 almost everywhere. In the calculus of variations, there is a fundamental tension: one needs a topology that makes the functional lower semicontinuous but also one that makes the space compact. These requirements are in conflict. The solution is to use weak topologies that balance these competing demands. Sobolev spaces provide the right balance between compactness and lower semicontinuity. The fundamental gap is that while the direct method produces minimizers with weak derivatives in L^2, one wants to know that these minimizers are actually smooth (C^∞). This is the regularity problem that De Giorgi and Nash solved.

A functional is a mathematical object that maps functions to real numbers. The function y(x) for which the functional I achieves its maximum or minimum value is called an extremal. The value of I at this extremal is called the extremal value. The goal of Calculus of Variations is to find these extremals. Not all mathematical expressions are functionals; some are neither functions nor functionals.

A functional is a mapping from a set of functions to a set of real numbers, where the input is a function (such as a curve) and the output is a scalar value (such as the length of the curve). Calculus of variations is the branch of mathematics that studies the problem of finding maxima and minima of functionals, analogous to how ordinary calculus studies optimization of functions; this subject focuses on solving variational problems where one seeks to optimize functionals defined over infinite-dimensional spaces of functions.

A function transforms a number into another number (e.g., x² transforms 1 to 1, 3 to 9). A functional transforms a function into a number (e.g., S[f] = ∫₀¹ f(x) dx produces a number for any function f). Functionals can depend on both a function and its derivative, such as S[f] = ∫₀¹ (f(x)² + (f'(x))²) dx. The functional derivative measures how the functional's output changes when the input function is slightly modified. To compute the variation of S[f] = ∫ₐᵇ L(x, f, f') dx, substitute f + h and f' + h' into L. Using the total differential formula, ΔL = (∂L/∂f)h + (∂L/∂f')h'. The term ∫ (∂L/∂f')h' dx is simplified using integration by parts, with the boundary term vanishing because h(a) = h(b) = 0. Substituting back, ΔS = ∫ h [∂L/∂f - (d/dx)(∂L/∂f')] dx. The expression ∂L/∂f - (d/dx)(∂L/∂f') is the functional derivative δS/δf. Setting δS/δf = 0 gives the Euler-Lagrange equations, which are equivalent to Newton's laws of motion.