Daily Archives: Sun, 11 December 2016

Passive, regular and active transformations. Invariance of the Hamiltonian and generators of transformations

References: Shankar, R. (1994), Principles of Quantum Mechanics, Plenum Press. Sections 2.7 & 2.8; Exercises 2.8.1 – 2.8.2.

The canonical transformations we’ve considered so far are of the form

\displaystyle \overline{q}_{i} \displaystyle = \displaystyle \overline{q}_{i}\left(q,p\right)\ \ \ \ \ (1)
\displaystyle \overline{p}_{i} \displaystyle = \displaystyle \overline{p}_{i}\left(q,p\right) \ \ \ \ \ (2)

The interpretation of these transformations is that we are using a new set of coordinates and momenta to describe the same point in phase space. For example, in 2-d we can describe the point one unit along the {y} axis by the coordinates {x=0,y=1} if we use rectangular coordinates, or by {r=1,\theta=\frac{\pi}{2}} if we use polar coordinates. The numerical values of the coordinates are different in the two systems, but the geometric point being described is the same. Such a transformation is called a passive transformation. In a passive transformation, any function {\omega} always has the same value at a given point in phase space no matter which coordinate system we’re using, so we can say that

\displaystyle \omega\left(q,p\right)=\omega\left(\bar{q},\bar{p}\right) \ \ \ \ \ (3)


where it is understood that {\left(q,p\right)} and {\left(\bar{q},\bar{p}\right)} both refer to the same point, but in different representations.

One characteristic of a passive transformation is that the ranges of the variables used to represent a point in phase space need not be the same in the two systems. For example, in 2-d rectangular coordinates, both {x} and {y} can range from {-\infty} to {+\infty}, while in polar coordinates {r} ranges between 0 and {+\infty} while the angle {\theta} runs between 0 and {2\pi}.

A special type of transformation is a regular transformation, in which the variables in the two systems have the same ranges. For example, if we translate a 2-d system by 1 unit along the {x} axis, the new coordinates are related to the old ones by

\displaystyle \bar{x} \displaystyle = \displaystyle x-1\ \ \ \ \ (4)
\displaystyle \bar{y} \displaystyle = \displaystyle y \ \ \ \ \ (5)

Both the original and barred systems have the same range ({-\infty} to {+\infty}).

Although we can interpret a regular transformation as a passive transformation, we can also think of it in a different way. We can image that instead of just providing a different label for the same point that the transformed coordinate has actually shifted the system to a new location in phase space. In the above example, this would mean that we have physically moved the system by 1 unit along the {x} axis. This interpretation is known as an active transformation.

If a function {\omega} is invariant under an active transformation, then it satisfies the condition

\displaystyle \omega\left(q,p\right)=\omega\left(\bar{q},\bar{p}\right) \ \ \ \ \ (6)

Although mathematically this is the same as 3, physically it means something quite different, since now the points {\left(q,p\right)} and {\left(\bar{q},\bar{p}\right)} refer to different points in phase space, so we’re saying that the function {\omega} does not change when we move the physical system in the way specified by the active transformation.

We now restrict ourselves to talking about regular canonical transformations. Consider some dynamical variable (it could be momentum or angular momentum, for example) {g\left(q,p\right)} and suppose we define the transformations

\displaystyle \bar{q}_{i} \displaystyle = \displaystyle q_{i}+\epsilon\frac{\partial g}{\partial p_{i}}\equiv q_{i}+\delta q_{i}\ \ \ \ \ (7)
\displaystyle \bar{p}_{i} \displaystyle = \displaystyle p_{i}-\epsilon\frac{\partial g}{\partial q_{i}}\equiv p_{i}+\delta p_{i} \ \ \ \ \ (8)

where {\epsilon} is some infinitesimal quantity.

First, we need to show that, to first order in {\epsilon}, this is a canonical transformation. The required conditions for this are

\displaystyle \left\{ \overline{q}_{i},\overline{q}_{j}\right\} \displaystyle = \displaystyle \left\{ \overline{p}_{i},\overline{p}_{j}\right\} =0\ \ \ \ \ (9)
\displaystyle \left\{ \overline{q}_{i},\overline{p}_{j}\right\} \displaystyle = \displaystyle \delta_{ij} \ \ \ \ \ (10)

