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.
Galilean inertial charts and the center-of-mass rest frame
The Newtonian frame convention and internal-energy split used in this thermodynamic framework, restricted to mechanical models that supply positive mass, center-of-mass data, and Galilean-compatible transformations; no relativistic energy law or dynamical theorem is asserted.
Definition
For this nonrelativistic framework, a Newtonian event-coordinate domain is the Cartesian product (The Cartesian product ), where is an open time interval as in Intervals of : the nine order-convex forms, nondegeneracy, and length, measured in seconds, and has the Euclidean inner product and norm of The Euclidean inner product on (the norm properties follow from Cauchy-Schwarz with its equality case, the triangle inequality for , the parallelogram law and polarisation); lengths are measured in metres as in SI quantities and unit conventions. A Galilean inertial chart labels events in such a domain by coordinates . If a second chart uses the translated time domain , the allowed coordinate changes are where is a constant time shift measured in seconds, is a constant spatial translation measured in metres, is a constant boost velocity measured in metres per second, and is a dimensionless constant matrix (The vector space of by matrices over a field, with entrywise operations) satisfying using matrix transpose and product (The transpose of a matrix, Rectangular matrix multiplication and the identity matrix , including zero-sized shapes), with the identity matrix. In the coordinate formula, for . Thus time is absolute in this model and no Lorentzian structure is used. Here “frame” means this coordinate chart, not an observer congruence or a basis/tetrad field.
For a finite point-mass representation with (The natural numbers (von Neumann)), , masses in kg at positions in metres for , assume (Finite sums and finite products, by recursion) and define the center-of-mass coordinates by for ; these three real coordinates form . The masses are invariant under the allowed chart changes. Other mechanical models must supply their total mass and center-of-mass map; this thermodynamic item does not construct those quantities for a continuum or field model. Every admitted mechanical model must also supply center-of-mass maps and velocities that transform under the displayed Galilean chart changes by and , where ; these are kinematic compatibility conditions, not dynamical theorems about arbitrary mechanical models. When a model supplies three coordinate functions for as in The vector space of all functions with pointwise operations, and as the case , assemble its center-of-mass position as . At a time where each component limit exists, define the velocity by through , for each , using the scalar limit of The - limit of at a limit point of ; these three components form . A statewise instantaneous center-of-mass rest chart at a specified time is the Galilean chart obtained by the pure boost with , , and . Its center-of-mass velocity vanishes at that event, but need not vanish at other times because the boost is constant. For an interval on which exists at every time, a single Galilean chart has zero center-of-mass velocity throughout if and only if is constant on : in such a chart for every , so is constant, and conversely a constant velocity is made zero by the pure boost . For a fixed closed body with total mass in kg, its separately tracked translational kinetic energy in a selected inertial chart is in joules; under a pure boost it is .
In this framework denotes the scalar internal-energy coordinate evaluated at a state in its statewise instantaneous center-of-mass rest chart. Thus an equilibrium preparation's internal energy is evaluated using the boost selected by its center-of-mass velocity at that preparation; a process using one chart with the center of mass at rest throughout its interval must separately satisfy the constant-velocity condition above. Bulk translational kinetic energy and any separately tracked external-field potential energy are excluded from . For a given state, the model treats as invariant between its center-of-mass rest charts that differ only by spatial translation or orthogonal orientation, and fixes its numerical zero, including any retained or subtracted constituent rest-energy offsets, consistently across the composition changes it admits. This is a nonrelativistic modeling convention, not a derived energy-transformation law.
Depends on
SI quantities and unit conventions
Intervals of : the nine order-convex forms, nondegeneracy, and length
The Cartesian product
The Euclidean inner product on
Cauchy-Schwarz with its equality case, the triangle inequality for , the parallelogram law and polarisation
The vector space of all functions with pointwise operations, and as the case
The - limit of at a limit point of
The natural numbers (von Neumann)
Finite sums and finite products, by recursion
The vector space of by matrices over a field, with entrywise operations
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes
The transpose of a matrix