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

Status audit and scope of the balance page: conditional conservation, open systems, frames, potential normalization and empirical boundaries

Physical scope

A scope and status audit of the balance page: which objects are defined, which statements are conditional deductions from the force and interaction posts, which hypotheses the stated conservation conclusions use, and which claims are deliberately not made; the frame dependence of the conserved quantities, the open-system boundary, the normalization of a potential, the local-versus-global potential distinction and the empirical status of model parameters. Bookkeeping and scope only; it asserts no law, no measurement and no conservation beyond the items it cites.

Status audit of this page

This remark records the status of the notions of the balance page. It is bookkeeping: it asserts no law and no empirical claim, and every mathematical statement it repeats is proved in the item cited.

Adopted assumptions. The force branch is the postulate Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance: the force map with its standing continuity and state-local-Lipschitz hypotheses, the equation of motion mix¨i=Fi(t,x,x˙) in every inertial frame, the additive composition of declared force contributions and the transformation rule of a force law under a change of inertial frame. The restricted interaction models are the postulate Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch: the external-plus-pair presentation, the optional antisymmetry and centrality clauses, the potential branch and the gravitational branch. The linear drag model is the postulate The linear drag model: a phenomenological velocity-proportional resistance with a declared coefficient.

Defined objects. The total mass, total momentum, centre of mass, relative positions, angular momentum about a reference curve, total and external torques, internal torque sum, kinetic energy, power and work are defined in Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame; potential presentations, potential and mechanical energy, the closed/exact distinction for time- and velocity-independent configuration-space force fields and equipotential level sets are defined in Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets. Motions and maximal motions are The associated first-order system, motions, maximal motions and the Newtonian flow of a force model.

Conditional deductions. The splitting of the kinetic sum and P=MV are Total momentum equals total mass times centre-of-mass velocity, and the kinetic energy splits into centre-of-mass and relative parts (two-body reduced mass). The momentum balance and the centre-of-mass equation, under the antisymmetric external-plus-pair presentation, are Total momentum balance and centre-of-mass equation for a model with antisymmetric pair forces. The angular-momentum balance about fixed and moving reference points, with the centrality case, is Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case. The power identity and the work-energy theorem are Power of the total force and the work-energy theorem: K′=P and K(t1)−K(t0)=W([t0,t1]) along a motion. The mechanical energy balance and conservation for a static potential without residual forces are Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form. The transformation laws of all these quantities under a change of inertial frame are Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy.

Computed examples. The companion page checks the laws on explicit data: the two-body Hooke model with an exact circular relative motion (momentum, angular momentum including the moving-origin correction, kinetic splitting, energy conservation and the kinetic boost law), a driven one-dimensional model with a time-dependent potential and a residual force (the balance, the integrated work form and the normalization ambiguity), and the two counterexamples recorded below.

Deliberately not claimed on this page. The conservation conclusions stated here are conditional: momentum is conserved under the antisymmetric pair presentation and vanishing total external force; angular momentum is conserved about a fixed reference point when the total torque vanishes, with centrality only one sufficient condition (the companion counterexample exhibits non-central pair forces whose torque sum cancels identically). For mechanical energy, the exact rate is the right-hand side of clause 1 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form, so it is constant along a motion whenever that combined rate vanishes there. A time-independent potential representative with residual forces vanishing along the motion is a sufficient case; the stronger condition that the residual-force maps vanish throughout their state domains makes the whole model a global potential model. Neither condition is claimed as necessary for every motion on which the energy happens to be constant. No theorem of this page asserts that any interaction of nature has the required structure. No constraint reactions, no impulsive forces, no variable-mass models and no measurements appear.

Hypotheses and counterexamples

Frames, open systems and empirical boundaries

  • Conservation is frame-relative. Under a change of inertial frame the values of P, K, Jo and E change by the laws of Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy. Constancy of P makes P~ constant; constancy of both P and K makes K~ constant; under scalar potential transfer, constancy of both E and P makes E~ constant. For angular momentum, constancy of Jo transfers precisely when the boost term (RXo)×(Mv) is constant. The displayed terms need not be constant, and no conservation law of this page asserts a frame-independent numerical value.

  • Open systems. The pair structure, antisymmetry and centrality are properties of the declared labels; for a proper subsystem the forces to omitted labels enter as external forces that need satisfy no such property. The subsystem's momentum, angular momentum and energy may be exchanged with the environment; zero net force, zero total torque about a fixed reference point, or zero mechanical-energy rate can give the respective conservation conclusions under the cited hypotheses. This continues the boundary recorded in Status audit and model boundaries of the force page: open systems, frame selection, breakdown and empirical scope; the balance theorems are statements about the specified system, not about an arbitrary collection of bodies.

  • Empirical status. Masses, force parameters, potentials, residual-force coefficients and the choice of potential representative are model data; a numerical value taken from measurement is an empirical premise with its conditions and uncertainty, and the pages of this pair record no observation. Agreement of a computed motion with a reported observation would test the combined model, apparatus and calibration assumptions, and would be evidence about them, not a proof of the model. Finite-time breakdown of a maximal motion remains possible by Maximal Newtonian motions and the compact-continuation criterion: finite-time breakdown requires escape from every compact subset of the time-state domain and does not affect the balance identities, which hold on every interval on which the motion is defined.

Depends on

Dependency tree · 2 levels

Sources