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.
Scope of transport constitutive laws
Prospective near-equilibrium continuum transport models with declared local fields and material-specific constitutive data; no universal transport coefficient or experimental value is asserted.
Remark
Scope.
Use the fields and local-equilibrium regime of Scope of a local-equilibrium continuum branch. For this constitutive relation, assume has continuous first spatial partial derivatives, defined as in Directional derivatives and partial derivatives of a map , and write
Here the physical coordinate indices correspond to function indices in The Euclidean inner product on and Directional derivatives and partial derivatives of a map .
The components of have units .
Matrices are elements of as in The vector space of by matrices over a field, with entrywise operations. In the physical one-based display, denotes the library matrix entry with indices , and denotes vector coordinate , for . The action is ; is the matrix with entries on the diagonal and off it as in Rectangular matrix multiplication and the identity matrix , including zero-sized shapes. A Fourier heat-transport model may postulate
where is a continuous heat-energy flux field in and is a declared conductivity tensor field with entries in . In an isotropic model , where is the declared scalar conductivity field. A diffusion model may separately postulate , where number density is in , number flux is in , and is either a scalar field or a matrix field with coefficient units ; its regularity and positivity conditions are model data.
These are constitutive choices for specified material, geometry, regime, field regularity and boundary conditions. In a kinetic model with microscopic state space and allowed collision transitions , a collision invariant is a real-valued function satisfying for every . If the model has a distribution on a declared phase space and a collision operator giving the collision contribution to its evolution, a single-relaxation-time replacement may be , with model-declared reference distribution and . This replacement need not preserve collision invariants unless it is constrained to preserve their integrals against the model's state distribution. Different kinetic, linear-response and quantum transport models use different hypotheses and coefficient definitions; a coefficient derived in one is not thereby universal. No kinetic operator or reciprocity law is defined or asserted here. Microscopic calculations and measurements may determine or test coefficients for a specified model and material, but neither the equilibrium entropy postulates nor dimensional consistency alone determine them.
Any heat equation or transport conclusion additionally needs the relevant conservation balance, sources or work terms, constitutive relation, initial data and boundary conditions. No such evolution equation, Onsager relation, or transport coefficient is proved or adopted by this remark.
Depends on
Scope of a local-equilibrium continuum branch
A function is a relation with and implying ; , the value , domain and codomain
The Euclidean inner product on
Directional derivatives and partial derivatives of a map
The vector space of by matrices over a field, with entrywise operations
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes