Heavy Symmetric Top

Spin a top, tilt it, and let go. Every intuition trained on falling objects says it should topple — gravity pulls the center of mass sideways off the pivot, and nothing visible holds it up. Instead the axis glides serenely around the vertical, tracing a cone, bobbing gently as it goes. The heavy symmetric top is the system where this everyday miracle becomes exactly solvable mathematics, and it is the single most instructive problem in rigid-body dynamics: precession, nutation, and gyroscopic rigidity all fall out of one Lagrangian. The reason it can be solved at all is symmetry. An axially symmetric body (I1=I2I_1=I_2) pivoted on its symmetry axis, in a gravitational field that singles out only the vertical, has a Lagrangian that never mentions two of its three Euler angles. Both the precession angle ϕ\phi and the spin angle ψ\psi are cyclic, so their conjugate momenta pϕp_\phi and pψp_\psi are frozen constants. Feed those constants back in and the three-degree-of-freedom tumbling problem collapses to a single coordinate — the tilt θ\theta — rolling in a one-dimensional effective potential. Everything a top does, from the stately precession of a gyroscope to the sudden waking of a "sleeping" top as friction bleeds off its spin, can be read off one energy diagram. Mastering this article buys you the working core of gyroscope engineering, the mechanics behind the 25,800-year precession of Earth's axis, and the template — cyclic coordinates, conserved momenta, effective potential — that you will reuse from the Kepler problem to quantum mechanics.

Key takeaways
  • The heavy symmetric top is an axially symmetric rigid body (I1=I2≠I3I_1=I_2\neq I_3) pivoted at a fixed point on its symmetry axis, with gravity supplying a torque about that point.
  • Two cyclic Euler angles (ϕ\phi and ψ\psi) yield two conserved angular momenta, pϕ=Lzp_\phi=L_z and pψ=I3ω3p_\psi=I_3\omega_3, while energy conservation reduces the motion to a one-dimensional problem in the tilt angle θ\theta.
  • The tilt obeys 12I1θ˙2+Veff(θ)=E′\tfrac12 I_1\dot\theta^2 + V_\mathrm{eff}(\theta)=E', whose turning points confine θ\theta between θ1\theta_1 and θ2\theta_2 — this bobbing of the axis is nutation.
  • Simultaneously the axis sweeps in azimuth (precession) at rate ϕ˙=(pϕ−pψcos⁡θ)/(I1sin⁡2θ)\dot\phi=(p_\phi-p_\psi\cos\theta)/(I_1\sin^2\theta), which can keep one sign, vanish, or reverse — producing wavy, cusped, or looping axis paths.
  • A fast top (I3ω3≫I1MgℓI_3\omega_3\gg\sqrt{I_1Mg\ell}) precesses steadily and slowly at Ω≈Mgℓ/(I3ω3)\Omega\approx Mg\ell/(I_3\omega_3), with rapid small nutation superposed — the textbook gyroscopic regime.
  • The sleeping (vertical) top is stable only above the critical spin ω32>4I1Mgℓ/I32\omega_3^2 > 4 I_1 Mg\ell/I_3^2; as friction slows it below threshold, it wakes, wobbles, and falls.
  • Key idea: two cyclic Euler angles give two conserved angular momenta; eliminating them reduces the top to one-dimensional motion in θ\theta under an effective potential, so precession and nutation are read off a single energy diagram.

Where this lives today

The heavy top's twenty-first-century home is spaceflight. A spin-stabilized spacecraft is a fast top with aerodynamic or gravity-gradient torques standing in for MgℓMg\ell: the sleeping-top criterion, suitably translated, sets the minimum spin for a stable attitude, and mission designers speak of "coning" (nutation) and precession exactly in this article's variables. Nutation dampers — small tuned dissipators that bleed energy out of the θ\theta oscillation — are standard hardware on spin-stabilized satellites, and rifle bullets obey the same stability inequality with aerodynamic overturning moment in place of gravity. Earth itself is the grandest example: an oblate symmetric top torqued by the Moon and Sun on its equatorial bulge, precessing once every 25,800 years (the precession of the equinoxes) with small forced nutations on top, the largest an 18.6-year, 9.2-arcsecond wobble tracked today to microarcsecond precision by very-long-baseline radio interferometry. And in the mathematics literature the Lagrange top remains a benchmark integrable system — a testing ground for symplectic integrators and geometric mechanics, and the standard contrast case for the chaos that erupts the moment the pivot leaves the symmetry axis or the body loses its symmetry (see the classification of tops).

The physical picture

Picture the spin angular momentum as a stiff arrow pinned along the top's symmetry axis. Gravity, acting at the center of mass a distance ℓ\ell up the axis, applies a torque about the pivot — but that torque is horizontal, perpendicular to both the vertical and the axis. Torque changes angular momentum in the direction of the torque, so the arrow's tip is pushed sideways, not downward. The axis does not fall; it drifts around the vertical. And the faster the top spins, the longer the arrow, so a fixed sideways push per second swings it through a smaller angle per second: fast tops precess slowly. This one right-hand-rule argument — developed quantitatively in the article on gyroscopic precession — is the soul of the subject.

Figure
The heavy symmetric top — gravity torques the spin sideways, and the tilt rolls in a one-dimensional effective well
the top in space vertical precession Ω pivot (fixed) L ≈ I₃ω₃ (along axis) Mg ℓ θ τ = ℓ×Mg torque is horizontal — it steers L sideways, never downward the same top as a 1-D problem θ V E′ θ₁ θ₂ θ₀ (steady precession) wall: centrifugal barrier at θ→0 wall at θ→π the tilt bounces between θ₁ and θ₂ — that bobbing is nutation

