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

The two postulates of special relativity are: all nongravitational laws have the same form in every inertial frame, and light in vacuum has the same finite speed of light $c$ in every inertial frame, independently of the motion of its source. The first is Einstein's principle of relativity; the second supplies an experimentally identified invariant speed.

For the stated standard configuration, the Lorentz transformation isTake differentials along the particle's worldline, rather than comparing coordinate displacements at equal times in the two frames. Writing $u_i=d{x}^i/dt$, one obtainsDividing by the transformed time interval proves the velocity-addition formula:For a massive particle, $|\mathbf{u}|<c$ and $|v|<c$, so the denominator $1-v{u}_x/c^2$ is positive.

Let $\mathbf{a}=d\mathbf{u}/dt$ denote coordinate acceleration and use $A^{\mu }$ for four-acceleration, to distinguish these two objects. Applying the chain rule to the Lorentz factor givesSince $dt/d\tau ={\gamma }_u$, differentiation of the four-velocity $U^{\mu }={\gamma }_u(c,\mathbf{u})$ with respect to proper time yieldsThis is also ${\gamma }_u^2[{\gamma }_u^2(\mathbf{u}\cdot \mathbf{a})/c,\mathbf{a}+{\gamma }_u^2(\mathbf{u}\cdot \mathbf{a})\mathbf{u}/c^2]$, as required.

The invariant Minkowski norm of the four-velocity is $U^{\mu }{U}_{\mu }=c^2$. Differentiating this identity gives $U^{\mu }{A}_{\mu }=0$. In the instantaneous rest frame, $U^{\mu }=(c,0)$, so $A^0=0$ and the spatial components equal the physically experienced proper acceleration $\mathbf{\alpha }$. Therefore ${\alpha }^2=-A^{\mu }{A}_{\mu }$ in the $+---$ metric signature.

For a direct calculation, put $q=\mathbf{u}\cdot \mathbf{a}$ and expand the temporal and spatial squares:The last step uses $1-u^2/c^2={\gamma }_u^{-2}$. This proper acceleration from coordinate velocity and acceleration also reads ${\alpha }^2={\gamma }_u^6{a}_{\parallel }^2+{\gamma }_u^4{a}_{\perp }^2$, providing the familiar one-dimensional limit $\alpha ={\gamma }_u^3|a_{\parallel }|$. Each expression has units ${\mathrm{m}}^2{\mathrm{s}}^{-4}$.

Write ${\Gamma }_a(v)=(1-v^2/a^2{)}^{-1/2}$. The first proposed Lorentz transformation isFor the next transformation, write ${\Gamma }_b(u)=(1-u^2/b^2{)}^{-1/2}$ and substitute the first pair into $x^{\prime \prime }={\Gamma }_b(u)(x^{\prime }-u{t}^{\prime })$ and $t^{\prime \prime }={\Gamma }_b(u)(t^{\prime }-u{x}^{\prime }/b^2)$. The result isThe direct transformation between $S$ and $S^{\prime \prime }$ must belong to the same standard boost family with the same calibration of space and time units. Such a transformation has one common factor multiplying the coefficient of $x$ in $x^{\prime \prime }$ and that of $t$ in $t^{\prime \prime }$. Equality of these coefficients for generic $uv\ne 0$ requiresThe case $uv=0$ alone cannot constrain the scales, but a transformation law must work for arbitrary successive boosts. Once the scales agree, their composed velocity is $V=(u+v)/(1+uv/a^2)$ and the common factor is ${\Gamma }_a(V)$. This establishes the universality of an invariant speed under boost composition within the proposed family.

Finiteness needs physical input. Sending $a^2$ to infinity gives the consistent Galilean transformation $x^{\prime }=x-vt$, $t^{\prime }=t$. Its boosts compose with $V=u+v$ and satisfy a relativity principle. Thus the composition calculation itself does not prove that $a^2$ cannot be infinite. The finite propagation speed of light in vacuum and its invariance, supplied by the second of the postulates of special relativity, rule out this limit for physical spacetime. Under a Galilean transformation, a ray with laboratory speed $c$ would have speed $c-v$ in the moving frame, in conflict with that postulate.

