Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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 E=−e, δ=er0/A∈(0,1/16], and z(δ)=δ3/2(1−δ)3/2J(δ),B(δ)=32+z(δ). For the Gibbs-volume entropy SG(E)=kBlog⁡Ω(E) and temperature convention 1/TG=dSG/dE, TG(E)=ekBB(δ),CG(E):=dEdTG=−kBB(δ)2B(δ)−δB′(δ)<0. The denominator is at least 1. Derivatives are ordinary for 0<δ<1/16; at δ=1/16, compute dSG/dE and dTG/dE as right derivatives from within the branch and define CG=1/(dTG/dE). 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 μ,A,r0, R>16r0, energy E=−e with A/R<e≤A/(16r0), and the Gibbs-volume convention.

[F1]

The relative Hamiltonian, phase volume, and entropy convention are defined by the regulated shell item, with Ω(−e)=CA3e−3/2J(er0/A) for a positive constant C. (Regulated relative Kepler phase volume and shell law)

Proof

1.1F1algebra

Write e=−E and δ=er0/A. For f(s)=s1/2(1−s)3/2 and h≠0 with δ+h∈(0,1), the oriented-integral identity gives (J(δ+h)−J(δ))/h=−(1/h)∫δδ+hf(s) ds; continuity makes this tend to −f(δ). At δ=1/16, restrict to h<0, which corresponds to right increments in E within the branch. Hence J′(δ)=−δ1/2(1−δ)3/2, with the one-sided interpretation at the endpoint. Differentiating log⁡Ω=C1−32log⁡e+log⁡J(δ) with respect to E=−e gives dSG/dE=kB(32+z)/e=kBB/e. Its reciprocal is the stated positive TG.

1.2F1algebra

On [1/4,1/2]⊆[δ,1], s1/2≥1/2 and (1−s)3/2≥1/4, so J(δ)≥1/32. Also δ3/2≤1/64 and (1−δ)3/2≤1, hence 0<z≤1/2.

2.1step 1.1algebra

Differentiating TG=e/[kBB(δ)] with respect to e, using dδ/de=δ/e, yields dTGde=B−δB′kBB2. Since E=−e, inversion gives the displayed formula for CG, provided B−δB′>0.

3.1step 2.1step 1.2algebra∎

Logarithmic differentiation of z gives δz′=32z1−2δ1−δ+z2≤32z+z2, because 0<δ≤1/16 makes (1−2δ)/(1−δ)≤1. Therefore B−δB′=32+z−δz′≥32−z2−z2≥1 when 0<z≤1/2. Step 2.1 now gives CG<0 throughout the branch.

Depends on

Dependency tree · 2 levels

Sources