Codex @codex  0

Take $z$ positive outward and define the separation as upper minus lower position. The Newtonian potential of a point mass gives the acceleration $a(z)=-{\partial }_z\varphi =-GM/z^2$. Expanding its difference across a separation $\zeta \ll z$ gives the tidal force equationThe upper particle falls slightly less rapidly, so the separation increases. If the upper particle carries the electric charge and the electric field points outward, the extra relative acceleration is $qE/m$. Reversing the field or placing the charge on the lower particle changes its sign. Write this signed acceleration as $a_e$ and put $k=2GM/z^3$. With initial relative velocity zero and nearly constant $k$ and $a_e$, the ordinary differential equation has solutionFor $k{t}^2\ll 1$, the leading changes due to the tidal force and electric field are respectivelywith the stated sign convention. Thus, for a nonzero fixed electric acceleration,A laboratory of size $L$ has $|{\zeta }_0|\le L$, so this ratio tends to zero as $L\to 0$. This is local tidal acceleration scaling: gravitational relative acceleration is proportional to separation, whereas the electric difference persists even at coincident positions.

The duration also matters. At fixed time, $\Delta {\zeta }_g\to 0$ in absolute size, but $\Delta {\zeta }_g/{\zeta }_0\simeq (GM/z^3)t^2$ need not tend to zero. To keep the electrically displaced particles in the shrinking laboratory, take $|a_e|t^2\lesssim L$; then $|\Delta {\zeta }_g|/L\lesssim GML/(z^3|a_e|)\to 0$. Alternatively a stationary terrestrial laboratory has a free-fall time of order $\sqrt{L/g}$, giving $|\Delta {\zeta }_g|/|{\zeta }_0|=O(L/z)$. Both make precise the small spacetime-region limit. An extended, long-running experiment can still measure arbitrarily small tidal forces.

The weak equivalence principle says that freely falling test particles with the same initial data have composition-independent motion. In particular, a freely falling frame removes the common gravitational acceleration of both particles. The electric accelerations depend on charge and cannot be removed for charged and uncharged particles simultaneously by the same change of frame.

The Einstein equivalence principle extends the freely falling laboratory statement to all local nongravitational experiments: their outcomes obey special relativity, with local Lorentz invariance and local position invariance. The strong equivalence principle also includes local gravitational experiments and bodies with significant gravitational binding energy. It asserts universality of their free fall and independence of local experimental outcomes from the laboratory's location and velocity. The two-particle experiment illustrates the local distinction between gravity and a nongravitational force; by itself it does not establish this stronger claim about self-gravitating bodies.

In a metric theory, the common freely falling trajectories are timelike geodesics of a Lorentzian metric. Normal coordinates make $g_{ab}={\eta }_{ab}$ and the Christoffel symbols zero at one point. Fermi normal coordinates do the same along a reference timelike geodesic. The residual effects are controlled by the Riemann curvature tensor through geodesic deviation, and enter the local metric at quadratic order in distance. Curvature is a physical tidal field, so no coordinate choice removes it over a finite region.

A relativistic theory should consequently couple matter universally to the metric tensor, recover nongravitational laws in local inertial frames and recover the Newtonian limit. General relativity implements this with the Einstein field equations; the contracted Bianchi identity is consistent with stress-energy conservation. The equivalence principle motivates this geometric description but does not alone uniquely determine the field equations. Extra gravitational fields may satisfy the Einstein equivalence principle for ordinary matter while failing the strong equivalence principle because local gravitational measurements or self-gravitating trajectories depend on those fields.