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.
Adopted strict charged barotropic fluid model
An adopted smooth classical charged perfect-fluid material closure for the strict interior barotropic Einstein-Maxwell model, with an EOS-defined number-density variable and advected charge per particle. It adds no matter action and makes no claim that a real material universally obeys this closure.
Postulate
Use the smooth oriented, time-oriented Lorentzian four-manifold, metric-selected connection, signature , two-form field, and SI conventions stated in Einstein–Maxwell primitive quantities and SI conventions and Strict charged barotropic tensor system. On an open set of that spacetime, let be a smooth rest-energy-density scalar, let be a smooth future-directed vector field with , and let be a smooth charge-per-particle scalar. Here is an open interval, and have units J m = Pa, is dimensionless, and has units C. In this adopted model, the word barotropic means that pressure is a function of rest-energy density alone.
Adopt a smooth equation of state satisfying for every . The dimensionless derivative gives the model's barotropic characteristic speed , so this selection requires . Fix and a positive normalization with units m, and define For each , the closed segment between and is compact and contained in ; the smooth integrand is finite there. Its integral is dimensionless, so has units m. Within this model, is the EOS-defined number-density variable and is its chosen normalization. This definition makes no claim that a microscopic particle theory derives for every EOS.
Adopt the charged-fluid current and matter stress tensor and the material balance and advection equations Thus is a smooth four-current with components in A m, and has components in Pa in length coordinates . The balance law adopts the Lorentz-force density with the same field and current conventions as the chosen Einstein-Maxwell formulation. Charge-per-particle is carried along the fluid flow. Current conservation is not an additional adopted material law.
This is a physical postulate for smooth classical matter in the strict interior regime only. It excludes shocks, vacuum interfaces, free boundaries, degenerate or superluminal sound speed, finite-conductivity and dissipative currents, point-charge sources, and arbitrary currents chosen independently of the fluid. The cited treatments motivate the perfect-fluid and charged-current structures in their own conventions; they do not establish this exact EOS normalization, the transport choice, or the physical applicability of this model. No matter action, experiment, or universal material law is asserted.
Depends on
Dependency tree · 2 levels
Sources
- Yvonne Choquet-Bruhat, Introduction to General Relativity, Black Holes, and Cosmology, Oxford University Press, open-access first edition (2023), Chapter IX, Relativistic fluids
- Benoit Pausader, Relativistic Fluid Equations, complete Brown University lecture notes (16 pages, undated)
- Daniela Pugliese and Juan A. Valiente Kroon, On the evolution equations for ideal magnetohydrodynamics in curved spacetime, arXiv:1112.1525v2 (2012)