Lagrangian Mechanics¶

Lagrangian mechanics derives motion from a scalar Lagrangian in generalized coordinates by stationary action, often simplifying constrained systems.

Version: v1 · 2026-10-03 · History
Domain-specific #: 13370
Domain group: Natural Sciences
Origin domain: Physics
Subdomain: Classical Dynamics → Physics
Aliases: Lagrangian formulation

Core Idea¶

Lagrangian mechanics describes allowed motion with generalized coordinates q_i and a scalar function L(q,qdot,t). For conservative particle systems L=T−V is the familiar case. Integrating L over time gives the action S; requiring the actual path to make S stationary under small fixed-endpoint variations yields an Euler–Lagrange equation for each coordinate. A coordinate system that already satisfies a holonomic constraint can remove its reaction force from the equations of allowed motion. David Tong's pendulum example makes this concrete: one angle replaces two Cartesian positions plus a string-length constraint and unknown tension.^[1]

The formalism is not just a way to write energy. It is an ordered procedure from coordinates and Lagrangian through variation to equations. MIT's controlled cart-pole model demonstrates the same procedure with two coupled coordinates and an applied cart force, where generalized forcing must be included rather than pretending every motion is conservative.^[2]

Structural Signature¶

Sig role-phrases:

Configuration coordinates: independent q_i parameterize allowed positions and absorb suitable constraints.
Lagrangian: L(q,qdot,t) encodes dynamics, commonly kinetic minus potential energy for the mechanical examples here.
Action and stationarity: S=∫Ldt is varied across nearby fixed-endpoint paths; the physical one is stationary, not necessarily a global minimum.
Euler–Lagrange equations: d/dt(∂L/∂qdot_i)−∂L/∂q_i=0 gives unforced allowed-motion equations.
Forces and symmetries: generalized applied forces modify equations; an absent coordinate gives conserved conjugate momentum only when its generalized force vanishes.^[1]^[2]

Condensed: allowed coordinates + scalar L → stationary action → differential equations, with inputs/symmetries checked explicitly.

What It Is Not¶

It is not identical to the live prime “Principle of Least Action”: that is a broad variational idea, while this entry specifies configuration coordinates, L, Euler–Lagrange machinery and treatment of constraints. “Least” is historical shorthand; stationarity can include a saddle, not only a minimum. It is not Hamiltonian mechanics, which uses canonical positions and momenta with first-order Hamilton equations. It is not a blanket promise that every Lagrangian equals T−V or that all nonholonomic constraints vanish by coordinate substitution. Finally, deriving allowed motion without tension does not mean tension is physically absent—it means the chosen equation does not need that reaction to obtain θ(t).^[1]

Scope of Application¶

The clean setting is a finite-dimensional mechanical system with ideal holonomic constraints and a suitable action. In Tong's pendulum, fixed length allows position to be parameterized by one angle. Kinetic and gravitational potential energy give a one-coordinate L; variation yields the nonlinear pendulum equation. The string tension need not be solved to get the angular motion, though it can be recovered if wanted.^[1]

The MIT Underactuated Robotics cart-pole is a more coupled application. Its coordinates are cart displacement x and pole angle θ. The kinetic energy contains an xdot θdot cosθ cross term, so the resulting equations couple accelerations; the cart force f_x appears as a generalized input. That example verifies transfer of the machinery beyond a single passive pendulum, but the entry does not claim that a circuit or field model inherits the same simple T−V expression without its own source-located derivation.^[2]

Clarity¶

For a simple pendulum, x=l sinθ and a corresponding vertical coordinate make x²+y²=l² automatic. The angle is not an approximation to Cartesian motion; it is a coordinate on the circle of allowed positions. Choosing potential zero at the lowest point yields L=(1/2)ml²θdot²−mgl(1−cosθ). Adding a constant to L changes the action by a fixed multiple of elapsed time but not the Euler–Lagrange equation, which is why an equivalent potential convention in a source may look different. The resulting equation is ml²θddot+mgl sinθ=0.^[1]

An applied force changes the rule. In the cart-pole, f_x acts on the translational coordinate; setting the right-hand side to zero would describe a different system. A coordinate being absent from L gives conserved conjugate momentum only in the absence of a corresponding generalized force.^[2]^[1]

Manages Complexity¶

The formalism moves complexity from force diagrams into coordinate and energy construction. It can eliminate ideal constraint reactions from the primary motion equations and provides a repeatable derivative calculation even as coordinates couple. For the cart-pole, the cross term in T already records how moving the cart and rotating the pole interact, so the two equations emerge systematically. This economy depends on choosing legitimate coordinates and accounting for all relevant potential, input and dissipation terms; it cannot rescue an incomplete model.^[1]^[2]

Abstract Reasoning¶

For a trajectory q(t) between fixed endpoint configurations, consider nearby paths q(t)+εδq(t) with variations zero at the endpoints. Differentiate S=∫L(q,qdot,t)dt with respect to ε, integrate the δqdot term by parts, and require the first-order change to vanish for every admissible δq. The coefficient of each independent variation then must vanish: d/dt(∂L/∂qdot_i)−∂L/∂q_i=0. With a generalized nonconservative input Q_i, the corresponding equation has Q_i on its right side. This is the action-to-motion bridge, not a claim that nature compares and chooses paths consciously.^[1]^[2]

For the pendulum, ∂L/∂θdot=ml²θdot and ∂L/∂θ=−mgl sinθ; substitution gives ml²θddot+mgl sinθ=0. In a controlled cart-pole there are two variations, δx and δθ, and cross terms cause coupled equations. The exact forcing distinction matters: the cart input appears in the x equation, not as a magically conserved momentum.^[1]^[2]

