1. Introduction
Incompressible turbulent flows are ubiquitous in nature and engineering, occurring in systems ranging from atmospheric and oceanic flows to industrial processes, yet their inherent complexity continues to challenge predictive modelling efforts (Pope Reference Pope2001). Although advances in high-performance computing have greatly expanded the scope of direct numerical simulation (DNS) of the Navier–Stokes (NS) equations (Moin & Mahesh Reference Moin and Mahesh1998), the computational cost of fully resolving turbulent flows remains prohibitive, particularly at high Reynolds numbers and in complex geometries. Consequently, considerable effort has been devoted to turbulence modelling based on statistically averaged equations, aiming to capture key features of turbulent flows such as the mean velocity profile and the root-mean-square velocity fluctuations.
Among statistically averaged equations, the Reynolds-averaged Navier–Stokes (RANS) equations (Reynolds Reference Reynolds1895), obtained by time averaging the incompressible NS equations, remain the most widely used framework in turbulence modelling. A central challenge in applying the RANS equations is to devise closure models that approximate the Reynolds stress and scalar flux introduced by the averaging process. One of the earliest closure models, the Prandtl mixing length hypothesis, introduces the concept of eddy viscosity by drawing an analogy between turbulent mixing and molecular momentum transport (Prandtl Reference Prandtl1925). To this day, eddy-viscosity concepts remain a cornerstone of turbulence theory and engineering modelling. The linear eddy-viscosity closure for Reynolds stress with gradient diffusion closure for scalar flux (Launder & Spalding Reference Launder and Spalding1983; Spalart & Allmaras Reference Spalart and Allmaras1992; Menter Reference Menter1997; Wilcox Reference Wilcox2008) and nonlinear extensions (Pope Reference Pope1975; Speziale Reference Speziale1987; Gatski & Speziale Reference Gatski and Speziale1993; Craft, Launder & Suga Reference Craft, Launder and Suga1996; Wallin & Johansson Reference Wallin and Johansson2000) that incorporate strain and rotation tensor invariants, have achieved success across different flow types, yet they typically rely on
$ad \ hoc$
parameters that require empirical specification (Durbin Reference Durbin2018). The pursuit of more sophisticated closure strategies has resulted in Reynolds stress transport models that directly solve the governing equations for individual Reynolds stress tensor components, providing the ability to capture secondary flow structures and the lag phenomena between a rapidly changing applied strain rate and the response (Launder, Reece & Rodi Reference Launder, Reece and Rodi1975; Yakhot et al. Reference Yakhot, Orszag, Thangam, Gatski and Speziale1992; Hamlington & Dahm Reference Hamlington and Dahm2008). However, these higher-order closure models introduce challenges related to the uncertain physical foundations of the required higher-order turbulence correlations and the specification of appropriate boundary conditions.
Although eddy-viscosity models have achieved considerable success in RANS frameworks, they are fundamentally limited by the assumption of scale separation between the mean and fluctuating flow fields (Monin & Yaglom Reference Monin and Yaglom2013). This limitation can be naturally addressed by seeking a description in terms of kinetic theory for gas molecules, as kinetic equations do not rely on such scale separation assumptions (Cercignani Reference Cercignani1988). Building on this kinetic perspective, Chen et al. (Reference Chen, Kandasamy, Orszag, Shock, Succi and Yakhot2003) introduced an extended Boltzmann kinetic framework, in which turbulent fluctuations are treated analogously to molecular thermal fluctuations. Their formulation circumvents the scale separation assumption inherent in classical eddy-viscosity models, naturally recovering Reynolds stress and higher-order (nonlinear and non-Newtonian) corrections through Chapman–Enskog (CE) expansion (Chapman & Cowling Reference Chapman and Cowling1990), with all model coefficients consistently determined from kinetic theory. Furthermore, by analogy, a Fokker–Planck equation explicitly tailored for turbulence modelling was developed by Heinz (Reference Heinz2007) and Luan, Zhang & Zhang (Reference Luan, Zhang and Zhang2025). Using the CE expansion, Luan et al. (Reference Luan, Zhang and Zhang2025) derived a nonlinear eddy-viscosity model from this Fokker–Planck formulation, which closely aligns with the results of the Bhatnagar–Gross–Krook (BGK) model of Chen et al. (Reference Chen, Orszag, Staroselsky and Succi2004), differing primarily in the omission of the molecular viscous term. Encouragingly, their results demonstrate that the resulting quadratic eddy-viscosity model outperforms the existing linear eddy-viscosity model and achieves comparable accuracy to cubic eddy-viscosity models for two-dimensional flows, without resorting to
$ad \ hoc$
parameters in the Reynolds stress constitutive relation (Luan et al. Reference Luan, Zhang and Zhang2025). However, no theoretical analysis or numerical simulation has yet been reported that solves these kinetic models directly. A key drawback of these kinetic models is that they impose turbulence by analogy, replacing molecular thermal fluctuations with turbulent fluctuations, without deriving a description of the turbulence dynamics from first principles.
Another strategy is to develop kinetic models for turbulence directly from the Boltzmann equation by systematically eliminating small-scale fluctuations through successive averaging procedures. Chen, Succi & Orszag (Reference Chen, Succi and Orszag1999) applied renormalisation group techniques to the Boltzmann–BGK equation (Bhatnagar, Gross & Krook Reference Bhatnagar, Gross and Krook1954) to develop a subgrid-scale (SGS) viscosity model. Subsequently, Ansumali, Karlin & Succi (Reference Ansumali, Karlin and Succi2004) constructed a turbulence model using a mean-field approach to filter SGS effects, establishing connections with the Smagorinsky-type closures. However, a fundamental limitation arises because the averaged equilibrium distribution retains the thermodynamic temperature in the same functional role as turbulent kinetic energy. This prevents the systematic removal of molecular thermal effects through successive averaging processes, resulting in eddy-viscosity formulations that exhibit unphysical dependence on molecular temperature rather than being determined solely by turbulent flow characteristics. Girimaji (Reference Girimaji2007) rigorously derives a filtered-turbulence kinetic equation from the Boltzmann–BGK framework, in which turbulence effects (Reynolds stress) enter explicitly via additional drift terms. Nevertheless, the resulting Reynolds stress contributions cannot be obtained directly from the distribution function and therefore remain unclosed; in their large eddy simulation implementation, a conventional Smagorinsky-type SGS closure is employed. This limitation highlights fundamental difficulties in applying the conventional Boltzmann equation to turbulence modelling and suggests the need for alternative approaches to statistical averaging. Recently, Yang & Xu (Reference Yang and Xu2025) developed the wave–particle turbulence simulation method, which conjectured and numerically showed that kinetic representations may be advantageous in describing turbulent non-equilibrium physics.
Several kinetic-based approaches reformulate incompressible NS turbulence in terms of velocity distribution functions (VDFs), providing a complementary viewpoint to conventional RANS. Lundgren (Reference Lundgren1967) derived an infinite hierarchy of equations for the multi-point VDF of fluid elements, starting from the incompressible NS equations. In this hierarchy, the
$n$
th equation contains an unknown (
$n+1$
)-point VDF, closely resembling the Bogoliubov–Born–Green–Kirkwood–Yvon (Cohen & Balazs Reference Cohen and Balazs1962) hierarchy for multi-particle VDF in kinetic theory. In subsequent work, Lundgren (Reference Lundgren1969) attempted to close the system at the one-point level by employing a relaxation model identical in form to the BGK model. The resulting equation was solved for several idealised problems without solid boundaries, and good agreement with available experiments was found. Srinivasan et al. (Reference Srinivasan, Giddens, Bangert and Wu1977) extended the work of Lundgren (Reference Lundgren1969) to turbulent flows bounded by solid walls, developing two types of boundary conditions based on the wall function method and employing the discrete ordinate method for numerical solution. However, due to the restriction to regions outside the viscous sublayer, the near-wall Reynolds shear stress was overpredicted, leading to an incorrect shear-stress profile. Lundgren’s model equation provides a very good description of turbulence for the flow situations considered and offers an analytical tool for further study of more complex turbulent flows; yet to our knowledge, this approach has not been pursued in subsequent turbulence research. Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023, Reference Chen, Staroselsky, Sreenivasan and Yakhot2024) take a different approach but arrive at a similar BGK-type model for the VDF. Their analysis is developed from the idea of Klimontovich-type kinetic equation (Klimontovich Reference Klimontovich1969) for representative fluid elements, which exactly satisfies the incompressible NS equations. Ensemble averaging the Klimontovich-type equation yields a one-point kinetic equation consistent with Lundgren (Reference Lundgren1967) and Pope (Reference Pope1983), in which the collision term remains unclosed and needs to be modelled. Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) adopt a BGK-type approximation as a closure for this term, while avoiding conflating turbulent fluctuations with the thermodynamic temperature. Unlike the model of Lundgren (Reference Lundgren1969), the dissipation rate is incorporated into the collision term rather than added through a source term, providing a more physically realistic representation of dissipation in eddy collisions. Overall, kinetic-based formulations provide a systematic kinetic framework for turbulence modelling, offering an alternative viewpoint to purely heuristic analogies and facilitating a connection between fluctuation statistics and macroscopic effects. Although the kinetic model developed by Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) provides a rigorous theoretical foundation for turbulence modelling, two critical limitations remain. First, the CE analysis for the Reynolds stress is based on the results of the BGK model that does not properly incorporate dissipation rate (Chen et al. Reference Chen, Orszag, Staroselsky and Succi2004), causing the relaxation-time estimation by Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2024) to produce unrealistically high turbulent Prandtl number and higher-order transport coefficients. Second, the model was constructed for unbounded fully developed turbulent flows, and suitable near-wall treatments for wall-bounded turbulence remain to be developed.
The aim of this study is to extend, analyse and validate the kinetic model developed by Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023). Through CE expansion, we derive eddy-viscosity and gradient diffusion models with transport coefficients determined from kinetic theory principles, reducing reliance on
$ad \ hoc$
parameters. The theoretical results are validated through detailed comparison with experimental data and DNSs of turbulent plane Couette flow. The remainder of the paper is organised as follows. Section 2 presents the kinetic model for incompressible turbulence. In § 3, we establish connections with traditional eddy-viscosity models and compare the transport coefficients. Section 4 presents an extension of the model to wall-bounded turbulence. In § 5, we validate the models through turbulent Couette flow simulations, and § 6 provides concluding remarks.
2. Kinetic model for incompressible turbulence
2.1. Kinetic representation of incompressible turbulence
Rather than relying on the ensemble-averaged Boltzmann equation originally devised for molecular gases, Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) provide a comprehensive kinetic representation of incompressible turbulence at both the NS (fluid elements) level and the RANS (eddies) level. They first introduced a Klimontovich-type kinetic equation for representative fluid elements
where
$f \equiv f(\boldsymbol{x}, \boldsymbol{\xi }, t)$
is the VDF for fluid elements with velocity
$\boldsymbol{\xi } \equiv (\xi _x, \xi _y, \xi _z )$
at position
$\boldsymbol{x} \equiv (x, y, z )$
and time
$t$
,
$\boldsymbol{\nabla}$
and
$\boldsymbol{\nabla} _{\boldsymbol \xi }$
are the gradient operators in physical and velocity spaces, respectively,
$\nu _0$
is the molecular viscosity,
$p$
is the pressure determined by the incompressibility constraint and the fluid velocity
$\boldsymbol{u}$
is defined by
and
$\int\!f\kern0.5pt\textrm{d}\boldsymbol{\xi }=1$
for an incompressible flow. Taking the moments of (2.1), we obtain
which exactly reproduces the NS equations at the hydrodynamic level. The Klimontovich-type equation describes representative fluid elements that follow exactly the NS fluid streamlines. Physically, it amounts to a Lagrangian representation of the NS flow. It is in this sense that it is exact and from first principles.
Subsequently, applying ensemble averaging to the kinetic (2.1) provides the kinetic description of the incompressible mean turbulent field
where
$F \equiv F(\boldsymbol{x}, \boldsymbol{\xi }, t)=\langle f(\boldsymbol{x}, \boldsymbol{\xi }, t) \rangle$
is an ensemble-averaged VDF, with
$\langle \boldsymbol{\cdot }\rangle$
denoting the ensemble average, and
$\mathcal{C} \equiv -\boldsymbol{\nabla} _{\boldsymbol{\xi }} \boldsymbol{\cdot }\langle \boldsymbol{a}' f' \rangle$
is the collision operator, with
$\boldsymbol{a}'$
and
$f'$
denoting the fluctuating components of
$\boldsymbol{a}$
and
$f$
, respectively. The external force
$\bar {\boldsymbol{a}}$
is given as
where
$\nu _0$
is the molecular viscosity,
$\bar {p} = \langle p \rangle$
and
$\boldsymbol{U} = \langle \boldsymbol{u}\rangle$
are the mean (ensemble-averaged) pressure and velocity, respectively. The mean pressure distribution is governed by the mean velocity field according to the constraint
$\boldsymbol{\nabla} ^2 \bar {p} = -\boldsymbol{\nabla }\boldsymbol{\nabla }: \boldsymbol{U} \boldsymbol{U} - \boldsymbol{\nabla }\boldsymbol{\nabla }: (\langle \boldsymbol{u}' \boldsymbol{u}' \rangle )$
.
The collision operator
$\mathcal{C}$
satisfies conservation of mass and momentum
However, the collision is not conservative with respect to energy
where
$p'$
and
$\boldsymbol{u}'$
denote the fluctuating components of
$p$
and
$\boldsymbol{u}$
, respectively, and
$\epsilon =\nu _0 \langle \boldsymbol{\nabla }\boldsymbol{u}':\boldsymbol{\nabla }\boldsymbol{u}' \rangle$
is the dissipation rate. The kinetic equation obtained by ensemble averaging the Klimontovich-type equation is also exact before any closure model is applied for the collision term.
Mean quantities, such as the mean velocity
$\boldsymbol{U}$
, turbulent kinetic energy (TKE)
$K$
, Reynolds stress tensor
$\boldsymbol{\sigma }$
and TKE flux
$\boldsymbol{Q}$
, can be obtained by integrating the ensemble-averaged VDF over the velocity space, i.e.
\begin{equation} \begin{aligned} \boldsymbol{U} &= \langle \boldsymbol{u}\rangle = \int \boldsymbol{\xi } F {\rm d}\boldsymbol{\xi },\\ K &= \frac {1}{2} \langle \left (\boldsymbol{u}'\right )^2\rangle = \frac {1}{2} \int \left (\boldsymbol{\xi }-\boldsymbol{U}\right )^2 F {\rm d}\boldsymbol{\xi },\\ \boldsymbol{\sigma } &=- \langle \boldsymbol{u}'\boldsymbol{u}'\rangle = -\int (\boldsymbol{\xi }-\boldsymbol{U})(\boldsymbol{\xi }-\boldsymbol{U}) F {\rm d}\boldsymbol{\xi },\\ \boldsymbol{Q} &=\frac {1}{2} \langle \boldsymbol{u}'\left (\boldsymbol{u}'\right )^2\rangle = \frac {1}{2} \int (\boldsymbol{\xi }-\boldsymbol{U})(\boldsymbol{\xi }-\boldsymbol{U})^2 F {\rm d}\boldsymbol{\xi }, \end{aligned} \end{equation}
where
$\int F {\rm d}\boldsymbol{\xi } = 1$
, corresponding to the normalisation of the VDF for incompressible flow. More generally, arbitrary higher-order central moments of the velocity fluctuations can be obtained from the VDF as
$\langle u'_{i_1} u'_{i_2} \ldots u'_{i_n}\rangle =\int (\xi _{i_1}-U_{i_1})(\xi _{i_2}-U_{i_2})\ldots (\xi _{i_n}-U_{i_n})F{\rm d}\boldsymbol{\xi }$
.
The well-known incompressible RANS equations can be obtained by taking the moments of the kinetic (2.4)
\begin{equation} \begin{aligned} \boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{U} &= 0,\\ \partial _t \boldsymbol{U} + \left ( \boldsymbol{U}\boldsymbol{\cdot }\boldsymbol{\nabla }\right )\boldsymbol{U} &= - \boldsymbol{\nabla }\!\bar {p} + \nu _0{\nabla} ^2 {\boldsymbol{U}} + \boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{\sigma },\\ \partial _t K+ \left ( \boldsymbol{U}\boldsymbol{\cdot }\boldsymbol{\nabla }\right ) K&= -\boldsymbol{\nabla }\boldsymbol{\cdot }\boldsymbol{Q}+\boldsymbol{\sigma }:\boldsymbol{S} -\boldsymbol{\nabla }\boldsymbol{\cdot }\langle p' \boldsymbol{u}'\rangle +\nu _0 {\nabla} ^2K -\epsilon , \end{aligned} \end{equation}
where
$\boldsymbol{S}=({1}/{2}) [\boldsymbol{\nabla }\!\boldsymbol{U} + (\boldsymbol{\nabla }\!\boldsymbol{U})^T ]$
is the rate of strain tensor. It can be seen that
$K$
,
$\boldsymbol{\sigma }$
and
$\boldsymbol{Q}$
are completely determined by the solution of the averaged kinetic equation without any assumptions in this kinetic representation. Moreover, in principle, transport equations for any other higher-order central moments can be derived by taking corresponding moments of the kinetic equation.
2.2. The BGK model for average turbulence dynamics
Since the collision term lacks an explicit form in terms of the averaged variables, one needs to find an appropriate closure in the above kinetic representation. Interestingly, the asymptotic limit of the collision process
$\mathcal{C}$
assumes a Gaussian form based on semi-theoretical arguments (Chen et al. Reference Chen, Staroselsky, Sreenivasan and Yakhot2023), which is also consistent with experimental observations in homogeneous turbulent flows where the one-point VDF exhibits a local Gaussian form (Tavoularis & Corrsin Reference Tavoularis and Corrsin1981; Sreenivasan & Yakhot Reference Sreenivasan and Yakhot2021; Sreenivasan et al. Reference Sreenivasan, Yakhot, Staroselsky and Chen2024). As a result, Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) modelled the collision term
$\mathcal{C}$
as a relaxation process toward the local Gaussian form with a relaxation time
$\tau$
, namely, a BGK form
where
$F^{eq}$
is the local equilibrium VDF
\begin{equation} F^{eq} = \left (\frac {4}{3}\pi K^{eq}\right )^{-3/2} \exp {\left [ -\frac {3\left (\boldsymbol{\xi }-\boldsymbol{U}\right )^2}{4K^{eq}}\right ]}, \end{equation}
where
$K^{eq}$
is the local equilibrium TKE. Notably, in dissipative turbulence
$F^{eq}$
denotes a target function representing the asymptotic state of the BGK collision process, which is in general never achieved but serves as the direction towards which the collision process drives
$F$
. It excludes the non-trivial flow-induced fluctuations contained in
$F$
; the latter exhibits non-Gaussian properties (Frisch Reference Frisch1996) such as flatness and skewness. In the homogeneous case, the kinetic equation with the BGK model (2.10) admits a Gaussian solution whose variance equals the instantaneous TKE.
Based on the properties of the collision term, one can obtain
To simplify the analysis, Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) considered statistically homogeneous, high-Reynolds-number turbulence (or equivalently, the spatially averaged TKE budget), for which the divergence-type transport terms in (2.7) do not contribute to the net balance
and we have the equilibrium TKE
$K^{eq}=K-\tau \epsilon$
according to (2.13). In conventional RANS modelling, the pressure-diffusion term
$-\boldsymbol{\nabla }\boldsymbol{\cdot }\langle p'\boldsymbol{u}'\rangle$
is rarely treated separately; instead it is commonly modelled together with the TKE flux
$\boldsymbol{Q}$
using a gradient diffusion closure (Launder & Spalding Reference Launder and Spalding1983; Wilcox Reference Wilcox1998). In the present work, we neglect this term because it is quite small for simple flows (Mansour, Kim & Moin Reference Mansour, Kim and Moin1988; Pope Reference Pope2001). Additionally, for low-Reynolds-number turbulence and/or near-wall and inhomogeneous flows, the molecular diffusion
$\nu _0 {\nabla} ^2K$
may be non-negligible and will be explicitly retained and discussed in § 4.1.
For the relaxation time, Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2024) provide a theoretical estimation of
$\tau = C_\tau\! K/\epsilon$
with
$C_\tau = 6/7$
based on the fluctuation–dissipation theorem that is absent in purely hydrodynamic approaches for stationary, homogeneous and isotropic turbulent flows. It also determines the turbulent viscosity, turbulent Prandtl number and all higher-order transport coefficients involved in
$\boldsymbol{\sigma }$
and
$\boldsymbol{Q}$
by an effective finite Knudsen number expansion. They obtain the turbulent viscosity
$\nu _T = 2\tau\! K^{eq}/3 = 2 C_\tau (1-C_\tau )K^2/(3\epsilon )$
based on the CE analysis of the BGK model that does not properly incorporate dissipation of TKE (Chen et al. Reference Chen, Orszag, Staroselsky and Succi2004). This leads to unrealistically high turbulent Prandtl number and higher-order transport coefficients (see § 3.2). Since turbulent viscosity exhibits a quadratic dependence on the coefficient
$C_\tau$
, we can choose the other root instead of the original one
This choice yields the same viscosity as derived by Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2024), while providing more reasonable turbulent Prandtl number and improved higher-order transport coefficients.
In the end, the dissipation rate
$\epsilon$
remains an unspecified quantity, requiring an additional scale equation to determine its evolution. The most straightforward approach is to adopt an established formulation from conventional turbulence models (e.g. the
$K-\epsilon$
model) to prescribe the evolution equation for
$\epsilon$
. Alternatively, the conventional
$K-\omega$
turbulence models can also be utilised, where the relaxation time is expressed as
$\tau \sim 1/\omega$
, with
$\omega \sim \epsilon /K$
being the specific dissipation rate (Wilcox Reference Wilcox1998). These formulations remain incomplete from the perspective of kinetic theory, as they still depend on externally specified parameters. Therefore, a fully self-consistent kinetic theoretic description for inhomogeneous statistical turbulence would be an ultimate goal.
3. Connection with traditional eddy-viscosity models
3.1. Chapman–Enskog analysis
As mentioned in the Introduction, almost all traditional turbulence closures, including the eddy-viscosity and gradient diffusion models, aim to approximate the Reynolds stress
$\boldsymbol{\sigma }$
and the TKE flux
$\boldsymbol{Q}$
by the mean variables
$\boldsymbol{U}$
and
$K$
in the RANS equations. This hydrodynamic description can be derived by looking for a normal solution to the kinetic (2.4) with the BGK collision term (2.10) by means of the CE expansion technique (Chapman & Cowling 1990). It should be noted that the CE expansion is primarily used to make the relationship with traditional closure models transparent. We first use a reference velocity
$U_{\textit{ref}}$
, reference collision time
$\tau _{\textit{ref}}$
and reference length
$L_{\textit{ref}}$
to non-dimensionalise the kinetic (2.4)
\begin{equation} \frac {\partial \hat F}{\partial \hat t} + \hat {\boldsymbol{\xi }} \boldsymbol{\cdot }\frac {\partial \hat F}{\partial \hat {\boldsymbol{x}}}+ \left (- \frac {\partial \hat {\bar {p}}}{\partial \hat {\boldsymbol{x}}} + \frac {1}{\textit{Re}} \hat {\nabla} ^2\hat {\boldsymbol{U}}\right ) \boldsymbol{\cdot }\frac {\partial \hat F}{\partial \hat {\boldsymbol{\xi }}} =\frac {1}{\mathscr{K}} \frac {\hat F^{eq}-\hat F}{\hat \tau }, \end{equation}
where
$\textit{Re}=U_{\textit{ref}}L_{\textit{ref}}/\nu _0$
is the Reynolds number (Re), and
$\mathscr{K}=U_{\textit{ref}} \tau _{\textit{ref}}/L_{\textit{ref}}$
can be interpreted as a turbulence-based Knudsen number that quantifies the ratio of unresolved to resolved flow scales (Luan et al. Reference Luan, Zhang and Zhang2025). Notably, it vanishes when returning to the dimensional form. For simplicity, the caret indicating non-dimensional quantities will be omitted hereafter. If
$\mathscr{K}$
is regarded as a small parameter, the VDF deviations from equilibrium can be expanded in powers of
$\mathscr{K}$
as
where
$F^{(0)} = F^{eq}$
. Correspondingly, the temporal and spatial derivatives are also expanded formally as
and the force and strain rate are similarly expanded as
\begin{equation} \begin{aligned} \bar {\boldsymbol{a}} &= \mathscr{K}\,\bar {\boldsymbol{a}} ^{(1)}+\mathscr{K}^{\,2}\bar {\boldsymbol{a}} ^{(2)}, \quad \bar {\boldsymbol{a}}^{(1)}=-\boldsymbol{\nabla} _1 \bar {p}, \quad \bar {\boldsymbol{a}} ^{(2)}=\nu _0{\nabla} _1^2\boldsymbol{U},\\ \boldsymbol{S}&=\mathscr{K}\,\boldsymbol{S}^{(1)}, \quad \boldsymbol{S}^{(1)} = \frac {1}{2}\big(\boldsymbol{\nabla} _1 \boldsymbol{U}+\left (\boldsymbol{\nabla} _1 \boldsymbol{U}\right )^T\big ). \end{aligned} \end{equation}
Taking the velocity moments of the expanded VDF (3.2), the expressions of
$K$
,
$\boldsymbol{\sigma }$
and
$\boldsymbol{Q}$
can be written as
The detailed expansions and formulas at each order are provided in Appendix A. In particular, the zeroth-order approximation of TKE, Reynolds stress and TKE flux can be determined by taking moments of
$F^{eq}$
where
$\boldsymbol{I}$
is the unit tensor. Note that
$\boldsymbol{\sigma }^{(0)}$
involves
$K^{eq}$
rather than
$K$
, so it does not represent the isotropic portion of the Reynolds stress.
The first-order approximation can be obtained as
Truncating to first order recovers the linear eddy-viscosity model for the Reynolds stress and gradient diffusion model for TKE flux
with
$K\approx K^{(0)} + \mathscr{K}\, K^{(1)}$
, and the turbulent viscosity
$\nu _T$
and turbulent Prandtl number
$\text{Pr}_{T}$
are given by
The next-order contributions to
$\boldsymbol{\sigma }$
and
$\boldsymbol{Q}$
are obtained as
\begin{align} \begin{aligned} \boldsymbol{\sigma }^{(2)} =&-\frac {2 K^{(2)}}{3} \boldsymbol{I} - \frac {4\tau }{3K^{eq}}\left (\partial _{t_1}+\boldsymbol{U}\boldsymbol{\cdot }\boldsymbol{\nabla} _1\right ) \big [\tau (K^{eq})^2\boldsymbol{S}^{(1)} \big ] \\&-\frac {8 \tau ^2\! K^{eq}}{3} \left [\boldsymbol{S}^{(1)}\boldsymbol{\cdot }\boldsymbol{S}^{(1)} - \frac {1}{3}(\boldsymbol{S}^{(1)}: \boldsymbol{S}^{(1)} )\boldsymbol{I}\right ] +\frac {4\tau^2\! K^{eq}}{3}\big (\boldsymbol{S}^{(1)} \boldsymbol{\cdot }\boldsymbol{\varOmega }^{(1)} - \boldsymbol{\varOmega }^{(1)} \boldsymbol{\cdot }\boldsymbol{S}^{(1)} \big ) \\&-\frac {4\tau }{9}\left [\boldsymbol{\nabla} _1 \left (\tau\! K^{eq}\boldsymbol{\nabla} _1 K^{eq}\right )+\left ( \boldsymbol{\nabla} _1 \left (\tau\! K^{eq}\boldsymbol{\nabla} _1 K^{eq}\right )\right )^T-\frac {2}{3}\boldsymbol{\nabla} _1 \boldsymbol{\cdot }\left (\tau\! K^{eq}\boldsymbol{\nabla} _1 K^{eq}\right ) \boldsymbol{I}\right ]\! , \\ \boldsymbol{Q}^{(2)} =&\frac {10\tau }{9K^{eq}}\left (\partial _{t_1}+\boldsymbol{U}\boldsymbol{\cdot }\boldsymbol{\nabla} _1\right ) \big [\tau (K^{eq})^2 \boldsymbol{\nabla} _1 K^{eq} \big ] +\frac {10\tau ^2\! K^{eq}}{9} (\boldsymbol{\nabla} _1 K^{eq})\boldsymbol{\cdot }\left (\boldsymbol{\nabla} _1 \boldsymbol{U} \right )^T \\&- \frac {5\tau\! K^{eq}}{3} \boldsymbol{\nabla} _1 \boldsymbol{\cdot }\left (\frac {4\tau\! K^{eq}}{3} \boldsymbol{S}^{(1)}\right ) + \frac {5\tau\! K^{eq}}{3} \boldsymbol{a}^{(1)}, \end{aligned} \end{align}
where
$\boldsymbol{\varOmega }=({1}/{2}) [\boldsymbol{\nabla }\!\boldsymbol{U} - ( \boldsymbol{\nabla }\!\boldsymbol{U} )^T ]$
is the vorticity tensor of the mean velocity field. The second-order expansion, as shown in (3.10), provides a more accurate representation of the Reynolds stress and TKE flux. These higher-order effects, consistent with classical turbulence theory, are crucial for capturing complex turbulent behaviours such as secondary flow structures and flows subject to sudden distortions (Chen et al. Reference Chen, Orszag, Staroselsky and Succi2004). The second-order TKE flux term is analogous to the Burnett heat flux in rarefied flow that can describe non-Fourier heat transfer phenomena (counter-gradient heat flux) (Venugopal, Praturi & Girimaji Reference Venugopal, Praturi and Girimaji2019). It could also be potentially responsible for some of the observed counter-gradient diffusion phenomena of TKE in buoyant flows (Grötzbach Reference Grötzbach1982; Moeng & Wyngaard Reference Moeng and Wyngaard1989; Chandra & Grötzbach Reference Chandra and Grötzbach2007).
Truncating to second order, the TKE is expressed as
Based on the assumption that
$\partial _t\approx \mathscr{K}\,\partial _{t1}$
, the Reynolds stress and the TKE flux can be approximated as
\begin{align} \begin{aligned} \boldsymbol{\sigma }\approx &\boldsymbol{\sigma }^{(0)}+ \mathscr{K}\boldsymbol{\sigma }^{(1)}+ \mathscr{K}^{\,2}\boldsymbol{\sigma }^{(2)} \\=&-\frac {2K}{3}\boldsymbol{I} + 2\nu _T\boldsymbol{S}- \frac {\tau }{K^{eq}}\frac {D}{\textit{Dt}} \left [2\nu _T K^{eq} \boldsymbol{S} \right ] -\frac {6\nu _T^2}{K^{eq}}\left [\boldsymbol{S}\boldsymbol{\cdot }\boldsymbol{S} - \frac {1}{3}(\boldsymbol{S}: \boldsymbol{S} )\boldsymbol{I}\right ] +\frac {3\nu _T^2}{K^{eq}}\left (\boldsymbol{S} \boldsymbol{\cdot }\boldsymbol{\varOmega } - \boldsymbol{\varOmega } \boldsymbol{\cdot }\boldsymbol{S} \right ) \\&-\frac {2\nu _T}{3 K^{eq}}\left [\boldsymbol{\nabla }\left (\tau\! K^{eq}\boldsymbol{\nabla }\!K^{eq}\right )+\left ( \boldsymbol{\nabla }\left (\tau\! K^{eq}\boldsymbol{\nabla }\!K^{eq}\right )\right )^T -\frac {2}{3}\boldsymbol{\nabla }\boldsymbol{\cdot }\left (\tau\! K^{eq}\boldsymbol{\nabla }\!K^{eq}\right ) \boldsymbol{I}\right ]\! , \\ \boldsymbol{Q} \approx &\boldsymbol{Q}^{(0)}+\mathscr{K}\boldsymbol{Q}^{(1)}+\mathscr{K}^{\,2}\boldsymbol{Q}^{(2)} \\=&- \frac {\nu _T}{\text{Pr}_{T}} \boldsymbol{\nabla }\!K +\frac {\tau }{K^{eq}} \frac {D}{\textit{Dt}}\left [\frac {\nu _T}{\text{Pr}_{T}} K^{eq}\boldsymbol{\nabla }\!K\right ]+\frac {5 \nu _T^2}{2K^{eq}} \left (\boldsymbol{\nabla }\!K^{eq}\right )\boldsymbol{\cdot }\left (\boldsymbol{\nabla }\!\boldsymbol{U} \right )^T-\frac {5\nu _T}{2} \boldsymbol{\nabla }\boldsymbol{\cdot }\left (2\nu _T \boldsymbol{S}\right )- \frac {5\nu _T}{2} \boldsymbol{\nabla }\!\bar {p}, \end{aligned} \end{align}
where
$D/\textit{Dt} \equiv \partial _{t}+\boldsymbol{U}\boldsymbol{\cdot }\boldsymbol{\nabla}$
is the material derivative along the mean velocity field. The linear eddy-viscosity model (3.8) is in close agreement with the results obtained from traditional kinetic equations for turbulent flow (such as the Boltzmann–BGK model that does not involve TKE dissipation (Chen et al. Reference Chen, Orszag, Staroselsky and Succi2004) and the Fokker–Planck equation (Heinz Reference Heinz2007; Luan et al. Reference Luan, Zhang and Zhang2025)). In contrast, the nonlinear results (3.12) derived from the present model yield different material derivative of
$\boldsymbol{S}$
and higher-order derivative terms of TKE. Additionally, we have derived both the gradient diffusion model and its nonlinear counterpart, which are rarely modelled in conventional turbulence models.
The material derivative in (3.12) is both interesting and revealing. Considering only the linear closures with respect to
$\boldsymbol{S}$
and
$\boldsymbol{\nabla }\!K$
in (3.12), we have
where
$\boldsymbol{\phi } = \boldsymbol{\sigma }$
or
$\boldsymbol{\phi } = \boldsymbol{Q}$
, whose linear parts
$\boldsymbol{\phi }^{\textit{lin}}$
are
$2\nu _T \boldsymbol{S}$
and
$- ({\nu _T}/{\text{Pr}_{T}})\boldsymbol{\nabla }\!K$
, respectively. First, we find that the effect of a finite-relaxation time
$\tau$
implies that the stress and TKE flux are not simply determined by the immediate local
$\boldsymbol{\phi }^{\textit{lin}}$
, but rather emerge from the history of
$\boldsymbol{\phi }^{\textit{lin}}$
at an earlier moment and at a location further upstream in the flow, that is
\begin{equation} \boldsymbol{\phi } \approx \left (1-\frac {\tau }{K^{eq}}\frac {\textit{DK}^{eq}}{\textit{Dt}}\right ) \boldsymbol{\phi }^{\textit{lin}}\!\left (\boldsymbol{x}-\boldsymbol{U}\tau ^*,t-\tau ^*\right )\!, \quad \tau ^* =\frac {\tau }{1-\dfrac {\tau }{K^{eq}}\dfrac {\textit{DK}^{eq}}{\textit{Dt}}}. \end{equation}
This memory effect could be responsible for the turbulent phenomena seen in rapid distortion processes (Yakhot et al. Reference Yakhot, Orszag, Thangam, Gatski and Speziale1992; Hamlington & Dahm Reference Hamlington and Dahm2008). Furthermore, the correction coefficient incorporates the local departure from the production–dissipation balance through the material derivative
$DK^{eq}/\textit{Dt}$
. This non-equilibrium adjustment could address the well-documented overprediction of
$K$
and
$\epsilon$
by classical linear closures in scenarios involving sustained energy injection, such as homogeneous shear turbulence (Yoshizawa & Nisizima Reference Yoshizawa and Nisizima1993). Moreover, the ‘renormalised’ relaxation time
$\tau ^*$
can also correct the unrealistically fast anisotropy decay predicted by
$\tau =C_\tau\! K/\epsilon$
with
$C_\tau$
being a constant in homogeneous turbulence (Lundgren Reference Lundgren1969). Naturally, for flows characterised by slow spatial and temporal variations, these effects can be neglected, recovering the conventional eddy-viscosity model.
3.2. Comparison of the transport coefficients
In this subsection, we conduct a comparison of the transport coefficients derived from the kinetic model under various relaxation-time formulations with those obtained from the conventional
$K-\epsilon$
models and quadratic nonlinear eddy-viscosity models documented in the literature. For the
$K-\epsilon$
model, the Reynolds stress and TKE flux are given by
with
For the present choice of
$\tau =K/(7\epsilon )$
, we find
On the other hand, the choice of
$\tau = 6K/(7\epsilon )$
(Chen et al. Reference Chen, Staroselsky, Sreenivasan and Yakhot2024) gives
For comparison, we list the corresponding values from the two most representative
$K-\epsilon$
models: the standard
$K-\epsilon$
model (Launder & Spalding Reference Launder and Spalding1983) gives
and the renormalisation group model (Yakhot et al. Reference Yakhot, Orszag, Thangam, Gatski and Speziale1992) gives
It can be found that, although the values of
$C_{\!\mu}$
given by both choices of the relaxation time are close to the classical
$K-\epsilon$
model, the corresponding Prandtl numbers from the two choices exhibit significant differences. In particular, the choice of
$\tau = K/(7\epsilon )$
produces a turbulent Prandtl number of
$0.7$
, which is quantitatively consistent with the well-established
$K-\epsilon$
model parameters. In contrast, the case of
$\tau = 6K/(7\epsilon )$
yields a Prandtl number of
$4.2$
, which significantly exceeds the conventionally adopted range of
$0.7{\sim} 0.9$
in turbulence modelling (Kays Reference Kays1994; Basu & Holtslag Reference Basu and Holtslag2021). It is also noted that numerous studies choose
$\text{Pr}_{T}=1.0$
for simplicity, relying on the so-called Reynolds-analogy assumption (Tennekes & Lumley Reference Tennekes and Lumley1972; Sutton Reference Sutton2020).
Comparison of the transport coefficients with typical quadratic nonlinear eddy-viscosity models.

