Solution
= Solution
Differentiate with respect to the generalized <velocities>:
$$
\boxed{p_x=(m_1+m_2)\dot x+m_2l\dot\phi\cos\phi,\qquad
p_\phi=m_2l^2\dot\phi+m_2l\dot x\cos\phi.}
$$
The <Lagrangian> has no explicit $x$, so $\dot p_x=\partial L/\partial x=0$. This <canonical momentum> is also the system's total horizontal mechanical <momentum>. \b[Horizontal <translation symmetry> conserves $p_x$] even though the support and bob separately accelerate.