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

Scattering and impulse model boundaries

1 · Prerequisites

2 · Summary

The scattering measures assume countable choice; the model rates are conditional on that mathematical foundation. This page treats scattering and impact inside the adopted 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 and marks the boundaries at which that description stops. Two ingredients are fixed first. Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation defines the physical reading of the scattering data of a central scattering model: the reduced problem of the two-label class, the scattering motion on all of time, its energy and angular momentum, the asymptotic velocities, the impact parameter as an asymptotic perpendicular-distance limit (the exact affine extension of a free incoming tail in the finite-range case), the polar advance and the deflection conventions, the adopted uniform-incident preparation with normalized density b/(πbmax⁡2), fixed energy and varying J(b)=2μE b, its flux and units, and the reading conventions that define angles from the relative coordinate rather than individual label trajectories. The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading defines the differential cross-section of a deflection branch as the area-pushforward density b(θ)∣b′(θ)∣/sin⁡θ, its finite-family sums for disjoint incident intervals even when angular images overlap, and Borel cross-section measures through nonnegative Lebesgue integrals, agreeing with compact Riemann integrals and monotone interval truncations. It also defines the uniform-incident rate reading and its empirical qualifications: a model rate is not a count of detected events and its comparison with data requires a specified apparatus, sampling model and analysis.

On that vocabulary the page's first physics theorem, 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, transfers the finite-range scattering theory of cm-math-central to the model: under a finite-range C2 potential and a simple outer turning point, the relative coordinate of a model motion extends uniquely to all of time, with a single apsis and two monotone branches; the asymptotic velocities exist with speed 2E/μ; beyond the range the motion is exactly free and the incoming and outgoing lines have perpendicular distance b=J/2μE; the half-angle advance is the quadrature Δ=∫r∗∞J dr/(r22μ(E−V)) and 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 carries the cross-section density, with the uniform-incident rate reading attached. Its scope clause records that no monotonicity, injectivity or completeness of the deflection map is asserted. 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 separately treats the long-range the repulsive κ/r potential: the effective potential is strictly decreasing, every stated relative motion extends without collision to all of time, the deflection map is the single C1 branch 2arctan⁡(κ/(2Eb)) with inverse (κ/2E)cot⁡(θ/2), the differential cross-section is the Rutherford density (κ/4E)2csc⁡4(θ/2), every angular band has the finite truncated total π(b(θ1)2−b(θ2)2), and the ideal total diverges at forward angles. The parameter κ is a model datum of the mechanical model and is not identified with any electromagnetic quantity.

The second half of the page marks the impact and open-flow boundaries. 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: an isolated reciprocal impulse (equal and opposite finite momentum jumps at one time, the regular dynamics retained away from it), a collinear restitution contact law with coefficient 0≤e≤1, and an open-body material accounting for matter entering and leaving a body at given rates with given inertial velocities. 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 the conditional consequences: the total momentum is continuous across the impulse; a motion of the smooth-force branch with continuous forces cannot carry a nonzero impulse, so the jump is a genuine model extension; the collinear contact has the restitution velocities and the kinetic-energy change −1−e22μ∥v2−−v1−∥22, is dissipative for e<1 and identifies the deficit with no measured quantity; momentum balance alone leaves a one-parameter family of outcomes, so the contact law is an independent datum; and the open-body accounting yields mv′=F+rin(win−v)−rout(wout−v) with the rocket thrust as the special case. 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 states the adopted smooth open-flow model, localises its material balances to the field equations, and derives the moving-control-region mass and momentum rates with the boundary speed w and the relative-velocity flux; it records the material and fixed special cases and decomposes the boundary flux into inlet and outlet rates with flux-averaged inertial velocities, reproducing the lumped open-body law of the impact postulate. The closing remark Scope of the scattering and impulse items: model boundaries, branch and cutoff qualifications, and the claims deliberately not made records what the page does not claim: 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 and no electromagnetic identification, no individual-label angular distribution without applying the two-label reconstruction in a specified inertial chart, and no constitutive or boundary law for the open flow.

Worked checks on declared data are collected on cm15-scattering-and-impulse-model-boundaries-examples.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

DefinitionDefinition: AI-adaptedProof: Not applicableOpen item page →

Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation

Physical scope

Assuming countable choice for preparation and cross-section measures, the physical reading of the scattering data of the page's restricted model class: the two-label central model of the central-model postulate, its reduced problem, the scattering motion of the relative coordinate on all of R, the energy and angular momentum carried by the motion, the asymptotic velocities, the impact parameter as an asymptotic perpendicular-distance limit, the polar advance and the deflection conventions, the adopted uniform-incident preparation and its flux and units, and the reading conventions that angles are defined from the relative-coordinate motion, together with the explicit exclusions and the status of the data as model data. The item fixes vocabulary and an adopted preparation model; it asserts no observation, no measured value, no law of nature and no counting of detected particles.

Definition

Assume ACω (The Axiom of Countable Choice (ACω)) for the preparation and cross-section measures.

This item fixes the scattering data of the restricted 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 and the preparation conventions in which the scattering statements of this page are phrased. All objects are model data; nothing here is a measured value.

(i) The scattering model. A central scattering model is a model of class (i) of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions with N=2 labels, masses m1,m2>0 (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), no external forces, and a static central pair potential u∈C2(J0) (Ck Euclidean maps and diffeomorphisms) whose collision-excluded interval satisfies (0,∞)⊆J0, so that the only forbidden configuration is the collision r=0. Its reduced problem is the one-label problem of class (ii) with reduced mass μ:=m1m2/(m1+m2) (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework: [μ]=μ) and the same potential, presented through the relative coordinate r=x1−x2; 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 the model is a central-force trajectory for (μ,u) and every pair of an affine centre-of-mass motion and a solution of the reduced equation on a common interval reconstructs a motion of the model.

(ii) Scattering motions and their data. Let r:R→R3 be a central-force trajectory for (μ,u) defined on all of R with values ∣r(t)∣∈J0 and with constant angular momentum j=μ r×r′=Je3≠0 for J>0 and an oriented orthonormal triad (e1,e2,e3) (Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential, Conservation of the angular momentum vector along a central-force trajectory and its orthogonality to position and velocity, Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation, Oriented orthonormal triads in R3: existence over any unit vector, and the orthonormal expansion with no fourth orthogonal direction). Call r a scattering motion when it has a unique apsis t∗ with ρ=∣r∣ decreasing strictly before t∗, increasing strictly after it, ρ(t)→∞ as t→±∞, and the nonzero limits below exist with the stated speed, equal finite impact-distance limits and finite equal half-advances. These are defining conditions, not deductions for arbitrary C2 potentials. The finite-range theorem requires u=0 beyond some R, E,J>0, a simple outer turning point V(r∗)=E, V′(r∗)<0, V(r)<E for r>r∗, and a trajectory staying above and attaining r∗. The repulsive Coulomb theorem instead requires u=κ/ρ, κ,E,J>0 and a trajectory attaining its turning radius. Each theorem proves the defining conditions in its own scope. Its energy is the constant E:=12μ∥r′∥22+u(∣r∣)>0 of Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential (constant by Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation clause 4), its asymptotic velocities are the limits v−:=lim⁡t→−∞r′(t),v+:=lim⁡t→+∞r′(t), taken in the sense of Vector-valued functions f:A→Rm, their limits and continuity, with the dictionary to the metric notions (their existence under the hypotheses is a theorem, not a convention), and its scattering speed is v∞:=∥v−∥2=∥v+∥2=2E/μ, the equality being part of the scattering theorems. The incoming branch is the trajectory restricted to times before its apsis. The impact parameter is the asymptotic perpendicular-distance limit b:=lim⁡t→−∞∥r(t)×v−∥2∥v−∥2=lim⁡t→+∞∥r(t)×v+∥2∥v+∥2=Jμv∞>0. Here the distance at each time is to the line through the origin in the limiting velocity direction, not to an exact affine trajectory line. For a finite-range potential, the sufficiently early incoming tail is a straight half-line whose affine extension has this distance; for Coulomb these are only limits, with no exact free tail or finite longitudinal intercept claimed. The dimension is [b]=ℓ.

(iii) Polar advance and deflection conventions. Fix polar data (ρ,θ) of the scattering motion in the triad, r=ρ n(θ), n(φ):=cos⁡φ e1+sin⁡φ e2 (Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation), and let t∗ be an apsis time, ∣r(t∗)∣=min⁡t∣r(t)∣. The polar advance of one half is Δ:=θ(+∞)−θ(t∗)=θ(t∗)−θ(−∞), defined by the limits asserted in the scattering theorems, and the polar advance of the motion is 2Δ. The scattering angle is the undirected angle between the asymptotic velocity directions, θs:=arccos⁡ ⁣(⟨v−,v+⟩∥v−∥2 ∥v+∥2)∈[0,π], the incoming and outgoing velocity directions are oriented, so this is not the smaller unoriented angle between two lines; the signed velocity rotation is the continuous rotation angle of r′(t), measured counterclockwise about e3 relative to the incoming direction, so that a positive value is a counterclockwise turn. The scattering theorems give cos⁡θs=cos⁡(π−2Δ) and the signed rotation 2Δ−π; in particular, when 0<Δ<π/2 the scattering angle is θs=π−2Δ∈(0,π), while outside that range θs is the wrapped value arccos⁡(cos⁡(π−2Δ)). The deflection map at fixed model potential u, reduced mass μ and energy E>0 is the partial map b↦θs(b) on those b>0 for which a scattering motion exists and all such motions have the same angle. Its corresponding angular momentum magnitude varies as J(b)=μbv∞=2μE b. Time translation and rotation of a motion do not change its angle. Deflection branches are C1 branches of this partial map as defined in Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density.

(iv) The uniform-incident preparation (adopted model datum). The uniform-incident preparation of a central scattering model with cutoff bmax⁡>0 and flux Φ>0 is the following adopted model of a scattering experiment for the reduced problem: independent incident reduced labels with common energy E>0 and impact-azimuth probability measure P(A)=ν(A∩Dmax⁡)πbmax⁡2,Dmax⁡=(0,bmax⁡)×(0,2π). Its density is b/(πbmax⁡2), and its total mass is one since ν(Dmax⁡)=πbmax⁡2. Angular momentum magnitude is J(b)=2μE b; its plane orientation may vary with azimuth. The incident flux Φ is the expected number of incident labels per unit area per unit time, with [Φ]=ℓ−2τ−1 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The adopted total arrival rate is Φπbmax⁡2, so for a Borel set A⊆Dmax⁡ the expected incident rate is N˙(A)=Φπbmax⁡2P(A)=Φν(A). Here ν is the incident area measure of Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density. For a specified deflection branch θ:(a1,a2)→(θ1,θ2) and a Borel scattering-angle window Y⊆(θ1,θ2), the predicted rate from that branch under this cutoff preparation is N˙br(Y):=Φ ν ⁣({(b,φ)∈Dmax⁡:a1<b<a2, θ(b)∈Y}). The preimage is Borel because θ is continuous on its branch. For a finite family of branches with pairwise disjoint incident intervals, branch rates add, including when their angular images overlap. Incidences outside recorded scattering branches are not assigned an outgoing scattering angle by this definition. The rate above integrates over the full impact-azimuth range; it is a model prediction, not a detected count. Comparing it with data requires a separately specified experiment, apparatus model, sampling model and statistical analysis.