Nutation is the top overshooting as it settles into precession. Release a spinning top with its axis momentarily at rest: it cannot begin precessing instantly, because the vertical angular momentum LzL_z is conserved and starting a precession requires borrowing some. So the axis first dips — the center of mass drops, gravity does work, and that liberated energy funds the azimuthal motion — then overshoots, rises, stalls, and dips again. The axis traces a chain of cusps around the vertical. On a fast top the dips are millimetric and rapid, damped quickly by pivot friction, which is why a classroom gyroscope seems to precess with perfect smoothness. The deepest simplification is the last one: once the two cyclic angles are traded for their conserved momenta, the entire motion is one-dimensional. The tilt θ\theta rolls in a potential well Veff(θ)V_\mathrm{eff}(\theta) between two walls; everything else — the precession speed at each instant, whether the axis path waves, cusps, or loops — is determined point-by-point by where θ\theta currently sits. And because VeffV_\mathrm{eff} contains a centrifugal barrier that diverges at θ→0\theta\to0 and θ→π\theta\to\pi (whenever pϕ≠±pψp_\phi\neq\pm p_\psi), the axis is confined to a band of latitudes: a tilted top can never spontaneously stand fully upright, no matter how its energy is arranged.

Figure
Three ways the axis can move — wavy, cusped, or looping, decided by whether the precession rate reverses inside the nutation band
the axis tip on the unit sphere, between latitudes θ₁ and θ₂ wavy φ̇ never reverses cusped φ̇ = 0 exactly at θ₁ (release from rest) looping φ̇ reverses inside the band

The mechanics in Euler angles

The natural coordinates are the Euler angles (ϕ,θ,ψ)(\phi,\theta,\psi) of the article on Euler angles: θ\theta tilts the symmetry axis from the vertical, ϕ\phi carries it around the vertical (precession), and ψ\psi spins the body about its own axis. Take the pivot as origin, so the constraint force does no work and never enters. Because the body is symmetric (I1=I2I_1=I_2) and gravity picks out only the vertical, the Lagrangian that emerges depends on θ\theta alone among the angles — the launching point for everything that follows:

L=12I1(θ˙2+ϕ˙2sin⁡2θ)+12I3(ψ˙+ϕ˙cos⁡θ)2−Mgℓcos⁡θ(1)L = \tfrac12 I_1(\dot\theta^2+\dot\phi^2\sin^2\theta) + \tfrac12 I_3(\dot\psi+\dot\phi\cos\theta)^2 - Mg\ell\cos\theta \qquad (1)

where: I1=I2I_1=I_2 — transverse principal moments about the pivot; I3I_3 — the axial (symmetry-axis) moment; MM — the top's mass; ℓ\ell — the pivot-to-center-of-mass distance along the axis; gg — gravitational acceleration. Read it physically: the first bracket is the kinetic energy of the axis direction moving on the unit sphere (tilting at θ˙\dot\theta, swinging at ϕ˙sin⁡θ\dot\phi\sin\theta), the second is the spin energy about the axis, and the last term is simply the height ℓcos⁡θ\ell\cos\theta of the center of mass. Neither ϕ\phi nor ψ\psi appears undotted — both are cyclic, and that is the whole ballgame.

Derivation ABuilding the Lagrangian and reducing to one degree of freedom

We are deriving the Lagrangian (1), extracting its two conserved momenta, and collapsing the top's three degrees of freedom to a single equation for the tilt — equation (6) below, the effective-potential form from which every behavior of the top can be read. The strategy is the classic cyclic-coordinate program: write the kinetic energy in principal axes using the Euler-angle expression for the body-frame angular velocity, notice that symmetry erases both ϕ\phi and ψ\psi from LL, then trade the two cyclic velocities for their frozen momenta inside the conserved energy. Watch two things: all moments of inertia must be taken about the pivot, not the center of mass (parallel-axis theorem — see the article on angular momentum of a rigid body), and the axial angular velocity ω3\omega_3 is ψ˙+ϕ˙cos⁡θ\dot\psi+\dot\phi\cos\theta, not ψ˙\dot\psi alone — the precession leaks a component onto the body axis whenever the top is tilted.

Step 1. Quote the body-frame components of ω\boldsymbol\omega in the zxzzxz convention (derived in the article on angular velocity in terms of Euler angles):

ω1=ϕ˙sin⁡θsin⁡ψ+θ˙cos⁡ψ,ω2=ϕ˙sin⁡θcos⁡ψ−θ˙sin⁡ψ,ω3=ϕ˙cos⁡θ+ψ˙\omega_1=\dot\phi\sin\theta\sin\psi+\dot\theta\cos\psi,\quad \omega_2=\dot\phi\sin\theta\cos\psi-\dot\theta\sin\psi,\quad \omega_3=\dot\phi\cos\theta+\dot\psi

Step 2. Form the transverse combination. Squaring and adding the first two components collapses all ψ\psi dependence:

ω12+ω22=θ˙2+ϕ˙2sin⁡2θ\omega_1^2+\omega_2^2=\dot\theta^2+\dot\phi^2\sin^2\theta

Why this matters: with I1=I2I_1=I_2 only this rotationally invariant combination enters the kinetic energy — the symmetry of the body is what launders the spin angle ψ\psi out of TT.

Step 3. Assemble T=12I1(ω12+ω22)+12I3ω32T=\tfrac12 I_1(\omega_1^2+\omega_2^2)+\tfrac12 I_3\omega_3^2 in principal axes, and subtract the potential U=Mgℓcos⁡θU=Mg\ell\cos\theta (the center of mass rides at height ℓcos⁡θ\ell\cos\theta above the fixed pivot). This is the Lagrangian (1).

Step 4. Harvest the conserved momenta. Since ∂L/∂ψ=0\partial L/\partial\psi=0 and ∂L/∂ϕ=0\partial L/\partial\phi=0,

