Galilean transformations are not compatible with Hamiltonian mechanics

# Galilean transformations are not compatible with Hamiltonian mechanics

TL;DR Galilean boosts do not leave Hamilton’s equations and phase space volumes unchanged. They give good approximations only for small changes in velocity.

When studying physics, you learn that relativistic mechanics is more “correct” and non-relativistic mechanics is just an approximation. But you may also get a sense that non-relativistic mechanics is self-consistent: it just so happens that the world is different. If you look at things closely, though, I don’t think that’s the case. The problem is that typically in textbooks a small sleight of hand is performed, so we have to look from a slightly different angle to see the trick.

First we have to make a distinction between the “principle of relativity”, which just states that the laws are invariant under any coordinate transformations, and the “theory of special relativity”, which adds that the speed of light is invariant and gives you things like $E=mc^2$. We are mainly going to concentrate on the first.

The idea is this: if we make Hamiltonian mechanics “relativistic”, in the sense of making sure it gives the same equations for all reference frames, what do we get? It will take a few posts to explore this question. What we’ll see is that we already get some results associated with the theory of special relativity, even though we didn’t require the invariance of the speed of light.

We start by concentrating on a simpler question: is standard Hamiltonian mechanics invariant under Galilean transformations? That is, what happens if we boost our frame according to $\hat{x}=x+ v_0 t$? What we find is that standard Hamiltonian mechanics already breaks down and the transformation is a good approximation only if $v_0$ is small. Which is a result that already sounds like the theory of special relativity.

Let’s break this down into smaller steps.

1. Change of coordinates

Suppose we have a Hamiltonian system. Its state is given by position $x^i$ and momentum $p_j$. Its evolution is given by:

\begin{aligned}
\frac{dx^i}{dt} = \frac{\partial H}{\partial p_i} \\
\frac{dp_j}{dt} = – \frac{\partial H}{\partial x^j} \\
\end{aligned}
\label{Hamilton}

where $H(x^i,p_j)$ is the Hamiltonian.

Suppose we change coordinates $\hat{x}^i = \hat{x}^i(x^j)$: how does the momentum change? We can recover the transformation rule of momentum by requiring that, in the new coordinates, the system is still Hamiltonian. One way of doing that is requiring that area elements of phase space are conserved. We find that the product of the two matrices $\frac{\partial \hat{x}^i}{\partial x^j}$ and $\frac{\partial \hat{p}_i}{\partial p_k}$ must be the identity matrix, which means one is the inverse of the other.
\begin{equation*}
\begin{aligned}
dx^i \wedge dp_i = d\hat{x}^i\wedge d\hat{p}_i &= \frac{\partial \hat{x}^i}{\partial x^j} dx^j \wedge \frac{\partial \hat{p}_i}{\partial p_k} dp_k \\
\frac{\partial \hat{x}^i}{\partial x^j} \frac{\partial \hat{p}_i}{\partial p_k} &= \delta^k_j \\
\frac{\partial \hat{p}_i}{\partial p_k} = \left[\frac{\partial \hat{x}^i}{\partial x^k}\right]^{-1} &= \frac{\partial x^k}{\partial \hat{x}^i}
\end{aligned}
\end{equation*}

This means that $\frac{\partial \hat{p}_i}{\partial p_k}$ is only a function of position, therefore the new momentum must be a linear transformation with respect to the old momentum. Integrating we have:
\begin{equation*}
\begin{aligned}
\hat{x}^i &= \hat{x}^i(x^j) \\
\hat{p}_i &= \frac{\partial x^j}{\partial \hat{x}^i} p_j + \frac{\partial f(x^j)}{\partial \hat{x}^i}
\end{aligned}
\end{equation*}
where $f$ is an arbitrary function. Since it is arbitrary, we set it to zero and have:

\begin{aligned}
\hat{x}^i &= \hat{x}^i(x^j) \\
\hat{p}_i &= \frac{\partial x^j}{\partial \hat{x}^i} p_j
\end{aligned}
\label{spaceTransf}

Technically, we haven’t shown why the arbitrary function added to the momentum is actually the gradient of a scalar function. Since we are setting it to zero, I didn’t want to put details that are not that relevant.

The point is: the components of momentum do not transform like a vector, they are not multiplied by the Jacobian, but do transform like a covector, they are multiplied by the inverse of the Jacobian. $dx^i$ gets multiplied by the Jacobian, $dp_i$ by its inverse, so the phase space area remains the same. Note that the transformation rules are completely general: they do not depend on the particular $\hat{x}^i(x^j)$ or the particular $H(x^i,p_j)$. They are valid across all coordinate frames for any Hamiltonian system. As far as spatial transformation is concerned, Hamiltonian mechanics is “relativistic” as it respects the principle of relativity for those transformations. Note that the same can’t be said for Newtonian mechanics.

2. Galilean transformations Now we want to see what happens if we use a Galilean boost and, for simplicity, we’ll only use the coordinate in the direction of boost. Plugging into \eqref{spaceTransf} we have:

