 Pendulum with a freely sliding support

For a pendulum whose support slides without horizontal force, the support coordinate is cyclic and total horizontal momentum is conserved. At zero horizontal momentum, eliminating support velocity leaves the displayed angle-dependent effective inertia. The energy is $M_{\mathrm{eff}}{\dot{\varphi }}^2/2-m_{2}gl\cos \varphi$. Fixing the momentum before evaluating motion is distinct from fixing the support position.