Furthermore, a quantitative comparison is conducted between the Reynolds stress derived from the second-order CE expansion and the higher-order transport coefficients of some traditional quadratic nonlinear eddy-viscosity models. When the nonlinear model is truncated to quadratic terms,
$\boldsymbol{\sigma }$
can be expressed as
\begin{align} \begin{aligned} \boldsymbol{\sigma }=&-\frac {2K}{3}\boldsymbol{I} + 2 C_{\!\mu} \frac {K^2}{\epsilon } \boldsymbol{S}-C_1 \frac {K^3}{\epsilon ^2 }\left [\boldsymbol{S}\boldsymbol{\cdot }\boldsymbol{S} - \frac {1}{3}(\boldsymbol{S}: \boldsymbol{S} )\boldsymbol{I}\right ]-C_2 \frac {K^3}{\epsilon ^2 }\left (\boldsymbol{\varOmega } \boldsymbol{\cdot }\boldsymbol{S} -\boldsymbol{S} \boldsymbol{\cdot }\boldsymbol{\varOmega }\right ) \\&- C_3 \frac {K^3}{\epsilon ^2 }\left [\boldsymbol{\varOmega }\boldsymbol{\cdot }\boldsymbol{\varOmega } - \frac {1}{3}(\boldsymbol{\varOmega }: \boldsymbol{\varOmega } )\boldsymbol{I}\right ]\!, \end{aligned} \end{align}
where
$C_1$
,
$C_2$
and
$C_3$
are three empirical coefficients in traditional nonlinear models. Table 1 lists the values for these coefficients in several typical quadratic nonlinear eddy-viscosity models. The nonlinear terms derived directly from the second-order CE expansion exhibit quantitative agreement with those employed in nonlinear turbulence models. The present model incorporates additional terms that simultaneously account for both the material derivative of the strain tensor and higher-order TKE gradients, which are also considered in nonlinear turbulence models. It can be seen that the choice of
$\tau = 6K/(7\epsilon )$
(Chen et al. Reference Chen, Staroselsky, Sreenivasan and Yakhot2023, Reference Chen, Staroselsky, Sreenivasan and Yakhot2024) gives higher-order transport coefficients that are larger than those of other nonlinear models, including the coefficients of the additional terms. In summary, the present kinetic model with
$\tau = K/(7\epsilon )$
yields transport coefficients that are quantitatively close to those of established
$K-\epsilon$
models and quadratic nonlinear eddy-viscosity models, which have been obtained empirically or semi-empirically.
4. Extension to wall-bounded turbulence
The kinetic turbulence model developed above is valid only for fully turbulent flows, which we refer to as the ‘high-Reynolds-number kinetic (HR-BGK) model’. However, in the near-wall region for wall-bounded flows, the turbulence is strongly damped and the effects of molecular viscosity become paramount (Hanjalić & Launder Reference Hanjalić and Launder1976). Furthermore, the turbulent motion is restricted and the relaxation time
$\tau$
and the turbulent Reynolds number
$\textit{Re}_T = K^{2}/(\epsilon \nu _0)$
tend to zero. To address this challenge, a natural approach is to employ wall function methods from conventional turbulence modelling, which apply the HR-BGK model outside the viscous sublayer using empirical near-wall correlations. Alternatively, to enable resolution of flows within the viscous sublayer, we develop a low-Reynolds-number kinetic (LR-BGK) model that incorporates damping functions and an additional viscous diffusion term. In the following subsections, we present the LR-BGK model, and the wall boundary conditions including the no-slip condition for the LR-BGK model and the wall function condition for the HR-BGK model.
4.1. Low-Reynolds-number kinetic model
In the near-wall region where the relaxation time
$\tau$
is sufficiently small, the kinetic model asymptotically reduces to the linear eddy viscosity (3.8) and the gradient diffusion models (3.9). Most contemporary low-Reynolds-number
$K-\epsilon$
models retain the transport-equation structure first introduced by Jones & Launder (Reference Jones and Launder1972); they differ mainly in the addition of (i) van Driest damping function
$f_{\!\mu}$
, which is small within the near-wall region, and tends to unity in bulk region, and (ii) explicit molecular diffusion term
$\nu _0 {\nabla} ^2K$
of which are essential to represent the strong viscous diffusion of TKE that dominates within the viscous near-wall region.
First, to incorporate the van Driest damping function
$f_{\!\mu}$
explicitly into the turbulent viscosity formulation, the relaxation time
$\tau$
is redefined as
where
$f_\tau$
is a damping function corresponding to
$f_{\!\mu}$
. Note that, here, the physical constraint
$0 \leqslant f_\tau \leqslant 1$
is considered to ensure physically meaningful values. Substituting this into the definition of turbulent viscosity (3.9) yields
A number of damping functions have been proposed. For instance, the expression proposed by Jones & Launder (Reference Jones and Launder1972) depends solely on
$\textit{Re}_T$
. Subsequent refinements by Myong & Kasagi (1990a) and Nagano & Tagawa (Reference Nagano and Tagawa1990) introduce dependencies on the dimensionless wall coordinate (
$y^+$
), thus explicitly incorporating sensitivity to near-wall length scales into the turbulence model.
Secondly, the explicit molecular viscosity diffusion
$\nu _0 {\nabla} ^2K$
is incorporated by introducing an additional source term
$\mathcal{S}$
into the kinetic equation
where
$\mathcal{S}$
satisfies the following moment requirements:
There are many possible ways to design the specific form of the source term. Analogous to the formulation proposed by Lundgren (Reference Lundgren1969) for the dissipation term, we can choose
4.2. Wall boundary conditions
A central challenge in applying kinetic theory to turbulence is the formulation of physically consistent boundary conditions because there is no experimentally or theoretically established expression for the VDF at a solid wall. In analogy with conventional turbulence models, the wall distribution function
$F(\boldsymbol{x}_w)$
is required to satisfy the following moment constraints:
\begin{equation} \begin{aligned} &\int \boldsymbol{\xi } F(\boldsymbol{x}_w) {\rm d} \boldsymbol{\xi } = \boldsymbol{U}_w,\\ \frac {1}{2}&\int \left ( \boldsymbol{\xi } -\boldsymbol{U}(\boldsymbol{x}_w)\right )^2F(\boldsymbol{x}_w) {\rm d} \boldsymbol{\xi } = K_w,\\ \end{aligned} \end{equation}
where
$\boldsymbol{x}_w$
denotes a point on the wall interface. The prescribed wall velocity
$\boldsymbol{U}_w$
and TKE
$K_w$
are assigned according to the turbulence model: for the LR-BGK model, they reduce to strict no-slip velocity and zero TKE, whereas for the HR-BGK model, they are supplied by empirical wall functions (Launder & Spalding Reference Launder and Spalding1983), namely the logarithmic law for velocity and the corresponding estimation of TKE.
However, different choices of
$F$
can satisfy the integral constraints in (4.6), so that
$F(\boldsymbol{x}_w)$
itself is not unique. A similar situation is encountered in rarefied gas from the kinetic theory, where the establishment of accurate solutions has led to a dedicated research field focused on modelling gas–surface interactions for boundary conditions (Cercignani & Lampis Reference Cercignani and Lampis1971; Cercignani Reference Cercignani1972; Lord Reference Lord1991; Aoki, Giovangigli & Kosuge Reference Aoki, Giovangigli and Kosuge2022; Kosuge et al. Reference Kosuge, Aoki, Giovangigli and Golse2025). An equally specialised effort will likely be required to develop reliable wall boundary conditions in kinetic representation of the average turbulence dynamics. Here, by leveraging boundary conditions from kinetic theory, we generalise two well-known boundary conditions of rarefied gas, namely the fully diffuse Maxwell boundary condition (Maxwell Reference Maxwell1879) and the non-equilibrium extrapolation boundary condition (Guo, Zheng & Shi Reference Guo, Zheng and Shi2002), to turbulent flows.
The fully diffuse Maxwell boundary condition (Maxwell Reference Maxwell1879) is employed in the LR-BGK model to enforce the no-slip velocity and the zero TKE at the wall. Importantly, this boundary condition produces a velocity slip and a TKE jump that both diminish linearly as
$\tau$
decreases. In the near-wall region,
$\tau$
is sufficiently small, so the induced slip and TKE jump are negligible, and the classical no-slip and zero-TKE limits are effectively recovered. In this boundary condition, it is assumed that particles leaving the surface follow an equilibrium VDF with the wall velocity and TKE
where
$\boldsymbol{n}_w$
is the unit vector normal to the wall pointing to the cell, and
$\alpha _w$
is the coefficient at the wall determined by the condition of zero mass flux
which gives
\begin{equation} \alpha _w = -\frac {\int _{\boldsymbol{\xi }\boldsymbol{\cdot }\boldsymbol{n}_w\leq 0} \left (\boldsymbol{\xi }\boldsymbol{\cdot }\boldsymbol{n}_w\right )F(\boldsymbol{x}_w, \boldsymbol{\xi }) {\rm d}\boldsymbol{\xi } }{\int _{\boldsymbol{\xi }\boldsymbol{\cdot }\boldsymbol{n}_w\gt 0}\left (\boldsymbol{\xi }\boldsymbol{\cdot }\boldsymbol{n}_w\right )F^{eq}\left (\boldsymbol{\xi };\boldsymbol{U}_w,K_w\right ) {\rm d}\boldsymbol{\xi }}. \end{equation}
In practice,
$K_w$
is set to a very small positive value rather than exactly zero for numerical stability.
On the other hand, for the HR-BGK model that is applicable outside the viscous sublayer, the non-equilibrium extrapolation boundary condition (Guo et al. Reference Guo, Zheng and Shi2002) in conjunction with an empirical wall function (Launder & Spalding Reference Launder and Spalding1983) is adopted. In the near-wall region, the mean velocity follows the classical logarithmic law, and the wall function is applied only inside the log layer (
$15 \lesssim y^{+} \lesssim 200$
), bypassing the viscous sublayer
where
$U_\sigma = \sqrt {\sigma _w}$
is the friction velocity obtained from the wall shear stress
$\sigma _w$
with unity density,
$\kappa \approx 0.41$
is the von Kármán constant and
$B$
is an empirical constant;
$y$
denotes the wall-normal distance measured from the wall into the fluid and
$y^+=U_{\sigma }y/\nu _0$
is its dimensionless form. In addition, the corresponding wall value of the TKE is specified by the usual log-layer estimate,
$K_w = U^2_\sigma /\sqrt {C_{\!\mu} }$
.
The VDF reflected from the wall located at the interface
$\boldsymbol{x}_w$
is then reconstructed by the non-equilibrium extrapolation boundary condition (Guo et al. Reference Guo, Zheng and Shi2002)
where
$\boldsymbol{x}_{nc}$
is the neighbouring cell of
$\boldsymbol{x}_w$
. The equilibrium term enforces the prescribed wall function moments, while the second term extrapolates the non-equilibrium part of the VDF, ensuring compatibility with the interior solution.
5. Study of turbulent plane Couette flow
The turbulent plane Couette flow provides an ideal benchmark (Henry & Reynolds Reference Henry and Reynolds1984; Nisizima & Yoshizawa Reference Nisizima and Yoshizawa1987; Schneider Reference Schneider1989; Andersson & Pettersson Reference Andersson and Pettersson1994) to test whether the present kinetic model can accurately capture wall-bounded shear turbulence. The LR-BGK and HR-BGK models, coupled with the diffuse and non-equilibrium extrapolation boundary conditions, respectively, are employed to simulate this flow at different Reynolds numbers. The central issue in wall-bounded shear turbulence is the prediction of mean velocity profiles and the derivation of friction laws. In this study, we consider the configuration of steady turbulent Couette flow between two infinite parallel plates located at
$y=\pm h$
. The two plates move in opposite directions with constant velocities
$\pm U_w$
in the
$x$
-direction, respectively. The corresponding Reynolds number is defined as
$\textit{Re}=U_w h/\nu _0$
.
5.1. Numerical method and parameter set-up
As mentioned in § 2.2, the dissipation rate
$\epsilon$
is an input parameter to determine the relaxation time
$\tau$
in the present kinetic model. For the HR-BGK model, we adopt the widely used transport equation for the dissipation rate proposed by Launder & Spalding (Reference Launder and Spalding1983) to calculate
$\epsilon$
where
$\nu _T= 0.09 K^2/\epsilon$
,
$C_\epsilon = 1.3$
,
$C_{\epsilon 1} = 1.44$
and
$C_{\epsilon 2} = 1.92$
. It is worth highlighting that both the TKE
$K$
and the stress tensor
$\boldsymbol{\sigma }$
are obtained directly from the solution of kinetic equation; therefore, (5.1) retains higher-order non-equilibrium information that is absent from the linear eddy-viscosity model. The wall boundary condition for Couette flow is implemented using a wall function approach. In this approach, the wall dissipation rate
$\epsilon _w$
is prescribed based on the standard logarithmic layer estimate as
$\epsilon _w = U_\sigma ^3/(\kappa y_1)$
, where
$y_1$
is the wall-normal distance from the wall to the centre of the first grid cell adjacent to the wall.
Conversely, for the LR-BGK model, we employ an alternative
$\epsilon$
-transport equation developed by Nagano & Tagawa (Reference Nagano and Tagawa1990), where the turbulent viscosity and model coefficients are modified as
$\nu _T= 0.09 f_{\!\mu} K^2/\epsilon$
,
$C_{\epsilon 1} = 1.45$
and
$C_{\epsilon 2} = 1.92f_{\epsilon 2}$
. The damping functions
$f_{\!\mu}$
and
$f_{\epsilon 2}$
are utilised to account for near-wall damping, with their specific forms defined therein. The corresponding wall boundary condition is
\begin{equation} \epsilon _w = \nu _0 \left (\frac {\partial \sqrt {K}}{\partial y}\right )^2\!. \end{equation}
Since the turbulent Couette flow is a quasi-one-dimensional problem, the computational cost can be reduced by introducing the following reduced distribution functions:
These reduced VDFs carry distinct essential physics in the context of turbulent transport. Here,
$\varPhi _1$
represents the local mass density distribution in velocity space, directly related to the continuity equation and mass conservation,
$\varPhi _2$
corresponds to the streamwise momentum distribution, governing the transport of momentum in the flow direction and thus controlling the Reynolds shear-stress generation and
$\varPhi _3$
characterises the streamwise TKE distribution, which is crucial for understanding the anisotropic energy transport and the development of velocity fluctuations (or Reynolds normal stress components). Finally,
$\varPhi _4$
represents the vertical kinetic energy distribution, capturing the cross-flow energy transport mechanisms. Together, these reduced VDFs encapsulate the essential physics of momentum and energy transport in wall-bounded turbulent flows while significantly reducing the computational complexity compared with the full three-dimensional kinetic equation.
The kinetic equations for the four reduced VDFs
$\varPhi _k$
are solved using a discretised velocity method; further details can be found in Appendix B. To ensure accurate approximation of macroscopic moments in velocity space across various Re, computational parameters, including the spatial mesh size and the discretisation of velocity space, must be carefully selected through convergence studies until solution variations become negligible.
In our simulations, the computational domain is set to be
$[-h,h]$
. For the HR-BGK model, the computational domain is uniformly discretised, with the cell size determined according to different Re. The selection criterion ensures that the first cell centre point is located inside the logarithmic layer. For the LR-BGK model, non-uniform meshes are adopted to improve the prediction by using a locally refined mesh near the boundary. The mesh points are given by
$y_{\!j}/(2h)= (\zeta _{\!j}+\zeta _{j+1} )/2$
for
$0\leqslant j\leqslant N_y-1$
, where
$\zeta _{\!j}$
is defined by
with
$a$
being a dimensionless stretching parameter controlling the characteristics of the mesh distribution, and
$N_y$
is the number of mesh cells. In the present study,
$a$
is taken as
$2.5$
. We utilise
$N_y=401$
cells for the LR-BGK model, ensuring that the centre of the first off-wall cell lies within the viscous sublayer for all cases considered. The velocity space truncated at
$[-5\sqrt {U_w},5\sqrt {U_w}]$
is discretised by the trapezoidal rule (Wu, Reese & Zhang Reference Wu, Reese and Zhang2014) with 4000 non-uniform velocity grid points. Furthermore, the time step is set to
$0.05\times 5\sqrt {U_w}/(\Delta y_{\textit{min}})$
with
$ \Delta y_{\textit{min}}$
being the minimum cell size, which satisfies the Courant–Friedrichs–Lewy condition. The steady-state solution is considered to be achieved when the maximum relative change in the velocity field between two consecutive iterations falls below
$10^{-10}$
.
Mean velocity profiles scaled in (a) outer and (b) wall units of the turbulent Couette flow at
$\textit{Re} = 1300$
.

