Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck pass
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 K=(ρK,uK,pK) and any trial pressure p>0, the rarefaction/shock branches defined in Ideal-gas rarefaction and shock pressure response give the scalar velocity response fK(p) along the corresponding acoustic wave. For a left 1-wave the star velocity is u∗=uL−fL(p); for a right 3-wave it is u∗=uR+fR(p). The star density on a rarefaction branch is ρ∗(p)=ρK(p/pK)1/γ, and on a compressive shock branch, with q=p/pK>1 and β=(γ−1)/(γ+1), it is ρ∗(p)=ρKq+ββq+1. The shock branches satisfy the strict acoustic Lax inequalities. When the two pressure responses match at a positive p, their star states are joined by a linearly-degenerate contact at speed u∗.

Facts & Assumptions

Given: Positive ideal-gas left/right states, the pressure response functions, and the Euler eigenstructure.

[F1]

Admissible states and pressure for one-dimensional ideal-gas Euler: p=(γ−1)(E−ρu2/2), c2=γp/ρ, and E=p/(γ−1)+ρu2/2.

[F2]

Eigenstructure of the admissible ideal-gas Euler system: along r±=(1,u±c,H±uc), the primitive increments are dρ=1, du=±c/ρ, and dp=c2; the middle field varies density at fixed u,p.

[F3]

Ideal-gas rarefaction and shock pressure response: the rarefaction and shock response formulas are the displayed fK(p) on p≤pK and p≥pK.

[F4]

Rankine–Hugoniot jumps and Lax shocks: a shock speed satisfies [F]=s[U], and strict acoustic Lax inequalities compare the corresponding family speeds on both sides.

Proof

1.1givenF1F2F3algebra

For 0<p≤pK, put ϵ=−1 for the 1-family and ϵ=1 for the 3-family. For every density ρ between ρK and ρ∗:=ρK(p/pK)1/γ, define p(ρ)=pK(ρ/ρK)γ, c(ρ)=cK(ρ/ρK)(γ−1)/2, u(ρ)=uK+2ϵ(c(ρ)−cK)/(γ−1), and E(ρ)=p(ρ)/(γ−1)+ρu(ρ)2/2. This path stays in the admissible Euler domain because ρ,p(ρ)>0. Differentiating gives p′=c2, u′=ϵc/ρ, and, in conserved coordinates, d(ρ,ρu,E)/dρ=(1,u+ϵc,H+ϵuc)=rϵ 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 c∗=cK(p/pK)(γ−1)/(2γ) and u∗−uK=2ϵ(c∗−cK)/(γ−1), which equals −fK(p) for the 1-family and fK(p) for the 3-family by [F3].

1.2givenF1F4algebra

For a compressive shock from side state K to star state ∗ with trial pressure p>pK and speed s, set w=u−s, v=1/ρ, e=pv/(γ−1), j=ρw, and E′=E−sm+12s2ρ=ρe+12ρw2. Write [g]=g∗−gK, Fρ=ρu, Fm=ρu2+p, FE=u(E+p), and FE′=FE−sFm+12s2Fρ; 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 j equal on both sides; momentum RH minus s times mass RH makes p+j2v equal. Since p≠pK, this identity forces j≠0. The linear combination of energy, momentum, and mass RH gives [FE′]=s[E′]. Substitution gives FE′−sE′=u(E+p)−s(ρu2+p)+12s2ρu−s(E−sm+12s2ρ)=(u−s)(E′+p)=w(E′+p), so [w(E′+p)]=0. Since w=jv, division by j gives equality of e+12w2+pv on both sides. Using w=jv, the energy equality reads e∗−eK+12j2(v∗2−vK2)+pv∗−pKvK=0. From j2(v∗−vK)=−(p−pK), the kinetic term is −12(p−pK)(v∗+vK); combining it with the pressure terms gives e∗−eK+12(p+pK)(v∗−vK)=0.

2.1step 1.2F1F3algebra

Let p>pK be the trial pressure, set q=p/pK>1, and use β=(γ−1)/(γ+1). Substituting e=pv/(γ−1) into step 1.2 and dividing by pKvK gives (qx−1)/(γ−1)+(q+1)(x−1)/2=0, where x=v∗/vK. Solving this linear equation gives x=(βq+1)/(q+β) and ρ∗/ρK=1/x=(q+β)/(βq+1). Hence 1−x=(1−β)(q−1)/(q+β), and using q=p/pK, BK=βpK, and AK=(1−β)/ρK gives vK−v∗=(p−pK)AK/(p+BK). Define V:=vK(p−pK)/(vK−v∗)>0. Since 1−x=(vK−v∗)/vK, V(1−x)=(p−pK)(vK−v∗)=(p−pK)AK/(p+BK)=fK(p). For a left 1-shock choose s=uK−V and j=ρKV; mass RH gives u∗=uK−V(1−x). For a right 3-shock oriented from the star state to K, choose s=uK+V and j=−ρKV; mass RH gives u∗=uK+V(1−x). These choices establish the response signs.

3.1step 1.2step 2.1F2F4algebra

Put q=p/pK and x=v∗/vK=(βq+1)/(q+β), so 0<x<1. The relative shock speeds on the two sides have magnitudes V=∣j∣vK and W=∣j∣v∗=xV. Steps 1.2 and 2.1 give V2/cK2=(q+β)/(γ(1−β))>1 and W2/c∗2=(βq+1)/(γq(1−β))<1. The first inequality follows from q+β>1+β=2γ/(γ+1), and the second from βq+1<γq(1−β), equivalent to q>1. For a 1-shock, s=u∗−W<u∗ and W<c∗ give λ−(u∗)<s; V>cK gives s<λ−(uK). For a 3-shock, s=u∗+W>u∗ and W<c∗ give s<λ+(u∗); V>cK gives λ+(uK)<s. The other-family Lax inequalities follow from λ−<λ0<λ+ and s<u∗ for a 1-shock or s>u∗ for a 3-shock.

4.1step 1.1step 2.1F1F2F3algebra∎

Equality of the left and right star velocities is uL−fL(p)=uR+fR(p), which rearranges to Φ(p)=0. At such a positive pressure the two Euler states have common u∗,p and differ only in density. From [F1], F(U)−u∗U=(0,p,u∗p) is independent of density, so F(UR∗)−F(UL∗)=u∗(UR∗−UL∗). By [F2], u∗ 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