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
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Cm Math Balances
- Cm Math Central
- Cm Math Continuum
- Cm Math Geometry
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Lp Spaces and Test-Function Conventions
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Equivalent Forms of Completeness
- Euclidean Surface Measure, Divergence, and Green Identities
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Forces, initial data and Newtonian flow
- Foundations of the Real Numbers for Analysis
- Fourier Transform Convolution and Approximate Identities
- Framework, quantities and geometry
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Further Trigonometric Identities and Inverse Functions
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Momentum, work and energy balances
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Real Gamma and Beta Functions
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Two-body, central forces and gravitation
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
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 , fixed energy and varying , 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 , 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 , the advance with principal deflection , 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 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 ; beyond the range the motion is exactly free and the incoming and outgoing lines have perpendicular distance ; the half-angle advance is the quadrature and the asymptotic directions satisfy the deflection relation with angle when ; 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 , the Rutherford density , finite angular cutoffs and the divergent ideal total separately treats the long-range the repulsive potential: the effective potential is strictly decreasing, every stated relative motion extends without collision to all of time, the deflection map is the single branch with inverse , the differential cross-section is the Rutherford density , every angular band has the finite truncated total , 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 , 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 , 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 , is dissipative for 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 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 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
Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation
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 (The Axiom of Countable Choice ()) 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 labels, masses (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), no external forces, and a static central pair potential ( Euclidean maps and diffeomorphisms) whose collision-excluded interval satisfies , so that the only forbidden configuration is the collision . Its reduced problem is the one-label problem of class (ii) with reduced mass (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework: ) and the same potential, presented through the relative coordinate ; 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 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 be a central-force trajectory for defined on all of with values and with constant angular momentum for and an oriented orthonormal triad (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: , the effective-potential equation and energy conservation, Oriented orthonormal triads in : existence over any unit vector, and the orthonormal expansion with no fourth orthogonal direction). Call a scattering motion when it has a unique apsis with decreasing strictly before , increasing strictly after it, as , 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 potentials. The finite-range theorem requires beyond some , , a simple outer turning point , , for , and a trajectory staying above and attaining . The repulsive Coulomb theorem instead requires , and a trajectory attaining its turning radius. Each theorem proves the defining conditions in its own scope. Its energy is the constant 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: , the effective-potential equation and energy conservation clause 4), its asymptotic velocities are the limits taken in the sense of Vector-valued functions , 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 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 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 .
(iii) Polar advance and deflection conventions. Fix polar data of the scattering motion in the triad, , (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation), and let be an apsis time, . The polar advance of one half is defined by the limits asserted in the scattering theorems, and the polar advance of the motion is . The scattering angle is the undirected angle between the asymptotic velocity directions, 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 , measured counterclockwise about relative to the incoming direction, so that a positive value is a counterclockwise turn. The scattering theorems give and the signed rotation ; in particular, when the scattering angle is while outside that range is the wrapped value . The deflection map at fixed model potential , reduced mass and energy is the partial map on those for which a scattering motion exists and all such motions have the same angle. Its corresponding angular momentum magnitude varies as Time translation and rotation of a motion do not change its angle. Deflection branches are 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 and flux is the following adopted model of a scattering experiment for the reduced problem: independent incident reduced labels with common energy and impact-azimuth probability measure Its density is , and its total mass is one since . Angular momentum magnitude is ; its plane orientation may vary with azimuth. The incident flux is the expected number of incident labels per unit area per unit time, with (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The adopted total arrival rate is , so for a Borel set the expected incident rate is 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 and a Borel scattering-angle window , the predicted rate from that branch under this cutoff preparation is 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 and its asymptotic velocities , not from either label's trajectory. The centre of mass and the reconstruction formulas and , with , 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 ; 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 , (with any parameters it carries), , , , , 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: , 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 (Cauchy-Schwarz with its equality case, the triangle inequality for , 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 , , and , 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.
The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading
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 (The Axiom of Countable Choice ()) 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 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 of impact parameters with of class and — and suppose the branch records the deflection of the model: for every the scattering motion of the model with impact parameter , fixed energy and angular momentum magnitude has scattering angle . Write for this bijection and 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 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 (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 be a finite family of deflection branches of the same model whose incident intervals are pairwise disjoint, with each branch recording the model's deflections as in clause (i). Write for its image and and for its branch density from clause (i), defined on . Angular images are not required to be disjoint. The differential cross-section of the model for this family is, for , Thus is the contribution of branch , 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 or that the family includes every deflection of the model.
(iii) Cross-section measure and truncated totals. For one branch with image , and a Borel angular window , define When only one branch is under discussion, write for this branch-specific measure. For the finite family of clause (ii), define for every Borel . 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 , hence cross-section density 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 ; for a family it is . 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 and flux , the model predicts the expected rate of scattered labels into a Borel angular window from one branch to be the flux times its cutoff cross-section for the portion of that branch with . Writing on the branch rectangle and , the branch cutoff measure is and its expected rate is . For a finite family with pairwise disjoint incident intervals, define ; the expected rate is , including when the angular images overlap. If the entire incident preimage of lies below the cutoff, this sum is . This is a prediction of the model under the adopted preparation. In particular:
- and 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 for every window , 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 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 : the definition excludes angles at which (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 , and the data , , , , 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 is with because a 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); on ; 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 , hence cross-section density , a theorem of this page's mathematical suppliers.
Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch
Assuming countable choice for the branch and preparation measures, the scattering prediction of the restricted two-label central model class with a finite-range 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 ; at and beyond the range the branches are exactly free and the incoming and outgoing lines have perpendicular distance ; the half-angle advance is the stated quadrature and the asymptotic directions satisfy the deflection relation with angle when ; and on a deflection branch that records the model's deflections the outgoing angular measure has the branch contribution density 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 and no measured value, asserts no monotonicity or completeness of the deflection map, and reports no detection.
Statement
Assume (The Axiom of Countable Choice ()) 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 , reduced mass , static central pair potential ( Euclidean maps and diffeomorphisms), and let , ; write Suppose:
(H1) finite range: there is with for every ;
(H2) simple outer turning point: there is with
Let be the relative coordinate of a motion of the model on an interval with nonempty interior and with attached angular momentum and attached energy (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 for every and for some . Then:
- (The scattering motion.) extends uniquely to a central-force trajectory for ; the extension is the relative coordinate of a motion of the two-label model with its autonomous force law extended to time window , defined on all of , whose centre of mass is the affine extension of the original one. Along , satisfies , for , and is strictly decreasing on and strictly increasing on ; no collision occurs. Moreover the time quadrature with the integral at interpreted as an improper integral, is finite for every and satisfies .
- (Free asymptotes, speed and impact parameter.) The limits exist and For every with the motion is exactly free from on, for all ; symmetrically for the incoming branch with . The perpendicular distance from the force centre of the affine extensions of the incoming and outgoing free tails is the same number
- (Polar advance and deflection.) Let be polar data of from clause 1 in an oriented orthonormal triad with (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation). Then is finite and positive, and the asymptotic directions satisfy where for , is the rotation of that plane by . The scattering angle of the motion is ; if then and the signed velocity rotation is .
- (Cross-section of a deflection branch.) Let 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 with , and for every the scattering motion of the model with impact parameter , fixed energy and angular momentum magnitude has scattering angle , with . For each member of this family suppose (H2) and the trajectory hypotheses hold with its own and turning point . Then, for every nonnegative Borel test function on the branch image, or real Borel test function absolutely integrable for its outgoing measure, the outgoing angular measure of the branch has density with respect to , and the differential cross-section of the branch is 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 and flux , put and Here 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 . 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 , which is finite. Other branch portions, if present, add their own contributions.
- (Scope of the statement.) The theorem asserts nothing about the deflection map outside the recorded branch: it neither asserts that is decreasing, injective or free of stationary points, nor that the branch images cover ; 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 , reduced mass , potential , the data , , the function , the number of (H1), the turning point of (H2), and the relative coordinate with attaining at .
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 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 central-force trajectory for with , and the map is a bijection from motions of the model onto pairs (affine with , central-force trajectory with values in ), with , , .
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: , the effective-potential equation and energy conservation): for and , the energy identity gives and the radial equation is . At this gives and ; for every , (H2) gives . 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.
Branch pushforward (One-dimensional substitution on a deflection branch: the outgoing angular measure has density , hence cross-section density , 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 or absolutely integrable real Borel , the outgoing angular measure has density , and this branch's cross-section contribution has density ; 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).
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 , The Euclidean inner product on , 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 is constant on the central-force trajectory; on a free piece one has . For nonzero , the perpendicular distance from the origin to the line is , since its closest point is and the Gram identity gives the squared norm .
Intervals and regularity (Intervals of : the nine order-convex forms, nondegeneracy, and length, Euclidean maps and diffeomorphisms, Vector-valued functions , their limits and continuity, with the dictionary to the metric notions): the interval has nonempty interior, the affine extension of the centre of mass is defined on all of , and the one-sided limits of velocities are those of the cited definitions.
Cartesian uniqueness at the force-range boundary (The radial composite on an annulus: regularity and , If is differentiable with integrable then ; and a bounded derivative makes 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 the associated first-order field is . At any state with , 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.
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.
Integral calculus on the radial branches (Substitution: if is differentiable on with integrable and is continuous on an interval containing , then , Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive , The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion, If on and both are integrable then ; and ): the integrand defining is continuous on ; its primitive is differentiable there with derivative equal to the integrand, and the chain rule permits composition with the monotone radial coordinate on compact subintervals away from . Nonnegative integral comparison applies to the endpoint bounds.
The inverse cosine is the inverse of the continuous, strictly decreasing bijection . Continuity and the endpoint values , 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 on an interval is a bijection onto the order-convex set , and the inverse is continuous and strictly monotone in the same sense as , and for by the same trigonometric suppliers.
Proof
By [L1], the relative coordinate is a central-force trajectory for with attached angular momentum and energy , and . The potential and turning-point conditions are exactly (H1)-(H2), and the trajectory attains at while satisfying .
Global branches and extension: the first-order Cartesian central-force field of [L6] has a unique maximal solution through by [L7], and the given trajectory on is its restriction; write the maximal curve as and . By [L2], and , so immediately on both sides of . Whenever , the energy identity and (H2) give , hence has constant sign on each connected interval where . On the outgoing interval adjacent to that sign is positive. If the interval had a finite right endpoint inside the maximal domain, continuity would give ; then the radial equation in [L2] gives , so immediately before , contradicting the positive sign on that interval. Thus the outgoing interval reaches the maximal right endpoint, with and throughout. The symmetric argument gives and on the incoming interval. In particular throughout the maximal interval. Since is continuous on when this interval is nonempty and vanishes for , it is bounded below on ; the energy identity therefore bounds . On any finite endpoint, is bounded by this speed bound and remains at distance at least from the origin. Its state consequently lies in a compact subset of near that endpoint, so [L7] continues it past every finite endpoint. The maximal interval is therefore all of , 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 be the centre of mass of the original motion, affine on with by [L1] clause 2, and let be its affine extension to ; then by [L1] clause 4 the pair reconstructs a motion of the model with its autonomous force law extended to time window , because keeps the configuration admissible. This is clause 1.
Time quadrature in clause 1: for the integrand in the displayed is positive and continuous. The derivative definition gives as , so near the integrand is bounded by a constant times , which has a finite integral on every bounded interval starting at . Thus for every finite . Since for , the integrand tends to and ; it is strictly increasing from . On either monotone branch, the fundamental theorem gives for . By the chain rule and the radial energy identity, on the outgoing branch and on the incoming branch. Taking the limits at gives , and strict increase and unboundedness of yield for every . This proves the quadrature assertion and also on both tails.
Free tails and asymptotic velocities: on the outgoing branch is increasing. It is unbounded: if it had a finite limit , the energy identity and (H2) would imply , contradicting convergence to . Thus , and after it passes it remains there; since for , the Cartesian equation gives on that tail. The incoming branch is symmetric. Now let with ; the motion is free for all later times and its constant velocity is . At any such free point , so energy gives . If instead , define for . Differentiating gives ; since is nondecreasing on this branch, . Also because , so . Since for all , including , and solve the same Cartesian equation with the same state at ; [L6] gives for all . Thus its constant velocity is again and has norm . The incoming equality case is identical with for : and give , so [L6] gives the incoming free formula and with . This proves clause 2's free-motion and velocity claims.
Clause 3, polar advance: apply Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation to the global trajectory of step 2.1, giving polar data on all of . Let be its unit radial direction. On the outgoing branch, and ; substitution on compact subintervals away from gives The integral converges at because as , and at infinity because for ; it is positive. The same substitution on the incoming branch, where and , gives . Thus exist and . By the free tails of step 3.2, as and as . Since , continuity gives and . The addition formulas imply , hence For any unit in the plane, , so this identity gives . Therefore 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 , is that angle. To identify the continuous signed rotation, differentiate : , whose positive tangential component ensures . Put using [L9]. The Pythagorean identity and positivity give , so is a continuous real angle for the velocity direction. On the free tails, and the radial energy equation gives incoming and outgoing. Thus incoming and outgoing; the net continuous rotation is . This is clause 3.
Clause 2, impact parameter: on the incoming branch choose with ; the affine extension of the incoming free tail is and its perpendicular distance from the origin is by step 3.2 and [L4]. For the outgoing line , the same computation with [L4] gives distance ; since , both distances equal as displayed, and multiplying by gives .
Clause 4: the assumed family uses the same and varying , with (H2) and the trajectory conditions for each member. By the branch hypothesis its scattering angle is ; [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 and the total arrival rate is . Hence the branch portion has expected rate . Its pushforward is supported in , so [L3] identifies that area with this branch's contribution . 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.
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
-
Units. , , , , , , (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework); the identity is dimensionally consistent.
-
What the theorem does not supply. The regularity and invertibility of the deflection map are hypotheses of clause 4, not conclusions; for a specific potential they must be established separately, as is done for the Coulomb potential in Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map , the Rutherford density , finite angular cutoffs and the divergent ideal total. The theorem does not compute the angular distribution of either individual label: the reconstruction , shows that label directions generally differ from the relative direction.
-
No measured content. The data , , , the branch and the flux are model data; clause 4 predicts a model rate under an adopted preparation and reports nothing observed.
Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map , the Rutherford density , finite angular cutoffs and the divergent ideal total
Assuming countable choice for cross-section measures, the separate long-range Coulomb scattering theorem, as a model prediction: the repulsive 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 and asymptotic impact distance ; the deflection map is the decreasing bijection with a single branch, the differential cross-section is the Rutherford density , every angular band has the finite truncated cross-section , 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 (The Axiom of Countable Choice ()) 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 , reduced mass , and the repulsive Coulomb potential where is a model datum of the mechanical model (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework: ), so that Let the data satisfy , and put Then:
- (Turning data.) is strictly decreasing on , with as and as ; the equation has exactly one solution , it is simple (), one has for every and for every , and is of class with no other crossing of the level .
- (Global non-colliding scattering motion.) Let be a time interval with nonempty interior and be the relative coordinate of a motion of the model with attached angular momentum and energy , with for every and for some . Then extends uniquely to a central-force trajectory whose extension is the relative coordinate of a motion of the two-label model with its autonomous force law extended to time window ; satisfies (no collision), for , and is strictly decreasing on and strictly increasing on ; the asymptotic velocities exist with , and the asymptotic perpendicular distance of each branch to its limiting direction equals , so that . Unlike the finite-range case, there is no radius beyond which the motion is exactly free: the limits above are asymptotic.
- (Deflection and its single branch.) With polar data in a triad with , the half-angle of the motion is its scattering angle is and its signed velocity rotation is . For the family at fixed and varying , realised by the apsis initial data of Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clause 4, the deflection map is and strictly decreasing, hence a bijection with inverse ; it is a single deflection branch of the model on with everywhere and no wrapping ( for every ).
- (Cross-section, angular cutoffs and divergence.) The differential cross-section of that branch is finite and positive; for the truncated total cross-section over the angular band is the finite number and by monotonicity the band has ; whereas the truncated integral over diverges for every , 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 and flux , the cutoff cross-section satisfies for every Borel angular window , and the expected scattered rate is (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.
- (Status of the parameter and exclusions.) The coupling is a parameter of the mechanical model. This item does not identify it with 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 , the masses , the reduced mass , the data , , the numbers and , the effective potential , and the relative coordinate with its attached data.
Coulomb scattering theory (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clauses 1-4): under the displayed data, is strictly decreasing from to , the equation has the unique simple solution , every trajectory with attaining extends uniquely to all of with no collision, its two branches are monotone and its asymptotic velocities exist with and asymptotic perpendicular distance ; and the half-angle is .
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 central-force trajectory for , and an affine centre-of-mass curve together with a central-force trajectory with values in reconstructs a motion of the model on the same interval.
Deflection and branch calculus (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clause 4, The Rutherford deflection map, its inverse, the cross-section density 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 with the signed rotation , and the branch is with and cross-section density ; the truncated integral over diverges and the integral over a compact angular interval is finite.
Trigonometric calculus (The principal inverse tangent , Tangent, cotangent, secant, and cosecant on their exact natural domains, Derivatives and fundamental periods of tangent, cotangent, secant, and cosecant, Pythagorean and parity identities for all six trigonometric functions on their natural domains, The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , Continuity of at a point of and on : the - condition, its agreement with at a limit point, and continuity at an isolated point): , , is the inverse of the principal tangent with values in , and the composition rules for functions apply.
Integration (The second fundamental theorem: if is differentiable on with and is integrable, then , If on and both are integrable then ; and , Intervals of : the nine order-convex forms, nondegeneracy, and length): a continuous function on an interval has a primitive, differences of primitives give integrals, and a nonnegative integrand has a monotone truncated integral.
Proof
Clause 1: [L1] gives that is strictly decreasing from to and that the unique solution of is simple with for ; strict decrease also gives for . This is clause 1.
Clause 2, motion and asymptotics: by [L2] the relative coordinate is a central-force trajectory for with the attached data, so the trajectory hypotheses of [L1] hold; [L1] then gives the unique extension to all of with no collision, the monotone branches with unique apsis, and the existence of with and asymptotic perpendicular distance on both branches. The extension is the relative coordinate of a motion of the model with its autonomous force law extended to time window by [L2], since keeps the configuration admissible and the affine centre-of-mass extension is defined on all of . Because on any outer region, no exact free tail is asserted; this is clause 2.
Clause 3: [L1] gives with , so and ; [L3] then gives the scattering angle and the signed rotation ; substituting the arctangent expression gives . [L3] further gives that is and strictly decreasing with image and the stated inverse, and , so everywhere and the single branch covers . For each , [L1] supplies the apsis trajectory at 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 gives , the branch never wraps. This is clause 3.
Clause 4, density: the cross-section density of the branch is by [L3], and substituting and and using and gives , finite and positive for ; this is the displayed density.
Clause 4, band computation: put . By [L4] and the chain rule, , while the solid-angle integrand is , using . Hence by the fundamental theorem [L5], for finite because is continuous on . Since the integrand is nonnegative, the truncated integral over increases as and tends to because ; this gives the band value. The divergence of the truncated integral over is the corresponding clause of [L3]. For the single branch, its incident preimage restricted to is a subset of the disc of incident area . 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 and the finite expected rate for every Borel angular window, including . These are model expectations; a detected-rate comparison needs the separately specified apparatus and uncertainty. This is clause 4.
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. , and dimensionless, ; the identity 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 grows like (the solid-angle density grows like ). 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.
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
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 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 , the impulse or the mass rates, and excludes simultaneous contacts, friction, deformation modes and coefficients outside .
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 (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), time window , configuration domain (Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator) and continuous external-plus-pair force maps is run in the isolated reciprocal impulse model at when there is an interval with and a position curve such that the following conditions hold. This curve is called an impulse motion; only its restrictions away from 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 is required:
- are continuous on and twice continuously differentiable on each of and (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Euclidean maps and diffeomorphisms), and for every ;
- the one-sided limits exist in (Vector-valued functions , their limits and continuity, with the dictionary to the metric notions);
- there is a vector , the impulse, with
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 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework).
For the distributional rendering on , assume (The Axiom of Countable Choice ()). Put and off , assigning both the value at . Their one-sided limits are finite: those of are , and continuity of the state-domain force maps gives , with . Also off the impulse. Thus each component meets the piecewise- and one-sided derivative-limit hypotheses of The distributional derivative of a piecewise function with a jump: . Its identity, summed componentwise, gives for every real vector test function (each component is smooth and compactly supported, Test function space d of an open set) 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 , conservation of total momentum, the restitution solution and the kinetic-energy change , 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 is collinear when there is a unit vector (the contact direction) with for and (the labels approach along ). For a collinear contact, adopt a coefficient of restitution — a dimensionless model datum of the pair and the contact — and the restitution law For the contact is called elastic, for perfectly inelastic and otherwise semi-elastic; the law is a constitutive assumption, not a consequence of the impulse equations of clause (i), and 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 be a nonempty open interval. Adopt for a body whose mass and velocity are differentiable, and whose external force and exchanged matter are described by maps , and (mass rates and inertial velocities of the matter entering and leaving, measured in the same inertial frame as ), the material balance identities They are the mathematical rendering of "gains of matter with velocity , loses with velocity , and feels the external force ", and they are adopted rather than derived from a closed-system law. Their product-rule consequence is proved in Variable-mass momentum balance: from and to ; in particular the closed-system law is recovered only when . The quantities have types and SI dimensions , , and ; they are model data, not measured values.
Status and scope
-
Why the extensions are adopted rather than derived. A motion of the smooth-force branch with a continuous force map has a momentum curve and no jumps; hence no choice of smooth force maps produces the momentum jump of clause 3 with at an isolated time. The closed, fixed-label smooth-force model does not account for matter crossing a body boundary; clause (iii) adopts that additional accounting. Constant body mass alone does not exclude exchange: its mass balance permits , and different entering and leaving inertial velocities can give a nonzero momentum flux. The extensions enlarge the model class; they are not consequences of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance or Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch, and the exact statement that a smooth-force motion cannot jump is proved on this page as part of Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with , and the open-body and rocket laws.
-
What the data are. , , , , , , and the contact direction are model data, not measurements. The empirically informed reading of (a pair property inferred from bounce or collision experiments) requires a separately specified experiment and statistical analysis; this page asserts no measured value and no law of nature, exactly as for the potentials of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions.
-
Exclusions. Coefficient values outside ; more than one contact in a motion; contact intervals rather than isolated times; tangential and rolling contacts; deformable contact geometry; rotational degrees of freedom; and any identification of the impulse with the time integral of a bounded smooth force are outside the adopted models. Clause (iii) excludes internal structure of the leaving mass, pressure forces on the open boundary and non-inertial frames; its spatially distributed refinement is the finite-regularity open-flow model of 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.
Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with , and the open-body and rocket laws
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 has the stated post-impact velocities and kinetic-energy change, is dissipative for , and its contact law is an independent assumption not derivable from momentum balance; and the open-body material accounting yields the derived law with the rocket thrust as the special case. The result is a conditional deduction from adopted model data; it asserts no measured value of , the impulse or the mass rates, and identifies no observed dissipation mechanism.
Statement
Assume the Axiom of Countable Choice (The Axiom of Countable Choice ()), inherited from the statement of Isolated reciprocal impulse with full-vector restitution: momentum jumps , conservation of total momentum, the restitution solution and the kinetic-energy change , 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 , an interval with nonempty interior, , an impulse motion run in the isolated reciprocal impulse model at with impulse and one-sided velocities , and write Only the one-sided limits of at are used; no derivative of the position curves at the contact time is assumed. Then:
- (Momentum continuity.) The total momentum is continuous across the impact, and the impulse delivered to label is removed from label : .
- (Smooth-force exclusion.) Suppose this same candidate motion 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 , with the force maps continuous there. Then the momentum curves are of class on ; in particular Clause 1 identifies the jump of with the same impulse , so : 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.
- (Collinear restitution solution.) Suppose in addition that the contact is collinear with contact direction and coefficient of restitution (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 is parallel to , the centre-of-mass velocity is unchanged across the impact, and the post-impact velocities are
- (Kinetic energy of the impact.) The kinetic-energy change across the impact is with equality if and only if or . For the contact model is dissipative: the total kinetic energy of the two labels is not conserved across the impact, and the deficit is a quantity of the adopted contact law. This item identifies it with no measured heat, temperature, sound or deformation observable.
- (Momentum balance alone does not determine the impact.) In the collinear case with and , the impulse equations of clause 1 alone leave the scalar impulse magnitude free: for every real with (so that the contact is separating or grazing) the velocities satisfy the reciprocal impulse equations with impulse and preserve the total momentum, and their kinetic-energy change is whose minimum over the admissible range is at the perfectly inelastic value (that is, ). The value of 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 ; in particular momentum balance alone does not determine the post-impact velocities.
- (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 and , , , and satisfying the material balance identities, one has on In particular: (a) if then and ; (b) if and (mass loss) then so the thrust is , and the closed-system law fails unless ; (c) if and then : capture contributes the acceleration , opposing , while still holds.
Facts & Assumptions
Given: ; 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 with impulse ; for clause 3 the collinear contact direction and coefficient ; for clause 6 the maps .
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)): and, when the contact law is invoked, with . 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.
Open-body algebra (Variable-mass momentum balance: from and to ): from and follows , together with the special cases by substitution.
Smooth-branch differentiability (Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance, The associated first-order system, motions, maximal motions and the Newtonian flow of a force model, Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Sums, scalar multiples, products and quotients: , , , and when ): a motion of the smooth force branch satisfies ; if the right side is continuous along the motion then is continuous, so is of class and is of class on the interval.
Two-body kinetic identity (Centre of mass, the identity , and the splitting of the kinetic sum into centre-of-mass and relative parts (with the two-body reduced-mass case), The Euclidean inner product on ): with and , ; hence and .
Limits and intervals (Vector-valued functions , their limits and continuity, with the dictionary to the metric notions, Intervals of : the nine order-convex forms, nondegeneracy, and length, 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, Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator): one-sided limits of the velocity curves are those 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; has nonempty interior; the masses are fixed data with and .
Proof
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], and ; adding gives , which is exactly . This is clause 1.
Clause 2: suppose the candidate motion of clause 1 also satisfies the smooth-force equation on all of with continuous force maps along it. By [L3] the curves are continuous, hence is and is on ; a function on an interval has equal one-sided limits at every interior point, so for each label. Clause 1 gives , hence . Thus no candidate with a nonzero impulse is a smooth-force motion, as asserted.
Clause 5: fix any real and put , ; then and , so the reciprocal impulse equations of clause 1 hold with impulse , and adding the two equations shows that the total momentum is preserved. The relative velocity becomes ; hence precisely for , which is the stated admissibility (the contact separates or grazes). By the kinetic identity [L4], , a quadratic in with minimum at ; the restitution law selects , which lies in the admissible range because and , and reproduces clause 3.
Clause 3: put and . The jump equations [L1] give , while restitution gives . Hence , parallel to since . By step 1.1, the two mass-weighted means are the same . Solving and gives uniquely and .
Clause 4: the kinetic split [L4] applied on both sides, with the same by step 1.1, gives . Substituting from step 2.1 and expanding the inner product gives . Since and , equality holds exactly when or ; the approach condition excludes for a contact. The computed deficit is not identified with any measured heat, sound or deformation observable.
Clause 6: differentiability of and on 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) leaves , while because ; (b) , gives ; and , which equals exactly when or ; (c) , gives , while . This is clause 6.
Remarks
-
Why the two models are kept separate from the smooth branch. Clause 2 excludes a nonzero momentum jump for a whole-interval solution of the regular force equations. The regular force map can remain continuous, even identically zero, in an impulse model; the finite jump is additional singular forcing. A bounded regular force integrated over intervals shrinking to contributes zero in the limit. The contact law is an additional adopted datum, just as 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) is.
-
Comparison with the mathematically proved supplier. The endpoint algebra agrees with Isolated reciprocal impulse with full-vector restitution: momentum jumps , conservation of total momentum, the restitution solution and the kinetic-energy change clauses b-c. That supplier additionally assumes continuous time forces and impulse pairings; steps 1.1-1.5 here use the adopted finite jumps directly and do not require those stronger hypotheses.
-
Units and scale. , ; both are model quantities. The coefficient is dimensionless model data; its empirical determination is a separate experimental task and is not asserted here.
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
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, the spatial velocity and control velocity have units m s, the Cauchy stress matrix has units Pa, and the specific body-force vector (force per unit mass) has units N kg; is the material acceleration, distinct from . 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 (The Axiom of Countable Choice ()), 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 ; a material region (bounded open with boundary); a motion of on of class whose time slices are diffeomorphisms with positive Jacobian onto their images. Let be an open common field domain containing the swept region over a compact subinterval with . On take a scalar mass-density field of class with (Material regions, densities and their mass, where mass on a spatial region is ); its spatial velocity field of class with and (Continuum motions, spatial velocity, material acceleration and swept regions); a Cauchy stress matrix field of class with , representing the traction by on a surface with unit normal (Traction fields and stress matrices representing them); and a continuous specific body-force vector , meaning force per unit mass and distinct from the material acceleration, with . For the material derivative used below, make the time-dependent convention explicit: where differentiates at fixed and is the spatial Jacobian at fixed (Euclidean spatial calculus: gradient, divergence and material derivative, Continuum motions, spatial velocity, material acceleration and swept regions). Define the row divergence by , so is a vector force density with units . Adopt as the model's material balances: for every material subregion (a nonempty bounded open subset with whose images are bounded domains, Bounded C1 domains and their outward normals) and every ,
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 on (the control motion) with control regions that are bounded domains for , spatial velocity with , and outward unit normal . Require its closed sweep to lie in the common open field domain. Require also either that this sweep lie locally inside the current material region , where localization supplies the local mass and momentum equations, or that those same local equations and be explicitly adopted on a neighbourhood of the control sweep. The control motion need not coincide with . Then:
- (Control-volume identities.) For every , and componentwise
- (Material and fixed special cases.) If (the control region is material, on the boundary), the flux terms vanish and (CV1), (CV2) reduce to the adopted material balances; if is the constant motion (, fixed), then with , ; 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.
- (Inlet/outlet decomposition and the open-body law.) Suppose that for every the boundary decomposes into finitely many pieces, among which (where ), (where ) and the zero-flux rest, and put (the flux averages are used only where the corresponding rate is positive; define when , and likewise for the outlet term), and write The units are , , , and . The control-volume theorem supplies the derivatives of and ; since and each is a nonempty open region, , so is differentiable on . This verifies the differentiability hypotheses of Variable-mass momentum balance: from and to . Then the control-volume identities read and the lumped body with mass and velocity satisfies the derived law of Variable-mass momentum balance: from and to . In particular, a body that only loses mass (, ) has thrust , and a body whose boundary moves with the material (; no flux) has and .
- (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: ; the finite-regularity open-flow model data with the adopted material balances on ; the control motion with its regions ; for clause 3 the boundary decomposition and the flux-averaged velocities.
Localization of the material balances (Local mass balance: conservation on every material subregion implies clause (i), Local momentum balance: 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 , as included in the adopted stated admissible subregion class, then on ; 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 domain, then there, where is the row divergence of . Both require the stated regularity and the countable-choice assumption.
Transport and control-volume identities (The transport theorem for a family of diffeomorphisms: , 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 for 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.
Lumped open-body algebra and regularity (Control-volume balance: mass and momentum rates for a moving non-material region, Variable-mass momentum balance: from and to , 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 on , Integral over a measurable subset): the control-volume rate identities make and differentiable; since the density is positive on the nonempty control region, and is differentiable. From and , the variable-mass product rule then gives .
Intervals, field types and units (Intervals of : the nine order-convex forms, nondegeneracy, and length, 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): is a compact subinterval of with nonempty interior; is scalar mass density, are spatial velocity vectors, is the stress matrix, and is force per unit mass, with SI dimensions , , and . Consequently the row divergence has dimension ; carry the units listed in clause 3.
Proof
Fix , which is interior to even if it is an endpoint of . Each sufficiently small current ball with closure in has an admissible inverse-image material subregion under the diffeomorphism . Transport [L2] applies on a small open time neighbourhood of . The adopted mass balance at gives . 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 , 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 's endpoints.
Fix . 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 . The local equations on follow from step 1.1 in the material-interior case, and are adopted in the alternative case. Transport gives ; divergence gives (CV1). Componentwise transport, the product rule and the local equations give ; divergence of the stress row and of the last vector field gives (CV2). These calculations of [L2] use the local equations only at , and therefore include the endpoints without assuming balances outside .
Clause 2: if then on , so and both flux integrals in (CV1) and (CV2) vanish; the identities become the material balances of the model. If is constant then and , giving the displayed fixed-region equations with , ; when in addition the fields are steady and 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.
Clause 3, mass balance: decomposing into the inlet, outlet and zero-flux pieces, the boundary term of (CV1) becomes by the definitions, so (CV1) reads ; the rates are nonnegative because the integrands are nonnegative on the two pieces.
Clause 3, momentum balance: similarly the flux term of (CV2) decomposes as by the definitions of the flux averages, and the remaining terms are componentwise, giving .
Clause 3, derived law: the two identities of steps 3.2 and 3.3 have exactly the form to which [L3] applies with ; hence for the lumped body, and the two special cases are its substitutions (, for the thrust form; for the material case).
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 , , , and the momentum density are all measured in one inertial frame; the flux uses the relative normal velocity , and choosing a different auxiliary velocity on the interior of 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 , 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 the mass fluxes through the inlet and outlet and 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.
Scope of the scattering and impulse items: model boundaries, branch and cutoff qualifications, and the claims deliberately not made
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 (The Axiom of Countable Choice ()) 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 , the advance with principal deflection , 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 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 when , and on a smooth deflection branch that records the model's deflections the outgoing angular measure has that branch's cross-section contribution . 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 , the Rutherford density , finite angular cutoffs and the divergent ideal total treats the separate long-range repulsive 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
-
No monotonicity or completeness of the deflection map. Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch clause 5 states explicitly that the map is not asserted to be decreasing, injective or free of stationary points, and that the branch images are not asserted to cover . The counterexample Smooth finite-range free scattering refutes global strict decrease; as a separate contact comparison, an attractive refracting shell with index has strictly increasing, with a jump down to at grazing incidence ↗ shows that global strict decrease fails even in the smooth finite-range class because the deflection has a constant free tail; its separate adopted contact comparison also has an increasing branch. The cross-section formula 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 applies to specified invertible branches rather than assuming a global inverse. For a finite family of branches with disjoint incident intervals, the total density at an angle is the sum of all branch contributions whose images contain that angle; this total is distinct from any one branch's density.
-
Cross-section and probability are distinct. The cross-section is a model quantity of the adopted uniform-incident preparation (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), 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)): it is not a count of detected events, not a probability per incident label, and not a property of any apparatus. For a specified branch and Borel angle window, the probability per incident label of an impact parameter in that branch's preimage is its incident preimage area within divided by , with fixed energy and ; this statement covers only the recorded branch portions. No experiment is authored on this page, and no measured rate, uncertainty or statistical claim about nature is made here. A comparison would require a specified apparatus, sampling model and analysis, as Scope of the two-body and central-force page: collision and radial exclusions, point-particle and finite-size limits, the empirical parameters and their uncertainty, and the conditional status of the orbit statements requires of the collision claims of the preceding page.
-
Contact scattering uses separate example rules. The hard-sphere and refracting-shell models of the examples page adopt their fixed-wall and interface rules locally; neither full rule is supplied 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, whose restitution law covers a finite-mass collinear two-label contact. These contact trajectories are not instances of the finite-range hypothesis of Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch. In particular the finite total cross-section of the hard-sphere contact model is computed from its locally defined uniform incident-area pushforward under the separately adopted reflection rule and does not contradict the forward divergence of the ideal Coulomb branch.
-
No electromagnetic, screening, radiative or quantum content. The Coulomb item treats as a parameter of the mechanical model and does not identify it with or any other electromagnetic quantity; it asserts no screening law for a medium of scatterers, no inelastic or radiative loss, and no relativistic or quantum modification. Attractive Coulomb capture, for which suitable data do allow capture, lies outside its statement.
-
Relative data do not give label angles. The scattering angles and cross-section densities are computed from the reduced relative coordinate and its asymptotic velocities, as defined by Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation. The two-label reconstruction , shows that individual-label directions generally differ from the relative direction and from each other; this page asserts no individual-label angle.
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 , 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 , 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: , 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 , 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
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (340)-(351): the impact parameter as the distance of closest approach in the absence of interaction, the center-of-mass scattering angle, the annular incident area and the two counter-propagating beams of identical particles
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.66)-(3.72): the impact parameter, the scattering angle, the uniform incident beam and the caveat that the cross-section is a statistic of many incident particles
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (347)-(351): the differential scattering cross-section $(b/\sin\theta)|\mathrm db/\mathrm d\theta|$ as an effective target area per unit solid angle, and the total cross-section as its angular integral
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.70)-(3.74): the differential cross-section as an averaged count density per unit incident area, the geometric relation $b|\mathrm db/\mathrm d\theta|/\sin\theta$, the total cross-section and its small-angle divergence
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (340)-(367): the centre-of-mass scattering geometry, the impact parameter, the turning-point quadrature, the deflection relation, the annular incident area, the solid angle and the differential cross-section
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.66)-(3.74): the impact parameter and scattering angle, the quadrature $\theta=\pi-2\varphi_0$, the uniform beam, the geometric cross-section relation and the caveats on inelastic and quantum modifications
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (358)-(367): the inverse-square scattering integral, $\tan(\theta/2)=k/(2Eb)$, the Rutherford cross-section and the small-angle divergence of the total cross-section
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.68)-(3.74): $\theta=\pi-2\varphi_0$ with the Coulomb half-angle, the Rutherford formula and the forward-angle divergence, with the caveats on inelastic and quantum scattering
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, Chapter 11 'Impulse and Momentum in Particles', §§11.2-11.5: the impulse-momentum principle $\mathbf J=m\mathbf v_f-m\mathbf v_i$, conservation of momentum for a system with no external impulse, the coefficient of restitution $0\le\epsilon\le1$ along the contact normal, and one-dimensional particle collisions
- Jacob Moore and Contributors, Mechanics Map, §11.5 'Particle Collisions in One Dimension': equal and opposite internal impulses, conservation in the absence of external impulse, and restitution using relative velocities
- J. Peraire and S. Widnall, 16.07 Dynamics (MIT OpenCourseWare, Fall 2008/2009), Lecture L14 'Variable Mass Systems: The Rocket Equation', Eqs. (9)-(15): capture/expulsion accounting in an inertial frame, the net transferred inertial momentum term in $(mv)'$, and thrust $T=-c\dot m$; the sentence after Eq. (11) mislabels the transferred velocity as relative, while the initial definition and rocket specialization distinguish it from relative exhaust velocity
- David Tong, Classical Dynamics (University of Cambridge), §1.2, Eq. (1.1), printed pp. 2-3: background on particle momentum $\mathbf p=m\dot{\mathbf r}$ and Newton's law in an inertial frame; the open-body momentum-transfer accounting used here is supplied by MIT L14, not by this section
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, Chapter 11 'Impulse and Momentum in Particles', §§11.3-11.5: the impulse-momentum principle, momentum conservation for a system free of external impulse, the coefficient of restitution and one-dimensional collision solutions
- J. Peraire and S. Widnall, 16.07 Dynamics (MIT OpenCourseWare, Fall 2008/2009), Lecture L14 'Variable Mass Systems: The Rocket Equation', Eqs. (9)-(15): the capture/expulsion accounting, the warning that $\mathrm d(m\mathbf v)/\mathrm dt=\mathbf F$ holds only for zero inertial velocity of the transferred matter, and the thrust $T=-c\dot m$
- David Tong, Classical Dynamics (University of Cambridge), §1.2, printed p. 2: $\mathbf F=\dot{\mathbf p}$ as the primitive balance and the caution that an open variable-mass body is not described by the closed-system form alone
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), §3.7 'Transport Equations' Eqs. (3.84)-(3.89) and §4.4 'The Balance of Momentum Principles' Eqs. (4.18)-(4.21): the material transport formulae, the flux form of the transport identity and the material momentum balance
- W. Barsukow, Introduction to Conservation Laws: Theory and Numerics (lecture notes, TUM, Winter term 2021/22), §§1.1-1.3: the fixed-volume integral balance, the advective derivative and the Lagrangian/Eulerian description of the same balance
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, §11.7 'Steady-Flow Devices': the steady-flow momentum relation $\mathbf F=\dot m_{\mathrm{out}}\mathbf v_{\mathrm{out}}-\dot m_{\mathrm{in}}\mathbf v_{\mathrm{in}}$ for a fixed device, the fixed-region special case used here
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), 'Non-Isolated Systems', Eqs. (38)-(44): the fixed-particle external-force and torque accounting that motivates, but does not supply, the open-mass flux bookkeeping
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.70)-(3.74) and the following discussion: the cross-section as a statistic of many incident particles with uniform-flux and analysis caveats, the Rutherford formula, the forward divergence and the warnings about inelastic and quantum scattering
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §§6.4-6.5: the centre-of-mass scattering construction, the hard-sphere example, the Rutherford cross-section, the total-cross-section divergence, and the separate laboratory-frame treatment
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, §§11.4-11.5: the coefficient of restitution as a pair property between 0 and 1 and the split of collisions into elastic, inelastic and semi-elastic cases
- J. Peraire and S. Widnall, 16.07 Dynamics (MIT OpenCourseWare, Fall 2008/2009), Lecture L14 'Variable Mass Systems: The Rocket Equation': the variable-mass accounting and its documented limitations