2.1.7Analytical Mechanics

Generalized momenta and generalized forces

2,058 words9 min readdifficulty · medium1 backlinks

1. Setup: generalized coordinates

WHY this form? Because the constraints are baked in: a pendulum bob has r=(sinθ,cosθ)\vec r = (\ell\sin\theta, -\ell\cos\theta) — one coordinate θ\theta, not two Cartesian ones tied by x2+y2=2x^2+y^2=\ell^2.

The generalized velocity is q˙j=dqj/dt\dot q_j = dq_j/dt. By the chain rule, vi=dridt=jriqjq˙j+rit.\vec{v}_i = \frac{d\vec r_i}{dt} = \sum_j \frac{\partial \vec r_i}{\partial q_j}\dot q_j + \frac{\partial \vec r_i}{\partial t}.


2. Generalized force — from first principles

The cleanest definition comes from virtual work. Imagine displacing each particle by an infinitesimal virtual amount δri\delta \vec r_i consistent with constraints, at fixed time. The work done by the applied forces Fi\vec F_i is

δW=iFiδri.\delta W = \sum_i \vec F_i \cdot \delta \vec r_i.

Now express δri\delta \vec r_i in generalized coordinates (time frozen, so no /t\partial/\partial t term): δri=jriqjδqj.\delta \vec r_i = \sum_j \frac{\partial \vec r_i}{\partial q_j}\,\delta q_j.

Substitute and swap the order of summation: δW=j(iFiriqjQj)δqj.\delta W = \sum_j \left( \underbrace{\sum_i \vec F_i \cdot \frac{\partial \vec r_i}{\partial q_j}}_{\equiv\, Q_j}\right)\delta q_j.


3. Generalized momentum — from first principles

WHY define it this way? Watch what the Euler–Lagrange equation becomes: ddtLq˙jLqj=0        p˙j=Lqj.\frac{d}{dt}\frac{\partial L}{\partial \dot q_j} - \frac{\partial L}{\partial q_j}=0 \;\;\Longrightarrow\;\; \dot p_j = \frac{\partial L}{\partial q_j}. This is Newton's second law in disguise: rate of change of (generalized) momentum = (generalized) force. Defining pjp_j as L/q˙j\partial L/\partial \dot q_j is precisely what makes this true.

Figure — Generalized momenta and generalized forces

4. Worked example: pendulum (full pipeline)

System: mass mm, rod length \ell, gravity gg, coordinate θ\theta.

Step 1 — position. r=(sinθ,cosθ)\vec r = (\ell\sin\theta,\,-\ell\cos\theta). Why: one DOF, θ\theta encodes the constraint r=|\vec r|=\ell.

Step 2 — kinetic energy. v=θ˙(cosθ,sinθ)\vec v = \ell\dot\theta(\cos\theta,\sin\theta), so v=θ˙|\vec v|=\ell\dot\theta, giving T=12m2θ˙2T=\tfrac12 m\ell^2\dot\theta^2.

Step 3 — potential. V=mgy=mgcosθV = mgy = -mg\ell\cos\theta.

Step 4 — Lagrangian. L=12m2θ˙2+mgcosθL = \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta.

Step 5 — generalized momentum. pθ=Lθ˙=m2θ˙.p_\theta = \frac{\partial L}{\partial \dot\theta}= m\ell^2\dot\theta. Why this step? pθp_\theta is angular momentum about the pivot (units kg·m²/s). ✓

Step 6 — generalized force. Conservative, so Qθ=V/θ=mgsinθQ_\theta = -\partial V/\partial\theta = -mg\ell\sin\theta. Why this step? θ\theta is an angle ⇒ QθQ_\theta is a torque. And mgsinθ-mg\ell\sin\theta is exactly the restoring torque of gravity. ✓

Step 7 — equation of motion. p˙θ=Qθm2θ¨=mgsinθθ¨=gsinθ.\dot p_\theta = Q_\theta \Rightarrow m\ell^2\ddot\theta = -mg\ell\sin\theta \Rightarrow \ddot\theta = -\tfrac{g}{\ell}\sin\theta. ✓ The pendulum equation, derived with zero free-body diagrams.


5. Forecast-then-Verify drill


Common mistakes


Recall Feynman: explain to a 12-year-old

Imagine pushing a merry-go-round. To describe it you don't track every plank's x,yx,y — you just track one angle. "How hard you push" still matters, but now the useful number is twist (torque) instead of plain push, and "how much it's spinning" (angular momentum) instead of plain speed. Lagrangian mechanics has one master recipe: write down energy, and the force-like and momentum-like numbers for whatever variable you chose pop right out — push for a slider, twist for a spinner, automatically.


Flashcards

