 Review
 Open Access
 Published:
Progress of discrete unified gaskinetic scheme for multiscale flows
Advances in Aerodynamics volume 3, Article number: 6 (2021)
Abstract
Multiscale gas flows appear in many fields and have received particular attention in recent years. It is challenging to model and simulate such processes due to the large span of temporal and spatial scales. The discrete unified gas kinetic scheme (DUGKS) is a recently developed numerical approach for simulating multiscale flows based on kinetic models. The finitevolume DUGKS differs from the classical kinetic methods in the modeling of gas evolution and the reconstruction of interface flux. Particularly, the distribution function at a cell interface is reconstructed from the characteristic solution of the kinetic equation in space and time, such that the particle transport and collision effects are coupled, accumulated, and evaluated in a numerical time step scale. Consequently, the cell size and time step of DUGKS are not passively limited by the particle meanfreepath and relaxation time. As a result, the DUGKS can capture the flow behaviors in all regimes without resolving the kinetic scale. Particularly, with the variation of the ratio between numerical mesh size scale and kinetic mean free path scale, the DUGKS can serve as a selfadaptive multiscale method. The DUGKS has been successfully applied to a number of flow problems with multiple flow regimes. This paper presents a brief review of the progress of this method.
Introduction
Multiscale gas flows appear in many natural and industrial systems, such as nano/micro devices, aerospace vehicles, vacuum techniques, and unconventional natural gas exploitation. Such systems usually involve a large span of length and time scales, which brings challenges in modelling and simulations to capture the flow physics in different scales under a unified framework.
Physically, the transport behaviors are determined by the microscopic dynamics of the underlying gas molecules, which can be further modelled efficiently at different scales. It is well understood that each molecule in a gas system undergoes free streaming and collision (or scattering) dynamics, and a straightforward tracking of these two processes leads to the molecular dynamic (MD) model at the microscopic (molecular) scale. On the other hand, the collective behaviors of the gas molecules at large length (l_{0}) and time (t_{0}) scales can be described macroscopically through phenomenological models, such as the Euler or NavierStokes equations. In between the molecular scale and the macroscopic (hydrodynamic) scale, the gas evolution can be described by the Boltzmann equation that models the evolution of velocity distribution function of gas molecules on kinetic scales, i.e., meanfreepath λ and mean collision time τ=λ/c_{0}, with c_{0} being a typical molecular velocity which is of the order of sound speed [1, 2]. The MD simulation tracks the motion of individual molecule in the system and thus is quite computationally intensive, which limits its application to short time dynamics of systems with the resolution of molecular diameter. On the other hand, the macroscopic models, although relatively easier to handle, are limited to large scale systems under the assumptions of continuum mechanics and local thermodynamic equilibrium. Therefore, both the microscopic and macroscopic models are inadequate for modelling the multiscale transport due to the existence of multiple length and time scales.
It is well understood that the Boltzmann equation can lead to hydrodynamic equations in the asymptotic limits via perturbation analysis in terms of the Knudsen number Kn=λ/l_{0} (Note that if we choose t_{0} as the acoustic time scale t_{0}=l_{0}/c_{0}, Kn can also be expressed as Kn=τ/t_{0} [2]). Therefore, the Boltzmann equation provides a solid basis for developing uniformly accurate and stable numerical schemes for gas flows in all regimes from kinetic (Kn≫1) to hydrodynamic ones (Kn≪1). Actually, a large number of numerical methods for kinetic equations have been developed from different points of view, such as the direct simulation MonteCarlo (DSMC) [1], discrete velocity method (DVM) [3, 4], lattice Boltzmann equation (LBE) [5], gaskinetic scheme [6], semiLagrange method [7], and implicitexplicit (IMEX) method [8]. The progress of the numerical schemes based on kinetic equations can be found in several review papers [9–11].
For a kinetic scheme, its capability of simulating multiscale flows closely depends on its asymptotic behavior at small Knudsen numbers, i.e., whether it can capture the hydrodynamic behaviors without resolving the kinetic scale. A scheme with this property is usually called as an “asymptotic preserving” (AP) one [11], which was originally defined for the Euler limit (Kn→0) and later was used to analyze schemes in the NavierStokes limit. A more elaborate concept, unified preserving (UP), was proposed recently [12], with which the detailed asymptotic order of a kinetic scheme can be assessed. In the past years, a number of kinetic schemes with Euler or NavierStokes asymptotics have been developed, e.g., [13–19].
Generally, for a multiscale kinetic scheme it is necessary to preserve the NavierStokes asymptotics with a numerical resolution (mesh cell size Δx and time step Δt) much larger than kinetic scale, or, it should be at least secondorder UP. In the continuum flow regime, the UP schemes should keep the same properties as the shock capturing schemes designed for the NavierStokes equations directly in the calculation of hydrodynamic wave structure, such as the boundary layer with the resolution of a few mesh points. From this perspective, the DSMC and classical explicit DVM are not good choices for multiscale flows in that the cell size and/or time step are required to be smaller than the meanfreepath and relaxation time, respectively, which is a severe limitation for nearcontinuum flow computation. Indeed, both methods are mainly used to simulate rarefied gas flows. On the other hand, the LBE and GKS, with implicit and explicit ChapmanEnskog approximations, respectively, are designed mainly for continuum flows, and therefore are also inadequate for multiscale flow simulations. Some UP schemes, which aim to capture flow behaviors in all regimes, have also been developed in the past decade [18–24]. Particularly, the finitevolume unified gaskinetic scheme (UGKS) [18] has gained much attention due to its special reconstruction of cellinterface flux, in which the analytical time evolved integral solution of the kinetic equation is adopted to approximate the distribution function at cellinterface. With similar principle, the discrete UGKS (DUGKS) was developed later [19], in which a simpler numerical characteristic solution of the kinetic equation is employed to reconstruct the cellinterface flux. The discrete evolution of the cellinterface distribution function along the characteristic line resembles that of the LBE, and thus the DUGKS can be viewed as a combination of the LBE and GKS methods.
With the consideration of both free streaming and collision physics in the flux reconstruction, it can be shown that the DUGKS actually solves the collisionless Boltzmann equation as Kn→∞, and the NavierStokes equations as Kn≪1 even as Δx≫λ_{0} and Δt≫τ_{0} [12]. The transition between flow regimes is realized automatically based on the local flow physics accumulated from the particle transport and collision within a time step, and therefore the DUGKS can be regarded as a selfadaptive multiscale method, which is critical for simulating different regime flow behavior in a single computation. Furthermore, the full temporalspatial coupling also makes the DUGKS a numerical method respecting the conservationdissipation mechanics, which is a fundamental requirement for irreversible processes [25]. Even in continuum regime, the finitevolume formulation and the release of tight coupling between time step and mesh size make the DUGKS a competitive tool in comparison with LBE. With these nice properties, the DUGKS has been successfully applied to a variety of flow problems in different flow regimes, such as turbulent flows [26–28], micro flows [29–32], compressible flows [33–35], multiphase flows[36, 37], gassolid flows[38, 39], and gas mixture systems [40, 41]. Besides flow problems, the DUGKS was also extended to multiscale transport problems such as phonon heat transfer [42–44] and radiation of photons [45, 46].
In this paper, we will give a brief review on the recent progress of the DUGKS. The rest of the paper is organized as follows. In Section 2, the basic structure of DUGKS is presented, together with a brief discussion on its fundamental properties. Section 3 shows a comparison between the DUGKS and LBE for continuum flows, where the DUGKS can be viewed as a special FVLBE in this regime. In Section 4, a comparison between the DUGKS and UGKS is presented, focusing on the structure of the time averaged interface distribution functions reconstructed in both methods. A number of sample applications of DUGKS to singlephase gas flows in different flow regimes are demonstrated in Section 5, and some extensions of DUGKS to more complex fluid flows are reported in Section 6. In Section 7, some extensions of DUGKS to multiscale transport problems beyond gas flows will be shown. Finally, a brief summary and outlook of the DUGKS are given in Section 8.
Principle of the DUGKS
Formulation
The DUGKS solves the Boltzmann equation with relaxation models. Without loss of generality, here we take the BGK model for monatomic gases as an example to illustrate the basic idea. The BGK model reads [47],
where f=f(x,ξ,t) is the velocity distribution function for molecules moving with velocity ξ at position x and time t, τ is the relaxation time, and f^{(eq)} is the equilibrium distribution function given by,
where ρ, u, and T are the density, velocity, and temperature of the gas, respectively, D is the spatial dimension, and R=k_{B}/m is the gas constant with k_{B} the Boltzmann constant and m the molecular mass. The conservative flow variables W=(ρ,ρu,ρE)^{T} are defined as the moments of the distribution function,
where ψ=(1,ξ,ξ^{2}/2)^{T} is the vector of the elementary collision invariants, and ρE=ρ(u^{2}+DRT)/2 is the total energy. The viscous stress τ and heat flux q can be defined as
The DUGKS is a finitevolume discretization of Eq. (1). First, the flow domain is divided into a set of control volumes or cells. Integrating Eq. (1) on a control volume V_{j} centered at x_{j} from time t_{n} to t_{n+1}=t_{n}+Δt with a time step Δt, one can obtain that
where the midpoint rule for the time integration of the convection term and trapezoidal rule for the collision term are used, respectively; \(f_{j}^{n}\) is the cellaveraged distribution function,
with V_{j} being the volume of cell V_{j}. The flux \(F_{j}^{n+1/2}\) is evaluated via the midpoint rule for the surface integration, i.e.,
where ∂V_{j} is the surface of cell V_{j} and n is the outward unit vector normal to the surface, S_{jk} is the surface area of the interface between cell V_{j} and its kth neighboring cell V_{k}, x_{jk} and n_{jk} are the corresponding face center and unit normal vector of S_{jk}, respectively, as shown in Fig. 1. It is noted that in the volumeaverage collision term, Q_{j}, the averaged equilibrium distribution function is approximated as \(f_{j}^{(eq)}=f^{(eq)}\left ({\boldsymbol {\xi }},\rho _{j},{\boldsymbol {u}}_{j}, T_{j}\right)\), where ρ_{j}, u_{j}, and T_{j} are the cellaveraged density, velocity, and temperature, respectively. This approximation guarantees the conservative properties of the average collision term.
The key feature of DUGKS lies in the reconstruction of the interface flux, which is determined by the distribution function f(x_{jk},ξ,t_{n+1/2}). As shown in Fig. 1, the intermediate interface distribution function f(x_{jk},ξ,t_{n+1/2}) is obtained by integrating the kinetic Eq. (1) along its characteristic line dx/dt=ξ from x^{′}=x_{jk}−ξh to x_{jk} with a half time step h=Δt/2,
where the trapezoidal rule is again applied to the collision term. Equation (8) can be rewritten in an explicit form,
where
Note that Eq. (9) is just the same as the collisionstreaming process in the lattice Boltzmann equation, except that the time step is Δt/2 now. \(\bar {f}^{+}\) represents the postcollision state at the starting point x^{′} of the characteristic line, and then it moves to the face center x_{jk} with a half time step.
In Eq. (9), \(\bar {f}^{+} \left (\boldsymbol {x}^{\prime }, {\boldsymbol {\xi }}, t_{n}\right)\) is reconstructed from the cellaveraged values of the neighboring cells. For smooth flows, it can be approximated as a linear function around x_{jk}, i.e.,
where \(\bar {f}^{+}\left (\boldsymbol {x}_{jk}\right)\) and the slope \(\boldsymbol {\sigma }_{jk}=\boldsymbol {\nabla } \bar {f}^{+}\left (\boldsymbol {x}_{jk}\right)\) are approximated by linear interpolations. On the other hand, for flows with discontinuities, \(\bar {f}^{+}\) is assumed to be piecewise linear in each cell, and thus \(\bar {f}^{+} \left (\boldsymbol {x}^{\prime }, {\boldsymbol {\xi }}, t_{n}\right)\) is determined from the upstream cell,
where σ_{i} is the slope of \(\bar {\phi }^{+}\) in cell V_{i} (i=j or k), which can be reconstructed from the cellaveraged values using certain numerical limiters [48].
After determining \(\bar {f}^{+} \left (\boldsymbol {x}^{\prime }, {\boldsymbol {\xi }}, t_{n}\right)\), the halftime distribution functions \(\bar {f}\left (\boldsymbol {x}_{jk}, {\boldsymbol {\xi }}, t_{n}+h\right)\) can be obtained from Eq. (9), from which we can then get the conservative variables based on Eq. (10),
where we have used the conservative properties of the collision term. Then, the original distribution function can be obtained from Eq. (10),
and then the interface flux \(F_{j}^{n+1/2}\) can be determined based on Eq. (7).
After obtaining the flux, we can update the cellaveraged distribution function f_{j}. Note that Eq. (5) is implicit due to the involvement of \(Q_{j}^{n+1}\). Two approaches can be employed to implement Eq. (5) explicitly. The first approach is to introduce two new distribution functions [19, 33],
Then the evolution Eq. (5) can be rewritten as
In practical simulations, we can just track \(\tilde {f}\) instead of the original one since the hydrodynamic variables can be obtained from \(\tilde {f}\), i.e.,
where β=τ/(τ+Δt/2).
Another approach for explicit implementation of Eq. (5) is similar with that used in the IMEX [8] and UGKS [18] methods, which is realized by first taking the conservative moments of Eq. (5) to obtain
and then the updated distribution function can be calculated as
This approach was also adopted in some later conserved DUGKS methods [49, 50]. An advantage of this approach is that macroscopic conservation (in terms of W) from the discrete collision term is satisfied exactly, regardless of the quadrature rule for the integral in velocity space. However, it should be pointed out that the microscopic conservation in terms of f is not necessarily satisfied, as discussed in Section 2.2.
In summary, the numerical procedure of each time step in DUGKS can be executed as follows:

(1)
Reconstructing \(\bar {f}^{+}\left (\boldsymbol {x}^{\prime },{\boldsymbol {\xi }},t_{n}\right)\) from cellaveraged distribution functions for each cell interface S_{jk} and velocity ξ;

(2)
Moving \(\bar {f}^{+}\left (\boldsymbol {x}_{jk}{\boldsymbol {\xi }} h, {\boldsymbol {\xi }},t_{n}\right)\) to the face center along the characteristic line to obtain \(\bar {f}\left (\boldsymbol {x}_{jk},{\boldsymbol {\xi }},t_{n}+h\right)\);

(3)
Calculating \(\boldsymbol {W}_{jk}^{n+1/2}\) from \(\bar {f}\left (\boldsymbol {x}_{jk},{\boldsymbol {\xi }},t_{n}+h\right)\), and then obtaining f(x_{jk},ξ,t_{n}+h) to give the flux F_{j};