5.2. Comparison with experiments and direct numerical simulations
The present kinetic model is validated by comparing the predictions against benchmark data from experiments and DNS solutions. The comparison focuses on key flow parameters including mean velocity profiles, dimensionless velocity distributions, skin friction coefficients and Reynolds stress components.
The mean velocity profiles predicted by the LR-BGK and HR-BGK models are compared with the experimental (Bech et al. Reference Bech, Tillmark, Alfredsson and Andersson1995; Robertson Reference Robertson1959b
) and DNS (Bech et al. Reference Bech, Tillmark, Alfredsson and Andersson1995; Pirozzoli, Bernardini & Orlandi Reference Pirozzoli, Bernardini and Orlandi2014) data at
$\textit{Re} = 1300$
and
$10\,133$
, as shown in figures 1 and 2. The results are presented in both outer units (scaled by
$U_w$
and
$h$
) and wall units (scaled by
$U_\sigma$
and
$y^+$
) to examine the performance of the models across different flow regions. In the case of
$\textit{Re} = 1300$
, figure 1(
a) demonstrates that both models accurately capture the overall velocity distribution in outer coordinates, closely matching the experimental and DNS data of Bech et al. (Reference Bech, Tillmark, Alfredsson and Andersson1995). Specifically, in figure 1(
b), the HR-BGK model shows excellent agreement throughout the entire flow domain, while the LR-BGK model exhibits slightly larger deviations in the logarithmic layer. This is because HR-BGK targets the outer region (bypassing the viscous sublayer), whereas LR-BGK model includes stronger near-wall corrections that can slightly influence the log-layer profile. At a higher Reynolds number (
$\textit{Re} = 10\,133$
), figure 2 shows that both the HR-BGK and LR-BGK models maintain their predictive accuracy, in good agreement with the experimental data of Robertson (Reference Robertson1959b
) and DNS data of Pirozzoli et al. (Reference Pirozzoli, Bernardini and Orlandi2014), although both models exhibit slightly larger deviations in the near-wall region. The logarithmic-law profile (4.10) is well captured by both models with
$\kappa = 0.41$
, using
$B = 6.5$
and
$7.0$
for
$\textit{Re} = 1300$
and
$10\,133$
, respectively.
Mean velocity profiles scaled in (a) outer and (b) wall units of turbulent Couette flow at
$\textit{Re} = 10\,133$
.

