Past exam of the relativity course of the University of Cambridge / 2019 / Section B

Use signature $(+---)$ and local inertial coordinates $x^0=ct$. Write $u^{\mu }=\gamma (c,\mathbf{v})$ and $w=\rho c^2+p$, where $\rho$ is rest mass density. The perfect fluid in general relativity has componentsHere $T^{00}$ is energy density, $c{T}^{i0}$ is energy flux, $T^{0i}/c$ is momentum density, and $T^{ij}$ is the flux of the $j$th momentum component through a surface normal to $i$. In the local rest frame these reduce to energy density $\rho c^2$, zero energy and momentum flow, and isotropic pressure $p$. The equation ${\nabla }_{\mu }{T}^{\mu \nu }=0$ expresses local stress-energy conservation. Its temporal and spatial components give energy and momentum balance; in flat coordinates, for example, ${\partial }_t{T}^{00}+{\partial }_i(c{T}^{i0})=0$.

For relativistic dust, $T^{\mu \nu }=\rho u^{\mu }{u}^{\nu }$. Contracting its divergence with $u_{\nu }$, and using metric compatibility together with $u_{\nu }{u}^{\nu }=c^2$, givesConsequently ${\nabla }_{\mu }(\rho u^{\mu })=0$. Substituting this continuity equation back into the divergence leaves $\rho u^{\mu }{\nabla }_{\mu }{u}^{\nu }=0$. Wherever matter is present,so the individual particles follow geodesics.

The electromagnetic four-force law $f^{\mu }=q{F}^{\mu \nu }{u}_{\nu }$ must preserve the particle's rest mass. Thus $u_{\mu }{f}^{\mu }=0$, and requiring this for arbitrary timelike four-velocities makes the electromagnetic field tensor antisymmetric. Its six independent components comprise the electric field and magnetic field. With the stated signature and $x^0=ct$, one consistent convention isIt gives the spatial force $d\mathbf{p}/dt=q(\mathbf{E}+\mathbf{v}\times \mathbf{B})$ and energy transfer $dE/dt=q\mathbf{E}\cdot \mathbf{v}$. Under a Lorentz transformation, $F^{\mu \nu }$ transforms as a rank-two contravariant tensor; its electric and magnetic components consequently mix. A four-potential supplies $F_{\mu \nu }={\nabla }_{\mu }{A}_{\nu }-{\nabla }_{\nu }{A}_{\mu }$, unchanged by $A_{\mu }\mapsto A_{\mu }+{\nabla }_{\mu }\chi$. The Maxwell equations areThese combine the source equations and the homogeneous equations into covariant tensor statements; $j^{\mu }$ is the four-current.

For charged relativistic dust, the matter tensor exchanges four-momentum with the electromagnetic field: ${\nabla }_{\mu }{T}_{\mathrm{m}}^{\mu \nu }=F^{\nu \alpha }{j}_{\alpha }$, while their total stress-energy tensor is conserved. Identical particles of rest mass $m$ and electric charge $q$ have $j^{\alpha }=(q/m)\rho u^{\alpha }$. Contraction with $u_{\nu }$ again gives mass continuity because $u_{\nu }{F}^{\nu \alpha }{u}_{\alpha }=0$. Removing that term givesUsing zero divergence for the matter tensor alone in this last step would omit the electromagnetic Lorentz force.

Write $A(r)=1-2\mu /r$, with $\mu =GM/c^2$. On the equatorial plane, the geodesic Lagrangian isThe coordinates $t$ and $\varphi$ are cyclic, giving $\boxed{A\dot{t}=k,r^2\dot{\varphi }=h}$. The conserved physical energy per unit rest mass is $c^{2}k$, while $h$ is the signed angular momentum per unit rest mass. The radial Euler-Lagrange equation, with $A^{\prime }=2\mu /r^2$, isThese are the requested geodesic equations. The equatorial condition is consistent with the polar equation by the spherical symmetry of the Schwarzschild metric.

The normalization of the four-velocity is $c^2=c^{2}A{\dot{t}}^2-A^{-1}{\dot{r}}^2-r^2{\dot{\varphi }}^2$. Insert the two conserved quantities and multiply by $A$ to obtainThis is a one-dimensional radial energy equation. Half of its left side is radial kinetic energy per unit mass plus an effective potential: the Newtonian centrifugal and gravitational terms acquire the extra attractive contribution $-\mu h^2/r^3$.

