Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Controlled prescribed-field trajectory limit

Physical scope

Conditional finite-time comparison of the adopted constant-mass relativistic Lorentz-force model with its formal Newtonian momentum-velocity replacement in prescribed SI electric and magnetic fields held fixed as the model parameter c tends to infinity. Both trajectories must exist on the same stated interval and stay in a common compact convex state region. This is not an empirical variation of nature's measured speed of light, a self-consistent Maxwell limit, a global-in-time claim, or a claim including self-field or radiation reaction.

Statement

Fix a reference speed c∗>0, mass m>0, charge q∈R, cutoff 0<δ<1, finite time T>0, an open time interval I⊇[0,T], and an open spatial region Ω⊆R3. In a fixed inertial chart with x0=ct, let E,B:I×Ω→R3 be prescribed jointly C1 fields in SI units, with E in volts per metre and B in teslas. The same fields, mass, and charge are held fixed in the following formal family of model equations indexed by c>0; no Maxwell equations or empirical premise are added.

Choose reference scales L∗>0 metres and P∗>0 kilogram metres per second and define the dimensionless state norm

∥(x,p)∥∗:=∣x∣L∗+∣p∣P∗.

Let πx:Ω×R3→Ω be the spatial projection πx(x,p):=x, and let K≠∅ be a compact convex subset of Ω×R3. With ∣⋅∣ the Euclidean norm, put Pmax⁡:=sup⁡(x,p)∈K∣p∣, Emax⁡:=sup⁡(t,x)∈[0,T]×πxK∣E(t,x)∣, and Bmax⁡:=sup⁡(t,x)∈[0,T]×πxK∣B(t,x)∣. These field suprema are finite by the C1 hypothesis on a compact cylinder. Set

B∗:=Pmax⁡mL∗+∣q∣P∗(Emax⁡+Pmax⁡Bmax⁡m).

For c>0 with c≥Pmax⁡/(mδ), define the momentum-to-velocity map

Vc(p):=pm1+∣p∣2/(m2c2).

This is the velocity obtained from the massive mass shell and inverse momentum formula of Mass shell inversion, observer work and variable mass. Define the relativistic and Newtonian vector fields on [0,T]×K by

Gc(t,x,p):=(Vc(p), q[E(t,x)+Vc(p)×B(t,x)]),GN(t,x,p):=(p/m, q[E(t,x)+(p/m)×B(t,x)]).

Suppose there is L≥0, with units s−1, such that for all t∈[0,T] and states ζ,ζ~∈K,

∥GN(t,ζ)−GN(t,ζ~)∥∗≤L∥ζ−ζ~∥∗.

For every c>0 in the family, Gc and GN are bounded by B∗ in ∥⋅∥∗ on [0,T]×K, since ∣Vc(p)∣≤Pmax⁡/m. For each c>0 with c≥Pmax⁡/(mδ), let J⊆I be an open interval containing [0,T] and let xc∈C2(J,Ω) satisfy ∣x˙c(t)∣<c. Define the coordinate velocity vc(t):=x˙c(t) and Lorentz factor γc(t):=(1−∣vc(t)∣2/c2)−1/2. The curve Xc(t)=(ct,xc(t)) is a future-timelike massive worldline with proper time dτ/dt=1−∣vc(t)∣2/c2 and four-velocity Uc=γc(c,vc); its spatial momentum is pc=mγcvc. Assume Xc satisfies the adopted covariant Lorentz coupling in the prescribed field. Define zc(t):=(xc(t),pc(t)). Let (xN,pN) be a C1 solution on [0,T] of z˙=GN(t,z) and set zN(t):=(xN(t),pN(t)). Require zc(0)=zN(0) and both coordinate-state trajectories to remain in K. Then the relativistic coordinates satisfy z˙c=Gc(t,zc), and, with ϵc:=(c∗/c)2 and

C∗:=Pmax⁡32m3c∗2(1L∗+∣q∣Bmax⁡P∗),

one has

sup⁡0≤t≤T∥(xc(t),pc(t))−(xN(t),pN(t))∥∗≤C∗ϵcTeLT.

Here C∗ has units s−1. Consequently the state difference is O(c−2) on this fixed interval as c→∞, provided the common containment and Lipschitz hypotheses hold for the family.

