2.1.24Analytical Mechanics

Gyroscope — steady precession derivation

2,085 words9 min readdifficulty · medium1 backlinks

WHAT is steady precession?

The three Euler angles:

  • ϕ\phi = precession angle (rotation about vertical z^\hat z)
  • θ\theta = nutation angle (tilt of the axis from vertical)
  • ψ\psi = spin angle (rotation about the symmetry axis)

In steady precession: θ˙=0\dot\theta = 0, ϕ¨=0\ddot\phi=0, ψ¨=0\ddot\psi = 0.

Figure — Gyroscope — steady precession derivation

WHY does it precess instead of fall? (first-principles)

The master equation of rotational dynamics about the fixed pivot OO:

τ=dLdt\vec\tau = \frac{d\vec L}{dt}


HOW to derive it — the fast-top (gyroscopic) approximation

Setup. Symmetric top, mass mm, pivot at OO, center of mass at distance \ell along the axis. Axis makes angle θ\theta with vertical. Spin angular momentum magnitude along axis:

Ls=I3ωsL_s = I_3\,\omega_s

where I3I_3 is the moment of inertia about the symmetry axis and ωs\omega_s is the spin rate.

Step 1 — Torque from gravity. Weight mgm\vec g acts at the center of mass, position r=e^3\vec r = \ell\,\hat e_3 (along axis). τ=r×mg\vec\tau = \vec r \times m\vec g

Why this step? Torque is defined about the pivot; only gravity and the (torque-free) pivot reaction act, and the reaction at OO has zero moment arm. Magnitude: τ=mgsinθ|\vec\tau| = m g \ell \sin\theta Why sinθ\sin\theta? The lever arm perpendicular to gravity is sinθ\ell\sin\theta — the horizontal offset of the CM from the vertical line through OO. The torque is horizontal, perpendicular to the vertical plane containing the axis.

Step 2 — How L\vec L moves under precession. If the axis precesses about z^\hat z at rate Ω\Omega, the tip of L\vec L traces a horizontal circle. Only the horizontal component of L\vec L rotates. That horizontal component has magnitude LssinθL_s\sin\theta. A vector of horizontal magnitude LhL_h rotating at Ω\Omega changes at rate: dLdt=ΩLh=ΩLssinθ\left|\frac{d\vec L}{dt}\right| = \Omega\, L_h = \Omega\, L_s \sin\theta

Why this step? For any vector rigidly rotating about z^\hat z with rate Ω\Omega, dLdt=Ω×L\dfrac{d\vec L}{dt} = \vec\Omega \times \vec L, and Ω×L=ΩLsin()=Ω(Lsinθ)|\vec\Omega\times\vec L| = \Omega L \sin(\angle) = \Omega\,(L\sin\theta) for the part perpendicular to z^\hat z.

Step 3 — Equate. mgsinθ=ΩI3ωssinθm g \ell \sin\theta = \Omega\, I_3 \omega_s \sin\theta

The sinθ\sin\theta cancels (remarkable!):


Exact treatment (Lagrangian — keeps all terms)

Kinetic energy with I1=I2I_1=I_2 (transverse) and I3I_3 (axial): T=12I1(θ˙2+ϕ˙2sin2θ)+12I3(ψ˙+ϕ˙cosθ)2T = \tfrac12 I_1(\dot\theta^2 + \dot\phi^2\sin^2\theta) + \tfrac12 I_3(\dot\psi + \dot\phi\cos\theta)^2 V=mgcosθV = m g \ell \cos\theta

For steady precession set θ˙=0, θ¨=0\dot\theta=0,\ \ddot\theta=0. The θ\theta Euler–Lagrange equation ddtLθ˙Lθ=0\frac{d}{dt}\frac{\partial L}{\partial\dot\theta} - \frac{\partial L}{\partial\theta}=0 gives, after dropping θ¨,θ˙\ddot\theta,\dot\theta terms:

I1ϕ˙2sinθcosθI3(ψ˙+ϕ˙cosθ)ϕ˙sinθ+mgsinθ=0I_1\dot\phi^2\sin\theta\cos\theta - I_3(\dot\psi+\dot\phi\cos\theta)\dot\phi\sin\theta + mg\ell\sin\theta = 0

Divide by sinθ\sin\theta and let ωsψ˙+ϕ˙cosθ\omega_s \equiv \dot\psi+\dot\phi\cos\theta (the true axial spin), Ωϕ˙\Omega\equiv\dot\phi:

I1Ω2cosθI3ωsΩ+mg=0I_1\Omega^2\cos\theta - I_3\omega_s\Omega + m g \ell = 0

This is a quadratic in Ω\Omega: Ω=I3ωs±(I3ωs)24I1mgcosθ2I1cosθ\Omega = \frac{I_3\omega_s \pm \sqrt{(I_3\omega_s)^2 - 4 I_1 m g \ell \cos\theta}}{2 I_1\cos\theta}

Why the - root reduces to the simple formula? Expand the square root for large ωs\omega_s: a2bab2a\sqrt{a^2 - b}\approx a - \frac{b}{2a} with a=I3ωsa=I_3\omega_s, b=4I1mgcosθb=4I_1mg\ell\cos\theta. Then Ωb/2a2I1cosθ=mgI3ωs\Omega_- \approx \frac{b/2a}{2I_1\cos\theta} = \frac{mg\ell}{I_3\omega_s}.


Worked examples


Common mistakes (steel-manned)


Recall Feynman: explain it to a 12-year-old

Imagine a spinning top. Gravity is trying to pull it over sideways. But because it's spinning super fast, instead of falling it does something weird — its tip slowly walks in a circle, like a clock hand going around. The trick is: a spinning thing is stubborn. When you push the spin sideways, it dodges by turning instead of falling. The faster it spins, the more stubborn it is, so the slower it walks around. When it spins down, it walks faster and faster, then wobbles and finally flops over.


Flashcards

What equation governs gyroscopic motion about a fixed pivot?
τ=dL/dt\vec\tau = d\vec L/dt — torque equals rate of change of angular momentum.
Why doesn't a fast spinning top fall?
Gravity's torque is horizontal (⊥ to the spin axis), so it rotates L\vec L sideways (precession) instead of pulling it down.
State the fast-top steady precession rate.
Ω=mgI3ωs\Omega = \dfrac{mg\ell}{I_3\omega_s}.
Why does the tilt angle θ\theta cancel out in the fast-top formula?
Torque sinθ\propto\sin\theta and the rotating horizontal angular momentum sinθ\propto\sin\theta; the sinθ\sin\theta factors cancel.
What happens to precession rate as the spin ωs\omega_s decreases?
It increases (Ω1/ωs\Omega\propto 1/\omega_s); the top precesses faster, then nutates and falls.
Which moment of inertia carries the spin angular momentum?
I3I_3, about the symmetry axis.
Condition for steady precession to exist (exact).
(I3ωs)24I1mgcosθ(I_3\omega_s)^2 \ge 4 I_1 m g \ell \cos\theta (real discriminant).
How many steady precession rates exist exactly, and how do they arise?
Two (Ω±\Omega_\pm), the roots of I1Ω2cosθI3ωsΩ+mg=0I_1\Omega^2\cos\theta - I_3\omega_s\Omega + mg\ell = 0.
Direction of the gravitational torque on a tilted top?
Horizontal, perpendicular to the vertical plane containing the spin axis.
In the exact theory, what does ωs\omega_s equal in Euler angles?
ωs=ψ˙+ϕ˙cosθ\omega_s = \dot\psi + \dot\phi\cos\theta (axial component of angular velocity).

Connections

  • Euler Anglesϕ,θ,ψ\phi,\theta,\psi parametrization used in the Lagrangian.
  • Angular Momentum — the τ=dL/dt\vec\tau = d\vec L/dt backbone.
  • Lagrangian Mechanics — derives the exact quadratic precession condition.
  • Moment of Inertia Tensor — distinction between I1I_1 and I3I_3.
  • Nutation — the nodding motion superimposed when precession isn't steady.
  • Symmetric Top — the general object; steady precession is a special solution.

Concept Map

governs

produces

magnitude

horizontal perp to L

along axis

horizontal part

sweeps

rotates at Omega

constant theta, no nutation

balance gives

describe

Master eqn tau = dL/dt

Steady precession

Gravity mg at CM

Torque = r x mg

mg L sin theta

Changes direction of L

Spin L_s = I3 omega_s

Angular momentum L

L_s sin theta

Constant angle

Omega = mg L / L_s

Euler angles phi theta psi

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, gyroscope ka magic yeh hai: ek tezi se ghoomta hua pahiya gravity ke hone ke bawajood neeche nahi girta, balki uski axle dheere-dheere ek horizontal circle me ghoomne lagti hai — isko precession kehte hain. Naive soch yeh hai ki gravity isko gira degi, par actually gravity ek torque deti hai, aur torque angular momentum L\vec L ki direction badalta hai, position ko directly nahi.

Ab key equation hai τ=dL/dt\vec\tau = d\vec L/dt. Yahan torque r×mg\vec r \times m\vec g hota hai jo horizontal direction me point karta hai (axis ke perpendicular). Spin angular momentum L=I3ωs\vec L = I_3\omega_s bhi mostly axis ke along hai. Jab horizontal torque ek horizontal L\vec L ko push karta hai, to L\vec L side me ghoom jata hai — yeh hi precession hai, girna nahi. Bilkul jaise circular motion me force speed nahi badalta sirf direction badalta hai.

Derivation me dono taraf sinθ\sin\theta aata hai (torque me mgsinθmg\ell\sin\theta, aur rotate hone wale horizontal LL me LssinθL_s\sin\theta) — aur yeh cancel ho jaata hai! Isliye final formula Ω=mgI3ωs\Omega = \dfrac{mg\ell}{I_3\omega_s} angle pe depend nahi karta. Yaad rakho: jitna tez spin, utni dheemi precession. Jab top slow hota hai to precession tez ho jaati hai, phir wobble (nutation) karta hai aur gir jata hai.

Exact treatment Lagrangian se aata hai jisme ek quadratic milti hai — do precession rates (Ω±\Omega_\pm). Steady precession sirf tabhi possible hai jab spin kaafi tez ho: (I3ωs)24I1mgcosθ(I_3\omega_s)^2 \ge 4I_1 mg\ell\cos\theta. Yeh exactly woh "fast enough spin karo" wali baat ka mathematical proof hai. Exam aur real-life dono me yeh concept clear hona zaroori hai.

Go deeper — visual, from zero

Test yourself — Analytical Mechanics

Connections