(v) Reading conventions. All angles and lengths above are data of the relative problem: angles are computed from the relative coordinate r=x1−x2 and its asymptotic velocities v±, not from either label's trajectory. The centre of mass X and the reconstruction formulas x1=X+m2Mr and x2=X−m1Mr, with M=m1+m2, are those of clause (i), Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame and 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 clause 4. They show that individual-label directions generally differ from the relative direction and from each other. "Target", "projectile" and "detector" are names for model components and carry no empirical claim.

(vi) Exclusions and status. The class excludes velocity- or time-dependent, non-central and non-potential forces; constraints and reaction forces; collisions r=0; external forces; and models with more than two labels, exactly as in Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (v). The preparation of clause (iv) is one adopted idealisation among many; the scattering theorems state separately which potentials, energies and angular momenta produce the data of clauses (ii)-(iii). The quantities μ, u (with any parameters it carries), E, J, b, bmax⁡, Φ are model data; quantitative empirical use requires separately stated measured inputs with uncertainties, and no statement of this page asserts that any physical system is exactly a central scattering model or that any beam is exactly uniform.

Why the objects are defined. The relative coordinate is a central-force trajectory by the cited reduction theorem; the attached energy and angular momentum are defined by Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential and are constant on the trajectory by Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation clause 4 and Conservation of the angular momentum vector along a central-force trajectory and its orthogonality to position and velocity; the impact parameter is defined by its limiting distance, with existence and equality proved under the theorem-specific hypotheses; and the preparation measure of clause (iv) is the measure ν of Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density. The arccosine of clause (iii) is defined because the Cauchy-Schwarz inequality gives ∣⟨v−,v+⟩∣/(∥v−∥2∥v+∥2)≤1 (Cauchy-Schwarz ∣⟨x,y⟩∣≤∥x∥2∥y∥2 with its equality case, the triangle inequality for ∥⋅∥2, the parallelogram law and polarisation).

Mathematical status. The vocabulary is attached to the adopted 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; the existence of the limits, the identities for v∞, b, Δ and θs, and the form of the deflection map under explicit potential hypotheses are the content of the mathematics and physics theorems of this page, not of this definition.

DefinitionDefinition: AI-adaptedProof: Not applicableOpen item page →

The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading

Physical scope

Assuming countable choice for the Borel cross-section measures, The page's cross-section vocabulary for the uniform-incident preparation: the differential cross-section as the area-pushforward density of a deflection branch of a central scattering model, its units, the branch-sum convention, the truncated total cross-section over an angular window with finite or singular endpoints, and the empirical qualifications of the uniform-incident reading (adopted preparation, model rates not detections, finite samples, detector acceptance, no ideal total for a forward-divergent branch). The item defines model quantities; it asserts no observation, no measured value and no counting of detected particles.

Definition

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

This item fixes the cross-section vocabulary of the central scattering models of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation relative to the uniform-incident preparation of that definition.

(i) The differential cross-section of a branch. Let a central scattering model be given, let θ:(a1,a2)→(0,π) be a deflection branch in the sense of Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density — an interval (a1,a2) of impact parameters with θ of class C1 and θ′(b)≠0 — and suppose the branch records the deflection of the model: for every b∈(a1,a2) the scattering motion of the model with impact parameter b, fixed energy E and angular momentum magnitude J(b)=2μE b has scattering angle θs=θ(b). Write (a1,a2)∋b↦θ∈(θ1,θ2) for this bijection and b(θ):=θ−1(θ) for its inverse (Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density). The differential cross-section of the branch is the function dσdΩ(θ):=b(θ) ∣b′(θ)∣sin⁡θ=b(θ)sin⁡θ ∣θ′(b(θ))∣(θ1<θ<θ2), the cross-section density of Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density. Its dimension is [dσ/dΩ]=ℓ2 (solid angle dimensionless in the chosen convention, Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), and one says "per steradian" for the unit of solid angle.

(ii) Branch sums. Let B={(a1(j),a2(j),θj)}j=1N be a finite family of deflection branches of the same model whose incident intervals (a1(j),a2(j)) are pairwise disjoint, with each branch recording the model's deflections as in clause (i). Write Aj:=θj((a1(j),a2(j))) for its image and bj:=θj−1 and qj(θ):=bj(θ)∣bj′(θ)∣/sin⁡θ for its branch density from clause (i), defined on Aj. Angular images are not required to be disjoint. The differential cross-section of the model for this family is, for θ∈A:=⋃j=1NAj, dσBdΩ(θ):=∑{j: θ∈Aj}qj(θ). Thus qj is the contribution of branch j, and contributions add at every angle belonging to more than one image. The total density for this family is left undefined at angles belonging to no branch image. No claim is made that the branch images cover (0,π) or that the family includes every deflection of the model.

(iii) Cross-section measure and truncated totals. For one branch j with image Aj, and a Borel angular window Y⊆Aj, define σj(Y):=∫Yqj(θ) 2πsin⁡θ dλ1(θ)=∫Y×(0,2π)bj(θ)∣bj′(θ)∣ dλ2. When only one branch is under discussion, write σ(Y) for this branch-specific measure. For the finite family B of clause (ii), define σB(Y):=∑j=1Nσj(Y∩Aj)=∫Y∩AdσBdΩ(θ) 2πsin⁡θ dλ1(θ) for every Borel Y⊆(0,π). These are nonnegative Lebesgue integrals over measurable sets in the sense of Integral over a measurable subset, with extended value +∞ allowed. The measure-level identity of One-dimensional substitution on a deflection branch: the outgoing angular measure has density b∣db/dθ∣, hence cross-section density b∣db/dθ∣/sin⁡θ identifies each branch integral with the area of that branch's incident preimage; finite additivity gives the family formula, including where angular images overlap. On a compact interior interval each branch integral equals the ordinary Riemann integral; on an open interval its value is the monotone limit over compact interior truncations, equivalently the nonnegative improper integral when finite. General Borel windows use the Lebesgue integral, not a two-piece interval improper integral. The ideal total cross-section of a branch is σj(Aj); for a family it is σB(A). If infinite, there is no finite ideal total. Every compact interior angular window in a branch image has finite branch cross-section; more generally a cutoff whose incident preimage is bounded has finite cross-section. An arbitrary positive angular cutoff need not suffice for an arbitrary branch.

(iv) The uniform-incident reading. Under the uniform-incident preparation of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (iv) with cutoff bmax⁡ and flux Φ, the model predicts the expected rate of scattered labels into a Borel angular window Y from one branch to be the flux times its cutoff cross-section for the portion of that branch with b<bmax⁡. Writing Tj(b,φ)=(θj(b),φ) on the branch rectangle and Dmax⁡=(0,bmax⁡)×(0,2π), the branch cutoff measure is σj,bmax⁡(Y):=ν ⁣(Tj−1(Y×(0,2π))∩((a1(j),a2(j))×(0,2π))∩Dmax⁡), and its expected rate is Φσj,bmax⁡(Y). For a finite family with pairwise disjoint incident intervals, define σB,bmax⁡(Y):=∑j=1Nσj,bmax⁡(Y); the expected rate is ΦσB,bmax⁡(Y), including when the angular images overlap. If the entire incident preimage of Y lies below the cutoff, this sum is ΦσB(Y). This is a prediction of the model under the adopted preparation. In particular:

  • σj(Y) and σB(Y) are not probabilities per incident label, not counts of detected events, and not apparatus properties;
  • a comparison with data requires a separately specified experiment: an apparatus model, a detector with finite angular resolution and acceptance, a sampling model and uncertainties, and a statistical analysis, none of which is supplied by this page;
  • an ideal branch cross-section may diverge at a forward angle, while the adopted finite incident cutoff gives σB,bmax⁡(Y)≤πbmax⁡2 for every window Y, because the branch incident intervals are disjoint. Thus these cutoff rates are finite even if the ideal window cross-section is infinite. Without an incident cutoff, the rate ΦσB(Y) is finite exactly when that ideal window cross-section is finite. A finite measured rate constrains the model jointly with its incident preparation and apparatus acceptance;
  • finite samples fluctuate: an observed angular distribution can miss a branch's features with positive probability under ordinary sampling models, and agreement is evidence about the model-plus-apparatus assumptions, not a proof of the model.

(v) Status and exclusions. The branch hypothesis includes θ′≠0: the definition excludes angles at which θ′(b)=0 (rainbow-type stationary deflections) and leaves them to separate limiting measures. It also excludes, at the level of this page, friction and tangential contact laws, attractive capture, screening, radiation, relativistic and quantum modifications, and any identification of the model parameters with measured electromagnetic quantities; those require separate models or cross-framework items. The functions θ, b and the data E, J, u, bmax⁡, Φ are model data (Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (vi)).

Why the objects are defined. The inverse b is C1 with b′(θ)=1/θ′(b(θ)) because a C1 function on an interval with nowhere vanishing derivative is strictly monotone and has a differentiable inverse (Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density); sin⁡θ>0 on (0,π); hence the denominators do not vanish and the density is finite at every interior point of the branch image. The pushforward identity that justifies the reading "density carried by the branch" is One-dimensional substitution on a deflection branch: the outgoing angular measure has density b∣db/dθ∣, hence cross-section density b∣db/dθ∣/sin⁡θ, a theorem of this page's mathematical suppliers.

Physics theoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

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

Physical scope

Assuming countable choice for the branch and preparation measures, the scattering prediction of the restricted two-label central model class with a finite-range C2 potential and a simple outer turning point: the relative motion lives on all of time with one apsis and two monotone branches; the asymptotic velocities exist with speed 2E/μ; at and beyond the range the branches are exactly free and the incoming and outgoing lines have perpendicular distance b=J/2μE; the half-angle advance is the stated quadrature and the asymptotic directions satisfy the deflection relation with angle π−2Δ when 0<Δ<π/2; and on a C1 deflection branch that records the model's deflections the outgoing angular measure has the branch contribution density b∣db/dθ∣/sin⁡θ and the expected uniform-incident rate is the flux times that branch's truncated cross-section. A finite family's total density adds its branch contributions where angular images overlap. The result is a conditional deduction inside the adopted model class; it uses the model data E,J,u and no measured value, asserts no monotonicity or completeness of the deflection map, and reports no detection.

