Thomas precession derivation discrepancy in Goldstein

  • Level: Graduate 
  • Thread starter Thread starter Coelum
  • Start date Start date
  • Tags Tags
    Computing Precession
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
7 replies · 3K views · last reply
Coelum
Messages
97
Reaction score
32
TL;DR
While computing the transformation matrix associated to Thomas precession - as described by Goldstein (7.3) - I cannot reproduce a step in the derivation. This is a step later than the one described in my previous post "Computing the Thomas precession".
Dear PFer's,
I am reproducing the steps to derive the expression for the Thomas precession, as described in Goldstein/Poole/Safko "Classical Mechanics". Hereafter an excerpt from the book describing the step I am currently working on.
Equation 7.20 showing a 4x4 Lorentz boost matrix L3-1 with entries in gamma and beta_x, beta_y, labeled (7.20).

Based on the text, the transformation S_3 -> S_1 should be the composition of a boost on the x" axis

Four-by-four matrix with entries gamma'', minus beta''_x gamma'', 0, 0 in the top row; minus beta''_x gamma'', gamma'', 0, 0 in the second row; 0, 0, 1, 0 in the third; and 0, 0, 0, 1 in the bottom row.

and a boost on the y" axis

4x4 matrix with entries gamma' in the top-left and bottom-right of the upper-left block, 0 and 1 elsewhere on the diagonal, and -beta''_y gamma' entries at positions (1,3) and (3,1).

which, when composed assuming γ'=1, yield

4x4 matrix with entries gamma'' in the top-left, -beta''x gamma'' and -beta''y gamma'' in the top row, -beta''x and -beta''y in the first column, beta''x beta''y gamma'' in the second row third column, a 1 in the third row third column, and 0s and a final 1 in the bottom-right corner.
.
The differences with (7.20) are:
  1. the '-' sign in elements [1,2], [2,2], [2,1], [3,1]
  2. the '0' in position [3,2]
  3. the element in position [2,3], which can be approximated as (dropping the " for readability):
    βxβyγ = γ(βy/βx)βx2 ≈ γ(βy/βx)β2 = γ(βy/βx)(1-1/γ2) = (γ-1/γ)βy/βx. Close, but not identical.
Can anybody help me understand?

Thanks,

Francesco
 
Physics news on Phys.org
vanhees71 said:
The Thomas precession is hard to calculate. Here's my attempt (Sect. 1.8):

https://itp.uni-frankfurt.de/~hees/pf-faq/srt.pdf
Hi vanhees71,
thanks for your answer! I am not familiar enough with Lie algebra to follow your exposition. But I understand I will need to learn the mathematical tools you are using if I want to dig deeper.
 
  • Like
Likes   Reactions: vanhees71
vanhees71 said:
I think you don't need more about Lie algebra than what's in this manuscript to understand Fermi-Walker transport and thus the Thomas precession.
 
Not to sound like a wise guy, but I've always thought the treatment of J.D. Jackson (I have a translation of the 1975 edition) to be the best: lucid and straight to the point.
 
  • Like
Likes   Reactions: vanhees71
Hi dextercioby, thanks for the pointer! In fact, the Thomas precession is discussed in section 11.8 of the second edition of Jackson's, though it requires reading the previous section on infinitesimal transformations.

As an update: I fixed all the issues except the '0' element in position [3,2]. That looks very strange: that element is certainly zero!
 
Just an idea: to first order in β, γ"-1 ≈ 0. It can replace 0 in position [3,2]...