pψ=∂L∂ψ˙=I3(ψ˙+ϕ˙cos⁡θ)=I3ω3,pϕ=∂L∂ϕ˙=I1ϕ˙sin⁡2θ+pψcos⁡θp_\psi=\frac{\partial L}{\partial\dot\psi}=I_3(\dot\psi+\dot\phi\cos\theta)=I_3\omega_3, \qquad p_\phi=\frac{\partial L}{\partial\dot\phi}=I_1\dot\phi\sin^2\theta+p_\psi\cos\theta

Why these are the physical projections: pψp_\psi is the angular momentum along the body's symmetry axis (gravity, acting through the axis, exerts no torque about it), while pϕp_\phi is the component LzL_z along the fixed vertical (gravity and the pivot reaction exert no torque about the vertical either). Two symmetries, two frozen numbers.

Step 5. Invert for the cyclic velocities:

ϕ˙=pϕ−pψcos⁡θI1sin⁡2θ,ψ˙=pψI3−ϕ˙cos⁡θ\dot\phi=\frac{p_\phi-p_\psi\cos\theta}{I_1\sin^2\theta}, \qquad \dot\psi=\frac{p_\psi}{I_3}-\dot\phi\cos\theta

Why the top precesses at all is now visible: the instant θ\theta is known, ϕ˙\dot\phi is fixed by two constants of the motion — the precession is not an extra input, it is enforced by conservation.

Step 6. Substitute into the conserved energy E=T+UE=T+U and peel off the constant spin energy pψ2/2I3p_\psi^2/2I_3. Defining E′≡E−pψ2/2I3E'\equiv E-p_\psi^2/2I_3,

E′=12I1θ˙2+Veff(θ),Veff(θ)=(pϕ−pψcos⁡θ)22I1sin⁡2θ+Mgℓcos⁡θE'=\tfrac12 I_1\dot\theta^2+V_\mathrm{eff}(\theta), \qquad V_\mathrm{eff}(\theta)=\frac{(p_\phi-p_\psi\cos\theta)^2}{2I_1\sin^2\theta}+Mg\ell\cos\theta

The tilt now moves like a bead in a one-dimensional well. θ˙=0\dot\theta=0 at the two roots θ1<θ2\theta_1<\theta_2 of Veff(θ)=E′V_\mathrm{eff}(\theta)=E', and since Veff→+∞V_\mathrm{eff}\to+\infty as θ→0,π\theta\to0,\pi whenever pϕ≠±pψp_\phi\neq\pm p_\psi, those roots generically exist and pin the axis inside a latitude band — the nutation band.

Three of the intermediate results deserve their own display, because they are the working equations of the subject. The spin projection

pψ=I3(ψ˙+ϕ˙cos⁡θ)=I3ω3(2)p_\psi=I_3(\dot\psi+\dot\phi\cos\theta)=I_3\omega_3 \qquad (2)

where: ω3\omega_3 — the angular velocity component along the symmetry axis — is conserved because an axially symmetric body feels no torque about its own axis. The vertical projection

pϕ=I1ϕ˙sin⁡2θ+I3ω3cos⁡θ=Lz(3)p_\phi=I_1\dot\phi\sin^2\theta+I_3\omega_3\cos\theta=L_z \qquad (3)

where: LzL_z — the lab-frame vertical component of angular momentum — is conserved because gravity's torque is purely horizontal. And dividing the two gives the instantaneous precession rate,

ϕ˙=pϕ−pψcos⁡θI1sin⁡2θ(4)\dot\phi=\frac{p_\phi-p_\psi\cos\theta}{I_1\sin^2\theta} \qquad (4)

where: the numerator pϕ−pψcos⁡θp_\phi-p_\psi\cos\theta is the vertical angular momentum not already accounted for by the spin's vertical projection. Its sign controls the direction of precession at each tilt, and its zero — at cos⁡θ=pϕ/pψ\cos\theta=p_\phi/p_\psi — is where the axis path can stall or reverse. The conserved energy, with the cyclic velocities eliminated, reads

E=12I1θ˙2+(pϕ−pψcos⁡θ)22I1sin⁡2θ+pψ22I3+Mgℓcos⁡θ(5)E=\tfrac12 I_1\dot\theta^2+\frac{(p_\phi-p_\psi\cos\theta)^2}{2I_1\sin^2\theta}+\frac{p_\psi^2}{2I_3}+Mg\ell\cos\theta \qquad (5)

and dropping the frozen spin term defines the one-dimensional problem

E′=12I1θ˙2+Veff(θ),Veff(θ)=(pϕ−pψcos⁡θ)22I1sin⁡2θ+Mgℓcos⁡θ(6)E'=\tfrac12 I_1\dot\theta^2+V_\mathrm{eff}(\theta),\qquad V_\mathrm{eff}(\theta)=\frac{(p_\phi-p_\psi\cos\theta)^2}{2I_1\sin^2\theta}+Mg\ell\cos\theta \qquad (6)

where: the first term of VeffV_\mathrm{eff} is a centrifugal barrier — the kinetic cost of the precession that conservation forces on the top at each tilt — and the second is plain gravity. The competition between them digs the well in which θ\theta oscillates. For quantitative work (and for the turning-point classification taken up in the article on nutation) it pays to substitute u=cos⁡θu=\cos\theta. Multiplying (6) by 2(1−u2)/I12(1-u^2)/I_1 turns the energy equation into a cubic:

u˙2=(α−βu)(1−u2)−(b−au)2≡f(u)(7)\dot u^2=(\alpha-\beta u)(1-u^2)-(b-a u)^2 \equiv f(u) \qquad (7)

where: a=pψ/I1a=p_\psi/I_1, b=pϕ/I1b=p_\phi/I_1, α=2E′/I1\alpha=2E'/I_1, β=2Mgℓ/I1\beta=2Mg\ell/I_1. The physical motion lives where f(u)≥0f(u)\ge0 between the two roots u2≤u≤u1u_2\le u\le u_1 inside [−1,1][-1,1]; the cubic's third root lies at u>1u>1, unphysical but useful bookkeeping. Everything measurable — nutation period, precession waveform — is an integral over this cubic.