Define generalized momentum pjp_j.
pj=Lq˙jp_j=\dfrac{\partial L}{\partial \dot q_j}, the derivative of the Lagrangian w.r.t. generalized velocity.
Define generalized force QjQ_j from virtual work.
Qj=iFiriqjQ_j=\sum_i \vec F_i\cdot\dfrac{\partial \vec r_i}{\partial q_j}, defined so δW=jQjδqj\delta W=\sum_j Q_j\,\delta q_j.
For conservative forces, Qj=?Q_j=?
Qj=VqjQ_j=-\dfrac{\partial V}{\partial q_j}.
Why does an angular coordinate give a torque, not a force?
Because QjδqjQ_j\delta q_j must equal work; if qjq_j is an angle then QjQ_j has units energy/radian = N·m = torque.
State the "cancellation of dots" identity.
viq˙j=riqj\dfrac{\partial \vec v_i}{\partial \dot q_j}=\dfrac{\partial \vec r_i}{\partial q_j}, since vi\vec v_i is linear in q˙j\dot q_j.
What is a cyclic (ignorable) coordinate and its consequence?
One that doesn't appear in LL; then p˙j=L/qj=0\dot p_j=\partial L/\partial q_j=0, so pjp_j is conserved.
Generalized momentum of plane-polar θ\theta for T=12m(r˙2+r2θ˙2)T=\frac12 m(\dot r^2+r^2\dot\theta^2)?
pθ=mr2θ˙p_\theta=mr^2\dot\theta = angular momentum.
Why isn't pjp_j always mq˙jm\dot q_j?
Because pj=L/q˙jp_j=\partial L/\partial\dot q_j; units and mass factors depend on the coordinate (e.g. m2θ˙m\ell^2\dot\theta for a pendulum).
In virtual work, why drop ri/t\partial\vec r_i/\partial t?
Virtual displacements are taken at frozen time, so the explicit time term vanishes.
How does Euler–Lagrange relate pjp_j and QjQ_j?
p˙j=L/qj\dot p_j=\partial L/\partial q_j, i.e. rate of change of generalized momentum equals the generalized "force" term — Newton's law restated.

Connections

  • Lagrangian MechanicsL=TVL=T-V, the source object for both pjp_j and QjQ_j.
  • Euler-Lagrange Equation — the equation p˙j=L/qj\dot p_j=\partial L/\partial q_j that unifies them.
  • Generalized coordinates and constraints — where qjq_j and ri(q,t)\vec r_i(q,t) come from.
  • D'Alembert's Principle — virtual work foundation that defines QjQ_j.
  • Noether's Theorem — cyclic coordinate ⇒ conserved pjp_j as a special case.
  • Hamiltonian Mechanicspjp_j becomes an independent variable; Legendre transform.
  • Angular momentum — the pθp_\theta special case.

Concept Map

handled by

defines

time derivative

yields

frozen time gives

sum Fi dot delta ri

substitute and regroup

so that

has

length or angle

conservative shortcut

Constraints in system

Generalized coordinates qj

Positions ri of qj and t

Generalized velocity qj dot

Cancellation of dots identity

Virtual work delta W

Virtual displacement delta ri

Generalized force Qj

Units energy per unit qj

Force or Torque

Potential V

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, Lagrangian mechanics ka pura idea yeh hai ki ham awkward x,y,zx,y,z coordinates chhod kar apne "soch ke chune hue" coordinates qjq_j use karte hain — jaise pendulum ke liye sirf angle θ\theta. Jab coordinate badla, toh momentum aur force ke bhi naye versions chahiye. Inhi ko bolte hain generalized momentum pj=L/q˙jp_j=\partial L/\partial \dot q_j aur generalized force Qj=iFiri/qjQ_j=\sum_i \vec F_i\cdot \partial \vec r_i/\partial q_j.

Sabse mast baat: QjQ_j ki definition virtual work se aati hai — δW=jQjδqj\delta W=\sum_j Q_j\,\delta q_j. Iska matlab agar qjq_j length hai toh QjQ_j normal force (Newton) banta hai, lekin agar qjq_j ek angle hai toh QjQ_j apne aap torque ban jaata hai! Ek hi formula, dono kaam. Same tarah, pendulum ka pθ=m2θ˙p_\theta=m\ell^2\dot\theta nikalta hai jo actually angular momentum hai. Isliye yeh mat ratna ki "momentum hamesha mvm v hota hai" — units coordinate pe depend karte hain.

Sabse powerful idea (80/20 wala): agar Lagrangian LL mein koi coordinate qjq_j dikhta hi nahi (cyclic coordinate), toh p˙j=L/qj=0\dot p_j=\partial L/\partial q_j=0, yaani pjp_j conserved. Yahi figure-skater wala physics hai — haath andar khinche, rr chhota hua, pθp_\theta constant raha, toh θ˙\dot\theta badh gaya. Exam aur intuition dono ke liye yeh ek line gold hai: symmetry → conservation.

Tip: Hamesha steps follow karo — position r(q)\vec r(q) likho, TT aur VV nikalo, L=TVL=T-V banao, fir pjp_j aur QjQ_j derive karke Euler–Lagrange p˙j=Qj\dot p_j=Q_j laga do. No free-body diagrams ki tension.

Go deeper — visual, from zero

Test yourself — Analytical Mechanics

Connections