Skip to content

Fix the Newtonian normalization

Controlled weak-field and slow-motion reductions connect the covariant theory to Newtonian acceleration. Derivative norms, matter scaling and the chosen quasi-static regime keep the approximation quantitative.

Controlled weak-field and slow-motion reductions connect the covariant theory to Newtonian acceleration. Derivative norms, matter scaling and the chosen quasi-static regime keep the approximation quantitative.

13. Finite-order reconstruction and the Newtonian limit

Einstein’s §21 introduces weak metric departures from special relativity, normalization at spatial infinity, slow test motion and quasi-static source variation as distinct restrictions. We preserve their order. The approximation operation acts on the existing realization rather than defining a new source by its successful limiting answer.

Theorem 13.1 (Finite-jet recovery)

Let E(ε,x)E(\varepsilon,x) be sufficiently smooth in ε\varepsilon and spacetime variables on a fixed patch, with uniformly bounded inverse on the compact domain used. Finite Taylor coefficients in ε\varepsilon commute with the recovered algebraic and differential operations, using truncated products and inverses and the derivative-norm remainder bounds required by each operation. In particular, with uniform C2C^2 control,

E=I+εH+OC2(ε2)⟹g=η+εh+OC2(ε2),h=HTη+ηH.(13.1)E=I+\varepsilon H+O_{C^2}(\varepsilon^2) \quad\Longrightarrow\quad g=\eta+\varepsilon h+O_{C^2}(\varepsilon^2),\quad h=H^{\mathsf T}\eta+\eta H. \tag{13.1}

Every symmetric coefficient hh has a lift H=ηh/2H=\eta h/2.

Proof.

All readouts are finite products, contractions or inverses on the nondegenerate domain. The comparison uses first derivatives and curvature uses second derivatives. Taylor’s theorem, Leibniz’ rule and differentiation of E−1E=IE^{-1}E=I determine the coefficient operations. The bounded inverse prevents denominator singularities; uniform derivative remainders justify differentiating before truncation. Differentiating the exact intertwining identities then proves coefficient equality. At second order,

h2=H2Tη+ηH2+H1TηH1,H2=12η(h2−H1TηH1),h_2=H_2^{\mathsf T}\eta+\eta H_2+H_1^{\mathsf T}\eta H_1, \qquad H_2=\tfrac12\eta(h_2-H_1^{\mathsf T}\eta H_1),

showing constructive next-coefficient coverage. The smooth local section also lifts full nearby metric families.

□\square

This is finite-order operation recovery, not a long-time Newtonian-limit theorem for arbitrary Einstein–matter solutions. Weak amplitude alone is insufficient: h44=ε2sin⁡(x/ε)h_{44}=\varepsilon^2\sin(x/\varepsilon) tends uniformly to zero but ∂x2h44=−sin⁡(x/ε)\partial_x^2h_{44}=-\sin(x/\varepsilon) need not. The derivative control is a stated mathematical refinement of the approximation, not a rigor claim attributed to Einstein’s prose.

Coordinate time and the slow-motion operation

For vi=dxi/dtv^i=\mathrm{d}x^i/\mathrm{d}t, write wμ=(v1,v2,v3,1)w^\mu=(v^1,v^2,v^3,1). Dividing the affine geodesic equation by (dt/ds)2(\mathrm{d}t/\mathrm{d}s)^2 and eliminating d2t/ds2\mathrm{d}^2t/\mathrm{d}s^2 through its fourth component gives

d2xidt2=−Ciμνwμwν+C4μνwμwνvi.(13.2)\boxed{\frac{\mathrm{d}^2x^i}{\mathrm{d}t^2} =-C^i{}_{\mu\nu}w^\mu w^\nu +C^4{}_{\mu\nu}w^\mu w^\nu v^i.} \tag{13.2}

Its source form is Dt(Ew)=C4μνwμwνEwD_t(Ew)=C^4{}_{\mu\nu}w^\mu w^\nu Ew. Coordinate time is generally nonaffine, so the final term cannot be discarded merely by choosing tt as parameter.

For g=η+hg=\eta+h to first order, Ci(1)44=−∂4hi4+∂ih44/2C^{i(1)}{}_{44}=-\partial_4h_{i4}+\partial_i h_{44}/2. Taking slow motion and quasi-static variation in addition to weak field yields

d2xidt2=−12∂ig44(13.3)\boxed{\frac{\mathrm{d}^2x^i}{\mathrm{d}t^2}=-\frac12\partial_i g_{44}} \tag{13.3}

