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 small-perturbation material dynamics
Two stipulated adiabatic first-variation systems about a uniform Minkowski rest state, with positive response and bulk parameters; no nonlinear remainder or lifespan bound, curved-background evolution, empirical applicability, or measurement claim.
Postulate
Use the selected local material state, perfect stress branch, bulk-only relaxation branch, and unit conventions of Smooth perfect local material balance model, Specified bulk extended entropy and relaxation law, and Thermodynamics-GR fields, currents, reference normalization and units. For this effective model take prescribed Minkowski spacetime with coordinates , , measured in metres, and metric . The reference material is a constant state in the supplier's open state domain, with supplied , , , , , , , and enthalpy density . The local Gibbs supplier Local Gibbs, Euler, parcel first law and response identities gives the dimensionless adiabatic response
restrict this pair of effective branches to . Here is the second derivative of the supplied state function with respect to at fixed . The equality between the derivative and the state-function ratio is the exact interface stated by Local Gibbs, Euler, parcel first law and response identities under the reference-state hypotheses above. The derivative is the local fixed-composition response at the reference state; the equation does not assign a universal value to .
For this postulate, a first variation means the derivative at of a smooth one-parameter family of field configurations through the reference state, with dimensionless ; no member with is required to solve a nonlinear equation. The fields and are smooth. Write , , and, in the bulk branch, . The adiabatic sector means . These first variations have and in Pa and and dimensionless. Let and be the bulk viscosity and relaxation time evaluated at the reference state, with units Pa s and s. Spatial derivatives have units and has units .
Adopt the following two constant-coefficient effective systems on the stated background:
for the perfect branch, and
for the bulk-only branch. Derivatives and act on ; is physical time and is the speed parameter in Thermodynamics-GR fields, currents, reference normalization and units. The equations define the effective linear models. No uniform nonlinear error estimate, nonlinear solution lifespan, curved-spacetime evolution result, or existence claim for the nonlinear constitutive equations is postulated. The parameters and systems are adopted model inputs; they are not measurements or claims of universal material behavior.
For later solution claims, is the flat three-torus for , and smooth periodic data mean maps on that quotient. A multi-index is a triple in . A Schwartz map means a map such that is bounded for every pair of multi-indices . The systems have and components, respectively.
Depends on
Dependency tree · 2 levels
Sources
- Éric Gourgoulhon, An Introduction to Relativistic Hydrodynamics, arXiv:gr-qc/0603009v1 (2006), §§4.2–4.3 and 5.1–5.4
- Paul Romatschke, Relativistic Viscous Fluid Dynamics and Non-Equilibrium Entropy, arXiv:0906.4787v2 (2010), §§3.1 and 4.1
- Dirk H. Rischke, Microscopic Foundations of Relativistic Fluid Dynamics, lecture notes (May 2022), §§1.4.2–1.5 and 2.5.4