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
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 , let be an open dimensionless single-phase subset with physical chart as in Entropic temperature, pressure, and molar chemical potentials. Fix positive amounts with nonempty physical slices . Fix joules and cubic metres, and set and . Assume and for every and each . Let each physical-coordinate entropy representative be on its slice, where are in . The isolated compound permits energy exchange but retains the volume and mole partitions, and its adopted total entropy is . For total energy , stipulate that every split , with these retained volumes and amounts is admitted, and that these are exactly the feasible endpoints. As additional model input, designate the split 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 , so , while and . Thus this model's stable equilibrium under energy exchange does not imply pressure equality when volume exchange is retained.
Facts & Assumptions
Given: in , in joules, in cubic metres, two independent separated subsystems, , retained , 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.
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.
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.
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.
Entropic temperature, pressure, and molar chemical potentials: and on the smooth positive-temperature chart.
The natural logarithm as the inverse of the exponential function: is the natural logarithm on the positive reals.
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
The stipulated feasible-set model, slice restrictions and total-energy constraint make the feasible energy splits exactly and . The ratios in are positive, so [F4] applies. By [L1], and . The derivative is positive for , zero at , and negative for ; hence 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.
At the maximizing split, [F3] gives . It gives and , hence since . The volume partition is retained by [F1], so no volume-exchange equality is implied by [F5].
Depends on
Isolated compound and feasible equilibrium set
Entropic temperature, pressure, and molar chemical potentials
Interior exchange conditions from entropy maximization
Additive separated systems and tagged bulk scaling
Concave macroscopic fundamental entropy
Stable equilibrium requires an attained global entropy maximum
The natural logarithm as the inverse of the exponential function
The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t