Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 309 / 2

For a timelike tangent $v=dx/du$, put $L=\sqrt{-g(v,v)}>0$ and $\mathcal{L}=L^2/2=-g(v,v)/2$, and use the Euler-Lagrange equations. For the quadratic geodesic Lagrangian, they reduce toHere the first equation has been multiplied by an irrelevant minus sign. For the length Lagrangian, its derivatives are $L^{-1}$ times those of $\mathcal{L}$, and differentiating that factor yields insteadThis is the unparametrized geodesic equation, the key to why timelike length and energy have the same geodesic images. Define proper time locally by $d\tau /du=L>0$ and put $w=dx/d\tau =v/L$. The product rule then gives ${\nabla }_{w}w=L^{-2}[{\nabla }_{v}v-(\dot{L}/L)v]=0$ and $g(w,w)=-1$. Conversely an affinely parametrized timelike geodesic has constant $L$, by metric compatibility, and therefore satisfies both equations.

Thus the two variational problems have the same oriented timelike geodesic images, after reparametrization. They do not have exactly the same parametrized solutions with an arbitrary fixed $u$: in Minkowski spacetime, $t(u)=u^2$, $\mathbf{x}=0$, $u>0$, satisfies the length equation but not the quadratic equation. The timelike assumption excludes $L=0$, where this argument and the length derivative would fail.

Use spatial indices $i,j=1,2,3$, set ${\varphi }_i={\partial }_i\varphi$, and assume $\varphi$ is smooth. The inverse metric has $g^{tt}=-c^{-2}{e}^{-2\varphi /c^2}$ and $g^{ij}={\delta }^{ij}$. The Christoffel symbols of the Levi-Civita connection follow from ${\Gamma }^{\alpha }{}_{\beta \gamma }=g^{\alpha \delta }({\partial }_{\beta }{g}_{\gamma \delta }+{\partial }_{\gamma }{g}_{\beta \delta }-{\partial }_{\delta }{g}_{\beta \gamma })/2$:All other components vanish. Although $g_{tt}=-c^2-2\varphi +O(c^{-2})$ diverges, its affine connection has a smooth limit on compact subsets:This is the Newtonian connection from an exponential lapse. It is torsion-free, and its geodesic equation, using $t$ as an affine parameter when $\dot{t}\ne 0$, is $d^2{x}^i/d{t}^2=-{\partial }_i\varphi$. Thus $\varphi$ has the role of a Newtonian gravitational potential. There is no finite limiting nondegenerate Lorentzian metric in these fixed coordinates; $-g(c)/c^2$ tends to $d{t}^2$, a rank-one tensor. The limiting connection preserves $dt$ and the contravariant spatial tensor with components $h^{ij}={\delta }^{ij}$, $h^{t\mu }=0$, which describe the degenerate temporal/spatial structures of this limit.

Fix the Riemann curvature tensor conventionFor the limiting affine connection, every product of two nonzero connection coefficients is zero, because its only nonzero coefficients have spatial upper index and both lower indices $t$. Its only possibly nonzero curvature components, apart from antisymmetry in the last two indices, areThe Ricci tensor is thereforeAll other components vanish, so the limiting connection is a connection with vanishing Ricci tensor exactly when $\varphi$ satisfies the Laplace equation on spatial Euclidean space. This is Ricci-flatness, not necessarily vanishing curvature: $\varphi =x^2-y^2$ is a harmonic function but has nonzero Hessian matrix and hence a nonflat limiting connection. Reversing the curvature sign convention reverses the displayed Ricci sign but leaves the equivalence unchanged.

Use $x^0=t$ and the Levi-Civita symbol ${ϵ}^1{}_{23}=1$. Define a smooth affine connection byThe lower indices are symmetric, so it is a torsion-free connection. With $t$ itself as parameter, the time component of the geodesic equation is identically satisfied, while its spatial components becomeThe last term is $2(\mathbf{B}\times \dot{\mathbf{x}}{)}^i$, with the wedge in the source interpreted as the three-dimensional cross product. Thus the spacetime lifts $(t,\mathbf{x}(t))$ are actually affinely parametrized geodesics, which proves the requested unparametrized claim. Conversely a geodesic with nonzero constant $dt/ds$ can be parametrized by $t$ and obeys this particle equation; purely spatial geodesics with $dt/ds=0$ are not such trajectories. No field equations or metric compatibility are needed. This construction is the affine connection for a velocity-linear force.