Question 2 of 6: Particle on a Cylinder Under a Central Force — Hamiltonian and Frame Invariance
Nivaar worked solution (AI-drafted; not reviewed by a licensed engineer)
Notes on this paper
98-Phys-A1, Classical Mechanics — National Exam, May 2016. 3-hour closed-book exam; FIVE (5) questions constitute a complete paper and only the first five questions as they appear in a candidate's answer book are marked, each of equal value. All six printed questions are solved below as a complete study resource.
Given. A particle of mass $m$ is held on the surface of a fixed cylinder of radius $R$ (its distance from the cylinder's central axis is always $R$); it is subject to an isotropic 3-D central force $\vec F=-k\vec r$ directed at the origin (the centre of the cylinder's base), with $\vec r$ the particle's full position vector. Cylindrical coordinates $(R,\phi,z)$ describe the particle, since the radial cylindrical coordinate is pinned at $R$.
Particle on the cylinder wall: position $\vec r=(R\cos\phi,R\sin\phi,z)$. The primed frame $xyZ$ shares the same $Z$-axis, rotated by a fixed angle from $XYZ$.
Find. (a) $H$ and Hamilton's equations of motion; (b) how those equations change under a fixed rotation of the azimuthal reference about $Z$; (c) an invariant common to both descriptions.
Approach. Build the constrained Lagrangian directly in $(\phi,z)$ (the two free coordinates once $\rho=R$ is fixed), Legendre-transform to $H$, and read off Hamilton's equations; then use the manifest axial symmetry of the potential to answer (b) and (c).
Part (a) — Hamiltonian and equations of motion. With $x=R\cos\phi$, $y=R\sin\phi$, $z=z$,
$$T=\tfrac12 m\big(R^2\dot\phi^2+\dot z^2\big),\qquad V=\tfrac12 k\, r^2 = \tfrac12 k\big(R^2+z^2\big)\ \ (\text{since }\vec F=-\nabla V=-k\vec r),$$
$$L = \tfrac12 m R^2\dot\phi^2+\tfrac12 m\dot z^2-\tfrac12 k(R^2+z^2).$$
Generalized momenta: $p_\phi=\partial L/\partial\dot\phi = mR^2\dot\phi$, $\ p_z=\partial L/\partial\dot z=m\dot z$. Since $T,V$ are natural (no explicit-time, no $\dot q$-linear cross terms), $H=T+V$ expressed in momenta:
$$\boxed{H = \dfrac{p_\phi^2}{2mR^2}+\dfrac{p_z^2}{2m}+\dfrac12 k\big(R^2+z^2\big)}$$
Hamilton's equations, $\dot q_i=\partial H/\partial p_i$, $\dot p_i=-\partial H/\partial q_i$:
$$\dot\phi=\frac{p_\phi}{mR^2},\qquad \dot p_\phi = -\frac{\partial H}{\partial\phi}=0\ \Rightarrow\ p_\phi=\text{const.},$$
$$\dot z=\frac{p_z}{m},\qquad \dot p_z=-kz\ \Rightarrow\ m\ddot z+kz=0.$$
So $\phi$ is cyclic ($H$ has no explicit $\phi$-dependence) — $p_\phi$ (angular momentum about $Z$) is conserved and $\phi$ advances at the constant rate $\dot\phi=p_\phi/mR^2$ — while $z$ executes simple harmonic motion at $\omega=\sqrt{k/m}$, entirely decoupled from $\phi$.
Part (b) — the rotated frame $xyZ$. The frame $xyZ$ shares the same $Z$-axis as $XYZ$ and differs only by a fixed (constant, non-time-varying) rotation angle $\phi_0$ about that axis: it is a static relabelling of the azimuthal origin, not a rotating (non-inertial) frame. Since the constraint ($\rho=R$) and the potential ($V=\tfrac12 k(R^2+z^2)$) depend only on $R$ and $z$ — never on the azimuthal angle itself — the Lagrangian and Hamiltonian are form-invariant under $\phi\mapsto\phi'=\phi-\phi_0$: substituting $\phi=\phi'+\phi_0$ everywhere leaves $L$ and $H$ unchanged in form (the constant $\phi_0$ simply drops out of every derivative). Hamilton's equations in the $xyZ$ frame are therefore identical in form to those in $XYZ$: $\dot\phi'=p_{\phi'}/mR^2$, $p_{\phi'}=\text{const}=p_\phi$, and the same SHM equation for $z$. Nothing about the dynamics changes; only the zero-point from which $\phi$ is measured does.
Part (c) — invariant property. The system possesses continuous rotational symmetry (SO(2)) about the $Z$-axis, since neither $V$ nor the constraint distinguishes one azimuthal direction from another. By Noether's theorem this symmetry is exactly why $p_\phi$ (the $Z$-component of angular momentum) is conserved, and because the rotation between $XYZ$ and $xyZ$ is about that very axis, $p_{\phi'}=p_\phi$ identically — the same numerical value in both frames. The total energy $H$ is likewise a scalar, unchanged by any fixed orthogonal coordinate change. Invariant: the $Z$-component of angular momentum $p_\phi=mR^2\dot\phi$ (and the total energy $H$), unaffected by the arbitrary fixed azimuthal offset between the two frames.