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.
Weak Maxwell does not authorize quadratic self-energy
The ideal point-charge Coulomb field in the distributional pure electrostatic model. It is locally integrable but its ordinary quadratic electric-energy density is not locally integrable for nonzero charge, so the field lies outside the finite-energy boundary model. No claim is made about regularized or renormalized fields, particle mass, self-force, measurements, or every distributional Maxwell solution.
Statement refuted
Every distributional vacuum Maxwell solution with a point-charge source has a locally integrable ordinary electric-energy density near the charge.
Facts & Assumptions
Given: A nonempty open time interval , a bounded Lipschitz polyhedron containing , a point charge in coulombs, a position in metres, and in . The ideal field has units .
For a stationary point source, is locally integrable, smooth off , and satisfies and distributionally; the value assigned at is immaterial. The localized Newtonian potential and the ideal point-charge Coulomb field
For , the truncated ordinary electric-field energy is
and this tends to as when . Divergence of the point-charge field energy and the limits of mass inference
The finite-energy boundary model requires and defines its energy by the corresponding finite quadratic integral. Finite-energy PEC and impedance boundary formulation
The adopted distributional vacuum Maxwell equations apply to the point-source model with , , , and ; has units and has units . Distributional vacuum Maxwell equations for the declared point and stationary-sheet sources Framework-local SI units, the vacuum constants and the exact/measured status of their values
A stationary point charge has and ; is measured in coulombs under the framework's point-source and SI conventions. Distributional Maxwell equations with point and stationary-sheet sources Framework-local SI units, the vacuum constants and the exact/measured status of their values
and are the electric and magnetic spatial vector fields of the framework, measured in and tesla. The electric and magnetic fields as fixed-time spatial vector fields Framework-local SI units, the vacuum constants and the exact/measured status of their values
Counterexample
Given: The hypotheses above. Since and is open, choose metres with ; in the energy estimate let range over metres.
Set time-independently and put , . The field convention is [F5], and by [F4] the source is ; [F1] gives local integrability, , and . Since , the other three equations listed in [A1] hold with both sides zero. This is a distributional vacuum Maxwell solution with the stated stationary point source.
The shell in [F2] with outer radius lies inside . Nonnegativity of gives for every . This lower bound is unbounded as because ; thus each ball around has infinite ordinary electric energy and near the charge.
By [F3], a field with nonintegrable ordinary quadratic energy is outside the finite-energy boundary model, even though step 1.1 supplies its distributional Maxwell identities. This contradicts the refuted claim and proves the counterexample.
Depends on
Finite-energy PEC and impedance boundary formulation
The electric and magnetic fields as fixed-time spatial vector fields
Framework-local SI units, the vacuum constants and the exact/measured status of their values
Distributional Maxwell equations with point and stationary-sheet sources
Distributional vacuum Maxwell equations for the declared point and stationary-sheet sources
The localized Newtonian potential and the ideal point-charge Coulomb field
Divergence of the point-charge field energy and the limits of mass inference