Alphabeta MathHow 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.
Finite-time comparison of bounded vector fields
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Curvature And Tides
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Em Minkowski Mathematical Prerequisites
- Energy Momentum
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Flat And Newtonian Bridges
- Forces and Continuum
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Further Trigonometric Identities and Inverse Functions
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz covariant formulation
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Mass shell inversion, observer work and variable mass
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Particle spacetime, observers and worldlines
- Partitions of Unity and Paracompactness
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primitives and postulates
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Worldlines And Clocks
2 · Summary
Scope
This page proves a finite-time ODE comparison bound under common Lipschitz and compact-containment hypotheses, uniform pointwise and family-level low-speed remainder estimates, and a compact-continuation criterion for smooth force motion on the future unit timelike shell. It then applies the comparison estimate to a formal prescribed-field relativistic-to-Newtonian family and records the separate weak-field, slow-motion geodesic comparison under the exact hypotheses of the GR mathematics theorem. The flat inertial kinematic estimates and the curved weak-field geodesic estimate are distinct model branches; no flat-frame momentum formula is silently transferred to curved coordinates.
The trajectory results hold only for existing solutions on specified finite intervals with the stated field bounds and compact containment. The weak-field result does not construct a metric family from arbitrary Newtonian data or assert large-time convergence at fixed parameter. The prescribed electromagnetic result holds fields fixed in a formal model-parameter limit and excludes self-fields, radiation reaction, and empirical claims.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Finite-time comparison of bounded vector fields
Statement
Let , , be open, and be compact and convex. Let be continuous. Suppose that on both fields are bounded in the Euclidean norm by , and that there is such that
Also suppose
for some . Let solve and , with both trajectories contained in . Then, for every ,
In particular, equal initial states give . The field bound alone is not a stability hypothesis; the comparison-field Lipschitz bound and uniform field error are part of the assumptions. No existence through follows unless the trajectories are known to exist there.
Facts & Assumptions
Given: The interval, open state domain, compact convex set, bounded continuous fields, the comparison-field state-Lipschitz constant, uniform field-error bound, and the two existing solution curves in the Statement.
On a nondegenerate compact interval with , a differentiable vector-valued curve with integrable derivative has derivative integral equal to the endpoint difference (If is differentiable with integrable then ; and a bounded derivative makes Lipschitz).
For an integrable vector-valued function, when (For and integrable when , ; for , is integrable).
If are continuous on , , , and is nondecreasing, then (Gronwall's integral inequality with variable and constant coefficients).
Each solution has a continuous vector derivative; vector continuity and integrability are componentwise, and every continuous real component on is Riemann integrable (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, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral).
Proof
Write . At the claimed estimate is equality; if , this proves the result. Assume and fix . By [L4] each solution derivative is vector-integrable on the nondegenerate interval , so [L1] applies there. Subtracting the resulting integral equations, adding and subtracting , and applying [L2] gives , because both states lie in , the uniform field-error bound controls the first integrand term by , and the Lipschitz bound for controls the second by . At this integral inequality also holds as equality, since the zero-length integral is zero by The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral componentwise. Thus it holds on all of .
Set and on . These functions are continuous, is nondecreasing, and , so [L3] yields for every . If , then and on , which gives the stated supremum estimate.
Remarks
The trajectories are assumed to exist on the common finite interval and remain in the stated set. Local existence and continuation are separate obligations; compact containment cannot be replaced by pointwise boundedness of the vector field on a larger, unspecified domain.
Explicit low-speed momentum and energy remainders
Statement
Let , let , and let have Euclidean norm satisfying . Put
Then
and
If assigned SI kinematic units, is in kilograms, in metres per second, in kilogram metres per second and in joules. These are pointwise algebraic inequalities; they assume no equation of motion or empirical input.
Facts & Assumptions
Given: Positive real parameters , , a vector with , and the definitions of in the Statement.
For and , , and the positive-base real-power function is continuous and differentiable on (Continuity and derivatives of positive-base real powers).
The chain rule gives under its differentiability hypotheses (The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with ).
If a real function is continuous on and differentiable on , its endpoint difference equals its derivative at an interior point times (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
If two real functions are continuous on and differentiable on , Cauchy's mean value theorem gives an interior point with (Cauchy's mean value theorem: for continuous on with and differentiable on there is with ; no hypothesis on is needed in this product form).
Proof
On define . Since throughout a neighborhood of that interval, [L1] and [L2] show that is continuous there, differentiable on , and , . Both derivatives are positive. Differentiating the displayed powers gives on , so is increasing there; the formula for also shows that is increasing.
If , then , , , and , so every asserted inequality holds with equality. If , [L3] applied to on gives with . Since and by the monotonicity established in step 1.1, this proves .
For , define and on . Cauchy's mean value theorem [L4] gives such that , because . Since , this is . Applying [L3] to on gives with . As , substitution yields . Thus and, because is increasing and , . For the same bound is equality by step 2.1.
The definitions give and . Applying steps 2.1 and 3.1, multiplying by the nonnegative factors and , and substituting gives the two remaining inequalities. Their lower bounds follow from the nonnegativity in those same steps.
Remarks
The constant depends only on the speed cutoff . A small pointwise remainder does not by itself control trajectories over a time interval.
Uniform low-speed relativistic remainders
Statement
Let , , and . For , , and with , put , , , and . Then and
For the formal coordinate-time Lagrangian densities
one also has
Subtracting the constant rest-energy density changes an action on a fixed coordinate-time interval only by a path-independent constant. These are uniform algebraic estimates for the stipulated family; they assert no equation of motion or trajectory existence.
Facts & Assumptions
Given: The constants and speed-family condition in the Statement, with the definitions of there.
Under , the pointwise bounds for , , and hold with (Explicit low-speed momentum and energy remainders).
For , , and positive-base real powers are continuous and differentiable (Continuity and derivatives of positive-base real powers); composition derivatives follow from the chain rule (The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with ).
Cauchy's mean value theorem gives for continuous on differentiable on (Cauchy's mean value theorem: for continuous on with and differentiable on there is with ; no hypothesis on is needed in this product form).
Proof
From and , . Apply [L1] with and then use : the gamma remainder is at most , the momentum error is at most , and the energy remainder is at most . The first-order gamma bound follows from in the same way.
Put on . By [L2], , , and ; differentiating gives the positive derivative , so this absolute value is increasing and bounded above by . For , set and on . Since , [L3] supplies with . The mean value theorem applied to on gives such that . Hence . The same bound is equality at .
By the definitions, . Step 1.2 and give the asserted action-density bound. On a fixed interval , integrating the subtracted constant contributes , independent of the path, so it does not change fixed-endpoint stationary variations.
Remarks
The parameter is dimensionless and the constants are uniform over every member of the stated speed family. The action estimate is an algebraic estimate of densities; it is not an existence or convergence result for stationary paths.
Orthogonal shell force local IVP and compact continuation
Statement
Let be an open coordinate-state domain with state , and let be the smooth autonomous coordinate vector field of the shell-tangent force system in Smooth shell-tangent force initial-value problem. Write
for its future unit timelike shell. Fix initial data , and let be the unique maximal solution of with ; thus . If and there are and a compact set such that , then the solution extends beyond , contradicting maximality. If and there are and a compact set such that , then the solution extends before , contradicting maximality. More strongly, for every compact , a finite right endpoint has a time such that for all ; at a finite left endpoint there is an analogous with for all . Thus a finite maximal endpoint is approached only after the state eventually leaves every compact subset of its open coordinate-state domain.
This is a mathematical continuation criterion for the coordinate ODE. It asserts neither that a solution exists for all proper times nor that the background spacetime is geodesically complete.
Facts & Assumptions
Given: The smooth autonomous coordinate-state domain and vector field in the Statement, fixed initial data and their unique maximal shell-force solution, and the compact-set hypotheses under discussion.
Each normalized future-timelike initial datum for a smooth force field orthogonal to velocity on an open chart-state domain has a unique local solution and a unique maximal solution on an open interval, and its norm and future direction are preserved. Near each normalized initial datum, solutions from nearby normalized initial data exist on one common compact interval about the initial parameter and depend smoothly on those data (Smooth shell-tangent force initial-value problem). The current in-run carrier is a draft and is used conditionally at this inspected scope.
For a differentiable vector curve with integrable derivative, its increment is the integral of its derivative (If is differentiable with integrable then ; and a bounded derivative makes Lipschitz).
The norm of a vector-valued integral is at most the integral of its norm on a forward interval (For and integrable when , ; for , is integrable).
The coordinate solution is and satisfies ; hence is continuous and componentwise Riemann integrable on each compact parameter interval (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, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral).
Proof
If is empty, no shell-force trajectory takes a value in ; both implications in the Statement are then immediate. Otherwise is compact, since is closed relative to : the metric norm equation passes to limits, and a unit timelike limit has nonpositive pairing with the time-orientation field as a limit of future vectors; that pairing cannot vanish for a timelike vector, so the limit remains future-directed. For each , [L1] supplies a relative neighborhood in and such that solutions through all normalized shell states in exist on a common interval about the initial parameter. These neighborhoods cover . Compactness gives a finite subcover ; put . Since the coordinate system is autonomous, every initial state in has a solution on about any initial parameter . Also, continuity of gives for each a neighborhood on which . A finite subcover of the compact set therefore gives a finite bound for on .
If , then for , [L4], [L2] and [L3] give . For the explicit sequence , the sequence is Cauchy. The closures in of its nonempty tails are nested nonempty closed sets, so compactness gives a point in their intersection. The Cauchy property then gives : for each , choose so the tail has diameter less than , then choose with from the closure property, after which all satisfy . The estimate above, with and , shows , so the full trajectory tends to as . Continuity of the metric and the time-orientation field gives .
Fix a compact . If is empty the solution never enters . Otherwise let be the common local existence radius from step 1.1 for . If a finite right-endpoint solution did not eventually leave , there would be a time with . The local solution through reaches beyond and agrees with by uniqueness, contradicting maximality. At a finite left endpoint, non-exit would similarly give with , and the local solution would extend before . Thus the solution eventually leaves every compact subset at either finite endpoint.
If and , use the explicit sequence . For , [L4], [L2] and [L3] give , so is Cauchy. The closures in of its nonempty tails are nested nonempty closed sets, so compactness gives a point in their intersection; the Cauchy property then gives . Continuity of the metric and time orientation gives . For each fixed , eventually , and the same estimate gives ; hence as . A local solution through at parameter has derivative , matching the right derivative of the continuous extension of ; gluing it just before gives a solution extending the maximal one, by uniqueness in [L1].
By [L1], the same smooth shell-force system has a local solution through at parameter . The extension of by is continuous. Since as , the integral identity in step 2.1 shows that the left derivative at is , equal to . The extended curve therefore glues to just after as a solution; uniqueness in [L1] makes it agree with the original on the overlap, contradicting maximality. Hence the right-endpoint solution extends past .
Steps 2.1 and 3.1 prove right-endpoint continuation, step 2.3 proves the left-endpoint analogue, and step 2.2 establishes eventual exit from every compact set.
Remarks
The conclusion is local to the chosen chart-state domain. A finite endpoint can still arise by leaving that open domain or every compact subset of it; no global-lifetime claim follows.
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.
Local massive motion in smooth orthogonal prescribed forces
Conditional local dynamics of one massive test body with constant primitive mass on a prescribed smooth time-oriented Lorentzian background, under a separately adopted smooth external force orthogonal to its future unit velocity. It proves local motion and a chart-local compact-continuation criterion only; it makes no universal-force, global-completeness, self-force, or empirical claim.
Statement
Let be a prescribed smooth time-oriented Lorentzian four-manifold and let . Let be an open set of future timelike vectors, and let be a smooth vector field along the bundle projection , with . For the named massive test body, adopt the constant-mass force model of Prescribed constant-mass force law: , , , and . If is measured in seconds, then has SI units kilogram metres per second and has units newtons.
Fix an initial proper-time value . For each initial datum with , there is a unique local future-timelike worldline on an open interval , with tangent , , and , satisfying the adopted equation. It remains on the future unit timelike shell and has a unique maximal solution on an open interval containing . In any chart-state domain where the coordinate force vector field is smooth, if a finite endpoint is approached while the state remains in a compact subset of that domain, the solution extends past the endpoint. No global lifetime or spacetime completeness is asserted.
Facts & Assumptions
Given: The prescribed smooth spacetime and force field, , a specified initial proper-time value , initial position , future unit timelike initial velocity , and the equalities , , and the adopted constant-mass force model.
The physical model is an optional adoption for a named massive test body with constant primitive : on an open neighborhood of the future unit timelike shell it specifies a smooth force , the equation with , and the compatibility condition (Prescribed constant-mass force law). This is not a universal force principle; that postulate is a current in-run draft and is used here at its inspected statement.
The RPP background is a prescribed smooth time-oriented Lorentzian four-manifold, and massive worldlines are future timelike curves with a specified parameter; observer, congruence, adapted chart and tetrad are distinct objects (Particle spacetime, observers and worldlines).
In the adopted massive sector, the mechanical momentum is for constant and (Mechanical momentum and observer energy).
For a smooth force on an open future-timelike velocity domain with , the system , has a unique local solution, preserves and future direction, and has a unique maximal open interval (Smooth shell-tangent force initial-value problem). The actual supplier is a draft from in-run batch 22, so the use here is conditional on its inspected interface and proof status.
A smooth solution of that shell-force equation which remains in a compact subset of its open chart-state domain cannot have a finite maximal endpoint (Orthogonal shell force local IVP and compact continuation).
Proof
The prescribed smooth background and future timelike worldline use the conventions of [F1]. Since is constant, [F2] gives . Substituting [A1] yields , with the force smooth on the open velocity domain and orthogonal to . These are exactly the hypotheses of [L1], so apply [L1] with and , so for each stated initial datum there is a unique local solution with and ; [L1] also proves preservation of the future unit timelike shell.
The unique local solutions patch by uniqueness to the maximal open-interval solution supplied by [L1]. At either finite endpoint, if the coordinate state remained in a compact subset of a chart-state domain on which the force vector field is smooth, [L2] would extend that solution, contradicting maximality. Therefore every finite maximal endpoint leaves every such compact subset.
Remarks
This is a model deduction conditional on the separately adopted force law. Orthogonality is the compatibility condition for constant-mass shell preservation; it does not select a physical interaction. The result does not prove that the model describes a measured body.
Controlled Newtonian reductions for test motion
Two explicitly separate conditional model branches: (i) flat inertial constant-mass test-particle kinematics under a low-speed family bound; (ii) massive free test-particle geodesics in a stationary compact weak-field family satisfying the exact hypotheses of the GR mathematics limit theorem. The flat-frame momentum and energy estimates are not transferred to curved coordinate components. No metric family is constructed from Newtonian data, and no empirical, self-force, or global-time claim is made.
Statement
The following are two separate conditional reductions, with no identification of the flat inertial quantities in clause (a) with the curved coordinate quantities in clause (b).
(a) Flat inertial kinematics. In a named inertial chart of the flat massive-particle model Adopted massive-particle momentum, observer measurement and isolated-collision conservation, use the mechanical energy and momentum of Mechanical momentum and observer energy. Let , , and . For any massive state with constant , speed , and , the bounds of Uniform low-speed relativistic remainders hold with : the relativistic momentum and kinetic energy have the stated uniform Newtonian remainders, and the coordinate-time action density after subtracting the rest term differs from by at most . This is a kinematic assertion; it assumes no force law and proves no trajectory convergence.
(b) Curved weak-field free motion. Adopt the separate massive test-particle action on a prescribed smooth background (Massive spinless test-particle action). Let the stationary weak-field metric family, scale , spatial potential , massive geodesic, compact spatial region, speed bound, Newtonian comparison solution, and Hessian bound satisfy exactly hypotheses (H1)–(H3) of Scaled trajectory limit: weak-field geodesics converge to the Newtonian system, with rate O(epsilon) for identical initial data. If the massive particle's free worldline is the geodesic of that theorem, then for the scaled trajectories and ,
with exactly as in that theorem. In particular, for identical scaled initial data, on this fixed scaled interval. The corresponding coordinate-time horizon is ; this is not a large-time limit at fixed .
Facts & Assumptions
Given: The separate flat inertial state and low-speed family of clause (a), and the prescribed curved weak-field data, massive geodesic, compact-containment, scaled Newtonian comparison solution, and Hessian bound (H1)–(H3) of clause (b).
The flat massive model adopts constant , , the inertial-frame particle energy and momentum, and the massive branch only (Adopted massive-particle momentum, observer measurement and isolated-collision conservation). This is separate from the curved-background model.
The pointwise massive-particle definitions are and, in an inertial chart, , (Mechanical momentum and observer energy). Use SI units in both branches: is kg; and are m s; are seconds; are metres; is m s; is kg m s; are joules; and action is J s. In (a), are dimensionless. In (b), are dimensionless, is m s, and the scaled variables , , , as well as , are dimensionless (Massive spinless test-particle action, Scaled trajectory limit: weak-field geodesics converge to the Newtonian system, with rate O(epsilon) for identical initial data). The formal parameter in (a) or (b) retains the unit m s; varying it in a model family is not a claim that the exact SI defining value varies in nature.
For and , the uniform momentum, kinetic-energy and fixed-time action-density remainders hold with constants depending only on (Uniform low-speed relativistic remainders).
The massive spinless test-body model adopts on a prescribed smooth time-oriented background, with fixed-endpoint stationary paths as its free trajectories; its ideal-clock increment is the stipulated proper time (Massive spinless test-particle action, Ideal clocks on a prescribed Lorentzian background). It excludes self-gravity, radiation reaction, spin and finite-size structure. These are draft physical postulates in batch 22 and are used at their inspected scopes; in the curved branch the local time orientation is established in [L3].
Under that adopted action, stationary massive paths satisfy and are affinely parametrized timelike geodesics; only local solutions and open maximal intervals are asserted (Free massive and null particle geodesics). This is a current in-run draft result, so its use here is conditional on its exact statement and proof status.
For in the stationary weak-field data, Stationarity, timelikeness and uniform inverse-metric bounds for stationary weak-field data gives at every event whose spatial coordinate lies in . The image is compact and contained in by (H1). Since is continuous, is an open neighborhood of . The smooth coordinate field is timelike throughout , so choosing defines a time orientation there. Thus the restricted background meets the time-oriented-background hypothesis; no orientation of the whole is needed (Stationarity, timelikeness and uniform inverse-metric bounds for stationary weak-field data, Particle spacetime, observers and worldlines).
For stationary weak-field data with the prescribed metric bounds, compact spatial containment, the uniform speed hypothesis, a Newtonian comparison solution on a fixed scaled interval, and , the published mathematics theorem gives the displayed finite-time estimate; it neither constructs those geodesics nor metric families (Scaled trajectory limit: weak-field geodesics converge to the Newtonian system, with rate O(epsilon) for identical initial data).
Proof
In clause (a), the named inertial chart has and . For a future-timelike history with coordinate velocity , the proper-time definition gives , so . Specializing the adopted action [A2] to this flat, time-oriented branch yields with ; hence the coordinate-time action density used by [L1] is exactly the postulated density, and subtracting the rest term replaces it by . By [A1] and [F1] the inertial quantities are and . The family speed bound is [L1]'s hypothesis with and . Substitution into [L1] proves the momentum, kinetic-energy and action-density error bounds for every member of the family. No equation of motion or trajectory estimate is used.
In clause (b), [L3] supplies a time-oriented open background neighborhood of the full contained worldline segment, which meets the background hypothesis of [A2]. The postulated stationary free path is therefore a timelike geodesic by [L2]. The theorem assumes this geodesic and the Newtonian comparison solution exist on the stated interval, and by hypothesis they satisfy exactly (H1)–(H3) recorded in [L4]. Applying [L4] gives the displayed bound with the same constants and scaled variables, without changing the metric assumptions or asserting that such a family can be constructed from arbitrary Newtonian data.
When , the bound from step 1.2 reduces to ; with fixed this is as . The coordinate-time identity is the stated rescaling , so only a fixed scaled interval is covered. Clauses (a) and (b) have different geometries and no flat momentum or energy formula was used in the curved branch.
Remarks
The flat inertial low-speed family and the curved weak-field geodesic family are separate hypotheses. In particular, the curved statement is not a Newtonian limit for every solution of Einstein's equations, does not establish existence of an Einstein metric family from Newtonian initial data, and does not imply geodesic completeness.
5 · Examples, experiments and counterexamples
None yet.
Sources
- Gautam Iyer, Brief Notes on Introduction to Differential Equations, complete ODE notes
- OpenStax, University Physics Volume 3, complete textbook, Chapter 5
- OpenStax, University Physics Volume 2, complete textbook, §16.1
- Sean Carroll, Lecture Notes on General Relativity, complete lecture notes
- David Tong, General Relativity, complete author-hosted lecture notes