Rheon

26 Compressible state, thermodynamics and waves

Compressibility introduces an evolving density and a thermodynamic energy equation. Pressure now follows a constitutive law and propagates through acoustic waves. The incompressible projection in Chapter 4 does not supply these dynamics. These three chapters specify a research path for a compressible branch; they do not establish a production compressible capability in Rheon.

A state that conserves the right quantities

For a single continuum in three dimensions, use the conservative state

U=(ρ,m,E)T,m=ρu,E=ρe+12ρ∣u∣2. U=(\rho,\mathbf m,\mathcal E)^T,\qquad \mathbf m=\rho\mathbf u,\qquad \mathcal E=\rho e+\tfrac12\rho|\mathbf u|^2.

Here ee is specific internal energy in J/kg; E\mathcal E is total energy per volume, in J/m³. Density has units kg/m³ and momentum density kg/(m² s). A reader comparing papers must check their notation: many authors write ρE\rho E for what this chapter calls E\mathcal E. Storing a pressure or temperature tracer instead of total energy changes the conservation contract.

For an outward unit normal n\mathbf n, let un=u⋅nu_n=\mathbf u\cdot\mathbf n. The Euler normal flux is

Fn(U)=(ρun, mun+pn, (E+p)un)T,∂tU+∇⋅F(U)=0. F_n(U)=\left(\rho u_n,\ \mathbf m u_n+p\mathbf n,\ (\mathcal E+p)u_n\right)^T, \qquad \partial_tU+\nabla\cdot F(U)=0.

Pressure transports momentum and performs work; the energy flux therefore contains punp u_n. In a finite volume, a face transports one mass, one vector momentum and one energy flux. Computing them from different advecting states can conserve each array globally while breaking the intended thermodynamic coupling. NASA’s governing-equation overview identifies the coupled continuity, momentum and energy system; the ALE paper by Benoit and Nadarajah makes the conservative state and ideal-gas pressure explicit. NASA equations, ALE formulation, §2.1

Close the equations before choosing a solver

A calorically perfect ideal gas assumes constant cvc_v, cpc_p and γ=cp/cv>1\gamma=c_p/c_v>1, with R=cp−cvR=c_p-c_v. Its closure is

p=(γ−1)(E−∣m∣22ρ),e=cvT,p=ρRT,c2=γp/ρ. p=(\gamma-1)\left(\mathcal E-\frac{|\mathbf m|^2}{2\rho}\right),\qquad e=c_vT,\qquad p=\rho RT,\qquad c^2=\gamma p/\rho.

The admissible set has ρ>0\rho>0 and positive internal-energy density E−∣m∣2/(2ρ)>0\mathcal E-|\mathbf m|^2/(2\rho)>0. Absolute pressure enters the EOS. A plotting offset called gauge pressure must not replace it. Values such as γ=1.4\gamma=1.4 define a teaching gas; constant heat capacities exclude temperature-dependent excitation, dissociation, ionization and chemical reaction. A thermally perfect gas can retain p=ρRTp=\rho RT while requiring temperature-dependent internal energy. NACA Report 1135 treats both perfect and imperfect gases, so its perfect-gas shock tables must be selected deliberately. NACA Report 1135

For a general single-material EOS p=p(ρ,e)p=p(\rho,e), the isentropic acoustic derivative follows from de=p dρ/ρ2de=p\,d\rho/\rho^2:

c2=∂p∂ρ∣e+∂p∂e∣ρpρ2. c^2=\left.\frac{\partial p}{\partial\rho}\right|_e +\left.\frac{\partial p}{\partial e}\right|_\rho\frac{p}{\rho^2}.

The implementation must provide this derivative, a valid thermodynamic domain and consistent temperature/energy conversions. A negative c2c^2, an EOS inversion outside its domain or an undefined heat capacity is a material-model failure, not a sound-speed value to clamp silently. Wang and Li derive EOS-dependent thermodynamics and a local stiffened-gas approximation; their approximation is a numerical strategy for a declared EOS, not a universal liquid calibration. Wang and Li, §§1–3

One simple stiffened-gas convention is

