Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

PHY354H1S. Advanced Classical Mechanics (Taught by Prof. Erich Poppitz). Phase Space and Trajectories.

Posted by peeterjoot on March 5, 2012

[Click here for a PDF of this post with nicer formatting and figures if the post had any (especially if my latex to wordpress script has left FORMULA DOES NOT PARSE errors.)]

Phase space and phase trajectories.

The phase space and phase trajectories are the space of p‘s and q‘s of a mechanical system (always even dimensional, with as many p‘s as q‘s for N particles in 3d: 6N dimensional space).

The state of a mechanical system \equiv the point in phase space.
Time evolution \equiv a curve in phase space.

Example: 1 dim system, say a harmonic oscillator.

\begin{aligned}H = \frac{p^2}{2m} + \frac{1}{2} m \omega^2 q^2\end{aligned} \hspace{\stretch{1}}(1.1)

Our phase space can be illustrated as an ellipse as in figure (\ref{fig:phaseSpaceAndTrajectories:phaseSpaceAndTrajectoriesFig1})
\begin{figure}[htp]
\centering
\includegraphics[totalheight=0.2\textheight]{phaseSpaceAndTrajectoriesFig1}
\caption{Harmonic oscillator phase space trajectory.}
\end{figure}

where the phase space trajectories of the SHO. The equation describing the ellipse is

\begin{aligned}E = \frac{p^2}{2m} + \frac{1}{2} m \omega^2 q^2,\end{aligned} \hspace{\stretch{1}}(1.2)

which we can put into standard elliptical form as

\begin{aligned}1 = \left( \frac{p}{\sqrt{2 m E}}\right)^2 + \left(\sqrt{\frac{m}{2 E}} \omega\right) q^2\end{aligned} \hspace{\stretch{1}}(1.3)

Applications of H.

\begin{itemize}
\item Classical stat mech.
\item transition into QM via Poisson brackets.
\item mathematical theorems about phase space “flow”.
\item perturbation theory.
\end{itemize}

Poisson brackets.

Poisson brackets arises very naturally if one asks about the time evolution of a function f(p, q, t) on phase space.

\begin{aligned}\frac{d{{}}}{dt} f(p_i, q_i, t)&=\sum_i \frac{\partial {f}}{\partial {p_i}} \frac{\partial {p_i}}{\partial {t}}+ \frac{\partial {f}}{\partial {q_i}} \frac{\partial {q_i}}{\partial {t}}+ \frac{\partial {f}}{\partial {t}} \\ &=\sum_i- \frac{\partial {f}}{\partial {p_i}} \frac{\partial {H}}{\partial {q_i}}+ \frac{\partial {f}}{\partial {q_i}} \frac{\partial {H}}{\partial {p_i}}+ \frac{\partial {f}}{\partial {t}}\end{aligned}

Define the commutator of H and f as

\begin{aligned}\left[{H},{f}\right] =\sum_i\frac{\partial {H}}{\partial {p_i}}\frac{\partial {f}}{\partial {q_i}}-\frac{\partial {H}}{\partial {q_i}}\frac{\partial {f}}{\partial {p_i}}\end{aligned} \hspace{\stretch{1}}(1.4)

This is the Poisson bracket of H(p,q,t) with f(p,q,t), defined for arbitrary functions on phase space.

Note that other conventions for sign exist (apparently in Landau and Lifshitz uses the opposite).

So we have

\begin{aligned}\frac{d{{}}}{dt} f(p_i, q_i, t) = \left[{H},{f}\right] + \frac{\partial {f}}{\partial {t}}.\end{aligned} \hspace{\stretch{1}}(1.5)

Corollaries:

If f has no explicit time dependence {\partial {f}}/{\partial {t}} = 0 and if \left[{H},{f}\right] = 0, then f is an integral of motion.

In QM conserved quantities are the ones that commute with the Hamiltonian operator.

To see the analogy better, recall def of Poisson bracket

