Riemann problem ($U(x,t)=U(x/t)$)

A Riemann problem for a one-dimensional system of conservation laws ${\partial }_{t}U+{\partial }_{x}f(U)=0$ has two constant initial states, $U_L$ for $x<0$ and $U_R$ for $x>0$. The data and equation are invariant under $(x,t)\mapsto (\lambda x,\lambda t)$. When the physically admissible entropy solution is unique, this invariance makes it a self-similar solution depending on $x/t$. For ideal-gas compressible flow, the characteristic speeds are $u-c,u,u+c$. The two acoustic families carry shock waves or rarefaction waves, while the middle family carries a contact discontinuity. Sufficiently strong separating velocities can instead create a vacuum region.

Two positive uniform ideal-gas states can be joined by one nontrivial rarefaction wave precisely when their specific entropy agrees, $p_L/{\rho }_L^{\gamma }=p_R/{\rho }_R^{\gamma }$, and for one $\sigma \in \{\pm 1\}$ they satisfy $u_R-u_L=2\sigma (c_R-c_L)/(\gamma -1)$ with $\sigma (c_R-c_L)>0$. These equations are the constant-entropy and Riemann invariant conditions of the self-similar ideal-gas rarefaction. They are sufficient because its affine $u,c$ profiles match the two states at ${\xi }_L=u_L+\sigma c_L$ and ${\xi }_R=u_R+\sigma c_R$, and ${\xi }_R>{\xi }_L$. The left family has $c_R<c_L$, while the right family has $c_R>c_L$. The inequality $u_R>u_L$ alone does not impose the two matching equalities.

A contact discontinuity in one-dimensional gas dynamics moves with the common fluid velocity $s=u_L=u_R$ and has continuous pressure, while mass density and specific entropy can jump. The mass jump condition $s[\rho ]=[\rho u]$ is automatic with common $u=s$; momentum conservation $s[\rho u]=[\rho u^2+p]$ then requires $[p]=0$. The energy jump condition is also satisfied. Thus a contact is a material interface, not a compression shock. A smooth self-similar positive-density flow cannot spread this zero-speed-relative-to-the-fluid family into a fan: $u=x/t$ on an interval would require both $du/d(x/t)=1$ and, from continuity, $du/d(x/t)=0$.