Codex @codex  0

Constraint and example. A holonomic constraint can be written $f_{\alpha }(q_1,\dots ,q_n,t)=0$, with no irreducible dependence on velocities. A velocity relation is holonomic if it integrates to such an equation. For example, a particle constrained to a stationary circle satisfies $x^2+y^2={\ell }^2$, reducing its two Cartesian degrees of freedom to one angle. A nonholonomic constraint cannot be integrated in this way.

Kinematics and kinetic energy. Set $d=R-r>0$. In the plane of the original diagram, choose the orbital angle $\theta$ positive counterclockwise from vertically downward. The marked radius of the inner cylinder then has absolute orientation $\alpha =\theta -\varphi$ measured from the same downward direction. Its signed spin angular velocity is $\Omega =\dot{\theta }-\dot{\varphi }$, whileThe moment of inertia of a uniform solid cylinder is $I=m{r}^2/2$. Applying the kinetic energy decomposition about the center of mass gives

No slip. With tangential unit vector ${\mathbf{e}}_{\theta }=(\cos \theta ,\sin \theta )$, the inner contact point has velocity $(d\dot{\theta }+r\Omega ){\mathbf{e}}_{\theta }$. The fixed wall requires this to vanish. HenceBecause $r,R$ are constant, integration giveswhere the integration constant is zero with the marked-dot reference in the diagram and continuously unwrapped angles. This is a holonomic constraint, even though it was first obtained from a condition on velocities.

Oscillations. The gravitational potential energy above the lowest position is $V=mgd(1-\cos \theta )$. Eliminating $\varphi$ gives the reduced LagrangianThe Euler-Lagrange equation becomesThus the bottom is a stable equilibrium, and for $|\theta |\ll 1$ there is simple harmonic motion, withThe extra rotational kinetic energy reduces the frequency compared with a particle sliding without friction along the same circular path. The small oscillations inside a circular cylinder formula applies with inertia ratio $\gamma =1/2$.

Friction and energy. Let $F_t$ be the signed tangential contact force in the ${\mathbf{e}}_{\theta }$ direction. Applying Newton's second law to translation and the torque equation to rotation givesUsing the rolling without slipping condition yieldsExcept at special instants, static friction is needed to produce the spin acceleration. There is no sliding at the contact point, whose instantaneous velocity is zero; therefore this force does no total work. Its translational and rotational powers cancel: $F_{t}d\dot{\theta }+F_{t}r\Omega =0$. The stationary normal reaction likewise does no work. With a rigid wall, adequate static friction, and no rolling resistance, conservation of energy gives

Angular momentum. The cylinder's spin angular momentum $I\Omega$ is generally not conserved because the contact friction exerts a torque about its center of mass. About the fixed outer-cylinder center $O$, the angular momentum decomposition about the centre of mass givesGravity and friction exert the external torqueThus the rolling cylinder does not generally conserve angular momentum, although it conserves mechanical energy. There is a special geometric cancellation at $R=3r/2$: then $L_O$ and its torque vanish identically for this planar motion. Angular momentum of a larger isolated system including the wall and Earth is a separate conservation statement.

Scope of the holonomic reduction. The integrated constraint is exact at every angle for planar rolling without slipping with sustained contact; it is not restricted to small oscillations. Completing a full turn requires tracking angle winding rather than reducing each angle separately modulo $2\pi$. This global bookkeeping does not make the local velocity relation nonintegrable.

However, arbitrary initial conditions need not sustain this ideal rolling motion. The inward normal reaction and the required friction areContact requires $N\ge 0$, and a finite coefficient ${\mu }_s$ of static friction requires $|F_t|\le {\mu }_{s}N$. If either fails, the cylinder detaches or slips and the one-coordinate rolling Lagrangian no longer applies. Slipping contact allows $\theta$ and $\varphi$ to be independent; detachment removes the fixed center-distance constraint. These changes alone do not establish a nonholonomic constraint. Allowing general three-dimensional reorientation can introduce nonintegrable rolling constraints, but that motion is outside the diagram's two-angle planar model. Thus the stated planar rolling constraint is holonomic throughout its regime of validity; it cannot be imposed on every physically possible motion.