1. Introduction
Non-ideal compressible fluid dynamics is a novel and rapidly developing branch of fluid mechanics, mainly due to the emergence of methods and technologies operating in the near-, trans- and super-critical regimes. It is, in part, concerned with the gas dynamics of single-phase fluids in non-ideal thermodynamic states, i.e. states where the compressibility factor differs from unity (Guardone et al. Reference Guardone, Colonna, Pini and Spinelli2024). These states are illustrated in a pressure–temperature diagram for
$\textrm {CO}_2$
in figure 1. Non-ideal compressible fluid dynamics encompasses the dynamics of supercritical fluids, dense vapours and liquids. The latter two are separated by the Widom line, an extension beyond the critical point that delineates vapour-like and liquid-like behaviours, identified by maxima in the constant-pressure specific heat (Simeoni et al. Reference Simeoni, Bryk, Gorelli, Krisch, Ruocco, Santoro and Scopigno2010). In addition, it includes fluids of higher molecular complexity with a negative fundamental derivative of gas dynamics (Colonna et al. Reference Colonna, Nannan, Guardone and van der Stelt2009), also known as Bethe–Zel’dovich–Thompson (BZT) fluids (Zel’Dovich Reference Zel’Dovich1946; Thompson & Lambrakis Reference Thompson and Lambrakis1973) as well as simple fluids in the proximity of the critical point. The rapidly growing interest within the energy industry in fluids operating in such thermodynamic states, together with their marked departure from ideal-gas behaviour, demonstrates the need for systematic studies of such flows. However, as evident in the literature, while considerable effort has been devoted to developing experimental set-ups for non-ideal fluid dynamics in recent years (Lettieri, Yang & Spakovszky Reference Lettieri, Yang and Spakovszky2015; Zocca et al. Reference Zocca, Guardone, Cammi, Cozzi and Spinelli2019; Gallarini et al. Reference Gallarini, Cozzi, Spinelli and Guardone2021; Head et al. Reference Head, Michelis, Beltrame, Fuentes-Monjas, Casati, De Servi and Colonna2022), experimental data remain scarce and are complicated to acquire (Guardone et al. Reference Guardone, Colonna, Pini and Spinelli2024). Consequently, the development of consistent and efficient numerical tools for the simulation of such flows is essential for advancing both the fundamental understanding of non-ideal compressible fluid dynamics and technologies such as organic Rankine cycles and supercritical
$\textrm {CO}_2$
turbines (Chen et al. Reference Chen, Liu, Liao, Zhang, Jiaqiang and Tan2023; Gunawan, Permana & Soetikno Reference Gunawan, Permana and Soetikno2023; Guardone et al. Reference Guardone, Colonna, Pini and Spinelli2024). More specifically, direct numerical simulations are necessary both to understand the complex physics of non-ideal compressible fluid dynamics and to generate engineering databases. Examples include skin friction and dissipation coefficients (Cramer, Whitlock & Tarkenton Reference Cramer, Whitlock and Tarkenton1996; Pini & De Servi Reference Pini and De Servi2018), heat transfer in wall-bounded turbulent supercritical flows (Peeters et al. Reference Peeters, Pecnik, Rohde, Van Der Hagen and Boersma2016; Kawai Reference Kawai2019) and the critical mass flow rate and pressure in nozzles and turbines involving flashing flows. While direct numerical simulations may at times be cost prohibitive for full-scale simulations, they are a necessary tool for the development of subgrid-scale closure models required for the more cost effective large eddy and Reynolds-averaged Navier–Stokes simulations (Garnier, Adams & Sagaut Reference Garnier, Adams and Sagaut2009). Recent studies on homogeneous isotropic turbulence fluid structures in dense vapours have shown that, while large-scale flow structures are mostly affected by molecular complexity, smaller-scale flow structures are impacted by local variations in sound speed (Sciacovelli, Cinnella & Grasso Reference Sciacovelli, Cinnella and Grasso2017; Duan et al. Reference Duan, Zheng, Jiang and Wang2021). In addition, the dense vapour has been shown to display modified shocklet structures, with considerably reduced jumps in pressure, density and entropy in compression shocklets, and the emergence of expansion shocklets (Giauque et al. Reference Giauque, Corre and Menghetti2017, Reference Giauque, Corre and Vadrot2020). Similarly, substantial differences from ideal-gas dynamics have been reported (Vadrot, Giauque & Corre Reference Vadrot, Giauque and Corre2021) for wall-bounded turbulence, particularly at smaller scales, and where strong normal gradients in density and viscosity – and consequently the local speed of sound and Mach number – may strongly impact turbulent structures (Peeters et al. Reference Peeters, Pecnik, Rohde, Van Der Hagen and Boersma2016; Pecnik & Patel Reference Pecnik and Patel2017). Reliable direct numerical simulation studies of non-ideal compressible fluid dynamics can fill existing gaps in the understanding of physics of such flows. A reliable numerical scheme presupposes a physical model valid across all regimes of interest here, i.e. super-, trans- and near-critical flows involving pronounced non-ideal and compressibility effects. The development and validation of efficient numerical schemes for the Navier–Stokes–Korteweg (NSK) dynamics, regardless of method, can have a significant impact on the broader literature and understanding of non-ideal compressible flows.
Pressure–temperature diagram for
$\textrm {CO}_{2}$
. The colour scale indicates the compressibility factor
$Z=P/\rho RT$
, where
$\rho$
,
$P$
and
$R$
are the density, pressure and specific gas constant, respectively. Figure reproduced from Guardone et al. (Reference Guardone, Colonna, Pini and Spinelli2024). Here,
$P_c$
and
$T_c$
are the critical pressure and temperature.