Finally, the common invariant scale must be identified with the physical speed of light, rather than an arbitrary speed measured in one frame. Requiring a ray $x=ct$ also to obey $x^{\prime }=c{t}^{\prime }$ givesHence the physical scale is $a=c$, taking the positive speed. The postulate about light identifies and requires a finite invariant scale; closure alone only establishes its universality. This distinction is necessary for a logically valid answer to the question's request to exclude infinity.

Use the $+---$ metric signature and abbreviate $f(r)=1-2\mu /r$, with $\mu =GM/c^2$ a length. Dots initially mean differentiation with respect to an affine parameter $\lambda$. The geodesic Lagrangian in the equatorial plane isThe planarity of geodesics in spherical symmetry permits this plane to be chosen. More explicitly, the full angular Euler-Lagrange equation is $\ddot{\theta }+2\dot{r}\dot{\theta }/r-\sin \theta \cos \theta {\dot{\varphi }}^2=0$, so initial data $\theta =\pi /2$, $\dot{\theta }=0$ preserve it.

Both $t$ and $\varphi$ are cyclic coordinates. Their Euler-Lagrange equations give conserved conjugate momenta $p_t=c^{2}f\dot{t}$ and $p_{\varphi }=-r^2\dot{\varphi }$. Defining constants $k,h$ therefore givesThe corresponding second-order geodesic equations areand variation of $r$ givesThe geodesic Lagrangian has no explicit $\lambda$ dependence. Its conserved Lagrangian energy function is ${\dot{x}}^{\alpha }\partial \mathcal{L}/\partial {\dot{x}}^{\alpha }-\mathcal{L}=\mathcal{L}$, since it is quadratic in the tangent components. Thus twice this function is a constant:This is the constant squared tangent norm of an affinely parametrized geodesic.

For a massive particle choose $\lambda =\tau$, its proper time, and obtain $\kappa =c^2$. For a photon, the tangent is null and $\kappa =0$. A general rescaling of a massive particle's affine parameter rescales a positive $\kappa$; the numerical value $c^2$ requires the proper time choice. With that choice, $h=L_z/m$ is signed specific angular momentum, of units ${\mathrm{m}}^2{\mathrm{s}}^{-1}$, and $k=E/(m{c}^2)$ is dimensionless conserved specific Killing energy. The time coordinate is normalized to proper time at infinity, so this $E$ is the particle's conserved energy referred to infinity. A photon's constants scale with the normalization of its null tangent; it has no rest frame or proper time parametrization.

Substitution of $\dot{t}=k/f$ and $\dot{\varphi }=h/r^2$ into the norm gives the general radial first integralFor a massive particle this becomesAdopting the usual half-normalization for the effective potential for timelike Schwarzschild geodesics, defineAll terms have units ${\mathrm{m}}^2{\mathrm{s}}^{-2}$, or energy per unit mass. The first two terms are the Newtonian gravitational and centrifugal contributions; the last is the relativistic correction.

A circular orbit requires both $\dot{r}=0$ and $V_{\mathrm{eff}}^{\prime }(R)=0$. Differentiating at fixed $h$ givesThe radial first integral also givesFor the future-directed circular orbit at $R=4\mu$, these constants are $|h|=4\mu c$, $k=1$, and $f=1/2$. ThereforeSince Schwarzschild time agrees with the clock time of a static observer at infinity, the intended infinity-referred tangential orbital speed isThis uses the circumferential areal radius $R$ with the clock at infinity; it is not a local measurement made at the orbit. A local static observer's clock instead has $d{\tau }_{\mathrm{stat}}=\sqrt{f}dt$ and measures $v_{\mathrm{local}}=v_{\infty }/\sqrt{f}=\boxed{c/\sqrt{2}}$. These two operationally different speeds explain the significance of the phrase “at infinity”.

The effective-potential stability of a circular orbit follows fromConsequently the $R=4\mu$ orbit exists but is unstable to radial perturbations. The original plot below shows its position at a maximum, for $h=4\mu c$.

