2.1.4 · D5Analytical Mechanics

Question bank — Lagrangian L = T − V

2,316 words11 min readBack to topic

Before we start, a reminder of the symbols so nothing is used unearned:

  • = kinetic energy (the "moving" energy, for a point mass).
  • = potential energy (the "stored" energy, e.g. or ).
  • = the Lagrangian, one scalar number at each instant.
  • = a generalized coordinate: any independent number that pins down the configuration (a position , or just an angle ).
  • = its time-rate-of-change (generalized velocity), read "q-dot".
  • = the second time-derivative, i.e. acceleration: (two dots = differentiate with respect to time twice). So is angular acceleration, is ordinary acceleration.
  • = the variation symbol: means a tiny "wiggle" you add to a path (a small trial change), and is the resulting first-order change in the action. "Stationary" means : no first-order change under any small wiggle.
  • = the action, one number for a whole path.

Four pictures anchor the whole page — glance at them before you start so the words below have something to point at.

Picture 1 — the action is an area. is just a number that changes as the system moves; plot against time and the area under that curve is the action . Two different paths give two different curves, hence two different shaded areas.

Figure — Lagrangian L = T − V

Picture 2 — varying the path. The real path (solid) is surrounded by wiggled "trial" paths (dashed) that share the same two endpoints. Nature picks the one whose action doesn't change under tiny wiggles, i.e. .

Figure — Lagrangian L = T − V

Picture 3 — stationary is not the same as minimum. Slide along the family of paths and watch : at the true path the slope is flat, but flat can be a valley bottom (minimum) or a saddle. "Least action" is a nickname, not a law.

Figure — Lagrangian L = T − V

Picture 4 — the pendulum coordinate. One angle from the vertical fixes the bob completely, even though it lives in a 2D plane. The rod is the constraint that erased a degree of freedom.

Figure — Lagrangian L = T − V

True or false — justify

Is ?
False. ; the plus-sign object is the total energy , which plays a different role. Only the minus sign makes the equations of motion come out with the correct force sign.
The action is a number attached to a single instant.
False. Look at Picture 1: is the area under the whole -vs- curve between two fixed events, so is one number per candidate path, not per instant.
Nature always minimizes the action.
False in general. Picture 3 shows the point: nature makes the action stationary (), which is a flat slope — a saddle or maximum has a flat slope too, so "least action" is a historical name, not always literally a minimum.
The Euler–Lagrange equation must be solved once for the whole system at once.
False. It holds independently for each generalized coordinate : one equation per degree of freedom, obtained by varying that coordinate alone while holding the others fixed.
Inside , the variables and are treated as independent when taking partial derivatives.
True. When forming and you freeze the other; only after building does the chain rule reconnect them.
The Lagrangian method still needs you to draw tension and normal forces.
False. Look at Picture 4: because runs along the circle the bob is allowed to move on, the rod's tension (which points along the rod, perpendicular to the motion) does no work and never enters .
For any smooth function , the Lagrangians and give the same equations of motion.
True. Here is any differentiable function of the coordinate and time (a free "gauge" choice, not a physical energy). Its integral over the path is , which is fixed by the endpoints, so it adds a constant to and cannot change where .
If and are both zero the Euler–Lagrange equation is meaningless.
False but degenerate. gives trivially; there is simply no dynamics — a free, forceless, potential-free "system" is consistent, just empty.
The Lagrangian is always even for a charged particle in a magnetic field.
Roughly false as stated. Velocity-dependent (magnetic) forces need a generalized potential , and ; the plain " minus a position-only " form is the special case of conservative forces.
A Lagrangian whose kinetic part is can always be solved for .
False in general. If the coefficient of (the "mass matrix") degenerates to zero the Lagrangian is singular: and you cannot invert to get . Such singular Lagrangians (common in field theory / with constraints) need the special machinery of constrained dynamics.

Spot the error

