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.
Rectangular local-equilibrium field data
Smooth local-equilibrium continuum data on a fixed three-dimensional Euclidean rectangle; this definition adopts no balance law or constitutive law.
Definition
Let be an open interval measured in seconds, let be lengths in metres, and set with closure . A rectangular local-equilibrium field record consists of an open temperature interval , a temperature field whose time derivative through order one and spatial derivatives through order two extend continuously to , a function of internal-energy density in , and its volumetric heat capacity in . The coordinates are lengths in metres, and is measured in kelvins, using SI quantities and unit conventions.
The record may also include a thermal-energy flux-density field with components in and a conductivity field with entries in . For any unit vector , is the signed thermal-energy transfer rate per unit area in direction , positive when energy flows along . The flux and tensor are field data here; no relation between them is imposed by this Definition. In Euclidean coordinates, . The classical divergence is defined at interior points where these three partial derivatives exist. No spatial differentiability of an optional flux is assumed here; any balance or result using its divergence throughout a domain must impose the needed regularity. On a flat face, denotes its outward unit normal.
This is a specified regular field class on a fixed rigid body. It does not assert that every physical medium has local-equilibrium fields, nor does it adopt a heat equation, a boundary condition, Fourier's law, or an entropy-production law.
Remarks
The label “local-equilibrium field record” names this model's field class; it is not a claim about microscopic equilibration.