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

Harmonic static multicenter electrovac model

Physical scope

Conditional source-free classical Einstein–Maxwell model on the smooth exterior of finitely many removed centers, with a common electric sign and positive selected SI mass parameters. Fluxes are through regular spheres. No source is asserted at an excluded center; no horizon extension, completeness, stability, black-hole realization, observation, or empirical validity is claimed.

Statement

Let N≥1 be finite, let a1,…,aN∈R3 be distinct length-coordinate points, choose SI mass parameters m∗,A>0, and fix one sign σ∈{−1,+1}. Set mA:=GNm∗,Ac2,D:=R3∖{a1,…,aN},H(x):=1+∑A=1NmA∣x−aA∣. The positive length parameters mA make H dimensionless and smooth positive harmonic on D. The future unit field is NH=H∂x0, with gH(NH,NH)=−1. Here static means the metric coefficients are independent of x0, have no dx0dxi terms, and are invariant under x0↦−x0; the displayed metric has all three properties. On M=Rx0×D, with x0=ct and the orientation of Positive harmonic conformastatic electrovac data, take gH=−H−2(dx0)2+H2δijdxidxj,Aσ=σ(H−1−1)dx0,Fσ=dAσ,F:=α−1Fσ, where α=4πGN/(μ0c4) as in SI and geometric solution parameter identifications. Under the adopted equation-based model of Equation-based Einstein–Maxwell model with Λ=0, j=0, and Tm=0, these data satisfy the source-free SI equations dF=0,∇agFab=0,Gab=κETabEM. For each A and r>0, define the coordinate sphere and its closed ball by SA(r):={x∈R3:∣x−aA∣=r}.

B‾A(r):={x∈R3:∣x−aA∣≤r}. Orient SA(r) by its outward unit normal relative to the standard orientation of R3. For every such sphere S⊂D, fix any s∈Rx0 and use is,S:S↪M, is,S(x)=(s,x), with the transported outward orientation. Every flux written over S below means the integral of the spacetime form pulled back by is,S; by Finite positive multicenter MP exterior and fluxes these values are independent of s. Whenever B‾A(r) contains no other center, the geometric fluxes are qe(SA(r))=σmA,qm(SA(r))=0. The corresponding SI electric-flux parameter is Qe,A:=ε0c∫SA(r)⋆gF=σ4πε0GN m∗,A, and its magnetic flux ∫SA(r)F is zero. Define the outward-oriented origin-centered sphere by SR:={x∈R3:∣x∣=R}, where the orientation is induced by the outward unit normal relative to the standard orientation of R3. For R>max⁡A∣aA∣, it has the sum of these electric fluxes. These are model parameters and regular-sphere fluxes, not measurements or evidence of regular material sources at the removed points.

Facts & Assumptions

Given: A finite nonempty set of distinct centers, positive SI masses, one common sign σ, positive SI constants, and the smooth source-free branch of the adopted equation-based postulate.

[F1]

Positive harmonic conformastatic electrovac data: for smooth positive harmonic H, the metric is gH=−H−2(dx0)2+H2δijdxidxj, with Aσ=σ(H−1−1)dx0 and Fσ=dAσ.

[F2]

Finite positive multicenter MP exterior and fluxes: for finitely many distinct centers and positive lengths mA, H=1+∑AmA/∣x−aA∣ is positive harmonic on the punctured exterior; its geometric sphere fluxes are qe=σmA locally and qe=σ∑AmA outside all centers, with qm=0. This proposition is draft with a complete current proof and Step 1 authoring-ready record; this consumer uses its statement conditionally, not as independent proof approval.

[F3]

Full harmonic Majumdar-Papapetrou Einstein-Maxwell verification: the harmonic data satisfy dFσ=d(⋆gFσ)=0 and Ric⁡=2Q(Fσ). This draft theorem has a complete current proof and Step 1 authoring-ready record; its result is consumed conditionally, without claiming independent approval.

[F4]

Geometric electrovac data solve the selected SI equations: every such geometric electrovac datum, after F=α−1F, satisfies the zero-source SI equation-based Einstein–Maxwell model. This local theorem is draft with its complete proof authored; it is used conditionally and has no independent approval.

[F5]

SI and geometric solution parameter identifications: mA=GNm∗,A/c2, qe=α(4πε0c)−1Qe, qm=α(4π)−1ΦB, and α2=4πGN/(μ0c4).

[F6]

Equation-based Einstein–Maxwell model: the adopted field equations use Gab+Λgab=κE(TabEM+Tabm) and ∇aFab=−μ0jb; this item sets all three sources to zero.

[A1]

The Axiom of Countable Choice (ACω): the geometric flux convention inherits only ACω; the finite center family and its finite flux sums require no stronger choice principle.

Proof

Given: The hypotheses and exact current interfaces in [F1]–[F6] and [A1]; in particular N≥1, aA≠aB for A≠B, m∗,A>0, and σ∈{−1,+1}.

1.1givenF1F2F5algebra

Since GN,c,m∗,A>0, each mA=GNm∗,A/c2 is a positive length. The Statement defines SA(r)={x∈R3:∣x−aA∣=r} and its closed ball, with outward Euclidean orientation; if that ball contains no other center, then SA(r)⊂D and the regular-sphere hypothesis of [F2] holds. The formula for H is exactly the finite harmonic family in [F2], so it is smooth, positive, and Euclidean harmonic on D, with the regular-sphere and outer-sphere geometric fluxes stated there.

2.1givenF1F3F4F5F6step 1.1

The data in step 1.1 therefore meet [F1] and the full geometric field equations in [F3]. Apply the SI conversion theorem [F4] with the same constant α from [F5]. The resulting smooth SI two-form F=α−1Fσ satisfies the source-free Maxwell and Einstein equations after the specialization of [F6]. This is a deduction within the adopted model.

2.2givenF2F5step 1.1algebra

Use the smooth embedding is,S and its pullback convention from [F2] on each isolated sphere; its image is a compact oriented sphere in M. The time-independent flux calculation in [F2] gives qe=σmA and qm=0. The SI flux relation in [F5] rearranges to Qe,A=(4πε0c/α)σmA. Substituting mA=GNm∗,A/c2 and ε0μ0c2=1 gives Qe,A=σ4πε0GN m∗,A. Since qm=α(4π)−1∫SF=0 and α>0, the SI magnetic flux vanishes.

3.1givenF2F5A1step 2.2algebra∎

For the origin-centred sphere SR={x:∣x∣=R} with R>max⁡A∣aA∣, [F2] gives qe=σ∑AmA and qm=0. The same linear flux conversion in [F5] gives the sum of the individual SI electric-flux parameters; the finite sum makes no selection or limiting argument under [A1]. The centers remain outside M, so this calculation asserts no equation or regularity at any aA.

Depends on

Dependency tree · 2 levels

Sources