For isentropic flow of a perfect gas, with and . The mass and momentum equations imply
Adding and subtracting the appropriate multiples therefore proves
These are the Riemann invariants for one-dimensional isentropic flow.
In the piston-driven rarefaction wave, the incoming minus invariant has its initial value zero. Thus . At the piston , giving . A plus characteristic emitted at time has constant and , so its straight trajectory is
The first characteristic is , ahead of which the gas is undisturbed. Later characteristics have decreasing propagation speed and spread into a rarefaction. More explicitly for , with equality only at the vacuum endpoint. They never intersect, so no compressive shock forms.
Figure 1.
Withdrawing piston, outgoing rarefaction characteristics, incoming characteristics and the vacuum gap
. Details.
Since , the vacuum formation at an accelerating withdrawing piston gives
At , density, sound speed and pressure at the gas edge vanish, and the piston velocity is . Its speed is the positive magnitude . Afterwards the gas edge continues at this limiting velocity, while the piston keeps accelerating away; a vacuum gap of width opens and the gas pressure on the piston stays zero.