 Solution

In Lagrangian mechanics, choose independent generalized coordinates $q_i$ compatible with the mechanical constraints, write $L=T-U$, and apply the Euler-Lagrange equationEquivalently, the physical path makes the action stationary under variations with fixed endpoints. For ideal holonomic constraints, their unknown reaction forces need not appear in the reduced equations. Direct use of Newton's laws of motion instead resolves vector forces and reactions and enforces the constraints separately. Both approaches describe the same mechanics; the scalar Lagrangian is often shorter in curvilinear coordinates. Nonconservative generalized forces must be added separately. Here a drive maintains the prescribed azimuthal angular velocity $\Omega$.

The mass has polar speed $a\dot{\theta }$ and azimuthal speed $a\Omega \sin \theta$, so its kinetic energy is $m{a}^2({\dot{\theta }}^2+{\Omega }^2{\sin }^2\theta )/2$. The elastic potential energy is $\mu {\theta }^2/2$, and the height is $a\cos \theta$, giving gravitational potential energy $mga\cos \theta$. Thereforeand the Euler-Lagrange equation givesFor $\mu =2mga$, define $q={\Omega }^{2}a/g$ and $F(\theta )=q\sin \theta \cos \theta -2\theta +\sin \theta$, so $\ddot{\theta }=(g/a)F(\theta )$. Near zero,When $q<1$ the upright equilibrium is linearly stable and the small oscillations have ${\omega }_1^2=g/a-{\Omega }^2$.

For $q>1$, the graph of $F$ initially rises, whereas $F(\pi /2)=1-\pi <0$. There must therefore be a zero inside the interval. More strongly, for $0<\theta <\pi /2$,is strictly decreasing: $\cos \theta$ decreases and $\theta /\sin \theta$ increases because $\sin \theta -\theta \cos \theta >0$. The ratio goes from $q-1>0$ to $1-\pi <0$, giving exactly one zero ${\theta }_0$ in that interval. At the zero, $F^{\prime }({\theta }_0)<0$, so it is a stable equilibrium. The rotating torsion-stabilized inverted pendulum also has a symmetric stable angle $-{\theta }_0$ if both signs of tilt are permitted.

At ${\theta }_0=\pi /4$, setting $F({\theta }_0)=0$ gives $q/2-\pi /2+1/\sqrt{2}=0$, soFor $\theta ={\theta }_0+\xi$, the linearized equation is $\ddot{\xi }=(g/a)F^{\prime }({\theta }_0)\xi$. Since $F^{\prime }=q\cos 2\theta -2+\cos \theta$,At the threshold $q=1$ the linear restoring term vanishes, but the cubic term remains:The upright state remains nonlinearly stable, with no nonzero infinitesimal harmonic frequency. Small finite disturbances produce quartic oscillator motion whose frequency is proportional to its small angular amplitude; its period tends to infinity as that amplitude tends to zero. Zero linear stiffness is not the same as an absent restoring torque.