Alphabeta Math
PostulateStatement: 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.

Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions

Physical scope

Adoption of the page's central-force model class inside the framework's force and interaction branches: two-label models presented by a static C2 central pair potential on a collision-excluded annulus and free of external forces; the reduced one-label problem of mass μ; the separate one-label fixed-centre idealization; the reading conventions for force centre, orbit and body labels; and the explicit exclusions (velocity- or time-dependent, non-central, non-potential, constrained, colliding, external-force and many-body models) together with the status of the model data. The item adopts a modelling class; it asserts no law of nature, no measured value and no conservation law.

Postulate

Adopt, as the central-force model for the two-body part of this page, the following restricted model class inside the force and interaction branches of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance and Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch.

(i) The two-label central model. A model of class (i) is a force model of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with N=2 labels, fixed masses m1,m2>0 (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), a time window I0, the collision-excluded configuration domain Q:={ x=(x1,x2)∈(R3)2:∣x1−x2∣∈J0 } for an open interval J0⊆(0,∞) (Configuration domain of N labeled particles: open admissible sets, regular holonomic constraints and the mass operator), and the force map presented through the time-independent static central pair potential U(x1,x2):=u(∣x1−x2∣),u:J0→R of class C2, so that Fi(t,x,v)=−∇xiU(x) on the state domain (clauses (iii) and (iv) of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch; U is of class C2 on the open Q by The radial composite x↦u(∣x∣) on an annulus: Ck regularity and ∇(u∘∣⋅∣)(x)=u′(∣x∣) x/∣x∣). In the external-plus-pair presentation of clause (i) of that postulate the model has Fiext≡0: no external forces act on the labels of a model of class (i).

(ii) The reduced one-label problem. For a model of class (i) put μ:=m1m2/(m1+m2)>0 of dimension μ (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The reduced problem of the model is the one-label problem of mass μ whose unknown is the relative coordinate r=x1−x2 and whose equation is μ r′′=−u′(∣r∣)∣r∣ r; by Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection the relative coordinate of every motion of a model of class (i) solves this equation, and every pair of a uniform centre-of-mass motion and a solution of the reduced equation on a common interval reconstructs a motion of the model. Adopt the reduced problem as the object that the central-force statements of this page describe, and the central-force-trajectory vocabulary of Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential (attached angular momentum j=μ r×r′ and energy E=12μ∥r′∥22+u(∣r∣)) as the vocabulary in which those statements are phrased.

(iii) The one-label fixed-centre idealization. A one-label central model is a force model of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with N=1, mass μ>0, time window I0, a fixed centre c∈R3, the configuration domain Qc={x∈R3:∣x−c∣∈J0}, and the external force map F(t,x,v)=−u′(∣x−c∣)∣x−c∣ (x−c), presented through the potential u(∣x−c∣) with the same function u∈C2(J0). This model is the fixed-centre idealization of the reduced problem: it drops the centre-of-mass degree of freedom and holds the force centre fixed. It is a separate adopted model class, not a consequence of class (i), and every use of it must state that the idealization is intended.

(iv) Reading conventions. In the statements of this page: the force centre of the reduced problem is the origin of the relative coordinate r; an orbit is the trajectory t↦r(t) of the reduced problem (equivalently, by Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection, the trajectory of either label relative to the centre of mass, up to the mass ratio); "circular" and "elliptic" name properties of that trajectory; and the words "planet", "satellite", "central body" and "test particle" name labels of a model of class (i) or (iii). These words carry no empirical claim about nature.

(v) Exclusions and status. The class excludes: velocity-dependent and explicitly time-dependent central forces; non-central and non-potential forces; constraints and reaction forces; colliding configurations x1=x2 (equivalently r=0); external forces on the labels; and models with more than two labels. Finite-size, rotational, deformational, dissipative and relativistic effects are outside the class. The masses, the interval J0 and the function u (including any parameters it carries) are model data, not measured values (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework); quantitative empirical use requires separately stated measured inputs with their uncertainties, and no statement of this page asserts that any physical system is exactly a model of this class.

Status and scope

Depends on

Dependency tree · 2 levels

Sources