Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pending‡ sources checked 2026-10-23
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

Physical scope

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 u be the fluid velocity, T>0 its temperature, ρ>0 its mass density, and ξ=(ρ,T) its local state in a specified open set S⊂(0,∞)2. The velocity gradient has components Lij=∂xjui; define the symmetric rate matrix D=(L+LT)/2, its trace θ=tr⁡D, and its trace-free part D0=D−θI3/3, where I3 is the 3×3 identity matrix. For A,B∈R3×3, use the Frobenius contraction A:B=∑i,j=13AijBij.

Adopt specified scalar state laws μ,ζ:S→[0,∞) and a specified conductivity matrix law K:S→R3×3, with xTsym⁡K(ξ)x≥0(x∈R3),sym⁡K:=(K+KT)/2. The conductivity law is tensor-valued and may be anisotropic; no restriction K=kI3 is imposed. Define Sym⁡(3):={D∈R3×3:DT=D} and SO⁡(3):={Q∈R3×3:QTQ=I3, det⁡Q=1}. At a fixed state, let Aξ:Sym⁡(3)→Sym⁡(3) assign the viscous stress to the symmetric rate matrix. Assume it is real-linear, meaning Aξ(aD+bE)=aAξ(D)+bAξ(E) for all a,b∈R and D,E∈Sym⁡(3), and equivariant in the sense Aξ(QDQT)=QAξ(D)QT for every Q∈SO⁡(3). Adopt τ=Aξ(D)=2μ(ξ)D0+ζ(ξ)θI3,σ=−pI3+τ,q=−K(ξ)∇T. Here p is the scalar pressure field in the tension-positive convention: the traction on an outward unit normal n is σn. Under a rigid observer rotation Q∈SO⁡(3), tensor fields transform by S∗=QSQT; μ,ζ are scalar state functions and K∗=QKQT. 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, D,θ,D0 are in s−1, μ,ζ in Pa s, K in W m−1 K−1, q in W m−2, and σ,τ,p in Pa. If the same stress is written 2μD+λθI3, then λ=ζ−2μ/3; no nonnegativity of λ is assumed. These specified constitutive functions are adopted model inputs, not measured coefficient values or consequences of balance laws.

Facts & Assumptions

Given: The adopted smooth fields, state set, SI conventions, stress sign, and coefficient functions in the Postulate.

[L1]

Classical frames, primitive quantities and SI units: D=(∇u+∇uT)/2, D0=D−θI3/3, θ=div⁡u, stress acts by traction σn, and stress transforms as S∗=QSQT. Its current batch-3 carrier and SI dictionary were inspected, and step1Decision currently reports ready; this records authoring readiness only, not independent proof acceptance.

[L2]

Linear isotropic symmetric stress classification: Sym⁡(3)={D∈R3×3:DT=D}; if a real-linear map A:Sym⁡(3)→Sym⁡(3) obeys A(QDQT)=QA(D)QT for every Q∈SO⁡(3), then it has the unique form A(D)=2μD+λ(tr⁡D)I3. 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.

[A1]

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.

Depends on

Dependency tree · 2 levels

Sources