(4)
Updating \(\tilde {f}_{j}\) or f_{j} from t_{n} to t_{n+1} for each cell.
The above procedure for onedimensional case can be illustrated in Fig. 2, where the first approach for updating the distribution function is used.
It is noted that the BGK model gives a fixed Prandtl number (Pr=1). Some other relaxation models, such as the ellipsoidal statistical model [51] and the Shakhov model [52], can overcome this deficiency. Later the DUGKS was generalized to variable Prandtl number problems based on the Shakhov model [33], which has a similar structure as the above algorithm.
Velocity discretization
In the above derivation we focus on space and time discretizations. In practical computations, the molecular velocity space should be discretized into a finite set of discrete velocities {ξ_{i}i=1,2,⋯,N}, like the classical discrete velocity methods. Generally, two types of discrete velocities are used. The first one chooses the abscissas of certain Gaussian quadratures, such as the full or halfrange [53] GaussHermite rules [54], as the discrete velocity set, which spans the continuous velocity space nonuniformly; Another type uses a Cartesian velocity grid with a bounded range dependent on temperature and flow velocity. Unstructured velocity mesh was also developed recently [50], and some locally adaptive techniques were proposed to enhance memory and computational efficiency [55, 56].
With the discrete velocity space, the velocity moments of the distribution function will be replaced by the corresponding discrete ones, e.g.,
where w_{i} (i=1,2,⋯,N) are the weights of the quadrature. Provided the number of discrete velocities is large enough, the numerical quadrature can be quite accurate. It should be noted that, however, the discrete collision operator is generally not conservative strictly, i.e., \({\sum \nolimits }_{k}{\boldsymbol {\psi }\left ({\boldsymbol {\xi }}_{k}\right)Q\left ({\boldsymbol {\xi }}_{k}\right)}\neq \boldsymbol {0}\). This inconsistency comes from the discrete equilibrium distribution function with the original conservative hydrodynamic variables W, because generally
This inconsistency is reasonable, since a discrete velocity model evolving in a discrete phase space may have its own equilibrium state that is different from the continuous counterpart. A way is to find the discrete equilibrium based on discrete version of entropy minimization [4], i.e., the regularized discrete equilibrium distribution is defined as \(f_{R}^{(eq)}=f^{(eq)}\left ({\boldsymbol {\xi }}_{i},\boldsymbol {W}^{\prime }\right)\), in which W^{′} are undetermined parameters satisfying
This nonlinear equation can be solved using the Newton iteration method. It has been shown that with the discrete equilibrium distribution defined above, the required number of discrete velocities for DVM can be much reduced to obtain the same accuracy [57]. However, additional computational cost is needed for solving Eq. (22).
For low speed or small Mach number flows, a simpler equilibrium can be obtained by means of the Hermite expansion [5, 58]. First, the continuous Maxwellian equilibrium distribution is projected onto the space spanned by the Hermite polynomials,
where \(\omega \left (\hat {{\boldsymbol {\xi }}}\right) = e^{{\hat \xi }^{2}/2}/ (2\pi RT_{0})^{D/2}\), \(\hat {{\boldsymbol {\xi }}}={\boldsymbol {\xi }}/({RT}_{0})^{1/2}\) with T_{0} being a reference temperature, \({\mathcal {H}}^{(k)}\) (k=0,1,⋯) are the Hermite polynomials, and P_{K} is a Kth order polynomial of \(\hat {{\boldsymbol {\xi }}}\). The expansion coefficients are given by
For instance, up to thirdorder, the expanded equilibrium distribution can be written as
where \(\hat {{\boldsymbol {u}}}={\boldsymbol {u}}/({RT}_{0})^{1/2}\) and \(\hat {\theta }=T/T_{0}\). Since P_{K} is a Kth order polynomial of \(\hat {{\boldsymbol {\xi }}}\), if we choose a GaussHermite quadrature [with weight function \(\omega \left (\hat {{\boldsymbol {\xi }}}\right)\)] of order higher than K+2, the conservative moments of this expanded equilibrium distribution can be evaluated exactly,
where W_{i} and ξ_{i}/(RT_{0})^{1/2} (i=1∼N) are the corresponding weights and abscissas of the GaussHermite quadrature, respectively, and \(w_{i}=W_{i}/\omega \left (\hat {{\boldsymbol {\xi }}}_{i}\right)\) (i=1∼N) are the weight for evaluating the discrete moments (20). The expanded equilibrium distribution is very similar to that used in the LBE, but for the DUGKS offlattice discrete velocities can be employed naturally, which brings much freedom for the choice of quadrature rules. It should be noticed that although the expanded formulation of equilibrium distribution \(f_{K}^{(eq)}\) can ensure the microscopic conservation of the collision operator, it may take negative values and does not minimize any entropies.
Boundary conditions
For flows with solid walls, appropriate boundary conditions should be specified for the discrete distribution functions at the wall surface in the evolution of DUGKS. A general boundary condition is the diffusescattering rule, which assumes the distribution function for the reflected molecules follows the Maxwellian one with the wall temperature and velocity. Specifically, at the halftime step t^{∗}=t_{n}+h, the unknown distribution functions are given by
where x_{w} is the center of the cell interface located at the wall, n is the unit vector normal to the wall pointing to the cell, u_{w} and T_{w} are the velocity and temperature specified at the wall, c_{i}=ξ−u_{w}, and ρ_{w} is the gas density determined by the condition that no molecules can go through the wall, i.e.,
where the distribution functions f(x_{w},ξ_{i},t^{∗}) with c_{i}·n<0, i.e., for molecules moving towards the wall, can be constructed following the procedure described in Section 2.1. Equation (28) gives that
[Note that there is a typo for the diffuse boundary condition in Ref. [19], although it is correctly implemented in the code: the weight w_{i} appearing in each summation in Eqs. (28) and (29) is missing there].
The above diffusescattering boundary condition can also be extended to partially diffusive walls with an accommodation coefficient 0≤σ≤1,
where \(\phantom {\dot {i}\!}{\boldsymbol {\xi }}^{\prime }_{i}={\boldsymbol {\xi }}_{i}2{\boldsymbol {n}}(\boldsymbol {c}_{i}\cdot {\boldsymbol {n}})+{\boldsymbol {u}}_{w}\) is the velocity of the specularly reflected molecules with incident velocity ξ−u_{w}.
For low speed and isothermal flows, the bounceback method can be employed to realize noslip velocity boundary condition, which just reverses the molecular velocity after hitting the wall moving with velocity u_{w},
where the weights W_{i} satisfy \({\sum \nolimits }_{i}{W_{i}}=1\) and \({\sum \nolimits }_{i}{W_{i}{\boldsymbol {\xi }}_{i}{\boldsymbol {\xi }}_{i}}={RT}_{0}\boldsymbol {I}\), and ρ_{w} is given by
Basic properties of the DUGKS
We now discuss some fundamental properties of the DUGKS, including the consistency, accuracy, and uniform stability in terms of the relaxation time. Particularly, the asymptotic behaviors of DUGKS for small Knudsen number, which is critical for capturing the correct hydrodynamic physics without resolving the kinetic scale, will also be analyzed.
The use of the midpoint and trapezoidal rules in Eqs. (5) and (8) for the time integration, as well as the linear spatial reconstruction of the distribution function at the cell interface, ensures the secondorder accuracy in both space and time of the DUGKS. This is more evident from the modified equation. For simplicity without loss of generality, we consider onedimensional case and assume the flow is smooth. Then by applying the Taylor expansion to Eqs. (5) and (8), we can obtain the modified equation of the DUGKS [12],
where
This confirms the DUGKS is a consistent secondorder scheme for the BGK equation in both time and space for a fixed τ.
Regarding the uniform stability of DUGKS, we can see that the collision term is treated semiimplicitly in Eqs. (5) and (8). Therefore, it is expected that the time step Δt should not be limited by the relaxation time τ. But the convection term is still treated explicitly, and thus Δt should satisfy the CourantFriedrichsLewy (CFL) condition,
where 0<η≤η_{0} is the CFL number with η_{0} being some constant, ξ_{max} and u_{max} are the maximum values of the discrete velocities and flow speed, respectively. The time step not only influences numerical stability, but also contributes to numerical dissipation in kinetic schemes, such as the gaskinetic scheme [6]. The numerical dissipation from the time integration was also analyzed in [59].
Roughly, the asymptotic property of the DUGKS can be demonstrated by analyzing the reconstructed distribution function at cell interface. From Eq. (8), it can be deduced that f(x_{jk},ξ,t_{n}+h)=f(x_{jk}−ξh,ξ,t_{n}) as τ/Δt→∞, which is just the solution of the collisionless BGK equation. On the other hand, in the continuum limit where τ/Δt→0, it can be shown that [19]
which is just the ChapmanEnskog solution at the NavierStokes order. These results indicate that the DUGKS can indeed preserve the asymptotic behaviors in both continuum and free molecular limits. In the transitional regime, it is also expected that the DUGKS can give a good approximate solution to the kinetic equation since it is a consistent discretization. In [12], it is shown more rigorously that as Δx/λ and Δt/τ are of the order of \(\sqrt {\text {Kn}}\), the DUGKS preserves the NavierStokes limit exactly. This means that the DUGKS can yield the NavierStokes solutions as Δx≫λ and Δt≫τ for small Kn. The above arguments suggest that the DUGKS is a selfadaptive multiscale method for flows covering different flow regimes.
Comparison with LBE for continuum flows
For continuum flows, the DUGKS can be viewed as a special finitevolume lattice Boltzmann equation (FVLBE) method. The classical LBE can be viewed as a Lagrange scheme based on kinetic equations using a regular lattice, which is coupled with the discrete velocities and the time step is solely determined by the lattice spacing. As such, the discrete velocity set can only be chosen as “onlattice” ones. Although some LBE with “offlattice” discrete velocity set have been developed, additional techniques such as interpolation must be employed. It is also noted that some FVLBE were developed [60–65]. In the early FVLBE methods (e.g., [60, 61]), simple interpolations are employed to reconstruct the distribution function at cellinterface and the collision term is treated explicitly, such that the timestep is severely limited by the relaxation time in addition to the CFL condition [62]. Some later FVLBE methods improved the numerical stability by employing certain upwind interpolations [63, 64]. In most of available FVLBE methods, the construction of flux at cell interfaces ignores the effect of collision term, and thus could lead to large numerical dissipation. We note that a FVLBE similar to the DUGKS was developed more recently [64], which employs an explicit discrete characteristic solution of the kinetic equation in the flux reconstruction such that the collision effect is taken into account. This FVLBE has similar accuracy with the DUGKS, but the numerical stability is degenerated due to the explicit treatment in the flux reconstruction [64].
Some comparative studies on the performance of DUGKS and LBE have been conducted in the literature. For instance, Wang et al. made a comparison of accuracy, stability, and efficiency of the DUGKS and two standard LBE models, i.e., the lattice BGK (LBGK) and multiplerelaxationtime (MRT) models [66]. They simulated the twodimensional (2D) laminar cavity flow and the flow around a square cylinder at different Reynolds numbers. The results showed that the two LBE models and the DUGKS could yield qualitatively similar results in both test cases with sufficient mesh resolutions. However, some unphysical oscillations in pressure field were observed in the results of both LBGK and MRT models, but the pressure field predicted by the DUGKS was smooth. Furthermore, it was found that the LBE methods could yield inaccurate vortex shedding behaviors for the flow over a square cylinder with a blockage ratio of 1/8. Specifically, with a uniform mesh of size 2000×320, the frequencies of vortex shedding predicted by both LBE methods took a single value, and the flow patterns were alternatively symmetric. But as the mesh resolution increased to 5000×800, the vortex shedding demonstrated a multiple frequency style and the flow pattern became asymmetric, which was in agreement with results from a NavierStokes solver [67]. On the other hand, the multiple vortex shedding frequency and asymmetric flow pattern could be captured by the DUGKS with the uniform coarse mesh as well as a nonuniform one. The flow patterns predicted by the three methods are shown in Fig. 3. The comparison also showed that the numerical stability of the DUGKS and the two LBE methods could be considerably different. Generally, with a same uniform mesh, the DUGKS could simulate flows at much higher Reynolds numbers than the LBE methods. The computational efficiency was also compared in [66]. It was shown that with the same mesh resolution, the LBE methods were more efficient than DUGKS. However, the efficiency of DUGKS could be much improved by using nonuniform meshes.
The performance of DUGKS was also compared with a characteristicsbased LBE (CLBE) in finitevolume formulation [59]. This CLBE model was originally developed as a characteristic discretization of DVM [68], and was shown to be able to overcome the time step restriction from the relaxation time. The comparison with several other nonstandard LBE methods indicated that the CLBE is the most stable and accurate one [69]. Zhu et al. showed that this CLBE could be reexpressed in a finitevolume formulation, where the collision effect was also incorporated in the flux reconstruction. Specifically, the distribution function at a cell interface of the CLBE is approximated as [59],
Comparing this with Eq. (8), we can see that the only difference between the DUGKS and CLBE lies in the evaluation of the collision term in calculating the characteristic solution at cell interfaces. The CLBE treats the time integral of the collision term with the explicit onepoint quadrature when integrating the BGK equation along the characteristic line, while the DUGKS evaluates the integral of collision term with the semiimplicit trapezoidal quadrature. Therefore, it can be expected in principle that the DUGKS can be more accurate and stable than the CLBE.
Several numerical test results, including the cavity flow, laminar boundary layer flow, and the unsteady TaylorGreen vortex flow, confirmed the above analysis. For instance, for the TaylorGreen vortex flow, the L_{2} errors of DUGKS are about 1/4 times of those of CLBE with the same uniform meshes. The tests of the steady cavity flow and the laminar boundary layer flow over a flat plate also demonstrated that the DUGKS could give more accurate results than the CLBE. It was found that the flat laminar boundary layer could be captured accurately by the DUGKS and the results were insensitive to the computational meshes. In particular, with a coarse mesh (Δy_{min}=0.1) which has only 4 cells in the boundary layer, the results were still rather satisfactory. On the other hand, the CLBE could only give satisfactory results with a fine mesh (Δy_{min}=0.01). The CLBE was also found to be sensitive to grid resolution. With the coarser mesh, the thickness of the boundary layer was over predicted, indicating that the CLBE is more dissipative. The standard LBE was also employed to simulate the laminar boundary layer flow, and it was shown that the LBE could give an accurate solution with the coarse mesh (Δy_{min}=0.1), but the computational time was much expensive than the DUGKS due to the use of uniform mesh.
The numerical results also showed that the DUGKS is more stable than the CLBE. It was shown that the computation of the CLBE was unstable at moderate values of Δt/τ even though η<1, but the stability of DUGKS was almost not affected by the CFL number provided η<1.1. The numerical efficiencies of the two methods were also measured. It was found that the computational time of DUGKS was about twice as that of the CLBE with the same mesh. However, the DUGKS can achieve an accurate solution with a much coarser mesh, and thus it would be more efficient than CLBE to obtain a reliable solution.
In a recent study, the numerical stability of DUGKS and another advanced FVLBE model were also compared by simulating the laminar boundary layer flow [65]. It was found the CFL number required by the FVLBE was smaller than that of the DUGKS, and the computational efficiency was also lower due to the smaller time step.
Comparison with the UGKS for multiscale flows
The DUGKS can be viewed as a simplified version of UGKS, by taking the advantages of the LBE in the reconstruction of the interface flux. The collision and free streaming processes are taken into account simultaneously in the flux reconstruction in both methods, making them share the UP property for simulating multiscale flows.
The main difference between the two schemes lies in the way to obtain the distribution function at cell interfaces f(x_{jk},t). In UGKS, the distribution function takes the formal integral solution of the kinetic equation [18],
where \(\phantom {\dot {i}\!}\boldsymbol {x}^{\prime \prime }=\boldsymbol {x}{\boldsymbol {\xi }} \left (tt^{\prime }\right)\). It is apparent that this solution consists of a hydrodynamic part and a kinetic part (the first and second terms on the right hand side, respectively). The hydrodynamic part includes the contribution from collisions, and the kinetic part is the transport of the distribution function at time t_{n}, which reflects the contribution from free transport. These two parts contribute to the distribution function dynamically according to the ratio of relaxation time to the numerical time step. With proper approximation of \(\phantom {\dot {i}\!}f^{(eq)}\left (\boldsymbol {x}^{\prime \prime }, {\boldsymbol {\xi }}, t^{\prime }\right)\) and f(x−ξ(t−t_{n}),ξ,t_{n}), the distribution function at cell interface, f(x_{jk},ξ,t), can be reconstructed based on Eq. (38). Then the micro flux
can be obtained, where \(\hat {f}=\tfrac {1}{\Delta t}\int _{t_{n}}^{t_{n+1}}{f(t) d t}\) is the timeaveraged interface distribution function.
Compared with the micro flux defined by Eq. (7) together with Eq. (14) in the DUGKS, it can be found that the calculation of UGKS is a bit more complex. We now make an analysis of the difference between the reconstructed timeaveraged interface distribution functions in the UGKS and DUGKS. Specifically, if physical quantities are assumed to be linearly distributed around the cell, we can obtain the structure of \(\hat {f}\left (\boldsymbol {x}_{jk},{\boldsymbol {\xi }}\right)\) in UGKS based on the results in [70] as follows,
where the terms on the right hand side are evaluated at (x_{jk},ξ,t_{n}), D=∂_{t}+ξ·∇, and a_{0} and a_{1} are defined as
with α=Δt/τ. On the other hand, the same structure of timeaveraged interface distribution function for the DUGKS can be obtained based on Eq. (8),
with
As α≪1 (i.e., free molecular regime), it can be shown that
It is clear that the four coefficients are identical in the leading order, and the difference between a_{1} and a1′ is negligible as Δt/τ≪1. On the other hand, in the limit of α≫1 (i.e., continuum regime), it can be shown that
It seems that the differences between the corresponding parameters are large in this limit. However, in this case the distribution function can be approximated by the firstorder ChapmanEnskog expansion at the NavierStokes level, i.e.,
With this approximation, the last two terms on the right hand side of Eq. (40) are of order O(τ^{3}/Δt) and O(τ^{2}), respectively; while these two terms of Eq. (42) are of order O(τ^{2}) and O(τΔt), respectively. Although different, these terms are highorder terms and do not appear at the NavierStokes level. Actually, in [70] and [19], it has been shown that both \(\hat {f}^{ugks}\) and \(\hat {f}^{dugks}\) share the same formulation for continuum flows, namely,
In the intermediate regime where α≈1, it is easy to estimate that a_{0}≈0.632 and a_{1}≈0.264, while a0′≈0.6 and a1′≈0.3. The differences between a_{0} and a0′ and between a_{1} and a1′ are not large, either. Therefore, it can be expected that both the UGKS and DUGKS will behave similarly in this regime.
Based on the above analysis, we can conclude that both the UGKS and DUGKS share the same behaviors in the whole flow regimes. This is also confirmed by a number of available numerical results. For instance, the shock structure of argon gas at different Mach numbers has been simulated by both the DUGKS and UGKS, and the results (density, temperature, shear stress, and heat flux) are nearly indistinguishable [33]. The Sod’s shock tube problem was also tested by both methods from continuum to free molecular regimes, and again nearly identical results were obtained [33]. Wang simulated the liddriven cavity flow at Kn=0.1, and the flow structures predicted by both methods were in excellent agreement [71]. Some comparisons of the DUGKS and UGKS for flows of binary gas mixtures in different flow regimes were also provided in [40], including the shock structure, channel flow, and cavity flow. The results confirm again the similar behaviors of both methods in all flow regimes. The comparison of computational costs for the onedimensional shock structure problem shows that the DUGKS is approximately 10%∼20% faster than the UGKS [71], which is consistent with the previous estimation.
Sample applications
Turbulent flows
Turbulent flows in a periodic box
The DUGKS has been applied to turbulent flows as a direct numerical simulation method. Wang et al. first studied the decaying homogeneous isotropic turbulence (DHIT) in a periodic cubic box [26]. In the study, simulations at different Taylor Reynold numbers Re_{λ} were performed. Some quantities characterizing the turbulent statistics were compared with those of the standard LBE and pseudospectral (PS) methods. It is shown that the instantaneous vorticity field and the spectra of the kinetic energy and dissipation rate at Re_{λ}=26.06 predicted by the DUGKS with a uniform mesh of size 256^{3} agreed well with those of the PS and LBE methods. The velocity derivative skewness and flatness were also compared at different Reynolds numbers and mesh resolutions. The results showed that the DUGKS could adequately resolve the flow when the minimum spatial resolution parameter k_{max}η>3, where k_{max} is the maximum resolved wave number and η is the flow Kolmogorov length. This resolution requirement can be compared with the requirements of k_{max}η>1 for the pseudospectral method and k_{max}η>2 for the LBE. This indicates that the DUGKS has a relatively large numerical dissipation compared with the LBE method, although both are of secondorder accuracy in time and space. The difference can be attributed to the finitevolume formulation of the DUGKS, while LBE is a Lagrangian scheme.
The DUGKS was also employed to simulate the Kida vortex flow with a relatively low Reynolds number [26] with the minimum k_{max}η=3.29. The results showed that the DUGKS could accurately predict the loworder statistics (total energy, dissipation rate, enstrophy, and velocity correlations), and could capture the smallest Kolmogorov length scale. The results of the pressurevelocity correlation also demonstrated that the DUGKS could well reproduce the incompressibility behavior of the flow.
Another turbulent flow simulated by the DUGKS is the TaylorGreen vortex in a periodic box [27]. The statistical properties, including the kinetic energy, dissipation rate, skewness, and flatness, were compared with the results of PS and LBE methods as well as a shorttime analytical solution. The results confirmed the dissipation property of the DUGKS as observed in [26].
The simulation results of the decaying turbulent flows in a periodic box suggest that the DUGKS is less accurate than LBE, which seems to be contradictory to the findings in the previous comparisons [59, 66]. The cause may be related to the different realizations of the noslip boundary condition on solid walls in the LBE and DUGKS. In LBE the bounceback rule is implemented at grid nodes which are not located at walls, while in DUGKS the rule is implemented at the cell surfaces located on walls. For flows with periodic boundaries, there are no influences from boundary conditions, and thus reflect more clearly the intrinsic dissipation nature of the methods. If this argument is sound, the DUGKS will be more effective for flows involving solid walls, particularly with nonuniform meshes clustered near boundaries.
Turbulent channel flows
The first attempt to apply the DUGKS to wallbounded turbulent flows was attributed to Bo et al. [27], in which a turbulent channel flow at Re_{τ}=180 was simulated with a nonuniform mesh with minimum mesh spacing Δy^{+}=0.425 in wall unit, which is sufficient to resolve the wall layer. For comparison, the standard LBE was also applied to this flow, but with a smaller computational domain due to the expensive computational costs with a uniform mesh.
The timeaveraged velocity and turbulent Reynolds stress predicted by the DUGKS were compared with the PS and LBE results. It was observed that the DUGKS results were in good agreement with the predictions of the PS and LBE methods. Particularly, the velocity profile fits well with the standard linear viscous sublayer scaling for y^{+}<5 and the inertial sublayer scaling starting at y^{+}>30. The averaged Reynolds stresses predicted by the three methods were also in good agreement. However, it was reported that for the statistic stationary mean flow speed (averaged over the whole flow domain), the DUGKS gave a better prediction than LBE in comparison with the PS result, with relative errors 0.5% and 1.1%, respectively. The rootmeansquare (rms) fluctuation velocities were also measured. Overall, the DUGKS gave better predictions than the LBE, particularly in the nearwall region. It should be noted that in the simulations the grid resolution used in the DUGKS was rather coarse in comparison with the PS method, and the grid cell aspect ratios near the wall were quite large. Actually, the maximum aspect ratio of streamwise to transverse grid spacing near the wall reached 41.62. Even with this grid ratio, the DUGKS was still numerically stable. It was also pointed out that the LBE with a uniform cubic grid could not handle the same domain size with limited computational resources.
Finally, it was shown that although the time step in DUGKS was small due to the use of nonuniform grid, the reduced number of grid points made the overall computational cost of DUGKS comparable to LBE [27]. The results also suggested while the DUGKS was used as a direct numerical simulation (DNS) tool since the local grid spacing was sufficiently small to adequately resolve all scales of the flow, it had the potential to be used as an implicit largeeddy simulation (LES) tool for highReynolds number flows at a given grid resolution due to its preferred numerical stability.
Turbulent natural convection
Besides isothermal turbulent problems, the DUGKS was also applied to turbulent flows with heat transfer. Wang et al. studied the natural convection of air in a threedimensional (3D) cavity using a simplified version of the DUGKS under the Boussinesq assumption [72], which is constructed based on two weakly coupled reduced kinetic equations for the velocity and temperature evolutions, respectively [73].
In the study, the flow characteristics were analyzed as the Rayleigh number (Ra) ranged from 10^{3} to 10^{10}. From the instantaneous velocity and temperature patterns on the symmetry planes for 10^{7}≤Ra≤10^{10}, it was found that both the temperature and velocity boundary layers near the two isothermal side walls became thinner with increasing Ra, while no apparent boundary layers were developed near the adiabatic walls. Two flow tunnels appeared near the center of the isothermal walls, and moved to the corners in the joint of isothermal and adiabatic walls with increasing Ra. In addition, as Ra increased above a critical value, the flow developed from steady to unsteady states and eventually turned to be turbulent as Ra≈10^{9}. It was also found that the lateral adiabatic walls had an inhibition effect on the temperature field, and the distribution of the local Nusselt number on the hot wall suggested that the lateral adiabatic walls could suppress the heat transfer. Generally, the convective intensity in the cavity center was observed to be stronger than that close to the adiabatic walls, while the effect of adiabatic walls on the overall heat transfer decreases with increasing Ra.
The timeaveraged characteristic quantities of interest on the symmetry plane for Ra up to 10^{10} were measured, and a scaling law between the Nusselt numbers (local and overall) and the Rayleigh number were identified, i.e.,
and
where Nu_{m} and Nu_{o} are the mean Nusselt numbers on the symmetry plane and the overall one, respectively. These correlations were shown to agree well with the available numerical and experimental data at several specific values of Ra.
Compressible flows
Besides nearly incompressible flows with low Mach numbers, the DUGKS has also been used to simulate a number of high Mach number (Ma) compressible flows. For instance, the onedimensional shock structure of argon gas was tested by the DUGKS based on the Shakhov model under different Mach numbers (1.2≤Ma≤8.0) [33]. It was found that the density, temperature, shear stress, and heat flux were nearly indistinguishable from the data of UGKS for all cases, and both were consistent with the Boltzmann solutions or DSMC results for Ma=1.2. For cases of Ma=3 and 8, the predicted density and stress still agreed well with the Boltzmann/DSMC solutions, but some discrepancies in temperature and heat flux appeared in the upstream, although they were still in good agreement with the benchmark data in the downstream. The inconsistency could be attributed to the use of single relaxation time in the Shakhov model. The simulation results also demonstrated that the DUGKS can serve as an effective shockcapturing scheme as the numerical cell size is much larger than meanfreepath.
The DUGKS was also employed to simulate the standard shock tube problem under different meanfreepaths. It was shown that the DUGKS could give satisfactory predictions from continuum to free molecular flow regimes. This property was also confirmed by simulating the 2D Riemann problem by comparing the numerical results with the Euler solution in the continuum limit and the analytical solution of the collisionless Boltzmann equation in the free molecular limit [33].
The supersonic flow over a circular cylinder at Ma=5 was simulated via the DUGKS with an unstructured mesh to investigate the influence of Knudsen number [48]. At Kn=0.1, it was found the DUGKS results, including heat flux, pressure, and shear stress along the cylinder surface, all agreed well with those of the DSMC results overall. But some small discrepancies in the temperature field in front of the bow shock were observed, which was attributed again to the difference between the Shakhov model and DSMC. For the case of Kn=1.0, the discrepancies in the front shock were more obvious due to the increase of nonequilibrium effects. However, the heat flux, normal pressure, and shear stress along the cylinder surface were still quite satisfactory in comparison with the DSMC data, which are critical quantities of interest in engineering applications.
The flow over two sidebyside identical circular cylinders with a gap at Ma=2 and Kn=0.1 was further simulated. Again the temperature and Mach number distributions were found to be nearly identical to the DSMC results, and it was observed that the gas could be chocked in the gap between the cylinders. The high temperature region in front of the cylinders covered the upstream of the gap, and the temperature dropped gradually at the downstream of the gap, where the gas was accelerated to supersonic speed. The heat flux, pressure, and shear stress on the cylinder were measured to quantify the results, and the results were in good agreement with the DSMC data.
A more challenging multiscale compressible flow was investigated using the DUGKS in [48]. In this problem, two cavities (A and B) filled with gas at different pressures were connected by a thin tube. Initially, a diaphragm was put at the middle of the channel, and the gas temperatures in the two cavities were set to be 273K. The initial pressures in cavities A and B were P_{A}=48.78Pa and P_{B}=0.004878Pa, respectively, such that the corresponding Knudsen numbers were Kn_{A}=0.001 and Kn_{B}=10, respectively. At time t=0, the diaphragm was removed suddenly, and the gas then started to expand from cavity A to cavity B. The dynamic behavior of the gas during the expansion process was then measured. It was found that the shock wave developed at an early stage and reached the center of cavity B. At this stage, the gas in cavity B was still very rarefied and underwent ballistically. The pressure in cavity B increased continuously with time as the gas moved in. The pressure ratio between the two cavities was high enough to form a supersonic jet at the outlet of the channel. At a later time, the initial shock wave disappeared and two symmetric vortexes appeared in cavity B. The detailed distributions of temperature, velocity and pressure during the expansion process showed that the shock wave was strong in the early stage, and became weaker gradually with time. It was also observed that the flow in cavity A changed slightly in the time interval, and the temperature and pressure were nearly uniform, but the temperature decreased with time as the international energy converted into kinetic energy during the expansion process.
Finally, we note that some compressible turbulent flows were investigated using the DUGKS by Wang and his colleagues [34, 35]. A 5thorder weighted essentially nonoscillatory (WENO) scheme was incorporated into the DUGKS to better reconstruct the distribution functions at cell interfaces, although the overall accuracy is still second order. The new DUGKS was tested by simulating the compressible DHIT problem with low and high initial turbulent Mach numbers and Taylor Reynolds numbers. The turbulence properties, such as turbulent kinetic energy, rms values of the fluctuations, and the probability density function (PDF) of the local Mach number, were compared with those of other highorder DNS results, and good agreement was observed. Particularly, the distribution of the local Knudsen number was measured as a typical feature of compressible turbulence, and some noncontinuum regions were identified in the flow field. Via the DUGKS, the influence of bulk viscosity on turbulence statistics and flow structures was also numerically studied. Overall, the results show that the DUGKS scheme can serve as a reliable tool for simulating compressible turbulence at low and moderate turbulent Mach numbers.
Micro flows
For micro flows of gases, a typical feature is the flow speed is usually small and the Knudsen number may vary in a wide range. Consequently, the DSMC method needs a long time averaging to lower the statistical noise, and it becomes computational expensive as Kn is small due to constraints on time step and mesh size. The classical DOM is free of statistical noise, but still suffers from expensive computational costs due to the timesplitting treatment of the collision and streaming processes as in DSMC. It is noted that some improved DSMC have been developed to reduce the noise, e.g., [74]. Particularly, a particle version of the DUGKS was proposed recently which can improve the performance of particle simulation greatly [75].
Unlike the DSMC and classical DOM, the DUGKS provides an efficient tool for the simulation of micro flows with the nice UP properties. Actually, a number of such systems have been investigated numerically by the DUGKS. The applications can be classified into two categories according to the devices. The first type is for devices with moving parts, and the second type is for those without any moving parts.
Flows in devices with moving parts
For problems of the first type, the micro Couette flow between two moving planar plates and the micro liddriven cavity flow have been investigated under isothermal condition in the first paper of the DUGKS series [19]. It was shown the nonlinear velocity near the walls could be successfully captured in the Couette flow at finite Knudsen numbers, and the shear stress was in excellent agreement with the results of DSMC and Boltzmann equation in whole flow regimes.
For the cavity flow, a typical feature is that the distribution function can be highly irregular with discontinuities induced by the walls, particularly around the corners, and the deviation from the local equilibrium increases with the Knudsen number. In the simulations, it was found that the DUGKS could yield satisfactory predictions that agreed excellently with the DSMC solutions as Kn changes from 0.1 to 8, and the slip velocity on the walls approached a finite value at each wall. However, vortex center was found to be close to the vertical center line of the cavity in all cases, and moved downward with increasing Kn. The micro cavity flow with the consideration of thermal effects was investigated later by the DUGKS based on the Shakhov model [48]. The flow characteristics ranging from continuum to free molecular regimes were analyzed and compared to the DSMC or NavierStokes results. It was observed the heat flux was not consistent with the Fourier law for noncontinuum flows, even as Kn=0.075. This observation is interesting, since generally it is believed that the NavierStokesFourier equations can still be used for simulating micro flows provided suitable slip and temperature jump boundary conditions are imposed. This test case clearly demonstrates this is not necessarily the case in some problems and we must be careful to use such an approach in the study of micro flows. A 3D micro cavity flow was also simulated with the DUGKS and compared with the DSMC results [76], which confirmed again the advantages of the DUGKS in simulating low speed micro flows.
Some unsteady micro flows in devices with moving parts were also investigated by the DUGKS. For instance, Wang and his colleagues conducted a number of studies on oscillating flows. In [77], the unsteady flow in a 2D rectangular cavity with an oscillating top lid was numerically investigated. To demonstrate the general flow characteristics of this problem, a number of simulations were performed under different conditions. Specifically, a wide range of parameters, including the aspect ratio of cavity width to length (A), the oscillation Mach number, the Strouhal number (St), and the Knudsen number, were considered. It was found that the flow properties, including the flow velocity, temperature, shear stress, and heat flux, were symmetrical about the vertical centerline of the cavity for Ma=0.01 as Kn changed from 0.001 to 10. Actually, in this case the magnitude of the oscillation was so small that the system was nearly linear. On the contrary, these flow properties became asymmetric at Ma=1.2 when the system was fully nonlinear, and the strength of shear stress near the topright corner of the cavity could be much larger than that at the topleft corner, while the temperature at the topright corner could be significantly higher than the wall temperature. An interesting phenomenon was reported that the heat transfer behavior could be altered by the oscillation. Previously, it was shown that heat could be transferred from the cold to hot regions for low speed cavity flow with constant driven velocity in noncontinuum regimes [48]. However, as the oscillation frequency was above a certain value, it was found that heat was still transferred from hot to cold regions for both Ma=0.01 and 1.2, although the heat flux could be nonparallel to the temperature gradient. The damping force exerted on the oscillating lid was found to depend on the Strouhal number nonmonotonously generally, which was attributed to the antiresonance and resonance of rarefied gas flows, respectively. Then scaling laws for the antiresonance frequency and the inverse aspect ratio of the cavity were established for cases from near continuum to highly rarefied regimes.
The study of 2D oscillating cavity flow was later extended to 3D case with a small Mach number [78], focusing on the confinement effects of the additional lateral walls on the damping force on the lid. It was found the damping force in a 3D cavity could even be smaller than that in a 2D one for highly rarefied flows with a low oscillation frequency. Furthermore, the damping force was found to increase with decreasing depth of the cavity due to the effect of gas antiresonance as the frequency was high for highly rarefied flow. It was also shown that the gas resonance and antiresonance phenomena appeared in 2D cavity also occurred in 3D case, but the presence of the lateral walls tended to suppress their formation. Similar to the 2D cavity case, linear scaling laws for the antiresonance and resonance frequencies were also obtained for flows from near continuum to free molecular regimes, which suggested that reducing the Knudsen number and increasing the aspect ratio of the cavity could enhance the 3D effects on formation of gas resonance and antiresonance.
Further study on the effects of oscillation on heat transfer in a 2D square cavity was conducted [79]. It was found that the thermal convection could be dramatically enhanced under oscillation conditions even at moderate Knudsen numbers, which played a dominant role in the heat transfer. The average Nusselt number on the lid was found to decrease with increasing Kn, and could vary nonmonotonically with the oscillation frequency, with the maximum occurring at nearly the antiresonance frequency.
Flows in devices without moving parts
For micro flows in devices without moving parts, Zhu and his colleagues studied a number of micro flows driven by temperature difference [29, 30, 32]. Under rarefied conditions, gas flows can be induced by nonuniform temperature fields or temperature changes at solid boundaries. Generally, different types of such flows can be identified, e.g., thermal creep (or thermal transpiration) flow in a channel as the temperature gradient is applied along the channel walls, radiometric flow around a solid plate with different surface temperatures immersed in a vacuum, flow between a heated cantilever next to a cold substrate inside a vacuum enclosure, and flow induced by temperature discontinuity. Although the flow velocity of such flows is usually very low, they have potential applications such as Knudsen pump and mesosphere flight vehicle. Zhu and Guo [32] explored these four types of thermally induced flows in 2D geometries for a wide range of Knudsen numbers. Specifically, the thermal creep flow in a closed channel at a lengthtowidth ratio of 5 was simulated, where the temperatures at two ends were maintained at two different constants while the temperatures on the two lateral side walls were both linearly distributed between the two end ones. It was observed that the flow patterns could be quite different at different Knudsen numbers (0.01≤Kn≤10).
The flow induced by a hot micro beam with square cross section immersed in a square cavity was further numerically studied [32]. It is known that a flow would develop around a heated object as the separation between it and a cold substrate is comparable to the mean free path of the gas, and hence a net force (Knudsen force) will be exerted on the object. Therefore, as the micro beam and the outer cavity wall serve as the heated object and the cold substrate, respectively, a flow will also be induced. Such flow is fundamentally different from the thermal creep flow. It is actually caused by the combined effects of thermal stress flow and thermal edge flow due to the inhomogeneity of the temperature gradient and the sharp corners of the micro beam. Three cases, i.e., Kn=0.1, 1, and 10, were considered in the study. It was found that some complicated vortexes were developed at the corners of the micro beam in each case, and the nonuniformities of both the normal stress and the shear stress along the micro beam surface tended to be more obvious as the Knudsen number decreased, and the stresses were accumulated near the corners of the micro beam.
Another thermally induced flow considered in [32] was the radiometric flow generated by a small fixed plate with differentially heated sides placed in a chamber with cold walls. Two Knudsen numbers were considered, i.e., Kn=0.1 and 1. It was found four vortexes appeared at the corners of the plate in each case, and the strength and sizes of the vortex were nearly the same at Kn=1. But at Kn=0.1, the sizes of the two vortexes near the cold surface of the plate were smaller than the two ones near the hot surface. The pressure (normal stress) difference between the hot and cold surfaces of the plate along the vertical direction, which is the main contribution to the radiometric force, was also measured. It was shown that the pressure difference was nearly uniform along the plate surface in the vertical direction at Kn=1, but was nonuniform and became larger near the top and bottom surfaces of the plate at Kn=0.1, and the smallest pressure difference was still larger than that in the case of Kn=1.
The micro flow in a fixed square cavity induced by temperature discontinuities was also investigated in [32]. In this problem, the top wall maintained at a higher temperature (T_{h}), and the other walls maintained at a lower one (T_{c}). The temperature discontinuities at the two upper corners could induce a flow in the cavity. The flow and heat transfer behaviors from continuum to free molecular regimes were analyzed. It was observed that in the continuum limit (Kn=0.001), the velocity was rather weak and no vortex appeared, and the temperature could be well described by the heat conduction equation as (T_{h}−T_{c})/T_{c}≪1, which has an analytical solution. For the slip (Kn=0.1) and transitional (Kn=1) cases, two pairs of vortexes appeared symmetrically along the vertical center line of the cavity. As Kn=10, a number of secondary vortexes appeared and the flow pattern became more complicated.
Some of the DUGKS results for the four cases were confirmed by DSMC [32]. It was shown that generally the predictions of both methods were in good agreement. But some discrepancies could be observed for large Kn, which could be attributed to the differences between the relaxation model employed in the DUGKS and the collision model in DSMC. However, some statistical noises were observed in the DSMC results as expected.
Recently, the DUGKS, together with the DSMC, was employed to study the flow and heat transfer behaviors in three categories of radiometric pumps consisting of channels with bottom or top surfaces periodically patterned with different structures [80]. The dominant mechanism in the radiometric force production was analyzed and operational performance of the devices was evaluated based on the numerical results. The analysis showed that the zigzag channel could generate maximum velocity with a parabolic profile, but the net radiometric force was rather weak in this case. For other configurations, the flow exhibited a linear profile in the open section of the channel. It was revealed that the radiometric force was produced due to the difference in particle momentum on both sides of the fins, and the mechanism was different from the standard Crookes radiometer due to the presence of the bottom surfaces. The mass flux was found to be a nonlinear function of the temperature difference, and its dependence on Kn was mainly caused by the structures of temperature field under different configurations.
Flows in devices with moving parts and temperature differences
Micro flows in devices with both moving parts and temperature differences were also studied, e.g., [30]. In such problems the overall flow was generated by both the forced motion of the moving part and the inhomogeneity of temperature. In [30], the nonequilibrium gas flow in a twodimensional microchannel with a fixed hot ratchet surface and a moving cold wall was investigated via the DUGKS. With the periodic asymmetrical ratchet structures on the bottom wall and the temperature difference between the channel walls, a flow could be induced and a tangential propelling force could be generated on the wall.
Such thermally induced propelling mechanism could be utilized as a model heat engine. In the study, the flow field and propelling force were measured under different wall velocities and Knudsen numbers. Particularly, the flow fields at the critical wall velocity, at which the thermally induced force just balanced the drag force due to the active motion of the top wall, were analyzed. It was found the force changed linearly with the wall velocity, and the forces on the static wall and the top wall velocity at shearfree state achieved their maximum values as 0.1≤Kn≤1. The magnitude of the force was linearly dependent on the wall temperature difference, while the relative height of the ratchet structures affected the thermal driving effect significantly. A counterintuitive relation between the flow direction and the shear force was also observed in highly rarefied conditions.
The output power and thermal efficiency of the system working as a model heat engine were also analyzed based on the momentum and energy transfer between the walls. The effects of Knudsen number, temperature difference, and geometric configurations were investigated. It was shown that the power output and the thermal efficiency achieved the maximum values in the early transition regime and were significantly larger than those in the free molecular regime. These results were helpful for improving the mechanical performance of the device.
In summary, the available results show that the DUGKS can be faithfully used for lowspeed micro flows, and the deterministic nature of the DUGKS makes it much more efficient than DSMC for such systems.
Extensions to complex fluid flows
Twophase flows
The DUGKS has been extended to isothermal twophase flows based on some phasefiled models. In such cases, the DUGKS can be viewed as a special finitevolume counterpart of the LBE method. In phasefield theory for a binary fluid system, the thermodynamic behavior is described by a freeenergy function related to an order parameter ϕ and its spatial derivatives. The order parameter is used to distinguish the fluid phase and varies continuously from one phase to the other, and the thickness of the fluid interface is finite. A widely used model in phasefield theory is the Landau freeenergy function defined as
where ψ(ϕ) is the bulk freeenergy density, which usually takes a doublewell formulation; κ is a parameter related to surface tension, and V is the system volume. When coupled with a flow field, the evolution of order parameter can be described by certain convectiondiffusion equations, such as the CahnHilliard equation and the AllenCahn equation.
The first DUGKS for immiscible twophase flows was developed by Zhang et al. based on a quasiincompressible NavierStokes equations and the CahnHilliard equation [36], in which the governing equations read
where the parameter γ is related to the density ratio of the two fluids, λ is the mobility for the order parameter, and F_{s}=−ϕ∇μ_{ϕ} is the interfacial force with \(\mu _{\phi }=\delta {\mathcal {F}}/\delta \phi \) being the chemical potential. The DUGKS was constructed based on two discrete velocity kinetic equations,
where \(f_{i}^{(eq)}(p,{\boldsymbol {u}})\) and \(g_{i}^{(eq)}(\phi)\) are the equilibrium distribution functions for the flow and phase fields, respectively, and τ_{f} and τ_{g} are the corresponding relaxation times. With welldefined \(f_{i}^{(eq)}(p,{\boldsymbol {u}})\) and \(g_{i}^{(eq)}(\phi)\) as well as F_{i} and S_{i}, it can be shown that the discrete velocity Eq. (52) can reproduce the hydrodynamic Eq. (51) in the limit of small Knudsen number via the ChapmanEnskog analysis.
Zhang et al. then solved the kinetic Eq. (52) following the DUGKS framework, and simulated a number of twophase fluid systems. For the problem of a stationary droplet immersed in another fluid, it was demonstrated that the DUGKS could predict the Laplace law correctly, and showed better conservation property than the corresponding LBE. A layered twofluid flow in a channel with large viscosity ratio (up to 10^{3}) was also investigated, and the velocity profiles were well predicted. Particularly, by taking the advantage of nonuniform mesh, the numerical accuracy near the fluid interface was much improved. The test of a rising bubble under gravity showed that the shapes and positions of the bubble in the time history were well captured at different density ratios, and the numerical stability of DUGKS at large density ratio seemed to be better than the corresponding LBE. The RayleighTaylor instability phenomenon of two fluids under gravity was further simulated. The results at different Atwood and Reynolds numbers showed that the positions of both bubble front and spike tip, as well as the interface growth amplitude, agreed well quantitatively with the previous numerical results and existing experimental data.
Chen et al. later employed the above DUGKS to study [37] the 3D RayleighTaylor instability and twophase homogeneous isotropic decaying turbulence. The results from the DUGKS were compared to those of the corresponding LBE and/or ARCHER code based on the Coupled Level SetVolume of Fluid (CLSVOF) method [81]. The results demonstrated the reliability of DUGKS. For the RayleighTaylor instability problem, a quantitative comparison was performed by tracking the position of the bubble, spike, and saddle points in the time history. It was found that the bubble front and saddle locations predicted by both DUGKS and ARCHER were in excellent agreement. For the spike, the results from both DUGKS and ARCHER were also in excellent agreement at early times. While at later times, the DUGKS predicted a lower spike location, which could be attributed to the numerical dissipation in both methods. For the twophase decaying homogeneous isotropic turbulence, a droplet was initially positioned in a turbulent flow field. A key issue of this problem is to set up a consistent initial velocity field across the droplet interface. In [37], a forced homogeneous isotropic turbulence was first run using the ARCHER code to create a developed single phase turbulent velocity field. Then a solid particle, which was treated by an immersed boundary method, was put into the flow field. After several large eddy turnover times, the velocity field was used to initialize the twophase flow by replacing the solid particle by the droplet with the same size. The time evolutions of the velocity and vorticity fields predicted by both DUGKS and ARCHER were compared, and it was observed that the complexity of the interface topology increased with time, and the results of both methods were in excellent agreement.
To further improve the capability in simulating two fluid flows with large density ratio, a DUGKS based on the incompressible NavierStokes equations coupled with a conservative AllenCahn phasefield model was developed in [82]. Two discretevelocity kinetic equations in the formulation of (52) were again adopted as the starting point, but with different definitions of equilibrium distribution functions and source terms. The method was then employed to simulate a number of stationary and dynamic problems with density ratio up to 1000, and reliable solutions were obtained. But in comparison with the corresponding LBE, it was found that the numerical dissipation of DUGKS was relatively large and could destroy the interface structures, which suggested that a highorder DUGKS is preferred for twophase systems involving complex interface changes.
The DUGKS method was also applied to solidliquid phase change problems [83]. The flow field is governed by the NavierStokes equations, and the energy field is described by an equation for the enthalpy,
where H is the total enthalpy. Two discrete velocity kinetic equations with the formulation of (52) were designed in which the equilibrium distribution functions and source terms were chosen such that the governing equations could be recovered in the ChampanEnskog analysis. Then the two kinetic equations were discretized following the DUGKS procedure. A number of phase change problems, including the tworegion phase change, phase change under constant heat flux and natural convection with phase change, were simulated. The results predicted by the DUGKS were compared with benchmark solutions and satisfactory agreement was observed. The dynamic movement of the solidliquid interface during phase change processes was accurately captured. Particularly, for the natural convection problem, it was found that the temperature field near the interface could be predicted by the DUGKS and was more accurate than LBE.
Gassolid flows
Flows with solid particles are another type of twophase system. A number of direct numerical simulation methods for continuum particulate systems with resolved particle shapes have been developed, such as LBE, immersedboundary method (IBM) [84], and fictitious domain method (FDM) [85]. Recently, the DUGKS was applied to particulate flows by treating the solid body with the immersedboundary (IB) technique [86–88].
In the IBDUGKS method for isothermal particulate flows [86], the entire domain, including the interior of solid particles, is assumed to be filled with fluid, and the surface of a particle is discretized into a set of Lagrangian points X_{l}(l=1,2,⋯,N_{L}). The interaction between fluid and solid body is realized by adding an immersed boundary force to the fluid, which is distributed from the Lagrangian points to the Eulerian mesh with cell centers x_{j}(j=1,2,⋯,N_{E}) employed by the DUGKS. The acceleration due to the IB force, a_{l} at the Lagrangian point X_{l} is determined by the velocity difference between the fluid and solid body at the point,
where U_{l} and u_{l} are the desired velocity and the intermediate fluid velocity (without IB force) at X_{l}, respectively. For a solid particle, U_{l}=u_{p}+ω_{p}×(X_{l}−x_{p}), with u_{p} and ω_{p} the translational and rotational velocities of the particle, and x_{p} the position of particle center. The intermediate fluid velocity u_{l} is interpolated from the fluid field using certain local weight functions such as the smoothed Dirac δ function. The calculated force a_{l} is then distributed back to the Eulerian points using the same interpolation function to obtain the body force a for the fluid. This procedure can be iterated to ensure the noslip boundary condition accurately [86].
Once the IB force is determined, the fluid can feel the existence of immersed boundary of the solid particle, and the BGK equation for the fluid can be written as
where the forcing term is F=−a·∇_{ξ}f, with a being the acceleration due to the IB force, can be simplified for continuum flows,
In order to solve Eq. (55) with the DUGKS, the Strang splitting scheme is employed in the IBDUGKS, where the evolution of the distribution function at time step t_{n} follows three steps,

