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
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 , let , and set
The repulsive relativistic Coulomb Hamiltonian is
and its phase system is the autonomous ODE on the open set
Here the system parameter is time in seconds and dot denotes ; is a positive mass parameter (kilograms in the SI interpretation), a positive speed parameter (metres per second), and a positive energy-times-length parameter (joule-metres). Define the radial momentum and angular-momentum vector . A trajectory is a map on a real interval with nonempty interior, satisfying this ODE in the interval-solution sense of First-order systems, initial value problems, and solutions on intervals. A trajectory extends if and ; it is a proper extension if . A trajectory is maximal if it has no proper extension as a solution of this same system in . 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.