4

I have a volume element in phase space:

$$ d\omega = \prod _{i=1}^{N}(dq_{i},dp_{i})$$

Now I should show the invariance of this product under canonical transformations. I think first I would have to write down a general equation for the canonical transformation then compute the total differential and plug this into the equation given. My problem is now I can't figure out how the equation for a general canonical transformation would look like. Does anybody have a hint how to start? The proof should be done without the concept of Symplectomorphisms like it was already shown in this question Which transformations are canonical?

zodiac
  • 169

2 Answers2

3

For a canonical transformation that is not a point transformation:

In the symplectic formulation of Hamiltonian mechanics we have

$$ \dot{\boldsymbol{\eta}} = J \frac{\partial H}{\partial \boldsymbol{\eta}}, $$

where $H$ is the Hamiltonian of the system,$\boldsymbol{\eta} = (q_1 \dots q_n p_1 \dots p_n)^T$ and the $2n \times 2n$ matrix J is defined by

$$ J = \begin{bmatrix} 0 & I \\ -I & 0 \end{bmatrix}, $$

with $I$ denoting the $n\times n$ identity matrix, and $0$ the $n\times n$ matrix with only $0$ as entries. Consider a coordinate transformation $\boldsymbol{\xi} = \boldsymbol{\xi}(\boldsymbol{\eta})$. Then

$$ \dot{\xi}_i = \frac{\partial \xi_i}{\partial \eta_j} \dot{\eta}_j = \frac{\partial \xi_i}{\partial \eta_j} J_{jk} \frac{\partial H}{\partial \eta_k} = \frac{\partial \xi_i}{\partial \eta_j} J_{jk} \frac{\partial \xi_l}{\partial \eta_k} \frac{\partial H}{\partial \xi_l}. $$

That is,

$$ \dot{\boldsymbol{\xi}} = D J D^T \frac{\partial H}{\partial \boldsymbol{\xi}}, $$

where $D$ is the Jacobian matrix of the transformation. For the coordinate transformation to be a canonical transformation we thus require $DJD^T = J$. It is straight forward to show that this is equivalent to

$$ \lbrace \xi_i, \xi_j \rbrace_{\boldsymbol{\eta}} = J_{ij}, $$ which the preservation of Poisson brackets.

Now consider the determinant of $J$:

$$ \det(J) = \det(DJD^T) = \det(J) (\det{(D)})^2 \Rightarrow \vert \det(D) \vert = 1. $$

This is condition is the same as conservation of the volume of a phase space volume element:

$$ \text{d}\omega ^\prime = \prod_i \text{d}q_i \text{d}p_i = \prod_i | \det(D) | \text{d}Q_i \text{d}P_i = \text{d}\omega $$

sondre
  • 390
  • 2
  • 11
1

Consider a phase space volume $d\omega = \prod dq^idp_i$. Time evolution can be viewed as the unfolding of canonical transformations, hence, we shall evolve this system $t\rightarrow t+dt$. We wish to show invariance of the measure under this canonical transformation $(q,p) \rightarrow (Q,P)$ where: $$ Q^i = q^i + \dot q^id t, \qquad P^i = p_i + \dot p_idt $$ Compute the new volume $d\omega' = \prod dQ^idP_i$:

\begin{align} d\omega ' &= \prod d( q^i + \dot q^id t, p_i + \dot p_id t)\\ & = \prod ( dq^i + \frac{\partial \dot q^i}{\partial q^i}dt, dp_i + \frac{\partial \dot p_i}{\partial p_i}d t) \end{align} Let us now expand this and retain terms linear in $dt$ we obtain $$ d\omega' \approx \sum_i \bigg( \frac{\partial \dot q^i}{\partial q^i} + \frac{\partial \dot p_i}{\partial p_i}\bigg) = \bigg\{\frac{\partial }{\partial q^i}\frac{\partial H}{\partial p_i} - \frac{\partial }{\partial p_i}\frac{\partial H}{\partial q^i}\bigg\} = 0 $$ Therefore, we have shown invariance of the measure under a canonical transformation.

AngusTheMan
  • 2,411
  • yeah but what of transformations which are not point transformation and cannot be generated by an evolution? – ZeroTheHero May 16 '20 at 16:27
  • I have added an answer showing this for a canonical transformation which need not be a point transformation. – sondre Jan 17 '21 at 20:38