Statement

Assume ACω (The Axiom of Countable Choice (ACω)) for clause 4 and its preparation measures.

Adopt a central scattering model of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (i) with masses m1,m2>0, reduced mass μ=m1m2/(m1+m2), static central pair potential u∈C2((0,∞)) (Ck Euclidean maps and diffeomorphisms), and let E>0, J>0; write V(r):=u(r)+J22μr2(r>0). Suppose:

(H1) finite range: there is R>0 with u(r)=0 for every r≥R;

(H2) simple outer turning point: there is r∗>0 with V(r∗)=E,V′(r∗)<0,V(r)<E(r>r∗).

Let r:I→R3 be the relative coordinate of a motion of the model on an interval I with nonempty interior and with attached angular momentum j=μ r×r′=Je3≠0 and attached energy E (Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential, 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), and suppose ∣r(t)∣≥r∗ for every t∈I and ∣r(t∗)∣=r∗ for some t∗∈I. Then:

  1. (The scattering motion.) r extends uniquely to a central-force trajectory rˉ:R→R3 for (μ,u); the extension is the relative coordinate of a motion of the two-label model with its autonomous force law extended to time window R, defined on all of R, whose centre of mass is the affine extension of the original one. Along rˉ, ρ:=∣rˉ∣ satisfies ρ≥r∗, ρ(t)>r∗ for t≠t∗, and ρ is strictly decreasing on (−∞,t∗] and strictly increasing on [t∗,∞); no collision occurs. Moreover the time quadrature τ(r0):=∫r∗r0ds(2/μ)(E−V(s))(r0≥r∗) with the integral at r∗ interpreted as an improper integral, is finite for every r0 and satisfies ρ(t∗±τ(r0))=r0.
  2. (Free asymptotes, speed and impact parameter.) The limits v±=lim⁡t→±∞rˉ′(t) exist and ∣v+∣=∣v−∣=2E/μ=:v∞. For every t1≥t∗ with ρ(t1)≥R the motion is exactly free from t1 on, rˉ(t)=rˉ(t1)+(t−t1)v+ for all t≥t1; symmetrically for the incoming branch with v−. The perpendicular distance from the force centre of the affine extensions of the incoming and outgoing free tails is the same number b=Jμv∞=J2μE,so thatJ=μb v∞.
  3. (Polar advance and deflection.) Let (ρ,θ) be polar data of rˉ:R→R3 from clause 1 in an oriented orthonormal triad with e3=j/J (Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation). Then Δ:=θ(+∞)−θ(t∗)=θ(t∗)−θ(−∞)=∫r∗∞J drr22μ (E−V(r)) is finite and positive, and the asymptotic directions satisfy v+∣v+∣=−R2Δ(v−∣v−∣),⟨v−,v+⟩∣v−∣ ∣v+∣=cos⁡(π−2Δ), where for x∈span⁡(e1,e2), Rαx:=cos⁡α x+sin⁡α (e3×x) is the rotation of that plane by α. The scattering angle of the motion is θs=arccos⁡(cos⁡(π−2Δ)); if 0<Δ<π/2 then θs=π−2Δ∈(0,π) and the signed velocity rotation is 2Δ−π.
  4. (Cross-section of a deflection branch.) Let θ:(a1,a2)→(0,π) be a deflection branch of the model in the sense of The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading: θ is C1 with θ′(b)≠0, and for every b∈(a1,a2) the scattering motion of the model with impact parameter b, fixed energy E and angular momentum magnitude J(b)=2μE b has scattering angle θs(b)=θ(b), with 0<Δ(b)<π/2. For each member of this family suppose (H2) and the trajectory hypotheses hold with its own J(b) and turning point r∗(b). Then, for every nonnegative Borel test function on the branch image, or real Borel test function absolutely integrable for its outgoing measure, ∫(a1,a2)×(0,2π)g(θ(b),φ)b dλ2(b,φ)=∫(θ1,θ2)×(0,2π)g(θ,φ)b(θ)∣b′(θ)∣ dλ2(θ,φ), the outgoing angular measure of the branch has density b(θ)∣b′(θ)∣ with respect to dθ dφ, and the differential cross-section of the branch is dσdΩ(θ)=b(θ) ∣b′(θ)∣sin⁡θ=b(θ)sin⁡θ ∣θ′(b(θ))∣(θ1<θ<θ2). Under the uniform-incident preparation of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (iv), with cutoff bmax⁡>a1 and flux Φ, put c=min⁡(a2,bmax⁡) and Y=θ((a1,c)),σbr(Y)=∫YdσdΩ(θ) 2πsin⁡θ dλ1(θ). Here σbr(Y) is this branch's contribution as in clause (iii) of The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading, not the total model cross-section when other branch images overlap Y. The window uses the image of the open interval, with one-sided endpoint limits when necessary, and works for either monotonicity. The expected scattered rate from this branch portion is Φσbr(Y)=Φπ(c2−a12), which is finite. Other branch portions, if present, add their own contributions.
  5. (Scope of the statement.) The theorem asserts nothing about the deflection map outside the recorded branch: it neither asserts that b↦θs is decreasing, injective or free of stationary points, nor that the branch images cover (0,π); and it treats finite-range potentials only. The collisions, long-range potentials, velocity-dependent forces and external forces are excluded by the 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 and by (H1).

Facts & Assumptions

Given: Countable choice for the measures, and the central scattering model with masses m1,m2>0, reduced mass μ, potential u, the data E>0, J>0, the function V=u+J2/(2μr2), the number R of (H1), the turning point r∗ of (H2), and the relative coordinate r:I→R3 with ∣r∣≥r∗ attaining r∗ at t∗.

[L1]

Model and reduction (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clauses (i)-(ii), 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 clauses 2-4, Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential, Configuration domain of N labeled particles: open admissible sets, regular holonomic constraints and the mass operator, The associated first-order system, motions, maximal motions and the Newtonian flow of a force model): the model has no external forces, its relative coordinate is a C2 central-force trajectory for (μ,u) with ∣r(t)∣∈J0=(0,∞), and the map x↦(X,r) is a bijection from motions of the model onto pairs (affine X with X′′=0, central-force trajectory r with values in J0), with x1=X+m2Mr, x2=X−m1Mr, M=m1+m2.

[L2]

Radial energy and turning equations (Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential, Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation): for ρ=∣r∣ and V=UJeff, the energy identity gives (ρ′)2=(2/μ)(E−V(ρ)) and the radial equation is μρ′′=−V′(ρ). At ρ=r∗ this gives ρ′=0 and ρ′′=−V′(r∗)/μ>0; for every ρ>r∗, (H2) gives E−V(ρ)>0. The global branches are established in step 2.1; the time quadrature, free tails, polar advance and angle relation are proved locally in steps 3.1-4.1.

[L3]

Branch pushforward (One-dimensional substitution on a deflection branch: the outgoing angular measure has density b∣db/dθ∣, hence cross-section density b∣db/dθ∣/sin⁡θ, Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density, The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading): on a deflection branch the stated double-integral identity holds for nonnegative Borel g or absolutely integrable real Borel g, the outgoing angular measure has density b∣b′∣, and this branch's cross-section contribution has density b∣b′∣/sin⁡θ=b/(sin⁡θ ∣θ′(b(θ))∣); a finite model-family density sums such contributions on overlapping angular images. The branch data and the uniform-incident preparation are those of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clauses (iii)-(iv).

[L4]

Angular momentum and line geometry (Conservation of the angular momentum vector along a central-force trajectory and its orthogonality to position and velocity, The cross product in R3, The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, The squared cross-product norm is the Gram determinant of two vectors, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral): angular momentum j=μ rˉ×rˉ′ is constant on the central-force trajectory; on a free piece rˉ(t)=rˉ(t1)+(t−t1)v one has rˉ(t)×v=rˉ(t1)×v. For nonzero x,v, the perpendicular distance from the origin to the line {x+sv:s∈R} is ∣x×v∣/∣v∣, since its closest point is x−⟨x,v⟩v/∣v∣2 and the Gram identity gives the squared norm ∣x×v∣2/∣v∣2.

[L5]

Intervals and regularity (Intervals of R: the nine order-convex forms, nondegeneracy, and length, Ck Euclidean maps and diffeomorphisms, Vector-valued functions f:A→Rm, their limits and continuity, with the dictionary to the metric notions): the interval I has nonempty interior, the affine extension of the centre of mass is defined on all of R, and the one-sided limits of velocities are those of the cited definitions.

[L6]

Cartesian uniqueness at the force-range boundary (The radial composite x↦u(∣x∣) on an annulus: Ck regularity and ∇(u∘∣⋅∣)(x)=u′(∣x∣) x/∣x∣, If f:[a,b]→Rm is differentiable with integrable f′ then ∫abf′=f(b)−f(a); and a bounded derivative makes f Lipschitz, A continuous real-valued function on a nonempty compact metric space is bounded and attains a greatest and a least value, First-order systems, initial value problems, and solutions on intervals, Local Lipschitz continuity in the state variable, locally uniform in time and parameters, Picard-Lindelöf local existence and uniqueness for first-order systems): on R3∖{0} the associated first-order field (r,v)↦(v,−∇(u(∣r∣))/μ) is C1. At any state with r≠0, choose a closed convex ball inside that open state domain. The derivative of the field is continuous, so the extreme-value theorem bounds its norm on the ball; applying the bounded-derivative Lipschitz corollary to the restriction along each line segment shows that the field is locally Lipschitz in the state. Picard--Lindelöf uniqueness therefore makes any two central-force solutions with the same position and velocity at one time agree on every common interval.

[L7]

Maximal existence and continuation (Every Picard–Lindelöf initial value problem has one maximal solution on an open interval, Compact continuation for locally Lipschitz ODEs: a solution whose graph stays in a compact subset of the domain near a finite endpoint extends past it): the locally Lipschitz autonomous first-order field of [L6] has a unique maximal solution on an open interval; if its state stays in a compact subset of the open state domain near a finite endpoint, compact continuation extends that solution past the endpoint.

[L9]

The inverse cosine arccos⁡:[−1,1]→[0,π] is the inverse of the continuous, strictly decreasing bijection cos⁡:[0,π]→[−1,1]. Continuity and the endpoint values cos⁡0=1, cos⁡π=−1 follow from The derivatives of sine and cosine are cosine and minus sine and Quarter-turn values and shifts by pi/2 and pi; strict decrease and the range follow from Signs, monotonicity intervals, and ranges of sine and cosine. Its inverse is continuous by Continuous inverse theorem: a continuous injective f on an interval I is a bijection onto the order-convex set f[I], and the inverse g:f[I]→I is continuous and strictly monotone in the same sense as f, and sin⁡ψ>0 for 0<ψ<π by the same trigonometric suppliers.

