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
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 , and length coordinates from Restricted local equilibrium parcel with adopted material state function and Rest fluid state, frame and geometric current definitions. In particular, , , , , and have those suppliers' meanings. In a selected bulk-only branch, adopt the stress, number current, and source-free balances where is a smooth scalar bulk pressure. Let be positive coefficient fields with SI units Pa s and s, respectively, and define , with units Pa. Adopt the extended entropy current and derivative-corrected relaxation law Here has units Pa, and have inverse-length units, and each side of the relaxation law has units m; has entropy-density units J K m.
For each application, specify a nonempty open near-equilibrium regime in the pointwise state and first-derivative data around , 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 , is smooth, the coefficient fields are , and is smooth; thus , , and are . 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 (The Axiom of Countable Choice ()). 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
- Nicolas Borghini, Elements of Hydrodynamics, University of Bielefeld lecture notes (version 2015), §IX.4.5
- Dirk H. Rischke, Microscopic Foundations of Relativistic Fluid Dynamics, lecture notes (May 2022), §§1.4.2–1.5
- Paul Romatschke, New Developments in Relativistic Viscous Hydrodynamics, arXiv:0906.4787v2 (2010), §4.1
- Éric Gourgoulhon, An Introduction to Relativistic Hydrodynamics, arXiv:gr-qc/0603009v1 (2006), §§4.1–4.3 and 5.2–5.4