Alphabeta Math
DefinitionDefinition: 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.

Admissible states and pressure for one-dimensional ideal-gas Euler

Definition

Fix γ>1. In one space dimension the conserved state is U=(ρ,m,E)∈R3, where ρ is density, m momentum, and E total energy per unit volume. The admissible-state set is the open set Gγ={(ρ,m,E):ρ>0, E>m2/(2ρ)}. The ideal-gas pressure on this set is p(U)=(γ−1)(E−m22ρ)>0, the velocity is u=m/ρ, and the flux is F(U)=(m,m2ρ+p,mρ(E+p)). The sound speed is c=γp/ρ. These definitions apply only on Gγ; a state with nonpositive density or nonpositive internal energy is inadmissible. The set is open because ρ and E−m2/(2ρ) are continuous on ρ>0 and the inequalities are strict; all displayed flux functions are smooth on this domain.

Depends on

Used by

Dependency tree · two levels

3 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources