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 thermal finite-speed damped mode
An explicitly verified underdamped periodic solution of the supported-rest Cattaneo linear subsystem; its forward-time positive-temperature interpretation holds for sufficiently small amplitude inside the chosen near-equilibrium domain. No observation or material-specific coefficient is reported.
Example
Use the supported-rest SI conventions inherited through Conditional thermal entropy, stability, and finite propagation: and are in seconds, and in metres, and in K, in , in , and in . The amplitude and mode function have temperature units K; the wave number has units and the angular frequency has units . The integer and Cartesian unit vector are dimensionless. Thus , , and are dimensionless, and has heat-flux units .
Choose , an integer , and set . Assume and define
On , using the postulate's periodic-lift convention so these fields represent smooth spatially -periodic fields on the Minkowski rest space, let and put
For every real amplitude , these fields are smooth on and solve the supported-rest Cattaneo linear subsystem. For a nonzero amplitude chosen sufficiently small, stays positive for all , and the state stays in the postulate's declared open near-equilibrium neighborhood. The temperature-departure envelope decays as . This is a constructed model solution, not a reported observation; its physical interpretation is restricted to forward times inside that neighborhood.
Facts & Assumptions
Given: , integer , , , and the supported-rest equations of Conditional thermal entropy, stability, and finite propagation. Let be the open state neighborhood selected in the underlying postulate.
Conditional thermal entropy, stability, and finite propagation: the linear subsystem is , .
Conditional thermal entropy, stability, and finite propagation: eliminating gives .
Conditional thermal entropy, stability, and finite propagation: its physical interpretation is restricted to times when , the postulate's declared state neighborhood.
Verification
The assumed strict inequality gives . Write with . Differentiation yields , because and . Thus solves the one-mode telegrapher equation from [F2].
Differentiating the displayed temperature field in time gives , while differentiating the first component of in space gives . Their sum is zero, so the thermal-energy balance in [F1] holds pointwise.
The flux satisfies . The mode equation in step 1.1 is equivalent to . Since , this equals , proving the Cattaneo relation in [F1] pointwise.
For , , and , so . Because in [F3] is open and contains , choose with ; then any nonzero satisfying and keeps the entire forward solution in and gives .
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