Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adapted
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.

Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total

Physical scope

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

Statement

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

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

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

Facts & Assumptions

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

[L1]

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

[L2]

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

[L3]

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

Proof

technique · direct
1.1givenL1

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

2.1step 1.1L1L2

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

3.1step 2.1L1L3L4algebra

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

4.1step 3.1L3L4algebra

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

5.1step 4.1L3L4L5algebra

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

6.1givenL1L2L3∎

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

Remarks

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

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

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

Depends on

Dependency tree · 2 levels

Sources