(1)
Preforcing step: Advance f^{n} in each cell to obtain the first intermediate value,
$$ \tilde{f}^{*}=\tilde{f}^{n} + 0.5 \Delta t F\left(\rho^{n}, {\boldsymbol{u}}^{n}\right); $$(57) 
(2)
DUGKS step without force: Advance \(\tilde {f}^{*}\) following the standard DUGKS without forcing term to obtain the second intermediate value \(\tilde {f}^{**}\);

(3)
Postforcing step: Advance f^{∗∗} to obtain the distribution function at next step,
$$ \tilde{f}^{n+1}=\tilde{f}^{**} + 0.5 \Delta t F\left(\rho^{**}, {\boldsymbol{u}}^{**}\right). $$(58)
The dynamic of the solid particle in the IBDUGKS follows the Newton’s law,
where M_{p} and I_{p} are the mass and moment of inertia of the particle, respectively, F_{p} is the total force on the particle including the counteracting IB force, and T_{p} is the corresponding total torque.
The accuracy of the IBDUGKS was tested by simulating several 2D and 3D particulate flows, including the sedimentation of a particle and the draftingkissingtumbling (DKT) dynamics of two particles in a channel, and a group of particles settling in an enclosure. The numerical results predicted by the IBDUGKS were found to be in good agreement with benchmark data.
Recently, the IBDUGKS was further extended to systems with heat transfer between fluid and solid bodies with fixed temperature following similar idea [87, 88], in which the energy equation was solved by another BGK equation for temperature distribution function. Specifically, a noniterative technique was proposed to realize the exact velocity and temperature boundary conditions on the solid surface in the method reported in [87]. Both IBDUGKS methods were tested by several thermal flows involving stationary solid bodies, but no results were reported for flow problems with moving bodies.
Gasmixture flows
Multiscale flows of gas mixtures are widely encountered in many industrial and natural processes, and the transport of each gas species can be described by a Boltzmann equation with intermolecular collisions between the same and different species. A number of simplified kinetic models have been proposed, among which the McCormack model [89] and the AndriesAokiPerthame (AAP) [90] model are widely used. The former is a model with a linearized collision operator under the assumption of slight deviation from equilibrium, while the AAP model uses a single BGK operator in which both self and crosscollision effects are incorporated.
Zhang et al. developed a DUGKS for multiscale binary mixture flows based on the following AAP model [40],
where f_{α} is the distribution function for species α, and the equilibrium distribution function is defined as
where m_{α} and ρ_{α} are the molecular mass and density of species α, \({\boldsymbol {u}}_{\alpha }^{*}\) and \(T_{\alpha }^{*}\) are two parameters related to the hydrodynamic variables W_{α}=(ρ_{α},ρ_{α}u_{α},ρ_{α}E_{α}) for each species, which are defined as the moments of f_{α} similar to that for a single gas given by Eq. (3). Specifically, \({\boldsymbol {u}}_{\alpha }^{*}\) and \(T_{\alpha }^{*}\) are defined such that the total mass, momentum, and energy are conserved [90]. Generally, \({\boldsymbol {u}}_{\alpha }^{*}(\boldsymbol {W})\) and \(T_{\alpha }^{*}(\boldsymbol {W})\) are nonlinear functions and depend on interaction potential between molecules, which can be simplified for Maxwell molecules.
The DUGKS can then be constructed based on Eq. (60), similar to that for the single gas BGK Eq. (1). But a nonlinear system must be solved to determine \({\boldsymbol {u}}_{\alpha }^{*}(\boldsymbol {W})\) and \(T_{\alpha }^{*}(\boldsymbol {W})\) in the calculation of equilibrium distribution functions, which appear in both the update of cellaveraged variables and flux evaluation at cell interfaces.
The above AAPDUGKS was applied to several 1D and 2D flows of binary mixtures with different mass ratios at different regimes, including the shock structure problem, the channel flows driven by a small pressure, temperature, or concentration gradient, the 2D plane Couette flow, and the cavity flow. Overall the DUGKS results agreed well with benchmark data obtained by the UGKS, DSMC, and/or the linearized Boltzmann equation. However, it was found that there existed some deviations for the light species as the difference in molecular masses was large, particularly at large Knudsen numbers. The discrepancies could be attributed to the limitations of the AAP model such as the incompatible transport coefficients.
In order to overcome the deficiency of the AAPbased DUGKS, a DUGKS based on the linear McCormack model was later developed [41]. In the McCormack model, it is assumed that the perturbations in concentration, pressure, and/or temperature are small (and thus the velocity is also small), then the system deviates slightly from the global equilibrium such that the collision term in the Boltzmann equation can be linearized [89]. The velocity moments of the collision term of the McCormack model match those of the Boltzmann equation up to third order, thus leading to the same transport coefficients as the latter.
The McCormack model can be expressed as
where h_{α} is the perturbation defined by \(f_{\alpha } = f_{\alpha }^{(0)}(1+h \epsilon)\), with ε being the perturbation and
Here ρ_{α0} and T_{0} are the reference density of species α and reference temperature, respectively. The linearized collision operator can be expressed explicitly [41, 89].
Based on Eq. (62), the DUGKS was constructed for solving the perturbation distribution functions h_{α} following the same idea as the original DUGKS [40]. A number of lowspeed binary mixture flows covering a wide range of flow regimes were simulated to test the DUGKS. Since the McCormack model can reproduce all transport coefficients, it is not surprising that the results of the McCormackDUGKS were in better agreement with those of the linearized and full Boltzmann equations than the AAPDUGKS, particularly in the transitional and nearcontinuum regimes for systems with large molecular mass difference. However, it should be noted that the McCormackDUGKS can only be applied to the low speed flows that slightly deviate from equilibrium and is unsuitable for nonlinear problems. Therefore, there is still much room to improve DUGKS for more general multiscale mixture flows.
Strongly inhomogeneous flows
As a fluid is confined in a nanoscale structure, the solidfluid interaction is significant and fluid properties may become strongly inhomogeneous. For such systems, the molecular size σ may be comparable to the device size L, and the confinement effect cannot be ignored. Therefore, besides the Knudsen number, the ratio σ/L is also a key dimensionless parameter, which is usually taken to be zero in the classical kinetic theories for homogeneous or weak inhomogeneous fluids. Consequently, the classical Boltzmann equation for ideal gases and Enskog equation for dense gases, are not adequate to describe such systems. Some modified kinetic models have been developed and employed to study static or dynamic behaviors of nanoconfined fluids. For instance, a tractable kinetic model was proposed based on the local average density approximation and densityfunctional theory [91]. Based on this model, a DUGKS was developed for nanoconfined strongly inhomogeneous fluid systems recently [92].
The tractable inhomogeneous kinetic model reads [91],
where ϕ_{e} is the external potential such as gravity or that exerted by the confined walls, ϕ_{m}(n) is the mean field potential induced by other fluid molecules dependent on the local number density n, and \(J_{ex}\left (n,\bar {n}\right)\) is the excess part of the collision beyond the hardcore Boltzmann one, with \(\bar {n}\) being a weighted average number density. The detailed expressions of J_{ex} and \(\bar {n}\) can be found in [91]. The relaxation time τ also depends on both n and \(\bar {n}\) to account for the inhomogeneity, i.e., \(\tau =\mu (\bar {n})/n k_{B} T\), where \(\mu (\bar {n})\) is the viscosity for a dense gas with number density \(\bar {n}\) derived from the Enskog theory for homogeneous fluids.
The kinetic Eq. (64) can be regrouped as
where G is the collection of the potential term and J_{ex}. Then the DUGKS can be constructed to solve Eq. (65) by employing the Strang splitting technique as shown in Section 6.2. Note that significant density oscillations may occur in a strongly inhomogeneous fluid system, so the van Leer limiter was employed in the flux reconstruction during the DUGKS step without force.
The static structures and dynamic behaviors of dense fluids in slits were simulated by the DUGKS. The effects of fluid density, slit size, fluidfluid and fluidwall interactions, were investigated. The DUGKS results were in good agreement with those of the Monte Carlo and/or molecular dynamic simulations. Particularly, the layered structures due to the competition between fluidfluid and fluidwall interactions were successfully captured. Furthermore, in order to evaluate the local nonequilibrium effects, the local effective Knudsen number Kn_{e} was measured, which is defined as
where \(\chi (\bar {n})\) is the radial distribution function evaluated with the average number density. It was found that Kn_{e} could vary from 10^{−4} to the order of 100 in the system. The simulation results also showed that the velocity profiles of the Couette flow and the Poiseuille flow deviated from the NavierStokes solutions clearly, as a result of the inhomogeneous nature of the dense fluids in nano confined geometries.
Multiscale transports beyond fluid flows
Besides gas molecules, other energy carriers such as phonons, photons, electrons, and plasma, can also undergo multiscale transports. The Boltzmann equations with different equilibrium statistics can also be employed to describe the transports of such particles [93]. Based on certain kinetic models, the DUGKS has been extended to such systems recently. A few examples will be given briefly in this section.
Phonon heat transfer
A phonon is a quantum of lattice vibrational energy in crystalline solids and has particlelike properties [94]. Phonon transport is the main mechanism for heat transfer in semiconductors and dielectrics. Heat transfer process in nanostructures of such materials usually involves multiple temporal and spatial scales, characterized by the Knudsen number defined as the ratio of phonon mean free path and typical length of the material. The Boltzmann equation can be used to describe the phonon transport when the phase coherence effects are negligible, which can be expressed as
where f_{p}=f_{p}(x,k_{p},s,t)=f_{p}(x,ω_{p},s,t) is the distribution function for phonons of polarization branch p with wave number k_{p} (or frequency ω_{p}) at position x and time t; v_{p}=∂ω_{p}/∂k_{p}=v_{p}s is the group velocity with which the phonon travels along the unit direction s, and Q_{p} represents the rate of change due to phonon scatterings.
The scattering between phonons is quite complicated, and a widely used model is the BGKlike one,
where \(f_{p}^{(eq)}(T^{*})\) is the equilibrium distribution following the BoseEinstein statistics,
where \(\hbar \) is the Planck’s constant divided by 2π, and T^{∗} is a local pseudotemperature which is introduced to ensure the energy conservation of the scattering term, and may be different from the thermodynamic temperature T defined below. The effective relaxation time τ_{p}(ω_{p},T) reflects the combination effects of all scattering processes and is usually estimated using the Matthiessen’s rule if the individual scattering processes are independent of each other [94]. The mean free path of phonons is related to the relaxation time, i.e., λ=τ_{p}v_{0}, with v_{0} being a typical value of the phonon group velocity. It should be noted that the mean free path depends on the frequency, polarization, and temperature, and can change over several orders of magnitude. Therefore, the phonon transport exhibits an intrinsic multiscale nature.
The energy and heat flux carried by phonons are defined from the distribution function,
where D_{p}(ω) is the density of state and Ω is the solid angle. The thermodynamic temperature T and pseudotemperature T^{∗} are defined from the following constraints,
It is noted that as τ_{p} is frequency and polarizationindependent, the above two constraints are identical and T=T^{∗}. The temperature T is related to the energy as T=E/C_{v}, with C_{v} being the volume specific heat capacity.
Even with the relaxation time approximation, the kinetic equation for phonon transport is still difficult to solve due to the dependence of frequency and polarization. Some further simplified models have been proposed to reduce the complicity [94]. For instance, the gray model assumes phonons of all polarizations and frequencies are same and the group speed v=v_{g}s, with v_{g} a constant. In this case we can introduce an energy distribution function independent of frequency and polarization,
Then the total phonon energy E and heat flux q can be determined from e^{′′},
The transport equation for the energy distribution function can be written as
where τ is now a singlet frequencyindependent relaxation time, but it may still depend on temperature. The equilibrium energy distribution e^{(eq)} is given by
which is just the angular average of the total energy. Apparently, the scattering term in the gray model defined above conserves the total energy.
The gray model (74) has the same formulation as the BGK Eq. (1) for gas molecules, and a DUGKS could be constructed straightforwardly, which was reported in [42]. It was proved rigorously that the DUGKS is a LaxWendroff discretization of the kinetic equation without the scattering term, while becomes a finitevolume scheme for the diffusion equation in diffusive limit. This analysis suggests that the DUGKS has the unified preserving properties [12] and can serve as an ideal method for multiscale phonon transport problems. The property was also numerically verified by simulating several steady and unsteady heat transfer problems at different regimes. Particularly, a multiscale heat transfer across an inhomogeneous film with Kn changes from 10^{−4} to 10 was investigated, and the multiscale transient heat transfer behaviors were successfully captured even with a coarse mesh and large time step. On the contrary, the classical DOM failed to capture the behaviors unless a very fine mesh was employed. Consequently, the DUGKS was much more computational efficient than DOM for this multiscale problem.
Although the gray model is simple and can provide some insightful predictions on the phonon transport behaviors, the energy exchange between different modes cannot be clearly identified in this model. Consequently, the DUGKS based on the gray model is limited to systems where the phonon relaxation mechanisms are unimportant. A DUGKS for phonon transport with the consideration of dispersion and polarization effects was later proposed [44]. The model was based on the assumption that the temperature difference in the system is small enough, i.e., ΔT=T−T_{0}≪T_{0} (T_{0} is the reference temperature). Under this assumption, the relaxation time and specific heat can be regarded as temperatureindependent, and the thermodynamic temperature T and pseudotemperature in \(f_{p}^{(eq)}\) can be regarded to be indifferentiable. Then the kinetic equation can be linearized and can be written in terms of the deviational distribution function \(g_{p}=\hbar \omega _{p} D_{p}(\omega)\left [f_{p}f_{p}^{(eq)}(T_{0})\right ]\), which reads
where
with \(C_{p}(\omega)= \hbar \omega _{p} D_{p}(\omega)\partial f_{p}^{(eq)}/\partial T\) being the mode specific heat capacity. The DUGKS was then constructed based on Eq. (76), and was verified by simulating several phononmediated heat conduction problems from ballistic to diffusive regimes [44].
Although the frequency and polarization effects are considered in the above improved DUGKS, it is limited to systems with small temperature difference and thus linear phonon transports. A DUGKS for multiscale heat transfer with arbitrary temperature difference was developed recently [43], which was based on the nonlinear relaxation model (67) together with (68). Different from the two DUGKS methods based on the gray model and the linear relaxation model in which only one temperature (T) is involved, two temperatures (T and T^{∗}) appeared in the nonlinear DUGKS, which must be computed in the evolution. This was achieved by solving the nonlinear system Eq. (71) by the Newton iteration procedure. The numerical results of some steady and transient heat transfer problems showed that this nonlinear DUGKS could capture the multiscale phonon transport accurately for systems with both large and small temperature differences. Particularly, it was observed that the thermal transport phenomena with large temperature differences could behave quite differently from those with small ones, owing to the temperaturedependent relaxation time. Generally, the average temperature increased in ballistic regime but decreased in diffusive regime with the increase of temperature difference. Therefore, it is necessary to simultaneously consider the multiscale effects in both spatial and frequency spaces for problems with large temperature differences.
Overall, the DUGKS’s based on different kinetic models for phonon transport provide efficient tools for predicting multiscale heat transfer problems. It is also noted that some special techniques were developed to accelerate the convergence for steady problems [95, 96].
Radiation heat transfer
Radiative heat transfer caused by electromagnetic waves (or photons) is another type of transport phenomena, which can undergo multiscale behaviors with the change of optical thickness of the medium. The transport of photons can be described by the Boltzmann equation for the distribution function of photons f(x,s,ν,t), where s is the unit direction vector of photon propagation and ν is the photon frequency. However, radiative heat transfer is usually described in terms of the radiative intensity I=hνcf, where c is the light speed and h is the Planck constant. For gray media where the frequency dependence is ignored, the radiative heat transfer equation (RTE) can be written as
where Q is the collision operator accounting for the interactions between photons and surrounding matter, which can be expressed as
where β is the extinction coefficient that is the inverse of the local mean free path of photos, ω is the scattering albedo, I_{b} is the blackbody intensity, and Φ(s^{′},s) is the scattering phase function which describes the fraction of the radiative energy scattered into the outgoing direction s from the incoming direction s, with Ω^{′} being the corresponding solid angle.
The scattering phase function Φ(s^{′},s) satisfies the normalization condition, i.e.,
For isotropic scattering problems, Φ=1; while for anisotropic radiation, Φ depends on the scattering angle and can be approximated by a finite series of Legendre polynomials. For equilibrium radiation, the blackbody intensity I_{b} is determined by energy conservation, i.e.,
while for nonequilibrium systems, it is given by the StefanBoltzmann law,
where σ is the StefanBoltzmann constant and T is the local temperature of the medium. The radiative energy G and heat flux q are defined as the moments of I,
The RTE (77) can also be written in other formulations. For example, in order to reduce the ray effect from boundaries, the RTE can be rewritten in a splitting formulation [97],
where I=I_{c}+I_{d}, I_{c}(x,s,t) is the direct intensity from boundaries and I_{d}(x,s,t) is the diffuse one resulting from emission within the medium. The solution of I_{c} can be given analytically with prescribed boundary conditions, and I_{d} can be obtained numerically by solving Eq. (83b).
Based on Eq. (83), Luo et al. developed the first DUGKS for isotropic radiative heat transfer problems [45]. Equation (83b), together with the analytical solution of I_{c}, is solved with the procedure of DUGKS. The method was validated by simulating a number of transient and steady problems, including the transient radiative transfer in a planeparallel slab filled with an absorbingscattering medium, the equilibrium and nonequilibrium steadystate radiative heat transfer in a twodimensional square medium, and a threedimensional multiscale radiative transfer problem in a cube filled with an inhomogeneous absorbingscattering medium. It was confirmed that the DUGKS exhibited the asymptotic preserving property such that it could give accurate solutions for systems with different optical thicknesses with relatively coarse meshes. Particularly, the DUGKS was found to be more computational efficient than conventional numerical methods in the optically thick regime. Furthermore, the results also demonstrated the good capability of the DUGKS in capturing the sharp spatial discontinuities in the radiation field and modeling multiscale radiative transfer.
The DUGKS developed in [45] is for isotropic media with Φ=1. Recently, a DUGKS for anisotropic radiative heat transfer was developed based on the RTE (77) directly [46]. A difficulty in this DUGKS arises in the relations between the original radiation intensity and the transformed ones due to the nonlinear anisotropic phase function Φ. In isotropic case, the transformations are explicit, but for anisotropic media the relations are implicit. A simple iterative method was suggested in the calculations, which was shown to be able to give satisfied predictions [46]. But more efficient methods are desirable to improve the computational efficiency. The DUGKS was tested by simulating several 1D and 2D anisotropic radiative transfer problems with different optical thicknesses. The results confirmed the DUGKS exhibited the nice unified preserving properties and could serve as an efficient and accurate tool for radiative heat transfer in multiscale anisotropic media.
Plasma
A plasma is a partially or fully ionized gas containing electrons, ions, and neutral atoms or molecules [98]. The transport of different particles in a plasma can be modelled at different scales. Particularly, certain kinetic models of Boltzmann type have been developed to describe the evolution of a plasma at the kinetic scale, such as the Vlasov equation, the BhatnagarGrossKrook equation, and the FokkerPlanck equation, coupled with the Poisson equation for electric potential, or more generally with the Maxwell equations to include magnetic and electromagnetic effects.
Like the usual gas systems, plasma dynamics is characterized by a wide range of spatial and temporal scales. Furthermore, in addition to the mean free path λ and collision time, two additional typical length and time scales are involved in a plasma, i.e., the Debye length λ_{Dk} and plasma oscillation period \(\omega _{pk}^{1}\) for particles of type k, where
with species particle mass m_{k}, number density n_{k}, vacuum permittivity ε_{0}, and electric charge q_{k}. The overall Debye length λ_{D}, which is defined by \(\lambda _{D}^{2}={\sum \nolimits }_{k}{\lambda _{Dk}^{2}}\), characterizes the range over which longrange electric interactions are screened out. As the parameter ε_{D}=λ_{D}/l_{0}≪1.0, the plasma is quasi neutral, while as ε_{D}∼O(1), the system should be recognized as nonquasi neutral. Therefore, the dynamics of a plasma gas is characterized by two parameters (Kn and ε_{D}), and the flow can be classified into four regimes in the Kn−ε_{D} plan, namely, hydrodynamic (Kn≪1), kinetic (finite Kn), quasineutral (ε_{D}≪1), and nonquasineutral (finite ε_{D}) regimes.
Due to the complex multiscale nature of plasma flows, it is a challenging task to develop efficient numerical schemes for plasma flows with a wide range of Kn and ε_{D}. Recently, Liu et al. developed a DUGKS for plasma systems where electrons can move freely while ions form a uniform static background [99]. The plasma dynamic of such systems is governed by the BGKVlasovPoisson equations (BGKVPE),
where f is the electron distribution function, q and m are the elementary charge and mass of electrons, \(n=\int f d {\boldsymbol {\xi }}\) and n_{i} are the number densities of electrons and ions, respectively, and ϕ is the electric potential. The DUGKS was developed based on the following splitting form of Eq. (85a),
The standard DUGKS procedure was then applied to Eq. (86a), followed by a semiLagrangian discretization of Eq. (86b) in velocity space. A particular feature of the developed DUGKS is that a fourthorder compact MUSCL scheme with a positivity preserving limiter was employed in the interface reconstruction, which ensures the conservative property and positivity of the distribution function. Furthermore, combined with the MUSCL interpolation, the semiLagrangian scheme for the particle transport in velocity space could remove the CFL restriction induced by electric force. In the implementation, the Poisson Eq. (85b) was solved by a finiteelement method to obtain the electric potential.
The DUGKS was tested by simulating several plasma flows including the plasma sheath, linear Landau damping, collisional nonlinear Landau damping, and plasma ion acceleration. Comparisons with the widely used particle in cell (PIC) method were also made. The numerical results showed that the developed DUGKS had advantages for warm plasma flows involving small electrostatic perturbation and strong collisions, while the PIC method was a better choice for the fielddominated problems where the particle velocities span a wide range. This reflects the common limitations of discrete velocity methods for problems involving a wide velocity space.
Very recently, Liu et al. further developed an improved DUGKS which has the asymptotic properties in terms of both Kn and ε_{D}, based on the BGKVlasov equation and a reformulated Poisson equation (RPE) [100]. The RPE reads in dimensionless form as,
where \(\boldsymbol {\Pi }=\int {{\boldsymbol {\xi }}{\boldsymbol {\xi }} f}d{\boldsymbol {\xi }}\). It can be shown the above RPE (87) is equivalent to the Poisson Eq. (85b). Unlike the previous DUGKS based on the splitting transport Eq. (86), the improved DUGKS solves the unsplitting BGKVlasov Eq. (85a), such that the particle transport, collision, and acceleration are considered simultaneously in the reconstruction of numerical flux. For the RPE, a second order discretization was applied to the time derivative, and a Poisson equation for the potential at the new time step was obtained with the incorporation of momentum equation,
which was then solved by a finiteelement method. It was shown that this DUGKS based on the BGKVlasov and RPE equations could preserve the hydrodynamic and quasineutral limits as Kn→0 and ε_{D}→0, which was also confirmed by a number of numerical simulations.
Summary and outlook
It is a challenging task for developing efficient and robust numerical methods for multiscale flows due to the involved large span of spatial and temporal scales. Kinetic schemes based on the Boltzmann or model equations have the potential to serve this purpose, but it is nontrivial to design a kinetic scheme which can capture the hydrodynamics without resolving the kinetic scale, i.e., exhibit the UP properties. The DUGKS is one such kinetic scheme with the desired properties, and its merit lies in the reconstruction of the numerical flux at cell interfaces, which is based on the numerical solution of the kinetic equation itself. This means that the spatialtemporal coupling dynamics is taken into account simultaneously, which is necessary for developing reliable numerical methods [101]. Furthermore, with the coupling of collision and free transport, the underlying physics of the kinetic equation is respected by the DUGKS, and thus it exhibits some nice properties, such as low numerical dissipation and robustness, that distinguish it from other kinetic schemes.
It is interesting to note that the standard LBE could also be viewed as spatialtemporal coupling method if one tracks the transformed distribution function \(\tilde {f}\) on a regular lattice [102], which follows the simple collisionstreaming procedure, although it is generally considered as a decoupling scheme. The LBE method has shown many distinguish advantages in simulating complex flow problems, mainly lying in continuum regimes. However, some intrinsic limitations still exist in LBE, as pointed out in the recent perspective article [103]. Specifically, four inconveniences were identified: the use of uniform mesh, slow convergence for steady flows, limitation of Mach number, and difficulties in actual coding for the implementation of complex boundary conditions. In addition to these points, it is also a nontrivial task to design a LBE model for strong nonequilibrium flows which usually requires a large number of discrete velocities coupled with a regular lattice. Although some progresses on these subjects have been achieved separately, some special techniques are usually involved and the advantages of LBE will be lost more or less. On the other hand, the DUGKS does not suffer from these limitations and provides a unified numerical tool. Actually, an open source code is available to be used to simulate low and high Mach number flows in different regimes with unstructured meshes [76].
Indeed, after years of development the DUGKS has demonstrated its advantages in simulating multiscale flows, including turbulent flows, particulate flows, twophase flows, flows of gas mixtures, and micro/nano flows. It has also been extended to study transport phenomena of other energy carriers, such as phonon, photon, and plasmon. The available results present a clear evidence that the DUGKS can serve as an appealing numerical tool for the calculation of multiscale transport problems. Despite the success of DUGKS, there is still much space for improvements. Specifically, the following critical problems should be considered to improve the performance of DUGKS.
Memory reduction
As a deterministic discrete velocity method, a large number of discrete velocities may be required, particularly for 3D highly compressible or highly rarefied flows, to capture the irregular distribution function. For such problems, the memory requirement and computational cost will be quite demanding. Therefore, developing memory reduction techniques is critical for DUGKS in simulating such flows. One natural choice is using the velocity adaption technique, which has been employed in some discrete velocity methods (e.g., [55, 56]). In this method, fine and coarse velocity grids are used adaptively in different flow regions, depending on the regularity of the distribution function. However, conservation property should be carefully addressed during the particle transport on different velocity grids.
Another more elaborate memoryreduction technique, i.e., reducedordermodeling (ROM), was introduced into DUGKS recently [104]. With the ROM, a reduced discrete velocity space can be selected from the original discrete velocity space to represent important dynamical characteristics. Consequently, a large number of grid points in the original discrete velocity space, which contribute little to the dynamics, can be removed in practical computations. The numerical tests showed that the memory in the ROM DUGKS could be significantly reduced and the computational efficiency could be greatly improved [104].
Beside the above two deterministic memory reduction techniques, stochastic particle methods can also be combined into discrete velocity methods. A successful example is the recent unified gaskinetic waveparticle (UGKWP) method [23]. In this method, both the distribution function and simulated particles are used to describe flow physics, where the particles are sampled only for capturing the local nonequilibrium part caused by free transport. In each control volume, the evolution of kinetic equation is coupled with the macroscopic conservation equations. With the introduction of particles, the velocity space can be sampled adequately such that the memory requirement as well as computational cost could be reduced significantly. This technique could also be incorporated into the framework of DUGKS in principle, but the detailed implementation needs further investigation.
It is also noted that a very efficient memory reduction technique was developed for solving stationary kinetic model equations [105], in which velocity distribution function was reconstructed from macroscopic variables. Therefore, only the macroscopic quantities appearing in the collision term are stored, and the memory requirement for enormous discrete velocities is totally relieved. Furthermore, with the introduction of a prediction step to estimate the equilibrium state by solving the macroscopic governing equations, the efficiency and accuracy of this method were greatly improved in the near continuum and continuum regimes [106]. This technique may also be employed in DUGKS. However, it is still not clear how to apply this technique to transient kinetic models.
Finally, it is remarked that for continuum flow the memory can be greatly reduced by removing the evolution of discrete distribution functions, since in this case the distribution functions can be approximated with the ChapmanEnskog solution at the NavierStokes equations, which depends only on the equilibrium distribution function and its gradient. As such, only the conserved variables are required to evolve, and the memory requirement can be much reduced. This idea was originally developed in the lattice Boltzmann flux solver [107, 108], and can be used to improve the memory and computational efficiency of DUGKS for continuum flows.
Implicit schemes
With the memory reduction technique, the computational efficiency could be improved. However, as an semiimplicit timemarching method, the time step of the standard DUGKS is limited by the CFL number, which may be rather small and thus controls the overall computational efficiency. In this regard, many techniques widely used in classical computational fluid dynamics (CFD) can be employed to release this restriction. For instance, an implicit DUGKS was designed for steady flows [109], in which the macroscopic equations for the conservative variables were solved iteratively as a prediction step for the iteration procedure of the kinetic equation. The delta formulations of the conservative variables and distribution function were employed in the iterations and the matrix free LowerUpper Symmetric Gauss Seidel (LUSGS) was used to solve the implicit equations. Furthermore, a pseudo time step with a large CFL number was adopted to accelerate the convergence. Some numerical tests of (nearly) incompressible and compressible flows under different Knudsen numbers were performed. The results showed that the computational efficiency could be improved by one or two orders of magnitude in comparison with the explicit DUGKS.
The implicit DUGKS developed in [109] was based on the transient kinetic equation, although a large pseudo time step could be used. Recently, a DUGKS was developed to solve directly the steady linear kinetic equation for neutron transport [110], where the distribution function at a cell interface is obtained by integrating the steady kinetic equation along the neutron transport direction. This idea could also be used to design implicit DUGKS for steady flow problems.
The above two schemes were designed for steady problems. More efficient DUGKS algorithms for unsteady problems are still desired. The strategies used in CFD, such as dual time stepping, multigrid, and temporal adaption techniques, could be adopted to this end. We note particularly that an implicit UGKS for unsteady flows was developed recently [111], which solves the macroscopic conservative equations in delta form iteratively with a large numerical time step. The flux for macroscopic equations is obtained from a local timeaveraged one given by the distribution function, which is calculated iteratively from the kinetic equation also in delta form. The cell size effect is incorporated into the local time averaged flux in this method, such that the numerical time step is not restricted by the CFL condition. It is expected that the techniques used in this implicit UGKS could also be employed to design implicit DUGKS for unsteady flows.
Highorder schemes
The available DUGKS is of secondorder accuracy in both space and time. In some cases, higher order accuracy would be necessary (e.g., [82]). Some efforts have been made to design highorder DUGKS’s. For instance, a thirdorder DUGKS has been developed based on a twostage timestepping scheme and a thirdorder flux reconstruction [112]. Numerical results demonstrated that the scheme is of third order accuracy in both space and time. On the other hand, it was claimed that it was difficult to design a DUGKS of order higher than three in time if the trapezoidal rule is employed in determining the interface distribution function along the characteristic line.
It is noted that even in the secondorder DUGKS, some partially highorder techniques could also be employed. For example, one can use highorder interpolations (such as weighted essentially nonoscillatory schemes) to construct the distribution function \(\bar {f}^{+}\left (\boldsymbol {x}^{\prime }\right)\) at the starting point of the characteristic line in (9). As such, although the overall accuracy is still of secondorder, the absolute error can be reduced.
Another appealing technique for improving the accuracy is the twostage LaxWendroff time stepping method [101], which has been applied to the gaskinetic scheme [113]. It is worthwhile to try this technique in developing highorder DUGKS methods in the future.
In summary, the DUGKS has gained much success in simulating multiscale flows and demonstrated great potentials in simulating other transport phenomena, but it is still far from maturity and needs further improvement in many aspects such as memory reduction, implicit discretization, convergence acceleration, and highorder spatial/temporal discretizations. Further applications of DUGKS to multiscale flow physics are also desired.
Availability of data and materials
All data and materials are available from the authors of this paper.
References
 1
