Since , differentiation gives
The corresponding calculation with gives
Thus the two requested equations hold exactly when is perpendicular to both tangent basis vectors, which is precisely the geodesic condition.
On expanding the left sides, the coefficient matrix of is the positive-definite metric matrix. It is invertible, so the equations form a smooth second-order ordinary differential equation in local coordinates. The local existence and uniqueness theorem gives a unique solution for each initial point and coordinate velocity. For an arbitrary initial tangent vector this is an affine parameter of constant speed ; it is arclength when . For the solution is the constant curve. This specifies how the arbitrary-velocity statement relates to the preceding unit-speed convention.

Articles by others on the same topic (0)

There are currently no matching articles.