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.
Thermomechanical coupling requires additional assumptions
Comparison of the separate periodic isothermal mechanical branch and the rectangular insulated continuum-heat branch. No coupled temperature evolution, viscous-heating source, or total thermomechanical energy balance is asserted.
Remark
The periodic mechanical model has a velocity field and a kinetic-energy inequality with viscous dissipation, but it has no temperature variable. The separate thermal model uses a fixed rectangle with lengths in metres, an open time interval measured in seconds, and a temperature field , where is an open interval, measured in kelvins; its time derivative through order one and spatial derivatives through order two extend continuously to . In that thermal supplier, is the internal-energy density in and is the volumetric heat capacity in ; write to distinguish this caloric function from the mechanical velocity notation. The thermal flux is in ; in the adopted local-energy postulate it and its first spatial derivatives extend continuously to for every compact , and on every face, where is the outward unit normal. Its local balance is , with . The Fourier constitutive assumption is , where , has entries in , and satisfies for every . The separate entropy-production theorem and constant-conductivity Neumann heat-evolution theorem retain their own regularity and initial-data conditions.
Neither branch identifies any part of the mechanical viscous dissipation with a source in the thermal balance, and the two branches use different domains. A model relating the mechanical and thermal fields requires additional assumptions specifying that relation and a common domain/field interface. In particular, identifying mechanical viscous dissipation with a source in the thermal balance requires an additional assumption specifying that conversion. A coupled temperature evolution does not follow from the weak periodic continuation or from the thermal entropy and heat-evolution results.
Remark references
Weak continuation of the periodic mechanical model and its kinetic-energy inequality
Insulated local thermal energy balance with no volumetric source
Fourier heat-flux constitutive assumption
Conditional local thermal entropy production
Conditional constant-conductivity Neumann heat evolution and relaxation
Lenya Ryzhik, Lecture Notes for Math 256B, Version 2024, §1.3, printed pp. 9–11