Bird G (1995) Molecular gas dynamics and the direct simulation of gas flows. Clarendon Press, Oxford.
 2
Cercignani C (1988) The Boltzmann equation and its application. Springer, New York.
 3
Broadwell JE (1964) Shock structure in a simple discrete velocity gas. Phys Fluids 7(8):1243–1247.
 4
Mieussens L (2000) Discrete velocity model and implicit scheme for the BGK equation of rarefied gas dynamics. Math Models Methods Appl Sci 10(08):1121–1149.
 5
Guo ZL, Shu C (2013) Lattice Boltzmann method and its applications in engineering. World Scientific, Singapore.
 6
Xu K (2001) A gaskinetic BGK scheme for the NavierStokes equations and its connection with artificial dissipation and Godunov method. J Comput Phys 171:289–335.
 7
Santagati P, Russo G, Yun SB (2012) Convergence of a semiLagrangian scheme for the BGK model of the Boltzmann equation. SIAM J Numer Anal 50:1111–1135.
 8
Pieraccini S, Puppo G (2007) Implicitexplicit schemes for BGK kinetic equations. J Sci Comput 32:1–28.
 9
Jin S (2010) Asymptotic preserving (AP) schemes for multiscale kinetic and hyperbolic equations: a review. Riv Matematica Della Univ Parma 3:177–216.
 10
