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.
Conditional thermal entropy, stability, and finite propagation
Consequences of the adopted supported-rest linear Cattaneo subsystem while its fields remain in the declared near-equilibrium domain; PDE evolution is conditional on the exact draft mathematical supplier, and relativistic causality requires the derived speed inequality.
Statement
For the global-evolution and forward-time clauses below, assume that the postulate's open time interval contains . The local identities and telegrapher equation hold on any open interval on which a smooth solution is defined.
Let and let be or . If , use the periodic-lift convention of Supported-rest effective Cattaneo thermal model: torus fields represent smooth spatially -periodic fields on the rest slices of . Adopt the supported-rest Cattaneo equations and effective current of Supported-rest effective Cattaneo thermal model. The equations are and , with Euclidean spatial derivatives. For any smooth solution on an open time interval, the exact effective entropy-production and quadratic Lyapunov identities are
The associated telegrapher equation is , where on the Euclidean rest space, and its characteristic propagation speed is . Put . For Schwartz data on or smooth periodic data on , the unique global smooth evolution, weighted-norm contraction, and finite propagation at follow conditionally from the exact mathematical interface in [F1]. Here Schwartz data mean componentwise data for which every is bounded for multi-indices , as specified in [F2]. Since the spacetime model uses light speed , the heat subsystem is relativistically causal exactly when
On , for each integer , the periodic solution supplied conditionally by [F1] obeys for all whenever , with and exactly as defined there. This bound ensures positive temperature but does not by itself ensure that the solution stays in the selected domain of the postulate. The global linear PDE statement concerns the mathematical extension of the subsystem; its physical interpretation is restricted to times when . No empirical coefficient or material-specific validity is asserted.
Facts & Assumptions
Given: , the supported-rest Minkowski conventions and effective equations of Supported-rest effective Cattaneo thermal model, and the spatial setting stated above. For the conditional global-evolution and propagation conclusions, assume that the postulate's open time interval contains , so the initial data are defined, as well as the and exact constant-coefficient supplier hypotheses carried by [F1]. Physical interpretation is limited to the postulate's declared state domain .
Supported-rest effective Cattaneo thermal model: on fixed supported Minkowski rest space, and ; it adopts and on its open state neighborhood.
Fixed-coefficient Cattaneo entropy and propagation: for every smooth solution with the stated positive thermal coefficients, its Statement gives and for the specified effective current and quadratic form.
Fixed-coefficient Cattaneo entropy and propagation: its Statement defines and states that the system's characteristic speeds are (twice) and ; it also gives the comparison-speed equivalence.
Fixed-coefficient Cattaneo entropy and propagation: for Schwartz data on or smooth periodic data on , its global evolution, contraction, and finite-propagation conclusions are conditional on its separately stated constant-coefficient symmetric-system supplier. Its torus small-data estimate gives when . The carrier and its proof remain draft, not independently accepted.
Schwartz space and its seminorms: consists of smooth functions for which every seminorm is finite for multi-indices ; for the vector-valued data here this condition is componentwise.
The Axiom of Countable Choice (): means that every countable family of nonempty sets has a choice function. This is the choice strength assumed by [F3]'s conditional global-evolution supplier.
Proof
The equations, coefficients, state functions, and spatial derivatives in [A1] match the hypotheses and definitions of [F1]. Applying its exact identities gives and . Since are positive, the production is nonnegative and is positive definite in . These are deductions for the adopted effective current and linear subsystem.
Differentiate the first equation of [A1] in time and take the divergence of its second equation. Substituting and gives . By [F2] its characteristic speed is . All coefficients and are positive, so squaring the nonnegative quantities preserves order: is equivalent to , and multiplication by gives . Reversing these steps proves the converse.
Since , the stated Schwartz or smooth-periodic initial data are defined. [F3] supplies the unique global smooth evolution, weighted-norm contraction, and finite propagation at , conditional on its exact generic linear-supplier hypotheses and assumption [F5]. In the periodic case [F3] also gives for the stated ; if the last quantity is less than , then . The data class is the componentwise class defined in [F4]. This proves the stated positivity qualification without claiming that the solution remains in .
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