\begin{aligned}\left[{f},{g}\right] =\sum_i\frac{\partial {f}}{\partial {p_i}}\frac{\partial {g}}{\partial {q_i}}-\frac{\partial {f}}{\partial {q_i}}\frac{\partial {g}}{\partial {p_i}}\end{aligned} \hspace{\stretch{1}}(1.6)

Properties of Poisson bracket

\begin{itemize}
\item antisymmetric

\begin{aligned}\left[{f},{g}\right] = -\left[{g},{f}\right].\end{aligned} \hspace{\stretch{1}}(1.7)

\item linear

\begin{aligned}\left[{a f + b h},{g}\right] &= a \left[{f},{g}\right] + b\left[{h},{g}\right] \\ \left[{g},{a f + b h}\right] &= a \left[{g},{f}\right] + b\left[{g},{h}\right].\end{aligned} \hspace{\stretch{1}}(1.8)

\end{itemize}

Example. Compute p, q commutators.

\begin{aligned}\left[{p_i},{p_j}\right] &= \sum_k\frac{\partial {p_i}}{\partial {p_k}}\not{{\frac{\partial {p_j}}{\partial {q_k}}}}-\not{{\frac{\partial {p_i}}{\partial {q_k}}}}\frac{\partial {p_j}}{\partial {p_k}} \\ &= 0\end{aligned}

So

\begin{aligned}\left[{p_i},{p_j}\right] = 0\end{aligned} \hspace{\stretch{1}}(1.10)

Similarly \left[{q_i},{q_j}\right] = 0.

How about

\begin{aligned}\left[{q_i},{p_j}\right] &= \sum_k\not{{\frac{\partial {q_i}}{\partial {p_k}}}}\not{{\frac{\partial {p_j}}{\partial {q_k}}}}-\frac{\partial {q_i}}{\partial {q_k}}\frac{\partial {p_j}}{\partial {p_k}} \\ &= -\sum_k\delta_{ik}\delta_{jk} \\ &=-\delta_{ij}\end{aligned}

So

\begin{aligned}\left[{q_i},{p_j}\right] = -\delta_{ij}.\end{aligned} \hspace{\stretch{1}}(1.11)

This provides a systematic (axiomatic) way to “quantize” a classical mechanics system, where we make replacements

\begin{aligned}q_i &\rightarrow \hat{q}_i \\ p_i &\rightarrow \hat{p}_i,\end{aligned} \hspace{\stretch{1}}(1.12)

and

\begin{aligned}\left[{q_i},{p_j}\right] = -\delta_{ij} &\rightarrow \left[{q_i},{p_j}\right] = i \hbar \delta_{ij} \\ H(p, q, t) &\rightarrow \hat{H}(\hat{p}, \hat{q}, t).\end{aligned} \hspace{\stretch{1}}(1.14)

So

\begin{aligned}\frac{\left[{\hat{q}_i},{\hat{p}_j}\right]}{-i \hbar } = - \delta_{ij}\end{aligned} \hspace{\stretch{1}}(1.16)

Our quantization of time evolution is therefore

\begin{aligned}\frac{d{{}}}{dt} \hat{q}_i &= \frac{1}{{-i\hbar}} \left[{\hat{H}},{\hat{q}_i}\right] \\ \frac{d{{}}}{dt} \hat{p}_i &= \frac{1}{{-i\hbar}} \left[{\hat{H}},{\hat{p}_i}\right].\end{aligned} \hspace{\stretch{1}}(1.17)

These are the Heisenberg equations of motion in QM.

Conserved quantities.

For conserved quantities f, functions of p‘s q‘s, we have

\begin{aligned}\left[{f},{H}\right] = 0\end{aligned} \hspace{\stretch{1}}(1.19)

Considering the components M_i, where

\begin{aligned}\mathbf{M} = \mathbf{r} \times \mathbf{p},\end{aligned} \hspace{\stretch{1}}(1.20)

We can show (3.27) that our Poisson brackets obey