Consider first (we’ll use the summation convention, so the index {k} is summed in what follows):

\displaystyle \left\{ \overline{q}_{i},\overline{p}_{j}\right\} \displaystyle = \displaystyle \frac{\partial}{\partial q_{k}}\left(q_{i}+\epsilon\frac{\partial g}{\partial p_{i}}\right)\frac{\partial}{\partial p_{k}}\left(p_{j}-\epsilon\frac{\partial g}{\partial q_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \frac{\partial}{\partial p_{k}}\left(q_{i}+\epsilon\frac{\partial g}{\partial p_{i}}\right)\frac{\partial}{\partial q_{k}}\left(p_{j}-\epsilon\frac{\partial g}{\partial q_{j}}\right)\ \ \ \ \ (11)
\displaystyle \displaystyle = \displaystyle \left(\delta_{ik}+\epsilon\frac{\partial^{2}g}{\partial p_{i}q_{k}}\right)\left(\delta_{jk}-\epsilon\frac{\partial^{2}g}{\partial p_{k}q_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \left(0+\epsilon\frac{\partial^{2}g}{\partial p_{i}p_{k}}\right)\left(0-\epsilon\frac{\partial^{2}g}{\partial q_{j}q_{k}}\right) \ \ \ \ \ (12)

The zeroes in the last line follow from the fact that {q_{k}} and {p_{k}} are independent variables. We can now keep terms only up to first order in {\epsilon} to get

\displaystyle \left\{ \overline{q}_{i},\overline{p}_{j}\right\} \displaystyle = \displaystyle \delta_{ik}\delta_{jk}+\epsilon\left(\frac{\partial^{2}g}{\partial p_{i}q_{k}}\delta_{jk}-\frac{\partial^{2}g}{\partial p_{k}q_{j}}\delta_{ik}\right)\ \ \ \ \ (13)
\displaystyle \displaystyle = \displaystyle \delta_{ij}+\epsilon\left(\frac{\partial^{2}g}{\partial p_{i}q_{j}}-\frac{\partial^{2}g}{\partial p_{i}q_{j}}\right)\ \ \ \ \ (14)
\displaystyle \displaystyle = \displaystyle \delta_{ij} \ \ \ \ \ (15)

The other two brackets work out similarly:

\displaystyle \left\{ \overline{q}_{i},\overline{q}_{j}\right\} \displaystyle = \displaystyle \frac{\partial}{\partial q_{k}}\left(q_{i}+\epsilon\frac{\partial g}{\partial p_{i}}\right)\frac{\partial}{\partial p_{k}}\left(q_{j}+\epsilon\frac{\partial g}{\partial p_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \frac{\partial}{\partial p_{k}}\left(q_{i}+\epsilon\frac{\partial g}{\partial p_{i}}\right)\frac{\partial}{\partial q_{k}}\left(q_{j}+\epsilon\frac{\partial g}{\partial p_{j}}\right)\ \ \ \ \ (16)
\displaystyle \displaystyle = \displaystyle \left(\delta_{ik}+\epsilon\frac{\partial^{2}g}{\partial p_{i}q_{k}}\right)\left(0+\epsilon\frac{\partial^{2}g}{\partial p_{k}p_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \left(0+\epsilon\frac{\partial^{2}g}{\partial p_{i}p_{k}}\right)\left(\delta_{jk}+\epsilon\frac{\partial^{2}g}{\partial p_{j}q_{k}}\right)\ \ \ \ \ (17)
\displaystyle \displaystyle = \displaystyle \delta_{ik}\epsilon\frac{\partial^{2}g}{\partial p_{k}p_{j}}-\delta_{jk}\epsilon\frac{\partial^{2}g}{\partial p_{i}p_{k}}\ \ \ \ \ (18)
\displaystyle \displaystyle = \displaystyle \epsilon\left(\frac{\partial^{2}g}{\partial p_{i}p_{j}}-\frac{\partial^{2}g}{\partial p_{i}p_{j}}\right)\ \ \ \ \ (19)
\displaystyle \displaystyle = \displaystyle 0 \ \ \ \ \ (20)
\displaystyle \left\{ \overline{p}_{i},\overline{p}_{j}\right\} \displaystyle = \displaystyle \frac{\partial}{\partial q_{k}}\left(p_{i}-\epsilon\frac{\partial g}{\partial q_{i}}\right)\frac{\partial}{\partial p_{k}}\left(p_{j}-\epsilon\frac{\partial g}{\partial q_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \frac{\partial}{\partial p_{k}}\left(p_{i}-\epsilon\frac{\partial g}{\partial q_{i}}\right)\frac{\partial}{\partial q_{k}}\left(p_{j}-\epsilon\frac{\partial g}{\partial q_{j}}\right)\ \ \ \ \ (21)
\displaystyle \displaystyle = \displaystyle \left(0-\epsilon\frac{\partial^{2}g}{\partial q_{i}q_{k}}\right)\left(\delta_{jk}-\epsilon\frac{\partial^{2}g}{\partial p_{k}q_{j}}\right)-\nonumber
\displaystyle \displaystyle \displaystyle \left(\delta_{ik}-\epsilon\frac{\partial^{2}g}{\partial q_{i}p_{k}}\right)\left(0-\epsilon\frac{\partial^{2}g}{\partial q_{j}q_{k}}\right)\ \ \ \ \ (22)
\displaystyle \displaystyle = \displaystyle -\delta_{jk}\epsilon\frac{\partial^{2}g}{\partial q_{i}q_{k}}+\delta_{ik}\epsilon\frac{\partial^{2}g}{\partial q_{k}q_{j}}\ \ \ \ \ (23)
\displaystyle \displaystyle = \displaystyle -\epsilon\left(\frac{\partial^{2}g}{\partial q_{i}q_{j}}-\frac{\partial^{2}g}{\partial q_{i}q_{j}}\right)\ \ \ \ \ (24)
\displaystyle \displaystyle = \displaystyle 0 \ \ \ \ \ (25)

Thus all the brackets check out, so the transformation is canonical.

The point of all this is that, if the Hamiltonian is invariant under the transformations 7 and 8 then the variable {g} is conserved (that is, doesn’t change with time). {g} is called the generator of the transformation. We can verify this by using the chain rule to calculate the variation in {H}:

\displaystyle \delta H \displaystyle = \displaystyle \frac{\partial H}{\partial q_{i}}\delta q_{i}+\frac{\partial H}{\partial p_{i}}\delta p_{i}\ \ \ \ \ (26)
\displaystyle \displaystyle = \displaystyle \epsilon\left[\frac{\partial H}{\partial q_{i}}\frac{\partial g}{\partial p_{i}}-\frac{\partial H}{\partial p_{i}}\frac{\partial g}{\partial q_{i}}\right]\ \ \ \ \ (27)
\displaystyle \displaystyle = \displaystyle \epsilon\left\{ H,g\right\} \ \ \ \ \ (28)

Since {H} is invariant, we must have {\delta H=0}, so

\displaystyle \left\{ H,g\right\} =0 \ \ \ \ \ (29)

However, this is the condition for {g} to be conserved. QED.

Example Suppose we have a two particle system moving in one dimension, with positions {q_{1},q_{2}} and momenta {p_{1},p_{2}}. If we take

\displaystyle g=p_{1}+p_{2} \ \ \ \ \ (30)

we get

\displaystyle \delta q_{i} \displaystyle = \displaystyle \epsilon\frac{\partial g}{\partial p_{i}}=\epsilon\ \ \ \ \ (31)
\displaystyle \delta p_{i} \displaystyle = \displaystyle -\epsilon\frac{\partial g}{\partial q_{i}}=0 \ \ \ \ \ (32)

That is, each particle gets shifted by the same amount {\epsilon} but the momentum of each particle remains unchanged. Thus the total momentum is the generator of infinitesimal translations. The physical interpretation of this is that, since the momentum of each particle is conserved, the total kinetic energy

\displaystyle T=\frac{p_{1}^{2}}{2m_{1}}+\frac{p_{2}^{2}}{2m_{2}} \ \ \ \ \ (33)

remains unchanged. Since the total energy is invariant, the total potential energy of the system is unaffected by a translation, which means that there is no external force on the system.