Figure 1. Long description
A line graph showing the relationship between pressure and temperature with a color scale indicating the compressibility factor. The x-axis represents the temperature normalized by the critical temperature, ranging from 0.8 to 1.4. The y-axis represents the pressure normalized by the critical pressure, ranging from 0 to 2.5. The graph includes regions labeled as dense vapor, supercritical fluid, and ideal gas. A Widom line and a critical isobar are marked. The compressibility factor varies from 0.1 to 1.5, as indicated by the color scale on the right. All values are approximated.
The lattice Boltzmann method (LBM) is an excellent candidate for the flow regimes of interest here. Already well established as an efficient method for resolved simulation of flows in the incompressible limit, the distinct numerical features of LBM offer advantages for compressible, non-ideal fluid dynamics. Specifically, LBM benefits from the decoupling of nonlinearity and non-locality noted by S. Succi, in LBM `nonlinearity is local, non-locality is linear’ (Succi Reference Succi2001; Succi & Succi Reference Succi and Succi2018). The LBM solvers are conservative and low-dissipative schemes with spectral properties – both dissipative and dispersive – that compare favourably to conventional solvers of the same order (Martinez et al. Reference Martinez, Matthaeus, Chen and Montgomery1994; Peng et al. Reference Peng, Liao, Luo and Wang2010; Hosseini et al. Reference Hosseini, Coreixas, Darabiha and Thévenin2019, Reference Hosseini, Huang and Thévenin2022b ; Wissocq, Sagaut & Boussuge Reference Wissocq, Sagaut and Boussuge2019; Hosseini Reference Hosseini2020), especially for normal propagation modes, i.e. acoustic modes (Bres, Pérot & Freed Reference Bres, Pérot and Freed2009; Viggen Reference Viggen2011, Reference Viggen2014). Along with incompressible ideal fluid dynamics, two-phase flow simulation has witnessed major success and growth in popularity in LBM, starting with formulations such as the colour gradient (Gunstensen et al. Reference Gunstensen, Rothman, Zaleski and Zanetti1991), pseudo-potential (Shan & Chen Reference Shan and Chen1993) and free energy (Swift et al. Reference Swift, Orlandini, Osborn and Yeomans1996) in the early 1990s. The latter two are of special interest in the context of non-ideal fluid dynamics as they effectively solve a form of the NSK. The vast majority of the literature that focuses on or uses this class of models has been tailored to become essentially highly efficient interface tracking models for multi-phase flows (Chen et al. Reference Chen, Kang, Mu, He and Tao2014; Mazloomi, Chikatamarla & Karlin Reference Mazloomi2015; Li et al. Reference Li, Luo, Kang, He, Chen and Liu2016; Luo, Fei & Wang Reference Luo, Fei and Wang2021; Hosseini & Karlin Reference Hosseini and Karlin2023). Non-ideal compressible thermodynamics has long been neglected in LBM applications. The free energy model, for instance, which is the only one out of the previously listed approaches that results from minimisation of a free energy functional under a constraint on the total mass, can readily be shown to be related to mean-field kinetic models such as the Boltzmann–Enskog–Vlasov (Hosseini et al. Reference Hosseini, Dorschner and Karlin2022a ; Hosseini & Karlin Reference Hosseini and Karlin2023) equations and recover, in the hydrodynamic limit and under specific scaling, the NSK equations (Hosseini et al. Reference Hosseini, Dorschner and Karlin2022a ) and mean-field van der Waals fluid thermodynamics. This means that it can not only model two-phase flow dynamics and phase separation but also properly recover all mean-field, near-, trans- and super-critical behaviours associated with non-ideal fluids, as demonstrated, for instance, through studies of properties such as the Tollman length (Házi & Márkus Reference Házi and Márkus2008; Reyhanian et al. Reference Reyhanian, Dorschner and Karlin2020, Reference Reyhanian, Dorschner and Karlin2021; Hosseini et al. Reference Hosseini, Dorschner and Karlin2022a ; Lulli et al. Reference Lulli, Biferale, Falcucci, Sbragaglia and Shan2022a ,Reference Lulli, Biferale, Falcucci, Sbragaglia, Yang and Shan b ; Hosseini & Karlin Reference Hosseini and Karlin2023).
The use and extension of this class of thermodynamically consistent models to compressible non-ideal fluid dynamics is a largely under-explored area that can considerably impact research on non-ideal compressible fluid dynamics. Early attempts at developing an LBM for compressible non-ideal flows were documented in He & Doolen (Reference He and Doolen2002). Since then, thermal multi-phase models based on the pseudo-potential approach have witnessed steady growth. However, the vast majority of the models and studies in the literature have been tailored to boiling applications (see for instance Li et al. Reference Li, Kang, Francois, He and Luo2015; Fang et al. Reference Fang, Chen, Kang and Tao2017; Fei et al. Reference Fei, Yang, Chen, Mo and Luo2020; Huang, Wu & Adams Reference Huang, Wu and Adams2021; Saito et al. Reference Saito, De Rosis, Fei, Luo, Ebihara, Kaneko and Abe2021). To the authors’ knowledge, the only documented attempts at modelling compressible non-ideal flows beyond evaporation are Vienne, Giauque & Lévêque (Reference Vienne, Giauque and Lévêque2024), where a hybrid lattice Boltzmann/finite-volume scheme – with a finite-volume discretisation of the energy equation – was proposed, and Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020, Reference Reyhanian, Dorschner and Karlin2021), where the authors demonstrated a numerical model based on the particles-on-demand realisation of the LBM (Dorschner, Bösch & Karlin Reference Dorschner, Bösch and Karlin2018). We propose to address this gap in the literature with a novel kinetic model and its lattice Boltzmann realisation for non-ideal fluids in the compressible regime. To retain the main advantages of the LBM, the proposed model relies on classical first-neighbour lattices, taking advantage of a second distribution function for the energy-balance equation (Rykov Reference Rykov1975; Prasianakis & Karlin Reference Prasianakis and Karlin2007, Reference Prasianakis and Karlin2008; Saadat et al. Reference Saadat, Hosseini, Dorschner and Karlin2021b ). The kinetic model relies on a novel set of Bhatnagar-Gross-Krook (BGK)-like collision operators with local- and shifted-equilibrium attractors, ensuring recovery of the target hydrodynamics. For instance, independent control over the bulk viscosity is guaranteed through the shifted equilibrium; the latter is a critical point as the bulk viscosity dictated by the BGK structure, for equilibria with pressures other than the ideal-gas pressure, can take on negative values in the hydrodynamic limit; see Hosseini et al. (Reference Hosseini, Dorschner and Karlin2022a ). Together with a consistent second-order discretisation and treatment of source terms, the model will be shown to correctly recover the target hydrodynamic limit.
The paper is organised as follows: § 2 introduces the target hydrodynamic limit. Section 3 presents the kinetic model and its lattice Boltzmann realisation. Section 4 provides validation across a range of increasingly complex configurations and studies of non-ideal fluid-specific dynamics through cases such as shock tubes and shock–liquid-column interaction. The article closes with final remarks in § 5.
2. Balance equations for a compressible non-ideal fluid
We begin with a brief overview of a one-component, compressible non-ideal fluid system. Material presented in this section is standard and serves to define the target hydrodynamics for a kinetic model to be introduced in § 3. We introduce the macroscopic fields of fluid density
$\rho (\boldsymbol{x},t)$
, momentum
$\rho \boldsymbol{u}(\boldsymbol{x},t)$
, where
$\boldsymbol{u}(\boldsymbol{x},t)$
is the fluid velocity vector, and bulk energy
$\rho E(\boldsymbol{x},t)$
. The latter is the sum of the flow kinetic-energy density and the internal-energy density
$\rho e$
The specific internal-energy
$e(v,T)$
per unit mass is a function of absolute temperature
$T$
and specific volume
$v=1/\rho$
, and is defined by a familiar thermodynamic relation for its differential
where
$P(v,T)$
is the thermodynamic pressure and
$c_v$
is the specific heat at constant volume
In the following, it will be convenient to consider the thermodynamic equation of state as a function of the density
$\rho$
rather than of the specific volume
$v$
so that the differential of the internal energy (2.2) becomes
\begin{equation} {{\rm d}e=c_v{\rm d}T-\left [T\left (\dfrac {\partial P}{\partial T}\right )_{\kern-2pt \rho} -P\right ]\frac {{\rm d}\rho }{\rho ^2}.} \end{equation}
The mass, momentum and bulk-energy-balance equations are
The viscous stress tensor is defined as
where
$\mu$
and
$\eta$
are the dynamic shear and bulk viscosity coefficients, respectively. Furthermore, the Korteweg surface tension tensor is defined as
where
$\kappa$
is the capillarity coefficient. Since only the divergence of Korteweg’s tensor contributes to the balance equations, we define the Korteweg force as
Finally, the Fourier heat flux is defined as
where
$k$
is the thermal conductivity coefficient. All transport coefficients are considered constants below.
While the bulk-energy balance (2.8) is our primary target equation in the following, we mention several other related forms that are implied by the system (2.6), (2.7) and (2.8). Denoting by
$\mathcal{K}=(1/2) \rho u^2$
the flow kinetic energy, and computing its time derivative using the continuity (2.6) and the momentum balance (2.7), we obtain
Using the decomposition (2.1), the internal-energy balance is obtained by subtracting the kinetic-energy balance (2.13) from the bulk-energy balance (2.8)
Furthermore, using the differential of the internal energy (2.5) and the continuity (2.6), one obtains the temperature equation
and similarly, the pressure equation
where
$c_s$
is the speed of sound
\begin{equation} c_s^2={\left (\dfrac {\partial P}{\partial \rho }\right )_T+\frac {T}{\rho ^2 c_v}\left (\dfrac {\partial P}{\partial T}\right )_{\kern-2pt \rho} ^2}. \end{equation}
A further useful form is the balance for the total energy
$\mathcal{E}$
, which takes into account the energy of the liquid–vapour interface
Introducing the interface energy,
$\mathcal{E}_{\kappa }=({1}/{2}) \kappa |\boldsymbol{\nabla }\rho |^2$
, we first compute its time derivative using the continuity (2.6) to get
Adding the bulk-energy balance (2.8) and the interface-energy balance (2.19), we obtain the balance equation for the total energy (2.18) in the standard form
In summary, the various energy-balance forms listed above are implied by the set of balance equations for mass (2.6), momentum (2.7) and bulk energy (2.8), which constitute the target equations for the lattice Boltzmann realisation. While the total energy-balance form (2.20) seems to be preferred for conventional finite-volume methods, the bulk-energy version of the energy balance is more convenient in the lattice Boltzmann setting due to the locality of the corresponding bulk-energy field.
Furthermore, we mention a special case in which the specific heat at constant volume is a function of the absolute temperature only,
$c_v=c_v(T)$
. This implies that the thermodynamic equation of state is a linear function of temperature
where
$a$
and
$b$
are functions of specific volume (or density) only. Indeed, since (2.2) is a complete differential, the equality of mixed derivatives implies
Commonly used examples are the van der Waals and the Carnahan–Starling equations of state. From a more microscopic viewpoint, corresponding balance equations are derived from the Enskog–Vlasov kinetic equation. To link the aforementioned energy equations to those appearing in the kinetic theory, we decompose the pressure into hard-sphere and mean-field contributions. We define the excluded volume, or Enskog, contributions as
$P_{\textit{hs}}=TB(\rho )=Tb(1/\rho )$
, and the mean-field, or Vlasov, contributions as
$P_{\textit{mf}}=A(\rho )=a(1/\rho )$
. This permits the above equation of state (2.21) to be written
The specific internal energy is partitioned accordingly
Here,
$e_{\textit{hs}}$
is the specific thermal energy, and
$e_{\textit{mf}}$
is the specific molecular potential energy (in the mean-field approximation). For the Enskog model of hard spheres, the specific heat is that of the ideal monatomic gas,
$c_v=(3/2)R$
. The balance equation for the thermal energy
$\rho e_{\textit{hs}}$
is obtained by excluding the molecular potential energy from the balance of the internal energy (2.14)
Introducing the total kinetic energy of hard spheres
we obtain its balance upon adding the flow kinetic energy (2.13) to the thermal energy balance (2.27)
The balance (2.29) can be derived directly from the Enskog–Vlasov kinetic equation under appropriate scaling in the hydrodynamic limit. Conversely, starting with the energy balance (2.29) and adding the balance for the potential energy (2.26) (since
$e_{\textit{mf}}$
depends only on the density, the latter follows from the continuity equation)
we recover the bulk-energy balance (2.8) (and, consequently, after adding the balance of the interface energy (2.19), the total energy balance (2.20)), for the special case of the equation of state (2.21). These considerations show that a more general phenomenological bulk-energy balance (2.8) is consistent with the special case derived directly from kinetic theory and thus gives us a further reason to use (2.8) as the target energy-balance equation in the lattice Boltzmann context. Consequently, and without loss of generality, we use the van der Waals equation of state in the numerical examples below
The excluded volume parameter
$b$
and the long-range molecular attraction parameter
$a$
are defined in terms of the critical-state thermodynamic data, the critical density
$\rho _c$
, critical temperature
$T_c$
and critical pressure
$P_c$
, as follows:
$a ={27 R^2 T_c^2}/{64 P_c}$
,
$b = {R T_c}/{8 P_c}$
. The differentials of the specific internal energy (2.5) and of the specific entropy
$s$
for the van der Waals fluid are, respectively,
In the next section, we shall introduce a lattice Boltzmann model that recovers the above system of balance (2.6), (2.7) and (2.8) in the hydrodynamic limit. Before doing so, we highlight a motivation for adopting the lattice Boltzmann formulation for modelling compressible non-ideal fluids. From the pressure (2.16), one observes that, for a non-ideal fluid, the adiabatic speed of sound squared (2.17) becomes negative for a van der Waals-type equation of state in the thermodynamically unstable spinodal region of the density–temperature diagram. Consequently, in the inviscid limit, the evolution equation changes type from hyperbolic to elliptic, and special treatment invoking Maxwell’s equal-area rule has to be applied in conventional computational fluid dynamics methods. In contrast, the LBM, by being based in kinetic theory, is able to circumvent this issue as it inherits propagation along fixed characteristics, namely the discrete velocities. Thus, the lattice Boltzmann model introduced below should not be viewed as yet another interface-capturing numerical scheme for multiphase flows but rather as a reduced kinetic theory targeting the thermodynamically consistent compressible NSK hydrodynamic limit.
3. Lattice Boltzmann model for non-ideal compressible flows
3.1. Kinetic model
In this section, we introduce a kinetic model tailored to recover the target hydrodynamic equations of a compressible non-ideal fluid, (2.6), (2.7) and (2.8), in the hydrodynamic limit. To this end, we follow the so-called double distribution function approach and consider two velocity distribution functions,
$f(\boldsymbol{v}, \boldsymbol{x}, t)$
and
$g(\boldsymbol{v},\boldsymbol{x}, t)$
, where
$\boldsymbol{v}$
is the velocity of a particle. The idea of a double distribution function kinetic model was first proposed by Rykov (Reference Rykov1975) for polyatomic molecules, where the second distribution function represents the rotational–vibrational contribution to the internal energy. This approach was later adopted in the LBM (He, Chen & Doolen Reference He, Chen and Doolen1998; Guo et al. Reference Guo, Zheng, Shi and Zhao2007; Li et al. Reference Li, He, Wang and Tao2007; Karlin, Sichau & Chikatamarla Reference Karlin, Sichau and Chikatamarla2013), where the second distribution function has been used to represent different forms of energy. Here, we propose a model where the bulk energy
$\rho E$
(2.1) is represented by the second distribution function, although other choices are possible. This specific choice leads to kinetic equations without complicated source terms and can be efficiently tackled by classical first-neighbour discrete-velocity lattices. We refer interested readers to Hosseini, Bhadauria & Karlin (Reference Hosseini, Bhadauria and Karlin2024) and Strässle et al. (Reference Strässle, Hosseini and Karlin2025) for an in-depth discussion.
Thus, the
$f$
-distribution function defines the fluid density and momentum, while the
$g$
-distribution defines the bulk energy (2.1)
where
$m$
is the mass of the particle. The kinetic model is defined by the coupled kinetic equations
where the collision terms on the right-hand side are sought in the following forms:
Here, the pair
$\{f^{\textit{eq}}, g^{\textit{eq}}\}$
represents a local-equilibrium attractor, while
$\{f_\lambda ^\star , g_\lambda ^\star \}$
represents an intermediate quasi-equilibrium attractor. Furthermore,
$\tau$
and
$\lambda$
are the corresponding relaxation times, and we proceed to define the equilibrium and the quasi-equilibrium distribution functions.
To describe the equilibrium distribution functions, we introduce a reference temperature parameter
$\theta$
, with dimensions of
$RT$
. This parameter fixes the width of the Maxwellian equilibria independent of the thermodynamic internal energy. The equilibrium associated with mass and momentum is then written as
where
$\rho$
and the
$D$
components of
$\boldsymbol{u}$
are fixed by the local conservation constraints (3.1), while
$\theta$
is specified independently. Thus,
$f^{\textit{eq}}$
forms a
$D+2$
-parameter family.
The equilibrium distribution associated with the energy population is defined as
so that the thermodynamic temperature
$T$
enters through the specific internal energy
$e(\rho ,T)$
, whereas
$\theta$
enters through the Maxwellian kernel. The equilibrium distributions (3.7) and (3.8) satisfy the conservation laws of mass, momentum and bulk energy
Other relevant higher-order moments of the equilibrium distributions are presented in table 5 in Appendix A.
The quasi-equilibrium state
$\{f_\lambda ^\star , g_\lambda ^\star \}$
is constructed using shifted values of the flow velocity, reference temperature and thermodynamic temperature
where
$\boldsymbol{F}$
is the Korteweg force (2.11), and
$\alpha$
is a non-dimensional parameter to be specified below. The quasi-equilibrium distribution
$f_\lambda ^\star$
therefore is a shifted Maxwellian
The corresponding quasi-equilibrium for the energy population is defined as
The vector
$\boldsymbol{q}^{{c}}_\lambda$
appearing in the last term is defined by
where
$h$
is the specific enthalpy:
Moments of the quasi-equilibrium distributions
$f_\lambda ^\star$
(3.14) and
$g^\star _\lambda$
(3.15) are presented in tables 5 and 6 in Appendix A.
The construction above leaves two scalar parameters to be specified: the reference temperature
$\theta$
and the non-dimensional coefficient
$\alpha$
in (3.12). To specify these free parameters, we perform a Chapman–Enskog analysis of the hydrodynamic limit of the kinetic equations. Details are given in Appendix A. The analysis shows that, to recover the target hydrodynamic set (2.6), (2.7) and (2.8), the reference temperature must be set as the thermodynamic flow work
Recovery of the Navier–Stokes viscous stress tensor (2.9) requires the relaxation time
$\tau$
be related to the shear viscosity
$\mu$
as
and the parameter
$\alpha$
to have the form
Note that the relaxation time
$\lambda$
does not affect the hydrodynamic limit, thus remaining a free parameter which can be specified conveniently in the subsequent discretisation. We close this section with several explanatory comments.
-
(i) In the ideal-gas limit,
$P\to \rho RT$
, the reference temperature (3.18) becomes proportional to the thermodynamic temperature,
$\theta \to RT$
. For a generic non-ideal compressible fluid, the formulation of the reference temperature (3.18), as a function of
$P$
and
$\rho$
, rather than thermodynamic temperature
$T$
, was first proposed by Reyhanian, Dorschner & Karlin (Reference Reyhanian, Dorschner and Karlin2020) in the context of the particles-on-demand method (Dorschner et al. Reference Dorschner, Bösch and Karlin2018). -
(ii) A special case of kinetic models (3.3) and (3.4) was recently derived from the Boltzmann–Enskog–Vlasov kinetic theory by Karlin & Hosseini (Reference Karlin and Hosseini2026) using a projection operator technique. Here, we introduced a more general kinetic model, combining the aforementioned approach of Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020) with the quasi-equilibrium representation of the non-local Korteweg force.
-
(iii) In the absence of the term (3.16), the non-equilibrium heat flux recovered in the hydrodynamic limit is proportional to the enthalpy gradient,
$\boldsymbol{q}\propto \boldsymbol{\nabla }h$
, as first observed by Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020). In the ideal-gas limit this reduces to Fourier’s law (2.12), since
$\boldsymbol{\nabla }h\propto \boldsymbol{\nabla }T$
. For a general non-ideal fluid, however,
$\boldsymbol{\nabla }h$
also contains density-gradient contributions, leading to a spurious non-Fourier component of the heat flux. The correction flux (3.16) compensates for this non-Fourier contribution, thereby recovering (2.12). -
(iv) Setting
$\alpha =0$
in (3.12) recovers a fixed bulk viscosity
$\eta =\mu ((({D+2})/{D})-( {\rho c_s^2}/{P}) )$
. Shifting the reference temperature with the parameter
$\alpha$
(3.20) renders the bulk viscosity an independent, tuneable and positive-definite parameter. -
(v) From the Chapman–Enskog analysis, the zeroth moment of
$g_\lambda ^\star$
(3.21)must differ from the corresponding moment of
\begin{equation} \int m g_\lambda ^\star {\rm d}\boldsymbol{v} = \frac {1}{2}\rho \boldsymbol{u}^2 + \lambda \boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F} + \frac {\lambda ^2}{2\rho }\boldsymbol{F}\boldsymbol{\cdot }\boldsymbol{F} + \rho e(\rho ,T_\lambda ^\star ), \end{equation}
$g^{\textit{eq}}$
only by the term
$\lambda \boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}$
. The additional kinetic energy introduced by the shifted velocity
$\boldsymbol{u}_\lambda ^\star$
must therefore be compensated by a commensurate reduction in the internal energy. Introducing
$\delta T = T_\lambda ^\star - T$
, we can expand(3.22)To recover the correct moment up to order
\begin{equation} e(\rho ,T_\lambda ^\star ) = e(\rho ,T) + \left .\frac {\partial e}{\partial T}\right |_{\rho } \delta T + \mathcal{O}\left (\delta T^2\right )\!. \end{equation}
$\lambda ^2$
, one therefore requires(3.23)This yields the expression (3.13) for the shifted temperature. Since
\begin{equation} \left .\frac {\partial e}{\partial T}\right |_{\rho } \delta T = -\frac {\lambda ^2}{2\rho ^2}\boldsymbol{F}\boldsymbol{\cdot }\boldsymbol{F}. \end{equation}
$.\partial e/\partial T|_{\rho }=c_v\gt 0$
, the shifted temperature
$T_\lambda ^\star$
is systematically lower than
$T$
.
-
(vi) The role of the quasi-equilibrium state can be clarified by considering the limit
$\lambda \to 0$
, in which relaxation toward the shifted state becomes equivalent to introducing explicit kinetic source terms (3.24)
\begin{align} \lim _{\lambda \to 0}\frac {1}{\lambda }(f_\lambda ^\star -f^{\textit{eq}})&= \frac {1}{P}\boldsymbol{F}\boldsymbol{\cdot }(\boldsymbol{v}-\boldsymbol{u})f^{{ eq}}+\alpha (\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u})\left (\frac {{\rho (\boldsymbol{v}-\boldsymbol{u})}^2}{2P}-\frac {D}{2}\right )f^{\textit{eq}}, \end{align}
(3.25)
\begin{align} \lim _{\lambda \to 0}\frac {1}{\lambda }(g_\lambda ^\star -g^{\textit{eq}})&= \frac {1}{P}\boldsymbol{F}\boldsymbol{\cdot }(\boldsymbol{v}-\boldsymbol{u})\left (\frac {\boldsymbol{v}^2}{2} + e - \frac {DP}{2\rho }\right )f^{\textit{eq}}\nonumber\\ &\quad + \alpha (\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u})\left (\left (\frac {\boldsymbol{v}^2}{2} + e - \frac {DP}{2\rho }\right )\left (\frac {{\rho (\boldsymbol{v}-\boldsymbol{u})}^2}{2P} - \frac {D}{2}\right )- \frac {DP}{2\rho }\right )f^{\textit{eq}}\nonumber\\ &\quad +{\left (\boldsymbol{\nabla }h - \frac {k}{\mu }\boldsymbol{\nabla }T\right )\boldsymbol{\cdot }(\boldsymbol{v}-\boldsymbol{u})}f^{\textit{eq}}. \end{align}
The first term in (3.24) provides the Korteweg force contribution to the momentum balance, while its counterpart, the first term in (3.25), generates the corresponding work term in the bulk-energy balance (2.8). Furthermore, the second term in (3.24) and its counterpart in (3.25) define the bulk viscosity contributions to the momentum and bulk-energy-balance equations. Finally, the last term in (3.25) is the heat-flux correction required to recover Fourier’s law, as discussed above.
-
(vii) The double-relaxation form of the kinetic (3.3), (3.4), (3.5) and (3.6) has the advantage of admitting the standard lattice Boltzmann space–time discretisation. Integration along characteristics combined with trapezoidal quadrature of the collision terms (He et al. Reference He, Chen and Doolen1998; Ansumali et al. Reference Ansumali, Arcidiacono, Chikatamarla, Prasianakis, Gorban and Karlin2007) yields an explicit, second-order accurate scheme (see details in Appendix B)
(3.26)
\begin{align} f(\boldsymbol{x}+\boldsymbol{v}\delta t,t+\delta t)=&{f}+ 2\beta \left (f^{\textit{eq}} - {f}\right )+ {\frac {\delta t}{\lambda }}\left (1-\beta \right ) \left (f_\lambda ^\star - f^{\textit{eq}}\right )\!, \end{align}
(3.27)
\begin{align} g(\boldsymbol{x}+\boldsymbol{v}\delta t,t+\delta t)=&{g}+ 2\beta \left (g^{\textit{eq}} - {g}\right )+ {\frac {\delta t}{\lambda }}\left (1-\beta \right ) \left (g_\lambda ^\star - g^{\textit{eq}}\right )\!. \end{align}
Here, all quantities on the right-hand side are evaluated at
$(\boldsymbol{x}, t)$
,
$\delta t$
is the time step and
$\beta \in [0,1]$
, is the transformed relaxation parameter(3.28)As a consequence of the trapezoidal time integration, the transformed populations are related to the hydrodynamic fields
\begin{equation} \beta =\frac {\delta t}{2\tau +\delta t}. \end{equation}
$\rho$
,
$\boldsymbol{u}$
and
$E$
as follows: (3.29)
\begin{align} \int m {f} {\rm d}\boldsymbol{v} & = \rho , \end{align}
(3.30)
\begin{align} \int m \boldsymbol{v} {f} {\rm d}\boldsymbol{v} &= \rho \boldsymbol{u}-\frac {\delta t}{2}\boldsymbol{F}, \end{align}
(3.31)
\begin{align} \int m {g} {\rm d}\boldsymbol{v} &= \rho E - \frac {\delta t}{2} \boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}. \end{align}
This concludes the presentation and analysis of the kinetic model for compressible non-ideal fluids. The lattice Boltzmann realisation follows.
3.2. Lattice Boltzmann realisation
In the lattice Boltzmann realisation of the kinetic model introduced above, we set
$\lambda =\delta t$
. We consider the standard
$D3Q27$
discrete-velocity set
$\boldsymbol{v}_i=c\boldsymbol{c}_i$
in
$D=3$
dimensions, with
$Q=27$
velocities
The
$D3Q27$
lattice (3.32) is characterised by the lattice speed of sound
In the following, we use lattice units by setting
$c=1$
. The discrete-velocity equations for the populations
$f_i(\boldsymbol{x},t)$
and
$g_i(\boldsymbol{x},t)$
,
$i=1,\ldots , Q$
, follow from (3.26) and (3.27) as
It remains, then, to define the equilibrium populations
$\{f_i^{\textit{eq}}, g_i^{\textit{eq}}\}$
and the shifted-equilibrium populations
$\{f_i^\star , g_i^\star \}$
. To this end, we follow the product-form formalism (Karlin & Asinari Reference Karlin and Asinari2010) and introduce functions in two variables,
$\xi _{\alpha }$
and
$\zeta _{\alpha \alpha }$
The equilibrium populations
$f_i^{\textit{eq}}$
are defined by setting the parameters in the functions (3.36) as follows:
where
$\theta$
is given by the thermodynamic flow work (3.18). With the definitions (3.37) and (3.38) in the functions (3.36), the local-equilibrium populations are written in product form
With
$\lambda =\delta t$
, the shifted flow velocity (3.11) and shifted reference temperature (3.12) are
For the shifted-equilibrium populations
$f_i^\star$
, the parameters
$\xi _\alpha$
and
$\zeta _{\alpha \alpha }$
in the functions (3.36) are set as follows:
Compared with the continuous-velocity kinetic model of § 3.1, the discrete-velocity formulation requires the additional correction term
This is the standard correction necessary to restore Galilean invariance in the hydrodynamic limit on first-neighbour discrete-velocity lattices (Prasianakis & Karlin Reference Prasianakis and Karlin2007; Li et al. Reference Li, Luo, He, Gao and Tao2012; Hosseini, Darabiha & Thévenin Reference Hosseini, Darabiha and Thévenin2020). Combining (3.42) and (3.43) with the same product-form construction utilising (3.36), the shifted-equilibrium populations may be written as
which completes the definition of the forcing term in (3.34).
For the
$g$
-populations, we follow the generating-function representation introduced in Karlin et al. (Reference Karlin, Sichau and Chikatamarla2013) and Saadat et al. (Reference Saadat, Hosseini, Dorschner and Karlin2021b
). The generating function is the bulk energy per unit mass
consistent with (2.1). The corresponding equilibrium populations are constructed by repeated application of the operators
whose dependence on the reference temperature is indicated explicitly. The discrete equilibrium
$g_i^{\textit{eq}}$
is defined by setting
$\xi _\alpha =\mathcal{O}_{\alpha }$
and
$\zeta _{\alpha \alpha }=\mathcal{O}^2_{\alpha }$
in the functions (3.36) and interpreting the product-form as an operator acting on the generating function (3.46)
Shifted-equilibrium populations
$g_i^\star$
are defined using the equilibrium product-form (3.48) evaluated at shifted values (3.40) and (3.41), and adding a correction
\begin{equation} g_i^\star = g_i^{\textit{eq}}\left (\rho ,\boldsymbol{u}^\star , T^\star , {\theta ^\star } \right ) + \begin{cases} \dfrac {1}{2}\boldsymbol{c}_i\boldsymbol{\cdot }\boldsymbol{q}^{{c}}, & c_i^2=1,\\ 0, & \text{otherwise}, \end{cases} \end{equation}
where the non-equilibrium energy flux
$\boldsymbol{q}^c$
and shifted temperature
$T^\star$
are given by (3.16) and (3.13), respectively, with
$\lambda =\delta t$
Finally, the locally conserved fields entering the equilibrium and shifted-equilibrium populations, namely the density
$\rho$
, the momentum
$\rho \boldsymbol{u}$
and the bulk energy
$\rho E$
, are defined from the zeroth- and first-order moments of the populations, as in (3.29), (3.30) and (3.31), with sums over discrete velocities replacing velocity-space integrals
\begin{align} &\rho =\sum _{i=1}^Q f_i, \end{align}
\begin{align} &\rho \boldsymbol{u}=\sum _{i=1}^Q \boldsymbol{c}_i f_i + \frac {\delta t}{2} \boldsymbol{F}, \end{align}
\begin{align} &\rho E =\sum _{i=1}^Q g_i + \frac {\delta t}{2}\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}. \end{align}
Once the bulk energy
$E$
is computed from (3.54), the thermodynamic temperature follows from the caloric equation obtained by integrating (2.5). For a van der Waals fluid, as the equation of state (2.31) is linear in
$T$
,
$c_v$
exhibits no density dependence. Integrating (2.5) therefore gives the explicit relation
This explicit inversion is specific to equations of state with this simple caloric structure. For more general equations of state, such as the Peng–Robinson equation, the temperature must instead be recovered at each node by solving the corresponding nonlinear caloric relation.
Evaluating
$\boldsymbol{F}$
,
$\varPhi _{\alpha \alpha }$
and
$\boldsymbol{q}^{{c}}$
requires spatial derivatives of
$\rho$
,
$T$
,
$h$
and
$\boldsymbol{u}$
. In the numerical applications below, all derivatives are computed using standard central second-order accurate finite differences, except for the first-order derivative in (3.44). This term is evaluated using an upwind-biased approximation, for instance along the
$x$
-axis
where
$\textrm {sgn}(u_x)$
is the sign of
$u_x$
and
This upwind-biased approximation, while maintaining the formal order of accuracy of the solver, has been shown to improve stability in higher Mach number simulations (Hosseini et al. Reference Hosseini, Darabiha and Thévenin2020; Renard et al. Reference Renard, Feng, Boussuge and Sagaut2021; Saadat et al. Reference Saadat, Dorschner and Karlin2021a ).
Overall structure of the proposed algorithm for the simulation of compressible non-ideal flows.

Figure 2. Long description
The flowchart begins with the initialization of variables. It then proceeds to compute density and force. Following this, it calculates velocity, energy, temperature, pressure, a factor, and a term. The next step involves computing intermediate distributions. Subsequently, it calculates equilibrium distributions. The process continues with the computation of a factor, followed by collision and streaming steps. Finally, the time is incremented, and the loop returns to the computation of density and force.
The overall structure of the proposed algorithm is shown in figure 2. A detailed multi-scale analysis of the hydrodynamic limit is presented in Appendix C, demonstrating that the present lattice Boltzmann model recovers the hydrodynamic set (2.6), (2.7) and (2.8). Numerical applications and validation of the model are presented in the next section.
4. Numerical applications
4.1. Consistency: dispersion and dissipation of hydrodynamic modes
As a first step, we probe the dispersion and dissipation properties of the hydrodynamic shear, normal and entropic modes in the limit of a resolved flow. These benchmarks will consider: (a) speed of sound, (b) shear wave dissipation, (c) shear stress, viscous heating and entropic-mode dissipation and (d) the normal-mode dissipation rate. In all cases, and without loss of generality, we consider a van der Waals fluid fitted to the critical properties of nitrogen
$\textrm {N}_{2}$
, which are listed in table 1. Below, the subscript
$r$
refers to reduced variables normalised by their value at the critical point.
Critical properties of nitrogen
$\textrm {N}_{2}$
. The critical density used here comes from fitting critical temperature and pressure from Jacobsen, Stewart & Jahangiri (Reference Jacobsen, Stewart and Jahangiri1986) to the van der Waals equation of state.

Table 1. Long description
The table presents critical properties of nitrogen, detailing the specific gas constant, critical pressure, critical density, and critical temperature. It contains one row and five columns. The columns are labeled as Substance, R over c v, P c in pascals, rho c in kilograms per cubic meter, and T c in kelvin. The row lists nitrogen with values 0.4, 3.4 times 10 to the power of 6 pascals, 241.96 kilograms per cubic meter, and 126.2 kelvin respectively.
The set-up for investigating the speed of sound consists of a one-dimensional domain of size
$L_x = 0.1\,\rm m$
discretised with the spacing
$\delta x=10 \,\unicode{x03BC}{\rm m}$
. The initial conditions are
\begin{align} P(x) &= \begin{cases} P_0, & x \leqslant L_x/2,\\ P_0 + \delta P, & x \gt L_x/2, \end{cases}, \end{align}
Once the initial conditions are set, the system is left to evolve, resulting in two oppositely moving pressure fronts propagating at a speed that becomes constant after a short initial transition time. For sufficiently weak perturbations, this corresponds to the speed of sound in the system. A series of such cases with different initial conditions were run on both liquid and vapour branches of the saturation curve for
$T_0\in [88.34,126.2]\,\textrm {K}$
corresponding to
$T_0/T_c\in [0.7,1]$
and compared with the analytical speed of sound (2.17) for the van der Waals equation of state (2.31)
\begin{equation} c_s = \sqrt {\frac {R T(1+R/c_v)}{{\left (1-b\rho \right )}^2} - 2 a\rho }. \end{equation}
Note that for a saturated vapour/liquid, fixing
$T_0$
sets
$\rho _0$
and
$P_0$
via Maxwell’s equal-area construction and the equation of state. The results are shown in figure 3 and are in excellent agreement.
Speed of sound for nitrogen
$\textrm {N}_{2}$
on the saturated liquid and vapour branches. Line: analytical solution from (4.4); markers: simulations.

Figure 3. Long description
A line graph showing the speed of sound for nitrogen on the saturated liquid and vapour branches. The x axis is labeled as T r and ranges from 0.7 to 1.0. The y axis is labeled as c s in meters per second and ranges from 200 to 500. The graph features a single data line with red square markers representing simulation data points. The line starts at approximately 500 meters per second at a reduced temperature of 0.7 and decreases steadily to around 200 meters per second at a reduced temperature of 1.0. The analytical solution from equation 4.4 is represented by a solid black line that closely follows the simulation data points. All values are approximated.
The next test is a measurement of the effective shear viscosity. For this, we set up a pseudo-one-dimensional, periodic domain of size
$L_x=0.1\,\rm m$
, discretised with
$N_x\times N_y=100\times 1$
grid points. The initial conditions are set as follows:
The maximum amplitude of the perturbation,
$u_y-{\textit{Ma}}_y c_s(\rho _0, T_0)$
, in the domain is monitored throughout the simulation, and its evolution over time is fitted with an exponential decay function
The viscosity measured from simulations is compared with that predicted from the multi-scale analysis. The results, shown in figure 4, demonstrate excellent agreement and Galilean invariance of the measured viscosity.
Kinematic viscosity as measured from shear wave decay simulations at different Mach numbers. Solid black line: analytical viscosity; square markers: viscosity measured from simulations.

Figure 4. Long description
A line graph showing kinematic viscosity measured from shear wave decay simulations at different Mach numbers. The x axis represents Mach numbers ranging from 0 to 1. The y axis represents kinematic viscosity in units of meters squared per second, ranging from 2 to 6 times 10 to the power of negative 4. The solid black line represents analytical viscosity, while the square markers represent viscosity measured from simulations. The data points are evenly distributed along the x axis, indicating measurements at regular intervals of Mach numbers. All values are approximated.
Next, we probe the thermal conductivity by monitoring the dissipation rate of temperature perturbations. The configuration consists of a pseudo-one-dimensional, periodic domain of size
$L_x\times L_y=0.1\,\rm m\times 0.001\,\rm m$
. Initial conditions are set as follows:
where
$T(\rho (x),P_0)$
is obtained from the equation of state. We then monitor the maximum of the temperature in the domain
$T^{ {max}}$
and extract the thermal conductivity by fitting the data to
The measured thermal conductivities are then compared with the imposed value. Results are shown in figure 5 and are found to be in excellent agreement with the imposed value.
Thermal conductivity as measured from simulations at different Mach numbers. Plain black line: analytical thermal conductivity; square markers: thermal conductivity measured from simulations.

To validate both viscous heating and the dissipation rate of the entropic modes, we next consider the two-dimensional thermal Couette flow. The case consists of a pseudo-one-dimensional domain of size
$L_x$
with walls at
$x=0$
and
$x=L_x$
and periodic boundary conditions along the
$y$
-direction. The flow is subject to the following boundary conditions:
The analytical steady-state solution to this configuration can readily be derived as
To validate the model, we consider a domain of size
$L_x=1\,\textrm {mm}$
discretised with 100 grid points. Simulations were performed for
${ Pr}\in \{0.6, 1.2, 4.9\}$
and
${\textit{Ma}}\in \{0.8, 1.2, 1.6\}$
. The results are displayed in figure 6 and show excellent agreement with the analytical solutions.
Left panel: temperature and density distribution across the channel for the thermal Couette flow at different Prandtl numbers. Triangle, square and circular markers are analytical results for
${Pr}\in \{0.6, 1.2, 4.9\}$
respectively. Solid and dashed lines are temperature and density profiles from simulations. Here,
${\textit{Ma}}=0.8$
for all cases. Right panel: temperature and density distribution for different Mach numbers. Triangle, square and circular markers are analytical results for
${\textit{Ma}}\in \{0.8, 1.2, 1.6\}$
respectively. Solid and dashed lines are temperature and density profiles from simulations. Here,
${Pr}=1.2$
for all cases.

Figure 6. Long description
Two graphs illustrate temperature and density distribution across a channel for thermal Couette flow. The left graph shows distribution at different Prandtl numbers, with triangle, square, and circular markers representing analytical results. Solid and dashed lines indicate temperature and density profiles from simulations. The right graph displays distribution at different Mach numbers, with similar markers and lines. Both graphs use dual y-axes: the left y-axis for density and the right y-axis for temperature. The x-axis represents the normalized channel width. All values are approximated.
Finally, we examine the dissipation rate of normal modes, i.e. acoustics. To do this, we set up a pseudo-one-dimensional domain of size
$L_x$
with periodic boundary conditions in both the
$x$
- and
$y$
-directions. Defining a uniform background state,
$(\rho _0, T_0, P_0)$
, we add a small perturbation to it at
$t=0$
The density and temperature fields can be computed using isentropic relations for the van der Waals fluid (Kouremenos, Antonopoulos & Kakatsios Reference Kouremenos, Antonopoulos and Kakatsios1988; Nederstigt & Pecnik Reference Nederstigt and Pecnik2023)
\begin{align} \frac {P_0}{\rho _0^{\gamma _{P\rho }^0}} &= \frac {P}{\rho ^{\gamma _{P\rho }}}, \end{align}
\begin{align} \frac {T_0}{\rho _0^{\gamma _{T\rho }^0-1}} &= \frac {T}{\rho ^{\gamma _{T\rho }-1}}, \end{align}
where
Here
$c_p$
is the specific heat at constant pressure
which for the van der Waals equation of state leads to
In the ideal-gas limit
$P\to \rho R T$
, both exponents reduce to
$(\gamma _{P\rho },\gamma _{T\rho })\to {c_p}/{c_v}$
. We leave the system to evolve over time and monitor the acoustic energy (Landau & Lifshitz Reference Landau and Lifshitz1987)
\begin{equation} E_{{acoustic}} = \frac {1}{2}\int \left [ \rho _0{|\boldsymbol{u}-\boldsymbol{u}_0|}^2 + \frac {{\rho '}^2 c_s^2(\rho _0, P_0)}{\rho _0} \right ] {\rm d}x, \end{equation}
where
$\rho '=\rho -\rho _0$
. It can readily be shown that the decay for a propagating plane wave is proportional to
where (Landau & Lifshitz Reference Landau and Lifshitz1987)
Simulations were conducted for different initial velocities and effective dissipation rates measured. Results are shown in figure 7. The results show very good agreement with the analytical predictions.
Normal dissipation rate
$\sigma$
as measured from normal wave decay simulations at different Mach numbers. Plain black line: analytical dissipation rate, square markers: dissipation rate measured from simulations.

4.2. Multi-phase regime
4.2.1. Liquid–vapour co-existence
Turning to the two-phase regime, we first probe the liquid–vapour co-existence densities as a validation of thermodynamic and mechanical consistency. Simulations are conducted in a pseudo-one-dimensional domain of size
$L_x=0.4\,\textrm {mm}$
with periodic boundary conditions. The domain is filled with saturated vapour, with a column of saturated liquid in the centre. Simulations are evolved until the density field converges. Simulations were run for
$T_r\in [0.3,0.99]$
. As shown in figure 8, numerical results agree closely with the reference values obtained using Maxwell’s equal-area construction.
Liquid–vapour co-existence densities for nitrogen
$\textrm {N}_{2}$
. Line: Maxwell’s equal-area rule; symbols: simulation.

Figure 8. Long description
A line graph showing liquid-vapour co-existence densities for nitrogen. The x-axis represents density in kilograms per cubic meter, ranging from 0.4 to 600. The y-axis represents temperature in Kelvin, ranging from 40 to 140. The line graph follows Maxwells equal-area rule, and the symbols represent simulation data points. The graph shows an increasing trend in temperature with increasing density up to a peak, followed by a decreasing trend. All values are approximated.
4.2.2. Interface consistency and convergence
To illustrate the consistency of the proposed solver, we repeat the nitrogen liquid–vapour co-existence density test described above, assessing the convergence of the interface with increasing resolution. All physical parameters are unchanged: the nitrogen properties are those listed in table 1, the reduced temperature is
$T_r=0.9$
with corresponding co-existence densities
$(\rho ^l,\rho ^v)=(399.8,102.71)\,\textrm { kg}\,\textrm {m}^{-3}$
, and the capillarity coefficient is set to
$\kappa =10^{-10}\,\textrm {m}^7\,\textrm {kg}^{-1}\,\textrm {s}^{-2}$
. The computational domain has a length of
$L_x=0.5\,\textrm {mm}$
. Simulations are conducted at the various resolutions detailed in table 2. The results obtained from simulations are compared with data from a high-resolution iterative finite-difference solver for
and are shown in figure 9. The results demonstrate both excellent agreement with the reference solution and convergence under grid refinement. To further quantify solver convergence, we compare the simulated vapour density with the reference value obtained from Maxwell’s equal-area construction. The results, shown in figure 10, exhibit second-order convergence.
Grid properties for the nitrogen
$\textrm {N}_{2}$
liquid–vapour interface simulations.

Liquid–vapour interface for nitrogen
$\textrm {N}_{2}$
at
$T_r=0.9$
. Black lines are converged results from implicit finite-difference solver and red markers from LBM simulations. Top left panel:
$\delta x=5\,\unicode{x03BC}{\rm m}$
and top right panel:
$\delta x=1\,\unicode{x03BC} \textrm {m}$
. Bottom left panel:
$\delta x=0.5\,\unicode{x03BC} \textrm {m}$
. Bottom right panel:
$\delta x=0.1\,\unicode{x03BC} \textrm {m}$
.

Figure 9. Long description
The image contains four line graphs labeled (a), (b), (c), and (d), each showing the liquid-vapour interface for nitrogen at different resolutions. The x-axis represents the position in micrometers, ranging from 0 to 10. The y-axis represents the reduced density, ranging from 0.5 to 1.5. Black lines indicate converged results from an implicit finite-difference solver, while red markers represent data from Lattice Boltzmann Method (LBM) simulations. Each graph shows a decreasing trend in reduced density as the position increases. All values are approximated.
Convergence of the vapour-phase density for nitrogen
$\textrm {N}_{2}$
at
$T_r=0.9$
. Markers are results from simulations while the dashed line indicates second-order convergence.

Figure 10. Long description
A scatter plot showing the convergence of the vapour-phase density for nitrogen at a specific condition. The plot features several red square markers representing results from simulations and a black dashed line indicating second-order convergence. The x-axis represents the spatial step size in meters, ranging from 10 to the power of -6 to 10 to the power of 0. The y-axis represents the normalized density difference, ranging from 10 to the power of
6 to 10 to the power of 0. The data points show a trend where the normalized density difference decreases as the spatial step size decreases, following the second-order convergence line. All values are approximated.
4.3. Compressible configurations
4.3.1. One-dimensional non-ideal shock tubes
Until the early 1980s, shock-tube experiments were limited to gases exhibiting classical wave behaviour. Borisov et al. (Reference Borisov, Borisov, Kutateladze and Nakoryakov1983) first reported a shock-tube experiment aimed at investigating non-classical wave phenomena in a dense gas, i.e. near the thermodynamic critical point. The nonlinear dynamics of gases is characterised, to a large extent, by the fundamental derivative of gas dynamics (Thompson Reference Thompson1971)
For simple waves,
$\varGamma$
represents the rate of change of the convected sound speed with respect to density. When
$\varGamma \gt 0$
, the flow exhibits positive nonlinearity, i.e. disturbances steepen forward to form compression shocks. In contrast, when
$\varGamma \lt 0$
, negative nonlinearity occurs and disturbances steepen backward, leading to expansion shocks. In regions of negative nonlinearity, gases display distinct non-classical phenomena.
Following Argrow (Reference Argrow1996), we illustrate non-classical wave fields using three non-ideal shock-tube cases, each with flow regions wholly or partly in the regime of negative nonlinearity. In all three cases, simulations consist of a one-dimensional domain of size
$L_x=1\textrm {m}$
, initially divided into left and right halves. The initial conditions set for each half are listed in table 3. In all cases, the grid size is set to
$\delta x = 0.001\,\rm m$
. Other simulation-specific parameters are listed in table 4. Note that the Courant–Friedrichs–Lewy (CFL) is here defined as the convective CFL
List of initial conditions for shock-tube cases.

Table 3. Long description
The table presents initial conditions for three shock-tube cases, each with flow regions in the regime of negative nonlinearity. It contains three rows and four columns. The columns are labeled Case, R/cv, (Pr,
)left, and (Pr,
)right. Row 1: Case I, R/cv 0.0125, (Pr,
)left 1.09, 0.879, (Pr,
)right 0.885, 0.562. Row 2: Case II, R/cv 0.329, (Pr,
)left 1.6077, 1.01, (Pr,
)right 0.8957, 0.594. Row 3: Case III, R/cv 0.0125, (Pr,
)left 3.00, 1.818, (Pr,
)right 0.575, 0.275.
Numerical parameters for the shock-tube cases.

Reduced density and pressure fields for shock tube I at time
$t=0.45 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers denote simulation results.

Figure 11. Long description
The image contains two line graphs. The left graph plots reduced density (
) against position (x) in meters. The right graph plots reduced pressure (
) against position (x) in meters. Both graphs feature solid lines representing reference data from Guardone & Vigevano (2002) and markers denoting simulation results. The x-axis ranges from 0 to 1 meters in both graphs. The y-axis of the left graph ranges from 0.5 to 0.9, while the y-axis of the right graph ranges from 0.85 to 1.10. The graphs show distinct step-like changes in both density and pressure fields.
where
$\|\boldsymbol{u}\|=\sqrt {\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{u}}$
. In all cases, the initial discontinuity is located at half the length of the domain. The results for case I are shown and compared with the reference data in figure 11. This configuration is a typical example of non-classical gas dynamics: first, a compression front is observed moving from the high-pressure region to low-pressure region of the domain. In classical gas dynamics, one expects a sharp compression front, which is not observed here. A second front, moving in the opposing direction, from the low-pressure region to the high-pressure region, known as a rarefaction front, is also observed. Contrary to classical gas-dynamic expectations, this front is sharp. Such non-classical wave fronts have recently been observed experimentally by Colonna et al. (Reference Colonna, Medipati and Mercier2026).
(a) Fundamental derivative
$\varGamma$
distribution for shock tube I at
$t=0.45 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers are from simulations. (b) Fundamental derivative
$\varGamma$
iso-contours in
$P_r$
–
$\rho _r$
plane. Red square symbols represent the state of the shock tube shown on the left panel. The solid black line is the co-existence curve. Dashed black line represents
$\Gamma=1$
.

Figure 12. Long description
The image consists of two line graphs. The left graph (a) depicts the fundamental derivative distribution for shock tube I at a specific condition. The x-axis represents the spatial coordinate in meters, ranging from 0 to 1, and the y-axis represents the fundamental derivative, ranging from
1.5 to 0. The solid lines represent reference data from Guardone & Vigevano (2002), and the markers represent data from simulations. The right graph (b) shows fundamental derivative iso-contours in a plane. The x-axis represents the density ratio, ranging from 0.4 to 1.0, and the y-axis represents the pressure ratio, ranging from 0.6 to 1.2. Red square symbols represent the state of the shock tube shown in the left graph in this space. The solid black line is the co-existence curve. The color bar on the right indicates the fundamental derivative values, ranging from
2 to 6. All values are approximated.
These observations can be explained by looking into the fundamental derivative of gas dynamics (4.33), which, in the case of a van der Waals fluid, can be computed explicitly as
\begin{equation} \varGamma (P,\rho ) = \frac {\left (R/c_v+1\right )\left (R/c_v+2\right )\frac {P+a\rho ^2}{{(1/\rho -b)}^2} - 6a\rho ^4}{2\left (R/c_v+1\right )\frac {P+a\rho ^2}{{(1/\rho -b)}}-4a\rho ^4}. \end{equation}
It is observed in figure 12 that all points in the domain at
$t=0.45 L_x\sqrt {\rho _c/P_c}$
fall within the
$\varGamma \lt 0$
region. Physically,
$\varGamma$
measures how the sound speed changes with compression or expansion along an isentrope. It directly controls the nonlinearity of acoustic waves. Consider first the compression front; along the front, both pressure and density decrease. When the
$\varGamma \lt 0$
, the characteristic speeds decrease with increasing pressure (or density). Consequently, the local propagation speed is smaller in the higher-pressure region behind the front than in the lower-pressure region ahead of it. As a result, characteristics diverge across the compression region, causing the initially sharp front to spread. The compression wave therefore evolves into a compression fan rather than steepening into a discontinuity. Next consider the rarefaction wave; along this direction, pressure and density also decrease. For
$\varGamma \lt 0$
, the characteristic speeds increase as pressure (or density) decreases. This leads to a convergence of characteristics, causing the rarefaction wave to steepen and the front to sharpen. In figure 11 one can clearly observe a rarefaction shock moving from right to left, i.e. low to high pressure. Additionally, one also observes a compression fan propagating into the low-pressure region.
In the second configuration, the fronts appear to follow the classical gas-dynamic behaviour. As shown in figure 13, in agreement with reference data, both pressure and density fields show a compression front moving towards the low-pressure side and a rarefaction wave moving in the opposite direction. To further confirm the classical characteristics of this shock-tube case, we plot the distribution of
$\varGamma$
at
$t=0.2 L_x\sqrt {\rho _c/P_c}$
in figure 14.
Reduced density and pressure fields for shock tube II at time
$t=0.2 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers are from simulations.

Figure 13. Long description
Two line graphs showing reduced density and pressure fields for shock tube II at time. The left graph plots reduced density against position in meters, with the y-axis ranging from 0.6 to 1.0. The right graph plots reduced pressure against position in meters, with the y-axis ranging from 0.8 to 1.6. Solid lines represent reference data from Guardone & Vigevano (2002), and markers represent simulation data. Both graphs show a step-like decrease in values as position increases. All values are approximated.
(a) Fundamental derivative
$\varGamma$
distribution for shock tube II at
$t=0.2 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers are from simulations. (b) Fundamental derivative
$\varGamma$
iso-contours in
$P_r$
–
$\rho _r$
plane. red square symbols represent the state of the shock tube shown on the left in the
$P_r$
–
$\rho _r$
space. The solid black line is the co-existence curve.

Figure 14. Long description
The image contains two line graphs. The first graph (a) shows the fundamental derivative distribution for shock tube II. The x-axis represents the position in meters, ranging from 0 to 1. The y-axis represents the fundamental derivative, ranging from 1.4 to 2.2. The graph features two lines: a red line with markers and a black line without markers. The red line with markers represents simulation data, while the solid black line represents reference data from Guardone & Vigevano (2002). The second graph (b) shows fundamental derivative iso-contours in the plane. The x-axis represents the reduced density, ranging from 0 to 2. The y-axis represents the reduced pressure, ranging from 0 to 2. The graph features iso-contours in various colors, with red square symbols representing the state of the shock tube shown on the left in the space. The solid black line represents the co-existence curve. All values are approximated.
Reduced density and pressure fields for shock tube III at time
$t=0.15 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers are from simulations.

Figure 15. Long description
The image contains two line graphs. The left graph shows the reduced density field for shock tube III at a specific time. The x-axis is labeled 'x (meters)' and ranges from 0 to 1. The y-axis is labeled '
' and ranges from 0 to 2. The solid line represents reference data from Guardone & Vigevano (2002), and the markers represent simulation data. The right graph shows the reduced pressure field for shock tube III at the same time. The x-axis is labeled 'x (meters)' and ranges from 0 to 1. The y-axis is labeled 'P
' and ranges from 0 to 3. The solid line represents reference data from Guardone & Vigevano (2002), and the markers represent simulation data. All values are approximated.
In agreement with the reference data,
$\varGamma$
remains positive throughout the domain. As in the previous shock-tube configuration, the thermodynamic states sampled by the flow lie in the supercritical region and close to the saturation line. However, because of the considerably lower specific heat capacity compared with case I, no negative-
$\varGamma$
region is encountered in the present case. This indicates that non-classical BZT effects are strongly influenced by the specific heat capacity and are therefore more likely to arise in fluids composed of larger, more complex molecules with higher specific heat capacities.
Finally, in the third shock-tube experiment both initial states remain in the classical region. Figure 15 shows the density and pressure profiles for this shock tube at
$t=0.15 L_x\sqrt {\rho _c/P_c}$
. As in the previous configurations, a rarefaction front propagates leftward towards the dense region. Its structure, however, is non-classical: the front initially resembles a rarefaction fan, but sharpens near
$x=0.5\,\textrm {m}$
. This behaviour can be explained using the fundamental derivative shown in figure 16. For
$x\lesssim 0.5\,\textrm {m}$
,
$\varGamma \gt 1$
and the expansion behaves classically. Near
$x=0.5\,\textrm {m}$
,
$\varGamma$
becomes negative; consequently the rarefaction wave steepens into a shock. A second sign change of
$\varGamma$
occurs on the compression side, where the flow crosses back from the non-classical regime, associated with a compression fan, into the classical regime, where the compression front steepens into a shock.
(a) Fundamental derivative
$\varGamma$
distribution for shock tube III at
$t=0.15 L_x\sqrt {\rho _c/P_c}$
. Solid lines are reference data from Guardone & Vigevano (Reference Guardone and Vigevano2002) and markers are from simulations. (b) Fundamental derivative
$\varGamma$
iso-contours in
$P_r$
–
$\rho _r$
plane. Red square symbols represent the state of the shock tube shown in the left in the
$P_r$
–
$\rho _r$
space. The solid black line is the co-existence curve.

Figure 16. Long description
The image contains two line graphs. The first graph (a) shows the fundamental derivative distribution for shock tube III. The x-axis represents the distance in meters, ranging from 0 to 1. The y-axis represents the fundamental derivative, ranging from -2 to 4. The solid lines are reference data from Guardone & Vigevano (2002), and the markers represent data from simulations. The second graph (b) displays fundamental derivative iso-contours in a plane. The x-axis represents the density ratio, ranging from 0 to 2. The y-axis represents the pressure ratio, ranging from 0 to 3. Red square symbols represent the state of the shock tube shown in the left graph in the space. The solid black line is the co-existence curve. The color bar on the right indicates the fundamental derivative values, ranging from -2 to 8. All values are approximated.
All three configurations show excellent agreement with reference data and demonstrate that the model properly captures the behaviour of a non-classical compressible gas.
4.4. Shock–liquid-column interaction
In our final application, we showcase the suitability of the model for compressible regimes, by considering the case of a circular liquid column interacting with a planar shock wave. The case consists of a two-dimensional domain of size
$L_x\times L_y$
, here resolved with
$800\times 800$
grid points, divided into subdomains via a shock positioned at
$x_s$
. On the right-hand side of the shock front, the pre-shock state
$(\rho _1,T_1,u_{x,1})$
is set to that of a saturated vapour at
$T_r=0.9$
, following Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020). The post-shock state to the left of the shock front,
$(\rho _2,T_2,u_{x,2})$
, is derived using the Rankine–Hugoniot conditions. Furthermore, a saturated liquid column of radius
$R$
at
$T_r=0.9$
, resolved with
$65$
grid points, is placed at
$(x_c,y_c)$
in the pre-shock domain. Times are non-dimensionalised by the characteristic scale
$t_0 = ( {2R_0 c_s^v}/{u_s c_s^l}){\sqrt { {\rho ^l}/{\rho ^v}}}$
where
$u_s$
is the shock speed,
$\rho ^{l,v}$
are the liquid–vapour densities and
$c_s^{l,v}$
are the saturated liquid–vapour speeds of sound. The shock speed is defined via the shock Mach number
${\textit{Ma}}_{\textrm {s}}$
as
$u_s = {\textit{Ma}}_s c_s^{v}$
.
To further stabilise simulations, especially near sharp fronts, we use a nonlinear numerical-viscosity scheme as devised in Cook & Cabot (Reference Cook and Cabot2004) and Fiorina & Lele (Reference Fiorina and Lele2005). This amounts to adding a numerical contribution to the transport coefficients as follows:
The numerical contributions are defined as
where
Schlieren images of shock–liquid-column interaction case at, from top to bottom,
$t/t_0=0$
,
$t/t_0=0.3$
and
$t/t_0=0.7$
. Schlieren images are generated as
$\phi = \exp (-a( {\|\boldsymbol{\nabla }\rho \|}/{\textrm {max}(\|\boldsymbol{\nabla }\rho \|)}))$
with
$a=100$
. The visualisation follows Quirk & Karni (Reference Quirk and Karni1996) and Meng & Colonius (Reference Meng and Colonius2015). Solid red lines indicate the liquid-column interface identified from a density level; ISW: incident shock wave; LC: liquid column; TSW: transmitted shock wave; RSW: reflected shock wave; MS: Mach stem; R-TW: retransmitted wave; REW: reflected expansion wave.

Figure 17. Long description
The diagram illustrates the interaction of shock waves with a liquid column at three different stages. In the first stage, an incident shock wave (ISW) approaches a liquid column (LC). In the second stage, the incident shock wave interacts with the liquid column, creating a transmitted shock wave (TSW) and a reflected shock wave (RSW). In the third stage, the interaction becomes more complex with the formation of a Mach stem (MS), a retransmitted wave (R-TW), and a reflected expansion wave (REW). Solid red lines indicate the liquid-column interface identified from a density level.
and the overbar in (4.37) indicates a Gaussian filter. Furthermore (Fiorina & Lele Reference Fiorina and Lele2005)
with the entropy gradient obtained from (2.33) as
Here, to minimise the numerical dissipation we have set
$r=5$
. The flow evolution, represented by a Schlieren image for
${\textit{Ma}}_s=1.47$
is shown in figure 17. The wave structures that arise during the initial stages of the shock–liquid-column interaction are commonly used to validate numerical schemes. In the present study, representative wave patterns are extracted and illustrated in figure 17. Only the early-stage interaction between a planar shock wave and a cylindrical liquid column is considered here. As the incident shock wave travels from left to right across the liquid column, both a transmitted wave and a reflected shock wave are generated. The reflected shock wave propagates upstream into the surrounding vapour, while the transmitted wave moves downstream within the liquid column. Notably, the transmitted shock wave moves faster than the incident shock wave, as the speed of sound in the liquid is larger than that in the vapour phase. Upon reaching the downstream interface of the column, the transmitted wave re-emerges into the downstream vapour. Simultaneously, expansion waves reflect repeatedly within the liquid column. At the upper lateral edge of the liquid column, the incident shock wave, the Mach stem and the slip line intersect to form a triple point. These wave structures along with the two-phase interface represent characteristic features of early-stage shock–liquid-column interaction. They appear as discontinuities of varying intensity, posing significant challenges for numerical modelling. The liquid column subsequently flattens in the flow direction and expanding in the transverse direction. As further quantitative validation, figure 18 shows the evolution of the width of the column
$W$
along the centreline, compared with experiments and numerical simulations as reported in Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020) for three Mach numbers. The results are in good agreement with both the experiments and simulations showing that the deformation of the liquid column was accurately captured by the proposed scheme.
Evolution of the column width
$W$
along
$x$
-axis over time for three different Mach numbers. Simulations: (solid black line)
${ Ma}_s=1.47$
, (red dashed line) Ma = 1.3 and (blue dotted line)
${\textit{Ma}}_s=1.18$
. Experiments (Igra & Takayama Reference Igra and Takayama2001): (black filled circular markers) Ma = 1.47, (red filled triangle markers)
${\textit{Ma}}=1.3$
and (blue filled square markers)
${\textit{Ma}}=1.18$
. Numerical results from Reyhanian et al. (Reference Reyhanian, Dorschner and Karlin2020): (black unfilled circular markers)
${\textit{Ma}}=1.47$
, (red unfilled triangle markers)
${\textit{Ma}}=1.3$
and (blue unfilled square markers)
${\textit{Ma}}=1.18$
.

Figure 18. Long description
The line graph illustrates the evolution of the column width along the x-axis over time for three different Mach numbers. The x-axis represents the normalized time (t/t0), and the y-axis represents the normalized column width (W/D0). The graph features three solid lines representing simulation data: a solid black line for Ma = 1.47, a red dashed line for Ma = 1.3, and a blue dotted line for Ma
1.18. Additionally, the graph includes experimental data from Igra & Takayama 2001, represented by filled markers: black circles for Ma
1.47, red triangles for Ma
1.3, and blue squares for Ma
1.18. Numerical results from Reyhanian et al. 2020 are shown with unfilled markers: black circles for Ma = 1.47, red triangles for Ma
1.3, and blue squares for Ma
1.18. The data points and lines indicate how the column width changes over time for each Mach number, with all values approximated.
In addition to the flow features discussed above, we examine the thermodynamic states sampled by the solution. Unlike previously documented configurations, the present case evolves near the critical point. Figure 19 shows the thermodynamic state at
$t/t_0=0.3$
. Along the centreline, from left to right, the fluid first occupies the post-shock vapour state labelled PSV, which lies above both the critical pressure and the critical-temperature isotherm and is therefore supercritical. Behind the reflected shock, the pressure and temperature increase sharply, with the pressure reaching nearly twice the critical value. Across the liquid-column interface, the pressure remains approximately constant while the temperature decreases. This brings the fluid below the critical-temperature isotherm to the state labelled PSL. Inside the liquid column, the shock reduces both pressure and temperature, driving the fluid toward the saturated liquid state. Overall, the shock interaction heats the initially saturated liquid column to temperatures close to, but slightly below, the critical temperature, while the surrounding vapour is driven well above it. The resulting configuration is a supercritical vapour surrounding in contact with a marginally subcritical liquid column.
Shock–liquid-column interaction for
${\textit{Ma}}=1.47$
at
$t/t_0=0.3$
. (Bottom left) numerical Schlieren image. (a) reduced pressure distribution along the
$x$
-axis centreline. (b) Fundamental derivative iso-contours in
$P_r$
–
$\rho _r$
plane. Red square symbols represent the state of the domain. The blue dash lined is the critical-temperature isotherm. Solid black line is the co-existence curve; PSV: post-shock vapour, PRSV: post-reflected shock vapour, PSL: post-shock liquid, SL: saturated liquid and SV: saturated vapour.

Figure 19. Long description
The image contains three graphs illustrating shock liquid column interaction for a specific fluid. The first graph (a) on the top left shows a line graph of reduced pressure distribution along the x-axis centerline. The second graph (b) on the bottom left displays a numerical Schlieren image with fundamental derivative iso-contours in the plane. Red square symbols represent the state of the domain, the blue dashed line indicates the critical temperature isotherm, and the solid black line denotes the co-existence curve. The third graph (c) on the right is a phase diagram with pressure on the y-axis and density on the x-axis. It includes regions labeled PSV (post-shock vapor), PRSV (post-reflected shock vapor), PSL (post-shock liquid), SL (saturated liquid), and SV (saturated vapor). The color gradient represents the value of the fundamental derivative. All values are approximated.
5. Conclusion
The development of numerical methods for compressible non-ideal fluid dynamics remains comparatively underexplored, despite the growing relevance of such flows in modern energy systems. In this work, we have proposed a kinetic framework and its lattice Boltzmann realisation specifically designed to address this gap.
At the core of the approach lies a thermodynamically consistent kinetic model for dense fluids, based on two BGK-type collision operators with Gaussian attractors defined by a local reference state and a shifted equilibrium. This construction enables the incorporation of the full non-ideal thermodynamic pressure as the local reference attractor while accounting for the inherently non-local nature of intermolecular interactions. In contrast to formulations relying on a single BGK operator carrying the full pressure – which may lead to non-physical behaviour such as non-positive bulk viscosity and density-gradient-dependent energy diffusion in the heat flux – the present model ensures positive-definite transport properties and recovers the target macroscopic balance equations under appropriate scaling.
We then developed a consistent lattice Boltzmann discretisation yielding a second-order accurate numerical scheme. The resulting model was validated across a range of canonical configurations. In particular, shock-tube simulations revealed the emergence of non-classical wave dynamics, including rarefaction shocks and mixed rarefaction fan–shock structures associated with regions of negative fundamental derivative. Simulations of a shock wave interacting with a liquid column near critical conditions further demonstrated the ability of the model to capture strong thermodynamic effects, such as shock-induced transitions toward supercritical states. In the shock–liquid-column interaction case, the initially saturated liquid column experiences a strong temperature rise following shock impact. The liquid-column temperature approaches the critical value, while the surrounding vapour exceeds it, resulting in a marginally subcritical liquid column, surrounded by a supercritical vapour.
In the hydrodynamic limit, corresponding to the long-wavelength limit, both the kinetic formulation and its lattice Boltzmann discretisation are stable for arbitrary parameter choices. For finite wavenumbers, which are present in most practical simulations and particularly in strongly compressible configurations such as shock tubes, a practical stability condition commonly observed in third-order quadrature-based schemes is
$\theta \lt \delta x^2/(3\delta t^2)$
. This constraint appears largely independent of the particular collision operator employed. In addition, regimes where
$\beta$
approaches unity may lead to numerical oscillations due to the increasing influence of higher-order kinetic moments. In principle, such effects can be mitigated using multiple-relaxation-time collision models, which allow improved control over higher-order moments such as the entropic multiple-relaxation-time collision operator (Karlin, Bösch & Chikatamarla Reference Karlin, Bösch and Chikatamarla2014). This will be addressed in upcoming publications.
Overall, the results highlight the capability of the proposed framework to reproduce key non-ideal compressible phenomena within an efficient kinetic formulation. The thermodynamic consistency and robustness of the model make it a promising tool for the investigation of complex flows involving strong departures from ideal-gas behaviour, including regimes relevant to supercritical technologies and phase-transition-driven processes such as flash boiling.
Acknowledgements
The authors would like to thank P. Jenny for support and fruitful discussions.
Funding
This work was supported by European Research Council (ERC) Advanced Grant No. 834763-PonD and by the Swiss National Science Foundation (SNSF) Grants 200021-228065 and 200021-236715. Computational resources at the Swiss National Super computing Center (CSCS) were provided under Grants No. s1286, sm101 and s1327. Authors would like to thank Patrick Jenny for his support and fruitful discussions.
Declaration of interests
The authors report that they do not have a conflict of interest.
Data availability statement
The data that support the findings of this study are available from the corresponding author upon request.
Appendix A. Multi-scale analysis of kinetic model
To derive the hydrodynamic limit of the kinetic model, we consider the time-evolution equations
For clarity, we restrict attention to the limit
$\lambda \rightarrow 0$
. In this limit, the shifted-equilibrium operators reduce to
where
with
We next introduce a non-dimensional formulation based on the characteristic scales
-
(i) flow velocity
$\mathcal{U}$
; -
(ii) length scale
$\mathcal{L}$
; -
(iii) time scale
$\mathcal{T}=\mathcal{L}/\mathcal{U}$
; -
(iv) reference density
$\bar {\rho }$
; -
(v) speed of sound
$c_s$
(see (2.17)); -
(vi) interface thickness
$\delta$
.
The corresponding dimensionless variables are defined as
-
(i)
$t=\mathcal{T}t'$
; -
(ii)
$\boldsymbol{x}=\mathcal{L}\boldsymbol{x}'$
; -
(iii)
$\boldsymbol{u}=\mathcal{U}\boldsymbol{u}'$
; -
(iv)
$\boldsymbol{v}=c_s\boldsymbol{v}'$
; -
(v)
$\rho =\bar {\rho }\rho '$
; -
(vi)
$f=\bar {\rho }c_s^{-3}f'$
; -
(vii)
$g=\bar {\rho }c_s^{-1}g'$
.
This introduces the following dimensionless groups:
-
(i) Knudsen number
${\textit{Kn}}=\tau c_s/\mathcal{L}$
; -
(ii) Mach number
${\textit{Ma}}=\mathcal{U}/c_s$
; -
(iii) Cahn number
${Ca}=\delta /\mathcal{L}$
.
The dimensionless evolution equations then read
\begin{align} &\partial ^{\prime}_t f' + \frac {1}{{\textit{Ma}}}\boldsymbol{v}'\boldsymbol{\cdot }\boldsymbol{\nabla }' f' = \frac {1}{{\textit{Ma}}{\textit{Kn}}}\left ( (f^{\textit{eq}})' - f'\right ) \nonumber \\&\quad + \left [\frac {{Ca}^2}{{\textit{Ma}}}\frac {\boldsymbol{F}'\boldsymbol{\cdot }(\boldsymbol{v}'-\boldsymbol{u}')}{P'}+\frac {1}{{\textit{Ma}}}\alpha ' (\boldsymbol{\nabla }'\boldsymbol{\cdot }\boldsymbol{u}')\left (\frac {\rho '(\boldsymbol{v}'-\boldsymbol{u}')^2}{2P'}-\frac {D}{2}\right )\right ](f^{\textit{eq}})', \end{align}
and
\begin{align} &\partial ^{\prime}_t g' + \frac {1}{{\textit{Ma}}}\boldsymbol{v}'\boldsymbol{\cdot }\boldsymbol{\nabla }' g' = \frac {1}{{\textit{Ma}}{\textit{Kn}}}\left ( (g^{\textit{eq}})' - g'\right ) + \frac {1}{{\textit{Ma}}}\frac {(\boldsymbol{v}'-\boldsymbol{u}')\boldsymbol{\cdot }{\boldsymbol{q}^c}'}{P'}(f^{\textit{eq}})' \nonumber \\&\quad + \left [\frac {{Ca}^2}{{\textit{Ma}}}\frac {\boldsymbol{F}'\boldsymbol{\cdot }(\boldsymbol{v}'-\boldsymbol{u}')}{P'}+\frac {1}{{ Ma}}\alpha '(\boldsymbol{\nabla }'\boldsymbol{\cdot }\boldsymbol{u}')\left (\frac {\rho '(\boldsymbol{v}'-\boldsymbol{u}')^2}{2P'}-\frac {D}{2}\right )\right ](g^{\textit{eq}})'. \end{align}
Finally, we adopt the scaling assumptions
-
(i) acoustic scaling
${\textit{Ma}}\sim O(1)$
; -
(ii) hydrodynamic scaling
${\textit{Kn}}\sim \epsilon$
; -
(iii) capillary scaling
${Ca}\sim O(1)$
.
Under these assumptions, the system reduces to
where primes have been omitted for clarity.
To probe the hydrodynamic limit,
$\epsilon \rightarrow 0$
, we introduce a multi-scale expansion in terms of the smallness parameter
$\epsilon$
and
into the dimensional equations and separate in terms of different orders of
$\epsilon$
\begin{align} &\epsilon ^2:\ \partial _t^{(1)} \bigl\{f^{(1)}, g^{(1)}\bigr\} + \boldsymbol{v}\boldsymbol{\cdot }\boldsymbol{\nabla } \bigl\{f^{(1)}, g^{(1)}\bigr\} + \partial _t^{(2)}\bigl\{f^{(0)}, g^{(0)}\bigr\} = -\frac {1}{\tau } \bigl\{f^{(2)} , g^{(2)}\bigr\} \nonumber\\&\qquad + \bigl\{\mathcal{F}^{\star (2)}, \mathcal{G}^{\star (2)}\bigr\} . \end{align}
From order
$\epsilon ^0$
it directly follows that
Before moving on to the next orders, for the sake of readability we have listed the moments of
$f^{\textit{eq}}$
,
$g^{\textit{eq}}$
,
$\mathcal{F}^\star$
and
$\mathcal{G}^\star$
in tables 5 and 6.
Moments of
$f^{\textit{eq}}$
and
$g^{\textit{eq}}$
.

Table 5. Long description
The table presents a comparison of moments of equilibrium distributions, focusing on different variables and equations. It consists of four rows and three columns, with the first column labeled 'Moment' and the subsequent columns labeled with equations. The rows detail specific moments, including 1, v subscript a, v subscript a v subscript beta, and v subscript a v subscript beta v subscript gamma. Each row provides corresponding values for the equations f to the power of eq and g to the power of eq, along with detailed mathematical expressions involving variables such as rho, u subscript a, P, and E. The table systematically outlines the relationships and calculations for each moment, offering a comprehensive view of the equilibrium distributions.
Moments of
$\mathcal{F}^\star$
and
$\mathcal{G}^\star$
.

Table 6. Long description
The equation presents moments of F star and G star. For moment 1, F star equals 0 and G star equals u dot F. For moment v alpha, F star equals F alpha and G star equals u alpha times u dot F plus q alpha. For moment v alpha v beta, F star equals u alpha F beta plus u beta F alpha plus P alpha times the gradient of u. G star equals u alpha u beta plus delta alpha beta times P over rho times u dot F plus P over rho times u alpha times F beta plus rho c alpha over P times F alpha plus u beta times F alpha plus rho q alpha over P.
Next, going to order
$\epsilon$
and computing the moments
$\int \{f, \boldsymbol{v} f, g\}{\rm d}\boldsymbol{v}$
of the Chapman–Enskog-expanded equations, using solvability conditions
and the moments listed in tables 5 and 6 we obtain
The last equation, (A20), can be transformed into a balance equation for internal energy using
as
Furthermore, using
\begin{equation} {\rm d}e = c_v {\rm d}T - \left (T \left (\frac {\partial P}{\partial T}\right )_{\kern-2pt \rho} - P\right )\frac {{\rm d}\rho }{\rho ^2}, \end{equation}
and (A18) a balance equation for temperature can be derived as
Finally, using
we can also write a balance equation for pressure as
where
\begin{equation} c_s^2 = \left (\frac {\partial P}{\partial \rho }\right )_T + \frac {T}{c_v\rho ^2} \left (\frac {\partial P}{\partial T}\right )_{\kern-2pt \rho} ^2. \end{equation}
At order
$\epsilon ^2$
, the continuity equation becomes
while for the momentum balance equation one has
The second term can be expanded using the first-order-in-
$\epsilon$
equation, as
where
The time derivative term can be expanded as
which then using Euler level balance equations, (A18), (A19) and (A26), yields
\begin{align} \partial _t^{(1)}\left (\rho \boldsymbol{u}\otimes \boldsymbol{u} + P\boldsymbol{I}\right ) &= -\boldsymbol{u}\otimes \left [\boldsymbol{\nabla }\boldsymbol{\cdot }\rho \boldsymbol{u}\otimes \boldsymbol{u} + \boldsymbol{\nabla }P +\boldsymbol{F}\right ]-\left (\boldsymbol{u}\otimes \left [\boldsymbol{\nabla }\boldsymbol{\cdot }\rho \boldsymbol{u}\otimes \boldsymbol{u} + \boldsymbol{\nabla }P+ \boldsymbol{F}\right ]\right )^{\dagger } \nonumber \\&\quad + \boldsymbol{u}\otimes \boldsymbol{u} \boldsymbol{\nabla }\boldsymbol{\cdot }\rho \boldsymbol{u} - (\boldsymbol{\nabla } \boldsymbol{\cdot }P \boldsymbol{u} )\boldsymbol{I} + \left (P-\rho c_s^2\right ) (\boldsymbol{\nabla } \boldsymbol{\cdot }\boldsymbol{u})\boldsymbol{I} . \end{align}
Adding contributions from other terms
Plugging this final expression into the momentum balance equation at order
$\epsilon ^2$
, and setting
$\tau = \mu /P$
, results in
For the energy balance at order
$\epsilon ^2$
which can be evaluated using the order
$\epsilon$
as
where
\begin{align} \int \boldsymbol{v}\mathcal{G}^{\star (1)}{\rm d}\boldsymbol{v} &= \left (\boldsymbol{u}(\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F})+\boldsymbol{F}(E+P/\rho )\right ) + P\boldsymbol{u}\left (\frac {D+2}{D}-\frac {\rho c_s^2}{P}-\frac {\eta }{\mu }\right )\left (\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\right )\nonumber \\ &\quad +P\left (\boldsymbol{\nabla }h - \frac {k}{\mu }\boldsymbol{\nabla }T\right )\!. \end{align}
Adding these terms up and using balance equations for
$P\boldsymbol{u}$
and
$\rho E \boldsymbol{u}$
and
we eventually recover
Appendix B. Second-order-in-time discretisation
We follow a procedure first introduced by He et al. (Reference He, Chen and Doolen1998) to discretised the kinetic models introduced here
The main ingredient in space/time discretisation is the integration along characteristics, here the velocities
$\boldsymbol{v}$
, over a time
$\delta t$
, which leads to
The integrals on the right-hand sides are approximated using a trapezoidal rule
\begin{align} \int _t^{t+\delta t}\left [\frac {1}{\tau }\left (f^{\textit{eq}} - f\right ) +{\frac {1}{\lambda }} (f_\lambda ^\star - f^{\textit{eq}})\right ]{\rm d}t' &= \frac {\delta t}{2\tau }\left (f^{\textit{eq}}(\boldsymbol{x},t) - f(\boldsymbol{x},t)\right ) \nonumber \\&\quad + \frac {\delta t}{2{\lambda }}\left (f_\lambda ^\star (\boldsymbol{x},t) - f^{\textit{eq}}(\boldsymbol{x},t)\right ) \nonumber \\&\quad + \frac {\delta t}{2\tau }\big (f^{\textit{eq}}(\boldsymbol{x}+\boldsymbol{v}\delta t, t+\delta t) \nonumber \\&\quad - f(\boldsymbol{x}+\boldsymbol{v}\delta t, t+\delta t)\big ) \nonumber \\&\quad + \frac {\delta t}{2{\lambda }}\big (f_\lambda ^\star (\boldsymbol{x}+\boldsymbol{v}\delta t, t+\delta t)\nonumber \\&\quad - f^{\textit{eq}}(\boldsymbol{x}+\boldsymbol{v}_i\delta t, t+\delta t)\big ) + \mathcal{O}(\delta t^3). \end{align}
A similar equation can be written for
$g$
, which we will omit for the sake of readability. The resulting system is implicit in time. To remove the implicitness, the following transformation of variables is introduced (He et al. Reference He, Chen and Doolen1998):
Introducing this transformation back into the integrated time-evolution equations
\begin{align} \bar {f}(\boldsymbol{x}+\boldsymbol{v}\delta t, t+\delta t) &= \bar {f}(\boldsymbol{x}, t) + 2\beta \left (f^{\textit{eq}}(\boldsymbol{x},t) - \bar {f}(\boldsymbol{x},t)\right )\nonumber \\&\quad + {\frac {\delta t}{\lambda }}\left (1-\beta \right ) \left (f_\lambda ^\star (\boldsymbol{x},t) - f^{\textit{eq}}(\boldsymbol{x},t)\right )\!, \end{align}
\begin{align} \bar {g}(\boldsymbol{x}+\boldsymbol{v}\delta t, t+\delta t) &= \bar {g}(\boldsymbol{x}, t) + 2\beta \left (g^{\textit{eq}}(\boldsymbol{x},t) - \bar {g}(\boldsymbol{x},t)\right ) \nonumber \\&\quad + {\frac {\delta t}{\lambda }}\left (1-\beta \right ) \left (g_\lambda ^\star (\boldsymbol{x},t) - g^{\textit{eq}}(\boldsymbol{x},t)\right )\!, \end{align}
where
$\beta \in [0,1]$
is the relaxation parameter
The final step is to evaluate moments of the distribution function that are needed to define
$\{f^{\textit{eq}}, g^{\textit{eq}}\}$
and
$\{f_\lambda ^\star , g_\lambda ^\star \}$
using the transformed distribution functions
$\{\bar {f}, \bar {g}\}$
. Integrating over
$\{\bar {f}, \bar {g}\}$
and using the definitions for the transformed variables it is readily shown that
This completes the integration along characteristics of the kinetic model. Renaming the variables
$\{\bar {f},\bar {g}\}\to \{f,g\}$
and dropping the dependence on the untransformed distribution function, we obtain the second-order-in-time accurate kinetic (3.26) and (3.27) of the main text, along with the corresponding transform of the fields, (3.29), (3.30) and (3.31).
Appendix C. Multi-scale analysis of lattice Boltzmann model for compressible non-ideal flows
The first step in the multi-scale analysis is a Taylor expansion of the lattice Boltzmann equations
around
$(\boldsymbol{x},t)$
, leading to the following space- and time-evolution equations:
\begin{align} \delta t\mathcal{D}_t \{f_i,g_i\} + \frac {\delta t^2}{2}{\mathcal{D}_t}^2 \{f_i,g_i\} + \mathcal{O}\bigl (\delta t^3\bigr ) &= 2\beta \left (\left\{f_i^{\textit{eq}},g_i^{\textit{eq}}\right\} - \{f_i,g_i\}\right ) \nonumber \\&\quad + \left (1-\beta \right )\left (\left\{f_i^\star ,g_i^\star \right\} - \left\{f_i^{{ eq}},g_i^{\textit{eq}}\right\}\right )\!. \end{align}
Introducing the flow characteristic size and time,
$\mathcal{L}$
and
$\mathcal{T}$
. The equations are made non-dimensional as
\begin{align} \frac {\delta x}{\mathcal{L}}\mathcal{D}^{\prime}_t \{f_i,g_i\} + \frac {\delta x^2}{2\mathcal{L}^2}{\mathcal{D}^{\prime}_t}^2 \{f_i,g_i\} &= 2\beta \left (\{f_i^{\textit{eq}},g_i^{\textit{eq}}\} - \{f_i,g_i\}\right ) \nonumber \\&\quad + \left (1-\beta \right )\left (\left\{f_i^{\star },g_i^{\star }\right\} - \{f_i^{{ eq}},g_i^{\textit{eq}}\}\right )\!, \end{align}
where
Assuming acoustic scaling and hydrodynamic scaling,
$\varepsilon \sim \delta x/\mathcal{L} \sim \delta t/\mathcal{T}$
and dropping the primes
\begin{align} \varepsilon \mathcal{D}_t \{f_i,g_i\} + \frac {\varepsilon ^2}{2}{\mathcal{D}_t}^2\{f_i,g_i\} &= 2\beta \left (\{f_i^{\textit{eq}},g_i^{\textit{eq}}\} - \{f_i,g_i\}\right )\nonumber\\&\quad + \left (1-\beta \right )\left (\{f_i^{\star },g_i^{\star }\} - \{f_i^{\textit{eq}},g_i^{\textit{eq}}\}\right )\!. \end{align}
We introduce the following multi-scale expansions:
Noting that for the definition of
$f_i^\star$
in (3.45) divergence from the equilibrium will arise only at the
$\varepsilon ^1$
level (i.e.
${f_i^\star }^{(0)} = f^{\textit{eq}}_i$
), we separate by orders of the smallness parameter
\begin{align} \varepsilon ^2 &: \partial _t^{(2)}\{f_i^{(0)},g_i^{(0)}\} + \mathcal{D}_{t}^{(1)}(1-\beta ) \left (\{f_i^{(1)},g_i^{(1)}\} + {\frac {1}{2}} \{{f^\star }_i^{(1)},{g^\star }_i^{(1)}\}\right ) \nonumber \\ &\quad = -2\beta \{f_i^{(2)},g_i^{(2)}\} + \left (1-\beta \right )\{{f^\star }_i^{(2)},{g^\star }_i^{(2)}\}. \end{align}
The following solvability conditions apply:
\begin{align} \sum _{i=1}^Q {f}_i^{(k)} &= 0,\ \forall k\gt 0, \end{align}
\begin{align} \sum _{i=1}^Q \boldsymbol{c}_i {f}_i^{(1)} + \frac {1}{2}\sum _{i=1}^Q \boldsymbol{c}_i {f^\star }_i^{(1)} &= 0, \end{align}
\begin{align} \sum _{i=1}^Q \boldsymbol{c}_i {f}_i^{(k)} &= 0,\ \forall k\gt 1, \end{align}
\begin{align} \sum _{i=1}^Q {g}_i^{(1)} + \frac {1}{2} \sum _{i=1}^Q {g^\star }_i^{(1)} &= 0, \end{align}
\begin{align} \sum _{i=1}^Q {g}_i^{(k)} &= 0,\ \forall k\gt 0. \end{align}
Taking the zeroth-order moment of (C7b
) for
$f_i$
where we have used
\begin{equation} \sum _{i=1}^{Q} {f_i^\star }^{(1)} = 0, \end{equation}
and solvability condition (C8). For the first-order moment of (C7b
) for
$f_i$
\begin{equation} \partial _t^{(1)}\rho \boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{\cdot }\rho \boldsymbol{u}\otimes \boldsymbol{u} + \boldsymbol{\nabla } P = -2\beta \overbrace {\left (\sum _{i=1}^Q \boldsymbol{c}_if_i^{(1)}+\frac {1}{2}\boldsymbol{c}_i{f_i^\star }^{(1)}\right )}^{=0} + \underbrace {\sum _{i=1}^Q \boldsymbol{c}_i{f_i^\star }^{(1)}}_{\boldsymbol{F}}, \end{equation}
where we used (C9) and
where
The force can also be shown to simplify to
Finally taking the zeroth-order moment for
$g_i$
\begin{equation} \partial _t^{(1)}\rho E + \boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\left (\rho E + P\right ) = -2\beta \overbrace {\left (\sum _{i=1}^Q g_i^{(1)}+\frac {1}{2}{g_i^\star }^{(1)}\right )}^{=0} + \underbrace {\sum _{i=1}^Q {g_i^\star }^{(1)}}_{\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}}. \end{equation}
Summing up balance equations at order
$\varepsilon$
The last equation (C22) can be transformed into a balance equation for internal energy using
as
Furthermore, using
\begin{equation} {\rm d}e = c_v {\rm d}T - \left (T \left (\frac {\partial P}{\partial T}\right )_{\kern-2pt \rho} - P\right )\frac {{\rm d}\rho }{\rho ^2}, \end{equation}
and (C20) a balance equation for temperature can be derived as
Finally, using
we can also write a balance equation for pressure as
where
\begin{equation} c_s^2 = \left (\frac {\partial P}{\partial \rho }\right )_T + \frac {T}{c_v\rho ^2} \left (\frac {\partial P}{\partial T}\right )_{\kern-2pt \rho} ^2. \end{equation}
At order
$\varepsilon ^2$
, the zeroth-order moment of
$f_i$
leads to
and the first-order moments
\begin{equation} \partial _t^{(2)}\rho \boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{\cdot }\left (1-\beta \right )\left [\left (\sum _{i=1}^Q \boldsymbol{c}_i\otimes \boldsymbol{c}_i {f_i}^{(1)}\right ) + \frac {1}{2}\left (\sum _{i=1}^Q \boldsymbol{c}_i\otimes \boldsymbol{c}_i {f^\star }_i^{(1)}\right )\right ] = 0. \end{equation}
Here, we can use (C7b ) to obtain
\begin{equation} \partial _t^{(2)}\rho \boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{\cdot }\left (\frac {1}{2}-\frac {1}{2\beta }\right )\left (\partial _t^{(1)}\varPi _2(f^{(0)}) + \boldsymbol{\nabla }\varPi _3(f^{(0)}) - \sum _{i=1}^Q \boldsymbol{c}_i\otimes \boldsymbol{c}_i {f^\star }_i^{(1)}\right ) = 0. \end{equation}
Here,
$\varPi ^{(0)}_2(f)$
and
$\varPi ^{(0)}_3(f)$
are the second- and third-order moment tensors of the equilibrium distribution function
Using (C20) and (C21) we can write
\begin{align} \partial ^{(1)}_t \left (\rho \boldsymbol{u}\otimes \boldsymbol{u} + P\boldsymbol{I}\right ) = \boldsymbol{u}\otimes \boldsymbol{F} + \boldsymbol{F}\otimes \boldsymbol{u} -\boldsymbol{\nabla }\boldsymbol{\cdot }\rho \boldsymbol{u}\otimes \boldsymbol{u}\otimes \boldsymbol{u} - \boldsymbol{\nabla }P\boldsymbol{u} - (\boldsymbol{\nabla }P\boldsymbol{u})^{\dagger} \nonumber \\+P\left (\boldsymbol{\nabla }\boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{u}^\dagger \right ) + \partial ^{(1)}_t P \boldsymbol{I}. \end{align}
For the last term, i.e.
$\partial ^{(1)}_t P$
, we write a balance equation for
$P$
while
where
Adding up all the terms
\begin{align} \partial _t^{(1)}\varPi _2(f^{(0)}) + \boldsymbol{\nabla }\boldsymbol{\cdot }\varPi _3(f^{(0)}) &= \boldsymbol{u}\otimes \boldsymbol{F} + {\boldsymbol{F}\otimes \boldsymbol{u}} + P\left (\boldsymbol{\nabla }\boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{u}^\dagger \right ) \nonumber \\&\quad + \left (P - \rho c_s^2\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I} - \rho \varPsi . \\[10pt] \nonumber \end{align}
Setting
\begin{equation} \sum _{i=1}^Q \boldsymbol{c}_i\otimes \boldsymbol{c}_i {f^\star }_i^{(1)} = \left (\boldsymbol{u}\otimes \boldsymbol{F} + \boldsymbol{F}\otimes \boldsymbol{u} + \rho \varPsi + P\left (\frac {D+2}{D}-\frac {\rho c_s^2}{P} -\frac {\eta }{\mu }\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I}\right ) ,\end{equation}
and plugging it back into (C32)
where we used
For the second population, at order
$\varepsilon ^2$
,
\begin{equation} \partial _t^{(2)}\rho E + \boldsymbol{\nabla }\boldsymbol{\cdot }\left (\frac {1}{2}-\frac {1}{2\beta }\right )\left ( \partial _t^{(1)}\varPi _1(g_i^{(0)}) + \boldsymbol{\nabla }\boldsymbol{\cdot }\varPi _2(g_i^{(0)}) - \sum _{i=1}^Q \boldsymbol{c}_i {g_i^\star }^{(1)}\right ) = 0, \end{equation}
where
Here, we can use
and
Adding up both contributions
\begin{align} &\partial _t^{(1)}\varPi _1\left(g_i^{(0)}\right) + \boldsymbol{\nabla }\boldsymbol{\cdot }\varPi _2\left(g_i^{(0)}\right) \nonumber\\&= \underbrace {-2\boldsymbol{\nabla }\boldsymbol{\cdot }P \boldsymbol{u}\otimes \boldsymbol{u} + 2\boldsymbol{\nabla }\boldsymbol{\cdot }P \boldsymbol{u}\otimes \boldsymbol{u}}_{=0} \underbrace {+ \boldsymbol{\nabla }\boldsymbol{\cdot }\rho E \boldsymbol{u}\otimes \boldsymbol{u} - \boldsymbol{\nabla }\boldsymbol{\cdot }\rho E \boldsymbol{u}\otimes \boldsymbol{u}}_{=0} \nonumber \\& \underbrace {+ \boldsymbol{\nabla } P(P/\rho + E) - (E+P/\rho )\boldsymbol{\nabla }P}_{P\boldsymbol{\nabla }(E+P/\rho )} + P\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{\nabla }\boldsymbol{u} - \boldsymbol{u}\left (\rho c_s^2 - P\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u} \nonumber \\&+(P/\rho +E)\boldsymbol{F} + \boldsymbol{u}(\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}). \end{align}
Further expanding
\begin{align} \partial _t^{(1)}\varPi _1\left(g_i^{(0)}\right) + \boldsymbol{\nabla }\boldsymbol{\cdot }\varPi _2\left(g_i^{(0)}\right) &= P\boldsymbol{\nabla }h \overbrace {+ P\boldsymbol{\nabla }(\boldsymbol{u}^2/2) + P\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{\nabla }\boldsymbol{u}}^{=P\boldsymbol{u}\boldsymbol{\cdot }(\boldsymbol{\nabla }\boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{u}^\dagger )} + \boldsymbol{u}\left (P - \rho c_s^2\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u} \nonumber \\&\quad +(P/\rho +E)\boldsymbol{F} + \boldsymbol{u}(\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}), \end{align}
where
$h = e + P$
. Plugging this back into the balance equation
\begin{align} &\partial _t^{(2)}\rho E - \boldsymbol{\nabla }\boldsymbol{\cdot }\underbrace {\boldsymbol{u}\boldsymbol{\cdot }\left [\mu \left (\boldsymbol{\nabla }\boldsymbol{u} + \boldsymbol{\nabla }\boldsymbol{u} - \frac {2}{D}\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I}\right ) + \eta \boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I}\right ]}_{-\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{T}_{\textit{NS}}} \nonumber \\&\quad + \boldsymbol{\nabla }\boldsymbol{\cdot }\left (\frac {1}{2}-\frac {1}{2\beta }\right )\left (P\boldsymbol{\nabla }h + \boldsymbol{u}\boldsymbol{\cdot }P\left (\frac {D+2}{D}-\frac {\rho c_s^2}{P}-\frac {\eta }{\mu }\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I} \vphantom{\sum _{i=1}^Q \boldsymbol{c}_i {g_i^{\star }}^{(1)}}\right . \nonumber \\&\quad \left . +\, (P/\rho +E)\boldsymbol{F} + \boldsymbol{u}(\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}) - \sum _{i=1}^Q \boldsymbol{c}_i {g_i^{\star }}^{(1)}\right ) = 0. \end{align}
Left: numerical Schlieren image of shock-liquid-column interaction at
${\textit{Ma}}=1.47$
with resolutions (from top to bottom):
$600\times 600$
,
$800\times 800$
,
$1000\times 1000$
. Right: error in position of shock inside the liquid column along the centreline
$x_s$
.

Figure 20. Long description
The image consists of two parts. On the left, it shows numerical Schlieren images of shock-liquid-column interaction at different resolutions. The top image has the highest resolution, followed by medium and low resolutions from top to bottom. On the right, a line graph plots the error in the position of the shock inside the liquid column along the centerline. The x-axis represents the variable delta x over N x in units of 10 to the power of -3, ranging from 1.5 to 3.0. The y-axis represents the normalized error, ranging from 0.02 to 0.06. The graph shows four data points, each represented by a red square, indicating an increasing trend in error as delta x over N x increases. All values are approximated.
Using the definition of the shifted equilibrium
\begin{align} \varPi _1(g_i^{\star (1)}) &= \left (\boldsymbol{u}(\boldsymbol{u}\boldsymbol{\cdot }\boldsymbol{F}) + \boldsymbol{F} \left (\frac {P}{\rho } + E\right ) \right . \nonumber \\ &\quad \left . + P\left (\boldsymbol{\nabla }h - \frac {k}{\mu }\boldsymbol{\nabla }T + \boldsymbol{u} \boldsymbol{\cdot }\left (\frac {D+2}{D}-\frac {\rho c_s^2}{P}-\frac {\eta }{\mu }\right )\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{u}\boldsymbol{I}\right )\right )\!. \end{align}
we recover
Distribution of normalised effective viscosity in the domain at
$t/t_0=0.3$
for
${\textit{Ma}}=1.47$
and resolution of
$800\times 800$
.

Figure 21. Long description
A heat map displays the distribution of normalized effective viscosity in a domain. The map uses a grayscale color scale ranging from 1.0 to 1.3, with lighter shades indicating higher values and darker shades indicating lower values. The heat map is accompanied by a vertical color bar on the right side, which provides a reference for the viscosity values. The central region of the heat map shows a circular pattern with varying intensities, suggesting differences in viscosity across the domain. The overall structure of the heat map indicates a gradient of viscosity values, with the highest values concentrated in specific areas and the lowest values spread more uniformly.
Appendix D. Convergence study of shock–liquid-column interaction
The simulations reported for the shock–column interaction were run with a resolution of
$800\times 800$
. To check the convergence behaviour for this configuration simulations were run with resolutions from
$300\times 300$
up to
$1000\times 1000$
using acoustic scaling for the time step. The position of the shock inside the liquid column at
$t/t_0=0.3$
was then extracted for each run and the relative error with respect to the highest resolution simulation measured. The scaling of this error with resolution along with a visual illustration of the field for
${\textit{Ma}}=1.47$
are shown in figure 20. Fitting the four data points obtained with simulations a slope
$1.56$
was obtained. Note that in all simulations the shock-capturing nonlinear numerical dissipation of (4.37) and (4.39) was on, showing that it does not diminish the overall accuracy of the solver. To better illustrate the operation mode of the numerical dissipation, the normalised effective viscosity in the domain at
$t/t_0=0.3$
for
${\textit{Ma}}=1.47$
and resolution of
$800\times 800$
is shown in figure 21.

CO2
Z=P/ρRT
ρ
P
R
Pc
Tc

N2
N2

Pr∈{0.6,1.2,4.9}
Ma=0.8
Ma∈{0.8,1.2,1.6}
Pr=1.2
σ
N2
N2
N2
Tr=0.9
δx=5μm
δx=1μm
δx=0.5μm
δx=0.1μm
N2
Tr=0.9


t=0.45Lxρc/Pc
Γ
t=0.45Lxρc/Pc
Γ
Pr
ρr
Γ=1
t=0.2Lxρc/Pc
Γ
t=0.2Lxρc/Pc
Γ
Pr
ρr
Pr
ρr
t=0.15Lxρc/Pc
Γ
t=0.15Lxρc/Pc
Γ
Pr
ρr
Pr
ρr
t/t0=0
t/t0=0.3
t/t0=0.7
ϕ=exp(−a(‖∇ρ‖/max(‖∇ρ‖)))
a=100
W
x
Mas=1.47
Mas=1.18
Ma=1.3
Ma=1.18
Ma=1.47
Ma=1.3
Ma=1.18
Ma=1.47
t/t0=0.3
x
Pr
ρr
feq
geq
F⋆
G⋆
Ma=1.47
600×600
800×800
1000×1000
xs
t/t0=0.3
Ma=1.47
800×800