"Since and , then , so knowing and gives energy for free."
The algebra is fine but the identity hides a condition: is conserved only when (no explicit time in ). Concretely, the conserved quantity is , and ; if then (hence ) drifts and the "free energy" claim is empty.
"I formed , then set to find the motion."
Error: that is not the equation of motion. You must use the full ; dropping the first term throws away the entire dynamics (it would only give equilibrium points).
"For the pendulum I put the string tension into so gravity plus tension are both accounted for."
Error: tension is an ideal constraint force that does no work; it must not enter . Only genuine potentials (gravity here) belong in . Choosing already removes the tension.
"When varying the action, the boundary term (left over after integrating by parts) vanishes because ."
Error: the momentum is not zero. The boundary term dies because at both endpoints (fixed-endpoint condition, exactly the shared endpoints in Picture 2), not because the momentum factor vanishes.
"Because is the derivative of , when I differentiate with respect to I must also account for how changes."
Error: during the partial derivatives and are independent slots. Coupling them prematurely produces spurious extra terms; the linkage is applied later via .
"I used and got ; that's basically Newton, just rearranged."
Error: it is the wrong sign. Newton gives , i.e. . The version predicts anti-physics (force pushing the wrong way), which is exactly why is mandatory.
"There's friction on my block, so I'll just add a friction term to and use ."
Error: friction is dissipative and cannot come from any potential (it depends on velocity direction and drains energy). It enters instead as a generalized force (the "nc" = non-conservative: any force, like friction or drag, not derivable from a potential) on the right-hand side: . Plain only covers conservative and velocity-dependent-potential forces.
"I'll model a rolling-without-slipping constraint by just writing it into ."
Error: rolling-without-slipping is often non-holonomic — a relation between velocities that cannot be integrated into a coordinate relation, so it cannot be absorbed into coordinates or . It must be imposed with Lagrange multipliers, unlike the holonomic pendulum rod which can be baked into .

Why questions

Why do we demand fixed endpoints when varying the path?
Because (Picture 2) we compare different routes between the same start and end events; letting endpoints move would ask a different question and would leave a nonzero boundary term that spoils the derivation.
Why integrate over time to form the action instead of just examining at one moment?
One instant cannot decide a whole path. Integrating produces a single scalar (the shaded area of Picture 1) per candidate path, which is exactly what you need to compare paths and pick the stationary one.
Why does the minus sign in matter physically?
Because ; the minus turns "stored energy" into the correct force direction, so the Euler–Lagrange result matches . Flip it and the force sign flips.
Why can a single angle fully describe a pendulum that lives in 2D space?
The rigid rod is a constraint that removes one degree of freedom; the bob is stuck on a circle (Picture 4), so one coordinate (the angle) suffices — this is the payoff of generalized coordinates.
Why does a coordinate that does not appear in (only its appears) signal a conservation law?
If then , so the generalized momentum is constant — see Generalized Momentum and Conservation.
Why does an explicit time dependence in break energy conservation?
Think of it as symmetry: if looks identical at every instant (no explicit ), sliding the whole experiment forward in time changes nothing, and that time-translation symmetry is energy conservation. But if someone is actively cranking a parameter (say depends on through a moving support), the "same experiment tomorrow" is a different experiment — the symmetry is broken. Quantitatively , so the energy leaks at exactly the rate the clock is written into .
Why does the Lagrangian method reduce to Newton's Second Law for a single particle in 1D?
Plugging into Euler–Lagrange yields exactly; Newton is the special case, and matching it is how was justified.
Why is the Hamiltonian built from the Lagrangian rather than replacing it?
is the Legendre transform of , swapping for momentum ; it re-expresses the same physics with energy as the star quantity, but the underlying content still comes from .

Edge cases

What happens to the Euler–Lagrange equation for a free particle ()?
, so : the momentum is conserved and the particle moves in a straight line at constant speed — the stationary path is literally the straight one.
What is the motion at the pendulum's stable equilibrium ?
(recall ) gives at , so it sits still if placed there; nearby it oscillates since the restoring term pushes back toward zero.
What about the pendulum's inverted position ?
so : it is also an equilibrium, but unstable — any tiny displacement grows because the restoring sign flips, so a real bob won't stay there.
Does the method work when has explicit time dependence, e.g. a driven oscillator?
Yes, Euler–Lagrange still holds; but then energy is generally not conserved because — the time-translation symmetry that would guarantee conservation is broken.
For small angles, does the pendulum equation collapse to something simpler?
Yes: gives , simple harmonic motion with — a limiting case recovering the SHM form.
What if two candidate paths give the same action value?
The action being stationary is about vanishing first-order change , not uniqueness of value; degenerate actions can occur (e.g. symmetric paths) but each true path still satisfies Euler–Lagrange.
What if the kinetic term is degenerate (a singular Lagrangian)?
Then cannot be solved for from Euler–Lagrange, and hidden constraints appear instead of ordinary equations of motion — the standard recipe silently assumes a non-degenerate (invertible) kinetic term.

Connections