1 The 2-Body Problem: Classical Mechanics Homework
1 The 2-Body Problem: Classical Mechanics Homework
This is more symmetrical, so this is what we will do. Henceforth we only need to talk about q. Thus
we have reduced the problem to a 1-body problem!
2. Recall that the total energy E of the 2-particle system is the sum of the kinetic energies of
the particles plus the potential energy. Express E in terms of q and the reduced mass. Show that
1 2
E= m |q|
+ V (|q|)
2
1
Note that this looks exactly like the energy of a single particle!
3. Let J be the total angular momentum of the 2-particle system. Show that
J = mq q
Note that this looks exactly like the angular momentum of a single particle!
At this point were back to a problem youve already solved: a single particle in a central force.
The only difference is that now q stands for the relative position and m stands for the reduced mass!
So, we instantly conclude that two bodies orbiting each other due to the force of gravity will
both have an orbit thats either an ellipse, or a parabola, or a hyperbola... when viewed in the
center-of-mass frame.
2 Poisson brackets
Let R2n be the phase space of a particle in Rn , with coordinates qi , pi (1 i n). Let C (R2n )
be the set of smooth real-valued functions on R2n , which becomes an commutative algebra using
pointwise addition and multiplication of functions.
Xn
F G G F
{F, G} = .
i=1
p i qi pi qi
4. Show that Poisson brackets make the vector space C (R2n ) into a Lie algebra. In other
words, check the antisymmetry of the bracket:
{F, G} = {G, F }
{F + G, H} = {F, H} + {G, H}
and Jacobi identity:
{F, {G, H}} = {{F, G}, H} + {G, {F, H}}
for all F, G, H C (R2n ) and , R.
(Note the Jacobi identity resembles the product rule d(GH) = (dG)H + GdH, with bracketing by
F playing the role of d. This is no accident!)
5. Show that Poisson brackets and ordinary multiplication of functions make the vector space
C (R2n ) into a Poisson algebra. This is a Lie algebra that is also a commutative algebra, with
the bracket {F, G} and the product F G related by the Leibniz identity: