I'm trying to better understand Thomas-Wigner rotation.
I understand how to calculate it for the case of a perpendicular pair of boosts.
But I also want to see the rotation more directly. The effect is purely kinematic. It's all within the Lorentz Transformation (LT). It's therefore possible to see the rotation using a pair of LT boosts on some suitable histories.
I'm not seeing the correct outcome when I do this. Is my algorithm (below) correct?
Notation used here involves three frames:
- K boosted along the X-axis to K'.
- then a second boost along the Y-axis of K' to K''.
I examine the histories of the endpoints of a stick.
- the stick is stationary in K'', and it lies along the X''-axis in K''
- I get the histories (worldlines) of the end-points of the stick (simple, because the stick is stationary in K'')
- I then reverse-boost from K'' to K' to K. (I call this reverse because the usual direction is from K to K' to K'')
- in K, I find two events, one on each history, that are at the same coordinate-time in K. This is a time-slice across the two histories. A time-slice is needed whenever you need to measure spatial geometry.
- I take the difference between the two events, to get a displacement 4-vector in K, whose ct-component is 0
- this displacement 4-vector gives me the geometry of the stick as seen in K
- I infer the angle of the stick with respect to the X-axis in K
It doesn't work. I see rotation and contraction of the stick. The rotation is in the right direction, but it's way too big. Example data:
- boost 1 [Y,-0.6c]
- boost2 [X,-0.8c]
- length of the stick in K: 0.76837 (length is 1.0 in K'')
- Rotation of the stick from time-slice of histories in K: -38.6598 degrees
- Thomas-Wigner angle calculated directly from a formula: -18.92464 degrees
The formula is $\tan \theta = - (\gamma1 * \gamma2 * \beta1 * \beta2)/(\gamma1 + \gamma2$)
(Although you should concentrate on the algorithm stated above, the actual code is here, if it helps.)