Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

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 Ω=∏i=13(0,Li) with lengths Li>0 in metres, an open time interval I⊆R measured in seconds, and a temperature field T:Ω‾×I→T⊂(0,∞), where T is an open interval, measured in kelvins; its time derivative through order one and spatial derivatives through order two extend continuously to Ω‾×I. In that thermal supplier, u∈C1(T,R) is the internal-energy density in J m−3 and c(T):=u′(T)>0 is the volumetric heat capacity in J m−3 K−1; write eth:=u to distinguish this caloric function from the mechanical velocity notation. The thermal flux is jQ:Ω‾×I→R3 in W m−2; in the adopted local-energy postulate it and its first spatial derivatives extend continuously to Ω‾×[t0,t1] for every compact [t0,t1]⊂I, and jQ⋅n=0 on every face, where n is the outward unit normal. Its local balance is ∂teth(T)+div⁡jQ=0, with div⁡jQ=∑i=13∂xi(jQ)i. The Fourier constitutive assumption is jQ=−K(x,T)∇T, where ∇T=(∂xiT)i=13, K:Ω‾×T→R3×3 has entries in W m−1 K−1, and Ks:=(K+KT)/2 satisfies zTKs(x,T)z≥0 for every z∈R3. 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.

Depends on

Dependency tree · 2 levels

Sources