Go deeper · Derivation B · 1 minSteady precession and its two branches
Derivation BSteady precession and its two branches

We are deriving the condition for the top to precess at constant tilt θ0\theta_0 — no nutation at all — and discovering that whenever such motion exists it comes in exactly two flavors, a slow branch and a fast branch, equation (9). The strategy is direct: steady precession means the tilt sits at a minimum of the effective potential, so we impose Veff′(θ0)=0V_\mathrm{eff}'(\theta_0)=0 and translate the result into a condition on the precession rate ϕ˙\dot\phi. The step to watch is the reality condition: the resulting equation is quadratic in ϕ˙\dot\phi, and below a minimum spin its roots turn complex — a slow top simply has no steady precession at that tilt, which is exactly what a wobbly, dying top shows you.

Step 1. Differentiate VeffV_\mathrm{eff} from (6) and set the result to zero at θ0\theta_0. Using (4) to express pϕ−pψcos⁡θ0=I1ϕ˙sin⁡2θ0p_\phi-p_\psi\cos\theta_0=I_1\dot\phi\sin^2\theta_0, the extremum condition becomes

I1ϕ˙2cos⁡θ0−I3ω3 ϕ˙+Mgℓ=0(8)I_1\dot\phi^2\cos\theta_0-I_3\omega_3\,\dot\phi+Mg\ell=0 \qquad (8)

Why a quadratic: the centrifugal term of VeffV_\mathrm{eff} is quadratic in the precession rate while gravity is independent of it — balancing a parabola against a constant gives two crossings.

Step 2. Solve for the two rates:

Ω∓=I3ω32I1cos⁡θ0(1∓1−4I1Mgℓcos⁡θ0I32ω32)(9)\Omega_{\mp}=\frac{I_3\omega_3}{2I_1\cos\theta_0}\left(1\mp\sqrt{1-\frac{4 I_1 Mg\ell\cos\theta_0}{I_3^2\omega_3^2}}\right) \qquad (9)

Step 3. Impose reality. Steady precession at tilt θ0<π/2\theta_0<\pi/2 exists only if

I32ω32 ≥ 4 I1Mgℓcos⁡θ0I_3^2\omega_3^2\ \ge\ 4\,I_1 Mg\ell\cos\theta_0

Why this is a real threshold: spin the top too slowly and gravity's demand outruns what the gyroscopic term can supply at any precession rate — the top cannot hold a constant tilt and must nutate. (For θ0>π/2\theta_0>\pi/2, a top hanging below its pivot, cos⁡θ0<0\cos\theta_0<0 and steady precession exists at any spin.)

Step 4. Expand for a fast top, I3ω3≫I1MgℓI_3\omega_3\gg\sqrt{I_1Mg\ell}. The square root is close to 1 and the two branches split cleanly:

Ω−≈MgℓI3ω3,Ω+≈I3ω3I1cos⁡θ0\Omega_-\approx\frac{Mg\ell}{I_3\omega_3}, \qquad \Omega_+\approx\frac{I_3\omega_3}{I_1\cos\theta_0}

Why you almost always see the slow branch: Ω−\Omega_- is the gravity-driven gyroscopic precession, approached naturally from typical initial conditions and independent of tilt to leading order. Ω+\Omega_+ is a gravity-independent rate — essentially the free-precession solution of the torque-free symmetric top surviving in disguise — and requires a violent, precisely tuned launch to realize.

Go deeper · Derivation C · 1 minStability of the sleeping top
Derivation CStability of the sleeping top

We are deriving the critical spin above which a top standing perfectly vertical — a "sleeping" top — is stable against tipping, the criterion ω32>4I1Mgℓ/I32\omega_3^2>4I_1Mg\ell/I_3^2. The strategy is a stability analysis of the effective potential: at θ=0\theta=0 the two conserved momenta coincide (pϕ=pψp_\phi=p_\psi), which tames the centrifugal barrier from a divergence into a finite quadratic term; whether that term beats gravity's destabilizing quadratic decides everything. The delicate step is the small-angle expansion — the barrier and gravity both contribute at order θ2\theta^2, so no term may be dropped early.

Step 1. Set the vertical initial condition. At θ=0\theta=0 the symmetry axis and the vertical coincide, so both projections are the same number:

pϕ=pψ=I3ω3p_\phi=p_\psi=I_3\omega_3

Step 2. Insert into VeffV_\mathrm{eff} and simplify with the half-angle identity (1−cos⁡θ)2sin⁡2θ=tan⁡2(θ/2)\dfrac{(1-\cos\theta)^2}{\sin^2\theta}=\tan^2(\theta/2):

Veff(θ)=I32ω322I1tan⁡2 ⁣θ2+Mgℓcos⁡θV_\mathrm{eff}(\theta)=\frac{I_3^2\omega_3^2}{2I_1}\tan^2\!\frac{\theta}{2}+Mg\ell\cos\theta

Why the barrier is now finite: with pϕ=pψp_\phi=p_\psi the numerator (pϕ−pψcos⁡θ)2(p_\phi-p_\psi\cos\theta)^2 vanishes as θ4\theta^4 at the origin, exactly fast enough to cancel the sin⁡2θ\sin^2\theta in the denominator — the vertical is accessible, and the question is only whether it is a floor or a summit.

Step 3. Expand to second order, tan⁡2(θ/2)≈θ2/4\tan^2(\theta/2)\approx\theta^2/4 and cos⁡θ≈1−θ2/2\cos\theta\approx1-\theta^2/2:

Veff≈Mgℓ+12(I32ω324I1−Mgℓ)θ2+…V_\mathrm{eff}\approx Mg\ell+\frac12\left(\frac{I_3^2\omega_3^2}{4I_1}-Mg\ell\right)\theta^2+\dots

Step 4. Read off stability. The vertical is a minimum — the top sleeps — iff the coefficient is positive:

ω32>4 I1MgℓI32\omega_3^2>\frac{4\,I_1 Mg\ell}{I_3^2}

Why a sleeping top eventually wakes: friction drains ω3\omega_3 at fixed geometry, so the left side slides down through the threshold; at that moment θ=0\theta=0 flips from potential floor to potential summit, any perturbation grows, and the top tips into wobbling precession before clattering down.

Which equation answers which question

you wantusenotes
the full dynamics from initial conditionsLagrangian (1) + momenta (2)(3)three DOF, two frozen
precession rate at a given tilteq. (4)sign can reverse at cos⁡θ=pϕ/pψ\cos\theta=p_\phi/p_\psi
nutation band [θ1,θ2][\theta_1,\theta_2]eq. (6) or the cubic (7)roots of Veff=E′V_\mathrm{eff}=E'
steady (no-nutation) precessioneqs. (8)–(9)needs I32ω32≥4I1Mgℓcos⁡θ0I_3^2\omega_3^2\ge4I_1Mg\ell\cos\theta_0
fast-top gyroscope rateΩ−≈Mgℓ/(I3ω3)\Omega_-\approx Mg\ell/(I_3\omega_3)the one you see in demos
will a vertical top stay verticalω32>4I1Mgℓ/I32\omega_3^2>4I_1Mg\ell/I_3^2sleeping-top criterion
nutation frequency and amplitudesee the article on nutationωnut≈I3ω3/I1\omega_\mathrm{nut}\approx I_3\omega_3/I_1 for a fast top

The remaining qualitative question — what the axis path looks like — is settled by equation (4): define cos⁡θ′=pϕ/pψ\cos\theta'=p_\phi/p_\psi, the tilt at which ϕ˙\dot\phi would vanish. If θ′\theta' lies outside the nutation band, ϕ˙\dot\phi never reverses and the path is a smooth wave; if θ′\theta' coincides with the upper turning angle θ1\theta_1 (the release-from-rest case), the axis stalls exactly at the top of each bob and the path grows cusps; if θ′\theta' falls strictly inside the band, the precession runs backward for part of each cycle and the path loops. The quantitative anatomy of these oscillations — their frequency, their amplitude, and why fast tops hide them — is the business of the companion article on nutation.

Limiting cases

The controlling parameter is the spin angular momentum I3ω3I_3\omega_3 measured against the gravitational scale I1Mgℓ\sqrt{I_1Mg\ell}:

CaseResultMeaning
fast top, I3ω3≫I1MgℓI_3\omega_3\gg\sqrt{I_1Mg\ell}Ω−≈MgℓI3ω3\Omega_-\approx\dfrac{Mg\ell}{I_3\omega_3}, Ω+≈I3ω3I1cos⁡θ0\Omega_+\approx\dfrac{I_3\omega_3}{I_1\cos\theta_0}gyroscopic regime: slow stately precession, tiny fast nutation at ≈I3ω3/I1\approx I_3\omega_3/I_1
steady precession at tilt θ0\theta_0Mgℓ=ϕ˙(I3ω3−I1ϕ˙cos⁡θ0)Mg\ell=\dot\phi(I_3\omega_3-I_1\dot\phi\cos\theta_0)possible only if I32ω32≥4I1Mgℓcos⁡θ0I_3^2\omega_3^2\ge4I_1Mg\ell\cos\theta_0; two rates when it exists
sleeping top (θ=0\theta=0)stable iff ω32>4I1MgℓI32\omega_3^2>\dfrac{4I_1Mg\ell}{I_3^2}below threshold the vertical becomes a potential maximum and the top wakes
no spin (ω3=0\omega_3=0, pϕ=pψ=0p_\phi=p_\psi=0)I1θ¨=Mgℓsin⁡θI_1\ddot\theta=Mg\ell\sin\thetathe centrifugal barrier vanishes and the top is a rigid pendulum — it just falls and swings
hanging top (θ0>π/2\theta_0>\pi/2)steady precession at any spincos⁡θ0<0\cos\theta_0<0 makes the discriminant of (8) always positive — a gyroscope pendulum never has a minimum-spin problem
g→0g\to0free symmetric topprecession survives without gravity — it becomes the torque-free precession of the free symmetric top article

Worked examples

1 · A classroom gyroscope (confidence builder)

A demonstration gyroscope is a uniform steel disk of mass M=0.50 kgM=0.50\ \mathrm{kg} and radius R=5.0 cmR=5.0\ \mathrm{cm}, mounted with its center a distance ℓ=6.0 cm\ell=6.0\ \mathrm{cm} from the pivot, spun at 3000 rpm3000\ \mathrm{rpm} and released at θ0=30°\theta_0=30°. Find the precession rate (both approximate and exact slow-branch), the fast-branch rate, and check whether this top could sleep.

Step 1. Moments about the pivot. Axial: I3=12MR2=12(0.50)(0.05)2=6.25×10−4 kg m2I_3=\tfrac12MR^2=\tfrac12(0.50)(0.05)^2=6.25\times10^{-4}\ \mathrm{kg\,m^2}. Transverse, by the parallel-axis theorem: I1=14MR2+Mℓ2=3.125×10−4+0.50×(0.06)2=2.11×10−3 kg m2I_1=\tfrac14MR^2+M\ell^2=3.125\times10^{-4}+0.50\times(0.06)^2=2.11\times10^{-3}\ \mathrm{kg\,m^2}.

