Reduced-order LL local ODE and shell

Let $(A,V,\eta ,C^{+})$ be an oriented, time-oriented affine Minkowski space of dimension four with signature $(-,+,+,+)$, and fix an inertial chart $(x^0,x^1,x^2,x^3)$ with $x^0=ct$, $c>0$. Let $O\subseteq A$ be open and let $F$ be a $C^2$ alternating covariant two-tensor on $O$. In this chart write $F^a{}_b:={\eta }^{ac}{F}_{cb}$ and let ${\mathrm{\partial }}_b$ denote the coordinate partial derivative. Fix constants $\alpha \in \mathbb{R}$ and ${\tau }_e\ge 0$. For every $U\in V$, define

${\mathrm{\Pi }}_U{}^a{}_b:={\delta }_b^a+\frac{U^a{U}_b}{c^2},f_0^a(x,U):=\alpha F^a{}_b(x)U^b,$

$B^a(x,U):=\alpha ({\mathrm{\partial }}_b{F}^a{}_c)(x)U^b{U}^c+{\alpha }^2{F}^a{}_b(x)F^b{}_c(x)U^c,a_{\mathrm{L}\mathrm{L}}^a(x,U):=f_0^a(x,U)+{\tau }_e{\mathrm{\Pi }}_U{}^a{}_b{B}^b(x,U)\mathrm{.}$

For the physical interpretation, $x^a$ are in metres, $\tau$ is in seconds, $c$ is in metres per second, $U$ is in metres per second, $\alpha =q\mathrm{/}m$, and ${\tau }_e$ is a time. Here a proper-time parameter means that the parameter is measured in seconds and the four-velocity is normalized by $\eta (U,U)=-c^2$; define the future unit shell by ${\mathcal{S}}^{+}:=\{U\in C^{+}:\eta (U,U)=-c^2\}$. For each initial datum $(x_0,U_0)\in O\times V$ with $U_0\in {\mathcal{S}}^{+}$, the system

$\frac{d{x}^a}{d\tau }=U^a,\frac{d{U}^a}{d\tau }=a_{\mathrm{L}\mathrm{L}}^a(x,U),(x(0),U(0))=(x_0,U_0)$

has a unique local solution on an open proper-time interval about $0$. Along that interval $\eta (U,U)=-c^2$ and $U$ remains future directed. This is a local ODE statement: it makes no claim of global existence for arbitrary $F$.

Use the flat definitions $f_0$, $B$, and ${\mathrm{\Pi }}_U$ of Reduced-order Landau–Lifshitz local ODE and mass shell. Let $I=[{\tau }_{-},{\tau }_{+}]$ with ${\tau }_{-}<{\tau }_{+}$ be a common compact proper-time interval, and suppose each curve below is $C^3$ on an open neighborhood of $I$. For each $0<\epsilon \le {\epsilon }_{\ast }$, let $x_{\epsilon }:I\to A$ be a curve in affine Minkowski space with $U_{\epsilon }={\dot{x}}_{\epsilon }$, $a_{\epsilon }={\dot{U}}_{\epsilon }$, and $\eta (U_{\epsilon },U_{\epsilon })=-c^2$. Let $F$ be a fixed $C^2$ two-form on a neighborhood of the curves, fix a constant ${\alpha }_{\epsilon }\in \mathbb{R}$ for each $\epsilon$, and set $f_{0,\epsilon }={\alpha }_{\epsilon }F(U_{\epsilon })$ and ${\delta }_{\epsilon }:=a_{\epsilon }-f_{0,\epsilon }$. Suppose every curve satisfies the flat LAD equation

$a_{\epsilon }=f_{0,\epsilon }+\epsilon ({\dot{a}}_{\epsilon }-\frac{\eta (a_{\epsilon },a_{\epsilon })}{c^2}{U}_{\epsilon })\mathrm{.}$

Use the Euclidean norm of inertial components and its induced operator norm. In the SI interpretation $\epsilon$ is a time and ${\alpha }_{\epsilon }=q\mathrm{/}m$; all constants and field norms carry the corresponding units. Assume constants $A,M,P,C_0,C_1\ge 0$, independent of $\epsilon$, satisfy on $I$