Dimarco G, Pareschi L (2014) Numerical methods for kinetic equations. Acta Numer 23:369–520.
 11
Hu J, Jin S, Li Q (2017) Asymptoticpreserving schemes for multiscale hyperbolic and kinetic equations In: Handbook of Numerical Methods for Hyperbolic Problems, Chapter 5, Shu, CW, 103–129, NorthHolland.
 12
Guo Z, Li J, Xu K (2019) On unified preserving properties of kinetic schemes. arXiv preprint arXiv:1909.04923.
 13
Coron F, Perthame B (1991) Numerical passage from kinetic to fluid equations. SIAM J Numer Anal 28(1):26–42.
 14
Klar A (1999) An asymptotic preserving numerical scheme for kinetic equations in the low Mach number limit. SIAM J Numer Anal 36:1507–1527.
 15
Seaïd M, Klar A (2006) Asymptoticpreserving schemes for unsteady flow simulations. Comput Fluids 35(89):872–878.
 16
Dimarco G, Pareschi L (2013) Asymptotic preserving implicitexplicit RungeKutta methods for nonlinear kinetic equations. SIAM J Numer Anal 51:1064–1087.
 17
Hu J, Shu R, Zhang X (2018) Asymptoticpreserving and positivitypreserving implicitexplicit schemes for the stiff BGK equation. SIAM J Numer Anal 56(2):942–973.
 18