Step 2. Spin and torque scales. ω3=3000×2π/60=314.2 rad/s\omega_3=3000\times2\pi/60=314.2\ \mathrm{rad/s}, so I3ω3=0.1963 kg m2/sI_3\omega_3=0.1963\ \mathrm{kg\,m^2/s}; and Mgℓ=0.50×9.81×0.06=0.294 N mMg\ell=0.50\times9.81\times0.06=0.294\ \mathrm{N\,m}.

Step 3. Fast-top check and slow precession. The fast-top parameter is 4I1Mgℓcos⁡θ0/(I3ω3)2=0.056≪14I_1Mg\ell\cos\theta_0/(I_3\omega_3)^2=0.056\ll1 — comfortably gyroscopic. The textbook rate is Ω−≈Mgℓ/(I3ω3)=0.294/0.1963=1.50 rad/s\Omega_-\approx Mg\ell/(I_3\omega_3)=0.294/0.1963=\boxed{1.50\ \mathrm{rad/s}}, one lap of the vertical every 4.2 s4.2\ \mathrm{s}.

Step 4. Exact branches from (9). The prefactor is I3ω3/(2I1cos⁡θ0)=53.7 s−1I_3\omega_3/(2I_1\cos\theta_0)=53.7\ \mathrm{s^{-1}} and 1−0.056=0.972\sqrt{1-0.056}=0.972, giving Ω−=53.7(1−0.972)=1.52 rad/s\Omega_-=53.7(1-0.972)=\boxed{1.52\ \mathrm{rad/s}} — the crude estimate was off by only 1.4% — and Ω+=53.7(1.972)=106 rad/s\Omega_+=53.7(1.972)=\boxed{106\ \mathrm{rad/s}}, a seventeen-per-second whirl you will never see in a lecture demo.

Step 5. Sleeping check. The critical spin is ω3,crit=4I1Mgℓ/I3=4×2.11×10−3×0.294/6.25×10−4=79.8 rad/s=762 rpm\omega_{3,\mathrm{crit}}=\sqrt{4I_1Mg\ell}/I_3=\sqrt{4\times2.11\times10^{-3}\times0.294}/6.25\times10^{-4}=79.8\ \mathrm{rad/s}=762\ \mathrm{rpm}. At 3000 rpm the gyroscope is nearly four times over threshold: stood upright, it would sleep — and it will not wake until friction drags it below about 762 rpm.

2 · A toy cone that refuses to precess steadily (exam level)

A child's top is a uniform solid cone: mass M=0.12 kgM=0.12\ \mathrm{kg}, base radius R=2.5 cmR=2.5\ \mathrm{cm}, height h=6.0 cmh=6.0\ \mathrm{cm}, spinning on its apex. (a) Can it precess steadily at θ0=25°\theta_0=25° when spun at ω3=180 rad/s\omega_3=180\ \mathrm{rad/s}? (b) What spin does steady precession at that tilt require? (c) At ω3=450 rad/s\omega_3=450\ \mathrm{rad/s}, find both precession rates and compare with the fast-top approximations.

Step 1. Geometry and moments about the apex. For a solid cone, I3=310MR2=0.3×0.12×(0.025)2=2.25×10−5 kg m2I_3=\tfrac3{10}MR^2=0.3\times0.12\times(0.025)^2=2.25\times10^{-5}\ \mathrm{kg\,m^2} and I1=320MR2+35Mh2=1.125×10−5+2.592×10−4=2.70×10−4 kg m2I_1=\tfrac3{20}MR^2+\tfrac35Mh^2=1.125\times10^{-5}+2.592\times10^{-4}=2.70\times10^{-4}\ \mathrm{kg\,m^2}; the center of mass sits at ℓ=34h=4.5 cm\ell=\tfrac34h=4.5\ \mathrm{cm}, so Mgℓ=0.12×9.81×0.045=0.0530 N mMg\ell=0.12\times9.81\times0.045=0.0530\ \mathrm{N\,m}.

Step 2. (a) Test the discriminant of (8) at 180 rad/s180\ \mathrm{rad/s}: I3ω3=4.05×10−3I_3\omega_3=4.05\times10^{-3}, and 4I1Mgℓcos⁡25°/(I3ω3)2=3.17>14I_1Mg\ell\cos25°/(I_3\omega_3)^2=3.17>1. The discriminant is negative: no steady precession exists — spun this slowly, the top cannot hold a constant 25°25° tilt and must nutate visibly (a wobbly, laboring top).

Step 3. (b) Minimum spin. Setting the discriminant to zero: ω3,min⁡=4I1Mgℓcos⁡θ0/I3=320 rad/s (≈3060 rpm)\omega_{3,\min}=\sqrt{4I_1Mg\ell\cos\theta_0}/I_3=\boxed{320\ \mathrm{rad/s}\ (\approx3060\ \mathrm{rpm})}. (For sleeping upright the threshold is slightly higher, 4I1Mgℓ/I3=337 rad/s\sqrt{4I_1Mg\ell}/I_3=337\ \mathrm{rad/s}, since cos⁡θ0→1\cos\theta_0\to1.)

Step 4. (c) At ω3=450 rad/s\omega_3=450\ \mathrm{rad/s}: I3ω3=1.013×10−2I_3\omega_3=1.013\times10^{-2}, inner term =0.507=0.507, 1−0.507=0.702\sqrt{1-0.507}=0.702, prefactor I3ω3/(2I1cos⁡25°)=20.7 s−1I_3\omega_3/(2I_1\cos25°)=20.7\ \mathrm{s^{-1}}. So Ω−=20.7(1−0.702)=6.15 rad/s\Omega_-=20.7(1-0.702)=\boxed{6.15\ \mathrm{rad/s}} and Ω+=20.7(1.702)=35.2 rad/s\Omega_+=20.7(1.702)=\boxed{35.2\ \mathrm{rad/s}}.