Proof

technique · direct
1.1givenL1

By [L1], the relative coordinate is a C2 central-force trajectory for (μ,u) with attached angular momentum j=Je3 and energy E, and ∣r(t)∣∈(0,∞). The potential and turning-point conditions are exactly (H1)-(H2), and the trajectory attains r∗ at t∗ while satisfying ∣r∣≥r∗.

2.1step 1.1L1L2L5L6L7algebra

Global branches and extension: the first-order Cartesian central-force field of [L6] has a unique maximal solution through (r(t∗),r′(t∗)) by [L7], and the given trajectory on I is its restriction; write the maximal curve as rˉ and ρ=∣rˉ∣. By [L2], ρ′(t∗)=0 and ρ′′(t∗)=−V′(r∗)/μ>0, so ρ>r∗ immediately on both sides of t∗. Whenever ρ>r∗, the energy identity and (H2) give ρ′≠0, hence ρ′ has constant sign on each connected interval where ρ>r∗. On the outgoing interval adjacent to t∗ that sign is positive. If the interval had a finite right endpoint T inside the maximal domain, continuity would give ρ(T)=r∗; then the radial equation in [L2] gives ρ′′(T)>0, so ρ′<0 immediately before T, contradicting the positive sign on that interval. Thus the outgoing interval reaches the maximal right endpoint, with ρ>r∗ and ρ′>0 throughout. The symmetric argument gives ρ>r∗ and ρ′<0 on the incoming interval. In particular ρ≥r∗ throughout the maximal interval. Since u is continuous on [r∗,R] when this interval is nonempty and vanishes for r≥R, it is bounded below on [r∗,∞); the energy identity therefore bounds ∣rˉ′∣. On any finite endpoint, rˉ is bounded by this speed bound and remains at distance at least r∗>0 from the origin. Its state consequently lies in a compact subset of {(r,v):r≠0} near that endpoint, so [L7] continues it past every finite endpoint. The maximal interval is therefore all of R, and uniqueness is from [L6]. The global branches and radial energy identity established here supply the hypotheses for the direct quadrature and angle calculation below. For the model statement, let X be the centre of mass of the original motion, affine on I with X′′=0 by [L1] clause 2, and let Xˉ be its affine extension to R; then by [L1] clause 4 the pair (Xˉ,rˉ) reconstructs a motion of the model with its autonomous force law extended to time window R, because ∣rˉ(t)∣∈(0,∞) keeps the configuration admissible. This is clause 1.

3.1step 2.1L2L8algebra

Time quadrature in clause 1: for s>r∗ the integrand in the displayed τ(s) is positive and continuous. The derivative definition gives (E−V(s))/(s−r∗)→−V′(r∗)>0 as s↓r∗, so near r∗ the integrand is bounded by a constant times (s−r∗)−1/2, which has a finite integral on every bounded interval starting at r∗. Thus τ(s)<∞ for every finite s≥r∗. Since V(s)=J2/(2μs2)→0 for s≥R, the integrand tends to 1/2E/μ>0 and τ(s)→∞; it is strictly increasing from τ(r∗)=0. On either monotone branch, the fundamental theorem gives τ′(s)=1/(2/μ)(E−V(s)) for s>r∗. By the chain rule and the radial energy identity, (τ∘ρ)′=1 on the outgoing branch and (τ∘ρ)′=−1 on the incoming branch. Taking the limits at t∗ gives τ(ρ(t))=∣t−t∗∣, and strict increase and unboundedness of τ yield ρ(t∗±τ(s))=s for every s≥r∗. This proves the quadrature assertion and also ρ(t)→∞ on both tails.

3.2step 2.1L2L6algebra

Free tails and asymptotic velocities: on the outgoing branch ρ is increasing. It is unbounded: if it had a finite limit L>r∗, the energy identity and (H2) would imply ρ′(t)→(2/μ)(E−V(L))>0, contradicting convergence to L. Thus ρ(t)→∞, and after it passes R it remains there; since u′(r)=0 for r≥R, the Cartesian equation gives rˉ′′=0 on that tail. The incoming branch is symmetric. Now let t1≥t∗ with ρ(t1)>R; the motion is free for all later times and its constant velocity is v+:=lim⁡t→+∞rˉ′(t). At any such free point u=0, so energy gives ∣v+∣=2E/μ=:v∞>0. If instead ρ(t1)=R, define q+(t):=rˉ(t1)+(t−t1)rˉ′(t1) for t≥t1. Differentiating ρ2=⟨rˉ,rˉ⟩ gives ⟨rˉ,rˉ′⟩=ρρ′; since ρ is nondecreasing on this branch, ⟨rˉ(t1),rˉ′(t1)⟩=Rρ′(t1)≥0. Also ∣rˉ′(t1)∣2=2E/μ>0 because u(R)=0, so ∣q+(t)∣2=R2+2(t−t1)⟨rˉ(t1),rˉ′(t1)⟩+(t−t1)2∣rˉ′(t1)∣2≥R2. Since u′(r)=0 for all r≥R, including R, q+ and rˉ solve the same Cartesian equation with the same state at t1; [L6] gives rˉ=q+ for all t≥t1. Thus its constant velocity is again v+ and has norm v∞. The incoming equality case is identical with q−(t):=rˉ(t2)+(t−t2)rˉ′(t2) for t≤t2: ρ′(t2)≤0 and t−t2≤0 give ∣q−(t)∣≥R, so [L6] gives the incoming free formula and v−:=lim⁡t→−∞rˉ′(t) with ∣v−∣=v∞. This proves clause 2's free-motion and velocity claims.

4.1step 1.1step 2.1step 3.1step 3.2L2L4L9algebra

Clause 3, polar advance: apply Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation to the global trajectory rˉ of step 2.1, giving polar data (ρ,θ) on all of R. Let n(φ)=cos⁡φ e1+sin⁡φ e2 be its unit radial direction. On the outgoing branch, θ′=J/(μρ2)>0 and ρ′=(2/μ)(E−V(ρ)); substitution on compact subintervals away from t∗ gives θ(+∞)−θ(t∗)=∫r∗∞J drr22μ(E−V(r))=:Δ. The integral converges at r∗ because E−V(r)∼−V′(r∗)(r−r∗) as r↓r∗, and at infinity because V(r)=J2/(2μr2) for r≥R; it is positive. The same substitution on the incoming branch, where ρ′<0 and θ′>0, gives θ(t∗)−θ(−∞)=Δ. Thus θ±:=lim⁡t→±∞θ(t) exist and θ+−θ−=2Δ. By the free tails of step 3.2, rˉ(t)/ρ(t)→v+/∣v+∣ as t→+∞ and rˉ(t)/ρ(t)→−v−/∣v−∣ as t→−∞. Since rˉ/ρ=n(θ), continuity gives n(θ+)=v+/∣v+∣ and n(θ−)=−v−/∣v−∣. The addition formulas imply n(θ+)=R2Δn(θ−), hence v+∣v+∣=−R2Δ(v−∣v−∣). For any unit q in the plane, ⟨q,e3×q⟩=0, so this identity gives ⟨v−,v+⟩/(∣v−∣∣v+∣)=−cos⁡(2Δ)=cos⁡(π−2Δ). Therefore θs=arccos⁡(cos⁡(π−2Δ)) by clause (iii) of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation; when 0<Δ<π/2, π−2Δ∈(0,π) is that angle. To identify the continuous signed rotation, differentiate rˉ=ρn(θ): rˉ′=ρ′n(θ)+J/(μρ)(e3×n(θ)), whose positive tangential component ensures ∣rˉ′∣>0. Put ψ(t)=arccos⁡(ρ′(t)/∣rˉ′(t)∣)∈(0,π) using [L9]. The Pythagorean identity and positivity give rˉ′/∣rˉ′∣=n(θ+ψ), so θ+ψ is a continuous real angle for the velocity direction. On the free tails, ∣rˉ′∣=v∞ and the radial energy equation gives ρ′→−v∞ incoming and ρ′→v∞ outgoing. Thus ψ→π incoming and ψ→0 outgoing; the net continuous rotation is θ+−(θ−+π)=2Δ−π. This is clause 3.

4.2step 3.2L4algebra

Clause 2, impact parameter: on the incoming branch choose t2≤t∗ with ρ(t2)≥R; the affine extension of the incoming free tail is {rˉ(t2)+s v−:s∈R} and its perpendicular distance from the origin is ∣rˉ(t2)×v−∣/∣v−∣=∣j∣/(μ∣v−∣)=J/(μv∞) by step 3.2 and [L4]. For the outgoing line {rˉ(t1)+s v+:s∈R}, the same computation with [L4] gives distance ∣rˉ(t1)×v+∣/∣v+∣=∣j∣/(μ∣v+∣)=J/(μv∞); since J/(μ2E/μ)=J/2μE, both distances equal b=J/2μE as displayed, and multiplying by v∞ gives J=μbv∞.

5.1step 4.1L3algebra

Clause 4: the assumed family uses the same μ,u,E and varying J(b)=2μE b, with (H2) and the trajectory conditions for each member. By the branch hypothesis its scattering angle is θ(b); [L3] gives the measure and test-function identity on the entire open branch with the stated nonnegative or absolute-integrability condition. Under the preparation the probability law is P=ν∣Dmax⁡/(πbmax⁡2) and the total arrival rate is Φπbmax⁡2. Hence the branch portion (a1,c)×(0,2π) has expected rate Φν((a1,c)×(0,2π)). Its pushforward is supported in Y=θ((a1,c)), so [L3] identifies that area with this branch's contribution σbr(Y)=2π∫a1cb db=π(c2−a12). Other branches with overlapping images contribute separately by finite addition as defined in The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading clause (ii). This proves the rate regardless of whether the branch increases or decreases.

6.1givenstep 4.2step 5.1L1L2L3∎

Clause 5 is the statement of the scope: the branch hypothesis of clause 4 is an explicit assumption, not a consequence of (H1)-(H2); no monotonicity or nonvanishing of θ′ off the branch is used or claimed; and the exclusions are those of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (v) together with (H1). This completes the proof.

Remarks

Physics theoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

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

Physical scope

Assuming countable choice for cross-section measures, the separate long-range Coulomb scattering theorem, as a model prediction: the repulsive κ/r potential has a unique simple outer turning point and every relative motion of the stated data extends to all of time without collision, with asymptotic velocities of speed 2E/μ and asymptotic impact distance b=J/2μE; the deflection map is the C1 decreasing bijection 2arctan⁡(κ/(2Eb)) with a single branch, the differential cross-section is the Rutherford density (κ/4E)2csc⁡4(θ/2), every angular band has the finite truncated cross-section π(b(θ1)2−b(θ2)2), and the ideal total cross-section diverges at forward angles. The parameter κ is a model datum of the mechanical model and is not identified with any electromagnetic quantity; the result reports no measurement, no screening law and no capture, radiation, relativistic or quantum modification.