Xu K, Huang JC (2010) A unified gaskinetic scheme for continuum and rarefied flows. J Comput Phys 229:7747–7764.
 19
Guo ZL, Xu K, Wang RJ (2013) Discrete unified gas kinetic scheme for all Knudsen number flows: Lowspeed isothermal case. Phys Rev E 88:033305.
 20
Yang L, Shu C, Wu J, Wang Y (2016) Numerical simulation of flows from free molecular regime to continuum regime by a DVM with streaming and collision processes. J Comput Phys 306:291–310.
 21
Peng AP, Li ZH, Wu JL, Jiang XY (2016) Implicit gaskinetic unified algorithm based on multiblock docking grid for multibody reentry flows covering all flow regimes. J Comput Phys 327:919–942.
 22
Yuan R, Zhong C (2020) A conservative implicit scheme for steady state solutions of diatomic gas flow in all flow regimes. Comput Phys Commun 247:106972.
 23
Liu C, Zhu Y, Xu K (2020) Unified gaskinetic waveparticle methods I: Continuum and rarefied gas flow. J Comput Phys 401:108977.
 24
Su W, Zhu L, Wang P, Zhang Y, Wu L (2020) Can we find steadystate solutions to multiscale rarefied gas flows within dozens of iterations?J Comput Phys 407:109245.
 25
