Fermi–Walker transport

Fermi–Walker differentiation

In the theory of Lorentzian manifolds, Fermi–Walker differentiation is a generalization of covariant differentiation. In general relativity, Fermi–Walker derivatives of the spacelike unit vector fields in a frame field, taken with respect to the timelike unit vector field in the frame field, are used to define non-inertial but nonspinning frames, by stipulating that the Fermi–Walker derivatives should vanish. In the special case of inertial frames, the Fermi–Walker derivatives reduce to covariant derivatives.

With a ( − + + + ) sign convention, this is defined for a vector field X along a curve γ ( s ) :

where V is four-velocity, D is the covariant derivative in the Riemannian space, and (,) is scalar product. If

the vector field X is Fermi–Walker transported along the curve (see Hawking and Ellis, p. 80). Vectors perpendicular to the space of four-velocities in Minkowski spacetime, e.g., polarization vectors, under Fermi–Walker transport experience Thomas precession.

Using the Fermi derivative, the Bargmann–Michel–Telegdi equation for spin precession of electron in an external electromagnetic field can be written as follows:

where a τ and μ are polarization four-vector and magnetic moment, u τ is four-velocity of electron, a τ a τ = − u τ u τ = − 1 , u τ a τ = 0 , and F τ σ is electromagnetic field-strength tensor. The right side describes Larmor precession.

Co-moving coordinate systems

A coordinate system co-moving with a particle can be defined. If we take the unit vector v μ as defining an axis in the co-moving coordinate system, then any system transforming with proper time is said to be undergoing Fermi Walker transport.

Textbooks