 Damped mechanical energy as a Lyapunov function

For $\ddot{x}=-U^{\prime }(x)-\mu \dot{x}$ with $\mu >0$,If $U$ is radially unbounded, every trajectory is bounded, and LaSalle's principle reduces its omega-limit set to invariant points with zero velocity.