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.
Homogeneous translating polytropic fluid
Exact spatially homogeneous positive-density state of the unforced polytropic Euler model on a periodic cell. It makes no thermal, molecular, shock, or empirical claim.
Example
Assume the Axiom of Countable Choice. Let and measured in metres, and write for the coordinate torus. When it is the physical cell; when it is the reduced coordinate torus and the physical cell is . In SI units, choose a constant density in kilograms per cubic metre, a constant velocity in metres per second, a constant in pascals times , and a dimensionless exponent . Define by for and for . Identify fields on the three-dimensional torus with their smooth -periodic lifts to when applying the local continuum equations. In the unforced three-dimensional polytropic Euler model with and adopted specific internal energy , take initial data and . The constant fields , , and form a smooth solution for every . For their reduced representation on has velocity . The total energy density , measured in pascals, is constant in space and time and equals the reduced expression with . For this is the unique local solution branch; for it is the unique branch in the transversely invariant reduced model.
Example references
Facts & Assumptions
Given: Countable Choice, as in the Example, and the force-free periodic polytropic Euler model.
Local positive-density polytropic model evolution: its current Statement gives unique smooth local evolution and mean-energy conservation for smooth positive-density periodic data in the fixed polytropic model, with the one- and two-dimensional cases defined as transverse invariant reductions of the three-dimensional model; the conclusion is conditional on Countable Choice and its stated suppliers.
Verification
Given: The Example data, the exact local model equation in the Statement, and [F1].
Since and are constant in and , , , and . Thus the mass equation holds in dimension three and in each reduced dimension; for , the zero-padded lift has the same vanishing derivatives.
The pressure is constant, so its gradient vanishes; the momentum equation also holds. The density stays strictly positive, and all fields are smooth and periodic.
The local theorem [F1] gives uniqueness for these same initial data. Therefore its local branch coincides with the constant solution verified in steps 1.1 and 2.1, which already extends for every . Its energy density is the same constant displayed in the Example.