Statement

Assume ACω (The Axiom of Countable Choice (ACω)) for the cross-section measures.

Adopt a central scattering model of Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (i) with masses m1,m2>0, reduced mass μ, and the repulsive Coulomb potential u(r)=κr(r>0),κ>0, where κ is a model datum of the mechanical model (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework: [κ]=μℓ3τ−2), so that V(r)=κr+J22μr2(r>0). Let the data satisfy E>0, J>0 and put b:=J2μE>0,α:=κ2Eb>0. Then:

  1. (Turning data.) V is strictly decreasing on (0,∞), with V(r)→+∞ as r↓0 and V(r)→0 as r→∞; the equation V(r)=E has exactly one solution r∗>0, it is simple (V′(r∗)<0), one has V(r)<E for every r>r∗ and V(r)>E for every 0<r<r∗, and V=UJeff is of class C2 with no other crossing of the level E.
  2. (Global non-colliding scattering motion.) Let I⊆I0 be a time interval with nonempty interior and r:I→R3 be the relative coordinate of a motion of the model with attached angular momentum j=μ r×r′=Je3 and energy E, with ∣r(t)∣≥r∗ for every t∈I and ∣r(t∗)∣=r∗ for some t∗∈I. Then r extends uniquely to a central-force trajectory rˉ:R→R3 whose extension is the relative coordinate of a motion of the two-label model with its autonomous force law extended to time window R; ρ:=∣rˉ∣ satisfies ρ≥r∗>0 (no collision), ρ(t)>r∗ for t≠t∗, and ρ is strictly decreasing on (−∞,t∗] and strictly increasing on [t∗,∞); the asymptotic velocities v±=lim⁡t→±∞rˉ′(t) exist with ∣v+∣=∣v−∣=2E/μ=:v∞, and the asymptotic perpendicular distance of each branch to its limiting direction equals b=J/(μv∞)=J/2μE, so that J=μb v∞. Unlike the finite-range case, there is no radius beyond which the motion is exactly free: the limits above are asymptotic.
  3. (Deflection and its single branch.) With polar data (ρ,θ) in a triad with e3=j/J, the half-angle of the motion is Δ=π2−arctan⁡κ2Eb∈(0,π2), its scattering angle is θs=π−2Δ=2arctan⁡κ2Eb∈(0,π), and its signed velocity rotation is 2Δ−π=−2arctan⁡(κ/(2Eb)). For the family at fixed μ,κ,E and varying J(b)=2μE b, realised by the apsis initial data of Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and Δ=π/2−arctan⁡(κ/(2Eb)) clause 4, the deflection map θdef:(0,∞)→(0,π),θdef(b):=2arctan⁡κ2Eb, is C1 and strictly decreasing, hence a C1 bijection with inverse b(θ)=κ2Ecot⁡θ2; it is a single deflection branch of the model on (0,∞) with θdef′(b)≠0 everywhere and no wrapping (0<Δ<π/2 for every b>0).
  4. (Cross-section, angular cutoffs and divergence.) The differential cross-section of that branch is dσdΩ(θ)=(κ4E)2csc⁡4θ2(0<θ<π), finite and positive; for 0<θ1<θ2<π the truncated total cross-section over the angular band is the finite number σ((θ1,θ2))=π(b(θ1)2−b(θ2)2), and by monotonicity the band θ≥θ1 has σ((θ1,π))=πb(θ1)2=π(κ2E)2cot⁡2θ12; whereas the truncated integral over (0,θ0) diverges for every θ0∈(0,π), so the model has no finite ideal total cross-section. Every positive angular cutoff therefore yields a finite truncated ideal cross-section. Under the declared uniform-incident preparation with bmax⁡>0 and flux Φ>0, the cutoff cross-section satisfies σbmax⁡(Y)≤πbmax⁡2 for every Borel angular window Y⊆(0,π), and the expected scattered rate is Φσbmax⁡(Y)<∞ (The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading clause (iv)). Thus ideal cross-section divergence does not imply an infinite rate under the finite incident cutoff; comparison with detected rates additionally requires a declared apparatus acceptance and its uncertainties.
  5. (Status of the parameter and exclusions.) The coupling κ is a parameter of the mechanical model. This item does not identify it with q1q2/(4πε0) or with any electromagnetic quantity, states no measured value, and asserts no screening law for a medium of scatterers. Attractive Coulomb scattering (for which capture is possible for suitable data), inelastic, radiative, relativistic and quantum modifications are outside the adopted model and this statement.

Facts & Assumptions

Given: Countable choice for the measures, and the central scattering model with the repulsive Coulomb potential u=κ/r, the masses m1,m2>0, the reduced mass μ, the data E>0, J>0, the numbers b=J/2μE and α=κ/(2Eb), the effective potential V, and the relative coordinate r with its attached data.

[L1]

Coulomb scattering theory (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and Δ=π/2−arctan⁡(κ/(2Eb)) clauses 1-4): under the displayed data, V is strictly decreasing from +∞ to 0, the equation V=E has the unique simple solution r∗, every trajectory with ∣r∣≥r∗ attaining r∗ extends uniquely to all of R with no collision, its two branches are monotone and its asymptotic velocities exist with ∣v±∣=2E/μ and asymptotic perpendicular distance b=J/2μE; and the half-angle is Δ=∫0u∗b du/1−(κ/E)u−b2u2=π/2−arctan⁡(κ/(2Eb)).

[L2]

Model and reduction (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clauses (i)-(ii), 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 clauses 2-4, Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential): the model has no external forces, the relative coordinate is a C2 central-force trajectory for (μ,u), and an affine centre-of-mass curve together with a central-force trajectory with values in (0,∞) reconstructs a motion of the model on the same interval.

[L3]

Deflection and branch calculus (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and Δ=π/2−arctan⁡(κ/(2Eb)) clause 4, The Rutherford deflection map, its inverse, the cross-section density (κ/4E)2csc⁡4(θ/2) and the divergence of the total cross-section clauses 1-3, Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density as used by The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading): the asymptotic directions satisfy ⟨v−,v+⟩/(∣v−∣∣v+∣)=cos⁡(π−2Δ) with the signed rotation 2Δ−π, and the branch b(θ)=(κ/2E)cot⁡(θ/2) is C1 with b′(θ)=−(κ/4E)csc⁡2(θ/2) and cross-section density b∣b′∣/sin⁡θ=(κ/(4E))2csc⁡4(θ/2); the truncated integral over (0,θ0) diverges and the integral over a compact angular interval is finite.

Proof

technique · direct
1.1givenL1

Clause 1: [L1] gives that V is strictly decreasing from +∞ to 0 and that the unique solution r∗ of V=E is simple with V(r)<E for r>r∗; strict decrease also gives V(r)>E for 0<r<r∗. This is clause 1.

2.1step 1.1L1L2

Clause 2, motion and asymptotics: by [L2] the relative coordinate is a central-force trajectory for (μ,u) with the attached data, so the trajectory hypotheses of [L1] hold; [L1] then gives the unique extension to all of R with no collision, the monotone branches with unique apsis, and the existence of v± with ∣v±∣=2E/μ and asymptotic perpendicular distance b=J/2μE on both branches. The extension is the relative coordinate of a motion of the model with its autonomous force law extended to time window R by [L2], since ∣rˉ(t)∣∈(0,∞) keeps the configuration admissible and the affine centre-of-mass extension is defined on all of R. Because u≢0 on any outer region, no exact free tail is asserted; this is clause 2.

3.1step 2.1L1L3L4algebra

Clause 3: [L1] gives Δ=π/2−arctan⁡(κ/(2Eb)) with α=κ/(2Eb)>0, so arctan⁡α∈(0,π/2) and Δ∈(0,π/2); [L3] then gives the scattering angle θs=π−2Δ∈(0,π) and the signed rotation 2Δ−π; substituting the arctangent expression gives θs=2arctan⁡(κ/(2Eb)). [L3] further gives that θdef is C1 and strictly decreasing with image (0,π) and the stated inverse, and θdef′(b)=2⋅11+(κ/(2Eb))2⋅(−κ2Eb2)<0, so θdef′≠0 everywhere and the single branch covers (0,∞). For each b>0, [L1] supplies the apsis trajectory at J(b) and [L2] reconstructs it into a two-label motion with any affine centre of mass. Thus these are actual model motions throughout the claimed family. Since every b>0 gives 0<Δ<π/2, the branch never wraps. This is clause 3.

4.1step 3.1L3L4algebra

Clause 4, density: the cross-section density of the branch is b(θ)∣b′(θ)∣/sin⁡θ by [L3], and substituting b′(θ)=−(κ/4E)csc⁡2(θ/2) and b(θ)=(κ/2E)cot⁡(θ/2) and using sin⁡θ=2sin⁡(θ/2)cos⁡(θ/2) and csc⁡2=1+cot⁡2 gives (κ/(4E))2csc⁡4(θ/2), finite and positive for 0<θ<π; this is the displayed density.

5.1step 4.1L3L4L5algebra

Clause 4, band computation: put F(θ):=πb(θ)2. By [L4] and the chain rule, F′(θ)=2πb(θ)b′(θ)=2π⋅κ2Ecot⁡θ2⋅(−κ4Ecsc⁡2θ2)=−πκ24E2 cos⁡(θ/2)sin⁡3(θ/2), while the solid-angle integrand is dσdΩ(θ) 2πsin⁡θ=(κ4E)2csc⁡4θ2⋅4πsin⁡θ2cos⁡θ2=πκ24E2cos⁡(θ/2)sin⁡3(θ/2)=−F′(θ), using sin⁡θ=2sin⁡(θ/2)cos⁡(θ/2). Hence by the fundamental theorem [L5], for 0<θ1<θ2<π σ((θ1,θ2))=∫θ1θ2dσdΩ(θ) 2πsin⁡θ dθ=−(F(θ2)−F(θ1))=π(b(θ1)2−b(θ2)2), finite because b is continuous on [θ1,θ2]. Since the integrand is nonnegative, the truncated integral over (θ1,θ2) increases as θ2↑π and tends to πb(θ1)2 because b(θ2)2→0; this gives the band value. The divergence of the truncated integral over (0,θ0) is the corresponding clause of [L3]. For the single branch, its incident preimage restricted to 0<b<bmax⁡ is a subset of the disc of incident area πbmax⁡2. Clause (iv) of The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading therefore gives σbmax⁡(Y)≤πbmax⁡2 and the finite expected rate Φσbmax⁡(Y) for every Borel angular window, including Y=(0,π). These are model expectations; a detected-rate comparison needs the separately specified apparatus and uncertainty. This is clause 4.