at the retained order, which is Einstein (67). A sufficient local bound makes the discarded terms explicit. Let δ=∥h∥∞<1\delta=\|h\|_\infty<1 in maximum absolute row-sum norm, M=max⁡∣∂λhμν∣M=\max|\partial_\lambda h_{\mu\nu}|, b=∑i∣vi∣b=\sum_i|v^i| and At=max⁡i∣∂4hi4∣A_t=\max_i|\partial_4h_{i4}|. Neumann inversion gives ∥q∥∞≤(1−δ)−1\|q\|_\infty\le(1-\delta)^{-1}, so connection components and their nonlinear corrections are bounded by 3M/[2(1−δ)]3M/[2(1-\delta)] and 3δM/[2(1−δ)]3\delta M/[2(1-\delta)]. Expanding (13.2) then gives

∣d2xidt2+12∂ih44∣≤At+3M2(1−δ)[δ+2b+b2+b(1+b)2].(13.4)\left|\frac{\mathrm{d}^2x^i}{\mathrm{d}t^2}+\frac12\partial_i h_{44}\right| \le A_t+\frac{3M}{2(1-\delta)} [\delta+2b+b^2+b(1+b)^2]. \tag{13.4}

This is a chart-specific sufficient bound with fixed derivative units, not an optimal invariant trajectory estimate.

The field reduction and material assumptions

Expansion of the full curvature gives

Ric⁡44(1)=12Δh44−∑i∂i∂4hi4+12∑i∂42hii.(13.5)\boxed{\operatorname{Ric}^{(1)}_{44} =\tfrac12\Delta h_{44}-\sum_i\partial_i\partial_4h_{i4} +\tfrac12\sum_i\partial_4^2h_{ii}.} \tag{13.5}

It follows by inserting the linear Christoffel expression into (2.6); Theorem 13.1 supplies the same source response. The quasi-static approximation removes the last two terms. Pressure and spatial motion are separately negligible in Einstein’s material approximation, giving T44≃ρT_{44}\simeq\rho, τ≃ρ\tau\simeq\rho and a trace-reversed 4444 component ρ/2\rho/2. Thus

12Δh44=12κρ,Δg44=κρ,(13.6)\tfrac12\Delta h_{44}=\tfrac12\kappa\rho, \qquad \boxed{\Delta g_{44}=\kappa\rho,} \tag{13.6}

recovering Einstein (68). Weak metric amplitude alone would not remove pressure: the exact comoving fluid form gives trace-reversed 4444 component ρ/2+p\rho/2+p.

Define ϕ=(g44−1)/2\phi=(g_{44}-1)/2. Subtracting the constant fixes ϕ→0\phi\to0 at infinity without changing the force. For smooth compactly supported density on Euclidean three-space,

Δϕ=12κρ,ϕ(x)=−κ8π∫ρ(y)∣x−y∣d3y.(13.7)\Delta\phi=\tfrac12\kappa\rho, \qquad \boxed{\phi(\mathbf x)=-\frac\kappa{8\pi} \int\frac{\rho(\mathbf y)}{|\mathbf x-\mathbf y|}\mathrm{d}^3y.} \tag{13.7}

This is Einstein (68a). The coefficient follows from the outward flux of ∇(1/r)\nabla(1/r), equal to −4π-4\pi, and hence Δ(1/r)=−4πδ\Delta(1/r)=-4\pi\delta distributionally. The difference of two globally regular decaying solutions is harmonic; the maximum principle on expanding balls proves uniqueness. On an exterior domain alone, decay does not eliminate all harmonic multipoles: inner boundary or flux data remain necessary.

A joined scalar check for a uniform ball of radius RR is

ϕin=κρ12(r2−3R2),ϕout=−κρR36r,M=4πρR33.(13.8)\phi_{\rm in}=\frac{\kappa\rho}{12}(r^2-3R^2),\qquad \phi_{\rm out}=-\frac{\kappa\rho R^3}{6r},\qquad M=\frac{4\pi\rho R^3}{3}. \tag{13.8}

Potential and radial derivative match at RR, so no spurious surface source appears. This verifies a Poisson boundary operation, not an exact relativistic interior fluid solution.

Restoring physical time by x4=ctphysx^4=ct_{\rm phys} gives physical potential U=c2ϕU=c^2\phi. Comparison with U=−K∫ρ/rU=-K\int\rho/r in Einstein’s mass-equivalent density convention yields

κmass=8πKc2,Tenergy=c2Tmass,κenergy=8πKc4.(13.9)\boxed{\kappa_{\rm mass}=\frac{8\pi K}{c^2},\qquad T_{\rm energy}=c^2T_{\rm mass},\qquad \kappa_{\rm energy}=\frac{8\pi K}{c^4}.} \tag{13.9}

The first is Einstein (69); the second normalization is the same equation expressed with energy-density stress. No present-day numerical gravitational constant is inferred from the original historical estimate.

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