Yong WA (2020) Intrinsic properties of conservationdissipation formalism of irreversible thermodynamics. Phil Trans R Soc A 378:20190177.
 26
Wang P, Wang LP, Guo Z (2016) Comparison of the lattice Boltzmann equation and discrete unified gaskinetic scheme methods for direct numerical simulation of decaying turbulent flows. Phys Rev E 94(4):043304.
 27
Bo Y, Wang P, Guo Z, Wang LP (2017) DUGKS simulations of threedimensional Taylor–Green vortex flow and turbulent channel flow. Comput Fluids 155:9–21.
 28
Wang LP, Huq P, Guo Z (2015) Simulations of turbulence and dispersion in idealized urban canopies using a new kinetic scheme In: 68th Annual Meeting of the APS Division of Fluid Dynamics, 22–24, November 2015, Boston, Massachusetts.
 29
Zhu L, Guo Z (2017) Numerical study of nonequilibrium gas flow in a microchannel with a ratchet surface. Phys Rev E 95(2):023113.
 30
Zhu L, Yang X, Guo Z (2017) Thermally induced rarefied gas flow in a threedimensional enclosure with square crosssection. Phys Rev Fluids 2(12):123402.
 31
Wang P, Ho MT, Wu L, Guo Z, Zhang Y (2018) A comparative study of discrete velocity methods for lowspeed rarefied gas flows. Comput Fluids 161:33–46.
 32
Zhu L, Guo Z (2019) Application of discrete unified gas kinetic scheme to thermally induced nonequilibrium flows. Comput Fluids 193:103613.
 33
Guo ZL, Wang RJ, Xu K (2015) Discrete unified gas kinetic scheme for all Knudsen number flows. II. Thermal compressible case. Phys Rev E 91:033313.
 34
Wang LP, Guo Z, Wang J (2018) Improving the discrete unified gas kinetic scheme for efficient simulation of threedimensional compressible turbulence In: 71st Annual Meeting of the APS Division of Fluid Dynamics, 18–20, November 2018, Atlanta, Georgia.
 35
Chen T, Wen X, Wang LP, Guo Z, Wang J, Chen S (2020) Simulation of threedimensional compressible decaying isotropic turbulence using a redesigned discrete unified gas kinetic scheme. Phys Fluids 32(12):125104.
 36
Zhang CH, Yang K, Guo Z (2018) A discrete unified gaskinetic scheme for immiscible twophase flows. Int J Heat Mass Transfer 126:1326–1336.
 37