6.1givenL1L2L3∎

Clause 5: the statement records only the mechanical model's parameter κ, its conditional prediction and the explicit exclusions; no identification, measurement or additional model is used in steps 1.1-5.1, each of which cites only model data and the cited mathematical and physical suppliers. This completes the proof.

Remarks

  • Dimensions. [κ]=μℓ3τ−2, α and Δ dimensionless, [dσ/dΩ]=ℓ2; the identity σ=πb(θ1)2 at a cutoff shows that the truncated total is the area of the disk of impact parameters feeding the accepted angles.

  • The divergence is a feature of the ideal model. The ideal Coulomb branch has no total cross-section because the full-azimuth angular density 2πsin⁡θ dσ/dΩ grows like θ−3 (the solid-angle density grows like θ−4). An angular cutoff gives the displayed truncated ideal value, while the declared finite incident cutoff gives finite predicted rates even for the entire angular interval. Comparing either prediction with observations requires the specified preparation and apparatus model; no experimental acceptance or rate is reported here.

  • What is not claimed. No attractive branch, no capture, no screening of a medium of scatterers, no radiation loss, no relativistic or quantum correction, and no identification of κ with an electromagnetic coupling; those require separate models and, for the identification, a cross-framework item.

PostulateStatement: AI-adaptedProof: Not applicableOpen item page →

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

Physical scope

Adoption of the page's impact and open-mass extensions of the framework's force branch: an isolated reciprocal impulse at one time (a finite momentum jump of opposite sign for the two labels, with the regular dynamics retained away from that time), a collinear restitution contact law with coefficient 0≤e≤1 fixing only the relative velocity, and an open-body material accounting for matter entering and leaving a body at given rates with given inertial velocities. The item adopts model extensions and names their mathematical renderings; it derives nothing from the smooth-force postulates, asserts no law of nature, no measured value for e, the impulse or the mass rates, and excludes simultaneous contacts, friction, deformation modes and coefficients outside [0,1].

Postulate

Adopt, as this page's impact and open-mass extensions of the force branch 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, the following three model extensions. Each is an adopted model, not a consequence of the smooth-force postulates; each applies only where a statement explicitly invokes it.

(i) The isolated reciprocal impulse model. A two-label force model with masses m1,m2>0 (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), time window I0, configuration domain Q (Configuration domain of N labeled particles: open admissible sets, regular holonomic constraints and the mass operator) and continuous external-plus-pair force maps F1,F2 is run in the isolated reciprocal impulse model at t∗∈I0 when there is an interval I⊆I0 with t∗∈int⁡I and a position curve x=(x1,x2):I→Q such that the following conditions hold. This curve is called an impulse motion; only its restrictions away from t∗ are motions of the associated first-order system of The associated first-order system, motions, maximal motions and the Newtonian flow of a force model, and no differentiability at t∗ is required:

  1. x1,x2 are continuous on I and twice continuously differentiable on each of I∩(−∞,t∗) and I∩(t∗,∞) (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Ck Euclidean maps and diffeomorphisms), and mixi′′(t)=Fi(t,x(t),x′(t)) for every t∈I∖{t∗};
  2. the one-sided limits vi±:=lim⁡t→t∗±xi′(t) exist in R3 (Vector-valued functions f:A→Rm, their limits and continuity, with the dictionary to the metric notions);
  3. there is a vector J∈R3, the impulse, with m1(v1+−v1−)=J,m2(v2+−v2−)=−J.

The two equations of clause 3 are the reciprocal finite-jump form of the isolated impulse: the two labels receive equal and opposite momentum changes. The regular force maps remain continuous on their state domain; their evaluations along the curve can have different one-sided limits because the velocity can jump. The dimension of the impulse is [J]=μℓτ−1 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework).

For the distributional rendering on int⁡I, assume ACω (The Axiom of Countable Choice (ACω)). Put pi(t)=mixi′(t) and fi(t)=Fi(t,x(t),x′(t)) off t∗, assigning both the value 0 at t∗. Their one-sided limits are finite: those of pi are mivi±, and continuity of the state-domain force maps gives fi(t∗±)=Fi(t∗,x(t∗),v±), with v±=(v1±,v2±). Also pi′=fi off the impulse. Thus each component meets the piecewise-C1 and one-sided derivative-limit hypotheses of The distributional derivative of a piecewise C1 function with a jump: (up)′=upreg′+[p] δt∗. Its identity, summed componentwise, gives for every real vector test function Φ∈Cc∞(int⁡I;R3) (each component is smooth and compactly supported, Test function space d of an open set) −∫int⁡I⟨pi,Φ′⟩ dλ=∫int⁡I⟨fi,Φ⟩ dλ+si⟨J,Φ(t∗)⟩,s1=1,s2=−1, where λ is Lebesgue measure and the integral convention is that of Integral over a measurable subset. This is the pairing form of the adopted jumps. Unlike Isolated reciprocal impulse with full-vector restitution: momentum jumps ±J, conservation of total momentum, the restitution solution and the kinetic-energy change −1−e22μ∥v2−−v1−∥22, whose hypotheses require continuous time forces and assume the pairings to derive the jumps, this rendering allows distinct one-sided regular-force values.

(ii) The collinear restitution contact law. A model run in the isolated reciprocal impulse model at t∗ is collinear when there is a unit vector n∈R3 (the contact direction) with vi±∥n for i=1,2 and ⟨v2−−v1−,n⟩<0 (the labels approach along n). For a collinear contact, adopt a coefficient of restitution e∈[0,1] — a dimensionless model datum of the pair and the contact — and the restitution law v2+−v1+=−e (v2−−v1−). For e=1 the contact is called elastic, for e=0 perfectly inelastic and otherwise semi-elastic; the law is a constitutive assumption, not a consequence of the impulse equations of clause (i), and e is not derived from the masses or the approach speed. The law is stated only for a single collinear contact; simultaneous contacts, repeated contacts and tangential (friction) impulses are outside the model.

(iii) The open-body material accounting. Let I⊆R be a nonempty open interval. Adopt for a body whose mass m:I→(0,∞) and velocity v:I→R3 are differentiable, and whose external force and exchanged matter are described by maps F:I→R3, rin,rout:I→[0,∞) and win,wout:I→R3 (mass rates and inertial velocities of the matter entering and leaving, measured in the same inertial frame as v), the material balance identities m′=rin−rout,(mv)′=F+rin win−rout wout. They are the mathematical rendering of "gains rin dt of matter with velocity win, loses rout dt with velocity wout, and feels the external force F", and they are adopted rather than derived from a closed-system law. Their product-rule consequence mv′=F+rin(win−v)−rout(wout−v) is proved in Variable-mass momentum balance: from m′=rin−rout and (mv)′=F+rinwin−routwout to mv′=F+rin(win−v)−rout(wout−v); in particular the closed-system law (mv)′=F is recovered only when rinwin=routwout. The quantities have types and SI dimensions [m]=μ, [v]=[win]=[wout]=ℓτ−1, [F]=μℓτ−2 and [rin]=[rout]=μτ−1; they are model data, not measured values.

Status and scope

Physics theoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

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

Physical scope

The conditional consequences of the page's adopted impact and open-mass extensions: total momentum is continuous across an isolated reciprocal impulse with the impulse removed from the second label; a smooth-force motion with continuous force maps cannot carry a nonzero impulse, so the contact model is an extension rather than a smooth-force theorem; a collinear contact with coefficient of restitution e∈[0,1] has the stated post-impact velocities and kinetic-energy change, is dissipative for e<1, and its contact law is an independent assumption not derivable from momentum balance; and the open-body material accounting yields the derived law mv′=F+rin(win−v)−rout(wout−v) with the rocket thrust as the special case. The result is a conditional deduction from adopted model data; it asserts no measured value of e, the impulse or the mass rates, and identifies no observed dissipation mechanism.

Statement

Assume the Axiom of Countable Choice ACω (The Axiom of Countable Choice (ACω)), inherited from the statement of Isolated reciprocal impulse with full-vector restitution: momentum jumps ±J, conservation of total momentum, the restitution solution and the kinetic-energy change −1−e22μ∥v2−−v1−∥22, whose distributional jump lemma uses it; the algebraic clauses used here do not otherwise use choice. Adopt the impact and open-mass extensions of 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, with m1,m2>0, an interval I with nonempty interior, t∗∈int⁡I, an impulse motion x=(x1,x2):I→Q run in the isolated reciprocal impulse model at t∗ with impulse J and one-sided velocities vi±, and write M:=m1+m2,μ:=m1m2M,P(t):=m1x1′(t)+m2x2′(t)(t∈I∖{t∗}). Only the one-sided limits of P at t∗ are used; no derivative of the position curves at the contact time is assumed. Then:

  1. (Momentum continuity.) The total momentum is continuous across the impact, P(t∗+)=P(t∗−),equivalently∑i=12mi(vi+−vi−)=0, and the impulse delivered to label 1 is removed from label 2: J=m1(v1+−v1−)=−m2(v2+−v2−).
  2. (Smooth-force exclusion.) Suppose this same candidate motion x from clause 1 also satisfies the smooth force branch of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance and The associated first-order system, motions, maximal motions and the Newtonian flow of a force model on I, with the force maps continuous there. Then the momentum curves pi=mixi′ are of class C1 on I; in particular pi(t∗+)=pi(t∗−)(i=1,2). Clause 1 identifies the jump of p1 with the same impulse J, so J=0: no candidate motion carrying a nonzero isolated impulse can also be a motion of that smooth-force class. The finite-jump model of 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 clause (i) is therefore a genuine extension of the smooth-force branch, not one of its cases.
  3. (Collinear restitution solution.) Suppose in addition that the contact is collinear with contact direction n and coefficient of restitution e∈[0,1] (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 clause (ii)). Then J=μ(1+e)(v2−−v1−), J is parallel to n, the centre-of-mass velocity V:=M−1(m1v1−+m2v2−) is unchanged across the impact, and the post-impact velocities are v1+=V+m2M e (v2−−v1−),v2+=V−m1M e (v2−−v1−).
  4. (Kinetic energy of the impact.) The kinetic-energy change across the impact is ΔK:=m1∥v1+∥22+m2∥v2+∥222−m1∥v1−∥22+m2∥v2−∥222=−1−e22 μ ∥v2−−v1−∥22≤0, with equality if and only if e=1 or v2−=v1−. For 0≤e<1 the contact model is dissipative: the total kinetic energy of the two labels is not conserved across the impact, and the deficit 1−e22μ∥v2−−v1−∥22 is a quantity of the adopted contact law. This item identifies it with no measured heat, temperature, sound or deformation observable.
  5. (Momentum balance alone does not determine the impact.) In the collinear case with d−:=v2−−v1− and dn:=⟨d−,n⟩<0, the impulse equations of clause 1 alone leave the scalar impulse magnitude free: for every real Jn with Jn≤μdn (so that the contact is separating or grazing) the velocities v1+=v1−+Jnm1n,v2+=v2−−Jnm2n satisfy the reciprocal impulse equations with impulse J=Jnn and preserve the total momentum, and their kinetic-energy change is ΔK(Jn)=−Jn dn+Jn22μ, whose minimum over the admissible range is ΔK(μdn)=−μ2dn2 at the perfectly inelastic value Jn=μdn (that is, e=0). The value of Jn is fixed only by the contact law of 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 clause (ii), which selects Jn=μ(1+e)dn; in particular momentum balance alone does not determine the post-impact velocities.
  6. (Open-body and rocket laws.) Under 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 clause (iii), with differentiable m:I→(0,∞) and v:I→R3, F:I→R3, rin,rout:I→[0,∞), and win,wout:I→R3 satisfying the material balance identities, one has on I m v′=F+rin(win−v)−rout(wout−v). In particular: (a) if rin=rout=0 then m v′=F and (mv)′=F; (b) if rin=0 and rout=−m′>0 (mass loss) then m v′=F+rout(v−wout)=F−m′(v−wout), so the thrust is T:=rout(v−wout)=−m′(v−wout), and the closed-system law (mv)′=F fails unless wout=0; (c) if rout=0 and win=0 then m v′=F−rinv: capture contributes the acceleration −(rin/m)v, opposing v, while (mv)′=F still holds.

