\( \newcommand{\be}{\begin{equation}} \newcommand{\ee}{\end{equation}} \newcommand{\ba}{\begin{array}} \newcommand{\ea}{\end{array}} \newcommand{\bea}{\begin{eqnarray}} \newcommand{\eea}{\end{eqnarray}} \newcommand{\bean}{\begin{eqnarray*}} \newcommand{\eean}{\end{eqnarray*}} \newcommand{\la}{\label} \newcommand{\nn}{\nonumber} \newcommand{\half}{{\scriptstyle \frac{1}{2}}} \newcommand{\third}{{\scriptstyle \frac{1}{3}}} \newcommand{\bli}[2]{\begin{list}{#1}{\itemsep=0.0cm \topsep=0.0cm \partopsep=0.0cm #2}} \newcommand{\eli}{\end{list}} \newtheorem{problem}{Problem}[chapter] \newcommand{\bprob}{\begin{problem}} \newcommand{\eprob}{\end{problem}}\)

Tetrads in General Relativity

VII. Fermi-Walker Transport

Fermi Coordinates

   Given a geodesic curve and a non-spinning tetrad frame defined by (7.1), any vector ${\mathbf{Y}}$ can be expanded as ${\mathbf{Y}}(\lambda ) = {Y^a}(\lambda ){\operatorname{e} _a}(\lambda )$ in terms of the basis vectors of that frame. Such local coordinates adapted to a geodesic are called Fermi normal coordinates. These coordinates are the natural coordinate system of an observer in general relativistic spacetimes.

   The F-derivative of any vector function ${\mathbf{Y}}(\lambda )$ along a curve ${\mathbf{x}}(\lambda )$ is defined as the vector function given by the rate of change relative to the geodesic frame:

7.2

\[ \frac{{{d_{\text{F}}}{\mathbf{Y}}}}{{d\lambda }}: = \frac{{d{Y^a}}}{{d\lambda }}{\operatorname{e} _a}  \]

In other words, the F-derivative of ${\mathbf{Y}}(\lambda )$ is evaluated with respect to the family of Lorentz frames, whereby the basis vectors $\left\{ {{\operatorname{e} _a}({\mathbf{x}})} \right\}$, which are parallel transported according to (7.1), are supposed to be constant, as if they represented an inertial Lorentz frame.

   The F-derivative (7.2) is related to the coderivative (5.2) by the formula

7.3

\[  \frac{{{d_{\text{F}}}{\mathbf{Y}}}}{{d\lambda }} = \frac{{D{\mathbf{Y}}}}{{d\lambda }} - {Y^a}\frac{{D{\operatorname{e} _a}}}{{d\lambda }} = \frac{{D{\mathbf{Y}}}}{{d\lambda }}  \]

In other words, using these coordinates, all connection coefficients $\Gamma $ vanish exactly on the geodesic curve ${\mathbf{x}}(\lambda )$. If the F-derivative of some vector field vanishes, that is, its components ${Y^a}$ are constant, this vector it said to experience Fermi transport or to be Fermi-transported along the world line of the observer. Fermi-transport is a special instance of Fermi-Walker transport defined next.