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.
Mechanical pressure-volume work coupling
Smooth positive-temperature single-phase charts for simple-compressible systems coupled to a rigid planar constant-area piston along a C1 path of equilibrium states with zero net normal force and no tangential friction; other work coordinates and paths outside this idealized regime are excluded.
Postulate
For a simple-compressible system whose only admitted mechanical equilibrium coordinate is volume, model the piston as a planar boundary of fixed area in that translates only along its outward unit normal without changing shape. Let in metres be its outward displacement coordinate, so the enclosed volume is for a fixed reference value . Let be an open positive-temperature single-phase chart of equilibrium states, with equilibrium states as in Equilibrium state domains.
A quasistatic piston leg in this postulate is a map on a compact interval , with , of a dimensionless parameter, fixed composition , , and the system in an equilibrium state at every . Each coordinate function is continuous on , differentiable on , and has a derivative extending continuously to ; equivalently the leg is in its Euclidean coordinates. A piecewise- quasistatic piston path is a finite concatenation of these legs with matching endpoint state and piston position. The path is frictionless when the tangential contact force vanishes on every leg. It is in mechanical equilibrium when the net normal force on the piston is zero at every path point; thus the external load balances the system's outward normal force. Write for the signed outward normal force component, measured in newtons, exerted by the system on the piston, and define the oriented mechanical pressure by , in pascals.
For every such path, adopt the identification
where is the derivative-defined pressure of Entropic temperature, pressure, and molar chemical potentials, evaluated at . With positive for work done on the system, the system's outward work on the piston is , so the coupling assigns the work increment along the path
Here denotes an increment along the stated path; no path-independence is asserted. This is an adopted, regime-limited physical assumption, not a deduction from the entropy derivative or from the first-law balance First-law energy balance for closed process records. It makes no claim for friction, paths outside the quasistatic regime, changing piston area, shear, surface forces, fields, composition transfer, or other generalized coordinates.