Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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

Physical scope

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 T has continuous first spatial partial derivatives, defined as in Directional derivatives and partial derivatives of a map U⊆Rm→Rn, and write

∇T:=(∂x1T,∂x2T,∂x3T)∈R3.

Here the physical coordinate indices i=1,2,3 correspond to function indices i−1 in The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn and Directional derivatives and partial derivatives of a map U⊆Rm→Rn.

The components of ∇T have units K m−1.

Matrices are elements of M3×3(R) as in The vector space Mm×n(F):=F m×n of m by n matrices over a field, with entrywise operations. In the physical one-based display, Kij denotes the library matrix entry with indices (i−1,j−1), and vi denotes vector coordinate i−1, for i,j=1,2,3. The action is (Kv)i:=∑j=13Kijvj; I3 is the matrix with entries 1 on the diagonal and 0 off it as in Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes. A Fourier heat-transport model may postulate

jQ(x,t)=−K(x,t)∇T(x,t),

where jQ:O×I→R3 is a continuous heat-energy flux field in W m−2 and K:O×I→M3×3(R) is a declared conductivity tensor field with entries in W m−1 K−1. In an isotropic model K(x,t)=κ(x,t)I3, where κ:O×I→[0,∞) is the declared scalar conductivity field. A diffusion model may separately postulate jn=−D∇n, where number density n:O×I→[0,∞) is in m−3, number flux jn:O×I→R3 is in m−2 s−1, and D is either a scalar field D:O×I→R or a matrix field D:O×I→M3×3(R) with coefficient units m2 s−1; 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 C⊆Ξ×Ξ, a collision invariant is a real-valued function Q:Ξ→R satisfying Q(ξ′)=Q(ξ) for every (ξ,ξ′)∈C. If the model has a distribution f on a declared phase space and a collision operator C[f] giving the collision contribution to its evolution, a single-relaxation-time replacement may be Cτ[f]=−(f−f0)/τ, with model-declared reference distribution f0 and τ>0. 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

Dependency tree · 2 levels

Sources