Hamiltonian mechanics on the extended phase space

Hamiltonian mechanics on the extended phase space

TL;DR – The most complete version of Hamiltonian mechanics lives on the extended phase space that includes position, momentum, time and energy.

In this post we look at the most complete version of Hamiltonian mechanics. It is kind of a shame that this is not the version taught because it is the one that works best mathematically and is the one that allows parallels to quantum mechanics and special relativity. The general idea is that, instead of just having phase space consisting of position and momentum, we extend it to include time and energy. This way we can separate time as a coordinate (so that we can do all the coordinate changes we want) and time as the evolution parameter (so that we can keep describing the evolution no matter the coordinates).

Let’s see how this works.

1. Hamilton’s equations on the extended phase space

We consider the space formed by $(x^i,t,p_j,E)$. Each point particle will have trajectories $(x^i(s),t(s),p_j(s),E(s))$ where $s$ is the evolution parameter. The equations of motion will be given by:
\begin{equation}
\begin{aligned}
\frac{dx^i}{ds} &= \frac{\partial \mathcal{H}}{\partial p_i} \\
\frac{dt}{ds} &= – \frac{\partial \mathcal{H}}{\partial E} \\
\frac{dp_j}{ds} &= – \frac{\partial \mathcal{H}}{\partial x^j} \\
\frac{dE}{ds} &= \frac{\partial \mathcal{H}}{\partial t} \\
\end{aligned}
\label{ExtendedHamilton}
\end{equation}
where $\mathcal{H}(x^i,t,p_j,E)$ is the extended Hamiltonian. Time and energy have equations that are similar to the ones for position and momentum, except they have a sign difference. Under coordinate transformations $(p_j, -E)$ will change as a covector. This is very easy to see now because we can rewrite the equations as:
\begin{equation}
\begin{aligned}
\frac{dx^i}{ds} &= \frac{\partial \mathcal{H}}{\partial p_i} \\
\frac{dt}{ds} &= \frac{\partial \mathcal{H}}{\partial (-E)} \\
\frac{dp_j}{ds} &= – \frac{\partial \mathcal{H}}{\partial x^j} \\
\frac{d(-E)}{ds} &= – \frac{\partial \mathcal{H}}{\partial t} \\
\end{aligned}
\label{ExtendedHamiltonRewritten}
\end{equation}
So $-E$ behaves exactly like a component of momentum. The evolution parameter $s$ does not change and therefore the extended Hamiltonian does not change either: the extended Hamiltonian is invariant.

So, what is the connection between the standard Hamiltonian and the extended Hamiltonian? Between the standard set of equations and the extended set of equations?

Suppose we have a particular coordinate system where we can set $\mathcal{H} = H(x^i,p_j) – E$. We have:
\begin{equation}
\begin{aligned}
\frac{dx^i}{ds} &= \frac{\partial H}{\partial p_i} \\
\frac{dt}{ds} &= 1 \\
\frac{dp_j}{ds} &= – \frac{\partial H}{\partial x^j} \\
\frac{dE}{ds} &= 0 \\
\end{aligned}
\label{HamiltonRecovered}
\end{equation}
So $t=s$ and we recover the standard equations. That is: in the special case where we use time as the evolution parameter and the energy does not change in time we recover standard Hamiltonian mechanics.

Not only is the extended Hamiltonian invariant, but it is also constant throughout the evolution and it is customary to simply set it to zero. In the previous case we have $\mathcal{H} = 0 = H(x^i,p_j) – E$: $E = H(x^i,p_j)$.

We can see that the extended Hamiltonian has two functions: the first is as a potential for the equations of motion; the second as a constraint that links the energy to position, momentum and time.

2. Conclusion

This formulation of Hamiltonian mechanics is the most general and, personally, I think is ultimately the correct one as it allows more concepts from quantum mechanics and special relativity to be tied in.

We have seen how Hamiltonian mechanics already has an uncertainty principle, we clearly see here that energy and momentum form a covector and we will see that in extended phase space we can find classical analogues of antiparticles and other ideas that are connected to quantum field theories.

Leave a Reply

Your email address will not be published. Required fields are marked *