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.
Negative Gibbs-volume capacity in a finite regulated shell
Statement
Under Regulated relative Kepler phase volume and shell law, let , , and For the Gibbs-volume entropy and temperature convention , The denominator is at least . Derivatives are ordinary for ; at , compute and as right derivatives from within the branch and define . This is a finite regulated mathematical branch with the stated entropy convention; it does not identify a universal operational temperature or dynamical stability.
Facts & Assumptions
Given: Positive , , energy with , and the Gibbs-volume convention.
The relative Hamiltonian, phase volume, and entropy convention are defined by the regulated shell item, with for a positive constant . (Regulated relative Kepler phase volume and shell law)
Proof
Write and . For and with , the oriented-integral identity gives ; continuity makes this tend to . At , restrict to , which corresponds to right increments in within the branch. Hence , with the one-sided interpretation at the endpoint. Differentiating with respect to gives . Its reciprocal is the stated positive .
On , and , so . Also and , hence .
Differentiating with respect to , using , yields Since , inversion gives the displayed formula for , provided .
Logarithmic differentiation of gives because makes . Therefore when . Step 2.1 now gives throughout the branch.
Depends on
Dependency tree · 2 levels
Sources
- Joseph Katz, Thermodynamics and Self-Gravitating Systems, Foundations of Physics 33 (2003), author manuscript
- David Tong, Statistical Physics, complete author-hosted lecture notes
- Pierre-Henri Chavanis, Statistical mechanics of self-gravitating systems in general relativity: II. The classical Boltzmann gas