The map takes one covector argument and returns two vector slots, so has two contravariant and one covariant index. Its tensor type isor type , with components .
The covariant derivative adds one covariant index, so has type . The outer product of two tensors adds their index counts. Hence
LetThe Euler-Lagrange equation givesSince and , this becomesExpanding the derivative, multiplying by the inverse metric, and using the Christoffel symbolgives the geodesic equation
Articles by others on the same topic
There are currently no matching articles.