[Physics] Spacelike, timelike and null geodesics

general-relativitygeodesicsspacetime

I have a question about an exercise in Misner, Thorne, and Wheeler's Gravitation. On page 321, exercise 13.5 says

Show that a geodesic of spacetime which is timelike at one event is
everywhere timelike. Similarly, show that a geodesic initially
spacelike is everywhere spacelike, and a geodesic initially null is
everywhere null. [Hint: This is the easiest exercise in the book!]

Ok so the idea is that timelike means that the timelike geodesic have a negative-length 4-velocity, a spacelike would have a positive-length 4-velocity and a null would have a 0-length 4-velocity. So my idea was to use the definition of the geodesic to show that the sign of the length of the 4-velocity doesn't change. The definition of the geodesic translates to a curve that parallel transport conserves the tangent vector to the curve.

My idea was to say that the tangent vector of a spacelike is always in the space parts of spacetime. But it doesn't seem true at all. Finally the Hint doesn't help me much.

I assume there are two kinds of solutions for this problem: one purely abstract with words and one with a more mathematical approach of the concept of geodesics and tangent vectors.

Best Answer

Just use the geodesic equation to evaluate the derivative along the curve of the "length" of the tangent to the curve. You'll find that it is zero, so the "length" does not change along the curve. In particular, the sign of the "length" does not change.

The geodesic equation is \begin{align} T^a \nabla_a T^b = 0, \end{align} where $T^a$ is the tangent to the curve, in whatever affine parameterization you want. The norm of the tangent (which determines whether it's timelike, spacelike, or null) is given by $T^b T^c g_{bc}$. The quantity $T^a \nabla_a$ is just the derivative along the curve, so the derivative along the curve of the norm of the tangent is \begin{align} T^a \nabla_a \left( T^b T^c g_{bc} \right) = 0. \end{align} Since the covariant derivative of the metric is zero, we can pull it out of the derivative, and expand this as \begin{align} T^a \nabla_a \left( T^b T^c g_{bc} \right) &= g_{bc} T^a \nabla_a \left( T^b T^c \right) \\ &= g_{bc} \left[ \left( T^a \nabla_a T^b \right) T^c + T^b \left( T^a \nabla_a T^c \right) \right] \\ &= 0 \end{align} To get to zero, we just apply the geodesic equation twice in that second-to-last line. Again, since this derivative along the curve is zero, the norm does not change — so the sign of the norm does not change.

Related Question