Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicableprecheck pass
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.

Limits of the Newtonian bridge: speed-dependent error constants, the excluded massless case, and bounded chart regions

Physical scope

Scope remark for the flat special-relativity massive-particle model and the same bounded low-speed domain as pthm-sr-newtonian-p-e-correspondence: it records the failure of any speed-independent error constant as |w| -> c, the exclusion of ideal massless particles, and the Galilean chart limit on bounded regions and its whole-domain failure for nonzero boost velocity (the zero-velocity maps coincide everywhere). It asserts no new physical law, no dynamics, and no empirical statement.

Limits of the low-speed bridge

Scope remark on the limits of the low-speed bridge. Each quantitative assertion is an immediate consequence of the cited displayed identities; none of them is used as a premise elsewhere on this page, and the remark asserts no new physical law, dynamics or empirical content.

(i) No speed-independent error constant

Let m>0. For every B≥0 there are a future unit n∈V, a vector U with η(U,U)=−c2 and a state P=mU whose relative velocity w of Norms of four-velocity and four-acceleration, and the observer rest-space decomposition,(d) satisfies ∣w∣<c and ∣Tn(P)−12m∣w∣2∣>B, with Tn as in Observer energy, spatial momentum, invariant mass, rest energy and kinetic energy of a four-momentum. Explicitly, fix a future unit n and a unit e∈n⊥ and, for every integer γ≥2, take the state with Lorentz factor γ, namely w=c1−γ−2e, U=cγ(n+w/c) and P=mU. Bilinearity gives η(U,U)=−c2. The continuous segment s↦n+sw/c, 0≤s≤1, is timelike because its squared norm is −1+s2∣w∣2/c2<0; it starts at n∈C+ and its endpoint lies in that same component (Time orientation, future and past timelike/null/causal vectors, and the closed cones, Every path-connected space is connected, and every path component lies inside a component,(3)). Positive scaling gives U∈C+, while −η(n,U/c)=γ and the rest projection gives h(U)/γ=w. Hence these states have the claimed relative velocity and Lorentz factor; Positivity, mass shell and kinetic energy of the observer quantities of a four-momentum,(b) gives Tn(P)=mc2(γ−1) while 12m∣w∣2=12mc2(1−γ−2), so Tn(P)−12m∣w∣2=mc2(γ−32+12γ2)→∞(γ→∞), and the relative deviation from the Newtonian value equals (2γ+1)(γ−1)γ+1→∞; the Archimedean property of R (Every complete ordered field is Archimedean) turns either display into the explicit violation of a prescribed B at a sufficiently large integer γ. Consequently the constants K(z0) and 12+K(z0)z0 of Specified low-speed momentum-energy correspondence between the relativistic measured quantities and the Newtonian comparison quantities necessarily depend on the speed bound z0, no bound of that form is uniform on the whole domain ∣w∣<c, and En(P)=mc2γ and ∣qn(P)∣=mcγ2−1 are unbounded as ∣w∣→c although 12m∣w∣2≤12mc2 there. The mechanism is explicit: the remainder is RE=mc2R(z) with ∣R(z)∣≤K(z0)z2, and K(z0)=38(1−z0)−5/2 diverges as z0↑1 (Uniform low-speed expansion of the observer energy, momentum and kinetic energy of a massive four-momentum).

(ii) The massless case is excluded, not a limit

An ideal massless particle of Adopted momentum model for an ideal massless particle carries a nonzero future null four-momentum P and, by Positivity, mass shell and kinetic energy of the observer quantities of a four-momentum,(a)(i), satisfies En(P)=c∣qn(P)∣>0 exactly; it has no four-velocity, proper time or relative velocity, and no rest mass, rest energy or kinetic energy is assigned to it. The hypotheses m>0 and z≤z0<1 of Specified low-speed momentum-energy correspondence between the relativistic measured quantities and the Newtonian comparison quantities exclude it, and no substitution w with ∣w∣=c is available because γw=(1−∣w∣2/c2)−1/2 is undefined there. The bridge therefore concerns massive particles only, and it neither derives nor constrains the ideal massless case or light.

(iii) Bounded chart regions, not a limit of frameworks

For fixed v∈S, the uniform chart statement Uniform Galilean limit of the boost charts on bounded regions, and its failure on the whole chart domain holds on each bounded region DT,R as C→∞ (its clause (c)). For v≠0 it fails on the whole chart domain R×S (its clause (d)); for v=0, Φ0,C=G0=id for every C>0, so convergence is uniform on the whole chart domain. The nonzero-velocity failure does not assert failure on every unbounded subset; the correspondence is a conditional statement about the adopted model in a bounded low-speed domain, and it is neither an equivalence between the relativistic and Newtonian frameworks, nor a physical process in which the constant c varies, nor empirical evidence for either framework. The Newtonian comparison quantities Newtonian comparison momentum and kinetic energy in a named inertial frame are comparison expressions built from a named frame and the mass parameter, not the derived quantities of a separate theory; the correspondence theorem's clause (e) records the same scope restriction on the pair.

Depends on

Dependency tree · 2 levels

Sources