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
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 , a bounded measurable box with , , , and . Adopt the physical preparation in Finite regulated Newtonian gravitational canonical preparation with its fixed Hamiltonian and reference measure . 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 is finite and positive, and is a normalized density.
For a measurable function with finite expectation, write and ; define . For every measurable probability density relative to with , , and , its reference-relative entropy satisfies Equality holds exactly at almost everywhere; among densities with the same mean energy as , this is the unique entropy maximizer. With and the Hamiltonian, box, and regulator held fixed, 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, , and the fixed-parameter temperature convention .
The physical model adopts , equal positive masses, a bounded finite-positive-volume box, softening , and the fixed Hamiltonian/reference measure stated in the Postulate. (Finite regulated Newtonian gravitational canonical preparation)
For these hypotheses and every , and is positive and normalized; all energy moments are finite. (Finite gravitational Gibbs normalization and differentiable moments)
In the stated density class, the relative-entropy inequality is sharp exactly at , giving the unique equal-mean-energy entropy maximizer. (Unique finite gravitational Gibbs variational optimum)
For a fixed softened Hamiltonian, . (Nonnegative fixed-Hamiltonian canonical heat capacity)
Proof
The hypotheses in [A1] are those required by [F1]. Therefore is finite and strictly positive and defines a normalized probability density relative to . This normalization is a mathematical deduction for the adopted finite model.
For every in the density class of the Statement, [F2] gives , with equality only if almost everywhere. Restricting to densities with makes the left side differ from by the same constant; hence is the unique entropy maximizer in that class.
Since [F1] supplies the finite moments and differentiable partition function and [F3] gives the fixed-Hamiltonian response identity, the canonical response is . A variance is an expectation of a nonnegative square, and , so .