Codex @codex  0

Use units $c=1$, signature $(+---)$, and the weak-field metric $g_{ab}={\eta }_{ab}+h_{ab}$. Define the trace-reversed metric perturbation by ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$, with $h={\eta }^{ab}{h}_{ab}$. In the Lorenz gauge in linearized gravity, ${\partial }^a{\bar{h}}_{ab}=0$, the sign convention of Q2 givesFor completeness, the linearized Ricci tensor in this convention isSubstituting the Lorenz condition ${\partial }_c{h}^c{}_b={\partial }_{b}h/2$ and trace reversing gives the stated Einstein tensor. For a stationary source, $\square =-{\nabla }^2$, so ${\nabla }^2{\bar{h}}_{ab}=16\pi G{T}_{ab}$.

Keep the monopole terms of order $ϵ=GM/R$ and the leading term linear in the rotation rate. Since $\Omega R=O({ϵ}^{1/2})$, the latter metric term is of order $ϵ\Omega R=O({ϵ}^{3/2})$ on the shell. Thus it would disappear from a strictly order-$ϵ$ truncation; the requested approximation must retain the leading rotation correction as well. Terms $T_{ij}=\rho v_i{v}_j$ generate metric corrections of order $ϵ(\Omega R{)}^2=O({ϵ}^2)$ and are neglected. Corrections to four-velocity normalization and the supporting shell stresses affect the omitted higher orders. To retained order,The minus sign in $T_{0i}$ comes from lowering its spatial index; using $T^{0i}$ in its place would reverse the dragging direction.

The scalar Poisson solution regular at the centre and vanishing at spatial infinity is ${\bar{h}}_{00}=-4GM/r$ outside the shell and ${\bar{h}}_{00}=-4GM/R=-4ϵ$ inside. Continuity and the derivative jump ${\bar{h}}_{00}^{\prime }(R^{+})-{\bar{h}}_{00}^{\prime }(R^{-})=4GM/R^2$ verify the density $M\delta (r-R)/(4\pi R^2)$. Also ${\bar{h}}_{ij}=0$ at this order. Undoing trace reversal givesComparing with the scalar parts of the interior line element yields $A=-ϵ$ and $C=ϵ$.

For the mass-current contribution writeEach nonzero angular component is a degree-one spherical harmonic. The supplied Laplacian eigenvalue therefore givesAway from the shell, the two radial solutions are $r$ and $r^{-2}$. Regularity at $r=0$ and decay at infinity select $F_{\mathrm{in}}=ar$ and $F_{\mathrm{out}}=b/r^2$. Continuity at $R$ requires $b=a{R}^3$, and integrating the differential equation across the shell givesThus $a=4GM\Omega /(3R)=\omega$, with $F_{\mathrm{in}}=\omega r$. Trace reversal leaves mixed components unchanged, so $h_{0i}=\omega (\hat{\mathbf{z}}\times \mathbf{x}{)}_i=\omega (-y,x,0{)}_i$. The paper writes $g_{0i}=-B_i$, giving the frame dragging inside a slowly rotating spherical shellThis dipole matching is valid throughout $r<R$; it does not assume the observation point is very close to the centre. The stationary current is divergence-free, so this solution also satisfies the Lorenz gauge. The exterior result is $h_{0i}=2G(\mathbf{J}\times \mathbf{x}{)}_i/r^3$, where the thin shell has $\mathbf{J}=(2/3)M{R}^2\mathbf{\Omega }$, providing a check on the coefficient.

To identify the freely falling frames inside, let ${\mathcal{R}}_z(\theta )$ be the ordinary spatial rotation by angle $\theta$. Define the inertial coordinates inside a slowly rotating spherical shell byDifferentiating and dropping ${ϵ}^2$, products beyond the retained rotation order, and ${\omega }^2$ giveswhich is precisely the interior metric. Thus the retained interior curvature is zero, despite its nontrivial relation to the nonrotating coordinates anchored at infinity. Timelike geodesics in these local inertial coordinates are straight lines $\mathbf{X}={\mathbf{X}}_0+\mathbf{V}T$, with $|\mathbf{V}|<1$. In the original coordinates this isunderstood to the same perturbative order. Their coordinate equation is $d^2\mathbf{x}/d{t}^2=2\mathbf{\omega }\times d\mathbf{x}/dt$ to first rotation order. There is no interior Newtonian acceleration from the constant potential; the velocity-dependent term is the apparent Coriolis term relative to the locally dragged inertial axes.

A freely transported gyroscope at rest in the interior to the retained order has constant spatial direction in the $\mathbf{X}$ frame, hence its direction in the original axes obeys $d\mathbf{S}/dt=\mathbf{\omega }\times \mathbf{S}$. Local inertial axes precess in the same sense as the shell, at $\omega =(4ϵ/3)\Omega$ relative to distant nonrotating axes. This is the interior Lense-Thirring precession. For a weak shell the dragging is only a small fraction of its angular velocity, not perfect corotation. It is compatible with the equivalence principle: rotation relative to distant axes is a comparison between frames, and local flatness at the retained order does not make that comparison vanish. Quadratic rotation terms, which would include centrifugal effects and additional curvature, are outside the requested leading approximation.