Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-15
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.

Fourier heat-flux constitutive model

Physical scope

An idealized local-equilibrium continuum regime in which the first-order Fourier relation is adopted. No quantitative gradient threshold or empirically validated coefficient range is specified; the conductivity may be anisotropic and state dependent.

Postulate

For the field record of Rectangular local-equilibrium field data, adopt jQ(x,t)=−K(x,T(x,t))∇T(x,t). Here K has entries in W m−1 K−1 and jQ in W m−2, so the equation is dimensionally consistent. Write Ks=(K+KT)/2 for the symmetric part and assume zTKs(x,T)z≥0 for every z∈R3. Define the thermal quadratic density by σQ(x,t):=−jQ(x,t)⋅∇T(x,t)T(x,t)2=(∇T(x,t))TKs(x,T(x,t))∇T(x,t)T(x,t)2, with units W m−3 K−1. For the antisymmetric part Ka=(K−KT)/2, the scalar zTKaz equals its own negative by transposition, so it is zero. Thus Ka may contribute to jQ but not to σQ, and σQ≥0. Interpreting this density as entropy production additionally requires a local entropy map s∈C1(T,R) in J m−3 K−1 with s′(T)=u′(T)/T, the energy balance ∂tu+div⁡jQ=0, and regularity permitting the product and chain rules; under those additional assumptions the entropy balance is ∂ts(T)+div⁡(jQ/T)=σQ. This postulate alone adopts neither that caloric entropy relation nor the energy balance.

This is an adopted constitutive model in the stated continuum regime. It is neither a consequence of equilibrium entropy alone nor a universal law for all media. In particular, it does not assert a finite propagation speed or an empirical value for K.

Depends on

Dependency tree · 2 levels

Sources