\newtheoremproblemProblem[chapter]

Tetrads in General Relativity

V. Parallel Transport

Geodesics

   A curve x(λ) is said to be auto-parallel or a geodesic curve if its tangent vector satisfies the condition

5.8

uμDμu=uDu=0

That is, if it remains parallel to itself along x(λ). In GRT, a geodesic curve generalizes the notion of a ‘straight line’ to curved spacetime, namely, by being as straight as possible.

   If the parameter λ is changed λτ, the tangent vector changes:

5.9

u(τ)=dxdλdλdτ=u(λ)dλdτ 

The auto-parallel character of the curve is not modified by this parameter change if and only if the parameter is affine, that is, λ=aτ+b, where a,b are arbitrary constants. This linear scaling of the path amounts to the freedom to change the unit of length/time and to choose any initial point.

   Geodesics may be characterized as a path of extremal length between two given spacetime points [x1,x2]. From the line element ds2=dxdx, one defines the length of a curve x(λ) between the given points by the proper lenght integral

5.10

s[x(λ)]:=12ds=12|dxdx|=12|uu|dλ

where the integral is over the path. If the manifold M4 is connected, any two spacetime points can be connected by a smooth curve. The geodesic is then that curve that extremizes the proper length s. From definition (5.10) it is seen that this result depends neither on the choice of coordinates nor on the parametrization of the curve.