Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicableverified 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.

Repulsive relativistic Coulomb Hamiltonian phase system

Physical scope

Pure mathematical definition of a smooth relativistic phase-space ODE with repulsive inverse-radius potential. It does not identify parameters with measured quantities or assert an electromagnetic model.

Definition

Let m,c,κ>0, let x,p∈R3, and set

D:=(R3∖{0})×R3,r:=∣x∣,E(p):=m2c4+c2∣p∣2.

The repulsive relativistic Coulomb Hamiltonian is

H(x,p):=E(p)+κr,

and its phase system is the autonomous ODE on the open set D

x˙=∇pH=c2pE(p),p˙=−∇xH=κxr3.

Here the system parameter t is time in seconds and dot denotes d/dt; m is a positive mass parameter (kilograms in the SI interpretation), c a positive speed parameter (metres per second), and κ a positive energy-times-length parameter (joule-metres). Define the radial momentum pr:=x⋅p/r and angular-momentum vector J:=x×p. A trajectory is a C1 map z=(x,p):I→D on a real interval I with nonempty interior, satisfying this ODE in the interval-solution sense of First-order systems, initial value problems, and solutions on intervals. A trajectory z~:I~→D extends z if I⊆I~ and z~∣I=z; it is a proper extension if I⊊I~. A trajectory is maximal if it has no proper extension as a solution of this same system in D. This definition alone asserts neither existence nor uniqueness of maximal trajectories.

This is only a mathematical phase system. Its physical interpretation as a charged particle in an externally prescribed Coulomb field requires separate model assumptions.

Depends on

Dependency tree · 2 levels

Sources