For every t∈[0,T], the relativistic speed satisfies ∣vc(t)∣/c≤δ. If Ec(t):=m2c4+c2∣pc(t)∣2 is the particle energy from the same mass shell, then Explicit low-speed momentum and energy remainders also gives

∣pc−mvc∣≤m∣vc∣32c2(1−δ2)3/2,0≤Ec−mc2−12m∣vc∣2≤3m∣vc∣48c2(1−δ2)5/2.

The limit is a formal comparison between model equations; it does not state that the SI value of c varies in nature.

Facts & Assumptions

Given: The prescribed field maps and their regularity and units, m>0, constant q, the reference scales, compact convex state set, Pmax⁡, Bmax⁡, Lipschitz constant L, and for each stated c an existing future-timelike C2 worldline satisfying the adopted coupling together with an existing Newtonian comparison solution, with common initial state and compact containment.

[A1]

The adopted flat massive-particle model uses constant mass m>0, momentum P=mU, and the fixed flat inertial-frame conventions; it is a physical assumption, not an empirical finding (Adopted massive-particle momentum, observer measurement and isolated-collision conservation, Adopted Minkowski physical model of the electromagnetic framework).

[A2]

The prescribed external Lorentz coupling adopts m dU/dτ=qΦ(U) with constant charge q, positive external rest mass, and no self-field (The Lorentz coupling: external force on a test charge and the continuum force and power densities).

[F1]

The supplier fields are Es,Bs:Ω×I→R3, of class C1, with units V m−1 and T (The electric and magnetic fields as fixed-time spatial vector fields, Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields, Framework-local SI units, the vacuum constants and the exact/measured status of their values). The Statement's time-first notation means E(t,x):=Es(x,t) and B(t,x):=Bs(x,t); it is an argument swap, not a different field. Since Ω is open, U:=Ω×R3 is an open state domain in R6. The formulas for Gc,GN in the Statement define C1 maps on [0,T]×U, whose restrictions are the fields used on [0,T]×K; thus K may be compact without being open. In SI, c,c∗ are m s−1, m is kg, q is C, t,T are seconds, x,L∗ are metres, p,P∗ are kg m s−1, and particle energy is J (Framework-local SI units, the vacuum constants and the exact/measured status of their values, Charge parameter, frame charge and current densities, volume charge and flux, and the four-current, Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields). Thus ∥⋅∥∗ and ϵc are dimensionless; B∗,L,C∗ have units s−1, while Emax⁡ and Bmax⁡ have units V m−1 and T. The remaining SI component dictionary is F0i=Ei/c, Fij=ϵijkBk, x0=ct (The electromagnetic two-form, its observer decomposition and the four-current, Worldlines, four-velocity, chart readings and the frame/observer distinction).

[L1]

Under [A1]–[A2] and the C1 prescribed-field hypotheses, the published EM result gives dp/dt=q(E+v×B) with p=mγv on every C2 worldline; it excludes self-field and radiation reaction (The four-force equation reproduces the coordinate Lorentz force and power).

[L2]

For the constant-mass massive inertial branch, p=mγv, E=γmc2, E2=m2c4+c2∣p∣2, and v=c2p/E; the current in-run supplier has draft status and its exact statement is used conditionally (Mass shell inversion, observer work and variable mass).

[L3]

For ∣v∣/c≤δ<1, the exact pointwise momentum and energy remainder inequalities of Explicit low-speed momentum and energy remainders hold.

[F5]