Chen T, Chéron V, Guo Z, de Motta JCB, Menard T, Wang LP (2019) Simulation of immiscible twophase flows based on a kinetic diffuse interface approach In: International Conference on Multiphase Flow, 1924 May 2019, Hal02315240, Rio de Janeiro, Brazil.
 38
Tao S, Zhang H, Guo Z, Wang LP (2018) A combined immersed boundary and discrete unified gas kinetic scheme for particle–fluid flows. J Comput Phys 375:498–518.
 39
Tao S, Chen B, Yang X, Huang S (2018) Secondorder accurate immersed boundarydiscrete unified gas kinetic scheme for fluidparticle flows. Comput Fluids 165:54–63.
 40
Zhang Y, Zhu L, Wang R, Guo Z (2018) Discrete unified gas kinetic scheme for all Knudsen number flows. III. Binary gas mixtures of Maxwell molecules. Phys Rev E 97(5):053306.
 41
Zhang Y, Zhu L, Wang P, Guo Z (2019) Discrete unified gas kinetic scheme for flows of binary gas mixture based on the McCormack model. Phys Fluids 31(1):017101.
 42
Guo Z, Xu K (2016) Discrete unified gas kinetic scheme for multiscale heat transfer based on the phonon Boltzmann transport equation. Int J Heat Mass Transfer 102:944–958.
 43
Zhang C, Guo Z (2019) Discrete unified gas kinetic scheme for multiscale heat transfer with arbitrary temperature difference. Int J Heat Mass Transfer 134:1127–1136.
 44
Luo XP, Yi HL (2017) A discrete unified gas kinetic scheme for phonon Boltzmann transport equation accounting for phonon dispersion and polarization. Int J Heat Mass Transfer 114:970–980.
 45
Luo XP, Wang CH, Zhang Y, Yi HL, Tan HP (2018) Multiscale solutions of radiative heat transfer by the discrete unified gas kinetic scheme. Phys Rev E 97(6):063302.
 46
Song X, Zhang C, Zhou X, Guo Z (2020) Discrete unified gas kinetic scheme for multiscale anisotropic radiative heat transfer. Adv Aerodyn 2(1):1–15.
 47
Bhatnagar PL, Gross EP, Krook M (1954) A model for collision processes in gases. I. Small amplitude processes in charged and neutral onecomponent systems. Phys Rev 94(3):511.
 48
Zhu L, Guo Z, Xu K (2016) Discrete unified gas kinetic scheme on unstructured meshes. Comput Fluids 127:211–225.
 49
Liu H, Cao Y, Chen Q, Kong M, Zheng L (2018) A conserved discrete unified gas kinetic scheme for microchannel gas flows in all flow regimes. Comput Fluids 167:313–323.
 50
Chen J, Liu S, Wang Y, Zhong C (2019) Conserved discrete unified gaskinetic scheme with unstructured discrete velocity space. Phys Rev E 100(4):043305.
 51
Holway LH (1966) New statistical models for kinetic theory: Methods of construction. Phys Fluids 9(9):1658–1673.
 52
Shakhov EM (1972) Generalization of the Krook kinetic relaxation equation. Fluid Dyn 3(5):95–96.
 53
Olver FW, Lozier DW, Boisvert RF, Clark CW (2010) NIST handbook of mathematical functions hardback and CDROM. Cambridge University Press, Cambridge.
 54
Shizgal B (1981) A Gaussian quadrature procedure for use in the solution of the Boltzmann equation and related problems. J Comput Phys 41(2):309–328.
 55
Chen S, Xu K, Lee C, Cai Q (2012) A unified gas kinetic scheme with moving mesh and velocity space adaptation. J Comput Phys 231(20):6643–6664.
 56
Baranger C, Claudel J, Hérouard N, Mieussens L (2014) Locally refined discrete velocity grids for stationary rarefied flow simulations. J Comput Phys 257:572–593.
 57
Huang JC (2011) A conservative discrete ordinate method for model Boltzmann equations. Comput Fluids 45(1):261–267.
 58
Shan X, Yuan XF, Chen H (2006) Kinetic theory representation of hydrodynamics: a way beyond the Navier–Stokes equation. J Fluid Mech 550:413–441.
 59
Zhu L, Wang P, Guo Z (2017) Performance evaluation of the general characteristics based offlattice Boltzmann scheme and DUGKS for low speed continuum flows. J Comput Phys 333:227–246.
 60
Nannelli F, Succi S (1992) The lattice Boltzmann equation on irregular lattices. J Stat Phys 68(3):401–407.
 61
Peng G, Xi H, Duncan C, Chou SH (1999) Finite volume scheme for the lattice Boltzmann method on unstructured meshes. Phys Rev E 59(4):4675–4682.
 62
Ubertini S, Succi S (2005) Recent advances of lattice Boltzmann techniques on unstructured grids. Prog Comput Fluid Dyn 5:85–96.
 63
Stiebler M, Tölke J, Krafczyk M (2006) An upwind discretization scheme for the finite volume lattice Boltzmann method. Comput Fluids 35(8):814–819.
 64
Li W, Luo LS (2016) Finite volume lattice Boltzmann method for nearly incompressible flows on arbitrary unstructured meshes. Commun Comput Phys 20(2):301–324.
 65
Li W, Li W (2018) A gaskinetic BGK scheme for the finite volume lattice Boltzmann method for nearly incompressible flows. Comput Fluids 162:126–138.
 66
Wang P, Zhu L, Guo Z, Xu K (2015) A comparative study of LBE and DUGKS methods for nearly incompressible flows. Commun Comput Phys 17(3):657–681.
 67
Breuer M, Bernsdorf J, Zeiser T, Durst F (2000) Accurate computations of the laminar flow past a square cylinder based on two different methods: latticeBoltzmann and finitevolume. Int J Heat Fluid Flow 21(2):186–196.
 68
Bardow A, Karlin IV, Gusev AA (2006) General characteristicbased algorithm for offlattice Boltzmann simulations. EPL 75(3):434–440.
 69
Rao PR, Schaefer LA (2015) Numerical stability of explicit offlattice Boltzmann schemes. J Comput Phys 285:251–264.
 70
Chen S, Guo Z, Xu K (2016) Simplification of the unified gas kinetic scheme. Phys Rev E 94(2):23313.
 71
Wang R (2015) Unified gaskinetic scheme for the study of nonequilibrium flows. Dissertation, Hong Kong University of Science and Technology.
 72
Wang P, Zhang Y, Guo Z (2017) Numerical study of threedimensional natural convection in a cubical cavity at high Rayleigh numbers. Int J Heat Mass Transfer 113:217–228.
 73
Wang P, Tao S, Guo Z (2015) A coupled discrete unified gaskinetic scheme for Boussinesq flows. Comput Fluids 120:70–81.
 74
Baker LL, Hadjiconstantinou NG (2005) Variance reduction for Monte Carlo solutions of the Boltzmann equation. Phys Fluids 17:051703.
 75
Fei F, Zhang J, Li J, Liu Z (2020) A unified stochastic particle BhatnagarGrossKrook method for multiscale gas flows. J Comput Phys 400:108972.
 76
Zhu L, Chen S, Guo Z (2017) dugksFoam: An open source OpenFOAM solver for the Boltzmann model equation. Comput Phys Commun 213:155–164.
 77
Wang P, Zhu L, Su W, Wu L, Zhang Y (2018) Nonlinear oscillatory rarefied gas flow inside a rectangular cavity. Phys Rev E 97(4):043103.
 78
Wang P, Su W, Zhang Y (2018) Oscillatory rarefied gas flow inside a three dimensional rectangular cavity. Phys Fluids 30:102002.
 79
Wang P, Su W, Zhu L, Zhang Y (2019) Heat and mass transfer of oscillatory liddriven cavity flow in the continuum, transition and free molecular flow regimes. Int J Heat Mass Transfer 131:291–300.
 80
Lotfian A, Roohi E (2019) Radiometric flow in periodically patterned channels: fluid physics and improved configurations. J Fluid Mech 860:544–576.
 81
Menard T, Tanguy S, Berlemont A (2007) Coupling level set/VOF/ghost fluid methods: Validation and application to 3D simulation of the primary breakup of a liquid jet. Int J Multiphase Flow 33(5):510–524.
 82
Yang Z, Zhong C, Zhuo C (2019) Phasefield method based on discrete unified gaskinetic scheme for largedensityratio twophase flows. Phys Rev E 99(4):043302.
 83
Huo Y, Rao Z (2018) The discrete unified gas kinetic scheme for solidliquid phase change problem. Int Commun Heat Mass Transf 91:187–195.
 84
Peskin CS (2002) The immersed boundary method. Acta Numerica 11:479–517.
 85
Glowinski R, Pan TW, Hesla TI, Joseph DD (1999) A distributed Lagrange multiplier/fictitious domain method for particulate flows. Int J Multiphase Flow 25(5):755–794.
 86
Tao S, Zhang H, Guo Z, Wang LP (2018) A combined immersed boundary and discrete unified gas kinetic scheme for particlefluid flows. J Comput Phys 375:498–518.
 87
Tao S, He Q, Wang L, Huang S, Chen B (2019) A noniterative directforcing immersed boundary method for thermal discrete unified gas kinetic scheme with Dirichlet boundary conditions. Int J Heat Mass Transfer 137:476–488.
 88
Li C, Wang LP (2018) An immersed boundarydiscrete unified gas kinetic scheme for simulating natural convection involving curved surfaces. Int J Heat Mass Transfer 126:1059–1070.
 89
McCormack FJ (1973) Construction of linearized kinetic models for gaseous mixtures and molecular gases. Phys Fluids 16:2095–2105.
 90
Andries P, Aoki K, Perthame B (2002) A consistent BGKtype model for gas mixtures. J Stat Phys 106(5):993–1018.
 91
Guo Z, Zhao T, Shi Y (2005) Simple kinetic model for fluid flows in the nanometer scale. Phys Rev E 71(3):35301.
 92
Shan B, Wang P, Zhang Y, Guo Z (2020) Discrete unified gas kinetic scheme for all Knudsen number flows. IV. Strongly inhomogeneous fluids. Phys Rev E 101(4):43303.
 93
Chen G (2005) Nanoscale energy transport and conversion: a parallel treatment of electrons, molecules, phonons, and photons. Oxford University Press, Oxford.
 94
Murthy JY, Narumanchi S, J A PascualGutierrez ea (2005) Review of multiscale simulation in submicron heat transfer. Int J Multiscale Comput Eng 3:95–96.
 95
Zhang C, Guo Z, Chen S (2017) Unified implicit kinetic scheme for steady multiscale heat transfer based on the phonon Boltzmann transport equation. Phys Rev E 96(6):63311.
 96
Zhang C, Guo ZL, Chen S (2019) An implicit kinetic scheme for multiscale heat transfer problem accounting for phonon dispersion and polarization. Int J Heat Mass Transfer 130:1366–1376.
 97
Ramankutty MA, Crosbie AL (1997) Modified discrete ordinates solution of radiative transfer in twodimensional rectangular enclosures. J Quant Spectrosc Radiative Tran 57(1):107–140.
 98
Bellan PM (2006) Fundamentals of plasma physics. Cambridge University Press, Cambridge.
 99
Liu H, Quan L, Chen Q, Zhou S, Cao Y (2020) Discrete unified gas kinetic scheme for electrostatic plasma and its comparison with the particleincell method. Phys Rev E 101(4):43307.
 100
Liu H, Shi F, Wan J, He X, Cao Y (2020) Discrete unified gas kinetic scheme for a reformulated BGKVlasovPoisson system in all electrostatic plasma regimes. Comput Phys Commun 255:107400.
 101
Li J (2019) Twostage fourth order: Temporalspatial coupling in computational fluid dynamics (CFD). Adv Aerodyn 1(1):3.
 102
He X, Chen S, Doolen GD (1998) A novel thermal model for the lattice Boltzmann method in incompressible limit. J Comput Phys 146(1):282–300.
 103
Succi S (2015) Lattice Boltzmann 2038. EPL 109(5):50001.
 104
Zhao X, Wu C, Chen Z, Yang L, Shu C (2020) Reduced order modelingbased discrete unified gas kinetic scheme for rarefied gas flows. Phys Fluids 32(6):67108.
 105
Chen S, Zhang C, Zhu L, Guo Z (2017) A unified implicit scheme for kinetic model equations. Part I. Memory reduction technique. Chin Sci Bull 62(2):119–129.
 106
Yang LM, Shu C, Yang WM, Wu J (2018) An implicit scheme with memory reduction technique for steady state solutions of DVBE in all flow regimes. Phys Fluids 30(4):040901.
 107
Shu C, Wang Y, Teo CJ, Wu J (2014) Development of lattice Boltzmann flux solver for simulation of incompressible flows. Adv Appl Math Mech 6(4):436–460.
 108
Wang Y, Yang L, Shu C (2015) From lattice Boltzmann method to lattice Boltzmann flux solver. Entropy 17(11):7713–7735.
 109
Pan D, Zhong C, Zhuo C (2019) An implicit discrete unified gaskinetic scheme for simulations of steady flow in all flow regimes. Commun Comput Phys 25(5):1469–1495.
 110
Zhou X, Guo Z (2020) Discrete unified gas kinetic scheme for steady multiscale neutron transport. J Comput Phys 423:109767.
 111
Zhu Y, Zhong C, Xu K (2019) An implicit unified gaskinetic scheme for unsteady flow in all Knudsen regimes. J Comput Phys 386:190–217.
 112
Wu C, Shi B, Shu C, Chen Z (2018) Thirdorder discrete unified gas kinetic scheme for continuum and rarefied flows: Lowspeed isothermal case. Phys Rev E 97(2):23306.
 113
Pan L, Xu K, Li Q, Li J (2016) An efficient and accurate twostage fourthorder gaskinetic scheme for the Euler and NavierStokes equations. J Comput Phys 326:197–221.
Acknowledgements
The authors would like to thank many colleagues who have given many insightful suggestions, ideas, and contributions to their research on DUGKS, to name a few: Professors J.Q. Li, L.P. Wang, W.A. Yong, C.W. Zhong, S.Z. Chen, P. Wang, L. Wu, and Drs. C. Liu, Y. Zhang, L.H. Zhu.
Funding
Z.L. Guo is supported by the National Natural Science Foundation of China (51836003, 11872024), the National Numerical Wind Tunnel project (NNW2019JT01016), and the Fundamental Research Funds for the Central Universities (2019kfyXMBZ040). K. Xu is supported by the National Natural Science Foundation of China (11772281, 91852114).
Author information
Affiliations
Contributions
All author(s) read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Guo, Z., Xu, K. Progress of discrete unified gaskinetic scheme for multiscale flows. Adv. Aerodyn. 3, 6 (2021). https://doi.org/10.1186/s42774020000583
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42774020000583
Keywords
 Multiscale flows
 Boltzmann equation
 Kinetic scheme
 Lattice Boltzmann method
 Finite volume method