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.
Thermodynamic response functions on valid local charts
Finite response derivatives on smooth positive-temperature simple-compressible charts at fixed composition; no positivity or finite-response claim is made outside the specified charts.
Definition
Fix a constitution and an open dimensionless subset in the single-phase region of Equilibrium state domains. Its physical chart is , where is the SI coordinate map defined in Entropic temperature, pressure, and molar chemical potentials. For fixed physical amounts with nonempty slice , this slice is open in . Use from Entropic temperature, pressure, and molar chemical potentials as functions of the physical coordinates on . For a response derivative, restrict to an open neighborhood in where the required natural-coordinate map is a diffeomorphism onto an open image, so its inverse expresses the physical as functions of those natural coordinates ( Euclidean maps and diffeomorphisms). Specifically, uses at fixed , while , , and use at fixed . The existence of each such local chart is a hypothesis for its response derivative, not a consequence of this definition. Each derivative uses the indicated natural variables and holds all other listed coordinates fixed.
The constant-volume heat capacity and constant-pressure heat capacity of the whole system are, where the derivatives exist and are finite,
Here is the enthalpy in joules; both heat capacities are in , not per mole. The isothermal compressibility and isobaric thermal expansion coefficient are
Since and the coordinates use SI units (SI quantities and unit conventions), has units and has units . This definition asserts no sign for any response, no identity among them, and no finite value at a critical or otherwise singular chart.