If continuous u,a,b on [0,T] satisfy u,b≥0, u(t)≤a(t)+∫0tb(s)u(s) ds, and a is nondecreasing, then u(t)≤a(t)exp⁡(∫0tb(s) ds) (Gronwall's integral inequality with variable and constant coefficients).

[F3]

In the Euclidean oriented space R3, the cross product is the alternating bilinear operation with components (a2b3−a3b2,a3b1−a1b3,a1b2−a2b1) (The cross product in R3).

Proof

technique · invert the relativistic mass shell, bound the relativistic-to-Newtonian vector-field difference uniformly, then prove the weighted-norm comparison by blockwise integration and Gronwall
1.1givenA1A2F1L1L2algebra

The stated future-timelike C2 worldline has four-velocity Uc=γc(c,x˙c) and mechanical momentum pc=mγcx˙c. By [L1], its spatial momentum obeys p˙c=q[E(t,xc)+x˙c×B(t,xc)]. By [L2], Ec=cm2c2+∣pc∣2 and x˙c=c2pc/Ec=pc/[m1+∣pc∣2/(m2c2)]=Vc(pc). Thus the relativistic worldline coordinates satisfy z˙c=Gc(t,zc), while zN satisfies the declared Newtonian comparison equation by hypothesis.

1.2givenL2F2F3algebra

Put u=∣p∣2/(m2c2)≥0 and h(u)=1−(1+u)−1/2. By [F2], h(0)=0 and h′(s)=12(1+s)−3/2≤12 for s≥0; if u>0, the mean value theorem gives 0≤h(u)≤u/2, and for u=0 the same holds by equality. Hence, for every (x,p)∈K, ∣Vc(p)−p/m∣=(∣p∣/m)h(u)≤Pmax⁡3/(2m3c2). Expanding the component definition in [F3] gives ∣a×b∣2=∣a∣2∣b∣2−(a⋅b)2≤∣a∣2∣b∣2, so ∥Gc(t,x,p)−GN(t,x,p)∥∗=∣Vc−p/m∣/L∗+∣q∣ ∣(Vc−p/m)×B(t,x)∣/P∗≤Pmax⁡32m3c2(1L∗+∣q∣Bmax⁡P∗)=C∗ϵc.

1.3givenF4algebra

Since xc is C2, its speed stays strictly below c, and the mass-shell map is smooth, pc and zc are C1; zN is C1 by hypothesis. Let H(s)=(Hx(s),Hp(s)):=Gc(s,zc(s))−GN(s,zN(s)), where each block is in R3. The fields on the open state domain and the solution curves are continuous, so H has integrable components. By [F4], the vector-valued fundamental theorem gives zc(t)−zN(t)=zc(0)−zN(0)+∫0tH(s) ds. Applying the Euclidean integral norm inequality of [F4] separately to the two blocks yields ∥∫0tH(s) ds∥∗:=∣∫0tHx(s) ds∣L∗+∣∫0tHp(s) ds∣P∗≤∫0t(∣Hx(s)∣L∗+∣Hp(s)∣P∗)ds=∫0t∥H(s)∥∗ ds. For t=0 the same inequality holds with both sides zero.

2.1givenstep 1.1step 1.2algebra

Since ∣Vc(p)∣≤∣p∣/m≤Pmax⁡/m and ∣p∣/m≤Pmax⁡/m on K, the definitions of Gc,GN, the cross-product bound proved in step 1.2, and the field suprema give ∥Gc(t,x,p)∥∗,∥GN(t,x,p)∥∗≤B∗. This proves the stated uniform field bound; stability will follow from the weighted-norm argument below.

2.2givenstep 1.2step 1.3algebra

Splitting H(s) by adding and subtracting GN(s,zc(s)), the triangle inequality, step 1.2, and the assumed L-Lipschitz bound for GN on K give d(t):=∥zc(t)−zN(t)∥∗≤d(0)+C∗ϵct+L∫0td(s) ds. The norm and Lipschitz constant here are exactly the weighted ones in the Statement; the estimate follows from the blockwise inequality of step 1.3, without applying the Euclidean comparison lemma to this norm.

3.1givenstep 2.2F5algebra

Set a(t)=d(0)+C∗ϵct and b(t)=L. These functions are continuous, a is nondecreasing and b,d≥0, so [F5] gives d(t)≤(d(0)+C∗ϵct)eLt. The initial states agree, hence d(0)=0, and t≤T gives sup⁡0≤t≤Td(t)≤C∗ϵcTeLT. Since ϵc=c∗2/c2 and the other quantities are fixed, this is O(c−2) on the specified interval.

4.1givenstep 1.1L2L3algebra∎

The inversion formula and ∣pc∣≤Pmax⁡ imply ∣x˙c∣=∣Vc(pc)∣≤Pmax⁡/m and hence ∣x˙c∣/c≤Pmax⁡/(mc)≤δ. Apply [L3] pointwise to the worldline speed x˙c to obtain the two stated kinetic remainders. This only adds kinematic estimates; it does not derive a trajectory comparison from them.

Remarks

The field and vector-field estimates are in a named inertial chart and use a formal model parameter c. Electric and magnetic fields are prescribed and held fixed, not solved self-consistently as c varies. The common-interval solution and compact-containment assumptions are essential: neither bounded field values alone nor the pointwise low-speed estimates establish finite-time trajectory convergence.

Depends on

Dependency tree · 2 levels

Sources