For a weak-field elliptic orbit, the relativistic correction makes the direction of closest approach advance after each radial cycle. The derivations under i and ii below giveper orbit to first order, where $a_{\mathrm{orb}}$ is the semi-major axis and $e$ the orbital eccentricity. For Mercury, the additional Schwarzschild perihelion precession is approximately 43 arcseconds per century, over and above the much larger Newtonian precession produced primarily by other planets. It is the unexplained residual after those effects have been included that provides the classic quantitative test of general relativity; one should not identify the whole observed precession with this relativistic correction.^[ref]

The labels i and ii in the original paper introduce optional orbit-equation aids, rather than separate mandatory subquestions. They are retained here for derivations of both aids and of the perihelion result.

The relativistic orbit-shape equation can be derived without dividing by $\dot{r}$ at a turning point. Substitute the norm constraint into the radial geodesic equation to eliminate $\dot{t}$ and ${\dot{r}}^2$. Using $f^{\prime }=2\mu /r^2$ givesFor a massive particle with proper time as parameter, $\kappa =c^2$. Put $u=1/r$, and use primes in this paragraph for derivatives with respect to $\varphi$. The constant specific angular momentum gives $\dot{\varphi }=h{u}^2$, so the chain rule yieldsSubstituting these expressions into the radial equation and dividing by $h^2{u}^2$ for a nonradial orbit givesThe extra $3\mu u^2$ term is responsible for Schwarzschild perihelion precession. It vanishes in the Newtonian weak-field limit $\mu /r\to 0$. The derivation uses a massive particle; for a null geodesic, $\kappa =0$ and the constant $GM/h^2$ on the right is absent.

In Newtonian gravity, the radial equation with conserved specific angular momentum is $\ddot{r}=-GM/r^2+h^2/r^3$. The substitution $u=1/r$ therefore gives the linear differential equationChoosing $\varphi =0$ along perihelion, its elliptic orbit solution isHere $p$ is the semilatus rectum. One can check the last equality directly from $r_{\mathrm{peri}}=p/(1+e)$, $r_{\mathrm{apo}}=p/(1-e)$, and $a_{\mathrm{orb}}=(r_{\mathrm{peri}}+r_{\mathrm{apo}})/2$.

To find Schwarzschild perihelion precession, write $u=u_0+\delta u$ in the relativistic equation and retain first order in $\mu /p$. The linear ordinary differential equation for the correction isThe constant and double-frequency forcing change the orbit's shape without accumulating an angular shift. The resonant $\cos \varphi$ term producessince $(d^2/d{\varphi }^2+1)(\varphi \sin \varphi )=2\cos \varphi$. The oscillating part of the perturbed orbit is consequently the first-order expansion ofSuccessive perihelia are separated by $2\pi /(1-3\mu /p)$, slightly more than a full revolution. Their forward angular advance is thusin radians per orbit. This leading expression applies when $\mu /p\ll 1$. For a perfectly circular orbit there is no uniquely located perihelion; the same expression describes the limiting mismatch of radial and azimuthal frequencies for a small nonzero orbital eccentricity.

Local equivalence and tides. In Newtonian mechanics, inertial mass $m_{\mathrm{i}}$ measures the response to a force, whereas passive gravitational mass $m_{\mathrm{g}}$ couples to an imposed Newtonian gravitational field. A freely falling body obeysThe observed composition independence of free fall says that this ratio is universal. With a common choice of units it is one. This is the Newtonian content of the weak equivalence principle for test particles; it does not by itself specify all nongravitational physics.

The Einstein equivalence principle further says that local nongravitational experiments in a sufficiently small freely falling laboratory have the form predicted by special relativity, independently of the laboratory's location and motion. In such a local inertial frame, the metric tensor is locally the Minkowski metric and the Christoffel symbols vanish at the selected event. The strong equivalence principle extends the universality claim to local gravitational experiments and bodies with significant gravitational self-energy. None of these statements removes measurable tidal forces across a finite apparatus.

In an ideal small freely falling lift, a released ball initially floats relative to the cabin, because both undergo the same free fall. Two separated balls, however, need not retain their separation: they sample different parts of the gravitational field. For a point source, linearizing $\mathbf{g}=-GM\mathbf{r}/r^3$ across a small separation $\mathbf{\xi }$ gives the tidal tensor predictionA radial separation stretches with coefficient $2GM/r^3$, whereas a transverse separation is compressed with coefficient $-GM/r^3$. Initially parallel velocities therefore develop relative motion even though the individual bodies experience zero proper acceleration.

