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.
Supported-rest effective Cattaneo thermal model
A constant-coefficient linear thermal subsystem on fixed Minkowski spacetime with an externally supported rest congruence; when used, the flat torus represents spatially periodic fields lifted to Minkowski rest slices and is not a spacetime quotient. Effective quadratic entropy is adopted only on a declared near-equilibrium state neighborhood. It is not a full fluid model, universal constitutive law, measured material model, or microscopic derivation.
Postulate
Use the length-coordinate and unit-observer conventions of Thermodynamics-GR fields, currents, reference normalization and units. Fix Minkowski spacetime with metric in coordinates , where is physical time in seconds, are in metres, and is in . The supported rest observer congruence is the smooth future unit vector field , so . An external support maintains the modeled material at rest in this congruence; the support is not a dynamical variable, and this subsystem does not claim to include the momentum equations of a full fluid.
Fix constants in K, volumetric heat capacity in , thermal conductivity in , and relaxation time in seconds. Select an open state neighborhood of in contained in . The neighborhood is part of the application regime; no universal numerical size is asserted. Let be an open interval of physical time, and define by ; it identifies these coordinates with an open region of Minkowski spacetime. Choose either or, for a fixed , with its flat quotient metric; when , let be the quotient map. The spacetime remains : the torus is only an analytic representation of spatially -periodic fields on its Minkowski rest slices, not a quotient of spacetime. Take smooth fields and with . If , their physical fields on the rest slices are the smooth periodic lifts and on ; under , these are coordinate representatives of fields on . If , the given fields are already coordinate representatives on that region. Here is the temperature departure in K, is the local temperature, and is the physical heat-flux vector in the supported rest space, expressed in its fixed Cartesian rest basis and measured in . Spatial and are Euclidean derivatives in metres on the Minkowski rest space, evaluated by periodic lifts when .
In the source-free effective model, adopt
The first equation is the subsystem's thermal-energy balance and the second is its Cattaneo constitutive relation. Also adopt the specified effective quadratic entropy density and entropy flux
where is constant. Both and have units , and has units . This quadratic function is an adopted effective state function on , not the exact nonlinear material entropy or a particle Gibbs equation of state. The model assigns no measured values to its coefficients, reports no experiment, and derives no microscopic transport law.
Depends on
Dependency tree · 2 levels
Sources
- N. Andersson and G. L. Comer, Variational multifluid dynamics and causal heat conductivity, arXiv:0908.1707v1 (2009), §4, equations (4.2)–(4.12)
- S. K. Lander and N. Andersson, Heat conduction in rotating relativistic stars, arXiv:1804.01520 (2018), §2.1
- MIT OpenCourseWare, 2.57 Nano-to-Macro Transport Processes, complete 2004 lecture notes, Lecture 21