# Hamiltonian is conserved, but is not the total mechanical energy

I wondering about the interpretation for the energy difference between the Hamiltonian and the total mechanical energy for systems where the Hamiltonian is conserved, but it is not equal to the total mechanical energy.

For example, consider a bead (mass $m$) on a frictionless hoop (radius $R$) in the presence of gravity. The hoop is spun around an axis parallel to the gravitational acceleration at constant angular speed ($\omega$). This is the typical set up for this problem.

The total energy for this system (using $\phi$ to denote the angle from the bottom of the hoop) is:

$$E = \frac{p_{\phi}^2}{2mR^2} + \frac{1}{2} mR^2 \omega^2 \sin^2 \phi + mgR (1- \cos \phi)$$

where $p_{\phi} = mR^2\dot{\phi}$.

The Hamiltonian is:

$$H = \frac{p_{\phi}^2}{2mR^2} - \frac{1}{2} mR^2 \omega^2 \sin^2 \phi + mgR (1- \cos \phi)$$.

So the difference between the total mechanical energy and the Hamiltonian is:

$$E-H = mR^2 \omega^2 \sin^2 \phi$$

which is twice the rotational kinetic energy, I think. I'm just trying to get a handle on what this difference means. Any help is appreciated.

It is the external energy that the hoop needs to spin. The Hamiltonian is a conserved quantity since it does not depend on time explicitly, but the mechanical energy (kinetic plus potential) is not conserved.

Note that:

$$E=K_1 + K_2 + U$$ where $K_2$ is the kinetic term which does not depend on velocities $\dot \phi$, then $$L=K_1 + K_2 - U$$ and $$H=K_1 - K_2 + U$$ since $K_2$ does not depend on velocities and for the Hamiltonian it is an effective potential term.

I think this theorem might help to you.

Assume that $L=T-U$ is lagrangian of the system. $T$ is kinetic energy that presented as a quadratic form of $\dot{q}$: $T=\frac{1}{2}\sum a_{ij}\dot{q_i}\dot{q_j}$, $a_{ij}=a_{ji}(q,t)$; $U=U(q)$.

Theorem: Under these assumptions Hamiltonian $H$ is total energy of system $H=T+U$

Proof of theorem: Using Euler's theorem on homogeneous functions $\frac{\partial f}{\partial x}x=2f$. Then we have: $H=p\dot{q}-L=\frac{\partial L}{\partial \dot{q}}\dot{q}-(T-U)=2T-(T-U)=T+U$ $\blacksquare$

So if you have system with these assumptions you can say that Hamiltonian and the total energy are the same thing.

I know for sure that if the potential energy depends on the velocity, the energy will be different from Hamiltonian.

I think the Hamiltonian is not necessarily the energy for the following reason: you can demonstrate that the Lagrangian may be deduced from the D'alembert principle which is linked to the concept of force, etc. but it may be also deduced from the Hamilton's principle which is a pure mathematical concept applied to physics (a certain quantity has to be an extremum when integrated over the true path). Therefore, you can find different forms of Lagrangians giving the same equations of motion (Lagrange's equations): either by buiding up a Lagrangian $L=T-U$, or by building up another Lagrangian furnishing the same equations. You might think the latter Lagrangian gives the right equations of motion but is actually wrong: the Hamilton's principle prevents you to affirm this.

Example drawn from a french textbook (C. Cohen Tannoudji):

Let's imagine two independent identical 1D harmonic oscillators with x and y coordinates.

From the D'Alembert principle, you have

$L=T-U=\frac{1}{2}m(\dot{x}^2+\dot{y}^2)-\frac{1}{2}m\omega_0^2(x^2+y^2)$,

and the equations of motions are

$\ddot{x}=-\omega_0^2x$

and

$\ddot{y}=-\omega_0^2y$.

If you use this other Lagrangian $L'=m\dot{x}\dot{y}-m\omega_0xy$, you exactly find the same equations. $L'$ could have been deduced from the Hamilton's principle.

If, then, you decide to write the Hamiltonian using the usual Legendre's transformation and the definition of momentum, you easily show that the Hamiltonians are also different.

In the often mentioned case where a moving frame is chosen to define the coordinates, it is normal that the energy be different from the case where the frame is at rest. I mean, you find the same result in Newton's mechanics: a particle of mass $m$ and velocity $v$ has an energy $E=\frac{1}{2}mv^2$ whereas in its proper frame, $E=0$. Up to me this answer for the Hamiltonian is somehow trivial.

I think it's due to the fact that your transformation equations between $x_{\alpha ,i}$ and $q_{j}$ do explicitly contain the time.

$$x = Rsin(\phi )cos(\theta )=Rsin(\phi )cos(\omega t)$$ $$y = Rsin(\phi )sin(\theta )=Rsin(\phi )sin(\omega t)$$ $$z = Rcos(\phi )$$

And, according to the theorem mentioned by Oiale, your kinetic energy does not present as a quadratic form of $\dot{q}$. That is why your Hamiltonian (canonical energy) is not equal to mechanical energy. The sufficient conditions of $H=E$ is :

(1) The potential energy is velocity independent.

(2) The transformation equations between $x_{\alpha ,i}$ and $q_{j}$ do not explicitly contain the time

Therefore, if we rewrite the coordinate transformation,

$$x = Rsin(\phi )cos(\theta )$$ $$y = Rsin(\phi )sin(\theta )$$ $$z = Rcos(\phi )$$

then, your mechanical energy, Lagrangian and Hamiltonian(canonical energy) will be:

$$E =\frac{P_{\phi }^{2}}{2mR^{2}}+\frac{P_{\theta }^{2}}{2mR^{2}sin(\phi )^{2}}+mgRcos(\phi )$$ $$L=\frac{P_{\phi }^{2}}{2mR^{2}}+\frac{P_{\theta }^{2}}{2mR^{2}sin(\phi )^{2}}-mgRcos(\phi )$$ $$H =\frac{P_{\phi }^{2}}{2mR^{2}}+\frac{P_{\theta }^{2}}{2mR^{2}sin(\phi )^{2}}+mgRcos(\phi )$$

Obviously, $H=E$.

Sorry, I think I made a mistake. I just ignored the constraint equation, $$f(\phi ,\theta ,t) = \theta -\omega t = 0$$ Hence, I should modify my Hamiltonian. $$H^{'}=H-\lambda f(\phi ,\theta ,t)$$

Please see the "Hamiltonian from a Lagrangian with constraints?" topic in SE.