Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: 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.

Constructed finite canonical gravitational equilibrium

Physical scope

Conditional on the finite equal-mass softened Newtonian model with bounded positive-volume box and fixed a>0; proves normalization, the stated Gibbs variational optimum, and nonnegative fixed-Hamiltonian canonical response, not thermalization or stability of a changing/self-consistent background.

Statement

Fix N≥2, a bounded measurable box B⊂R3 with 0<∣B∣<∞, m,G,a,kB,h∗>0, a>0, and β>0. Adopt the physical preparation in Finite regulated Newtonian gravitational canonical preparation with its fixed Hamiltonian HN,a and reference measure νN. Conditional on the exact current mathematical interfaces in Finite gravitational Gibbs normalization and differentiable moments, Unique finite gravitational Gibbs variational optimum, and Nonnegative fixed-Hamiltonian canonical heat capacity, the partition function ZN(β)=∫e−βHN,adνN is finite and positive, and pβ=ZN−1e−βHN,a is a normalized density.

For a measurable function g with finite expectation, write ⟨g⟩ρ:=∫gρ dνN and ⟨g⟩β:=∫gpβ dνN; define Var⁡β(HN,a):=∫(HN,a−⟨HN,a⟩β)2pβ dνN. For every measurable probability density ρ relative to νN with 0log⁡0:=0, ∫∣ρlog⁡ρ∣dνN<∞, and ∫∣HN,a∣ρdνN<∞, its reference-relative entropy S(ρ)=−kB∫ρlog⁡ρdνN satisfies S(ρ)−kBβ⟨HN,a⟩ρ≤kBlog⁡ZN. Equality holds exactly at ρ=pβ almost everywhere; among densities with the same mean energy as pβ, this is the unique entropy maximizer. With TK=(kBβ)−1 and the Hamiltonian, box, and regulator held fixed, CK:=d⟨HN,a⟩βdTK=kBβ2Var⁡β(HN,a)≥0. These are deductions about the specified model and density class. They do not assert dynamical equilibration, a self-consistent relativistic solution, or a thermodynamic limit.

Facts & Assumptions

Given: The finite regulated Newtonian preparation, β>0, and the fixed-parameter temperature convention TK=(kBβ)−1.

[A1]

The physical model adopts N≥2, equal positive masses, a bounded finite-positive-volume box, softening a>0, and the fixed Hamiltonian/reference measure stated in the Postulate. (Finite regulated Newtonian gravitational canonical preparation)

[F1]

For these hypotheses and every β>0, 0<ZN(β)<∞ and pβ=ZN−1e−βHN,a is positive and normalized; all energy moments are finite. (Finite gravitational Gibbs normalization and differentiable moments)

[F2]

In the stated density class, the relative-entropy inequality is sharp exactly at pβ, giving the unique equal-mean-energy entropy maximizer. (Unique finite gravitational Gibbs variational optimum)

[F3]

For a fixed softened Hamiltonian, CK=kBβ2Var⁡β(HN,a)≥0. (Nonnegative fixed-Hamiltonian canonical heat capacity)

Proof

1.1givenA1F1

The hypotheses in [A1] are those required by [F1]. Therefore ZN(β) is finite and strictly positive and pβ=ZN−1e−βHN,a defines a normalized probability density relative to νN. This normalization is a mathematical deduction for the adopted finite model.

1.2givenF1F2algebra

For every ρ in the density class of the Statement, [F2] gives S(ρ)−kBβ⟨HN,a⟩ρ≤kBlog⁡ZN, with equality only if ρ=pβ almost everywhere. Restricting to densities with ⟨HN,a⟩ρ=⟨HN,a⟩β makes the left side differ from S(ρ) by the same constant; hence pβ is the unique entropy maximizer in that class.

2.1F1F3algebra∎

Since [F1] supplies the finite moments and differentiable partition function and [F3] gives the fixed-Hamiltonian response identity, the canonical response is CK=kBβ2Var⁡β(HN,a). A variance is an expectation of a nonnegative square, and kBβ2>0, so CK≥0.

Depends on

Dependency tree · 2 levels

Sources