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
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 , mass , charge , cutoff , finite time , an open time interval , and an open spatial region . In a fixed inertial chart with , let be prescribed jointly fields in SI units, with in volts per metre and in teslas. The same fields, mass, and charge are held fixed in the following formal family of model equations indexed by ; no Maxwell equations or empirical premise are added.
Choose reference scales metres and kilogram metres per second and define the dimensionless state norm
Let be the spatial projection , and let be a compact convex subset of . With the Euclidean norm, put , , and . These field suprema are finite by the hypothesis on a compact cylinder. Set
For with , define the momentum-to-velocity map
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 by
Suppose there is , with units , such that for all and states ,
For every in the family, and are bounded by in on , since . For each with , let be an open interval containing and let satisfy . Define the coordinate velocity and Lorentz factor . The curve is a future-timelike massive worldline with proper time and four-velocity ; its spatial momentum is . Assume satisfies the adopted covariant Lorentz coupling in the prescribed field. Define . Let be a solution on of and set . Require and both coordinate-state trajectories to remain in . Then the relativistic coordinates satisfy , and, with and
one has
Here has units . Consequently the state difference is on this fixed interval as , provided the common containment and Lipschitz hypotheses hold for the family.
For every , the relativistic speed satisfies . If is the particle energy from the same mass shell, then Explicit low-speed momentum and energy remainders also gives
The limit is a formal comparison between model equations; it does not state that the SI value of varies in nature.
Facts & Assumptions
Given: The prescribed field maps and their regularity and units, , constant , the reference scales, compact convex state set, , , Lipschitz constant , and for each stated an existing future-timelike worldline satisfying the adopted coupling together with an existing Newtonian comparison solution, with common initial state and compact containment.
The adopted flat massive-particle model uses constant mass , momentum , 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).
The prescribed external Lorentz coupling adopts with constant charge , positive external rest mass, and no self-field (The Lorentz coupling: external force on a test charge and the continuum force and power densities).
The supplier fields are , of class , with units V m 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 and ; it is an argument swap, not a different field. Since is open, is an open state domain in . The formulas for in the Statement define maps on , whose restrictions are the fields used on ; thus may be compact without being open. In SI, are m s, is kg, is C, are seconds, are metres, are kg m s, 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 are dimensionless; have units s, while and have units V m and T. The remaining SI component dictionary is , , (The electromagnetic two-form, its observer decomposition and the four-current, Worldlines, four-velocity, chart readings and the frame/observer distinction).
Under [A1]–[A2] and the prescribed-field hypotheses, the published EM result gives with on every worldline; it excludes self-field and radiation reaction (The four-force equation reproduces the coordinate Lorentz force and power).
For the constant-mass massive inertial branch, , , , and ; the current in-run supplier has draft status and its exact statement is used conditionally (Mass shell inversion, observer work and variable mass).
For , the exact pointwise momentum and energy remainder inequalities of Explicit low-speed momentum and energy remainders hold.
Vector-valued differentiation and integration are componentwise; a continuous -valued function on a compact interval has integrable components, and for a curve its derivative integrates to (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, A vector-valued function has a limit, or is continuous, if and only if each of its components does; with the algebra of continuous vector-valued functions, A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion, If is differentiable with integrable then ; and a bounded derivative makes Lipschitz). For each integrable , (For and integrable when , ; for , is integrable).
If continuous on satisfy , , and is nondecreasing, then (Gronwall's integral inequality with variable and constant coefficients).
For , satisfies and by the real-power derivative and chain rule; the mean value theorem applies to on every (Continuity and derivatives of positive-base real powers, The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
In the Euclidean oriented space , the cross product is the alternating bilinear operation with components (The cross product in ).
Proof
The stated future-timelike worldline has four-velocity and mechanical momentum . By [L1], its spatial momentum obeys . By [L2], and . Thus the relativistic worldline coordinates satisfy , while satisfies the declared Newtonian comparison equation by hypothesis.
Put and . By [F2], and for ; if , the mean value theorem gives , and for the same holds by equality. Hence, for every , . Expanding the component definition in [F3] gives , so .
Since is , its speed stays strictly below , and the mass-shell map is smooth, and are ; is by hypothesis. Let , where each block is in . The fields on the open state domain and the solution curves are continuous, so has integrable components. By [F4], the vector-valued fundamental theorem gives Applying the Euclidean integral norm inequality of [F4] separately to the two blocks yields For the same inequality holds with both sides zero.
Since and on , the definitions of , the cross-product bound proved in step 1.2, and the field suprema give . This proves the stated uniform field bound; stability will follow from the weighted-norm argument below.
Splitting by adding and subtracting , the triangle inequality, step 1.2, and the assumed -Lipschitz bound for on give 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.
Set and . These functions are continuous, is nondecreasing and , so [F5] gives . The initial states agree, hence , and gives . Since and the other quantities are fixed, this is on the specified interval.
The inversion formula and imply and hence . Apply [L3] pointwise to the worldline speed 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 . Electric and magnetic fields are prescribed and held fixed, not solved self-consistently as 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
Mechanical momentum and observer energy
Adopted massive-particle momentum, observer measurement and isolated-collision conservation
Adopted Minkowski physical model of the electromagnetic framework
The Lorentz coupling: external force on a test charge and the continuum force and power densities
The electromagnetic two-form, its observer decomposition and the four-current
The electric and magnetic fields as fixed-time spatial vector fields
Charge parameter, frame charge and current densities, volume charge and flux, and the four-current
Framework-local SI units, the vacuum constants and the exact/measured status of their values
Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields
Worldlines, four-velocity, chart readings and the frame/observer distinction
The four-force equation reproduces the coordinate Lorentz force and power
Mass shell inversion, observer work and variable mass
Explicit low-speed momentum and energy remainders
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
A vector-valued function has a limit, or is continuous, if and only if each of its components does; with the algebra of continuous vector-valued functions
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
If is differentiable with integrable then ; and a bounded derivative makes Lipschitz
For and integrable when , ; for , is integrable
Gronwall's integral inequality with variable and constant coefficients
The cross product in
Continuity and derivatives of positive-base real powers
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with