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.
A smooth chart with no isothermal pressure inverse
Constructed local concave entropy chart at fixed composition, used only to show failure of a response-coordinate inverse; it is not a measured material equation of state or a complete bulk-family model.
Example
Fix the amount of substance and stipulate the local entropy representative
on the open domain , , where has units , has units joules, has units , and has units . This chart is finite, C2, concave, and has . It illustrates that a smooth positive-temperature chart need not admit pressure as a local coordinate at fixed temperature.
The displayed entropy is in physical SI coordinates. For this constructed local model, choose the positive-amount open neighborhood stated here (or any positive neighborhood of the fixed amount, extending this entropy independently of amount) and let be the numerical preimage of that product patch under . Declare as the model's local state-domain patch and set . The derivatives below are those of on , exactly as in Entropic temperature, pressure, and molar chemical potentials. This supplies the numerical-to-SI chart identification for the formal witness, with no assertion of a measured material or a global constitutive extension.
Facts & Assumptions
Given: The stipulated entropy chart and positive constants in the Example. The chart is a constructed model calculation; it reports no measurement.
SI quantities and unit conventions: is in joules, in cubic metres, in , in kelvins, and in pascals.
The natural logarithm as the inverse of the exponential function and The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: The logarithm is defined on positive arguments and for .
Entropic temperature, pressure, and molar chemical potentials: and on the stipulated positive-temperature chart.
Thermodynamic response functions on valid local charts: is defined only where the required local inverse chart exists.
Verification
By [F2], and . Hence [F3] gives and . The Hessian of in is diagonal with entries and , so it is negative semidefinite on the open domain.
At fixed , the equation is independent of . Therefore the map is not injective on any open neighborhood, so the inverse required by [F4] does not exist and is not defined by that chart. This does not contradict a theorem whose hypotheses require a valid response inverse.