Skip to content

Complete the central exterior

The leading weak-field data do not supply every higher-order orbital term. A separately identified static spherical completion provides that missing dependency and the exact family used in the optical and orbital estimates.

The leading weak-field data do not supply every higher-order orbital term. A separately identified static spherical completion provides that missing dependency and the exact family used in the optical and orbital estimates.

14. The central exterior and its higher-order completion

Let r=∣x∣r=|\mathbf x|, n=x/rn=\mathbf x/r, P=nnTP=nn^{\mathsf T}. Einstein’s first-order exterior Einstein (70) is

gij=−δij−αrPij,gi4=0,g44=1−αr.(14.1)g_{ij}=-\delta_{ij}-\frac\alpha rP_{ij},\qquad g_{i4}=0,\qquad g_{44}=1-\frac\alpha r. \tag{14.1}

A calibration is E=I+diag⁡(αP/(2r),−α/(2r))+OC2(α2)E=I+\operatorname{diag}(\alpha P/(2r),-\alpha/(2r))+O_{C^2}(\alpha^2) on a compact region away from r=0r=0. Its first metric variation has zero η\eta-trace, so unit volume holds to this order. Substitution into the complete linearized Ricci tensor gives zero on r>0r>0; the check includes all components, not just 4444.

The force is d2x/dt2=−αx/(2r3)\mathrm{d}^2\mathbf x/\mathrm{d}t^2=-\alpha\mathbf x/(2r^3). Joining it to (13.7) with the same mass and asymptotic clock gives

1−αr=1+2ϕ=1−κM4πr,α=κM4π=2KMc2.(14.2)1-\frac\alpha r=1+2\phi=1-\frac{\kappa M}{4\pi r}, \qquad \boxed{\alpha=\frac{\kappa M}{4\pi}=\frac{2KM}{c^2}.} \tag{14.2}

The supplied Einstein (70a) prints κM/(8π)\kappa M/(8\pi); the factor-of-two inconsistency is documented rather than absorbed by changing the meaning of MM.

Treating (14.1) as exact is a different and invalid recovery step: its Cartesian determinant is −1+α2/r2-1+\alpha^2/r^2 and its higher-order Ricci tensor is nonzero. Keeping only g44g_{44} likewise preserves the Newtonian force but fails the full linear vacuum equation and halves the leading light deflection. The field retained for later operations must contain the required spatial information.

A labelled static spherical completion

The perihelion paragraph explicitly requires a more accurate field and cites earlier work. We now derive the needed exterior within the same source calculus, imposing an additional static spherical ansatz and asymptotic normalization. It is not a classification of all vacuum geometries or an exact metric claimed to appear in Einstein (70).

Take coordinates (r,θ,φ,t)(r,\theta,\varphi,t) on r>0r>0, 0<θ<π0<\theta<\pi and the unrestricted positive calibration

Erad=diag⁡(b(r),r,rsin⁡θ,a(r)),a,b>0.(14.3)E_{\rm rad}=\operatorname{diag}(b(r),r,r\sin\theta,a(r)),\qquad a,b>0. \tag{14.3}

Compute its comparison by (4.6). Equivalently, its nonzero independent frame connections are

ω21=θ2br,ω31=θ3br,ω32=cot⁡θrθ3,ω41=a′abθ4,(14.4)\omega^2{}_1=\frac{\theta^2}{br},\qquad \omega^3{}_1=\frac{\theta^3}{br},\qquad \omega^3{}_2=\frac{\cot\theta}{r}\theta^3,\qquad \omega^4{}_1=\frac{a'}{ab}\theta^4, \tag{14.4}

with ω12=−ω21\omega^1{}_2=-\omega^2{}_1, ω13=−ω31\omega^1{}_3=-\omega^3{}_1, ω23=−ω32\omega^2{}_3=-\omega^3{}_2 and ω14=ω41\omega^1{}_4=\omega^4{}_1. Exterior differentiation and the matrix products in (6.1) give

Ric⁡rr=−rba′′−ra′b′−2ab′rab,(14.5)Ric⁡tt=a(rba′′−ra′b′+2ba′)rb3,Ric⁡θθ=1−1b2+rb′b3−ra′ab2,Ric⁡φφ=sin⁡2θRic⁡θθ,\begin{aligned} \operatorname{Ric}_{rr}&=-\frac{rba''-ra'b'-2ab'}{rab},&&\text{(14.5)}\\ \operatorname{Ric}_{tt}&=\frac{a(rba''-ra'b'+2ba')}{rb^3},\\ \operatorname{Ric}_{\theta\theta}&=1-\frac1{b^2}+\frac{rb'}{b^3}-\frac{ra'}{ab^2}, \qquad \operatorname{Ric}_{\varphi\varphi}=\sin^2\theta\operatorname{Ric}_{\theta\theta}, \end{aligned}