Variation of skin friction coefficient with Reynolds number.

Figure 3 presents the variation of the skin friction coefficient
$C_{\!f}$
with Reynolds number, together with the comparisons with extensive experimental (Reichardt Reference Reichardt1956; El Telbany & Reynolds Reference El Telbany and Reynolds1980; Kitoh, Nakabyashi & Nishimura Reference Kitoh, Nakabyashi and Nishimura2005; Robertson Reference Robertson1959a
) and DNS (Bech et al. Reference Bech, Tillmark, Alfredsson and Andersson1995; Tsukahara, Kawamura & Shingai Reference Tsukahara, Kawamura and Shingai2006; Pirozzoli et al. Reference Pirozzoli, Bernardini and Orlandi2014) databases. The friction coefficient is defined as
where
$\sigma _w$
is the wall shear stress obtained directly from the VDFs. Both models demonstrate excellent agreement with the experimental data for
$\textit{Re}$
between
$10^3$
and
$10^4$
. The LR-BGK model shows minor deviations in the lower
$\textit{Re}$
range, with deviations typically less than
$5\,\%$
from the data of Bech et al. (Reference Bech, Tillmark, Alfredsson and Andersson1995), Kitoh et al. (Reference Kitoh, Nakabyashi and Nishimura2005), Tsukahara et al. (Reference Tsukahara, Kawamura and Shingai2006). The HR-BGK model maintains consistent accuracy across the entire
$\textit{Re}$
range, showing good agreement with both experimental and DNS data.
Figure 4 compares the dimensionless Reynolds shear stress
$ -\langle u'_x u'_y \rangle /\sigma _w$
predicted by both kinetic models with DNS data (Bech et al. Reference Bech, Tillmark, Alfredsson and Andersson1995; Pirozzoli et al. Reference Pirozzoli, Bernardini and Orlandi2014) as
$\textit{Re}$
ranges from 1300 to 10,133. It is noteworthy that the HR-BGK model, due to its coarser grid resolution, exhibits minor numerical oscillations in the near-wall region. Both kinetic models exhibit excellent agreement with the DNS data, accurately capturing both the peak value and its location, particularly in the logarithmic and outer regions (
$y^+ \gtrsim 15$
). However, the LR-BGK model shows some deviations in the transition region (
$1 \lesssim y^+ \lesssim 15$
) due to the inherent complexity of this region where viscous and turbulent effects compete.
Reynolds shear-stress profiles scaled in wall units of turbulent Couette flow at (a)
$\textit{Re} = 1300$
and (b)
$\textit{Re} = 10\,133$
.

