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.
Coulomb-exterior support-radius energy bound
A conditional static charge-size inequality for a body with the stated rest-frame support radius, an exactly Coulomb vacuum exterior, and total rest energy equal to that exterior field energy plus nonnegative remaining energy. It is not a universal radius theorem for arbitrary charge distributions, and it makes no mass inference for an ideal point charge.
Statement
Let an extended static charged body have a nonempty compact rest-frame stress-energy support in the flat-body moment convention of Body moments and transport convention, total charge coulombs, and finite total rest energy with kilograms. Use a momentum-rest inertial frame of Inertial frames and inertial charts of the affine Minkowski model, with and the stipulated body center. Its rest spatial chart has coordinates ; define , for , and . Define the body support radius , in metres. Thus the material support lies in ; is its exact radius about , and the exterior region below is defined from this support, not inferred from spherical symmetry. Use the SI constants of Framework-local SI units, the vacuum constants and the exact/measured status of their values, including in metres per second and . On the open exterior spatial region , the static field is assumed to obey Let be the time-independent vacuum energy density of Vacuum electromagnetic energy density and energy flux (the Poynting vector) on this exterior region and define . Assume the total rest energy is the sum of this exterior field energy and a remaining material-plus-interior contribution . Then The exact Coulomb exterior and nonnegative energy accounting are hypotheses. The theorem does not infer an exterior field from spherical symmetry alone. No identification of field energy with an ideal point particle's rest mass is made.
Facts & Assumptions
Given: The static rest-frame body, radius , total charge , total rest mass , exact exterior field stated above, and with .
The rest-energy accounting is adopted for this item: with the remaining material-plus-interior energy .
The exterior electric field is the Coulomb field of charge for every , with no exterior magnetic field; this is an adopted physical condition of the present theorem, not a consequence of spherical symmetry alone. The localized Newtonian potential and the ideal point-charge Coulomb field
In vacuum, the electromagnetic energy density is , with the positive SI constant . Vacuum electromagnetic energy density and energy flux (the Poynting vector); Framework-local SI units, the vacuum constants and the exact/measured status of their values
For the point-charge Coulomb field centered at spatial coordinate , the energy in the finite shell is . Here , the spatial coordinate of the inertial-frame origin event . Divergence of the point-charge field energy and the limits of mass inference
If nonnegative measurable functions increase pointwise to , then increases to (Monotone convergence for the integral).
Proof
From [A2] and [F1], the exterior energy density is on . For each positive integer , set , , and . These measurable shells increase to , and their nonnegative energy integrands increase pointwise to . By [F3], . Applying [F2] with and gives , whose limit is , including . This applies only under the stated exact exterior-field and energy-accounting hypotheses, not to every spherical profile.
By [A1], . Substitute step 1.1 to get . Since are positive, multiplication by and division by yield .
Remarks
The energy is a field contribution on the exterior region only. Nonnegative interior/material energy and the specified total-energy accounting are load-bearing assumptions. The point-charge divergence result Divergence of the point-charge field energy and the limits of mass inference explicitly does not identify this field energy with particle rest mass.
Depends on
Inertial frames and inertial charts of the affine Minkowski model
Vacuum electromagnetic energy density and energy flux (the Poynting vector)
Framework-local SI units, the vacuum constants and the exact/measured status of their values
Body moments and transport convention
The localized Newtonian potential and the ideal point-charge Coulomb field
Divergence of the point-charge field energy and the limits of mass inference
Monotone convergence for the integral