Math 2.0

Relativity and gravitational theory Special relativity: kinematics Proposition

Thomas precession

Builds on Wigner rotationLorentz factorPrecession

Statement

Let a particle move in an inertial frame SS with velocity 𝐯(t)\mathbf{v}(t), ∣𝐯(t)∣<c\abs{\mathbf{v}(t)} < c, and acceleration 𝐚(t)=d𝐯/dt\mathbf{a}(t) = d\mathbf{v}/dt. Let Ξ³=1/1βˆ’βˆ£π―βˆ£2/c2\gamma = 1/\sqrt{1 - \abs{\mathbf{v}}^2/c^2} be the Lorentz factor. Carry a rest frame along the particle so that its values at infinitesimally close moments differ by a pure boost, without rotation. Compare it at each moment with the frame obtained from SS by the pure boost with velocity 𝐯(t)\mathbf{v}(t). Then, relative to these boosted lab axes, the axes of the carried rest frame rotate, a precession with angular velocity 𝝎T=Ξ³2Ξ³+1β€‰πšΓ—π―c2.\boldsymbol{\omega}_T = \frac{\gamma^2}{\gamma + 1} \, \frac{\mathbf{a} \times \mathbf{v}}{c^2}.

Remarks

Proof idea: compare the boost B(𝐯+πšβ€‰dt)B(\mathbf{v} + \mathbf{a} \, dt) with the composition of B(𝐯)B(\mathbf{v}) and the small boost relating consecutive rest frames. By Wigner rotation, the two differ by a small rotation, and computing it to first order in dtdt gives 𝝎T dt\boldsymbol{\omega}_T \, dt. The precession vanishes for straight-line motion, where πšΓ—π―=0\mathbf{a} \times \mathbf{v} = 0. For ∣𝐯∣β‰ͺc\abs{\mathbf{v}} \ll c one has Ξ³β‰ˆ1\gamma \approx 1 and 𝝎Tβ‰ˆ12c2πšΓ—π―\boldsymbol{\omega}_T \approx \frac{1}{2c^2} \mathbf{a} \times \mathbf{v}. Example: for an electron in an atom, this precession reduces the naive spin-orbit coupling by a factor 12\tfrac{1}{2}, the Thomas half, which brings the fine structure in agreement with experiment.

Going deeper

For a student

Thomas precession is the infinitesimal form of Wigner rotation. In the language of four-vectors, the rest frame is carried along the world line by Fermi–Walker transport. Then 𝝎T\boldsymbol{\omega}_T is the rotation of this transported frame relative to the lab axes. In general relativity it is one part of the precession of a gyroscope in orbit, next to the geodetic effect and frame-dragging.

Reading path

To understand this page from the ground up, read these 45 pages in order. The foundations come first.

  1. Cross product concept
  2. Determinant concept
  3. General linear group object
  4. Group concept
  5. Hermitian matrix concept
  6. Identity matrix object
  7. Lie group concept
  8. Lorentz factor concept
  9. Lorentz transformation concept
  10. Matrix definition
  11. MΓΆbius transformation concept
  12. Precession concept
  13. Quadratic form concept
  14. Rapidity concept
  15. Real projective space object
  16. Riemann sphere concept
  17. Rotation concept
  18. Signature of a quadratic form concept
  19. Vector space definition
  20. Ring definition
  21. Square matrix definition
  22. Transpose definition
  23. Velocity-addition formula statement
  24. Linear map definition
  25. Unit of a ring definition
  26. Conjugate transpose definition
  27. Orthogonal matrix definition
  28. Multilinear map definition
  29. Division ring definition
  30. Orthogonal group object
  31. Alternating multilinear map definition
  32. Unitary matrix definition
  33. The quaternions example
  34. Determinant definition
  35. Unitary group object
  36. Indefinite orthogonal group example
  37. Special orthogonal group object
  38. Special linear group object
  39. Special unitary group SU(n) example
  40. Rotation group SO(3) example
  41. SU(2) example
  42. SL(2,C) example
  43. Lorentz group example
  44. Wigner rotation statement
  45. Thomas precession statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Thomas_precession
About this page
TagDHN1NV44A3
URIm2://DHN1NV44A3
Kindstatement, proposition
WritingW0 stub
MSC83A05, 70B05
StatusThis copy of the site has no build data. Run m2 status DHN1NV44A3.
AboutWigner rotation
UsesWigner rotation, Lorentz factor, Precession
Same as
Changed3 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.