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.
Dyonic Kerr-Newman parameters and conserved electric/magnetic flux
Statement
Let and choose an auxiliary length . Use the full-sphere exterior extension Full-sphere exterior extension of the Kerr-Newman datum with parameters on an annulus where . For example, take . For every , and , so . For constant , the dual-rotated field has flux parameters The metric depends on these two parameters only through . The unrotated electric field has zero magnetic sphere flux and electric sphere flux . Flux conservation is asserted only between finite homologous exterior spheres; no quantization or noncompact side-flux claim is made.
Facts & Assumptions
Given: The electric KN datum, its source-free field equations, a full sphere in an exterior annulus, and a constant duality angle .
Fully verified electric Kerr-Newman electrovacuum: the electric KN equations hold on every pole-free chart and on the full-sphere exterior extension.
Classical electrovac dual rotation: a constant dual rotation preserves the source-free Maxwell equations and the tensor .
Full-sphere exterior extension of the Kerr-Newman datum: on the metric and potential extend smoothly across both poles; is the global form agreeing with away from the poles.
Stokes theorem for smooth singular chains: for a finite smooth singular chain and smooth form , ; the chain integral is additive and its boundary is the signed face chain.
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion makes a continuous real integrand on a compact interval Riemann integrable. The second fundamental theorem: if is differentiable on with and is integrable, then evaluates its integral as when it is the derivative of a differentiable primitive .
with , so implies . The rational Boyer-Lindquist formulas are used only on ; the global fields at the poles are those of [F3].
Proof
On the sphere let and . Then away from the poles, and [F3] proves this is a global smooth one-form. At a fixed , represent by the oriented radial projections of the eight octahedral faces; each projection extends smoothly to a neighborhood of its face, shared edges cancel, and the resulting finite smooth singular two-chain has zero boundary. The global potential is smooth since . Hence and [F5] gives .
For the explicit unit-sphere parametrization , direct differentiation gives . Thus its outward area form pulls back to . By [F4], the continuous sine density is integrable and its primitive evaluates each polar integral. Integrating on , gives ; the two caps have total area by the same bounded polar density, tending to zero. Hence . In the oriented coordinates, direct raising of and with the KN inverse metric gives The numerator factor minus is , whose absolute value is at most for . Since , the remainder is uniformly on the sphere. Hence .
For , in the fixed- slice of step 1.1, take the product of each of the same eight projected triangular faces with . Each triangular prism splits into three tetrahedra; their oriented sum is a finite smooth singular three-chain , internal faces cancel, and its boundary is . By steps 1.1-1.2 and [F1], on this shell. Stokes [F5] therefore gives Step 1.2 identifies the common value as .
The fluxes of satisfy by [F2]. Dividing the two sphere integrals by and using steps 1.1 and 2.1 gives and .
The metric function is unchanged because . The stress tensor is unchanged by [F2], so the same metric satisfies the dyonic geometric electrovac equations. This is a classical flux normalization; no integrality condition follows.
Remarks
The asymptotic limit is used only to evaluate the electric flux constant on a finite exterior sphere. It is not an assertion of charge conservation on an arbitrary noncompact region.
Depends on
Full-sphere exterior extension of the Kerr-Newman datum
Fully verified electric Kerr-Newman electrovacuum
Classical electrovac dual rotation
Stokes theorem for smooth singular chains
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
The second fundamental theorem: if is differentiable on with and is integrable, then