3
$\begingroup$

I need a clarification about Poisson brackets.

I'm studying on Goldstein's Classical Mechanics (1 ed.).

Goldstein proves that Poisson brackets are canonical invariants for any functions F and G.

But there is a step that I can't understand.

After some steps, he says that:

$$ \tag{1} [F, G]_q,_p = \sum_k ( \frac { \partial G}{\partial Q_k} [F,Q_k]_q, _p +\frac {\partial G}{\partial P_k}[F, P_k]_q, _p)$$

After other steps, he writes:

$$ \tag{2}[F,Q_k]= - \frac {\partial F}{\partial P_k}$$

and $$ \tag{3}[P_k, F]_q, _p = \sum_j \frac {\partial F}{\partial Q_j} [P_k, Q_j] + \sum_j \frac {\partial F}{\partial P_j}[P_k, P_j]$$

$$\Rightarrow \tag {4} [F,P_k]=\frac {\partial F}{\partial Q_k}$$

and now he replaces these relations in the first expression I have written, obtaining:

$$\tag {5}[F, G]_q, _p=[F, G]_Q, _P$$

Why does he obtain in the second last step $\frac {\partial F}{\partial Q_k}$ and not $-\frac {\partial F}{\partial Q_k}$? $[P_k, F]=-[F, P_k]$ isn't it?

EDIT: Golstein starts from (1) and substituites $Q_k$ to $F$ and $F$ to $G$ and so he obtains (2).

Then he substitutes $P_k$ to $F$ and $F$ to $G$ and obtains (3).

Immediately after he writes (4), that according to me is opposite to (3).

And so I have thought to a printing error. I have tried to substitute $-P_k$ to $F$ and I have obtained

$$[-P_k, F]=\frac {\partial F}{\partial Q_k}$$

Then, as $[-P_k, F]=[F,P_k]$, I can say that $$ [F,P_k]=\frac {\partial F}{\partial Q_k}$$

And so I can obtain (5).

Could you confirm that my argumentation is correct?

$\endgroup$
0

2 Answers 2

6
$\begingroup$

Maybe it will be interesting to you to see another proof of this fact.

Firstly, define $2n$ vector $\textbf{x}=(q_1,...,q_n,p_1,...,p_n)^T$ and $2n\times2n$ matrix $J$

$$J=\begin{pmatrix} 0 & 1\\ -1 & 0 \end{pmatrix}$$

With this notation we can write Hamiltonian equation in this way: $$\dot{\textbf{x}}=J\frac{\partial H}{\partial \textbf{x}}$$.

Write transformation in the form $x_i \rightarrow y_i(x)$ where $i=1,...,2n$.

Then we have $$\dot{y_i}=\frac{\partial y_i}{\partial x_j}\dot{x_j}=\frac{\partial y_i}{\partial x_j}J_{jk}\frac{\partial H}{\partial x_k}=\frac{\partial y_i}{\partial x_j}J_{jk}\frac{\partial H}{\partial y_l}\frac{\partial y_l}{\partial x_k}$$ If we define $I_{ij}=\frac{\partial y_i}{\partial x_j}$ (Jacobian) then

$$\textbf{y}=IJI^T\frac{\partial H}{\partial \textbf{y}}$$

So Hamilton's equation are left invariant if

$$IJI^T=J$$

If this holds, the Jacobian $I$ is said to be symplectic. And a change variables with a

symplectic Jacobian is said to be canonical transformation.

In this notation we can define Poisson bracket as $$\left\{f,g \right\}=\frac{\partial f}{\partial x_i}J_{ij}\frac{\partial g}{\partial x_j}$$

Now theorem.

Theorem: The poisson bracket is invariant under canonical transformations.

Proof: if $x_i \rightarrow y_i(x)$- is canonical transformation, we have $\frac{\partial f}{\partial x_i}=\frac{\partial f}{\partial y_k}I_{ki}$, so $$\left\{f,g \right\}=\frac{\partial f}{\partial y_k}I_{ki}J_{ij}I_{lj}\frac{\partial g}{\partial y_l}=\frac{\partial f}{\partial y_k}J_{kl}\frac{\partial g}{\partial y_l}$$ $\blacksquare$

$\endgroup$
2
  • $\begingroup$ I like this answer, can you please point me to a reference which talks about the definition of a canonical transformation you mentioned (i.e I being symplectic)? I would give you 100 points of my rep if I knew how! $\endgroup$ Dec 12, 2012 at 14:36
  • $\begingroup$ You can find all of you need about this theme in these books: 1) David Tong: Lectures on Classical Dynamics (damtp.cam.ac.uk/user/tong/dynamics.htm) 2) V. I. Arnold, Mathematical Methods of Classical Mechanics $\endgroup$
    – Oiale
    Dec 12, 2012 at 16:03
3
$\begingroup$

$[F,P_k]=\frac{\partial F}{\partial Q_i}\frac{\partial P_k}{\partial P_i}-\frac{\partial F}{\partial P_i}\frac{\partial P_k}{\partial Q_i}$.

Second term is zero and first term is

$\frac{\partial F}{\partial Q_i }\delta_{ik}=\frac{\partial F}{\partial Q_k}$

$\endgroup$
7
  • $\begingroup$ I'm sorry, but I haven't understood. What's the meaning of this $\delta$? I know that $[P_k, F]_q, _p = \sum_j \frac {\partial F}{\partial Q_j} [P_k, Q_j]$ and I can't understand why $[F, P_k]$ is equal to $ \frac {\partial F}{\partial Q_k}$. Thank you. $\endgroup$
    – sunrise
    Nov 26, 2012 at 13:53
  • 1
    $\begingroup$ $\delta$ is the kronecker tensor. Recall that the Poisson bracket s a summation over the generalized co-ordinates. The $\delta$ just means that only the partial derivative wrt to k will survive, all others would be zero as they are independent variables. Tell me if more clarification is needed. $\endgroup$
    – user7757
    Nov 26, 2012 at 14:44
  • $\begingroup$ Thank you! So I can say that $[P_k, F]_{q,p} = \frac { \partial F}{\partial Q_k}$. But, if I have correctly understood, $[P_k, F]_{q,p}= -[F, P_k]_{q,p}$. And so I can't understand why $[F, P_k]=\frac { \partial F}{\partial Q_k}$. Where am I wronging? Thanks again $\endgroup$
    – sunrise
    Nov 26, 2012 at 14:56
  • 1
    $\begingroup$ Don't get confused. You are right, $[F,P_k]=-\frac{\partial F}{\partial Q_k}$. In your question, I don't see the negative of the RHS used anywhere. $\endgroup$
    – user7757
    Nov 26, 2012 at 17:35
  • 1
    $\begingroup$ I had look at goldstein, and in my edition, the invariant of the poisson bracket is proved using symplectic matrices. So I couldnt see the derivation mentioned above. I guess it is a printing mistake. $\endgroup$
    – user7757
    Nov 27, 2012 at 0:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.