Step 5. Compare with the fast-top formulas: Mgℓ/(I3ω3)=5.23 rad/sMg\ell/(I_3\omega_3)=5.23\ \mathrm{rad/s} (15% below exact) and I3ω3/(I1cos⁡θ0)=41.3 rad/sI_3\omega_3/(I_1\cos\theta_0)=41.3\ \mathrm{rad/s} (17% above exact). At only 1.4×1.4\times the minimum spin this top is marginally fast: the leading-order gyroscope formulas are qualitatively right but quantitatively rough — a useful calibration of when "fast top" can be trusted.

Origins · 1 minJoseph-Louis Lagrange and how this was discovered
JL
Joseph-Louis Lagrange
1736–1813 · Turin, Berlin, Paris

Lagrange solved the heavy symmetric top in the Mécanique analytique (1788), the book in which he famously boasted of having no diagrams — mechanics reduced to pure analysis. The top was his showpiece: choose the Euler angles as generalized coordinates, notice that two of them never appear in the Lagrangian, and the dreaded three-dimensional tumbling of a spinning body collapses to quadratures. The case he solved — symmetric body, fixed point on the symmetry axis — is still called the Lagrange top, the second of exactly three famously integrable tops: Euler's (no gravity, 1765), Lagrange's (1788), and the astonishing asymmetric case found by Sofia Kovalevskaya a century later (1888), which earned her the Bordin Prize and remains the subject's crown jewel. Born in Turin as Giuseppe Lodovico Lagrangia, he succeeded Euler in Berlin at Frederick the Great's court, then moved to Paris, survived the Revolution, helped design the metric system, and taught at the new École Polytechnique — where his abstract style reportedly baffled the engineering students.

History
1765
— Euler's Theoria motus corporum solidorum solves the torque-free rigid body and founds the subject the heavy top will complete.
1788
— Lagrange's Mécanique analytique reduces the heavy symmetric top to quadratures via its two cyclic coordinates.
1834
— Poinsot's geometric construction (ellipsoid rolling on a plane) gives rigid-body motion its enduring visual language.
1888
— Sofia Kovalevskaya discovers the third and last integrable top, winning the Bordin Prize of the French Academy.
1897
— Klein and Sommerfeld begin the four-volume Über die Theorie des Kreisels, the definitive treatise connecting top theory to engineering practice.

Going further

References. Goldstein, Poole & Safko, Classical Mechanics (3rd ed.), §5.7 · Landau & Lifshitz, Mechanics (3rd ed.), §35 · Morin, Introduction to Classical Mechanics, Ch. 9 · Taylor, Classical Mechanics, §10.10 · Arnold, Mathematical Methods of Classical Mechanics, Appendix The sleeping-top criterion is ω32>4I1Mgℓ/I32\omega_3^2>4I_1Mg\ell/I_3^2, and the three nutation curve types (wavy, cusped, looping) follow from the sign of ϕ˙\dot\phi across the nutation band. Earth's precession period is approximately 25,800 yr and the principal forced lunar nutation has a period of 18.6 yr. The worked-example results — disk gyroscope: Ω−=1.50\Omega_-=1.50 rad/s (approximate), 1.521.52 rad/s (exact slow branch), Ω+=106\Omega_+=106 rad/s, sleeping threshold 762 rpm; solid cone: no real steady precession at 180 rad/s, ω3,min⁡=320\omega_{3,\min}=320 rad/s at 25°25°, branches 6.156.15 and 35.235.2 rad/s at 450 rad/s — are computed directly from equations (8)–(9) and the moment-of-inertia formulas.

Builds on: Euler Angles · Angular Velocity in Terms of Euler Angles · Rotational Kinetic Energy · Principal Axes and Principal Moments of Inertia · Classification of Rigid Bodies: Spherical, Symmetric, and Asymmetric Tops · Angular Momentum of a Rigid Body Leads to: Euler's Equations of Motion · Inertia Ellipsoid · Nutation · Gyroscopic Precession

Why doesn't the top just fall over — what actually holds it up?

Nothing holds it up; it is falling, permanently, sideways. The pivot supplies an upward force but no torque about itself, so gravity's torque τ=ℓ×Mg\boldsymbol\tau=\boldsymbol\ell\times M\mathbf g must change L\mathbf L — and τ\boldsymbol\tau is horizontal, perpendicular to the axis. So the change in L\mathbf L is sideways: the axis swings around the vertical instead of toward the floor. The vertical component LzL_z cannot change (no vertical torque), which is precisely conservation of pϕp_\phi. What feels like defiance of gravity is just dL/dt=τ\mathrm d\mathbf L/\mathrm dt=\boldsymbol\tau pointed in an unintuitive direction. Slow the spin and the same torque swings a shorter L\mathbf L through a bigger angle — faster precession, more pronounced nutation — until stability is lost and the top genuinely falls.

When a top released from rest starts precessing, where does the precession kinetic energy come from?

From gravity, via a small dip. At the moment of release ϕ˙=θ˙=0\dot\phi=\dot\theta=0, so the axis sits exactly at the upper turning angle θ1\theta_1 of its nutation band. It cannot precess yet — but it can fall. As θ\theta increases, the center of mass drops, gravity does work, and conservation of pϕ=pψcos⁡θ1p_\phi=p_\psi\cos\theta_1 forces ϕ˙=(pψ/I1)(cos⁡θ1−cos⁡θ)/sin⁡2θ>0\dot\phi=(p_\psi/I_1)(\cos\theta_1-\cos\theta)/\sin^2\theta>0: the fall itself switches the precession on. The axis overshoots, climbs back to θ1\theta_1, stalls (a cusp), and repeats. The time-averaged tilt sits below θ1\theta_1 — the average precession is funded by a slightly lowered center of mass. For a fast top the dip is tiny (it scales as 1/ω321/\omega_3^2; see the nutation article) which is why the borrowed energy is invisible in a demo.

