Alphabeta Math
PropositionStatement: AI-adaptedProof: AI-generatedprecheck pass
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.

Divergence-free dust is exactly the dust system, and divergence-free perfect fluid is exactly the fluid equations

Statement

Let (M,g,N) be a time-oriented smooth Lorentzian four-manifold with metric-selected connection ∇ and let U⊆M be a nonempty open matter domain (Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model, Metric compatibility, torsion freedom and the metric-selected connection class, Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, An open subset of a smooth manifold has a canonical restricted smooth structure).

(a) Dust. Let (ρ,u) be a dust model on U, and let Tab:=ρuaub be its derived tensor (The dust matter model: rest density, four-velocity, stress-energy and dust system). Then

∇aTab=0 on U⟺∇a(ρua)=0 and ua∇aub=0 on U.

(b) Perfect fluid. Let (ε,p,n) be a perfect-fluid model on U, with derived tensor Tab:=(ε+p)nanb+pgab, comoving derivative D, expansion ϑ, acceleration a and projection h (The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy). Then

∇aTab=0 on U⟺Dε+(ε+p)ϑ=0and(ε+p)ab+hba∂ap=0 on U.

Facts & Assumptions

Given: The time-oriented smooth Lorentzian four-manifold (M,g,N) with metric-selected connection ∇, the open matter domain U, and the dust and perfect-fluid models of The dust matter model: rest density, four-velocity, stress-energy and dust system and The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy.

[L1]

∇ is torsion-free and g-compatible; the extension of ∇ to tensor fields is a derivation commuting with contractions and ∇g=0, ∇g−1=0 (Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, Metric compatibility, torsion freedom and the metric-selected connection class).

[L2]

For a smooth vector field V on U, ∇aVa=gab∇aVb; for smooth functions f, ∇af=∂af and ∇a∇bf=∇b∇af (Existence and uniqueness of the metric-selected connection of a nondegenerate metric, and its extension to tensor fields, The inverse metric, musical isomorphisms and index raising).

Proof

technique · direct; expand the divergence of each stress-energy tensor, contract and project along the unit timelike field, and use nondegeneracy to conclude the converse
1.1L1L4algebra

(Dust divergence.) By [L1], ∇aTab=∇a(ρuaub)=ub∇a(ρua)+ρua∇aub. Contracting with ub and using [L4], ub∇aTab=−∇a(ρua)+ρuaub∇aub, and ub∇aub=12∇a(ubub)=0 because g(u,u)=−1 is constant; so ub∇aTab=−∇a(ρua).

1.2L1L2algebra

(Fluid divergence.) By [L1], ∇aTab=∇a((ε+p)nanb)+∇bp, and ∇a(nanb)=nb∇ana+na∇anb=ϑnb+ab. Hence ∇aTab=nb(Dε+Dp+(ε+p)ϑ)+(ε+p)ab+∂bp, where Df=na∂af=na∇af and ab=gbcac by [L2].

2.1step 1.1L4algebra

(Dust equivalence.) If ∇aTab=0, then step 1.1 gives ∇a(ρua)=0; substituting back into step 1.1 gives ρua∇aub=0, and ρ>0 (The dust matter model: rest density, four-velocity, stress-energy and dust system) gives ua∇aub=0. Conversely, if both dust-system equations hold, step 1.1 gives ∇aTab=ub⋅0+ρ⋅0=0. This proves (a).

2.2step 1.2L2L4algebra

(Two projections.) Contracting step 1.2 with nb and using [L4], nbnb=−1 and nbab=0: nb∇aTab=−(Dε+Dp+(ε+p)ϑ)+nb∂bp=−(Dε+(ε+p)ϑ), since nb∂bp=Dp and Dp=nb∇bp by [L2]. Applying the projection hcb=gcb+ncnb to step 1.2 kills the nb-term and gives hcb∇aTab=(ε+p)hcbab+hcb∂bp=(ε+p)ac+hcb∂bp, where hcbab=ac by the remark of The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy (nbab=0).

3.1step 1.2step 2.2L2algebra∎

(Fluid equivalence.) If ∇aTab=0, then contracting step 1.2 with nb gives, by step 2.2, Dε+(ε+p)ϑ=0, and projecting step 1.2 with hcb gives, again by step 2.2, (ε+p)ac+hcb∂bp=0. Conversely, suppose both fluid equations hold. By the projection identity hbc∂cp=∂bp+nbDp, which follows from hbc=δbc+nbnc, the second equation reads (ε+p)ab=−∂bp−nbDp. Substituting this and the first equation into step 1.2, ∇aTab=nb(Dε+(ε+p)ϑ)+nbDp−(∂bp+nbDp)+∂bp=0. This proves (b).

Remarks

  • Role of ρ>0 and of the projections. In (a) the strict positivity of the rest density is used in deriving the dust system from conservation to divide by ρ; on a region where the model has ρ=0 the equation ρua∇aub=0 carries no information about u. In (b) the two displayed equations are the contraction and the rest-space projection of the divergence; together they are equivalent to the full covector equation because Wb=−(Wcnc)nb+(Wb+(Wcnc)nb) for every covector W.

  • No equation of state used. Neither equivalence uses an equation of state: the equations are identities for the tensor defined from ε,p,n alone. A model that adds p=P(ε) restricts the admissible tuples (ε,p,n), it does not change the equivalence.

Depends on

Dependency tree · 2 levels

Sources