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.
Newtonian stress and Fourier conductive closure
An adopted smooth, single-component Newtonian/Fourier closure with an isotropic symmetric linear viscous response, specified nonnegative shear and bulk coefficient laws, and a tensor-valued conductivity whose symmetric part is positive semidefinite; anisotropic conduction is allowed. No coefficient is inferred from a measurement and no universal fluid applicability is asserted.
Postulate
Use a Cartesian inertial frame in Newtonian spacetime. At an event let be the fluid velocity, its temperature, its mass density, and its local state in a specified open set . The velocity gradient has components ; define the symmetric rate matrix , its trace , and its trace-free part , where is the identity matrix. For , use the Frobenius contraction .
Adopt specified scalar state laws and a specified conductivity matrix law , with The conductivity law is tensor-valued and may be anisotropic; no restriction is imposed. Define and . At a fixed state, let assign the viscous stress to the symmetric rate matrix. Assume it is real-linear, meaning for all and , and equivariant in the sense for every . Adopt Here is the scalar pressure field in the tension-positive convention: the traction on an outward unit normal is . Under a rigid observer rotation , tensor fields transform by ; are scalar state functions and . The viscous response is isotropic in this proper-rotation sense, while the conductivity tensor transforms covariantly and may be anisotropic. The mathematical linear-isotropic classification identifies this stress form from the stated domain, codomain, linearity and equivariance hypotheses; it does not establish that any material adopts them.
In SI units, are in , in , in , in , and in . If the same stress is written , then ; no nonnegativity of is assumed. These specified constitutive functions are adopted model inputs, not measured coefficient values or consequences of balance laws.
Postulate references
Facts & Assumptions
Given: The adopted smooth fields, state set, SI conventions, stress sign, and coefficient functions in the Postulate.
Classical frames, primitive quantities and SI units: , , , stress acts by traction , and stress transforms as . Its current batch-3 carrier and SI dictionary were inspected, and step1Decision currently reports ready; this records authoring readiness only, not independent proof acceptance.
Linear isotropic symmetric stress classification: ; if a real-linear map obeys for every , then it has the unique form . The current batch-10 Statement and complete proof were inspected, and step1Decision currently reports ready; this classification identifies the form only after linearity and isotropy are assumed.
The stated state laws, linear response, rotational equivariance, coefficient restrictions, and Fourier flux are adopted physical premises. No experiment, material coefficient, or universal constitutive validity is asserted.