Facts & Assumptions

Given: ACω; the adopted extensions of 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; the two-label motion run in the isolated reciprocal impulse model at t∗ with impulse J; for clause 3 the collinear contact direction n and coefficient e; for clause 6 the maps m,v,F,rin,rout,win,wout.

[L1]

Adopted jump and restitution identities (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 clauses (i)-(ii)): m1(v1+−v1−)=J=−m2(v2+−v2−) and, when the contact law is invoked, v2+−v1+=−e(v2−−v1−) with e∈[0,1]. The velocity and energy formulas are derived below from these identities and [L4]; no continuity of the evaluated time-force across the impulse is assumed.

[L2]

Open-body algebra (Variable-mass momentum balance: from m′=rin−rout and (mv)′=F+rinwin−routwout to mv′=F+rin(win−v)−rout(wout−v)): from m′=rin−rout and (mv)′=F+rinwin−routwout follows mv′=F+rin(win−v)−rout(wout−v), together with the special cases by substitution.

[L4]

Two-body kinetic identity (Centre of mass, the identity ∑imiρi=0, and the splitting of the kinetic sum ∑imi∥xi′∥22 into centre-of-mass and relative parts (with the two-body reduced-mass case), The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn): with V=M−1(m1v1+m2v2) and μ=m1m2/M, m1∥v1∥22+m2∥v2∥22=M∥V∥22+μ∥v2−v1∥22; hence v1=V−m2M(v2−v1) and v2=V+m1M(v2−v1).

Proof

technique · direct
1.1givenL1algebra

Clause 1: by 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 clause (i) and [L1], m1(v1+−v1−)=J and m2(v2+−v2−)=−J; adding gives m1(v1+−v1−)+m2(v2+−v2−)=0, which is exactly P(t∗+)=P(t∗−). This is clause 1.

1.2givenL3L5algebra

Clause 2: suppose the candidate motion x of clause 1 also satisfies the smooth-force equation on all of I with continuous force maps along it. By [L3] the curves xi′′=Fi/mi are continuous, hence xi is C2 and pi=mixi′ is C1 on I; a C1 function on an interval has equal one-sided limits at every interior point, so pi(t∗+)=pi(t∗−) for each label. Clause 1 gives p1(t∗+)−p1(t∗−)=J, hence J=0. Thus no candidate with a nonzero impulse is a smooth-force motion, as asserted.

1.3givenL1L4algebra

Clause 5: fix any real Jn≤μdn and put v1+:=v1−+Jnm1n, v2+:=v2−−Jnm2n; then m1(v1+−v1−)=Jnn and m2(v2+−v2−)=−Jnn, so the reciprocal impulse equations of clause 1 hold with impulse J=Jnn, and adding the two equations shows that the total momentum is preserved. The relative velocity becomes d+=d−−Jnμn; hence d+⋅n=dn−Jnμ≥0 precisely for Jn≤μdn, which is the stated admissibility (the contact separates or grazes). By the kinetic identity [L4], ΔK(Jn)=μ2(∥d+∥22−∥d−∥22)=μ2(−2Jnμdn+Jn2μ2)=−Jndn+Jn22μ, a quadratic in Jn with minimum −μ2dn2 at Jn=μdn; the restitution law selects Jn=μ(1+e)dn, which lies in the admissible range because 1+e≥1 and dn<0, and reproduces clause 3.

2.1step 1.1givenL1L4algebra

Clause 3: put d−=v2−−v1− and d+=v2+−v1+. The jump equations [L1] give d+=d−−J/μ, while restitution gives d+=−ed−. Hence J=μ(1+e)d−, parallel to n since d−∥n. By step 1.1, the two mass-weighted means are the same V. Solving m1v1++m2v2+=MV and v2+−v1+=d+ gives uniquely v1+=V−(m2/M)d+=V+(m2/M)ed− and v2+=V+(m1/M)d+=V−(m1/M)ed−.

3.1step 1.1step 2.1givenL4algebra

Clause 4: the kinetic split [L4] applied on both sides, with the same V by step 1.1, gives ΔK=(μ/2)(∥d+∥22−∥d−∥22). Substituting d+=−ed− from step 2.1 and expanding the inner product gives ΔK=−(1−e2)μ∥d−∥22/2≤0. Since μ>0 and 0≤e≤1, equality holds exactly when e=1 or d−=0; the approach condition excludes d−=0 for a contact. The computed deficit is not identified with any measured heat, sound or deformation observable.

4.1givenL2algebra∎

Clause 6: differentiability of m and v on I is part of 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 clause (iii), so [L2] applies and gives the derived law from the material balance identities. The three special cases are its substitutions: (a) rin=rout=0 leaves mv′=F, while (mv)′=m′v+mv′=F because m′=0; (b) rin=0, rout=−m′ gives mv′=F−rout(wout−v)=F+rout(v−wout); and (mv)′=m′v+mv′=F+rout(v−wout)+m′v=F−routwout+routv−routv=F−routwout, which equals F exactly when wout=0 or rout=0; (c) rout=0, win=0 gives mv′=F−rinv, while (mv)′=m′v+mv′=rinv+F−rinv=F. This is clause 6.

Remarks

Physics theoremStatement: AI-adaptedProof: AI-adaptedOpen item page →

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

Physical scope

The moving-control-region bookkeeping of the adopted finite-regularity open-flow model in one fixed inertial chart: the scalar mass density ρ has units kg m−3, the spatial velocity u and control velocity w have units m s−1, the Cauchy stress matrix σ has units Pa, and the specific body-force vector b (force per unit mass) has units N kg−1; Dtu=∂tu+(Dxu)u is the material acceleration, distinct from b. Under the adopted material mass and momentum balances for every material subregion, a non-material control region has the stated mass and momentum rates, and under an inlet/outlet split the fluxes give the mass rates and flux-averaged inertial velocities in the lumped open-body law. The balances are adopted hypotheses, not derivations from particle mechanics; no constitutive law, boundary condition, measured value or observation is asserted.

Statement

Assume the Axiom of Countable Choice ACω (The Axiom of Countable Choice (ACω)), as used by the transport and divergence theorems. Adopt the finite-regularity open-flow model with the following model data in one fixed inertial frame (the adapted affine chart of Inertial frames, stationary observers and the adopted Galilean transformations between frames) and with SI conventions (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework): a nonempty open interval I; a material region B⊆R3 (bounded open with C1 boundary); a motion χ of B on I of class C2 whose time slices are diffeomorphisms with positive Jacobian onto their images. Let U⊆R×R3 be an open common field domain containing the swept region over a compact subinterval J0 with J0‾⊆I. On U take a scalar mass-density field ρ:U→(0,∞) of class C1 with [ρ]=μℓ−3 (Material regions, densities and their mass, where mass on a spatial region C is ∫Cρ dx); its spatial velocity field u:U→R3 of class C1 with [u]=ℓτ−1 and u(t,χ(t,X))=∂tχ(t,X) (Continuum motions, spatial velocity, material acceleration and swept regions); a Cauchy stress matrix field σ:U→M3(R) of class C1 with [σ]=μℓ−1τ−2, representing the traction by t(ν)=σν on a surface with unit normal ν (Traction fields and stress matrices representing them); and a continuous specific body-force vector b:U→R3, meaning force per unit mass and distinct from the material acceleration, with [b]=ℓτ−2. For the material derivative used below, make the time-dependent convention explicit: Dtu(t,x):=∂tu(t,x)+(Dxu(t,x))u(t,x),(Dtu)i=∂tui+∑j=13uj ∂xjui, where ∂t differentiates at fixed x and Dxu is the spatial Jacobian at fixed t (Euclidean spatial calculus: gradient, divergence and material derivative, Continuum motions, spatial velocity, material acceleration and swept regions). Define the row divergence by gi:=∑j=13∂xjσij, so g is a vector force density with units μℓ−2τ−2. Adopt as the model's material balances: for every material subregion B′⊆B (a nonempty bounded open subset with B′‾⊆B whose images χt(B′) are bounded C1 domains, Bounded C1 domains and their outward normals) and every t∈J0,

ddt∫χt(B′)ρ dx=0,ddt∫χt(B′)ρu dx=∫χt(B′)ρb dx+∫∂χt(B′)σν dS,

with ν the outward unit normal and the surface integral that of Surface integration on compact C1 hypersurfaces. These two balance laws are adopted model assumptions of this item, in the sense of the open-body accounting of 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 clause (iii); they are not derived from the particle postulates. Then, for every second motion ψ of a material region B′⊆B on I (the control motion) with control regions Ct:=ψt(B′) that are bounded C1 domains for t∈J0, spatial velocity w with [w]=ℓτ−1, and outward unit normal ν. Require its closed sweep ΣC:={(t,x):t∈J0‾, x∈ψt(B′‾)} to lie in the common open field domain. Require also either that this sweep lie locally inside the current material region χt(B), where localization supplies the local mass and momentum equations, or that those same local equations ∂tρ+div⁡(ρu)=0 and ρDtu=ρb+g be explicitly adopted on a neighbourhood of the control sweep. The control motion need not coincide with χ. Then:

  1. (Control-volume identities.) For every t∈J0, ddt∫Ctρ dx=−∫∂Ctρ (u−w)⋅ν dS,(CV1) and componentwise ddt∫Ctρui dx=∫Ctρbi dx+(∫∂Ctσν dS)i−∫∂Ctρui (u−w)⋅ν dS(i=1,2,3).(CV2)
  2. (Material and fixed special cases.) If ψ=χ (the control region is material, w=u on the boundary), the flux terms vanish and (CV1), (CV2) reduce to the adopted material balances; if ψ is the constant motion (w=0, Ct=C fixed), then mC′=−∫∂Cρ u⋅ν dS,PC′=∫Cρb dx+∫∂Cσν dS−∫∂Cρu (u⋅ν) dS with mC:=∫Cρ, PC:=∫Cρu; the last term is the momentum flux through the fixed boundary, and the relation is the fixed-region steady-flow balance of the engineering treatment when the fields are steady and the region fixed.
  3. (Inlet/outlet decomposition and the open-body law.) Suppose that for every t∈J0 the boundary decomposes into finitely many C1 pieces, among which Σin,t (where (u−w)⋅ν<0), Σout,t (where (u−w)⋅ν>0) and the zero-flux rest, and put rin:=−∫Σin,tρ (u−w)⋅ν dS≥0,rout:=∫Σout,tρ (u−w)⋅ν dS≥0, win:=1rin∫Σin,tρu (−(u−w)⋅ν)dS,wout:=1rout∫Σout,tρu ((u−w)⋅ν)dS (the flux averages are used only where the corresponding rate is positive; define rinwin=0 when rin=0, and likewise for the outlet term), and write m:=∫Ctρ dx>0,P:=∫Ctρu dx,Fext:=∫Ctρb dx+∫∂Ctσν dS. The units are [m]=μ, [P]=μℓτ−1, [Fext]=μℓτ−2, [rin]=[rout]=μτ−1 and [win]=[wout]=ℓτ−1. The control-volume theorem supplies the derivatives of m and P; since ρ>0 and each Ct is a nonempty open region, m>0, so v:=P/m is differentiable on J0. This verifies the differentiability hypotheses of Variable-mass momentum balance: from m′=rin−rout and (mv)′=F+rinwin−routwout to mv′=F+rin(win−v)−rout(wout−v). Then the control-volume identities read m′=rin−rout,P′=Fext+rin win−rout wout, and the lumped body with mass m and velocity v:=P/m satisfies m v′=Fext+rin(win−v)−rout(wout−v), the derived law of Variable-mass momentum balance: from m′=rin−rout and (mv)′=F+rinwin−routwout to mv′=F+rin(win−v)−rout(wout−v). In particular, a body that only loses mass (rin=0, rout=−m′) has thrust rout(v−wout)=−m′(v−wout), and a body whose boundary moves with the material (w=u; no flux) has m′=0 and P′=Fext.
  4. (Status.) The balances displayed before clause 1 are adopted component models of the open flow, exactly as clause (iii) of 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 the lumped accounting; this item proves only the two stated deductions (localization followed by the control-volume identities, and the inlet/outlet reading). It asserts no constitutive law for ρ or σ, no boundary condition, no incompressibility, no regularity beyond that stated, and no empirical claim; the fields, the control motion and the region are model data.

Facts & Assumptions

Given: ACω; the finite-regularity open-flow model data χ,ρ,u,σ,b with the adopted material balances on J0; the control motion ψ with its regions Ct; for clause 3 the boundary decomposition and the flux-averaged velocities.

[L1]

Localization of the material balances (Local mass balance: conservation on every material subregion implies ∂tρ+div⁡(ρu)=0 clause (i), Local momentum balance: ρDtu=ρb+div⁡σ from the integral balance on admissible material subregions, Euclidean spatial calculus: gradient, divergence and material derivative, Traction fields and stress matrices representing them): if the material mass balance holds for the inverse images of all sufficiently small current balls at each t∈J0, as included in the adopted stated admissible subregion class, then ∂tρ+div⁡(ρu)=0 on J0×χt(B); and if moreover the material momentum balance holds for each admissible pair of a time and a material subregion whose current image is a bounded C1 domain, then ρDtu=ρb+g there, where g is the row divergence of σ. Both require the stated regularity and the countable-choice assumption.

[L2]

Transport and control-volume identities (The transport theorem for a C2 family of diffeomorphisms: ddt∫ψt(B)f=∫ψt(B)(∂tf+div⁡(fw)), Control-volume balance: mass and momentum rates for a moving non-material region, Continuum motions, spatial velocity, material acceleration and swept regions, Bounded C1 domains and their outward normals, Surface integration on compact C1 hypersurfaces, Divergence on a bounded C1 Euclidean domain): transport gives ddt∫Ctf=∫Ct(∂tf+div⁡(fw)) for C1 fields near a closed control sweep. Combining this with the local mass and momentum equations and row-wise divergence gives (CV1), (CV2); the calculation at a fixed time uses the local equations only on that current region.

[L3]

Lumped open-body algebra and regularity (Control-volume balance: mass and momentum rates for a moving non-material region, Variable-mass momentum balance: from m′=rin−rout and (mv)′=F+rinwin−routwout to mv′=F+rin(win−v)−rout(wout−v), Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame, The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, Integral over a measurable subset): the control-volume rate identities make m and P differentiable; since the density is positive on the nonempty control region, m>0 and v=P/m is differentiable. From m′=rin−rout and P′=F+rinwin−routwout, the variable-mass product rule then gives mv′=F+rin(win−v)−rout(wout−v).

[L4]

Intervals, field types and units (Intervals of R: the nine order-convex forms, nondegeneracy, and length, Ck Euclidean maps and diffeomorphisms, Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses, Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, Material regions, densities and their mass, Traction fields and stress matrices representing them): J0 is a compact subinterval of I with nonempty interior; ρ is scalar mass density, u,w are spatial velocity vectors, σ is the stress matrix, and b is force per unit mass, with SI dimensions [ρ]=μℓ−3, [u]=[w]=ℓτ−1, [σ]=μℓ−1τ−2 and [b]=ℓτ−2. Consequently the row divergence g has dimension μℓ−2τ−2; m,P,Fext,rin/out,win/out carry the units listed in clause 3.

Proof

technique · direct
1.1givenL1L2L4algebra

Fix t∈J0, which is interior to I even if it is an endpoint of J0. Each sufficiently small current ball A with closure in χt(B) has an admissible inverse-image material subregion under the C2 diffeomorphism χt. Transport [L2] applies on a small open time neighbourhood of t. The adopted mass balance at t gives ∫A(∂tρ+div⁡(ρu))=0. A continuous integrand with zero integral on all such balls vanishes pointwise: a nonzero value would retain its strict sign on a sufficiently small ball, contradicting the zero integral. Thus the local mass equation holds. Componentwise transport and row-wise divergence applied to the momentum balance give ∫A(ρDtu−ρb−g)i=0, since the mass-equation terms cancel by the product rule. The same sign argument proves the local momentum equation. This is the instantaneous localization argument of [L1], including the compact J0's endpoints.

2.1givenstep 1.1L2algebra

Fix t∈J0. The control-sweep hypothesis and continuity of the control motion put its closed regions in the field domain on a small open time neighbourhood of t. The local equations on Ct follow from step 1.1 in the material-interior case, and are adopted in the alternative case. Transport gives m′=∫Ct(∂tρ+div⁡(ρw))=∫Ctdiv⁡(ρ(w−u)); divergence gives (CV1). Componentwise transport, the product rule and the local equations give Pi′=∫Ct(ρbi+gi+div⁡(ρui(w−u))); divergence of the stress row and of the last vector field gives (CV2). These calculations of [L2] use the local equations only at t, and therefore include the endpoints without assuming balances outside J0.

3.1step 2.1L2algebra

Clause 2: if ψ=χ then w=u on ∂Ct, so (u−w)⋅ν=0 and both flux integrals in (CV1) and (CV2) vanish; the identities become the material balances of the model. If ψ is constant then w=0 and u−w=u, giving the displayed fixed-region equations with mC, PC; when in addition the fields are steady and C is fixed, the left sides are the rates of the steady-flow treatment and the equations reduce to the balance between the external force and the momentum flux difference.

3.2step 2.1givenalgebra

Clause 3, mass balance: decomposing ∂Ct into the inlet, outlet and zero-flux pieces, the boundary term of (CV1) becomes −∫∂Ctρ(u−w)⋅ν=−∫Σinρ(u−w)⋅ν−∫Σoutρ(u−w)⋅ν=rin−rout by the definitions, so (CV1) reads m′=rin−rout; the rates are nonnegative because the integrands are nonnegative on the two pieces.

3.3step 2.1givenalgebra

Clause 3, momentum balance: similarly the flux term of (CV2) decomposes as −∫∂Ctρui(u−w)⋅ν=rin(win)i−rout(wout)i by the definitions of the flux averages, and the remaining terms are Fext componentwise, giving P′=Fext+rinwin−routwout.

4.1step 3.2step 3.3L3algebra

Clause 3, derived law: the two identities of steps 3.2 and 3.3 have exactly the form to which [L3] applies with F=Fext; hence mv′=Fext+rin(win−v)−rout(wout−v) for the lumped body, and the two special cases are its substitutions (rin=0, rout=−m′ for the thrust form; w=u for the material case).

5.1givenL1L2L3∎

Clause 4 is the scope: steps 1.1-3.3 use only the adopted balances, the cited mathematical theorems and the stated regularity, and introduce no constitutive relation, boundary condition or measured input. This completes the proof.

Remarks

  • Inertial conventions. The velocities u, w, win, wout and the momentum density ρu are all measured in one inertial frame; the flux uses the relative normal velocity (u−w)⋅ν, and choosing a different auxiliary velocity on the interior of Ct does not change the identities because its contribution is converted to a boundary term by the divergence theorem (Control-volume balance: mass and momentum rates for a moving non-material region). The lumped velocity of clause 3 is v=P/m, the momentum-weighted mean velocity of the contents, not the velocity of any particular material point.

  • Relation to the lumped postulate. Clause 3 exhibits the two identities of 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 clause (iii) as a specialization of the spatial balances, with rin,rout the mass fluxes through the inlet and outlet and win,wout the flux-averaged inertial velocities. Conversely the material accounting of the postulate does not by itself produce the distributed identities (CV1), (CV2), which use the spatial fields.

  • No empirical content. The finite-regularity open-flow model is a restricted model class; no physical body is asserted to be one, and the balances are adopted assumptions that a comparison with observation would test jointly with the apparatus and constitutive assumptions.

RemarkRemark: AI-adaptedProof: Not applicableOpen item page →

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.

5 · Examples, experiments and counterexamples

None yet.

Sources