Knowledge Transfer¶

One-angle pendulum and two-coordinate cart-pole transfer the sequence choose allowed coordinates → write energies/L → vary → obtain equations. They do not transfer the same coordinates or uncoupled dynamics: the cart-pole's moving pivot creates a kinetic cross term absent from the fixed-pivot pendulum. The symmetry rule transfers only conditionally; an ignorable coordinate with applied force does not have constant conjugate momentum. Broader transfers to electrical circuits or fields are plausible uses of Lagrangian methods, but the present source set maps the mechanics/robotics cases only. No cross-domain claim is staged on an unworked analogy.^[1]^[2]

Examples¶

Simple pendulum without solving string tension¶

Tong analyzes a bob constrained to a circle of radius l. The single angle θ builds the fixed-length condition into the description. With T=(1/2)ml²θdot² and V=mgl(1−cosθ), the Euler–Lagrange equation is ml²θddot+mgl sinθ=0. Newtonian Cartesian treatment also yields it, but must keep track of string tension before reducing; the Lagrangian coordinate directly targets the angular motion.^[1]

Mapped back: θ is the allowed configuration coordinate; T−V is the Lagrangian; varying ∫Ldt supplies stationarity; the displayed nonlinear pendulum equation is the Euler–Lagrange output; ideal tension drops from this motion equation, while no unsupported cyclic-coordinate claim is made.

Controlled cart-pole¶

MIT's cart-pole derivation chooses cart position x and pole angle θ, writes kinetic and gravitational energies, and obtains two coupled motion equations. Its kinetic energy contains m_p xdot θdot l cosθ, reflecting the moving pivot. An applied cart force f_x appears in the cart equation. This case is not merely “another pendulum”: the coordinate coupling and generalized input alter the calculation.^[2]

Mapped back: x,θ are configuration coordinates; MIT's kinetic-minus-potential expression is L; varying both coordinates yields the two equations; the cross term generates coupled acceleration terms; f_x is an explicit generalized force and prevents treating the driven cart momentum as conserved.

Structural Tensions¶

Coordinate economy versus reaction-force visibility. Parameterizing the pendulum by θ eliminates the string-length constraint from the main equation and avoids solving tension to find angular motion. If tension itself is the quantity sought, it must be recovered separately. Diagnostic: is the requested output the allowed trajectory or the support/contact reaction?^[1]

An absent coordinate in L does not by itself certify conserved conjugate momentum if an applied generalized force acts on that coordinate. The cart-pole's actuated translation supplies the source-bounded counterexample. Check both whether L omits the coordinate and whether its generalized force is zero; those are jointly required validity conditions, not opposed objectives.^[1]^[2]

Structural–Framed Character¶

The formalism lies strongly on the structural side: coordinate manifolds, scalar action and variational equations determine its central claims. Evaluation enters in model choice—whether selected coordinates and L represent the intended constraints and forces—not in the physics selecting a morally preferred path. Human practice invents and uses coordinate systems; Lagrange's historical and textbook institutions established terminology, but the resulting pendulum dynamics are not institutionally constituted. The vocabulary travels literally from a simple pendulum to a robotic cart-pole because all roles can be re-identified and equations derived. Importing “least action” to an arbitrary optimization problem without a physical Lagrangian or motion equation would be analogy, not this named mechanics identity. Its character: an executable variational mechanics formalism, with conditional symmetry claims and explicit model boundaries.

Structural Core vs. Domain Accent¶

The skeletal relation is encode allowed states → define action over paths → stationary variation → dynamical equations. Bob, string, cart and actuator are domain accents; the coordinate, action and differential-equation roles persist. Its domain-bound mechanism is specifically a Lagrangian on configuration/velocity variables and the Euler–Lagrange operator. That specificity is why the entry is not promoted to a prime abstraction. The live Principle of Least Action prime supplies the independently challenged stationary-action prerequisite, but is not a strict-genus parent for all constraint and forcing details. A future broader prime about variational modeling would need genuinely unlike applications without importing these mechanics equations unchanged.

This entry presupposes Principle of Least Action.

Principle of Least Action is the strict prerequisite under composition/presupposes: this Lagrangian formulation selects stationary-action paths to obtain motion equations. It is not a subsumption genus of the whole mechanics formalism. Hamiltonian mechanics is a related alternative formulation, not a synonym.

Relationships to Other Abstractions¶

Current abstraction Lagrangian Mechanics Domain-specific

Parents (1) — more general patterns this builds on

Lagrangian Mechanics presupposes Principle of Least Action Prime

Lagrangian mechanics uses stationary action as a prerequisite.

Hierarchy path (1) — routes to 1 parentless root

Lagrangian Mechanics → Principle of Least Action

Neighborhood in Abstraction Space¶

Lagrangian Mechanics sits in a moderately populated region (58^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Dynamical Systems & Differential Structures (37 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

L is not always exactly T−V, stationarity is not necessarily a minimum, and ideal constraint reactions are not unreal merely because the chosen equation omits them. Euler–Lagrange equations are a step within the formalism, not the whole history or application scope of it. Hamiltonian equations use another coordinate representation.^[1]

References¶

[1] David Tong, Classical Dynamics, §2: The Lagrangian Formalism, especially action, constraints, pendulum and symmetries. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n

[2] MIT Underactuated Robotics, Chapter 3: Acrobots, Cart-Poles, and Quadrotors, cart-pole energy and equations. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j