Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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.

Prescribed constant-mass force law

Physical scope

A selected smooth external force law for a named massive test body of constant mass on a prescribed background; orthogonality is a compatibility condition preserving the mass shell, not a universal force principle.

Postulate

For a named massive test body with constant primitive mass m>0 measured in kilograms, SI conversion constant c>0 in metres per second, and momentum P=mU as defined in Mechanical momentum and observer energy, define the future unit timelike shell by

Σc+:={(p,V)∈TM:V future timelike, gp(V,V)=−c2}.

Let V⊂TM be an open neighborhood of Σc+ contained in the future timelike velocity cone. For a massive body trajectory x:I→M that is C2 and parameterized by proper time τ, with I⊆R a nonempty open interval, put U=dx/dτ and require (x(τ),U(τ))∈Σc+⊆V for every τ∈I. Specify a smooth map f:V→TM over the bundle projection π:TM→M, meaning π(f(p,V))=p (equivalently, f(p,V)∈TpM), and require gp(V,f(p,V))=0 for every (p,V)∈V. One may adopt this force map and the equation

DτP=f(x,U).

The orthogonality condition is part of this model's compatibility assumptions, imposed throughout V; it preserves g(U,U)=−c2 for constant m. Since P=mU, this equation is equivalent to DτU=f(x,U)/m on the stated domain. It is not a law selecting a force for every particle or interaction. A local IVP follows only for data in V, as in Smooth shell-tangent force initial-value problem. The force has SI units newtons when τ is in seconds and P has units kg m s−1. No empirical force measurements, universal coupling, or global existence are asserted.

Depends on

Dependency tree · 2 levels

Sources