Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

Stable equilibrium with retained unequal volumes

Physical scope

A constructed two-subsystem entropy-maximization example with fixed volumes; it illustrates the effect of retained constraints and is not an empirical model of a named substance.

Example

For each of two separated fixed-composition subsystems i∈{A,B}, let Oi⊆Dci be an open dimensionless single-phase subset with physical chart Ωi=Φci(Oi) as in Entropic temperature, pressure, and molar chemical potentials. Fix positive amounts ni with nonempty physical slices Ωi,ni:={(Ui,Vi):(Ui,Vi,ni)∈Ωi}. Fix U0>0 joules and V0>0 cubic metres, and set VA=V0 and VB=2V0. Assume Ωi,ni⊆(0,2U0)×(0,∞) and (U,Vi)∈Ωi,ni for every 0<U<2U0 and each i. Let each physical-coordinate entropy representative be Si(Ui,Vi)=aln⁡(Ui/U0)+bln⁡(Vi/V0) on its slice, where a,b>0 are in J K−1. The isolated compound permits energy exchange but retains the volume and mole partitions, and its adopted total entropy is SA+SB. For total energy 2U0, stipulate that every split 0<UA<2U0, UB=2U0−UA with these retained volumes and amounts is admitted, and that these are exactly the feasible endpoints. As additional model input, designate the split UA=UB=U0 as a stable equilibrium. This designation must satisfy Stable equilibrium requires an attained global entropy maximum, which supplies a necessary maximum criterion rather than a converse. The unique entropy-maximizing energy split is UA=UB=U0, so TA=TB=U0/a, while pA=bTA/V0 and pB=bTB/(2V0)=pA/2. Thus this model's stable equilibrium under energy exchange does not imply pressure equality when volume exchange is retained.

Facts & Assumptions

Given: a,b>0 in J K−1, U0>0 in joules, V0>0 in cubic metres, two independent separated subsystems, UA+UB=2U0, retained VA=V0, VB=2V0 and mole amounts, the stated physical-slice restrictions and exact feasible endpoints, and the additional model designation of the equal-energy split as stable equilibrium.

[A1]

Stable equilibrium requires an attained global entropy maximum: The adopted postulate requires every designated stable equilibrium to be an attained global maximum of the summed entropy over the exact feasible set; attainment is assumed, and no uniqueness is supplied.

[F1]

Isolated compound and feasible equilibrium set: The feasible set fixes the declared totals and retained partitions; an exchange is allowed only when the protocol permits it.

[F2]

Additive separated systems and tagged bulk scaling and Concave macroscopic fundamental entropy: The separated compound uses additive total energy and the sum of the constituent entropies. These postulates do not assert an empirical equation of state.

[F3]

Entropic temperature, pressure, and molar chemical potentials: T=1/SU and p=TSV on the smooth positive-temperature chart.

[F4]

The natural logarithm as the inverse of the exponential function: ln⁡ is the natural logarithm on the positive reals.

[F5]

Interior exchange conditions from entropy maximization: Pressure equality follows from entropy maximization only when the corresponding volume exchange is locally permitted (and thermal exchange supplies equal temperatures).

Verification

1.1givenA1F1F2F4L1algebra

The stipulated feasible-set model, slice restrictions and total-energy constraint make the feasible energy splits exactly u=UA∈(0,2U0) and UB=2U0−u. The ratios in f(u)=aln⁡(u/U0)+aln⁡((2U0−u)/U0) are positive, so [F4] applies. By [L1], f′(u)=a(1/u−1/(2U0−u)) and f′′(u)=−a/u2−a/(2U0−u)2<0. The derivative is positive for u<U0, zero at U0, and negative for u>U0; hence u=U0 is the unique global maximizer on the exact feasible set, so the additional stable-equilibrium designation satisfies the necessary criterion in [A1]. The entropy tends to −∞ at both excluded endpoints.

2.1givenF1F3F5step 1.1algebra∎

At the maximizing split, [F3] gives TA=UA/a=U0/a=TB. It gives pA=bTA/V0 and pB=bTB/(2V0), hence pB=pA/2≠pA since b,TA,V0>0. The volume partition is retained by [F1], so no volume-exchange equality is implied by [F5].

Depends on

Dependency tree · 2 levels

Sources