$\mathrm{\mid }{\alpha }_{\epsilon }\mathrm{\mid }\le A,\mathrm{\parallel }F{\mathrm{\parallel }}_{\mathrm{o}\mathrm{p}}\le M,\mathrm{\parallel }{\mathrm{\Pi }}_{U_{\epsilon }}{\mathrm{\parallel }}_{\mathrm{o}\mathrm{p}}\le P,\mathrm{\parallel }{\delta }_{\epsilon }\mathrm{\parallel }\le C_0\epsilon ,\mathrm{\parallel }{\dot{\delta }}_{\epsilon }\mathrm{\parallel }\le C_1\epsilon \mathrm{.}$

Then throughout $I$,

$\parallel a_{\epsilon }-(f_{0,\epsilon }+\epsilon {\mathrm{\Pi }}_{U_{\epsilon }}{B}_{\epsilon })\parallel \le P(C_1+AM{C}_0){\epsilon }^2\mathrm{.}$

The estimate is conditional on the displayed common-interval and uniform bounds. It does not establish that regular LAD solutions satisfying them exist, nor does it imply global-in-time convergence.

For a separate finite-interval comparison, let $d\in \mathbb{N}$ with $d\ge 1$, let $\mathrm{\Omega }\subseteq {\mathbb{R}}^d\times {\mathbb{R}}^d$ be open in the topology of the usual Euclidean metric $d_2$ on ${\mathbb{R}}^{2d}$, and let $K\subseteq \mathrm{\Omega }$ be compact for that metric. Let $T>0$ and ${\tau }_e,C,L\ge 0$. Fix positive coordinate scales $s_j$ for the $2d$ phase coordinates and define $\mathrm{\parallel }\xi {\mathrm{\parallel }}_1:={\sum }_{j=1}^{2d}\mathrm{\mid }{\xi }_j\mathrm{\mid }\mathrm{/}{s}_j$ for $\xi \in {\mathbb{R}}^{2d}$. In a dimensional application choose the position and velocity scales consistently with one fixed time unit, so the two blocks of the lifted vector fields below have the same rate units. All constants use these fixed scales; in particular $L$ has units of inverse time, $LT$ is dimensionless, and $C{\tau }_e^2$ has the units of a phase-space rate. Let $A_{{\tau }_e},{\tilde{A}}_{{\tau }_e}:\mathrm{\Omega }\to {\mathbb{R}}^d$ be specified acceleration maps, and define the corresponding second-order phase vector fields

$X_{{\tau }_e}(q,v):=(v,A_{{\tau }_e}(q,v)),{\tilde{X}}_{{\tau }_e}(q,v):=(v,{\tilde{A}}_{{\tau }_e}(q,v))\mathrm{.}$

All vector integrals in this comparison are taken componentwise as real Riemann integrals.

Assume that for all $z,z^{\mathrm{\prime }}\in K$,

$\mathrm{\parallel }{X}_{{\tau }_e}(z)-X_{{\tau }_e}(z^{\mathrm{\prime }}){\mathrm{\parallel }}_1\le L\mathrm{\parallel }z-z^{\mathrm{\prime }}{\mathrm{\parallel }}_1,\mathrm{\parallel }{\tilde{X}}_{{\tau }_e}(z)-{\tilde{X}}_{{\tau }_e}(z^{\mathrm{\prime }}){\mathrm{\parallel }}_1\le L\mathrm{\parallel }z-z^{\mathrm{\prime }}{\mathrm{\parallel }}_1,$

and that $\mathrm{\parallel }{X}_{{\tau }_e}(z)-{\tilde{X}}_{{\tau }_e}(z){\mathrm{\parallel }}_1\le C{\tau }_e^2$ for every $z\in K$. If $z_1,z_2:[0,T]\to K$ are restrictions of $C^1$ maps on an open interval containing $[0,T]$, solve ${\dot{z}}_1=X_{{\tau }_e}(z_1)$ and ${\dot{z}}_2={\tilde{X}}_{{\tau }_e}(z_2)$ pointwise on $[0,T]$, and satisfy $z_1(0)=z_2(0)$, then

${\sup }_{0\le t\le T}\mathrm{\parallel }{z}_1(t)-z_2(t){\mathrm{\parallel }}_1\le C{\tau }_e^{2}T{e}^{LT}\mathrm{.}$

This stability claim assumes both solutions exist on the full interval and remain in the stated common region. It concerns only the two specified second-order systems; it is not an existence or convergence claim for the third-order LAD equation.

