Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Restricted gradient constitutive dissipative model

Physical scope

One selected frame-dependent first-order relativistic dissipative branch on a declared smooth local-equilibrium regime, with nonnegative C1 transport coefficients and a separately imposed future-timelike number current; no solution-existence, causal, stability, global-entropy, universal-material, or empirical claim.

Postulate

Use the time-oriented Lorentzian four-manifold, signature (−,+,+,+), Levi-Civita connection, smooth future unit observer congruence, and length-coordinate convention x0=ct of Rest fluid state, frame and geometric current definitions. Here a frame means this smooth observer field u with g(u,u)=−1 and its pointwise rest spaces; it does not mean a coordinate chart or a tetrad. On a nonempty open region O, take a C2 fixed-composition state map (v,σp):O→X with X⊂(0,∞)×R, state function e∈C2(X), and T=∂σpe>0 as adopted by Restricted local equilibrium parcel with adopted material state function. The mathematical state maps are n=v−1, s=nσp, ε=ne, and p=−∂ve; their meanings and units are those in Rest fluid state, frame and geometric current definitions and Thermodynamics-GR fields, currents, reference normalization and units.

Write ub=gbcuc and define the rest-space projector, derivative along the observer congruence, expansion, acceleration, and spatial symmetric trace-free shear by Δab=δab+uaub,Δab=gab+uaub,D=ua∇a,θ=∇aua,ab=uc∇cub, σab=ΔacΔbd∇(cud)−θ3Δab, where parentheses denote the averaged symmetric part. Put Yb=∇bT+Tab and Zb=∇b(μ/T), using the chemical potential μ from Rest fluid state, frame and geometric current definitions. The number current, stress tensor and entropy current in the selected branch are Ja=nua+Va,Tab=εuaub+(p+Π)Δab+uaQb+Qaub+πab,Sa=sua+QaT−μVaT, with uaVa=uaQa=uaπab=0 and πab symmetric and trace-free. Adopt the source-free balances ∇aJa=0 and ∇aTab=0 together with the first-order gradient closures Π=−ζcθ,πab=−2ηcσab,Qa=−κcΔabYb,Va=−LΔabZb.

Here c>0 has units m s−1; θ, ab and σab have inverse-length components; Π, πab and Qa have units Pa; ζ,η∈C1(O) have units Pa s; κ∈C1(O) has units W m−1 K−1; and L∈C1(O) has formal units marker2 K J−1 m−2. The temperature and chemical-potential gradients have units K m−1 and J marker−1 K−1 m−1, respectively. The coefficient fields satisfy ζ,η,κ,L≥0. On O, require Π, πab, Qa, and Va, together with the resulting Ja, Tab, and Sa, to be C1. The state map and state function are C2 and u is smooth, as specified above. These regularities make the displayed balances and entropy-current divergence pointwise classical expressions; require the balances to hold pointwise.

Each application declares a nonempty open regime of the pointwise state values and first covariant derivatives of u,T,μ/T (with the listed algebraic constraints) on which the constitutive model is used. The regime separately requires J to be future timelike. Since uaVa=0, this condition is n>0 and gabVaVb<n2, as follows from g(J,J)=−n2+g(V,V) and −uaJa=n. It is an additional applicability restriction, not a consequence of the gradient closures.

This is an adopted constitutive model for one declared material regime. The closures are not derived from geometry, measurements, or the second law; they do not assert that a solution exists, that the model applies to every material, or that the branch is causal, stable, or globally entropy-increasing. No empirical observation is supplied.

Depends on

Dependency tree · 2 levels

Sources