p=(γs−1)ρe−γsp∞,c2=γs(p+p∞)/ρ. p=(\gamma_s-1)\rho e-\gamma_s p_\infty,\qquad c^2=\gamma_s(p+p_\infty)/\rho.

It reduces to an ideal gas when p∞=0p_\infty=0. A compatible constant-cvc_v caloric relation is e=cvT+p∞/ρe=c_vT+p_\infty/\rho; other conventions include an energy offset and must be documented with their inversion. Admissibility requires ρ>0\rho>0, p+p∞>0p+p_\infty>0 and the chosen caloric domain. Reusing the ideal-gas condition p>0p>0 without reviewing this EOS changes its domain. Parameters must be fitted over the intended pressure and temperature range. A single-phase fit does not introduce cavitation, latent heat or a liquid-vapour interface model. The shock-compression experiments of Prasanna and colleagues illustrate why a liquid EOS fit needs a named material, data range and uncertainty. Their perfluorohexane parameters are not water parameters. Liquid EOS experiment, §§II–IV

A Tait-type barotropic law instead prescribes pressure from density, for example

p(ρ)=p0+B[(ρ/ρ0)n−1],c2=nBρ0(ρ/ρ0)n−1,B>0, n>0. p(\rho)=p_0+B\left[(\rho/\rho_0)^n-1\right],\qquad c^2=\frac{nB}{\rho_0}(\rho/\rho_0)^{n-1},\qquad B>0,\ n>0.

These equations define this chapter’s convention; some sources absorb p0p_0 into the pressure offset. It can represent a specified compressibility range. In weakly compressible numerical models, artificially reducing cc to enlarge the time step changes acoustic travel times and compressibility. This is a modelling choice, not calibrated acoustics. A barotropic pressure law alone supplies no temperature dependence or shock heating. For smooth isentropic motion one may construct an energy with de/dρ=p(ρ)/ρ2de/d\rho=p(\rho)/\rho^2; that restricted mechanical energy does not close the general thermal Euler/Navier–Stokes system through shocks. Select a complete caloric EOS before claiming energy-resolved liquid shocks.

Acoustic waves, contacts and shocks

In direction n\mathbf n, the three-dimensional Euler eigenvalues are

un−c,un,un,un,un+c. u_n-c,\quad u_n,\quad u_n,\quad u_n,\quad u_n+c.

The middle fields carry entropy and the two tangential velocity components. Acoustic fields travel relative to the fluid at ±c\pm c. A contact can have different density and temperature on either side while pressure and normal velocity agree. A pressure pulse and an advected density contact therefore exercise different mechanisms. The hyperbolic wave structure is set by the EOS; the ideal-gas formulas cannot be transferred unchanged to arbitrary real materials. Wang and Li, §2

Linearize about uniform rest (ρ0,p0,u=0)(\rho_0,p_0,\mathbf u=0) with c02=γp0/ρ0c_0^2=\gamma p_0/\rho_0. Along xx, the acoustic subsystem is

∂tp′+ρ0c02∂xu′=0,∂tu′+ρ0−1∂xp′=0. \partial_t p'+\rho_0c_0^2\partial_xu'=0,\qquad \partial_tu'+\rho_0^{-1}\partial_xp'=0.

Thus p′=f(x−c0t)p'=f(x-c_0t), u′=p′/(ρ0c0)u'=p'/(\rho_0c_0), ρ′=p′/c02\rho'=p'/c_0^2 is a right-travelling linear wave. Its impedance is Z=ρ0c0Z=\rho_0c_0. The nonlinear Euler system only approaches this reference as amplitude tends to zero; Chapter 28 specifies how to separate the linearization error from numerical error.

Across a planar discontinuity moving at normal speed ss, integrate conservation over a shrinking space-time control volume:

s[U]=[Fn(U)],[a]=aR−aL. s[U]=[F_n(U)],\qquad [a]=a_R-a_L.

These Rankine–Hugoniot conditions constrain shock speed and both states. Conservation is necessary but does not select the physical branch. For an ideal gas use entropy relative to fixed reference values,

