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.
Physical KN family work and constancy
The subextremal, zero-magnetic-flux, selected smooth Kerr–Newman solution family with its stated asymptotic time and displayed electromagnetic gauge references. The work identity is a differential identity on family parameters, not a dynamical-process law or an ADM/Komar identification.
Statement
Fix and . Let be the selected SI mass parameter, the selected angular-momentum parameter, and the selected electric charge parameter, with zero magnetic flux. Define the geometric length parameters and field normalization by Assume the strict subextremal condition . Set Assume as defined in The Axiom of Countable Choice (), the choice convention inherited by the selected geometric flux parametrization; no full Axiom of Choice is used. In the selected smooth ingoing KN model, the outer Killing horizon has generator where is a length coordinate and is the smooth rotation field of the unit two-sphere. Normalize time by , and define Thus ; is the acceleration-unit surface gravity; and is the voltage in the displayed gauge, constant on the horizon cross-section and vanishing at spatial infinity. The quantities , , and are constant on each fixed cross-section because the selected horizon formulas depend only on the family parameters. Let be the energy-valued parameter derived from the selected mass input. For ordinary differentials on the strict physical parameter domain, with fixed, the exact family identities are and The quantities have units , , , , and . The joint Schwarzschild point is included by the separate exact Schwarzschild horizon-data supplier; the generic physical horizon theorem itself states a nonzero-rotation-or-charge hypothesis.
These identities concern the selected stationary family and its stated normalizations. They are not a dynamical-process first law, and is not identified here with ADM or Komar gravitational energy. No operational temperature, physical entropy, Hawking calibration, or extremal-boundary claim follows from this calculation.
Facts & Assumptions
Given: Fixed positive SI constants, a zero-magnetic-flux selected KN family with , and .
SI and geometric solution parameter identifications: and . These are length-valued model parameters; this map makes no ADM or Komar identification.
Thermodynamics-GR fields, currents, reference normalization and units: length coordinates use ; has units , has units , and a length-normalized Killing generator is distinct from its time-normalized version.
Verified rotating electric KN physical model: for the stated SI inputs and zero magnetic flux, the selected KN data conditionally solve the equation-based , zero-current, zero-matter-stress model on its stated regular domains. This physical theorem's proof is conditional on its exact current mathematical supplier statements.
Regular ingoing KN metric, field and sphere axes: the selected ingoing product model has smooth metric and potential data across every positive root; its geometric electrovac equations extend there conditionally on the current verification interface.
Rotating model horizons and selected causal escape: for , the selected outer KN horizon has area , geometric angular velocity , geometric surface gravity , and displayed-gauge geometric potential . Its SI conversion uses for angular rate, for acceleration surface gravity, and for voltage; the potential tends to zero at spatial infinity. The current proof remains draft and is used only at its exact interface.
Verified Kerr-Newman family first law and Smarr identity: on , with , , , , and , the exact identities are and . This is a proved mathematical family identity, not a physical process statement.
Exact Schwarzschild horizon data at the zero-rotation KN point: at , the exact selected ingoing metric has a future Killing horizon at , area , geometric surface gravity , and zero angular velocity and potential. This covers the point excluded by the nonzero hypothesis in [L1].
The Axiom of Countable Choice (): means every countable family of nonempty sets has a choice function. It is inherited from the geometric flux convention in [F1]; no stronger choice principle is used.
SI and geometric solution parameter identifications: at zero magnetic flux, , , and .
are positive constants held fixed while the family parameters vary; ; magnetic flux is zero; the strict inequality excludes extremality.
Proof
The parameter map [F1], [F8], under the inherited convention [F7], sends every stated SI triple to a point and makes the full domain strict subextremal. When , [L1] supplies the selected outer horizon, its constant cross-section data, and the stated time and gauge normalizations. At the remaining point , [F6] supplies the exact Schwarzschild horizon data; [F3]–[F4] keep this specialization within the selected physical solution family and its smooth ingoing model. Hence the geometric quantities used in [F5] coincide with the selected model's horizon quantities throughout the stated physical domain.
Write . From [F1], [F8], The horizon formulas give and . For the voltage, where the last equality uses from [F8]. Thus , and the area is the same as in [F5].
Multiply the first identity in [F5] by . The term becomes ; the area term becomes ; and the angular term becomes by [F1] and step 1.2. The charge term becomes using fixed constants and step 1.2. This proves the physical-unit family differential identity.
Multiply the Smarr identity in [F5] by . Applying the same constant conversions from step 1.2 sends its four terms respectively to , , , and . This proves the displayed Smarr identity on the same strict domain. These are identities between stationary family parameters, not a time-dependent process or an ADM/Komar energy theorem.
Remarks
The explicit zero-spin, zero-charge case uses [F6] because the generic physical horizon interface [L1] assumes . The strict family excludes the extremal boundary, where ; no positive-temperature division or thermodynamic interpretation is made.
Depends on
Thermodynamics-GR fields, currents, reference normalization and units
SI and geometric solution parameter identifications
Verified rotating electric KN physical model
Regular ingoing KN metric, field and sphere axes
Exact Schwarzschild horizon data at the zero-rotation KN point
Rotating model horizons and selected causal escape
Verified Kerr-Newman family first law and Smarr identity
The Axiom of Countable Choice ()