\begin{aligned}\left[{M_x},{M_y}\right] &= -M_z \\ \left[{M_y},{M_z}\right] &= -M_x \\ \left[{M_z},{M_x}\right] &= -M_y\end{aligned} \hspace{\stretch{1}}(1.21)

(Prof Poppitz wasn’t sure of the sign of this and the particular bracket sign convention he happened to be using, but it appears he had it right).

These are the analogue of the momentum commutator relationships from QM right here in classical mechanics.

Considering the symmetries that lead to this conservation relationship, it is actually possible to show that rotations in 4D space lead to these symmetries and the conservation of the Runge-Lenz vector.

Adiabatic changes in phase space and conserved quantities.

In figure (\ref{fig:phaseSpaceAndTrajectories:phaseSpaceAndTrajectoriesFig2}) where we have

\begin{figure}[htp]
\centering
\includegraphics[totalheight=0.2\textheight]{phaseSpaceAndTrajectoriesFig2}
\caption{Variable length pendulum.}
\end{figure}

\begin{aligned}T = \frac{2 \pi}{\omega(t)} = \sqrt{\frac{l(t)}{g}}.\end{aligned} \hspace{\stretch{1}}(2.24)

Imagine that we change the length l(t) very slowly so that

\begin{aligned}T \frac{1}{{l}} \frac{d{{l}}}{dt} \ll 1\end{aligned} \hspace{\stretch{1}}(2.25)

where T is the period of oscillation. This is what’s called an adiabatic change, where the change of \omega is small over a period.

It turns out that if this rate of change is slow, then there is actually an invariant, and

\begin{aligned}\frac{E}{\omega},\end{aligned} \hspace{\stretch{1}}(2.26)

is the so-called “adiabatic invariant”. There’s an important application to this (and some relations to QM). Imagine that we have a particle bounded by two walls, where the walls are moved very slowly as in figure (\ref{fig:phaseSpaceAndTrajectories:phaseSpaceAndTrajectoriesFig3})
\begin{figure}[htp]
\centering
\includegraphics[totalheight=0.2\textheight]{phaseSpaceAndTrajectoriesFig3}
\caption{Particle constrained by slowly moving walls.}
\end{figure}

This can be used to derive the adiabatic equation for an ideal gas (also using the equipartition theorem).

Appendix I. Poisson brackets of angular momentum.

Let’s verify the angular momentum relations of 1.21 above (summation over k implied):

\begin{aligned}\left[{M_i},{M_j}\right] &=\frac{\partial {M_i}}{\partial {p_k}}\frac{\partial {M_j}}{\partial {x_k}}-\frac{\partial {M_i}}{\partial {x_k}}\frac{\partial {M_j}}{\partial {p_k}} \\ &=\epsilon_{a b i}\epsilon_{r s j}\frac{\partial {x_a p_b}}{\partial {p_k}}\frac{\partial {x_r p_s}}{\partial {x_k}}-\epsilon_{a b i} \epsilon_{r s j}\frac{\partial {x_a p_b}}{\partial {x_k}}\frac{\partial {x_r p_s}}{\partial {p_k}} \\ &=\epsilon_{a b i}\epsilon_{r s j}x_a \frac{\partial {p_b}}{\partial {p_k}}p_s \frac{\partial {x_r}}{\partial {x_k}}-\epsilon_{a b i} \epsilon_{r s j}p_b \frac{\partial {x_a}}{\partial {x_k}}x_r \frac{\partial {p_s}}{\partial {p_k}} \\ &=\epsilon_{a b i}\epsilon_{r s j}x_a \delta_{k b}p_s \delta_{k r}-\epsilon_{a b i} \epsilon_{r s j}p_b \delta_{k a}x_r \delta_{s k} \\ &=\epsilon_{a b i}\epsilon_{r s j}x_a p_s \delta_{b r}-\epsilon_{a b i} \epsilon_{r s j}p_b x_r \delta_{a s} \\ &=\epsilon_{a r i}\epsilon_{r s j}x_a p_s -\epsilon_{s b i} \epsilon_{r s j}p_b x_r \\ &=-\delta_{a i}^{[s j]}x_a p_s -\delta_{b i}^{[j r]}p_b x_r \\ &=-\left(\delta_{a s}\delta_{i j}-\delta_{a j}\delta_{i s}\right)x_a p_s -\left(\delta_{b j}\delta_{i r}-\delta_{b r}\delta_{i j}\right)p_b x_r \\ &=-\delta_{a s}\delta_{i j}x_a p_s +\delta_{a j}\delta_{i s}x_a p_s -\delta_{b j}\delta_{i r}p_b x_r +\delta_{b r}\delta_{i j}p_b x_r \\ &=-\not{{x_s p_s \delta_{i j}}}+x_j p_i -p_j x_i +\not{{p_b x_b \delta_{i j}}}\\ \end{aligned}

