Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 m>0 in kilograms and constant charge q in coulombs. In a named inertial SI chart write x0=ct, t∈I:=R, and x=(x1,x2,x3)∈Ω:=R3∖{0}, with r:=∣x∣>0; the fixed point source of charge Q in coulombs is at x=0, which is excluded from the spacetime domain O:=I×Ω. The prescribed static scalar potential ϕ:Ω×I→R, electric field E:Ω×I→R3 and magnetic field B:Ω×I→R3 are C∞ on that domain and are

ϕ(x,t)=Q4πε0r,E(x,t)=Qx4πε0r3,B(x,t)=0.

Here ε0>0 is the framework SI parameter of Framework-local SI units, the vacuum constants and the exact/measured status of their values, ϕ has units volts, E volts per metre, and B teslas. The external four-potential on O has components A0=−ϕ/c, Ai=0 in the x0=ct convention, and the electromagnetic two-form convention is that of The electromagnetic two-form, its observer decomposition and the four-current. Thus Ei=−∂xiϕ and F0i=−Ei/c on O; A is C∞ there and no field value or smoothness across x=0 is asserted. Put κ:=qQ/(4πε0)>0, which has units joule metres.

The body's worldline is the C2 future-timelike curve z:Iz→O of Charged and spinning test-body quantities, with Iz an open proper-time interval and tangent U=dz/dτ satisfying g(U,U)=−c2; its four-momentum is P=mU.

Under the adopted fixed-endpoint charged-particle action and its proved Lorentz-force consequence, assume ACω 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 v:=dx/dt one has ∣v∣<c and γ:=(1−∣v∣2/c2)−1/2. Then the canonical spatial momentum equals the kinetic momentum p=mγv (in kilograms metres per second), and the coordinate-time Hamiltonian is

H(x,p)=m2c4+c2∣p∣2+κr.

Thus the trajectories are those of Repulsive relativistic Coulomb Hamiltonian phase system, with x∈Ω, p∈R3, and coordinate time t∈I. 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 W:=H(x,p)>mc2 be its conserved energy in joules and let J:=∣x×p∣>κ/c 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 θ∈(0,π) as π−2Δ; the limiting momentum vectors have the same directions because p=mγv with γ>0. Define

A=W2−m2c4c2,d=Wκc2,C=J2−κ2c2,

Here A is the positive scalar denoted A in Exact repulsive relativistic Coulomb scattering branch. Its exact angle between incoming and outgoing momenta is

θ=π−2JCarctan⁡(CAd)∈(0,π).

Here A has units of squared momentum, d has units of A times length, and C has units of squared angular momentum, so CA/d and θ are dimensionless. This is a model deduction, not a measured scattering law. The inequality J>κ/c is part of the result's domain; no conclusion is made for J≤κ/c.

Facts & Assumptions

Given: A fixed source, a single test body, qQ>0, the stated SI potential and field convention, the adopted external-charge action, and a scattering state with W>mc2 and J>κ/c.

[A1]

The local charged-body model adopts stationary points of −mc∫−g(z′,z′)dλ+q∫A(z′)dλ on finite fixed-endpoint timelike segments; A is prescribed, and no self-field, recoil or radiation reaction is included (Charged and spinning test-body quantities, External-field charged-particle action).

[A2]

Assume exactly the axiom of countable choice ACω for the canonical tangent-bundle smooth structure, as required by the inspected local-IVP and action-variation suppliers (The Axiom of Countable Choice (ACω)).

[A3]

In the flat specialization, adopt the massive-particle momentum model that supplies constant positive mass and P=mU (Adopted massive-particle momentum, observer measurement and isolated-collision conservation).

[F1]

Under [A2] and [A3], in a named flat inertial SI chart the charged mass-shell theorem gives dp/dt=q(E+v×B), with kinetic momentum p=mγv (Charged test-body mass shell and laboratory work).

[F2]

The SI convention is F0i=−Ei/c and F=dA; with A0=−ϕ/c and Ai=0, it gives Ei=−∂iϕ (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).

[F3]

The mathematical phase system has Hamiltonian m2c4+c2∣p∣2+κ/r; for W>mc2 and J>κ/c the exact deflection of its unique maximal noncolliding scattering branch is π−2(J/C)arctan⁡(CA/d) with A=(W2−m2c4)/c2 (Repulsive relativistic Coulomb Hamiltonian phase system, Exact repulsive relativistic Coulomb scattering branch).

[F5]

The external-charge action and stationarity are invariant when a fixed admissible C2 orientation-preserving parameter diffeomorphism acts on the entire fixed-endpoint variation family (Stationary charged action and Lorentz force).

Proof

technique · specialize the adopted external action to the static Coulomb potential, compute its canonical Hamiltonian, identify the resulting ODE with the proved mathematical phase system, and apply its exact scattering proposition
1.1givenA1A2F4F5

On any finite proper-time segment z:[a,b]→O of the adopted C2 future-timelike worldline, set T(τ)=x0(z(τ))/c. Then T is C2 and T′=U0/c>0 in the future-oriented inertial chart. By [F4], T is strictly increasing and has local C1 inverses; injectivity makes them agree to give its inverse ψ:[T(a),T(b)]→[a,b]. Its derivative is ψ′=1/(T′∘ψ)>0, and the chain and reciprocal rules give ψ′′=−(T′′∘ψ)/(T′∘ψ)3, which is continuous. The same local argument extends to the endpoints using the worldline on a neighborhood of the segment (or the one-sided C2 restrictions). Thus ψ is an admissible C2 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 (ct,xϵ(t)), are among its admissible variations: on a compact segment ∣v∣<c has a positive margin, so sufficiently small C2 variations remain future timelike, and composing with the fixed T transports them to the original parameter interval with endpoints fixed.

2.1step 1.1A1A2A3F1F2F3algebra

In the inertial chart, dx0/dt=c and ∣dx/dt∣=∣v∣. The action density from [A1] is therefore L(x,v)=−mc21−∣v∣2/c2+qA0c=−mc21−∣v∣2/c2−qϕ(r). Its spatial canonical momentum is ∂L/∂v=mγv; because Ai=0, it is also the kinetic momentum in [F1]. The Legendre expression p⋅v−L equals γmc2+qϕ=m2c4+c2∣p∣2+qQ/(4πε0r). With κ=qQ/(4πε0)>0, this is precisely the Hamiltonian in [F3].

3.1step 2.1A2A3F1F2F3algebra

From [F2], E=−∇ϕ=Qx/(4πε0r3). Since B=0, [F1] gives p˙=qE=κx/r3. The Hamiltonian derivative gives x˙=c2p/m2c4+c2∣p∣2. 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.

4.1step 3.1A1A2A3F3given

Use the unique maximal coordinate-time extension of the local phase trajectory identified in step 3.1. On the stipulated noncolliding scattering branch, for W>mc2 and J>κ/c, the exact repulsive scattering proposition [F3] supplies that global extension and its incoming and outgoing asymptotic data, impact parameter and deflection formula, with A,d,C 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.

5.1step 4.1A1A2A3given∎

The exact angle is therefore a model prediction for the stated branch. The derivation makes no claim for J≤κ/c, 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 κ=qQ/(4πε0) and does not import a Gaussian-unit formula without conversion.
  • Boyer's independent paper treats an attractive −α/r 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

Dependency tree · 2 levels

Sources