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.
Exact repulsive relativistic Coulomb scattering in the fixed-source test-body model
Conditional model deduction for a single massive charged test body in flat spacetime moving in a prescribed, fixed, repulsive point-source Coulomb field, under the explicitly stated ACω and flat massive-particle assumptions. The exact angle applies only for W>mc² and J>κ/c. Source recoil, radiation, self-field, collisions, measurement, and empirical applicability are excluded.
Statement
Use the charged test-body quantities of Charged and spinning test-body quantities on the flat Minkowski specialization, with constant mass in kilograms and constant charge in coulombs. In a named inertial SI chart write , , and , with ; the fixed point source of charge in coulombs is at , which is excluded from the spacetime domain . The prescribed static scalar potential , electric field and magnetic field are on that domain and are
Here is the framework SI parameter of Framework-local SI units, the vacuum constants and the exact/measured status of their values, has units volts, volts per metre, and teslas. The external four-potential on has components , in the convention, and the electromagnetic two-form convention is that of The electromagnetic two-form, its observer decomposition and the four-current. Thus and on ; is there and no field value or smoothness across is asserted. Put , which has units joule metres.
The body's worldline is the future-timelike curve of Charged and spinning test-body quantities, with an open proper-time interval and tangent satisfying ; its four-momentum is .
Under the adopted fixed-endpoint charged-particle action and its proved Lorentz-force consequence, assume for the canonical tangent-bundle smooth structure as required by those suppliers. In the flat specialization also adopt the massive-particle momentum model of Adopted massive-particle momentum, observer measurement and isolated-collision conservation. For one has and . Then the canonical spatial momentum equals the kinetic momentum (in kilograms metres per second), and the coordinate-time Hamiltonian is
Thus the trajectories are those of Repulsive relativistic Coulomb Hamiltonian phase system, with , , and coordinate time . For asymptotic scattering data, use the unique maximal coordinate-time extension of the given local phase trajectory on the noncolliding scattering branch of that phase system. Incoming and outgoing asymptotic vectors below belong to this extension; a finite interval restriction need not itself contain either asymptotic tail. Let be its conserved energy in joules and let be the conserved angular-momentum magnitude in kilograms metres squared per second. The proposition Exact repulsive relativistic Coulomb scattering branch gives the incoming and outgoing asymptotic velocity vectors and defines their principal Euclidean angle as ; the limiting momentum vectors have the same directions because with . Define
Here is the positive scalar denoted in Exact repulsive relativistic Coulomb scattering branch. Its exact angle between incoming and outgoing momenta is
Here has units of squared momentum, has units of times length, and has units of squared angular momentum, so and are dimensionless. This is a model deduction, not a measured scattering law. The inequality is part of the result's domain; no conclusion is made for .
Facts & Assumptions
Given: A fixed source, a single test body, , the stated SI potential and field convention, the adopted external-charge action, and a scattering state with and .
The local charged-body model adopts stationary points of on finite fixed-endpoint timelike segments; is prescribed, and no self-field, recoil or radiation reaction is included (Charged and spinning test-body quantities, External-field charged-particle action).
Assume exactly the axiom of countable choice for the canonical tangent-bundle smooth structure, as required by the inspected local-IVP and action-variation suppliers (The Axiom of Countable Choice ()).
In the flat specialization, adopt the massive-particle momentum model that supplies constant positive mass and (Adopted massive-particle momentum, observer measurement and isolated-collision conservation).
Under [A2] and [A3], in a named flat inertial SI chart the charged mass-shell theorem gives , with kinetic momentum (Charged test-body mass shell and laboratory work).
The SI convention is and ; with and , it gives (The electromagnetic two-form, its observer decomposition and the four-current, Framework-local SI units, the vacuum constants and the exact/measured status of their values).
The mathematical phase system has Hamiltonian ; for and the exact deflection of its unique maximal noncolliding scattering branch is with (Repulsive relativistic Coulomb Hamiltonian phase system, Exact repulsive relativistic Coulomb scattering branch).
A scalar map with nonzero derivative has a local inverse with derivative equal to the reciprocal derivative (The Euclidean inverse function theorem); the mean value theorem gives strict increase when the derivative is positive (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ). The scalar derivative algebra and chain rule apply to these inverses (Sums, scalar multiples, products and quotients: , , , and when , The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with ).
The external-charge action and stationarity are invariant when a fixed admissible orientation-preserving parameter diffeomorphism acts on the entire fixed-endpoint variation family (Stationary charged action and Lorentz force).
Proof
On any finite proper-time segment of the adopted future-timelike worldline, set . Then is and in the future-oriented inertial chart. By [F4], is strictly increasing and has local inverses; injectivity makes them agree to give its inverse . Its derivative is , and the chain and reciprocal rules give , which is continuous. The same local argument extends to the endpoints using the worldline on a neighborhood of the segment (or the one-sided restrictions). Thus is an admissible orientation-preserving diffeomorphism in [A1]. The action-equivalence supplier proves invariance of the action and stationarity under this fixed parameter change applied to the entire variation family. Coordinate-time spatial variations with fixed endpoint positions, represented by , are among its admissible variations: on a compact segment has a positive margin, so sufficiently small variations remain future timelike, and composing with the fixed transports them to the original parameter interval with endpoints fixed.
In the inertial chart, and . The action density from [A1] is therefore Its spatial canonical momentum is ; because , it is also the kinetic momentum in [F1]. The Legendre expression equals . With , this is precisely the Hamiltonian in [F3].
From [F2], . Since , [F1] gives . The Hamiltonian derivative gives . These are exactly the two phase equations of [F3], so each local physical solution in the prescribed model is a trajectory of that mathematical system.
Use the unique maximal coordinate-time extension of the local phase trajectory identified in step 3.1. On the stipulated noncolliding scattering branch, for and , the exact repulsive scattering proposition [F3] supplies that global extension and its incoming and outgoing asymptotic data, impact parameter and deflection formula, with as defined in the statement. A finite physical segment is a restriction of that phase trajectory; the asymptotic angle is assigned to its extension, not to the finite segment alone. The conclusion remains conditional on [A1], [A2], and [A3] and the fixed-source idealization.
The exact angle is therefore a model prediction for the stated branch. The derivation makes no claim for , for source recoil or radiation, or for any experimental result.
Remarks
- The Coulomb source is an external fixed source, not a second dynamical body. The calculation does not conserve source-plus-particle momentum because the source's response is outside the model.
- Landau and Lifshitz §39 gives the exact orbit relation and scattering angle in Gaussian units. The present argument states its own SI conversion through and does not import a Gaussian-unit formula without conversion.
- Boyer's independent paper treats an attractive potential and displays its exact orbit families. The present item uses the opposite, repulsive sign and proves that branch directly; Boyer's attractive trajectories are not imported as a proof of the repulsive formula.
Depends on
Charged and spinning test-body quantities
The electromagnetic two-form, its observer decomposition and the four-current
Framework-local SI units, the vacuum constants and the exact/measured status of their values
External-field charged-particle action
Stationary charged action and Lorentz force
External Lorentz ODE local well-posedness
Charged test-body mass shell and laboratory work
Adopted massive-particle momentum, observer measurement and isolated-collision conservation
The Axiom of Countable Choice ()
Repulsive relativistic Coulomb Hamiltonian phase system
Exact repulsive relativistic Coulomb scattering branch
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with
Sums, scalar multiples, products and quotients: , , , and when
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with
The Euclidean inverse function theorem