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.
Ideal-gas acoustic wave curves have the stated pressure response
Statement
For a side state and any trial pressure , the rarefaction/shock branches defined in Ideal-gas rarefaction and shock pressure response give the scalar velocity response along the corresponding acoustic wave. For a left 1-wave the star velocity is ; for a right 3-wave it is . The star density on a rarefaction branch is and on a compressive shock branch, with and , it is The shock branches satisfy the strict acoustic Lax inequalities. When the two pressure responses match at a positive , their star states are joined by a linearly-degenerate contact at speed .
Facts & Assumptions
Given: Positive ideal-gas left/right states, the pressure response functions, and the Euler eigenstructure.
Eigenstructure of the admissible ideal-gas Euler system: along , the primitive increments are , , and ; the middle field varies density at fixed .
Ideal-gas rarefaction and shock pressure response: the rarefaction and shock response formulas are the displayed on and .
Rankine–Hugoniot jumps and Lax shocks: a shock speed satisfies , and strict acoustic Lax inequalities compare the corresponding family speeds on both sides.
Proof
For , put for the 1-family and for the 3-family. For every density between and , define , , , and . This path stays in the admissible Euler domain because . Differentiating gives , , and, in conserved coordinates, by [F2]. Thus it is the acoustic integral curve, extended along this positive-density path; uniqueness of the local integral curve identifies it with the local rarefaction branch wherever that branch is defined. At , this gives and , which equals for the 1-family and for the 3-family by [F3].
For a compressive shock from side state to star state with trial pressure and speed , set , , , , and . Write , , , , and ; for a right-going 3-shock, reversing the physical state order changes both sides of each RH equation by the same sign. Mass RH makes equal on both sides; momentum RH minus times mass RH makes equal. Since , this identity forces . The linear combination of energy, momentum, and mass RH gives . Substitution gives , so . Since , division by gives equality of on both sides. Using , the energy equality reads . From , the kinetic term is ; combining it with the pressure terms gives .
Let be the trial pressure, set , and use . Substituting into step 1.2 and dividing by gives , where . Solving this linear equation gives and . Hence , and using , , and gives . Define . Since , . For a left 1-shock choose and ; mass RH gives . For a right 3-shock oriented from the star state to , choose and ; mass RH gives . These choices establish the response signs.
Put and , so . The relative shock speeds on the two sides have magnitudes and . Steps 1.2 and 2.1 give and . The first inequality follows from , and the second from , equivalent to . For a 1-shock, and give ; gives . For a 3-shock, and give ; gives . The other-family Lax inequalities follow from and for a 1-shock or for a 3-shock.
Equality of the left and right star velocities is , which rearranges to . At such a positive pressure the two Euler states have common and differ only in density. From [F1], is independent of density, so . By [F2], is the middle characteristic speed on both sides, so this is a linearly-degenerate contact.
Depends on
Used by
Dependency tree · two levels
9 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
- Randall J. LeVeque, Numerical Methods for Conservation Laws (standard reference, not scraped)