s−sref=cvlog⁡[(p/pref)(ρref/ρ)γ]. \mathsf s-\mathsf s_{ref} =c_v\log\left[(p/p_{ref})(\rho_{ref}/\rho)^\gamma\right].

An admissible adiabatic shock increases specific entropy along the material crossing direction. Smooth inviscid motion transports it. The weak inequality is ∂t(ρs)+∇⋅(ρsu)≥0\partial_t(\rho\mathsf s)+\nabla\cdot(\rho\mathsf s\mathbf u)\ge0. Mathematical entropy commonly uses the opposite sign, such as η=−ρs\eta=-\rho\mathsf s, so its inequality is nonpositive. Always state the sign convention before plotting an entropy residual. NASA’s normal-shock reference explains the increase of entropy and loss of stagnation pressure across a calorically perfect shock. NASA normal shocks

For a stationary normal shock with upstream Mach M1>1M_1>1, ideal-gas conservation gives

ρ2ρ1=(γ+1)M12(γ−1)M12+2,p2p1=1+2γγ+1(M12−1). \frac{\rho_2}{\rho_1}=\frac{(\gamma+1)M_1^2}{(\gamma-1)M_1^2+2},\qquad \frac{p_2}{p_1}=1+\frac{2\gamma}{\gamma+1}(M_1^2-1).

With γ=1.4\gamma=1.4, M1=2M_1=2, these ratios are 8/38/3 and 4.54.5. The temperature ratio is 27/1627/16, and M22=1/3M_2^2=1/3. These derived numbers are a local jump reference, not an executed Rheon shock calculation. Resolving a numerical shock over several cells does not reproduce its physical molecular thickness.

Viscous stress and heat are part of energy accounting

For a compressible Newtonian fluid let D=(∇u+∇uT)/2D=(\nabla\mathbf u+\nabla\mathbf u^T)/2, dynamic shear viscosity μ≥0\mu\ge0, bulk viscosity ζ≥0\zeta\ge0, and conductivity k≥0k\ge0. Use

τ=2μ(D−13(∇⋅u)I)+ζ(∇⋅u)I,q=−k∇T. \tau=2\mu\left(D-\tfrac13(\nabla\cdot\mathbf u)I\right) +\zeta(\nabla\cdot\mathbf u)I,\qquad \mathbf q=-k\nabla T.

Stokes’ hypothesis sets ζ=0\zeta=0; it is an assumption about bulk dissipation, not the condition ∇⋅u=0\nabla\cdot\mathbf u=0. With body acceleration b\mathbf b and volumetric heat source QQ, the equations become

∂tρ+∇⋅(ρu)=0, \partial_t\rho+\nabla\cdot(\rho\mathbf u)=0, ∂tm+∇⋅(m⊗u+pI)=∇⋅τ+ρb, \partial_t\mathbf m+\nabla\cdot(\mathbf m\otimes\mathbf u+pI) =\nabla\cdot\tau+\rho\mathbf b, ∂tE+∇⋅[(E+p)u]=∇⋅(τu−q)+ρb⋅u+Q. \partial_t\mathcal E+\nabla\cdot[(\mathcal E+p)\mathbf u] =\nabla\cdot(\tau\mathbf u-\mathbf q)+\rho\mathbf b\cdot\mathbf u+Q.

Viscous work converts kinetic energy into internal energy while total energy changes through boundary work and heat. Adding a velocity diffusion step without its compatible energy term misses this conversion. For T>0T>0, the smooth entropy balance has production τ:D/T+k∣∇T∣2/T2≥0\tau:D/T+k|\nabla T|^2/T^2\ge0, with heat entropy flux q/T\mathbf q/T. Numerical shock dissipation, physical viscosity and turbulent closure remain three distinct contributors. The original curvilinear Navier–Stokes study of Nolasco and colleagues explicitly constructs compatible viscous and entropy terms; its particular high-order discretization is not incorporated here. Nolasco et al., §4

The next chapter constructs conservative numerical fluxes. Chapter 28 adds boundaries and a verification ladder. Any material or solver claim must name the EOS, transport coefficients, boundary regime and evidence actually obtained.