Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generated
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 (M,g,N) be a smooth time-oriented Lorentzian four-manifold of signature (−,+,+,+), let O⊆M be nonempty and open, and let u be a smooth future unit timelike vector field on O. Use the metric-compatible torsion-free connection ∇ and a smooth local state map (v,σp):O→X with X⊂(0,∞)×R open and e∈C∞(X), as in Rest fluid state, frame and geometric current definitions. Thus n=v−1>0, s=nσp, ϵ=ne, T=eσp, p=−ev, and μ=e+pv−Tσp; assume T>0 on O and the Gibbs and Euler identities of Local Gibbs, Euler, parcel first law and response identities. Use the convention x0=ct with c>0 in m s−1.

Define Δab=δab+uaub, Δab=gacΔbc, Δab=gab+uaub, D=ua∇a, θ=∇aua, and ab=Dub. Let σab be the shear defined in Spatial shear properties and nonnegative norm: the spatially projected symmetrized derivative of u, minus θΔab/3, with averaged symmetrization. That lemma proves σ symmetric, spatial, trace-free, and of nonnegative squared norm. Let κ,η,ζb∈C∞(O) be pointwise nonnegative, with SI units W m−1K−1, Pa s and Pa s, respectively. Put

Xa=Δab(∇bT+Tab),qa=−κXa,Qa=qa/c,

so q is the physical heat flux and Q is its geometric stress component. Set the particle-diffusion current Va=0, the bulk correction Π=−ζbcθ, and the symmetric spatial trace-free stress πab=−2ηcσab. Suppose ∇aJa=0 for Ja=nua, and suppose the symmetric stress

Tab=ϵuaub+(p+Π)Δab+uaQb+Qaub+πab

satisfies ∇aTab=fb with zero local power ubfb=0. Then for Sa=sua+Qa/T the exact entropy-production identity is

∇aSa=κcT2XaXa+2ηcTσabσab+ζbcTθ2≥0.

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.

[A1]

The geometry and local-state supplier chain carries Countable Choice ACω (The Axiom of Countable Choice (ACω)); no stronger choice principle is assumed.

[F1]

Rest fluid state, frame and geometric current definitions: a C2 state map on a nonempty open set defines n=v−1, s=nσp, ϵ=ne, T=eσp, p=−ev, and μ=e+pv−Tσp; it fixes x0=ct and the geometric flux convention q=cQ.

[F2]

Local Gibbs, Euler, parcel first law and response identities: under its open-domain and C2 hypotheses, dϵ=T ds+μ dn and ϵ+p=Ts+μn. These are identities for the stated state function and its state map; the smooth hypotheses here satisfy the supplier's C2 requirements.

[F3]

Frame-qualified dissipative entropy cancellation: for the displayed stress/current decomposition and balances, Sa=sua+Qa/T−μVa/T obeys ∇aSa=−Πθ+πabσabT−Qa(∇aT+Taa)T2−Va∇a(μ/T)−ubfbT. The zero-diffusion and zero-local-power hypotheses here specialize precisely this identity.

[F4]

Observer projections, pointwise Eckart vector and local C¹ Landau field: Δ is the orthogonal projection onto u⊥, so projected vectors are spatial. Only its pointwise orthogonal-projection convention is used here.

[F5]

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 u⊥ is positive definite.

Proof

1.1A1F1F2F3F4F5givenalgebra

[F1] fixes the state and q=cQ convention, while [F2] supplies the Gibbs and Euler identities required by [F3]. By [F5], the closure πab=−2ηcσab is symmetric, spatial and trace-free, so it satisfies [F3]'s stress hypotheses; Q is spatial by [F4], and V=0. Since ubfb=0, the remaining balance hypotheses of [F3] also hold. Its entropy current reduces to Sa=sua+Qa/T. Because Q is spatial, Qa(∇aT+Taa)=QaXa, and therefore ∇aSa=−ΠθT−πabσabT−QaXaT2.

2.1step 1.1F4F5algebra∎

From Qa=−κXa/c, Π=−ζbcθ, and πab=−2ηcσab, the three terms in step 1.1 become, respectively, ζbcθ2/T, 2ηcσabσab/T, and κXaXa/(cT2). The vector X is spatial by [F4], so [F5]'s positive-definite rest metric gives XaXa≥0; the same fact in [F5] gives σabσab≥0. Since c,T>0 and the coefficient functions are nonnegative, their sum is the stated identity and is nonnegative.

Depends on

Dependency tree · 2 levels

Sources