A differential equation giving the necessary condition for a functional S[q]=∫ L(q, q̇, t) dt to be stationary under smooth variations of the generalized coordinate q with fixed endpoints; for a Lagrangian L(q,q̇,t) differentiable in q and q̇ the condition is d/dt(∂L/∂q̇) − ∂L/∂q = 0, which yields the equations of motion for finite-dimensional mechanical systems and the analogous field equations when generalized to fields.

Principle

The stationary-action condition implies that admissible trajectories make the first variation of the action vanish; this variational identity is equivalent to setting the Euler–Lagrange operator to zero and thus converts a variational problem into a set of ordinary or partial differential equations determining dynamics.

Demonstration

Illustrative Scenario — Simple One‑Degree‑of‑Freedom System: Situation: A particle of mass m moves in a potential V(q) on a time interval [t0, tf] with L(q, q̇) = ½ m q̇² − V(q). Recognition: The Lagrangian is differentiable in q and q̇ and admissible variations are taken to vanish at the endpoints (fixed‑endpoint variations); therefore the standard Euler–Lagrange derivation applies. Action: Vary the action and obtain the Euler–Lagrange equation d/dt(m q̇) + ∂V/∂q = 0 (equivalently m q̈ = −∂V/∂q). Solve this second‑order ODE subject to the fixed boundary conditions q(t0)=q0 and q(tf)=qf (a boundary‑value problem). Note that existence, uniqueness, and multiplicity of solutions depend on V and the interval; alternatively, to obtain unique time evolution from given initial data one must impose initial conditions q(t0) and q̇(t0) and solve the corresponding initial‑value problem. Consequence: Any smooth trajectory satisfying the ODE and the endpoint constraints is a candidate stationary trajectory of the action and satisfies Newtonian force balance m q̈ = −∂V/∂q. Such a trajectory is physically relevant when it indeed makes the action stationary (e.g., a local extremum); failure to respect differentiability, admissible variations, or the specified endpoint conditions invalidates the variational conclusion.

Misapplication

Applying the Euler–Lagrange equation when the action is non-differentiable, the endpoints are not fixed, or constraints are nonholonomic without using appropriate Lagrange multipliers; the semantic error is treating the equation as universally valid without verifying differentiability and admissible variation conditions, which can yield incorrect or incomplete equations of motion.

Consequence

When applied correctly, the Euler–Lagrange equation produces the differential equations whose solutions are candidate stationary trajectories; these equations determine time evolution subject to initial or boundary data. If applied incorrectly, derived equations may omit constraint forces, violate conservation relations tied to symmetries, or produce spurious solutions that are not stationary for the original variational problem.

Reversal

If the action functional depends on higher derivatives, non-differentiable integrands, or the admissible variations include endpoint variations, the standard Euler–Lagrange form changes: boundary terms, higher-order Euler–Lagrange equations, or additional multiplier terms appear. Similarly, in the presence of nonholonomic velocity-dependent constraints the naive substitution fails and constrained variational formalisms or generalized multiplier methods are required.

Boundary

Clearly Within: A finite-dimensional mechanical system with smooth L(q,q̇,t) and fixed-endpoint variations. Boundary Case: Field theories where the same variational calculus applies but function spaces, boundary conditions, and distributional solutions require functional-analytic care. Clearly Outside: Problems lacking an action principle (purely empirical models not derivable from a variational functional) or optimization problems without differentiable integrands.

Semantic Tension

Variational (Lagrangian) versus differential-force (Newtonian/Hamiltonian) descriptions: the Euler–Lagrange formulation emphasizes global stationarity of an action and coordinate-invariant structure, while differential-force methods focus on local force balances and may be more direct when nonvariational forces or dissipation dominate.

Synthesis

The Euler–Lagrange equation is the operational bridge between stationarity of an action functional and explicit differential equations of motion: it makes the variational statement testable and solvable, but its validity depends on differentiability, admissible variations, and correct treatment of constraints and boundary terms.