Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedverified 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.

Coulomb-exterior support-radius energy bound

Physical scope

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 supp⁡0T in the flat-body moment convention of Body moments and transport convention, total charge q∈R coulombs, and finite total rest energy Mc2 with M>0 kilograms. Use a momentum-rest inertial frame (o;e0,e1,e2,e3) of Inertial frames and inertial charts of the affine Minkowski model, with p=Mc e0 and o the stipulated body center. Its rest spatial chart has coordinates x=(x1,x2,x3); define r:=∣x∣:=(x1)2+(x2)2+(x3)2, r^:=x/r for r>0, and B‾ℓ(0):={x:r≤ℓ}. Define the body support radius ℓ:=max⁡x∈supp⁡0T∣x∣>0, in metres. Thus the material support lies in B‾ℓ(0); ℓ is its exact radius about o, 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 c in metres per second and ε0>0. On the open exterior spatial region Ωℓ:={x∈R3:r>ℓ}, the static field is assumed to obey E(x)=q4πε0r2r^,B=0. Let u(x) be the time-independent vacuum energy density of Vacuum electromagnetic energy density and energy flux (the Poynting vector) on this exterior region and define Eext:=∫Ωℓu(x) d3x. Assume the total rest energy is the sum of this exterior field energy and a remaining material-plus-interior contribution Erem≥0. Then Mc2≥q28πε0ℓ,ℓ≥q28πε0Mc2. 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 ℓ>0, total charge q, total rest mass M>0, exact exterior field stated above, and Mc2=Eext+Erem with Erem≥0.

[A1]

The rest-energy accounting is adopted for this item: Mc2=Eext+Erem with the remaining material-plus-interior energy Erem≥0.

[A2]

The exterior electric field is the Coulomb field of charge q for every r>ℓ, 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

[F1]

In vacuum, the electromagnetic energy density is u=ε0∣E∣2/2+∣B∣2/(2μ0), with the positive SI constant ε0. 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

[F2]

For the point-charge Coulomb field centered at spatial coordinate x0, the energy in the finite shell δ≤∣x−x0∣≤R is q2(1/δ−1/R)/(8πε0). Here x0=0, the spatial coordinate of the inertial-frame origin event o. Divergence of the point-charge field energy and the limits of mass inference

[F3]

If nonnegative measurable functions fn increase pointwise to f, then ∫fn increases to ∫f (Monotone convergence for the integral).

Proof

technique · direct
1.1givenA2F1F2F3algebra

From [A2] and [F1], the exterior energy density is u(x)=ε0∣E(x)∣2/2≥0 on Ωℓ. For each positive integer n, set δn:=ℓ+ℓ/n, Rn:=ℓ(n+2), and An:={x:δn≤r≤Rn}. These measurable shells increase to Ωℓ, and their nonnegative energy integrands increase pointwise to u 1Ωℓ. By [F3], Eext=lim⁡n→∞∫Anu d3x. Applying [F2] with δ=δn and R=Rn gives ∫Anu d3x=q2(1/δn−1/Rn)/(8πε0), whose limit is q2/(8πε0ℓ), including q=0. This applies only under the stated exact exterior-field and energy-accounting hypotheses, not to every spherical profile.

2.1givenA1step 1.1algebra∎

By [A1], Mc2=Eext+Erem≥Eext. Substitute step 1.1 to get Mc2≥q2/(8πε0ℓ). Since M,c,ℓ,ε0 are positive, multiplication by ℓ and division by Mc2 yield ℓ≥q2/(8πε0Mc2).

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

Dependency tree · 2 levels

Sources