Is p_ψ = I₃ω₃ still conserved for a real top with friction at the pivot?

No — and the slow violation is exactly what choreographs a real top's life story. The ideal-top argument (no torque component along the symmetry axis) fails once pivot friction and air drag act: they exert small torques with axial components, so ω3\omega_3 decays on a timescale of seconds to minutes, long compared with the precession period. The motion is then adiabatic: at each instant the top behaves like an ideal top with the current ω3\omega_3, so the precession Ω≈Mgℓ/(I3ω3)\Omega\approx Mg\ell/(I_3\omega_3) visibly quickens as the spin dies, the nutation amplitude grows, and when ω32\omega_3^2 falls below 4I1Mgℓ/I324I_1Mg\ell/I_3^2 the sleeping/stable regime is lost and the top clatters down. Frozen pψp_\psi and pϕp_\phi are exact only in the idealized problem; their slow drift is the physics of the real toy.

Is the angular momentum vector actually along the symmetry axis, as the picture suggests?

Not exactly, and the distinction matters. L=Iω\mathbf L=\mathbf I\boldsymbol\omega with unequal moments I1≠I3I_1\neq I_3 means L\mathbf L is parallel to ω\boldsymbol\omega only along a principal axis — and a precessing top's ω\boldsymbol\omega has components both along the axis (ω3\omega_3) and transverse to it (θ˙\dot\theta and ϕ˙sin⁡θ\dot\phi\sin\theta). So L\mathbf L tilts away from the symmetry axis and its transverse part sloshes as the top nutates. What is exactly true: the projection of L\mathbf L on the symmetry axis (pψp_\psi) and on the vertical (pϕp_\phi) are both constant. The "stiff arrow along the axis" cartoon becomes accurate in the fast-top limit, where I3ω3I_3\omega_3 dwarfs the transverse components — which is why the cartoon works so well for gyroscopes and so poorly for a top on its last legs.

The steady-precession quadratic has two roots — which one does a real top actually pick?

Neither is "picked" by the top; the initial conditions choose. Release a fast top gently (small initial ϕ˙\dot\phi) and the motion oscillates about the slow branch Ω−≈Mgℓ/(I3ω3)\Omega_-\approx Mg\ell/(I_3\omega_3) — that is the branch continuously connected to gravity switching on, and generic launches land near it, with nutation as the oscillation around it. The fast branch Ω+≈I3ω3/(I1cos⁡θ0)\Omega_+\approx I_3\omega_3/(I_1\cos\theta_0) is a legitimate exact motion — essentially free-top precession, with gravity a small correction — but to realize it you must launch the top already precessing at that large rate with θ˙=0\dot\theta=0 to high precision. Both are stable (minima of the appropriate effective potential); the fast branch is simply a target almost impossible to hit by hand.

What exactly happens at the moment a sleeping top wakes?

While ω32>4I1Mgℓ/I32\omega_3^2>4I_1Mg\ell/I_3^2, the vertical θ=0\theta=0 is a minimum of VeffV_\mathrm{eff}: small knocks excite a tiny conical wobble that friction damps, and the top eats perturbations — it sleeps. As friction lowers ω3\omega_3 through the critical value, the quadratic coefficient of VeffV_\mathrm{eff} passes through zero and the vertical flips from floor to summit: the same small perturbations now grow exponentially. The axis spirals outward into a finite-tilt motion — the nutation band detaches from θ=0\theta=0 and widens — and the top visibly wobbles, precesses harder as it slows further, and falls. The waking is a textbook pitchfork-like loss of stability, driven not by any sudden event but by a slowly sliding parameter crossing a threshold.

How is Earth a heavy symmetric top when nothing is holding it at a pivot?

The pivot is replaced by the center of mass, and gravity's role is played by differential gravity. For a free body one writes the rotational dynamics about the center of mass; a uniform gravitational field then exerts zero torque, and Earth would be a torque-free top (it is — that part of its motion is the Chandler wobble, treated with the free symmetric top). But the Moon and Sun pull harder on the near side of Earth's equatorial bulge than on the far side, and that tidal imbalance is a net torque on the oblate figure — mathematically of the same ∝sin⁡θcos⁡θ\propto\sin\theta\cos\theta form as the heavy top's Mgℓsin⁡θMg\ell\sin\theta term, with the obliquity as θ\theta. The response is the same too: a slow conical precession (25,800 years) with small forced nutations superposed, the largest with the 18.6-year period of the lunar node regression.

Do I need I₁ about the pivot or about the center of mass? The books seem to differ

Both conventions appear, and they must not be mixed. This article (following Goldstein §5.7) takes the pivot as the reference point: then the constraint force at the pivot exerts no torque, T=12I1(θ˙2+ϕ˙2sin⁡2θ)+12I3ω32T=\tfrac12I_1(\dot\theta^2+\dot\phi^2\sin^2\theta)+\tfrac12I_3\omega_3^2 with pivot-referred moments, and by the parallel-axis theorem I1pivot=I1cm+Mℓ2I_1^{\mathrm{pivot}}=I_1^{\mathrm{cm}}+M\ell^2 (the axial I3I_3 is unchanged, since the axis passes through both points). The alternative — center-of-mass decomposition, T=12Mvcm2+TrotcmT=\tfrac12Mv_{\mathrm{cm}}^2+T_{\mathrm{rot}}^{\mathrm{cm}} — gives identical equations after more algebra, because vcm=ℓ(θ˙2+ϕ˙2sin⁡2θ)1/2v_{\mathrm{cm}}=\ell(\dot\theta^2+\dot\phi^2\sin^2\theta)^{1/2} reassembles exactly the Mℓ2M\ell^2 shift. Checking that the two routes agree is a classic exam exercise; quietly using I1cmI_1^{\mathrm{cm}} in the pivot formulas is a classic exam disaster.

Before this

Where this leads