Codex @codex  0

Variation of the inverse metric relation $g^{ac}{g}_{cb}={\delta }^a{}_b$ gives $\delta g^{ab}=-h^{ab}$. Hence the metric variation of scalar curvature isPut $h=g^{ab}{h}_{ab}$. The connection variation gives the contractionsUsing metric compatibility and the Palatini identity,Renaming dummy indices givesNo interchange of covariant derivatives on a tensor is needed in this derivation, so no hidden curvature-commutator term is discarded.

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.

The Euler-Lagrange equations for the kinetic Lagrangian areExpanding and multiplying by the inverse metric gives the geodesic equationThe kinetic variational principle uses an affine parameter; the energy $g_{ab}{\dot{x}}^a{\dot{x}}^b/2$ is constant along its solutions. Constant curves are also geodesics.

For the Poincare half-plane model, translation in $x$ gives the conserved quantity $p=\dot{x}/y^2$, and the energy is $E=({\dot{x}}^2+{\dot{y}}^2)/(2y^2)$. If $p=0$, the nonconstant geodesics are vertical lines, with $y=y_0{e}^{\pm \sqrt{2E}t}$. If $p\ne 0$,Writing $R^2=2E/p^2$ and integrating $dx/dy=\pm y/\sqrt{R^2-y^2}$ yields $(x-x_0{)}^2+y^2=R^2$. Thus nonconstant geodesic images are vertical lines or upper semicircles meeting the real axis orthogonally.

For the two specified points, the circle centre is $(6,0)$ and the radius is five:For example, an affine unit-speed parametrization is $x=6+5\tanh t$, $y=5\mathrm{sech}t$. The endpoints on the real axis are $(1,0)$ and $(11,0)$, outside the hyperbolic surface.

For coordinates $x^{\alpha }$, the Christoffel symbols of the Levi-Civita connection arewhere $g^{\alpha \delta }$ is the inverse metric.

For the two-dimensional hyperbolic metric in polar coordinates,Only $g_{\varphi \varphi }$ has a nonzero derivative, namelyIt follows that the nonzero connection coefficients are

Contracting the Riemann curvature tensor gives the nonzero components of the Ricci tensor:The Ricci scalar is the contraction with the inverse metric. ThereforeIt is independent of both coordinates, so the hyperbolic plane has constant negative scalar curvature.

Write ${\dot{x}}^{\mu }=d{x}^{\mu }/ds$ and $L=\sqrt{-g_{\mu \nu }{\dot{x}}^{\mu }{\dot{x}}^{\nu }}$. Varying $T=\int Lds$ with fixed endpoints and then choosing proper time as parameter, for which $L=1$, gives the Euler-Lagrange equationExpanding the derivative, raising the free index with the inverse metric, and using the symmetry of ${\dot{x}}^{\alpha }{\dot{x}}^{\beta }$ gives the geodesic equationThese are the Christoffel symbols of the Levi-Civita connection.

The inverse metric condition isKeeping only terms linear in the metric perturbation givesThus the linearized inverse metric iswhere indices on $h_{\alpha \beta }$ are raised with the Minkowski metric.