So, as claimed, if i \ne j \ne k we have

\begin{aligned}\left[{M_i},{M_j}\right] = -M_k.\end{aligned} \hspace{\stretch{1}}(3.27)

Appendix II. EOM for the variable length pendulum.

Since we’ve referred to a variable length pendulum above, let’s recall what form the EOM for this system take. With cylindrical coordinates as in figure (\ref{fig:phaseSpaceAndTrajectories:phaseSpaceAndTrajectoriesFig4}), and a spring constant \omega_0^2 = k/m our Lagrangian is

\begin{figure}[htp]
\centering
\includegraphics[totalheight=0.2\textheight]{phaseSpaceAndTrajectoriesFig4}
\caption{phaseSpaceAndTrajectoriesFig4}
\end{figure}

\begin{aligned}\mathcal{L} = \frac{1}{{2}} m \left( \dot{r}^2 + r^2 \dot{\theta}^2 \right) - \frac{1}{{2}} m \omega_0^2 r^2 - m g r( 1 - \cos\theta)\end{aligned} \hspace{\stretch{1}}(4.28)

The EOM follows immediately

\begin{aligned}P_\theta &= \frac{\partial {\mathcal{L}}}{\partial {\dot{\theta}}} = m r^2 \dot{\theta} \\ P_r &= \frac{\partial {\mathcal{L}}}{\partial {\dot{r}}} = m \dot{r} \\ \frac{d{{P_\theta}}}{dt} &= \frac{\partial {\mathcal{L}}}{\partial {\theta}} = -m g r \sin\theta \\ \frac{d{{P_r}}}{dt} &= \frac{\partial {\mathcal{L}}}{\partial {r}} = m r \dot{\theta}^2 - m \omega_0^2 r - m g (1 - \cos\theta)\end{aligned} \hspace{\stretch{1}}(4.29)

Or

\begin{aligned}\frac{d{{}}}{dt} \left( r^2 \dot{\theta} \right) &= - g r \sin\theta \\ \frac{d{{}}}{dt} \left( \dot{r} \right) &= r \left( \dot{\theta}^2 - \omega_0^2 \right) - g (1 - \cos\theta)\end{aligned} \hspace{\stretch{1}}(4.33)

Even in the small angle limit this isn’t a terribly friendly looking system

\begin{aligned}r \dot{d}{\theta} + 2 \dot{\theta} \dot{r} + g \theta &= 0 \\ \dot{d}{r} - r \dot{\theta}^2 + r \omega_0^2 &= 0.\end{aligned} \hspace{\stretch{1}}(4.35)

However, in the first equation of this system

\begin{aligned}\dot{d}{\theta} + 2 \dot{\theta} \frac{\dot{r}}{r} + \frac{1}{{r}} g \theta = 0,\end{aligned} \hspace{\stretch{1}}(4.37)

we do see the \dot{r}/r dependence mentioned in class, and see how this being small will still result in something that approximately has the form of a SHO.

Advertisements

One Response to “PHY354H1S. Advanced Classical Mechanics (Taught by Prof. Erich Poppitz). Phase Space and Trajectories.”

  1. Bo Chen Hsu. said

    I like your blog, because it is very useful for learning. Thanks !

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

 
%d bloggers like this: