Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Specified bulk extended entropy and relaxation law

Physical scope

A selected near-equilibrium bulk-only branch with positive C1 bulk viscosity and relaxation time, corrected relaxation law and quadratic extended entropy current; no universal constitutive law, nonlinear solution-existence theorem, causality, stability, or empirical claim.

Postulate

Use the fixed-composition local-equilibrium state, smooth time-oriented Lorentzian geometry of signature (−,+,+,+), smooth future unit observer congruence u, and length coordinates x0=ct from Restricted local equilibrium parcel with adopted material state function and Rest fluid state, frame and geometric current definitions. In particular, n>0, T>0, Δab=gab+uaub, D=ua∇a, and θ=∇aua have those suppliers' meanings. In a selected bulk-only branch, adopt the stress, number current, and source-free balances Tab=εuaub+(p+Π)Δab,Ja=nua,∇aTab=0,∇aJa=0, where Π is a smooth scalar bulk pressure. Let ζ,τ∈C1(O) be positive coefficient fields with SI units Pa s and s, respectively, and define β=τ/ζ, with units Pa−1. Adopt the extended entropy current and derivative-corrected relaxation law Sa=(s−βΠ22T)ua,βDΠ+Πζc=−θ−TΠ2∇a ⁣(βuaT). Here Π has units Pa, D and θ have inverse-length units, and each side of the relaxation law has units m−1; βΠ2/(2T) has entropy-density units J K−1 m−3.

For each application, specify a nonempty open near-equilibrium regime in the pointwise state and first-derivative data around Π=0, based at constant zero-gradient reference data, and use the current and law only while the fields remain in that declared regime. The state map and state function are C2, u is smooth, the coefficient fields are C1, and Π is smooth; thus Ja, Tab, and Sa are C1. Require the balances and corrected law to hold pointwise. The mathematical result Corrected bulk relaxation and exact extended entropy supplies the exact matching conditional entropy identity and one homogeneous witness; its actual statement and proof are conditional on the listed mathematical inputs and assume exactly countable choice ACω (The Axiom of Countable Choice (ACω)). It motivates this selection and is used by the downstream deductions, but it does not derive the adopted physical postulate.

This is a restricted constitutive assumption for the selected material. It does not derive the equation of state, assert universal validity, or adopt existence of a general nonlinear solution. It makes no causal or stability claim; positive relaxation time alone supplies neither. No empirical observation is supplied.

Depends on

Dependency tree · 2 levels

Sources