with off-diagonal components zero. The combination

Ric⁡tta2+Ric⁡rrb2=2(ab)′rab3(14.6)\frac{\operatorname{Ric}_{tt}}{a^2}+\frac{\operatorname{Ric}_{rr}}{b^2} =\frac{2(ab)'}{rab^3} \tag{14.6}

shows that vacuum requires abab constant. The asymptotic calibration a,b→1a,b\to1 makes it one. The angular equation becomes 1−a2−r(a2)′=01-a^2-r(a^2)'=0, whose integral gives

A(r)=1−αr,Eext=diag⁡(A−1/2,r,rsin⁡θ,A1/2),ds2=Adt2−A−1dr2−r2dΩ2.(14.7)\boxed{A(r)=1-\frac\alpha r,\qquad E_{\rm ext}=\operatorname{diag}(A^{-1/2},r,r\sin\theta,A^{1/2}), \qquad \mathrm{d}s^2=A\mathrm{d}t^2-A^{-1}\mathrm{d}r^2-r^2\mathrm{d}\Omega^2.} \tag{14.7}

Substitution into every component of (14.5) gives zero. The curvature itself is nonzero. We use the static positive-mass domain r>α>0r>\alpha>0, not a global horizon extension or a material interior.

An equivalent Cartesian calibration is

Ecart=(I3+(A−1/2−1)P00A1/2),det⁡Ecart=1.(14.8)E_{\rm cart}=\begin{pmatrix} I_3+(A^{-1/2}-1)P&0\\0&A^{1/2} \end{pmatrix},\qquad \det E_{\rm cart}=1. \tag{14.8}

Its spatial radial eigenvalue is A−1/2A^{-1/2} and both transverse eigenvalues are one. Its metric expands to (14.1). In ordinary spherical coordinates, however, ν=r2sin⁡θ\nu=r^2\sin\theta, not one. The two descriptions are related by their actual coordinate Jacobian and local spatial-frame rotation.

Schwarzschild’s cited mathematical expression uses areal radius R=(r03+α3)1/3R=(r_0^3+\alpha^3)^{1/3} [12]; our rr in (14.7) is that RR, not his original r0r_0. The identity R2dR=r02dr0R^2\mathrm{d}R=r_0^2\mathrm{d}r_0 verifies the volume comparison, and R−r0R-r_0 begins at order α3\alpha^3 for fixed positive r0r_0. Only the translated mathematical equations are used from that source, not its translators’ introductory interpretation.

Information needed beyond a first-order metric

The raw alternative

Aλ=1−αr+λα2r2,b2=Aλ−1(14.9)A_\lambda=1-\frac\alpha r+\lambda\frac{\alpha^2}{r^2},\qquad b^2=A_\lambda^{-1} \tag{14.9}

agrees with Einstein (70) to first order but gives angular vacuum residual 1−Aλ−rAλ′=λα2/r21-A_\lambda-rA_\lambda'=\lambda\alpha^2/r^2. Its orbit polynomial differs from the vacuum result below by −λα2(w2/ℓ2+w4)-\lambda\alpha^2(w^2/\ell^2+w^4). For weak bound orbits ℓ2\ell^2 is of order αp\alpha p, so this changes the leading relativistic orbital correction. A first-order metric alone does not determine the perihelion advance. The higher-order field law and asymptotic normalization are essential information, supplied by the explicitly labelled completion above.

Published source: The Foundations of General Relativity: A Source–Readout Reconstruction of Einstein’s 1916 Theory. Read the original PDF alongside the web treatment.