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.

Scope of the scattering and impulse items: model boundaries, branch and cutoff qualifications, and the claims deliberately not made

Physical scope

Assuming countable choice for the scattering measures and vocabulary, a scope remark recording which claims the page's scattering, impact and open-flow items make, which model assumptions they adopt, and which claims they deliberately do not make: no monotonicity or completeness of the deflection map, no counting or probability interpretation of the cross-section, no contact scattering as a smooth-potential theorem, no measured values or electromagnetic identification of the Coulomb parameter, no individual-label angular distribution without reconstructing the labels in a specified inertial chart, no attractive capture, screening, radiation, inelastic, relativistic or quantum modifications, and no constitutive or boundary law for the open flow. The remark adds no claim of its own beyond the qualifications it records.

Assume ACω (The Axiom of Countable Choice (ACω)) for the scattering measures.

This remark records the boundaries of the page's claims. It adds no statement of its own and no empirical content; each clause refers to the items that do.

What the scattering items assert

Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter b=J/2μE, the advance Δ with principal deflection arccos⁡(cos⁡(π−2Δ)), and the cross-section of a deflection branch is a conditional deduction inside the two-label central model class of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions with a finite-range C2 potential and a simple outer turning point: the relative motion extends to all of time, its asymptotic velocities and impact parameter are computed, the half-angle advance is a quadrature, the asymptotic directions satisfy the deflection relation with angle π−2Δ when 0<Δ<π/2, and on a smooth deflection branch that records the model's deflections the outgoing angular measure has that branch's cross-section contribution b∣b′∣/sin⁡θ. The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading sums contributions from disjoint incident intervals, including where their angular images overlap. Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total treats the separate long-range repulsive κ/r potential and adds the explicit deflection map, the Rutherford density, the finite truncated band values and the divergence of the ideal total.

What the scattering items do not assert

What the impact and open-flow items assert and adopt

Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting adopts three extensions of the force branch: the isolated reciprocal impulse, the collinear restitution contact law with e∈[0,1], and the open-body material accounting. Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with ΔK=−1−e22μ∥v2−−v1−∥22, and the open-body and rocket laws proves their conditional consequences — momentum continuity across the impulse, exclusion of a nonzero impulse for a candidate motion that also satisfies the smooth-force branch, the restitution velocities, the kinetic-energy change and the open-body and rocket laws — and records that momentum balance alone does not fix the outcome. The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws derives the moving-control-region identities from adopted material balances and identifies the lumped accounting of the impact postulate as their inlet/outlet specialisation.

These items assert no law of nature and no measured value: e, the impulse, the contact direction and the mass rates and velocities are model data (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework for the dimensions). They exclude contacts outside 0≤e≤1, simultaneous or tangential contacts, friction, rotation and deformation modes, and — for the open flow — constitutive laws, boundary conditions and incompressibility, which are separate models. Their empirical reading (for instance that a particular pair of bodies has a particular coefficient) requires a separately specified experiment, sampling model and uncertainty analysis, and obtains evidence about the model-plus-apparatus assumptions rather than a proof of the model.

Depends on

Dependency tree · 2 levels

Sources