3

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.)

John
  • 804

2 Answers2

2

The algorithm is correct in that it shows the geometry of the stick in frame K. But the geometry of the stick is affected not only by Thomas-Wigner rotation, but also by the regular flattening (length contraction) that happens with all boosts.

So there are two effects here, not one.

The first is the spatial flattening (length contraction) that happens with all boosts, of course. Spatial flattening changes not only lengths, but angles and shapes. In the present case, it changes the orientation of the stick.

The second effect is the Thomas-Wigner rotation. The result I have from the algorithm stated above reflects both of these effects (in the position of the stick as measured in K).

(All angles in degrees. All measurements in the K frame.)

A:Equivalent-boost direction: 24.2277 from the X-axis.

B:Angle of the stick from manual calc in code : 38.6598 from the X-axis

A+B: angle of stick: 62.8875 from the direction of equivalent-boost

C:Thomas-Wigner rotation from a formula: 18.9246 from the X-axis

D: flattening (length contraction) of (A + C) from a formula: 62.8875 from the direction of equivalent-boost (same as above)

So it seems to all agree, when the two effects are taken into account.

The formula for the change in orientation of a stick (used in D) is:

$\tan \theta' = \gamma * \tan \theta$

John
  • 804
  • 2
    @Frobenius's answer here is perfect, it even computes the values theoretically, and gets exactly the same answers as you! So you might be right. – Philip Jun 13 '20 at 14:13
  • I think my calc shows two effects combined into 1 result : flattening from length contraction (which changes angles), and the Thomas-Wigner rotation. I don't yet know how to disentangle the two. – John Jun 13 '20 at 17:13
  • 1
    I agree with you. In fact, that's what's done in the notes as well (Equation 6), since they write the total transformation as $R(\theta_w) B$ where $B$ is the resultant boost matrix to go from $K$ to $K''$. Have you tried calculating the angle of the rod just using that matrix, and subtracting it from your result. That should give you the "expected" precession, and it would certainly clarify this point... – Philip Jun 13 '20 at 18:03
2

REFERENCE : my answer here Appearance of an angle of inclination on a horizontal rod moving upwards after a Lorentz Transformation.

Referring to my answer above we note that all calculations of yours result from three simple equations (I keep the numbering in my answer):

If $\,\boldsymbol{\ell}\,$ is the length of the stick on the $x''\boldsymbol{-}$axis of frame $\mathrm K''$ and $\,\boldsymbol{\ell}_{\mathrm S}\,$ its length in frame $\mathrm K$ then \begin{equation} \boxed{\:\boldsymbol{\ell}_{\mathrm S}\boldsymbol{=}\sqrt{1 \boldsymbol{-}\dfrac{\upsilon^{2}}{c^{2}}\left(1\boldsymbol{-}\dfrac{u^{2}}{c^{2}}\right)}\:\boldsymbol{\ell}\:} \tag{24}\label{24} \end{equation}

The angle $\,\theta\,$ of the stick with respect to the $x\boldsymbol{-}$axis of frame $\mathrm K$ is \begin{equation} \boxed{\:\tan\!\theta\boldsymbol{=}\dfrac{\gamma_{\upsilon}\upsilon u}{c^{2}}\boldsymbol{=}\left(1\boldsymbol{-}\dfrac{\upsilon^{2}}{c^{2}}\right)^{\boldsymbol{-}\frac12}\dfrac{\upsilon u}{c^{2}}\:} \tag{22}\label{22} \end{equation} For $\,\upsilon u\boldsymbol{>}0\,$ this angle is clockwise from the $x\boldsymbol{-}$axis, see Figure 05 in my answer.

For the velocity $\,\mathbf w \boldsymbol{=}\left(\mathrm w_x,\mathrm w_y\right)$ of frame $\mathrm K''$ with respect to frame $\mathrm K$ we have \begin{equation} \boxed{\:\mathbf w \boldsymbol{=}\left(\mathrm w_x,\mathrm w_y\right)\boldsymbol{=}\left(\upsilon,\dfrac{u}{\gamma_{\upsilon}}\right)\:} \tag{11a}\label{11a} \end{equation} so for the angle $\,\phi\,$ of $\,\mathbf w\,$ with respect to the $x\boldsymbol{-}$axis of frame $\mathrm K$ we have \begin{equation} \boxed{\:\tan\phi \boldsymbol{=}\dfrac{\mathrm w_y}{\mathrm w_x}\boldsymbol{=}\dfrac{u}{\gamma_{\upsilon}\upsilon}\:} \tag{11b}\label{11b} \end{equation} Inserting the numerical data of the question \begin{equation} \dfrac{\upsilon}{c}\boldsymbol{=}0.80\,, \quad \dfrac{u}{c}\boldsymbol{=}0.60 \tag{a-01}\label{a-01} \end{equation} we have \begin{equation} \boldsymbol{\ell}_{\mathrm S}\boldsymbol{=}0.768375\,\boldsymbol{\ell}\,, \quad \theta\boldsymbol{=}38.659808^{\,\rm o}\,,\quad \phi\boldsymbol{=}24.227745^{\,\rm o} \tag{a-02}\label{a-02} \end{equation}

Frobenius
  • 15,613
  • 2
    Thank you. Those numbers all agree with my 'manually computed' numbers. In short, my algo is correct in that it shows the geometry of the stick in K. But my initial attempt to interpret that geometry solely in terms of the Thomas-Wigner rotation was wrong. Regular length contraction is needed as well. – John Jun 15 '20 at 01:04