A timelike circular Schwarzschild geodesic requires $\dot{r}=\ddot{r}=0$. Equivalently, set the derivative of $V(r)=h^2/r^2-2\mu h^2/r^3-2\mu c^2/r$ to zero. At $r=R$ this gives $h^2(R-3\mu )=\mu c^2{R}^2$, and substitution in the radial energy equation yieldsSuch timelike circular orbits require $R>3\mu$. Their coordinate angular velocity satisfies ${\Omega }^2=\mu c^2/R^3$, and their proper clock rate is $d{\tau }_s/dt=A/k=\sqrt{1-3\mu /R_s}$.

For the static North-Pole clock, $d{\tau }_E/dt=\sqrt{1-2\mu /R_E}$. Consecutive overhead passages occur one coordinate orbital period apart, and the repeated Earth-satellite geometry gives equal signal travel delays. The comparison of circular-orbit and static Schwarzschild clocks therefore givesThis includes both gravitational and orbital-motion effects; a separate Newtonian time-dilation correction must not be added again.

For an estimate, Kepler's third law gives $R_s=42100\mathrm{km}(3/24{)}^{2/3}=10525\mathrm{km}$. The same approximate geostationary radius and period give $\mu =4{\pi }^2{R}_{\mathrm{geo}}^3/(c^2{T}_{\mathrm{geo}}^2)\simeq 4.4\mathrm{mm}$. Expanding the ratio to first order,The satellite clock consequently gains about $0.7\mu \mathrm{s}$ over a three-hour orbit in this approximation. The surface observer is taken to be static, and the spacetime model is the spherical Schwarzschild metric specified in the problem.

A fundamental observer follows the mean cosmic matter flow and is at rest with respect to the homogeneous cosmological frame. Cosmological isotropy permits no preferred spatial acceleration, rotation vector or anisotropic expansion for this flow: the congruence is geodesic, irrotational and shear-free, with isotropic expansion. Its orthogonal homogeneous spatial slices define simultaneity. Choosing fixed spatial labels along these worldlines and their common proper time as $t$ gives synchronous coordinates, $g_{tt}=c^2$ and $g_{ti}=0$.

In the Friedmann-Lemaître-Robertson-Walker metric, $t$ is this cosmic proper time and $\chi$ is radial comoving coordinate. On a constant-$t$ radial slice, the proper distance in cosmology from $0$ to a fixed ${\chi }_0$ is $D(t)=a(t){\chi }_0$. ThereforeThis is the Hubble parameter. The metric describes expansion when $\dot{a}>0$; its form alone also permits static or contracting histories, so expansion additionally requires that sign of the scale factor derivative.

For a radial photon, the metric components relevant to its motion are $g_{tt}=c^2$ and $g_{\chi \chi }=-a^2(t)$, both independent of $\chi$. The angular momentum components vanish. The covariant-momentum form of the geodesic equation therefore givesOnly this radial contraction is needed: angular metric coefficients can depend on $\chi$, but multiply zero angular components. The conserved quantity is the lower-index $p_1=p_{\chi }$, rather than the contravariant component $p^1$.

For outward travel put $P=-p_{\chi }>0$. The null condition $c^2(p^t{)}^2-a^2(p^{\chi }{)}^2=0$ givesHere the time coordinate is $t$, rather than $ct$. A comoving observer has $u^t=1$ and measures photon energy $E=p_{\mu }{u}^{\mu }=p_t$. Thus energy and frequency decrease as $a^{-1}$, giving the cosmological redshiftThe reciprocal relation for wavelengths follows from their common local propagation speed $c$.

Finally center the spatial coordinates on the receiving comoving observer. At the source, the transverse spatial line element is $dl=a(t_E)S_K(\chi )d\theta$. For a short transverse rod and a small observed angle $\Delta \theta$,Thus the angular diameter distance is $d_A=a(t_E)S_K(\chi )$. Writing the reception epoch as $t_0=t_R$ gives the displayed formula in the question. The length is the proper transverse length at emission; $t_0$ cannot be replaced by an unrelated epoch while retaining that expression.