Figures 5 and 6 present detailed comparisons of the velocity fluctuation intensities (Reynolds normal stress) in all three spatial directions, providing insight into the anisotropic nature of near-wall turbulence that the linear eddy-viscosity model (3.8) fails to capture (Launder & Sharma Reference Launder and Sharma1974). The velocity fluctuation intensities predicted by the present models show noticeable differences from the DNS data (Bech et al. Reference Bech, Tillmark, Alfredsson and Andersson1995; Pirozzoli et al. Reference Pirozzoli, Bernardini and Orlandi2014), with the discrepancies becoming more pronounced at higher Re. At
$\textit{Re} = 1300$
, the dimensionless streamwise
$\sqrt {\langle (u'_x)^2\rangle }$
and vertical
$\sqrt {\langle (u'_z)^2\rangle }$
components exhibit relatively small deviations from DNS data near the channel centreline, while the differences become increasingly evident as
$\textit{Re}$
increases to
$10\,133$
. The LR-BGK model demonstrates superior performance in capturing the peak locations of the streamwise fluctuations, where the peak occurs around
$y^+ \approx 10$
. Notably, the largest discrepancies relative to DNS occur in the near-wall/buffer region (approximately
$y^+\approx 1\sim 10$
), where the separation among the normal stress components is underpredicted; this highlights a limitation of the present formulation and motivates further improvements. Although the magnitudes of the normal stress components are consistent with DNS, a clear separation among these components is still not reproduced by the present models. Nevertheless, they demonstrate the capability to capture non-Newtonian (nonlinear eddy-viscosity) effects, as mentioned in § 3. This non-equilibrium phenomenon, often reported in rarefied-gas flows at finite Knudsen numbers, exhibits the anisotropic stress behaviour that cannot be captured by the NS equations (Xu, Liu & Jiang Reference Xu, Liu and Jiang2007).
Distribution of the velocity fluctuation intensities (Reynolds normal stress) scaled in wall units of turbulent Couette flow from (a) the LR-BGK model and (b) the HR-BGK model at
$\textit{Re} = 1300$
.

Distribution of the velocity fluctuation intensities (Reynolds normal stress) scaled in wall units of turbulent Couette flow from (a) the LR-BGK model and (b) the HR-BGK model at
$\textit{Re} = 10\,133$
.

The reduced VDFs
$\varPhi _1$
(a,d,g,j,m),
$\varPhi _2$
(b,e,h,k,n) and
$\varPhi _3$
(c, f,i,l,o) from the LR-BGK model at
$\textit{Re} = 10\,133$
as a function of the microscopic velocity
$\xi _y$
at different wall-normal positions.

5.3. Non-equilibrium characteristics and velocity distribution functions
The non-equilibrium and non-Newtonian characteristics predicted by the present kinetic model can be essentially explained from the VDFs. We now examine the reduced VDFs obtained from the LR-BGK model at
$\textit{Re}=10\,133$
, comparing the computed VDFs with their corresponding local equilibrium distributions to quantify the degree of departure from equilibrium. Figure 7 presents the reduced VDFs
$\varPhi _1$
,
$\varPhi _2$
and
$\varPhi _3$
as functions of microscopic velocity
$\xi _y$
in various normal wall positions ranging from the viscous sublayer to the centreline of the channel, compared against the local equilibrium VDFs derived from the local mean velocity and TKE. Here,
$\xi _y$
in the region
$ [-3\xi _m,3\xi _m ]$
with
$\xi _m = \sqrt {4K/3}$
represents the most probable velocity scale based on the local TKE. The fourth VDF
$\varPhi _4$
exhibits behaviour similar to
$\varPhi _1$
by remaining close to equilibrium; it is therefore omitted here for brevity.
The most striking observation is the markedly different behaviours exhibited by the various reduced VDFs. The distribution function
$\varPhi _1$
, which represents the zeroth-order moment in the wall-normal direction, remains remarkably close to its local equilibrium state across all wall-normal positions. This near-equilibrium behaviour indicates that the mass conservation constraint is well satisfied throughout the flow domain, consistent with the incompressibility condition. In sharp contrast,
$\varPhi _2$
and
$\varPhi _3$
exhibit pronounced departures from their respective equilibrium distributions, particularly in the outer region of the flow. Here, the ‘equilibrium’ baseline refers to the local isotropic Gaussian distribution
$F^{eq}$
(and its reduced counterparts
$\varPhi ^{eq}_k$
) constructed from the local mean velocity and TKE. Therefore, the deviations primarily reflect shear-induced anisotropy and wall-normal inhomogeneity in the averaged turbulence dynamics. The VDF
$\varPhi _2$
, associated with the streamwise momentum transport, shows increasing non-equilibrium effects as the distance from the wall increases. Notably, at
$y^+ \approx 419$
and near the channel centreline,
$\varPhi _2$
exhibits a clear departure from the isotropic Gaussian baseline, characterised by an odd-in-
$\xi _y$
(sign-changing) deviation. This feature is directly related to the Reynolds shear stress, since
$\sigma _{xy}=-\langle u_x' u_y'\rangle$
is obtained as the moment of the reduced distribution (in our definition,
$\sigma _{xy}=-\int \xi _y \varPhi _2 d\xi _y+U_x U_y$
for
$U_y\approx 0$
). The observed positive deviation for
$\xi _y\lt 0$
and negative deviation for
$\xi _y\gt 0$
contributes to the negative correlation
$-\langle u_x'u_y'\rangle$
, consistent with the leading-order (first-order CE) closure and also with linear eddy-viscosity modelling. Similarly,
$\varPhi _3$
, which is related to the streamwise kinetic energy transport, demonstrates substantial non-equilibrium characteristics with a comparable spatial evolution pattern. The VDF
$\varPhi _3$
shows progressively stronger departures from equilibrium as the wall-normal distance increases, with the outer region exhibiting the most pronounced non-equilibrium effects. At
$y^+ \approx 419$
and near the channel centreline,
$\varPhi _3$
exhibits a clear asymmetry/shift relative to the isotropic baseline. This feature indicates a nonzero wall-normal transport of TKE flux, which corresponds to a higher-order velocity moment of the VDF and is captured at leading order by the first-order CE closure.
While the leading-order trends of these effects can be understood qualitatively within the first-order CE closure, we further quantify the degree of departure from equilibrium and assess the contributions beyond the first-order closure by examining the second-order moment of
$F-F^{eq}$
It should be noted that the zeroth- and first-order moments of
$F-F^{eq}$
vanish identically. In the case of plane Couette flow, (3.12) reduces to
\begin{equation} \begin{aligned} \sigma ^{\textit{CE}}_{xy}&=\nu _T\frac {\partial U_x}{\partial y},\\ \sigma ^{\textit{CE}}_{xx}&=-\frac {2}{3}K-\frac {2\nu _T^2}{K^{eq}}\left (\frac {\partial U_x}{\partial y}\right )^2+\frac {2 \nu _T}{3K^{eq}}\frac {\partial }{\partial y} \left (\nu _T\frac {\partial\! K^{eq}}{\partial y}\right )\!,\\ \sigma ^{\textit{CE}}_{yy}&=-\frac {2}{3}K+\frac {\nu _T^2}{K^{eq}}\left (\frac {\partial U_x}{\partial y}\right )^2-\frac {4\nu _T}{3K^{eq}}\frac {\partial }{\partial y} \left (\nu _T\frac {\partial\! K^{eq}}{\partial y}\right )\!,\\ \sigma ^{\textit{CE}}_{zz}&=-\frac {2}{3}K+\frac {\nu _T^2}{K^{eq}}\left (\frac {\partial U_x}{\partial y}\right )^2+\frac {2\nu _T}{3K^{eq}}\frac {\partial }{\partial y} \left (\nu _T\frac {\partial\! K^{eq}}{\partial y}\right )\!. \end{aligned} \end{equation}
where
$\nu _T = 0.0816 f_{\!\mu} K^2/\epsilon$
. These expressions indicate significant differences among the three normal stress components, demonstrating the capability of the present kinetic model to capture anisotropic stress behaviour.
Figure 8 presents the deviatoric part of
$\boldsymbol{\sigma }^{\textit{neq}}$
predicted by LR-BGK model at
$\textit{Re}=10\,133$
, and compares the results with the CE expansion results given by (3.12). It can be seen that the deviatoric Reynolds stress shows good agreement between the LR-BGK model and the CE expansion throughout the flow domain, validating the theoretical consistency of the kinetic approach. The minor discrepancies observed can be attributed to higher-order terms in the CE expansion that are not captured by the second-order analysis. Furthermore, the deviatoric Reynolds normal stress components better reflect the degree of departure from non-equilibrium of the VDFs mentioned above. In the present model calculations, the deviatoric normal stress components remain close to zero in the viscous sublayer. Across the buffer region, they begin to deviate from zero, with
$\sigma ^{d}_{xx}$
increasing to positive values while
$\sigma ^{d}_{yy}$
and
$\sigma ^{d}_{zz}$
decrease to negative values. Their magnitudes continue to grow toward the outer layer, where the non-equilibrium signatures become more evident. This relatively weak near-wall non-equilibrium signature may also reflect a limited capability of the present formulation to represent buffer-layer non-equilibrium effects, which could contribute to the relatively large discrepancies in the normal stress predictions observed in figure 6 in the near-wall region (
$1 \lesssim y^+ \lesssim 10$
) compared with DNS data. A possible cause is that, especially in the near-wall region, the relaxation time
$\tau$
in the present single-relaxation-time BGK closure is chosen for obtaining the desirable shear stress, as a result, the effective turbulent Knudsen number (
$\sim \tau |S|$
) becomes too small, so that all other Reynolds stress components are suppressed. One of the future investigations is how to adjust
$\tau$
to match shear stress without sacrificing the non-equilibrium effects for normal stress components, including generalisation of the single-relaxation-time collision model to involve multiple relaxation times.
Taken together, the VDFs and their associated non-equilibrium moments provide a framework-specific interpretation for the ability of the present kinetic models to represent anisotropic Reynolds stress behaviour and related non-Newtonian effects. Within this interpretation, departures from local equilibrium reflect finite-relaxation effects in the kinetic closure, analogous in spirit to non-equilibrium transport in rarefied-gas kinetics.
Deviatoric Reynolds (a) shear-stress component and (b) normal stress components in wall units of turbulent Couette flow at
$\textit{Re} = 10\,133$
. Here, the deviatoric Reynolds stress is defined as
$\boldsymbol{\sigma }^d=\boldsymbol{\sigma }- {1}/{3} (\text{tr}\boldsymbol{\sigma }) \boldsymbol{I}$
.

6. Conclusions
In this work, we extended and analysed the kinetic theoretic model for turbulence derived from first principles of the incompressible NS equation by Chen et al. (Reference Chen, Staroselsky, Sreenivasan and Yakhot2023) and demonstrated improved applicability and physical consistency. By redefining the relaxation time as
$\tau =K/(7\epsilon )$
, the CE expansion of the kinetic model yielded linear and nonlinear eddy-viscosity and gradient diffusion closures with transport coefficients (
$C_{\!\mu} =0.0816, \textit{Pr}_{T}=0.7$
) that are in quantitative agreement with those of conventional turbulence models. The analysis of our kinetic model reveals that its second-order expansion generates various material derivatives and higher-order derivatives of TKE. To our knowledge, such closed-form CE expressions for the TKE flux and its nonlinear corrections have not previously been reported for this class of turbulent kinetic models. To address wall-bounded turbulence, we developed two approaches within a unified kinetic framework. For applications outside the viscous sublayer, the non-equilibrium extrapolation boundary condition based on wall function approaches was proposed for the HR-BGK model, maintaining accurate logarithmic layer behaviour at lower computational expense. For direct viscous sublayer resolution, we constructed a low-Reynolds-number kinetic model incorporating a damping function and a viscous diffusion term, with the fully diffuse wall condition.
The present kinetic models were comprehensively validated against experimental data and DNS data for turbulent plane Couette flow, demonstrating accurate prediction of mean velocity profiles, skin friction coefficients and Reynolds shear-stress distributions. They can capture essential flow physics including logarithmic-law behaviour and Reynolds stress anisotropy. Although not as pronounced as indicated by DNS, the present kinetic theoretic models are shown to predict the separations between the normal stress components. Nevertheless, accurate prediction of individual normal stress components in canonical wall-bounded flows remains a common challenge. A distinctive advantage of the kinetic approach lies in its robust theoretical foundation, requiring only a single relaxation time, whereas the conventional nonlinear eddy-viscosity models necessitate multiple
$ad \ hoc$
empirical coefficients for closure. These findings suggest that future developments should explore higher-order information about the collision term
$\mathcal{C}(F) \equiv -\boldsymbol{\nabla} _{\boldsymbol{\xi }} \boldsymbol{\cdot }\langle \boldsymbol{a}' f' \rangle$
to achieve more accurate modelling of stress tensor anisotropy. Along this direction, the nonlinear near-wall anisotropy mechanisms highlighted by Craft, Launder & Suga (Reference Craft, Launder and Suga1997) and Wallin & Johansson (Reference Wallin and Johansson2000) may guide extensions such as an ellipsoidal–statistical BGK (anisotropic Gaussian) equilibrium or a dual-relaxation-time formulation with a few extra parameters to regulate anisotropic relaxation.
Analysis of the reduced VDFs revealed significant departures from the local Gaussian equilibrium distribution, particularly for streamwise momentum and energy transport components. The non-equilibrium moments obtained from the kinetic model show excellent quantitative agreement with second-order CE predictions, confirming the theoretical self-consistency of the approach. These non-equilibrium characteristics explain the ability of the kinetic model to capture non-Newtonian effects that linear eddy-viscosity models cannot represent, highlighting the fundamental advantage of the kinetic approach over conventional turbulence modelling strategies.
Although this study focused on simple shear flows, the kinetic framework provides a foundation for modelling more complex turbulent phenomena. Future work should address three-dimensional flows, unsteady effects and extension to compressible turbulence, fully exploiting the theoretical advantages of the kinetic approach. The kinetic theoretic based turbulence model represents a significant step towards describing the fundamental physics of turbulence, involving a wide range of scales without scale separations, it naturally captures higher-order non-equilibrium turbulent flow properties as opposed to needing empirical parameters in traditional models. We wish to emphasise that the present work is to propose a kinetic theory-based turbulence model, in the form of a Boltzmann–BGK differential equation, for better and more naturally capturing certain fundamental underlying physics of the averaged dynamics of turbulence, instead of a kinetic theory-based computational method for numerically solving any turbulence problems.
Acknowledgements
The authors acknowledge the High-Performance Computing (HPC) Platform of Huazhong University of Science and Technology for providing computational resources.
Funding
This work was supported by the National Natural Science Foundation of China (Grant No. 12472290) and the Interdisciplinary Research Program of Huazhong University of Science and Technology (2023JCYJ002). Z.X. acknowledges support from the China Scholarship Council (No. 202406160103).
Declaration of interests
The authors report no conflicts of interest.
Appendix A. Derivations of the Reynolds stress and turbulent kinetic energy flux via Chapman–Enskog expansion
In this appendix, we provide a detailed derivation for the analytical expressions of the Reynolds stress tensor and TKE flux (namely (2.8)) via CE expansion. The task involved in deriving a macroscopic representation of hydrodynamics is to express
$\boldsymbol{\sigma }$
and
$\boldsymbol{Q}$
in terms of the mean variables
$\boldsymbol{U}$
and
$K^{eq}$
, as well as their (spatial and temporal) derivatives. If the system is at equilibrium, it is straightforward to show that
\begin{equation} \begin{aligned} \sigma ^{eq}_{\alpha \beta }&=-\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )F^{eq}{\rm d}\boldsymbol{\xi } = -\frac {2}{3} K^{eq} \delta _{\alpha \beta },\\ Q^{eq}_\alpha &=\frac {1}{2}\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )^2F^{eq}{\rm d}\boldsymbol{\xi } = 0, \end{aligned} \end{equation}
with
where
$\delta _{\alpha \beta }$
is the Kronecker delta function. On the other hand, when there exists a flow involving non-trivial (spatial or temporal) inhomogeneities, there will be additional contributions to the stress tensor due to the non-equilibrium part of the distribution function,
$F^{\textit{neq}}=F-F^{eq}$
. The CE method is a systematic procedure to expand the VDF around its local equilibrium. This is possible if the ratio between the relaxation time
$\tau$
and the representative advection time scale of the left-hand side of (2.4) is small. Hence, we may express the VDF in terms of a power series in
$\mathscr{K}$
where
$F^{(0)} = F^{eq}$
, and the additional (
$n\gt 0$
) terms represent deviations from equilibrium at various orders in
$\mathscr{K}$
. These non-equilibrium corrections do contribute to the fluxes. For instance, the TKE, Reynolds stress and TKE flux from the
$n$
th order are given by
\begin{equation} \begin{aligned} K^{(n)}&=\frac {1}{2}\int \left (\xi _\alpha - U_\alpha \right )^2F^{(n)}{\rm d}\boldsymbol{\xi },\\ \sigma ^{(n)}_{\alpha \beta }&=-\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )F^{(n)}{\rm d}\boldsymbol{\xi },\\ Q_{\alpha }^{(n)}&=\frac {1}{2}\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )^2F^{(n)}{\rm d}\boldsymbol{\xi }. \end{aligned} \end{equation}
The CE expansion also requires expansion in time and space accordingly
and the force and strain rate tensor are similarly expanded as
\begin{equation} \begin{aligned} \bar {a}_\alpha &= \mathscr{K}\, \bar {a}^{(1)}_\alpha + \mathscr{K}^{\,2} \bar {a}^{(2)}_\alpha , \quad \bar {a}^{(1)}_\alpha = - \frac {\partial \bar {p}}{\partial x_{1\alpha }}, \quad \bar {a}^{(2)}_\alpha = \nu _0 {\nabla} _1^2 U_\alpha ,\\ S_{\alpha \beta } &= \mathscr{K}\,S_{\alpha \beta }^{(1)}, \quad S_{\alpha \beta }^{(1)} = \frac {1}{2}\left ( \frac {\partial U_\alpha }{\partial x_{1\beta }}+ \frac {\partial U_{\!\beta} }{\partial x_{1\alpha }}\right )\!. \end{aligned} \end{equation}
Consequently, the kinetic (2.4) is turned into an infinite hierarchy of equations according to the order of
$\mathscr{K}$
\begin{equation} \sum _{k=1}^{n} \partial _{t_k}F^{(n-k)} + \xi _\alpha \frac {\partial F^{(n-1)}}{\partial x_{1\alpha }}+\sum _{k=1}^{n}\bar {a}_\alpha ^{(k)} \frac {\partial F^{(n-k)}}{\partial \xi _\alpha } = -\frac {1}{\tau }F^{(n)}, \quad n=1,2, \ldots , \infty . \end{equation}
In particular, for the first order (
$n=1$
), we have
and for the second order (
$n=2$
)
The fastest time derivative
$\partial _{t_1}$
corresponding to isotropic turbulence is a result of the equilibrium VDF
\begin{equation} \begin{aligned} \frac {\partial U_\alpha }{\partial x_{1\alpha }}&=0,\\ \partial _{t_1} U_\alpha + U_{\!\beta} \frac {\partial U_\alpha }{\partial x_{1\beta }} &=-\frac {\partial \bar {p}}{\partial x_{1\alpha }}-\frac {\partial }{\partial x_{1\beta }}\left ( \frac {2}{3} K^{eq} \delta _{\alpha \beta } \right )\!,\\ \partial _{t_1} K^{eq}+ U_\alpha \frac {\partial\! K^{eq}}{\partial x_{1\alpha }} &= -\frac {K^{(1)}}{\tau }. \end{aligned} \end{equation}
Since the space–time dependence in
$F^{eq}$
is only obtained through
$U_\alpha$
and
$K^{eq}$
, we have
\begin{equation} \begin{aligned} \left (\partial _{t_1} + \xi _\alpha \frac {\partial }{\partial x_{1\alpha }}+\bar {a}^{(1)}_\alpha \frac {\partial }{\partial \xi _\alpha } \right ) F^{eq} = &\frac {\partial F^{eq}}{\partial U_{\!\beta} }\left (\partial _{t_1} + \xi _\alpha \frac {\partial }{\partial x_{1\alpha }} \right ) U_{\!\beta} \\&+\frac {\partial F^{eq}}{\partial\! K^{eq}}\left (\partial _{t_1} + \xi _\alpha \frac {\partial }{\partial x_{1\alpha }}\right ) K^{eq}+\bar {a}_\alpha ^{(1)} \frac {\partial F^{eq}}{\partial \xi _\alpha }. \end{aligned} \end{equation}
Using the equilibrium VDF (2.11), it can be shown directly that
\begin{equation} \begin{aligned} \frac {\partial F^{eq}}{\partial U_{\!\beta} } &= \frac {3\left (\xi _\beta - U_{\!\beta} \right )}{2K^{eq}}F^{eq},\quad \frac {\partial F^{eq}}{\partial\! K^{eq}} = \frac {3}{2K^{eq}}\left ( \frac {\left (\xi _\alpha - U_\alpha \right )^2}{2 K^{eq}} - 1\right )F^{eq},\\ \frac {\partial F^{eq}}{\partial \xi _\alpha } &= -\frac {3\left (\xi _\alpha - U_\alpha \right )}{2K^{eq}}F^{eq}, \end{aligned} \end{equation}
and then combining (A8)–(A12), we obtain
\begin{align} \begin{aligned} F^{(1)}=&-\tau\! \left (\partial _{t_1} + \xi _\alpha \frac {\partial }{\partial x_{1\alpha }}+\bar {a}_\alpha ^{(1)} \frac {\partial }{\partial \xi _\alpha } \right ) F^{eq} =- \frac {3\tau\! \left (\xi _\alpha -U_\alpha \right )}{2K^{eq}}\left (\frac {\left (\xi _\alpha - U_\alpha \right )^2}{2 K^{eq}} -\frac {5}{3} \right )\frac {\partial\! K^{eq}}{\partial x_{1\alpha }}F^{eq}\\ \quad \quad \quad & + \frac {3K^{(1)}}{2K^{eq}}\left (\frac {\left (\xi _\alpha - U_\alpha \right )^2}{2 K^{eq}} -1 \right )F^{eq}-\frac {3\tau\! \left (\xi _\alpha -U_\alpha \right )\left (\xi _\beta -U_{\!\beta} \right )}{2K^{eq}} \frac {\partial U_\alpha }{\partial x_{1\beta }}F^{eq}. \end{aligned} \end{align}
Substituting (A13) into the stress and TKE flux moments, and after some straightforward algebra, it can be shown that
Furthermore, we present a derivation for the second-order CE expansion in the rest of this appendix. Using the result of the first-order derivation above, we obtain the hydrodynamic time derivative at the first order. That is,
\begin{align} \begin{aligned} \partial _{t_2} U_\alpha &=\frac {2}{3}\frac {\partial }{\partial x_{1\beta }} \big [ 2\tau\! K^{eq}S^{(1)}_{\alpha \beta }-K^{(1)} \delta _{\alpha \beta }\big ]+\nu _0{\nabla} _1^2U_\alpha ,\\ \partial _{t_1} K^{(1)} +\partial _{t_2} K^{eq} &=\frac {\partial }{\partial x_{1\alpha }} \left [\frac {10}{9} \tau\! K^{eq}\frac {\partial\! K^{eq}}{\partial x_{1\alpha }}-U_\alpha K^{(1)} \right ] + \frac {4\tau\! K^{eq}}{3}S^{(1)}_{\alpha \beta }S^{(1)}_{\alpha \beta }-\frac {K^{(2)}}{\tau }. \end{aligned} \end{align}
This is a direct result of the CE expansion up to the first order. Based on (A9), (A12) and (A13), together with
it is easy to obtain
\begin{equation} \begin{aligned} \partial _{t_2}F^{eq} =& \frac {3 F^{eq}}{2 K^{eq}}\left\{ \frac {2(\xi _\alpha - U_\alpha )}{3} \left [\frac {\partial }{\partial x_{1\beta }}\big (2 \tau\! K^{eq} S_{\alpha \beta }^{(1)}\big )-\frac {\partial\! K^{(1)}}{\partial x_{1\alpha }}+\nu _0\boldsymbol{\nabla} _1^2U_\alpha \right ] + \left (\frac {(\xi _\alpha - U_\alpha )^2}{2 K^{eq}}- 1\right ) \right. \\&\times \left. \left [ \frac {\partial }{\partial x_{1\alpha }} \left ( \frac {10}{9}\tau\! K^{eq} \frac {\partial\! K^{eq} }{\partial x_{1\alpha }} \right )- U_\alpha \frac {\partial\! K^{(1)}}{\partial x_{1\alpha }}- \partial _{t_1}K^{(1)} - \frac {K^{(2)}}{\tau } + \frac {4\tau\! K^{eq}}{3}S^{(1)}_{\alpha \beta }S^{(1)}_{\alpha \beta }\right ] \right \}\!. \end{aligned} \end{equation}
Combining (A9), (A10), (A13) and (A17), we have
\begin{align} \begin{aligned} \sigma ^{(2)}_{\alpha \beta } =&-\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )F^{(2)}{\rm d}\boldsymbol{\xi }\\ =&-\frac {2 K^{(2)}}{3}\delta _{\alpha \beta }-\frac {4\tau }{3\!K^{eq}}\left (\partial _{t1}+U_\gamma \frac {\partial }{\partial x_\gamma }\right )\big [\tau (K^{eq})^2 S^{(1)}_{\alpha \beta }\big ] \\&-\frac {8\tau ^2\!K^{eq}}{3} \left (S^{(1)}_{\alpha \gamma }S^{(1)}_{\gamma \beta } - \frac {1}{3}\delta _{\alpha \beta } S^{(1)}_{\gamma \eta }S^{(1)}_{\gamma \eta }\right ) +\frac {4\tau ^2\!K^{eq}}{3}\big (S^{(1)}_{\alpha \gamma }\varOmega ^{(1)}_{\gamma \beta } +S^{(1)}_{\beta \gamma } \varOmega ^{(1)}_{\gamma \alpha } \big) \\&-\frac {4\tau }{9}\left [\frac {\partial }{\partial x_{1\beta }}\left (\tau\! K^{eq}\frac {\partial\! K^{eq}}{\partial x_{1\alpha }}\right )+\frac {\partial }{\partial x_{1\alpha }}\left (\tau\! K^{eq}\frac {\partial\! K^{eq}}{\partial x_{1\beta }}\right )- \frac {2}{3}\delta _{\alpha \beta }\frac {\partial }{\partial x_{1\gamma }} \left ( \tau\! K^{eq} \frac {\partial\! K^{eq}}{\partial x_{1\gamma }}\right )\right ]\! , \end{aligned} \end{align}
and
\begin{equation} \begin{aligned} Q^{(2)}_{\alpha } =&\frac {1}{2}\int \left (\xi _\alpha - U_\alpha \right )\left (\xi _\beta - U_{\!\beta} \right )^2F^{(2)}{\rm d}\boldsymbol{\xi }\\ =&\frac {10\tau }{9K^{eq}}\left (\partial _{t1}+U_\gamma \frac {\partial }{\partial x_\gamma }\right )\left [\tau (K^{eq})^2 \frac {\partial\! K^{eq}}{\partial x_{1\alpha }}\right ] +\frac {10\tau ^2\!K^{eq}}{9}\frac {\partial\! K^{eq}}{\partial x_{1\beta }}\frac {\partial U_{\!\beta} }{\partial x_{1\alpha }} \\&-\frac {5\tau\! K^{eq}}{3}\frac {\partial }{\partial x_{1\beta }}\left (\frac {4\tau\! K^{eq}}{3}S^{(1)}_{\alpha \beta }\right ) + \frac {5\tau\! K^{eq}}{3} a^{(1)}_{\alpha }, \end{aligned} \end{equation}
where
$\varOmega _{\alpha \beta }$
is the vorticity tensor of the mean velocity field, which is defined as
Appendix B. The discretised velocity method of the kinetic model for (quasi-one-dimensional) turbulent Couette flow
Since only a quasi-one-dimensional turbulent Couette flow is considered in this study, four reduced VDFs are introduced to cast the three-dimensional velocity space
$ (\xi _x, \xi _y, \xi _z )$
into one dimension as
\begin{equation} \begin{aligned} \varPhi _1\left (y, \xi _y,t\right ) &= \int F\left (\boldsymbol{x},\boldsymbol{\xi },t\right ) {\rm d}\xi _x {\rm d}\xi _z,\quad \quad \varPhi _2\left (y, \xi _y,t\right ) = \int \xi _x F\left (\boldsymbol{x},\boldsymbol{\xi },t\right ) {\rm d}\xi _x {\rm d}\xi _z,\\ \varPhi _3\left (y, \xi _y,t\right ) &=\int \xi _x^2F\left (\boldsymbol{x},\boldsymbol{\xi },t\right ) {\rm d}\xi _x {\rm d}\xi _z, \quad \varPhi _4\left (y, \xi _y,t\right ) = \int \xi _z^2F\left (\boldsymbol{x},\boldsymbol{\xi },t\right ) {\rm d}\xi _x {\rm d}\xi _z. \end{aligned} \end{equation}
Then the mean variables can be computed by taking moments of the reduced VDFs
\begin{equation} \begin{aligned} U_x\left (y,t\right ) &= \int \varPhi _2 {\rm d}\xi _y, \qquad U_y\left (y,t\right ) = \int \xi _y \varPhi _1 {\rm d}\xi _y,\\ K\left (y,t\right ) &= \frac {1}{2}\int \big (\big (\xi _y-U_y\big )^2\varPhi _1+\varPhi _3+U_x^2 \varPhi _1+\varPhi _4\big){\rm d}\xi _y- U_x^2,\\ \end{aligned} \end{equation}
and the high-order moments of interest are given by
\begin{align} \begin{aligned} \sigma _{xx}\left (y,t\right ) &=- \int \big (\varPhi _3+U_x^2 \varPhi _1\big ){\rm d}\xi _y + 2U_x^2,\quad \sigma _{xy}\left (y,t\right ) = -\int \xi _y\varPhi _2{\rm d}\xi _y+U_xU_y,\\ \sigma _{yy}\left (y,t\right ) &= -\int \left (\xi _y-U_y\right )^2\varPhi _1 {\rm d}\xi _y,\qquad \qquad \sigma _{zz}\left (y,t\right ) = -\int \varPhi _4 {\rm d}\xi _y.\\ \end{aligned} \end{align}
Without loss of generality, we present the discretised velocity method for the LR-BGK model (4.3) and (4.5). The governing equations for the four reduced VDFs can be deduced as
where
$\varPhi ^{eq}_\alpha$
are the reduced equilibrium VDFs
\begin{equation} \begin{aligned} \varPhi _1^{eq}&= \left (\frac {4}{3}\pi\! K^{eq}\right )^{-\frac {1}{2}}\exp\! \left [-\frac {3\left (\xi _y-U_y\right )^2}{4 K^{eq}}\right ]\!,\\ \varPhi _2^{eq}&= U_x \varPhi _1^{eq},\quad \varPhi _3^{eq}= \left (\frac {2K^{eq}}{3}+U^2_x\right ) \varPhi _1^{eq},\quad \varPhi _4^{eq}= \frac {2K^{eq}}{3} \varPhi _1^{eq},\qquad \end{aligned} \end{equation}
and
$\mathcal{S}_\alpha$
represent the corresponding source terms
\begin{equation} \begin{aligned} \mathcal{S}_1&= -\bar {a}_y\frac {\partial \varPhi _1}{\partial \xi _y}-\frac {\nu _0 {\nabla} ^2K}{2K^{eq}}\left (\varPhi _1+\left (\xi _y-U_y\right )\frac {\partial \varPhi _1}{\partial \xi _y}\right )\!,\\ \mathcal{S}_2&= \bar {a}_x \varPhi _1-\bar {a}_y\frac {\partial \varPhi _2}{\partial \xi _y}-\frac {\nu _0 {\nabla} ^2K}{2K^{eq}}\left (U_x\varPhi _1+\left (\xi _y-U_y\right )\frac {\partial \varPhi _2}{\partial \xi _y}\right )\!,\\ \mathcal{S}_3&= 2\bar {a}_x\varPhi _2-\bar {a}_y\frac {\partial \varPhi _3}{\partial \xi _y}-\frac {\nu _0 {\nabla} ^2K}{2K^{eq}}\left (U_x\varPhi _2-\varPhi _3+\left (\xi _y-U_y\right )\frac {\partial \varPhi _3}{\partial \xi _y}\right )\!,\\ \mathcal{S}_4&= -\bar {a}_y\frac {\partial \varPhi _4}{\partial \xi _y}-\frac {\nu _0 \boldsymbol{\nabla} ^2K}{2K^{eq}}\left (-\varPhi _4+\left (\xi _y-U_y\right )\frac {\partial \varPhi _4}{\partial \xi _y}\right )\!. \end{aligned} \end{equation}
Within the finite-volume framework, the governing (B4) for
$\varPhi _\alpha$
is discretised as
where
$\Delta y = y_{j+1/2}-y_{j-1/2}$
is the length of the cell
$j$
and
$\varPhi _{j-1/2}^{n+1/2}$
and
$\varPhi _{j+1/2}^{n+1/2}$
are the left and right VDFs at the cell interface at time
$t^{n+1/2}$
, respectively. To eliminate the implicit collision term, we introduce the transformed VDFs
$\tilde {\varPhi }_\alpha = \varPhi _\alpha - {\Delta t}/{\tau } (\varPhi ^{eq}_\alpha - \varPhi _\alpha )$
and the mean variables can be computed by taking moments of the transformed VDFs
\begin{equation} \begin{aligned} U_x &= \int \tilde \varPhi _2 {\rm d}\xi _y, \quad U_y = \int \xi _y \tilde \varPhi _1 {\rm d}\xi _y,\\ K&= \frac {1}{2}\int \big (\big (\xi _y-U_y\big )^2\tilde \varPhi _1+\tilde \varPhi _3+U_x^2 \tilde \varPhi _1+\tilde \varPhi _4\big){\rm d}\xi _y- U_x^2-\Delta t \epsilon .\\ \end{aligned} \end{equation}
Then (B7) can be rewritten as
where the mean pressure entering the source term is governed by the kinematic pressure-Poisson relation
$ {\partial ^2\bar {p}^n}/{\partial y^2} = {\partial ^2\sigma _{yy}^n}/{\partial y^2}$
.
As a result, the original VDFs and the mean variables at
$t^{n+1}$
can be obtained from
$\tilde \varPhi ^{n+1}_{\alpha ,j}$
\begin{equation} \begin{aligned} \varPhi ^{n+1}_{\alpha ,j} &= \frac {\tau }{\tau +\Delta t} \tilde \varPhi ^{n+1}_{\alpha ,j}+ \frac {\Delta t}{\tau +\Delta t} \varPhi ^{eq,n+1}_{\alpha ,j},\\ U_{x,j}^{n+1} &= \int \tilde \varPhi _{2,j}^{n+1} {\rm d}\xi _y, \\ U_{\!y,j}^{n+1} &= \int \xi _y \tilde \varPhi _{1,j}^{n+1} {\rm d}\xi _y,\\ K^{n+1}_{\!j}&= \frac {1}{2}\int \left (\left (\xi _y-U_{\!y,j}^{n+1}\right )^2\tilde \varPhi _{1,j}^{n+1}+\tilde \varPhi _{3,j}^{n+1}+U_x^2 \tilde \varPhi _{1,j}^{n+1}+\tilde \varPhi _{4,j}^{n+1}\right ){\rm d}\xi _y- \big (U_{x,j}^{n+1}\big )^2-\Delta t \epsilon ^{n+1}_{\!j},\\ \end{aligned} \end{equation}
and
$\boldsymbol{\sigma }^{n+1}_{\!j}$
are calculated by the original VDFs
$\varPhi ^{n+1}_{\alpha ,j}$
according to (B3).
The governing (5.1) for
$\epsilon$
is also discretised using the finite-volume method
\begin{align} \begin{aligned} \epsilon ^{n+1}_{\!j} &= \epsilon ^n_{\!j} + \frac {\Delta t}{\Delta y}\left (\frac {\nu _T}{C_\epsilon } \left (\frac {\partial \epsilon }{\partial y}\right )^n_{j+1/2}-U^n_{j+1/2}\epsilon ^n_{j+1/2}-\frac {\nu _T}{C_\epsilon } \left (\frac {\partial \epsilon }{\partial y}\right )^n_{j-1/2}+U^n_{j-1/2}\epsilon ^n_{j-1/2}\right )\\ &+C_{\epsilon 1} \frac {\epsilon ^n_{\!j}}{K_{\!j}^n} \left (\sigma _{xy,j}^n \left (\frac {\partial U_x}{\partial y}\right )^{n}_{\!j}+\sigma _{yy,j}^n \left (\frac {\partial U_y}{\partial y}\right )^{n}_{\!j}\right )-C_{\epsilon 2}f_{\epsilon 2}\frac {\left (\epsilon ^n_{\!j}\right )^2}{K_{\!j}^n}, \end{aligned} \end{align}
where the velocity gradient is evaluated using a central finite difference. Thus, the update rules for the VDFs and the macroscopic variables are given by (B9), (B10) and (B11); the remaining task is to reconstruct the VDFs and macroscopic variables at interface.
First, the VDFs at cell interface are reconstructed from the local solution of the collisionless kinetic (B4)
With the Taylor expansion around the cell interface
$y_{j+1/2}$
,
$\varPhi _\alpha (y_{j+1/2},\xi _y,t^{n+1/2} )$
can be approximated by linear interpolations
and
Then,
$\epsilon$
at the cell interface are also obtained by linear interpolation
Additionally, this model still contains compressibility errors during time evolution. Here, we introduce a correction to the mean pressure defined by (B7). That is, the flow velocity is
\begin{align} \begin{aligned} U_{\!y,j}^{n*}&=U_{\!y,j}^{n}-\frac {\Delta t}{\Delta y} \left (\int \xi _y^2\varPhi _{1,j+1/2}^{n+1/2}{\rm d}\xi _y- \int \xi _y^2\varPhi _{1,j-1/2}^{n+1/2}{\rm d}\xi _y\right )+\Delta t \left (-\left (\frac {\partial \bar {p}}{\partial y}\right )^n_{\!j} + \left (\nu _0 {\nabla} ^2 U\right )^n_{\!j}\right )\!. \end{aligned} \end{align}
Further, we define the pressure correction as the difference between the updated and the previous pressure field
$\delta \bar {p} \equiv \bar {p}^{n+1}_{\!j}-\bar {p}^{n}_{\!j}$
. With this definition, the corrected velocity field is expressed as
In order to enforce
${U}^{n+1}_{\!y,j}$
to be divergent free,
$\delta p$
should satisfy the following Poisson equation:
After solving the above equation, one can obtain the fluid velocity
${U}^{n+1}_{\!y,j}$
.
The above method is valid in a continuous velocity space
$\xi _y$
. In practical computations, the velocity space is divided into a finite set of discrete velocities
$\{\xi _{y,k} \mid k=1,2, \ldots , N\}$
, where
$N$
is the number of discrete velocities. With the discrete velocity space, the moments of a continuous distribution function have to be expressed as discrete moments
where
$\phi$
is a polynomial of the particle velocity
$\xi _y$
and
$\omega _k$
is the weight of the numerical quadrature at the discrete velocity
$\xi _{y,k}$
. It is important to discretise the velocity space based on certain quadrature rules, which are chosen according to the rarefaction degree. The gradients of VDFs in the source term are approximated by central differences.
For completeness, the general algorithmic framework consists of the following steps:
-
(i) at the initial time (
$n=0$
), the variables (
$\boldsymbol{U}^0$
,
$K^0$
and
$\epsilon ^0$
) and the original VDFs
$\varPhi ^0_\alpha$
are initialised at each cell centre; -
(ii) evolve the VDFs
$\varPhi _\alpha$
at each cell interface at time
$t^{n+1/2}$
according to (B13) and (B14), and then calculate
$\epsilon$
at each cell interface according to (B15); -
(iii) update
$\epsilon ^{n+1}$
at each cell interface according to (B11); -
(iv) update the transformed VDFs
$\tilde \varPhi _\alpha ^{n+1}$
, and then update VDFs
$\varPhi _\alpha ^{n+1}$
and mean variables
$\boldsymbol{U}^{n+1}$
and
$K^{n+1}$
using (B10); -
(v) correct the mean velocity
${U}^{n+1}_{\!y,j}$
according to (B16), (B17) and (B18); -
(vi) advance the time step
$(n \to n + 1)$
and repeat steps (ii) to (v) until the end.






















