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.
Heat and viscous entropy specialization
Statement
Let be a smooth time-oriented Lorentzian four-manifold of signature , let be nonempty and open, and let be a smooth future unit timelike vector field on . Use the metric-compatible torsion-free connection and a smooth local state map with open and , as in Rest fluid state, frame and geometric current definitions. Thus , , , , , and ; assume on and the Gibbs and Euler identities of Local Gibbs, Euler, parcel first law and response identities. Use the convention with in .
Define , , , , , and . Let be the shear defined in Spatial shear properties and nonnegative norm: the spatially projected symmetrized derivative of , minus , with averaged symmetrization. That lemma proves symmetric, spatial, trace-free, and of nonnegative squared norm. Let be pointwise nonnegative, with SI units , and , respectively. Put
so is the physical heat flux and is its geometric stress component. Set the particle-diffusion current , the bulk correction , and the symmetric spatial trace-free stress . Suppose for , and suppose the symmetric stress
satisfies with zero local power . Then for the exact entropy-production identity is
The conclusion is a conditional identity for the stated smooth fields and closure; it asserts neither existence nor causality, stability, or empirical applicability of an evolution.
Facts & Assumptions
Given: The Lorentzian and state data above, the stated stress and particle balances, zero particle diffusion, zero local power, and the three specified first-order constitutive assignments.
The geometry and local-state supplier chain carries Countable Choice (The Axiom of Countable Choice ()); no stronger choice principle is assumed.
Rest fluid state, frame and geometric current definitions: a state map on a nonempty open set defines , , , , , and ; it fixes and the geometric flux convention .
Local Gibbs, Euler, parcel first law and response identities: under its open-domain and hypotheses, and . These are identities for the stated state function and its state map; the smooth hypotheses here satisfy the supplier's requirements.
Frame-qualified dissipative entropy cancellation: for the displayed stress/current decomposition and balances, obeys The zero-diffusion and zero-local-power hypotheses here specialize precisely this identity.
Observer projections, pointwise Eckart vector and local C¹ Landau field: is the orthogonal projection onto , so projected vectors are spatial. Only its pointwise orthogonal-projection convention is used here.
Spatial shear properties and nonnegative norm: the displayed shear is symmetric, spatial in both indices, trace-free, and has nonnegative squared norm; the metric on is positive definite.
Proof
[F1] fixes the state and convention, while [F2] supplies the Gibbs and Euler identities required by [F3]. By [F5], the closure is symmetric, spatial and trace-free, so it satisfies [F3]'s stress hypotheses; is spatial by [F4], and . Since , the remaining balance hypotheses of [F3] also hold. Its entropy current reduces to . Because is spatial, , and therefore
From , , and , the three terms in step 1.1 become, respectively, , , and . The vector is spatial by [F4], so [F5]'s positive-definite rest metric gives ; the same fact in [F5] gives . Since and the coefficient functions are nonnegative, their sum is the stated identity and is nonnegative.
Depends on
Rest fluid state, frame and geometric current definitions
Local Gibbs, Euler, parcel first law and response identities
Frame-qualified dissipative entropy cancellation
Observer projections, pointwise Eckart vector and local C¹ Landau field
Spatial shear properties and nonnegative norm
The Axiom of Countable Choice ()