The relativistic statement is geodesic deviation. With the Riemann curvature tensor conventiona connecting vector between neighboring freely falling worldlines satisfiesHere $D/d\tau$ is the covariant derivative along the reference geodesic, and $U^{\mu }$ its four-velocity. Curvature can be nonzero where the Christoffel symbols have been made zero. In the weak, static, slow-motion limit this equation reduces to ${\ddot{\xi }}^i=-{\partial }_i{\partial }_j\Phi {\xi }^j$, recovering the tidal tensor above. A finite falling lift can detect gravity through these relative accelerations; local equivalence does not imply a globally uniform field.

Weak-field connection and potential. Take $x^0=ct$ and the $+---$ metric signature. There is an index error in the printed formula for the Christoffel symbols: its first differentiated metric component must be $g_{\nu 0}$, not $g_{\mu 0}$. The correctly contracted expression isThe offending term vanishes under the stipulated time independence, so this correction does not change the intended calculation. Write $g_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }$ and treat both $h$ and its derivatives as first order. To that order $g^{00}=1-h_{00}$, $g^{0i}=O(h)$, and $g^{ij}=-{\delta }^{ij}+O(h)$. A stationary metric tensor givesFor the temporal component the inverse-metric coefficient is already first order, soFor a spatial component the zeroth-order inverse metric contributes:The time component of the approximate geodesic equation says that $dt/d\tau$ is constant to the retained order. In its spatial component, convert the proper time derivatives to coordinate-time derivatives and cancel $(dt/d\tau {)}^2$:Comparison with the Newtonian equation $d^2\mathbf{x}/d{t}^2=-\nabla \Phi$ identifies $h_{00}=2\Phi /c^2+C$. For an isolated source, choose the gravitational potential to tend to zero at infinity and normalize the time coordinate there, giving $C=0$. ThusThe quantity $\Phi$ is the Newtonian gravitational potential, or gravitational potential energy per unit mass, in $\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}={\mathrm{m}}^2{\mathrm{s}}^{-2}$. For a point source, $\Phi =-GM/r$. A static clock has $d\tau =\sqrt{g_{00}}dt\approx (1+\Phi /c^2)dt$, connecting the Newtonian limit with gravitational time dilation.

Frequency of the orbiting source. Treat the gas blob as a test particle on a timelike circular Schwarzschild geodesic, with pressure and other nongravitational forces negligible. Treat our very distant location as infinity, so the observer's own gravitational potential is negligible. These are the assumptions that make a unique answer in terms of $R_S/r$ possible.

Put $f=1-R_S/r$ and use a local static observer at the emission point as an intermediate measuring frame. The remote observer lies on the symmetry axis of the orbit. A ray arriving on that axis has zero conserved axial angular momentum, so its local direction is perpendicular to the emitter's azimuthal velocity. Bending within a meridional plane does not alter this orthogonality. The transverse relativistic Doppler effect therefore giveswhere $v$ is the orbital speed measured by that local static observer. The gravitational redshift between static Schwarzschild observers then givesA gravitational circular orbit has $v^2=GM/r+O((GM/r{)}^2/c^2)$ in the weak-field limit, so $v^2/c^2=R_S/(2r)+O((R_S/r{)}^2)$. Expanding both factors,Solving for the emitted frequency givesThe gravitational part is $R_S/(2r)$ and the transverse kinematic time dilation contributes another $R_S/(4r)$; the absence of line-of-sight motion does not remove this second effect.

As an exact check, the local speed on a timelike circular Schwarzschild geodesic satisfies $v^2/c^2=\mu /(r-2\mu )$, where $\mu =GM/c^2=R_S/2$. Therefore the face-on frequency shift of a circular Schwarzschild source iswhose expansion agrees with the boxed answer. If the gas is supported or accelerated by pressure or magnetic stresses rather than following a geodesic, its orbital speed is not fixed by the mass and radius alone; the appropriate first-order result is instead ${\nu }_{\mathrm{em}}\approx {\nu }_{\mathrm{ob}}[1+GM/(r{c}^2)+v^2/(2c^2)]$, with $v$ supplied independently.