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 be a time-oriented smooth Lorentzian four-manifold with metric-selected connection and let 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 be a dust model on , and let be its derived tensor (The dust matter model: rest density, four-velocity, stress-energy and dust system). Then
(b) Perfect fluid. Let be a perfect-fluid model on , with derived tensor , comoving derivative , expansion , acceleration and projection (The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy). Then
Facts & Assumptions
Given: The time-oriented smooth Lorentzian four-manifold with metric-selected connection , the open matter domain , 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.
is torsion-free and -compatible; the extension of to tensor fields is a derivation commuting with contractions and , (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).
For a smooth vector field on , ; for smooth functions , and (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
(Dust divergence.) By [L1], . Contracting with and using [L4], , and because is constant; so .
(Fluid divergence.) By [L1], , and . Hence where and by [L2].
(Dust equivalence.) If , then step 1.1 gives ; substituting back into step 1.1 gives , and (The dust matter model: rest density, four-velocity, stress-energy and dust system) gives . Conversely, if both dust-system equations hold, step 1.1 gives . This proves (a).
(Two projections.) Contracting step 1.2 with and using [L4], and : since and by [L2]. Applying the projection to step 1.2 kills the -term and gives , where by the remark of The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy ().
(Fluid equivalence.) If , then contracting step 1.2 with gives, by step 2.2, , and projecting step 1.2 with gives, again by step 2.2, . Conversely, suppose both fluid equations hold. By the projection identity , which follows from , the second equation reads . Substituting this and the first equation into step 1.2, This proves (b).
Remarks
-
Role of 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 the equation carries no information about . 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 for every covector .
-
No equation of state used. Neither equivalence uses an equation of state: the equations are identities for the tensor defined from alone. A model that adds restricts the admissible tuples , it does not change the equivalence.
Depends on
The dust matter model: rest density, four-velocity, stress-energy and dust system
The perfect-fluid matter model: rest energy density, pressure, four-velocity and stress-energy
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
The inverse metric, musical isomorphisms and index raising
Smooth covariant 2-tensor fields on a smooth manifold
An open subset of a smooth manifold has a canonical restricted smooth structure
Dependency tree · 2 levels
Sources
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), section 6.2, exercise on the equivalence of nabla_a T^{ab}=0 with the continuity and Euler equations (6.31) for a perfect fluid, printed pp. 65-66 (PDF pp. 66-67)
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 4.5.4: the two relations (4.54)-(4.55) equivalent to nabla_mu T^{mu nu}=0, printed pp. 185-187 (PDF pp. 192-194)