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.
Restricted gradient constitutive dissipative model
One selected frame-dependent first-order relativistic dissipative branch on a declared smooth local-equilibrium regime, with nonnegative C1 transport coefficients and a separately imposed future-timelike number current; no solution-existence, causal, stability, global-entropy, universal-material, or empirical claim.
Postulate
Use the time-oriented Lorentzian four-manifold, signature , Levi-Civita connection, smooth future unit observer congruence, and length-coordinate convention of Rest fluid state, frame and geometric current definitions. Here a frame means this smooth observer field with and its pointwise rest spaces; it does not mean a coordinate chart or a tetrad. On a nonempty open region , take a fixed-composition state map with , state function , and as adopted by Restricted local equilibrium parcel with adopted material state function. The mathematical state maps are , , , and ; their meanings and units are those in Rest fluid state, frame and geometric current definitions and Thermodynamics-GR fields, currents, reference normalization and units.
Write and define the rest-space projector, derivative along the observer congruence, expansion, acceleration, and spatial symmetric trace-free shear by where parentheses denote the averaged symmetric part. Put and , using the chemical potential from Rest fluid state, frame and geometric current definitions. The number current, stress tensor and entropy current in the selected branch are with and symmetric and trace-free. Adopt the source-free balances and together with the first-order gradient closures
Here has units ; , and have inverse-length components; , and have units Pa; have units Pa s; has units ; and has formal units . The temperature and chemical-potential gradients have units K m and J marker K m, respectively. The coefficient fields satisfy . On , require , , , and , together with the resulting , , and , to be . The state map and state function are and is smooth, as specified above. These regularities make the displayed balances and entropy-current divergence pointwise classical expressions; require the balances to hold pointwise.
Each application declares a nonempty open regime of the pointwise state values and first covariant derivatives of (with the listed algebraic constraints) on which the constitutive model is used. The regime separately requires to be future timelike. Since , this condition is and , as follows from and . It is an additional applicability restriction, not a consequence of the gradient closures.
This is an adopted constitutive model for one declared material regime. The closures are not derived from geometry, measurements, or the second law; they do not assert that a solution exists, that the model applies to every material, or that the branch is causal, stable, or globally entropy-increasing. No empirical observation is supplied.
Depends on
Dependency tree · 2 levels
Sources
- Éric Gourgoulhon, An Introduction to Relativistic Hydrodynamics, arXiv:gr-qc/0603009v1 (2006), §§4.1–4.3 and 5.2–5.4
- Nicolas Borghini, Elements of Hydrodynamics, University of Bielefeld lecture notes (version 2015), §§IX.4.1–IX.4.4
- Paul Romatschke, New Developments in Relativistic Viscous Hydrodynamics, arXiv:0906.4787v2 (2010), §§3–4.1
- Dirk H. Rischke, Microscopic Foundations of Relativistic Fluid Dynamics, lecture notes (May 2022), §1.3.4