Restrict Charged and spinning test-body quantities to its flat affine Minkowski branch, with signature $(-,+,+,+)$, proper time $\tau$ in seconds, future four-velocity $U=dx\mathrm{/}d\tau$ satisfying $\eta (U,U)=-c^2$, constant primitive $m>0$ in kilograms and nonzero charge $q\in \mathbb{R}$ in coulombs. Let the prescribed external electromagnetic two-form $F$ be $C^2$ on an open neighborhood of the worldline; use the component convention $F_{0i}=-E_i\mathrm{/}c$, $F_{ij}={ϵ}_{ijk}{B}_k$ of The electromagnetic two-form, its observer decomposition and the four-current. Let $a:=dU\mathrm{/}d\tau$ and

$\alpha :=q\mathrm{/}m,{\tau }_e:=\frac{q^2}{6\pi {ϵ}_{0}m{c}^3}>0,f_0^a:=\alpha F^a{}_b{U}^b,$

where ${ϵ}_0=({\mu }_0{c}^2{)}^{-1}$ follows Framework-local SI units, the vacuum constants and the exact/measured status of their values. Adopt the flat LAD effective equation

$a^a=f_0^a+{\tau }_e(\frac{d{a}^a}{d\tau }-\frac{{\eta }_{bc}{a}^b{a}^c}{c^2}{U}^a)\mathrm{.}$

The derivative is the ordinary derivative in an inertial affine chart. Its dimensions are consistent: $a$ and $f_0$ are accelerations, the parenthesized term has acceleration per second, and ${\tau }_e$ is a time. This is an adopted effective model equation for sufficiently regular curves (at least $C^3$); it is not asserted to be an exact law of nature, a point-source Maxwell construction, or a globally well-posed dynamics. In particular, no existence, uniqueness, stability, or empirical claim is part of this postulate.

At each proper-time value $\tau$, define the particle's instantaneous rest frame to be the tuple $(x(\tau );e_0,e_1,e_2,e_3)$, where $e_0=U(\tau )\mathrm{/}c$ and $(e_1,e_2,e_3)$ is a positively oriented $\eta$-orthonormal basis of $U(\tau {)}^{\perp }$. This is a pointwise basis at the event $x(\tau )$, not one inertial chart along an accelerated curve; the rest-space norm is $\mathrm{\parallel }v{\mathrm{\parallel }}_{\mathrm{r}\mathrm{e}\mathrm{s}\mathrm{t}}:=\sqrt{\eta (v,v)}$ for $v\in U(\tau {)}^{\perp }$. Use of the equation as a reduced physical approximation carries the source's qualitative validity qualification that radiation reaction be small relative to the applied Lorentz force in this instantaneous rest frame. This postulate neither asserts that condition for arbitrary $F$ nor supplies a numerical threshold; the qualification is not used to deduce the local ODE results or the force-free counterexample.

The equation is taken as a modeling premise. The source discussion motivates radiation-reaction modeling and order reduction but does not turn this postulate into an experimentally proved universal law. No self-field is evaluated at the worldline here.

The present pair prescribes an external field and adopts the flat LAD equation as a separate effective model. It does not construct a coupled Maxwell field sourced by a point charge or evaluate a self-field on the worldline. Body moments and transport convention defines moments for a smooth finite body (and a local curved moment convention); its definitions do not assert a point limit or a self-force law.

Poisson, Pound, and Vega's §22.1 records the formal point-charge equations and the singularity of the field on the worldline; §§22.2–22.6 develop the electromagnetic field near the worldline, singular/regular field split, tail, and equation of motion, particularly §22.6. A self-force calculation therefore requires a specified regularization or extended-body limiting argument. Gralla, Harte, and Wald's conclusions are conditional on assuming a one-parameter family $(F_{\mu \nu }(\lambda ),J^{\mu }(\lambda ),T_{\mu \nu }^M(\lambda ))$ of exact solutions to Maxwell's equations, current conservation, and total stress-energy conservation, with the support/scaling hypothesis (i) of their §II and a field decomposition satisfying hypothesis (ii): a retarded self-field plus an external homogeneous Maxwell solution jointly smooth in $\lambda$ and spacetime. In that scaling limit the body size, charge, and mass tend to zero while the charge-to-mass ratio has a finite limit; the paper does not construct such a family or a constitutive matter model. Under those assumptions, the leading motion is Lorentz-force motion and §IV derives the first-order correction, including self-force, electromagnetic-dipole, and spin terms. In §§V–VI the authors discuss and qualify a self-consistent reduction-of-order formulation; the reduced-order ALD case is tied to negligible spin and electromagnetic-dipole contributions. These conditional results do not establish an unrestricted fixed-charge point construction, arbitrary-duration global accuracy, or the physical truth of the separately adopted postulate Flat Lorentz–Abraham–Dirac effective equation.