\begin{aligned}
\hat{x} &= x + v_0 t \\
\hat{p} &= p
\end{aligned}
\label{galTransf}

since $\frac{\partial x}{\partial \hat{x}} = \frac{\partial (\hat{x} – v_0 t)}{\partial \hat{x}} = 1$. Already note something unexpected: momentum does not change. We could use the arbitrary function and set $\hat{p} = p + m v_0$ but that is really ad-hoc, it’s not following the general rule.

If we want to calculate the differential and the derivative, we have to decide how to treat $t$. We could treat it as a constant parameter and have:

\begin{aligned}
d\hat{x} &= dx \\
\frac{d\hat{x}}{dt} &= \frac{dx}{dt} \\
d\hat{x}\wedge d\hat{p} &= dx \wedge dp
\end{aligned}
\label{timeParameter}

Or we can treat is as an independent variable:

\begin{aligned}
d\hat{x} &= dx + v_0 dt \\
\frac{d\hat{x}}{dt} &= \frac{dx}{dt} + v_0 \\
d\hat{x}\wedge d\hat{p} &= dx \wedge dp + v_0 dt \wedge dp
\end{aligned}
\label{timeCoordinate}

In both cases we have a problem. In the first, the velocity does not change as we are adding the same constant number throughout the trajectory. In the second, the area of phase space is not conserved, so the coordinate transformation is not canonical: the equations of motion are not going to be Hamilton’s equations so they are not invariant.

Note, though, that if $v_0$ is “small enough”, the area of phase space is “almost” conserved so the error introduced by using Hamilton’s equations is “small”. In other words: the transformation is still incorrect but not that incorrect. Standard Hamiltonian mechanics with Galilean transformation can be a good approximation. But if $v_0$ is large, it breaks down.

3. Conclusion

If you tried with more complicated transformations, you’d get even worse results. In the sense explored here, standard Hamiltonian mechanics is not relativistic under any time transformation, including Galilean. It’s not that we need to make Hamiltonian mechanics relativistic so that it can handle the invariance of the speed of light: we need to make it relativistic so that it can handle any type of coordinate transformation. The invariance of the speed of light does something different: it constrains the Hamiltonian.

This issue is not explored in textbooks. But they do change coordinate systems, even to non-inertial ones! How do they do it? What they do is start from the Lagrangian, which is invariant under all transformations, change the variable there, calculate the new conjugate momentum and then the new Hamiltonian. This does indeed yield the correct result, so if you are only interested in crunching the numbers you are done. That is why, at a technical level, they always put the Lagrangian first. But it does have at least two problems.

First, as we saw in other posts, there are Hamiltonian systems for which you can’t write the Lagrangian. In practice, all interesting systems are also Lagrangian so this is more of a conceptual problem. But conceptual problems are exactly what we need to solve if we want to get a good understanding.

The second problem is that it hides the issue, which prevents getting a clear picture. If one addresses it head on, it gives better insights on the connections between classical mechanics, quantum mechanics and special relativity. And that is what we are going to see in the next few posts.

## 2 Replies to “Galilean transformations are not compatible with Hamiltonian mechanics”

1. Ashwin Singh says:

I’m not sure I follow what the problem is here. Canonical transformations aren’t supposed to preserve only p dx, but they are meant to preserve pdx – Hdt. H will also change under a time dependent transormation no?

Here’s the first thing on google I found with an example, http://www.srl.caltech.edu/phys106/p106b01/topic2.pdf at p 9 ish. They have a generating function for the galileian boost.

You also write “What they do is start from the Lagrangian, which is invariant under all transformations…” but this isn’t true. Lagrangians are invariant under all point transformations, which is a subset of all possible transformations in phase space. In a point transformation, you change q to Q, and dQ/dt is derived from this transformation. A general phase space transformation is less demanding, allowing the momenta p to change independently of the Q. All point transformations are canonical, and the Galileian boost should be no exception.

Maybe there’s something I’m missing here, but it strikes me as extremely strange that Galileian boosts could be non canonical – people surely would have thought of relativity much sooner!

1. Gabriele Carcassi says:

Hi Ashwin. Sorry for the late reply. It may be a problem of definitions. Mathematically, canonical coordinates are those for which the canonical one-form can be written as p_i dq^i. See, for example, https://en.wikipedia.org/wiki/Canonical_coordinates . So, yes pdx-Hdt is preserved, but then the canonical one-form is not, since it’s only the first part. The other issue here is that t is a parameter, and not a coordinate. So p dx – H dt, from the perspective of differential geometry, is not really well defined. If you do, then note how you have (p, -H) \cdot (dx, dt), which is quasi-relativistic.

As for invariance of Lagrangian, I don’t follow. We are talking about coordinate transformations only, so q to Q. And you are saying that a Lagrangian is invariant over all of those… What is the issue?

And, yes: relativity could have been discovered through particle mechanics instead of field theories. People were not looking there, though: they had no reason to.