Semi-classical quantum/Poisson Brackets

[barnflakes]

I'm trying to workout the poisson bracket \{L_n, L_m\} n,m = 1,2,3.

In the answers, my lecturer has written \{L_1, L_2\} = \{q_2 p_3 - q_3 p_2 , q_3 p_1 - q_1 p_3\} which of course I understand. Then the very next line he writes = q_2 \{p_3 , q_3\} p_1 + p_2 \{q_3, p_3\} q_1

I don't quite see how he has jumped so quickly from one to the other. Has he missed several lines of calculations here, or is he using some property of the Poisson Bracket that I can't see?

Thank you

 

[meopemuk]

You only need the property that there are just three non-zero Poisson brackets involving q and p

\{q_1,p_1\} = \{q_2,p_2\} = \{q_3,p_3\} = 1

All other brackets vanish. Then

\{L_1, L_2\} = \{q_2 p_3 - q_3 p_2 , q_3 p_1 - q_1 p_3\} =<br /> \{q_2 p_3, q_3 p_1\} - \{q_3 p_2 , q_3 p_1\} - \{q_2 p_3, q_1 p_3\} + \{q_3 p_2 , q_1 p_3\} = \{q_2 p_3, q_3 p_1\} + \{q_3 p_2 , q_1 p_3\}

= q_2 \{p_3 , q_3\} p_1 + p_2 \{q_3, p_3\} q_1 = q_1 p_2 - q_2 p_1 = L_3

Eugene.

 

[barnflakes]

You only need the property that there are just three non-zero Poisson brackets involving q and p

\{q_1,p_1\} = \{q_2,p_2\} = \{q_3,p_3\} = 1

All other brackets vanish. Then

\{L_1, L_2\} = \{q_2 p_3 - q_3 p_2 , q_3 p_1 - q_1 p_3\} =<br /> \{q_2 p_3, q_3 p_1\} - \{q_3 p_2 , q_3 p_1\} - \{q_2 p_3, q_1 p_3\} + \{q_3 p_2 , q_1 p_3\} = \{q_2 p_3, q_3 p_1\} + \{q_3 p_2 , q_1 p_3\}

= q_2 \{p_3 , q_3\} p_1 + p_2 \{q_3, p_3\} q_1 = q_1 p_2 - q_2 p_1 = L_3

Eugene.

Thanks Eugene, I'm a still confused exactly how you've used the \{q_1,p_1\} = \{q_2,p_2\} = \{q_3,p_3\} = 1 condition in this \{q_2 p_3, q_3 p_1\} - \{q_3 p_2 , q_3 p_1\} - \{q_2 p_3, q_1 p_3\} + \{q_3 p_2 , q_1 p_3\} expression though? Could you be a bit more explicit? Sorry for the stupid questions, I have a feeling I really don't understand poisson brackets very well at all yet.

 

[meopemuk]

Take, for example, the second term

\{q_3 p_2 , q_3 p_1\}

and consider the left part of the bracket q_3 p_2. The first factor q3 has zero brackets with both factors on the right side (q3 and p1). The second factor p2 also has zero brackets with q3 and p1. Therefore, the product q_3 p_2 has zero bracket with the product q_3 p_1.

You can get this result also by the direct use of the Poisson bracket definition

\{f, g\} \equiv \frac{\partial f}{\partial \mathbf{q}} \cdot \frac{\partial g}{\partial \mathbf{p}} - \frac{\partial f}{\partial \mathbf{p}} \cdot \frac{\partial g}{\partial \mathbf{q}}

Eugene.

 

[meopemuk]

In my preceding post I assumed the following identity

\{ab , c\} = a \{b , c\} + \{a , c\} b

which can be proved for all a,b,c from the Poisson bracket definition.

Eugene.

 

[barnflakes]

Thanks again Eugene. It is clear you have a much more intuitive understand of poisson brackets than I do, so instead I have tried using the direction definition of the Poisson bracket.

If we take the first term:

<br /> \{q_2 p_3, q_3 p_1\}<br />

Then applying the above definition we have:

(q_2 p_3)_p (q_3 p_1)_q - (q_2 p_3)_q (q_3 p_1)_p

Where subscript p & q denote differentiation wrt that momentum & coordinate.

So considering just the very first term (q_2 p_3)_p (q_3 p_1)_q and using that definition I obtain:

(\frac{\partial q_2}{\partial p_3} \cdot p_3 + \frac{\partial p_3}{\partial p_3} \cdot q_2)(\frac{\partial q_3}{\partial q_3} \cdot p_1 + \frac{\partial p_1}{\partial q_3}) \cdot q_3 = p_1 q_2

Is this correct? If so, when I work out the entire expression, I obtain:

q_2 p_1 - p_3 q_3 - q_3 p_1 + p_2 q_3 -q_2 p_3 + p_3 q_1 + q_3 p_3 - p_2 q_1 = q_2 p_1 - q_3 p_1 + p_2 q_3 -q_2 p_3 + p_3 q_1 - p_2 q_1

and I cannot see how that relates to the final answer?

 

[meopemuk]

This is not correct. In the definition of the Poisson bracket the derivative \partial f/\partial \mathbf{q} means a 3-vector (\partial f/\partial q_1, \partial f/\partial q_2, \partial f/\partial q_3) and \partial f/\partial \mathbf{p} \equiv (\partial f/\partial p_1, \partial f/\partial p_2, \partial f/\partial p_3). Using this notation we obtain

\{q_2 p_3, q_3 p_1 \} = \left( \frac{\partial (q_2 p_3)}{\partial q_1 }, \frac{\partial (q_2 p_3)}{\partial q_2 }, \frac{\partial (q_2 p_3)}{\partial q_3} \right) \cdot \left( \frac{\partial (q_3 p_1)}{\partial p_1 }, \frac{\partial (q_3 p_1)}{\partial p_2 }, \frac{\partial( q_3 p_1)}{\partial p_3}\right) - \left( \frac{\partial (q_2 p_3)}{\partial p_1 }, \frac{\partial (q_2 p_3)}{\partial p_2 }, \frac{\partial (q_2 p_3)}{\partial p_3} \right) \cdot \left( \frac{\partial (q_3 p_1)}{\partial q_1 }, \frac{\partial (q_3 p_1)}{\partial q_2 }, \frac{\partial (q_3 p_1)}{\partial q_3} \right)

= (0, p_3, 0) \cdot (q_3, 0, 0) - (0, 0, q_2) \cdot (0, 0, p_1) = -q_2p_1

Eugene.