1. Introduction
Gases in small systems, such as porous media with small pores and micro and nanodevices, cannot be described properly by conventional fluid dynamics. This is because the mean free path of gas molecules can be comparable to the characteristic length of system so that the underlying assumption that the gas is very close to the local equilibrium breaks down due to insufficient intermolecular collisions. The kinetic theory of gases is required to describe their behaviour correctly.
Generally, the solution of the Boltzmann equation, the governing equation in the kinetic theory, is a formidable task since, besides a time and a position, the molecular velocity also plays a role of independent variable and the term representing the effect of intermolecular collisions (the collision integral) is complicated. As for its numerical solution method, both the stochastic direct simulation Monte Carlo (DSMC) method (see, e.g. Bird Reference Bird1994) and deterministic methods (see, e.g. Dimarco & Pareschi Reference Dimarco and Pareschi2014, and the references therein) have been developed continuously from earlier times. Owing to the continuous efforts of many researchers, there is a huge accumulation of results for the flows of ideal gases these days (see, e.g. Cercignani Reference Cercignani1988; Sone Reference Sone2007) which are described by the Boltzmann equation. There are a large number of kinetic theory studies on classical problems in fluid dynamics such as the Poiseuille flow, the Couette flow, etc. and those on phenomena peculiar to non-equilibrium gases such as the thermal transpiration flow, which is induced by a temperature gradient along a channel wall in the absence of an external force and a pressure gradient.
Meanwhile, when gases become dense, they exhibit non-ideal gas effects. Kinetic theory descriptions are available also for this case. The Enskog equation, which can describe effects owing to the finite size of molecules such as the excluded volume, and its extension, the Enskog–Vlasov equation, in which long-range interactions are dealt with by a collective mean field, have been widely accepted. Because the finite size of molecules is taken into account in the Enskog collision integral, it is more complicated than the Boltzmann collision integral. For these equations, the DSMC method was successfully constructed more than two decades ago (Montanero & Santos Reference Montanero and Santos1996; Frezzotti Reference Frezzotti1997). Then, using this method Frezzotti and co-workers have conducted many studies on liquid–vapour systems based on the Enskog–Vlasov equation (see, e.g. Frezzotti, Gibelli & Lorenzani Reference Frezzotti, Gibelli and Lorenzani2005; Frezzotti, Barbante & Gibelli Reference Frezzotti, Barbante and Gibelli2019).
Besides the liquid–vapour systems, the dense gas effects become relevant in small systems, such as nanoporous media, which has been activating the recent kinetic theory studies (see, e.g. Wu et al. Reference Wu, Liu, Reese and Zhang2016; Sheng et al. Reference Sheng, Gibelli, Li, Borg and Zhang2020; Shan et al. Reference Shan, Chen, Guo and Wang2021). In these studies, the competition of system characteristic length, mean free path and molecular diameter is focused on, and its effect on the phenomena is investigated. This trend may be due to related applications such as shale gas extraction, where the pressure is high and the characteristic length is short, and to the fact that deterministic numerical computations are becoming feasible thanks to the extension of the fast Fourier spectral method (Filbet, Mouhot & Pareschi Reference Filbet, Mouhot and Pareschi2006) to the Enskog equation (Wu, Zhang & Reese Reference Wu, Zhang and Reese2015). However, all of the aforementioned works concentrate on the force-driven Poiseuille flow, and currently, no other type of flow seems to be investigated at the same level.
Under these circumstances, a time-dependent heat transfer in a dense gas between two parallel plates was investigated in Hattori, Tanaka & Takata (Reference Hattori, Tanaka and Takata2022) and interesting features such as the effect of the finite molecular size on the propagation of disturbance were demonstrated. In the present work, we newly consider the thermal transpiration flow as well as the pressure-driven Poiseuille flow of a dense gas between two parallel plates. Analysis of these flows for the case of a rarefied gas is a fundamental problem in the kinetic theory (see, e.g. Cercignani & Daneri Reference Cercignani and Daneri1963; Cercignani & Sernagiotto Reference Cercignani and Sernagiotto1966; Niimi Reference Niimi1968; Sone & Yamamoto Reference Sone and Yamamoto1968; Loyalka Reference Loyalka1971; Niimi Reference Niimi1971; Hasegawa & Sone Reference Hasegawa and Sone1988; Ohwada, Sone & Aoki Reference Ohwada, Sone and Aoki1989; Loyalka & Hamoodi Reference Loyalka and Hamoodi1990; Kosuge et al. Reference Kosuge, Sato, Takata and Aoki2005; Takata & Funagane Reference Takata and Funagane2011; Funagane & Takata Reference Funagane and Takata2012). We investigate the counterpart problem for a dense gas. We clarify how finite-size effects of molecules affect these flows, thereby aiming to contribute to increased understanding of the dense gas flow characteristics.
The paper is organized as follows. In § 2, the problem is stated and formulated. The problem is reduced to the spatially one-dimensional boundary-value problems of the linearized Enskog equation for the Poiseuille and thermal transpiration flows, in which the ratio of the mean free path and that of the molecular diameter to the distance between the plates are included as non-dimensional parameters characterizing the smallness of the system and denseness of the gas. Then, the numerical method is briefly explained in § 3. The method is an iteration based on the integral formulation of the Enskog equation combined with the fast Fourier spectral method for the computation of the collision integral. Section 4 presents the numerical results, where we show the behaviour of the macroscopic quantities (gradients of pressure and stress and profiles of density and mass/heat flow) as well as the velocity distribution functions (VDFs). Comparison between the force-driven and the present pressure-driven Poiseuille flows is also carried out. Section 5 concludes the paper.
2. Formulation
2.1. Problem and assumptions
Consider a dense gas between two parallel plates at rest located respectively at $X_{1} = \pm D/2$, where $X_{i}$ are the Cartesian coordinates. The two plates are kept at the temperature $T_{w}(X_{2}) = T_{0}(1+c_{T}X_{2}/D)$ ($c_{T} = (D/T_{0})(\mathrm {d} T_{w}/\mathrm {d} X_{2})$ is a constant), and the gas is subject to some pressure gradient in the $X_{2}$ direction. We will find a solution that has a pressure gradient that is constant in the $X_{2}$ direction (but non-constant in the $X_{1}$ direction). There is no external force acting on the gas. The average density of the gas over the cross-section $X_{2} = 0$ is given by $\rho _{0}$. We will investigate the steady behaviour of the gas under the assumptions that (i) the behaviour of the gas can be described by the Enskog equation for hard-sphere molecules with a common diameter $\sigma$ and mass $m$ with the factor of pair correlation being given according to the Carnahan–Starling equation of state (Carnahan & Starling Reference Carnahan and Starling1969); (ii) the gas molecules are diffusely reflected on the surface of the plates; (iii) the magnitudes of the applied temperature gradient $|c_{T}|$ and the pressure gradient $(D/p_{0})|\partial p/\partial X_{2}|$ are so small that the equation and boundary condition can be linearized around the state that is achieved when both gradients are absent ($p$ is the pressure, $p_{0} = \rho _{0}RT_{0}$ and $R$ is the specific gas constant).
Some comments on the appropriateness of the linearization assumption (iii) may be in order. At a glance, the assumption might look restrictive to describe the flows well. However, (a) the pressure and temperature gradients can in fact be small in small systems like micro/nano channels and porous media with small pores; (b) the assumption is actually employed also in the literature (see, e.g. any references cited in the third sentence of the fifth paragraph in § 1); (c) it is reported (see, e.g. Ohwada et al. Reference Ohwada, Sone and Aoki1989; Sharipov Reference Sharipov2003; Ewart et al. Reference Ewart, Perrier, Graur and Méolans2007) that the results for rarefied gases obtained based on the linearized Boltzmann or model kinetic equations agree well with experimental results for a wide range of the Knudsen number. Based on these facts, the assumption is also employed here for the Enskog equation. Phenomena due to nonlinear effects, expected to be significant when the applied pressure or temperature gradient is not small, e.g. non-uniformity of temperature profile in pressure-driven flow (Zheng, Garcia & Alder Reference Zheng, Garcia and Alder2002), are outside of the scope of the present work.
2.2. Basic equation and boundary condition
Let us denote by $\boldsymbol {X} = D\boldsymbol {x}$ the position, by $(2RT_{0})^{1/2}\boldsymbol {\zeta }$ the molecular velocity, by $\rho _{0}(2RT_{0})^{-3/2}\hat {f}$ the VDF of gas molecules, by $\sigma = D\hat {\sigma }$ the molecular diameter, by $\rho _{0}\hat {\rho }$ the density of the gas and by $T_{w}=T_{0}\hat {T}_{w}$ the temperature of the plates. Then, from assumptions (i) and (ii), the behaviour of the gas is described by the following boundary-value problem for $\hat {f}$:
Here, $\boldsymbol {k}$ is the unit vector in the direction joining the centres of the colliding molecules, $H$ is the Heaviside function, $\eta _{0}$ and $\hat {\rho } \eta _{0}$ are the volume fractions of molecules corresponding to the average and local densities which indicate denseness of the gas and $\zeta = |\boldsymbol {\zeta }|$, respectively. The quantity $\ell _{0}$ is the mean free path of gas molecules at the equilibrium state at rest with density $\rho _{0}$ and temperature $T_{0}$. We shall use $k$ in place of the Knudsen number ${Kn}$ to indicate the degree of gas rarefaction (or smallness of the system). The operator $\hat {Q}$ is the Enskog collision integral, and it includes the parts which are quadratic in $\hat {f}$ like the Boltzmann collision integral. However, colliding molecules occupy different positions due to the finite molecular size, and the collision frequency is increased by the function $\hat {Y}$ that represents an approximate pair correlation function. Hence $\hat {Q}$ is a fivefold integral that is non-local in the position $\boldsymbol {x}$ as well as $\boldsymbol {\zeta }$ and it is more complicated than the Boltzmann collision integral which is local in $\boldsymbol {x}$. The integration in $\hat {Q}$ is carried out over the whole space of $\boldsymbol {\zeta }_{*}$ and over the whole direction of $\boldsymbol {k}$. In the integral, quantities, here the VDF $\hat {f}(\boldsymbol {x} \pm \hat {\sigma } \boldsymbol {k},\boldsymbol {\cdot })$ and the density $\hat {\rho }(\boldsymbol {x} \pm (1/2)\hat {\sigma } \boldsymbol {k})$, are read as zero if their arguments are outside of the domain $\{ \boldsymbol {z} = (z_{1},z_{2},z_{3}) | |z_{1}| \le (1-\hat {\sigma })/2 \}$. This rule is also applied to various integrals appearing later. The functional form (2.1c) of $\hat {Y}$ (or $Y$) corresponds to the Carnahan–Starling equation of state. The centre of a molecule is able to move in the domain with a width $D-\sigma$, which is narrower than the gap width $D$ by the molecular diameter $\sigma$. This fact is reflected in the collision integral (2.1b) and the condition (2.1j) as well as the equation (2.1a) and the boundary condition (2.1g).
Note that the non-dimensional numbers $k$, $\hat {\sigma }$ and $\eta _{0}$ in (2.1) are not independent but are related as (Sheng et al. Reference Sheng, Gibelli, Li, Borg and Zhang2020)
In the present paper, $k$ and $\hat {\sigma }$, the degree of gas rarefaction and the molecular size, are considered as the parameters of the problem. We regard the volume fraction of molecules $\eta _{0}$ as a function of $k$ and $\hat {\sigma }$ determined by (2.2). Its plot is shown in figure 1, which implies that the gas becomes more dense with the decrease of $k$ and the increase of $\hat {\sigma }$ and that it becomes less dense with the increase of $k$ and the decrease of $\hat {\sigma }$.
2.3. Macroscopic quantities
For later convenience, here, we introduce the macroscopic variables besides the density given by (2.1d). The flow velocity, temperature, pressure, stress tensor and heat-flow vector are given by $(2RT_{0})^{1/2}\hat {v}_{i}$, $T_{0}\hat {T}$, $p = p_{0}\hat {p}$, $p_{0}\hat {p}_{ij}$ and $p_{0}(2RT_{0})^{1/2}\hat {q}_{i}$, respectively, where $\hat {v}_{i}$, $\hat {T}$, $\hat {p}$, $\hat {p}_{ij}$ and $\hat {q}_{i}$ are defined as the following moments of the VDF $\hat {f}$:
Equation (2.3c) is the Carnahan–Starling equation of state. The stress tensor $\hat {p}_{ij}$ and the heat-flow vector $\hat {q}_{i}$ are given by a sum of two parts, respectively. The first part, $\hat {p}_{ij}^{({k})}$ and $\hat {q}_{i}^{({k})}$, is called the kinetic part and has a familiar form. The second part, $\hat {p}_{ij}^{({v})}$ and $\hat {q}_{i}^{({v})}$, is called the potential part (Cercignani & Lampis Reference Cercignani and Lampis1988), and it represents the contribution of instantaneous transfers of momentum and energy in binary collisions.
2.4. Linearization
Recalling that we consider the situation where the applied temperature and pressure gradients are small (see assumption (iii) in § 2.1), within the linearized regime, we can seek the solution $\hat {f}$ of problem (2.1) as a sum of reference state and perturbation, as follows:
Here, some notes may be in order:
(i) The function $\hat {M}$ is the reference state of the gas that is achieved when both the temperature and pressure gradients are absent, i.e. when there is no driving factor in the system. While for an ideal gas (the case of the Boltzmann equation) this state is a uniform equilibrium state at rest, for a dense gas it is an equilibrium state at rest with a density distribution $\hat {\rho }_{M}(x_{1})$ varying in the direction normal to the plates (Frezzotti (Reference Frezzotti1997); see also figure 2(a) shown later). The non-uniformity of the reference density is attributed to the fact that some of intermolecular collisions which detach the molecules from the plates are forbidden near the boundary due to their finite size and accordingly they are pushed to the plates.
(ii) The function $\varPhi$ is a perturbation around the reference state $\hat {M}$. In its expression, the subscripts $T$ and $P$ are attached to discriminate the quantities related to the thermal transpiration and Poiseuille flows, respectively. The $O(\varPhi ^{2})$ term in (2.4a) is the negligible error in the linearized regime. As will be seen later in § 4, when the molecular size $\hat {\sigma }$ is finite, the pressure gradient $\partial _{x_{2}}\hat {p}$ and the stress gradient $\partial _{x_{2}}\hat {p}_{22}$ are not identical, and moreover they are non-uniform in $x_{1}$. Here, the latter is regarded as the driving force for the Poiseuille flow since it is the stress rather than the pressure that has the role of the mechanical surface force. Thus, we require that its average in the $x_{1}$ direction be normalized and zero, in accordance with the nature of the Poiseuille and thermal transpiration flows, respectively. To be more precise, with $\hat {p}_{22}$ being evaluated with $\hat {f} = \hat {M} + \varPhi$, we require that $(1-\hat {\sigma })^{-1}\int _{-(1-\hat {\sigma })/2}^{(1-\hat {\sigma })/2}\partial _{x_{2}}\hat {p}_{22}|_{c_{T}=0}\,\mathrm {d} x_{1} = c_{P}$ and $(1-\hat {\sigma })^{-1}\int _{-(1-\hat {\sigma })/2}^{(1-\hat {\sigma })/2}\partial _{x_{2}}\hat {p}_{22}|_{c_{P}=0}\,\mathrm {d} x_{1} = 0$ for respective flows, where the constant $c_{P}$ represents the magnitude of the averaged stress gradient in the Poiseuille flow ($|c_{P}| \ll 1$ by assumption (iii)). Since $\partial _{x_{2}}\hat {p}_{22} = \partial _{x_{2}}\hat {p} = \mathrm {const.}$ for the Boltzmann equation, $c_{P}$ also corresponds to the magnitude of the pressure gradient $(D/p_{0})|\,\mathrm {d} p/\mathrm {d} X_{2}|$ in this case. The parts $c_{P}x_{2}E(\zeta )\hat {\omega }_{P}(x_{1})$ and $c_{T}x_{2}E(\zeta )[\hat {\omega }_{T}(x_{1})+(\zeta ^{2}-\frac {3}{2})\hat {\rho }_{M}(x_{1})]$ are the perturbed Maxwellians representing the pressure (or stress) and temperature gradients, respectively. Recall that the magnitude of the latter is represented by the coefficient $c_{T}[= (D/T_{0})(\mathrm {d} T_{w}/\mathrm {d} X_{2})]$. The functions $\varPsi _{T}$ and $\varPsi _{P}$, which are considered to be odd in $\zeta _{2}$, represent the respective flows.
(iii) The expression (2.4) might look like an arbitrary assumption at a glance, however, it turns out to be an appropriate form of the solution. It is an extension of the similarity solution for a rarefied gas (see also, e.g. (2.8) in Takata & Funagane (Reference Takata and Funagane2011) or (1) in Ohwada et al. Reference Ohwada, Sone and Aoki1989) to the case of the dense gas, where the non-uniformity of densities in $x_{1}$ is taken into account here due to the finite molecular size both for the reference part $\hat {\rho }_{M}$ and the perturbed parts $\hat {\omega }_{T,P}$ (the case of Boltzmann equation corresponds to the case $\hat {\rho }_{M}(x_{1}) \equiv 1$, $\hat {\omega }_{T}(x_{1}) \equiv -1$ and $\hat {\omega }_{P}(x_{1}) \equiv 1$). To confirm the consistency of (2.4), actually we can proceed in the following way, which is detailed in Appendix A. First, substitute $\hat {f} = \hat {M} = \hat {\rho }_{M}E$ into the equation (2.1a) and the condition for average density (2.1j). Then, we reach the system which determines the reference density $\hat {\rho }_{M}$ (and $\hat {M}$ accordingly) with no inconsistency. Second, introduce the perturbation $\varPhi$ and substitute $\hat {f} = \hat {M} + \varPhi$ (see also (2.4a)) into the equation (2.1a), the boundary condition (2.1g) and the condition for average density (2.1j), and neglect the second- and higher-order terms of perturbation $\varPhi$ according to assumption (iii). Then, we are left with the linearized system for the perturbation $\varPhi$, without any inconsistency. Third, substitute the expression (2.4c) into the system for $\varPhi$ and closely examine the resulting expressions, in particular those of the collision integral. Then, we find that the form (2.4c) introduces no inconsistency, and the systems for the perturbed densities $\hat {\omega }_{T, P}$ and the VDFs $\varPsi _{T, P}$ are accordingly obtained.
2.4.1. Problems of $\hat {\rho }_{M}$, $\hat {\omega }_{T, P}$ and $\varPsi _{T, P}$
In (2.4), $\hat {\rho }_{M}$, $\hat {\omega }_{T, P}$ and $\varPsi _{T, P}$ are the functions to be determined. Following the above steps explained in the item (iii) or Appendix A, we find that the densities $\hat {\rho }_{M}$, $\hat {\omega }_{T}$ and $\hat {\omega }_{P}$ satisfy the following integro-differential equations, while the VDFs $\varPsi _{T}$ and $\varPsi _{P}$ are the solutions of the following boundary-value problems of the linearized Enskog equation:
Here, $\beta = T, P$ in (2.6a) and (2.7). The operators $J_{1}$, $J_{2}$ and $J_{3}$ appearing in (2.5a), (2.6b) and the definition (2.11a) of the source term $I_{T}$ shown later are integrals of $\hat {\rho }_{M}$ given by (B1) in Appendix B. The operators $K_{1}$, $K_{2}$ and $K_{3}$ appearing in (2.6) and the definition (2.11) of $I_{\beta }$ are integrals that are linear with respect to $\hat {\omega }_{\beta }$ given by (B3) in Appendix B. The integrals $J_{1}$ and $K_{1}$ represent the contribution coming from the collision integral $\hat {Q}$ to the densities $\hat {\rho }_{M}$ and $\hat {\omega }_{\beta }$. Equations (2.6c) and (2.6b) are the reduced form of the aforementioned conditions on the stress gradient $\partial _{x_{2}}\hat {p}_{22}$ explained in the item (ii) of § 2.4 (see also the last paragraph in Appendix A.3). By these conditions (2.6c) and (2.6b), $\hat {\omega }_{P}$ and $\hat {\omega }_{T}$, which satisfy the same linear equation (2.6a) and are thus equal up to a multiplicative constant, are distinguished from each other. The quantity $L$ appearing in (2.7a) is the following Enskog collision operator linearized around the reference local equilibrium state $\hat {M}(x_{1},\boldsymbol {\zeta })$:
where
In the decomposition (2.8a) of $L$, $C$ is the integral operator with some smoothing property in the molecular velocity $\boldsymbol {\zeta }$ and $\nu$ is the collision frequency for the reference equilibrium state $\hat {M}(x_{1},\boldsymbol {\zeta })$. The function $\hat {Y}_{1}$ given in (2.9a) is just a perturbed part of $\hat {Y}$ such that
The source term $I_{\beta }$ in (2.7a) is given in terms of the densities $\hat {\rho }_{M}$ and $\hat {\omega }_{T,P}$ as
Thanks to the symmetry of the present problem with respect to the middle of the gap $x_{1} = 0$, we can seek the VDF $\varPsi _{\beta }$ with the following property:
Thus, hereafter, we impose the following condition:
on $\varPsi _{\beta }$, which is obtained by substituting $x_{1} = 0$ into (2.12), and we consider the problem of $\varPsi _{\beta }$ on $-(1-\hat {\sigma })/2 < x_{1} < 0$.
2.4.2. Expressions of macroscopic quantities
Substituting the solution (2.4) into (2.1d), (2.3a)–(2.3c), (2.3e), (2.3f), (2.3h) and (2.3i), within negligible error $O(c_{P}^{2},c_{T}^{2})$ in the linearized regime, we have the following expressions for the macroscopic quantities $\hat {\rho }$, $\hat {v}_{i}$, $\hat {T}$, $\hat {p}$, $\hat {p}_{ij}^{({k})}$, $\hat {p}_{ij}^{({v})}$, $\hat {q}_{i}^{({k})}$ and $\hat {q}_{i}^{({v})}$:
Here,
The expressions of the stress contributions $P_{11,M}^{({v})}$, $P_{22,M}^{({v})}$, $P_{12,\omega _{T}}^{({v})}$ and $P_{12,\omega _{P}}^{({v})}$ and the gradients $G_{11,T}^{({v})}$, $G_{11,P}^{({v})}$, $G_{22,T}^{({v})}$ and $G_{22,P}^{({v})}$, which are all defined as the integrals of the densities $\hat {\rho }_{M}$, $\hat {\omega }_{T}$ and $\hat {\omega }_{P}$, and those of $P_{12}^{({v})}[\varPsi _{\beta }]$ and $Q^{({v})}[\varPsi _{\beta }]$, are given in Appendix C. Note that $c_{T}G_{T}$, $c_{T}(G_{{22},T}^{({k})}+G_{{22},T}^{({v})})$ and $c_{T}(Q^{({k})}[\varPsi _{T}]+Q_{T}^{({v})})$ (or $c_{P}G_{P}$, $c_{P}(G_{{22},P}^{({k})}+G_{{22},P}^{({v})})$ and $c_{P}(Q^{({k})}[\varPsi _{P}]+Q_{P}^{({v})})$) are the gradient of pressure $\partial _{x_{2}}\hat {p}$, that of the $(2,2)$ component of stress $\partial _{x_{2}}\hat {p}_{22}$ and the heat flow $\hat {q}_{2}$ for the thermal transpiration (or Poiseuille) flow, respectively, within the linearized regime (see (2.14e), (2.3d), (2.14f), (2.14j), (2.3g), (2.14m) and (2.14n)).
It is better to mention again the expression (2.14) is obtained within the linearized regime. At a glance, it might look strange that the temperature $\hat {T}$ is uniform for the Poiseuille flow and that the diagonal kinetic-part stress components are equal to each other (see (2.14d) with $c_{T} = 0$ and (2.14h)). However, they are justified in the linearized regime, and deviations from them are attributed to nonlinear effects of $O(c_{P}^{2},c_{T}^{2})$, which are neglected here due to the smallness (see also the last sentence in § 2.1). The coefficients $c_{P,T}$ need to be sufficiently small compared with 1, and, in addition, compared with the degree of gas rarefaction $k$ when we consider the flow with small $k$. (Some of the quantities of interest in the present paper are of $O(k)$ rather than $O(1)$.) Although there is no definite threshold, e.g. when $c_{P,T} \lesssim 0.001$ or $c_{P,T} \lesssim 0.0001$, the nonlinear effects would likely not be significant for the cases presented in § 4, where $k$ is in the range $[0.05, 10]$.
Also, as in other works based on the linearization assumption, flows between two infinitely wide parallel plates are considered in the present work. Thus, when flow in a finite-length channel with moderate pressure and temperature differences is considered, its length (and the lateral width when a rectangular channel is considered as in experiments) needs to be sufficiently long compared with both its gap width $D$ and the mean free path so that the results for infinitely wide plates give a good description of the flow (Sharipov Reference Sharipov1999). Note that, for the case of a rarefied gas, there is an experiment of pressure-driven flow (Ewart et al. Reference Ewart, Perrier, Graur and Méolans2007) taking this condition carefully into consideration (the channel length and lateral width are respectively approximately 1000 and 52 times the gap width). There, it is reported that the experimental results agree well with numerical results for infinitely wide plates (Loyalka Reference Loyalka1975) based on a model kinetic equation for a wide range of the Knudsen number approximately up to $10$.
2.4.3. Net mass flow and conservation law
Denoting by $\rho _{0}(2RT_{0})^{1/2}D\mathcal {M}$ the net mass flow through the gap per unit time and unit length in $X_{3}$, $\mathcal {M}$ is given as
where
Multiplying (2.1a) by $\zeta _{2}$ and integrating the result over the whole space of $\boldsymbol {\zeta }$, we have the following conservation equation for the momentum in the $x_{2}$ direction within negligible error in the linearized regime:
Substituting the expression of $\hat {p}_{12}$ and $\hat {p}_{22}$ (see (2.3d), (2.14f), (2.14g), (2.14j) and (2.14k)) into (2.18) and integrating the result over [$-(1-\hat {\sigma })/2$, $x_{1}$] with respect to $x_{1}$, we obtain
where
In obtaining (2.20), we have used the fact that the potential part of the stress $P_{12,\beta }^{({v})}$ vanishes on the boundary $x_{1} = -(1-\hat {\sigma })/2$. The relation (2.19) will be used for the accuracy test of our computation.
3. Numerical method
The densities $\hat {\rho }_{M}$, $\hat {\omega }_{T}$ and $\hat {\omega }_{P}$, which are defined by (2.5) and (2.6), can be obtained numerically by the method in Frezzotti (Reference Frezzotti1997). Thus, the problem is reduced to (2.7) with (2.13) for the VDFs $\varPsi _{T}$ and $\varPsi _{P}$.
Let us explain the numerical solution method for the problems of $\varPsi _{T}$ and $\varPsi _{P}$. We solve them by using iteration based on the integral formulation (Takata & Funagane Reference Takata and Funagane2011; Hattori & Takata Reference Hattori and Takata2015) of the Enskog equation combined with the fast Fourier spectral method (Filbet et al. Reference Filbet, Mouhot and Pareschi2006) for the computation of the collision integral. Taking into account (2.8a) and (2.13) and formally integrating the equation (2.7a) with respect to $x_{1}$, we have
where $\boldsymbol {\zeta }^- = (-\zeta _{1}, \zeta _{2}, \zeta _{3})$ and $\beta = T, P$. Since $C$ is an integral operator, $C(\varPsi _{\beta })$ is mild in $\boldsymbol {\zeta }$ even if its argument function $\varPsi _{\beta }$ is not. Thus, the factor of steep variation of $\varPsi _{\beta }$ in $\boldsymbol {\zeta }$ (or $\zeta _{1}$) is explicit in this formulation, which will be advantageous in accurately capturing the structure of the solution. The solution $\varPsi _{\beta }$ is constructed by iteration based on (3.1) from its initial guess. The data of $C(\varPsi _{\beta })$ are computed by the fast Fourier spectral method from the given data of $\varPsi _{\beta }$. The fast Fourier spectral method for the nonlinear Enskog collision integral is explained in Wu et al. (Reference Wu, Zhang and Reese2015). Following the reference, we can prepare the method for the linearized Enskog collision operator $C$ in the present work. The spatial integration with respect to $p$ and that with respect to $s$ in (3.1) are performed analytically after $\nu$ and $(C(\varPsi _{\beta }), I_{\beta })$ are interpolated respectively with piecewise linear and quadratic functions from their data on the lattice points for position $x_{1}$.
Information of lattice systems and accuracy is briefly given in Appendix D.
4. Numerical results and discussions
Figure 2 shows the quantities related to the density and the gradients of the pressure and the $(2,2)$ component of stress in the $x_{2}$-direction, namely $\hat {\rho }_{M}$, $\hat {\omega }_{T}$ and $\hat {\omega }_{P}$, $G_{T}$, $G_{{22},T}^{({k})} + G_{22,T}^{({v})}$, $G_{P}$ and $G_{{22},P}^{({k})} + G_{22,P}^{({v})}$, for the molecular-size parameter $\hat {\sigma } = 0.01$ and $0.1$ and the degree of gas rarefaction $k = 0.1$, $1$ and $10$ (see also the last sentence of the first paragraph in § 2.4.2). The profiles for small $\hat {\sigma }$ and large $k$ (e.g. for $\hat {\sigma } = 0.01$ and $k = 10$) are almost uniform and close to their counterparts for the Boltzmann equation. On the other hand, for large $\hat {\sigma }$ and small $k$ (e.g. for $\hat {\sigma } = 0.1$ and $k = 0.1$), or when the gas is dense, they vary significantly near the boundary and are non-uniform in the $x_{1}$ direction. As for the origin of the non-uniformity of densities $\hat {\rho }_{M}$ and $\hat {\omega }_{T,P}$ (figure 2a,b), see also the item (i) in § 2.4. The gradient of the pressure actually differs from that of the $(2,2)$ component of stress (compare figures 2c and 2d, and figures 2e and 2f), even if their averages over $x_{1}$ are taken. This is in marked contrast to the case of an ideal gas (or the Boltzmann equation), in which the gradients of the pressure and the normal stress components are uniform and identical for each of the two flows considered here. The stress gradient for the thermal transpiration flow is negative near the boundary and positive in the central part of the gap (figure 2d). That for the Poiseuille flow is smaller in the central part of the gap than near the boundary (figure 2f).
The densities $\hat {\rho }_{M}(x_{1})$ and $\hat {\omega }_{P}(x_{1})$ shown in figure 2 seem to vary significantly only near the boundary within the distance $O(\hat {\sigma })$ and approach their values $\hat {\rho }_{M}(0)$ and $\hat {\omega }_{P}(0)$ at the middle of the gap. By using the rescaled distance from the boundary $(x_{1}+(1-\hat {\sigma })/2)/\hat {\sigma }$ and semilog plot, figure 3(a–d) demonstrates this observation. The approach to the values $\hat {\rho }_{M}(0)$ and $\hat {\omega }_{P}(0)$ in the uniform region is actually sufficiently fast in the scale of $O(\hat {\sigma })$. Moreover, the magnitude of the deviation between the density on the boundary and that at the middle of the gap is of the order of the volume fraction of molecules $\eta _{0}$ (figure 3e, f). From these results, when $\hat {\sigma }$ and $k$ are decreased simultaneously so that $\eta _{0}$ is finite, a thin layer with the thickness of $O(\hat {\sigma })$ adjacent to the boundary, where the densities deviate up to $O(\eta _{0})$ from their values in the uniform region outside the layer, is expected to appear.
In figure 4, the profiles of the mass flow $\hat {\rho }_{M}u[\varPsi _{T}]$ for the thermal transpiration flow are shown for various values of the degree of gas rarefaction $k$ and the molecular-size parameter $\hat {\sigma }$. When $k$ is not small, the flow is smaller for larger $\hat {\sigma }$ (see panel a). Its main reason is simply that the increase of the temperature along the plate in units of the effective width $D-\sigma$ where the centre of a molecule can move, which becomes shorter for larger $\sigma$, is small, so that the flow is less driven. This effect is more significant than the enhancement of the flow due to the increase of the effective Knudsen number defined with the length $D-\sigma$, which should be taken into account too. Related observation will be done for the net mass flow shown later. When $k$ is relatively small, in turn, as $\hat {\sigma }$ increases, the flow is enhanced over the whole gap including near the boundary. Indeed, for $k = 0.1$, the mass flow is larger for larger $\hat {\sigma }$ (see panel b). This is expected to be associated with the increase of the thermal conductivity of the gas accompanied by the increase of $\hat {\sigma }$, which is explained by the Chapman–Enskog theory for a dense gas (Chapman & Cowling Reference Chapman and Cowling1991) for small Knudsen numbers, because the thermal slip coefficient, which approximately represents the magnitude of the induced flow, is likely larger for the gas with larger thermal conductivity, judging from the relation between them for monoatomic rarefied gases. The negative gradient of stress near the boundary also contributes to the increase of the mass flow there (see figure 2d). With further decrease of $k$, we observe considerable decrease of the mass flow in the central part of the gap (see figure 4c,d). Figure 2(d) implies that this is due to the deceleration by the positive gradient of stress there. Incidentally, when $k$ is small and $\hat {\sigma }$ is large, although the profile of the flow velocity $u[\varPsi _{T}]$ differs quantitatively from the mass flow $\hat {\rho }_{M}u[\varPsi _{T}]$ due to the non-uniformity of $\hat {\rho }_{M}$, the qualitative features mentioned above are in common with $u[\varPsi _{T}]$.
The profiles of the mass flow $\hat {\rho }_{M}u[\varPsi _{P}]$ for the Poiseuille flow are shown in figure 5 for various values of the degree of gas rarefaction $k$ and the molecular-size parameter $\hat {\sigma }$. The profile is flatter and the flow is smaller for larger $\hat {\sigma }$, which is consistent with the fact that the magnitude of the Poiseuille flow is roughly inversely proportional to the viscosity for small $k$ and its increase is accompanied by the increase of $\hat {\sigma }$.
Figure 6 shows the profiles of the heat flow for the thermal transpiration flow. When $k$ is small, the heat flow is enhanced for larger $\hat {\sigma }$, which is consistent with the aforementioned increase of the thermal conductivity. It changes steeply near the boundary for large $\hat {\sigma }$ as in the mass flow. The profile of the heat flow for the Poiseuille flow is shown in figure 7. This heat flow is known to be owing to the effect of gas rarefaction in the case of an ideal gas since it occurs under the isothermal condition and it has no direct relation to the thermal conductivity and viscosity. Our result shows that heat flow of this kind is also enhanced with the increase of $\hat {\sigma }$.
Let us consider the force-driven flow, a flow driven by a uniform external force in the direction parallel to the plates. This flow has been studied in the framework of kinetic theory with an interest in non-Navier–Stokes effects such as the heat flow along the force direction, the temperature bimodality and the anisotropy of normal stress components (see, e.g. Tij & Santos Reference Tij and Santos1994; Malek Mansour, Baras & Garcia Reference Malek Mansour, Baras and Garcia1997). Note that these are nonlinear effects, i.e. they manifest themselves at second order in the magnitude of the normalized force. The behaviour of the mass flow of the Poiseuille flow observed in figure 5 is similar to that of the force-driven flow within the linearized regime for small force (Wu et al. Reference Wu, Liu, Reese and Zhang2016; Sheng et al. Reference Sheng, Gibelli, Li, Borg and Zhang2020), where the aforementioned effects are suppressed sufficiently. Thus, we have also carried out the computations of the latter case, which is described by the solution of the problem (2.7) of $\varPsi _{P}$ with the source term $I_{P}$ being replaced by
Since $I_{P}$ and $I_{\mathrm {F}}$ are identical for the Boltzmann equation (both are given by $-\zeta _{2}E$), so are the VDFs ($\varPsi _{P}$ and its counterpart) and the flow velocities, heat flows and shear stresses obtained as their moments. On the other hand, for the case of a dense gas, there are differences for the profiles of mass and heat flows between two cases although the differences are very slight (see figure 8(a,b), in particular, the curves for $\hat {\sigma } = 0.15$). Recall that the expressions of $I_{P}$ and $I_{\mathrm {F}}$ (see (2.11b) and (4.1)) differ for the case of a dense gas. Actually, there is a difference between their marginal functions
near the boundary for large $\hat {\sigma }$, as shown in figure 8(c,d). For $\hat {\sigma } = 0.1$ and $x_{1} = -0.45$, their difference normalized by the maximum, $\max _{\zeta _{1}}|I_{P}^{{\dagger} }-I_{\mathrm {F}}^{{\dagger} }|/\max _{\zeta _{1}}|I_{\mathrm {F}}^{{\dagger} }|$, is larger than $0.051$ ($5.1\,\%$). This demonstrates that, for the case of the Enskog equation, there are differences between the force-driven and the pressure-driven flows even within the linearized regime, especially at the microscopic level.
In figure 9, we show the net mass flows for the thermal transpiration and Poiseuille flows. In panels (a,b), $\mathcal {M}_{T}$ and $\mathcal {M}_{P}$ given by (2.17) are shown, respectively, while in panels (c,d), their ratios to the net mass flows for the case of the Boltzmann equation, say $\mathcal {M}_{T,{B}}$ and $\mathcal {M}_{P,{B}}$, are shown. The quantity $\mathcal {M}_{T}$ exhibits the behaviour corresponding to that for the mass flow profile observed in figure 4. Namely, as $k$ becomes smaller, the enhancement of the flow with the increase of $\hat {\sigma }$ compensates for the decrease of the effective gap width, and consequently the values of the net mass flows are close to each other for different $\hat {\sigma }$ values (e.g. for $k = 0.1$ and $0.07$). With further decrease of $k$, the mass flow rate is smaller for larger $\hat {\sigma }$ again because the flow decreases in the central part of the gap. For the Poiseuille flow, when $\hat {\sigma }$ is small, the Knudsen minimum is clearly observed (see panel b), which is attributed to the fact that the braking effect due to the plate becomes smaller both as $k \to 0$ and $k \to \infty$ (more thorough explanation is found in the literature). On the other hand, as is also pointed out in Wu et al. (Reference Wu, Liu, Reese and Zhang2016) and Sheng et al. (Reference Sheng, Gibelli, Li, Borg and Zhang2020) for the force-driven flows, the plot becomes flatter for larger $\hat {\sigma }$ and the Knudsen minimum becomes more invisible. This is because the flow is not enhanced in the central part of the gap as $k$ becomes smaller; see the plot curves for $\hat {\sigma } = 0.1$ or $0.15$ in figure 5(c–e), which are almost unchanged. In figure 9(e, f), we show the following quantities:
introduced by the conversion which corresponds to the replacement of the reference length $D$ by $D-\sigma$. As $k_{*}$ becomes larger, the plots for different $\hat {\sigma }$ values exhibit the common trend, which implies that the behaviour of the gas for large Knudsen numbers can be characterized well in terms of the length $D-\sigma$. This is consistent with the explanation of the mass flow for the thermal transpiration flow given in the third paragraph of this section.
Figures 10–12 show the VDF $\varPsi _{T}$ for the degree of gas rarefaction $k = 0.1$, $1$ and $10$ at three spatial points $x_{1} = -(1-\hat {\sigma })/2$, $-0.25$ and $0$ as functions of the normal velocity component $\zeta _{1}$ with $(\zeta _{2},\zeta _{3})$ being fixed at $(1.106, 0)$. In the figures, the close-ups of the VDFs at the boundary near $\zeta _{1}=0$ are also shown in panel (b) of each figure. First, the following overall behaviour similar to the case of the Boltzmann equation is observed:
(a) There is a jump discontinuity at $\zeta _{1} = 0$ on the boundary $x_{1} = -(1-\hat {\sigma })/2$.
(b) When $k$ is small, the discontinuity is small and the VDFs behave moderately in the gas.
(c) When $k$ is large, the VDFs are localized around $\zeta _{1} = 0$ including in the gas.
However, for the finite molecular size $\hat {\sigma } \neq 0$, the VDFs deviate considerably from those for the Boltzmann equation for $\zeta _{1} < 0$ near the origin on the boundary even when $\hat {\sigma }$ is small (see panel (b) of each figure). As $\hat {\sigma }$ is decreased, while the values of the macroscopic quantities approach those for the Boltzmann equation uniformly in $x_{1}$ (see, e.g. figures 4 and 5), the VDFs exhibit non-uniform approach in $(x_{1},\zeta _{1})$. In the following, we consider the cause of this behaviour of the VDFs with the aid of the expression (3.1b). Since the first term on the right-hand side of (3.1b) is exponentially small for $|\zeta _{1}| \ll 1$, we only have to examine the second term. As in the case of the Boltzmann equation, the integral $C(\varPsi _{T})$, the collision frequency $\nu$ and the source term $I_{T}$ are smooth in velocity $\boldsymbol {\zeta }$ (or $\zeta _{1}$) also for finite $\hat {\sigma }$, which can be confirmed actually from the numerical results. Thus it is the exponential function that induces the steep variation of $\varPsi _{T}$ in $\zeta _{1} < 0$ near the origin. Taking into account the expression of the argument of the exponential function, we see that only the integrand in the range $|s + (1-\hat {\sigma })/2| \lesssim k|\zeta _{1}|$ actually contributes to the integral with respect to $s$. In the meantime, $C(\varPsi _{T})$ and $\nu$ vary significantly in $x_{1}$ in the region within $O(\hat {\sigma })$ from the boundary, as figure 13 implies. Thus, for $|\zeta _{1}| \lesssim \hat {\sigma } / k$, $\varPsi _{\beta }$ is determined from $C(\varPsi _{\beta })$ and $\nu$ substantially affected by the boundary and accordingly its value may deviate largely from that for the case of the Boltzmann equation. To confirm the estimate, we show the deviation of the VDF $\varPsi _{T}$ from that for the case of the Boltzmann equation $\varPsi _{T,{B}}$, say $\Delta \varPsi _{T} = \varPsi _{T} - \varPsi _{T,{B}}$, normalized by its value at $\zeta _{1} = -0$ in figure 14. When they are plotted as functions of $k\zeta _{1}/\hat {\sigma }$, they overlap well with each other for large $k$ and small $\hat {\sigma }$. This supports the above estimate. Note that $\varPsi _{P}$ also has the features described in this paragraph although their figures are omitted.
The comparison of the results shown in this section with other approaches like molecular dynamics (MD) simulation is not carried out here since, unfortunately, it is difficult to find the simulation result of a corresponding system such as molecules under the dense gas condition confined in a channel joined to two reservoirs maintained at different temperature and pressure. However, instead, let us mention some known correspondences between results obtained by the Enskog equation and MD, which support the description of phenomena in dense gases based on the kinetic theory:
(i) It is known that the profile of the reference density obtained from the Enskog equation, $\hat {\rho }_{M}(x_{1})$ in the present paper, agrees well with that obtained by MD simulation (see, e.g. figure 6 in Frezzotti Reference Frezzotti1997).
(ii) For the force-driven flow, it is demonstrated in Sheng et al. (Reference Sheng, Gibelli, Li, Borg and Zhang2020) that the velocity profile obtained from the Enskog equation agrees well with that obtained by MD simulation (see figures 5 and 6 in the reference).
(iii) As for the thermal response, heat flow as well as the profiles of stress, density and temperature between two parallel plates kept at different constant temperatures obtained from the Enskog equation agree well with those obtained by MD simulation (see Frezzotti Reference Frezzotti1999).
5. Concluding remarks
We have investigated the thermal transpiration and Poiseuille flows of a dense gas between two parallel plates based on the Enskog equation under the diffuse reflection boundary condition. The problem was linearized around the local equilibrium state that is achieved in the absence of driving sources. Then, the reduced spatially one-dimensional problems were solved numerically by a method based on the integral formulation combined with the fast Fourier spectral method for the computation of the Enskog collision integral. Our findings in the present work are summarized as follows:
(i) In contrast to the case of an ideal gas, the density and the gradients of pressure and normal stress component in the flow direction are not uniform in the direction normal to the plates for a dense gas. The non-uniformity or significant variation has been observed near the boundary within a distance of the order of the molecular diameter for various quantities for a dense gas. The non-uniform normal stress gradient contributes to the acceleration or deceleration of the thermal transpiration flow for small Knudsen numbers.
(ii) The behaviour of mass and heat flows as well as net mass flows has been clarified for various Knudsen numbers and ratios of the molecular diameter to the distance between the plates.
(iii) In the analysis of the Poiseuille flow, most characteristics of the force-driven flow with a small force are recovered. However, for the case of a dense gas, differences between the force-driven and the present pressure-driven flows are observed even within the linearized regime for small force and pressure gradient, especially at the microscopic level.
(iv) The behaviour of VDFs, in particular, the way they approach those for the Boltzmann equation as the molecular diameter becomes smaller, has been clarified.
Acknowledgements
The author expresses his sincere thanks to Professor S. Takata for his encouragement and helpful discussions.
Funding
This work was supported in part by JSPS KAKENHI grant no. 21K14076 and the HPCI System Research Project hp220077.
Declaration of interests
The author reports no conflict of interest.
Appendix A. Outline of linearization procedure
In this appendix, we summarize the outline of the linearization procedure for the Enskog equation.
A.1. Reference equilibrium state
First, substitute $\hat {f} = \hat {M} = \hat {\rho }_{M}(x_{1})E(\zeta )$ into (2.1a). Then, the left-hand side of (2.1a) is recast as
On the other hand, the right-hand side of (2.1a) is transformed as
where $J_{1}$ is given in Appendix B. Note that (a) at the second equality, $E(\zeta _{*}^{\prime })E(\zeta ^{\prime }) = E(\zeta _{*})E(\zeta )$ is used and change of a variable $\boldsymbol {k} \to -\boldsymbol {k}$ is applied for the first term in the integrand; (b) at the third equality, $H(-\hat {\boldsymbol{V}} \boldsymbol {\cdot } \boldsymbol{k})+H(\hat {\boldsymbol{V}} \boldsymbol {\cdot } \boldsymbol{k}) = 1$ is used and the integration over $\boldsymbol {\zeta }_{*}$ is carried out; (c) at the fourth equality, with the $x_{1}$ direction as the polar direction, the integration with respect to the azimuthal angle of $\boldsymbol {k}$ is carried out (then the contribution from the parts multiplied by $\zeta _{2}k_{2}$ and $\zeta _{3}k_{3}$ vanish) and that with respect to the polar angle of $\boldsymbol {k}$ is expressed as the integral with respect to the variable $z$.
Equating (A1) and (A2), we have the equation (2.5a) for the density $\hat {\rho }_{M}(x_{1})$. Since $\hat {M}$ is a Maxwellian, it satisfies the diffuse reflection boundary condition (2.1g) with the plate temperature $\hat {T}_{w}(x_{2})$ being replaced by the reference temperature $1$. Substituting $\hat {f} = \hat {M} = \hat {\rho }_{M}(x_{1})E(\zeta )$ into the condition (2.1j) for average density, immediately we have (2.5b). When the density $\hat {\rho }_{M}(x_{1})$ satisfies (2.5), the local equilibrium state $\hat {M} = \hat {\rho }_{M}(x_{1})E(\zeta )$ satisfies the Enskog equation (2.1a) in the domain $-({1-\hat {\sigma }})/{2} < x_{1} < ({1-\hat {\sigma }})/{2}$.
A.2. Perturbation
Now, let us introduce the perturbation, $\varPhi$, and express $\hat {f}$ as $\hat {f} = \hat {M} + \varPhi$. Then, subtracting Enskog equation (2.1a) for $\hat {f} = M$ from that for $\hat {f} = \hat {M} + \varPhi$, we have
where $L$ is the collision operator linearized around the reference local equilibrium state $\hat {M}(x_{1},\boldsymbol {\zeta })$. The expression (2.8) of $L$ is obtained in a straightforward way by using the transformation $\hat {Y}\left ( \hat {\rho } \right )\hat {f}\hat {f} = [\hat {Y}\left ( \hat {\rho }_{M} \right ) + \left \langle \varPhi \right \rangle \hat {Y}_{1}\left ( \hat {\rho }_{M} \right )+ O(\varPhi ^{2})](\hat {M}+\varPhi )(\hat {M}+\varPhi ) = \hat {Y}\left ( \hat {\rho }_{M} \right )\hat {M}\hat {M} + \left \{ \hat {Y}\left ( \hat {\rho }_{M} \right )(\hat {M}\varPhi +\varPhi \hat {M}) + \left \langle \varPhi \right \rangle \hat {Y}_{1}\left ( \hat {\rho }_{M} \right )\hat {M}\hat {M} \right \} + O(\varPhi ^{2})$ (see also (2.10)).
Subtracting the boundary condition (2.1g) or the condition (2.1j) for average density for $\hat {f} = M$ from those for $\hat {f} = \hat {M} + \varPhi$, respectively, we have
Derivation of (A4) is straightforward and parallel to the case of the Boltzmann equation.
A.3. Form of perturbation
We need to find the appropriate form of the perturbation $\varPhi$ such that $\varPhi$ represents the gradients of temperature and pressure (or stress) and satisfies its equation (A3) and conditions (A4) within the linearized regime.
For the Boltzmann equation, it is known that such a solution $\varPhi$ can be sought in the form
where $\bar {c}_{P}$ is a small constant and $\bar {\varPsi }_{T}$ and $\bar {\varPsi }_{P}$ are odd in $\zeta _{2}$. The bar is attached to discriminate the quantities from those for the Enskog equation. Calculating the temperature $\hat {T}$ and the stress $\hat {p}_{22}$ with $\hat {f} = \hat {M} + \varPhi$ for the Boltzmann equation, we have $\hat {T} = 1 + c_{T}x_{2}$ and $\hat {p}_{22} = 1 + \bar {c}_{P}x_{2} (= \hat {p})$ within the linearized regime (the negligible $O(\bar {c}_{P}^{2},c_{T}^{2})$ error terms are dropped in these expressions). We see that $\bar {c}_{P}$ corresponds to the gradient of stress (or pressure) in the $x_{2}$ direction. The problem for $\varPhi$ is rewritten to those for $\bar {\varPsi }_{T}$ and $\bar {\varPsi }_{P}$.
Unfortunately, for the case of Enskog equation, the form (A5) cannot satisfy the equation (A3) and a modification is required. A clue for an appropriate modification is that the reference state $\hat {M}$ is a Maxwellian with uniform temperature but variable density profile in the $x_{1}$ direction for the case of Enskog equation. We attempt to make the perturbation have the corresponding properties too. Accordingly, we introduce perturbed density profile, say $\hat {\omega }_{T}(x_{1})$ and $\hat {\omega }_{P}(x_{1})$, as well while keeping the temperature is constant in $x_{1}$. This leads to the introduction of the form (2.4c) of $\varPhi$, i.e. $\varPhi = c_{T}\left \{ x_{2}E(\zeta )\left [ \hat {\omega }_{T}(x_{1})+(\zeta ^{2}-\frac {3}{2})\hat {\rho }_{M}(x_{1}) \right ] + \varPsi _{T}(x_{1},\boldsymbol {\zeta }) \right \} + c_{P}\left [ x_{2}E(\zeta )\hat {\omega }_{P}(x_{1}) + \varPsi _{P}(x_{1},\boldsymbol {\zeta }) \right ]$. Note that the case of Boltzmann equation corresponds to the case $\hat {\rho }_{M}(x_{1}) \equiv 1$, $\hat {\omega }_{T}(x_{1}) \equiv -1$ and $\hat {\omega }_{P}(x_{1}) \equiv 1$.
Calculating the temperature $\hat {T}$ and the stress $\hat {p}_{22}$ with $\hat {f} = \hat {M} + \varPhi$ for the Enskog equation, we have $\hat {T} = 1 + c_{T}x_{2}$ and
within the linearized regime (the negligible $O(c_{P}^{2},c_{T}^{2})$ error terms are dropped in these expressions), where $G_{{22},T}^{({k})} = \hat {\rho }_{M}(x_{1}) + \hat {\omega }_{T}(x_{1})$ and $G_{{22},P}^{({k})} = \hat {\omega }_{P}(x_{1})$, and the expressions of the stress contribution $P_{22,M}^{({v})}$ and the gradients $G_{22,T}^{({v})}$ and $G_{22,P}^{({v})}$ are given in Appendix C. The calculation of $\hat {p}_{22}^{({k})}$ is parallel to the case of Boltzmann equation. As for that of $\hat {p}_{22}^{({v})}$ (2.3f), thanks to the explicit functional form of $\varPhi$ in $\boldsymbol {\zeta }$ except the parts of $\varPsi _{T,P}$, the integration with respect to $\boldsymbol {\zeta }$ and $\boldsymbol {\zeta }_{*}$ can be carried out firstly with $\boldsymbol {k}$ and $\hat {\alpha }$ being fixed and that with respect to the azimuthal angle of $\boldsymbol {k}$ can also be carried out subsequently. The contribution from $\varPsi _{T,P}$ vanishes due to their oddness in $\zeta _{2}$. Now, in accordance with the nature of the Poiseuille and thermal transpiration flows, we require that
See also the item (ii) in § 2.4. Under (A7), $c_{P}$ corresponds to the gradient of stress in the $x_{2}$ direction averaged in the $x_{1}$ direction (see (A6)). Substituting the expressions of $G_{22,P}^{({k,v})}$ and $G_{22,T}^{({k,v})}$ into (A7a) and (A7b), they reduce to the subsidiary conditions (2.6c) and (2.6b) for $\hat {\omega }_{P}$ and $\hat {\omega }_{T}$. Their derivations are straightforward.
A.4. Compatibility of perturbation
Finally, we have to check if the solution $\varPhi$ of the equation (A3) under the conditions (A4) can be sought without any inconsistency in the form (2.4c) within negligible error in the linearized regime.
Since $\varPhi |_{x_{2} = 0} = c_{T}\varPsi _{T} + c_{P}\varPsi _{P}$ and $\varPsi _{T,P}$ is considered to be odd in $\zeta _{2}$, the condition (A4c) for average density is satisfied automatically. Substituting (2.4c) into the boundary condition (A4a) and (A4b) leads to the homogeneous boundary condition (2.7b) for $\varPsi _{T,P}$, whose derivation is parallel to the case of Boltzmann equation. It remains to check the compatibility with the equation (A3).
Substituting (2.4c) into the equation (A3) for $\varPhi$, its left-hand side is recast as
We see that the terms in (A8) can be classified into three different kinds of terms according to their functional form with respect to $x_{2}$ and $\boldsymbol {\zeta }$: (I) $c_{T}x_{2}\zeta _{1}E(\zeta )(\zeta ^{2}-3/2)\,\mathrm {d}\hat {\rho }_{M}(x_{1})/\mathrm {d} x_{1}$, (II) $c_{T,P}x_{2}\zeta _{1}E(\zeta )\,\mathrm {d}\hat {\omega }_{T,P}(x_{1})/\mathrm {d} x_{1}$, (III) $c_{T}\left \{ \zeta _{1}\partial \varPsi _{T}(x_{1},\boldsymbol {\zeta }) / \partial x_{1} +\zeta _{2}E(\zeta )\left [ \hat {\omega }_{T}(x_{1})+(\zeta ^{2}-\frac {3}{2})\right.\right.$ $\left.\left.\hat {\rho }_{M}(x_{1}) \vphantom{(\zeta ^{2}-\frac {3}{2})}\right] \right \}$ and $c_{P}\left \{ \zeta _{1}\partial \varPsi _{P}(x_{1},\boldsymbol {\zeta }) / \partial x_{1}+\zeta _{2}E(\zeta )\hat {\omega }_{P}(x_{1}) \right \}$. The terms of third kind are odd in $\zeta _{2}$ and do not depend on $x_{2}$.
For the right-hand side of (A3), first let us rewrite the form (2.4c) as $\varPhi = (c_{T}\varPsi _{T} + c_{P}\varPsi _{P}) + c_{T}x_{2}E(\zeta ^{2}-\frac {3}{2})\hat {\rho }_{M} + x_{2}E(c_{T}\hat {\omega }_{T} + c_{P}\hat {\omega }_{P})$. Then substituting it into the right-hand side of (A3) and making use of the linearity of the collision operator $L$, we have
where
and the integrals $J_{1}$, $J_{3}$, $K_{1}$ and $K_{3}$ are given in Appendix B. Derivation of (A9c) and (A9d) can be done straightforwardly in the similar way as (A2), where the same kind of operations (see the items (a)–(c) after (A2)) can be used again. When the arguments proportional to $x_{2}$ are substituted into the collision operator $L(\psi )$ ((A9c) and (A9d)), due to the position displacements $\boldsymbol {x}\pm \hat {\sigma }\boldsymbol {k}$ for $\psi$ and $\boldsymbol {x}\pm (\hat {\sigma }/2)\boldsymbol {k}$ for $\left \langle \psi \right \rangle$ (see also (2.8)), factors with $x_{2}\pm \hat {\sigma } k_{2}$ and $x_{2}\pm (\hat {\sigma }/2) k_{2}$ occur in the integrand of $L(\psi )$. Then, the contribution from parts proportional to $x_{2}$ gives the first term of the right-hand side of (A9c) and the first and third terms of the right-hand side of (A9d), and that from parts proportional to $\pm \hat {\sigma } k_{2}$ and $\pm (\hat {\sigma }/2) k_{2}$ gives the second term of the right-hand side of (A9c) and the second and fourth terms of the right-hand side of (A9d), respectively.
Corresponding to the classification after (A8), the terms on the right-hand side of (A3), $\frac {1}{k}L(\varPhi )$ given in (A9), can also be classified into: (I) $c_{T}x_{2}\zeta _{1}E(\zeta )(\zeta ^{2}-\frac {3}{2})J_{1}[\hat {\rho }_{M}](x_{1})$, (II) $c_{T,P}x_{2}\zeta _{1}E(\zeta )K_{1}[\hat {\omega }_{T,P},\hat {\rho }_{M}](x_{1})$ and (III) $c_{T,P}(1/k)L(\varPsi _{T,P})$, $-c_{T}(\hat {\sigma } E(\zeta)/ k2\sqrt {2{\rm \pi} })J_{3} [\hat {\rho }_{M}](x_{1},\boldsymbol {\zeta })$ and $-c_{T,P}(\hat {\sigma } E(\zeta )/k2\sqrt {2{\rm \pi} })\zeta _{2}K_{3}[\hat {\omega }_{T,P},\hat {\rho }_{M}](x_{1})$. The terms of the third kind can be confirmed to be actually odd in $\zeta _{2}$.
Finally, we equate (A8) and (A9a) by taking into account the classification (I)–(III) of the terms. For the first kind of terms, because the equation for $\hat {\rho }_{M}$, $\mathrm {d} \hat {\rho }_{M}(x_{1}) / \mathrm {d} x_{1} = J_{1}[\hat {\rho }_{M}](x_{1})$, holds, we find that they nicely cancel out. Equating the second kind of terms, we obtain the equation (2.6) for $\hat {\omega }_{T,P}$. Equating the third kind of terms, the equation (2.7) for $\varPsi _{T, P}$ with the source term (2.11) is obtained.
Appendix B. Definitions of $J_{i}$ and $K_{i}$
The integrals $J_{1}$, $J_{2}$ and $J_{3}$ in (2.5a), (2.6b) and (2.11a) are given by
where
The integrals $K_{1}$, $K_{2}$ and $K_{3}$ in (2.6) and (2.11) are given as follows:
Appendix C. Definitions of several moments
The functions $P_{11,M}^{({v})}$, $P_{22,M}^{({v})}$, $G_{11,T}^{({v})}$, $G_{22,T}^{({v})}$, $P_{12,\omega _{T}}^{({v})}$, $P_{12}^{({v})}[\varPsi _{\beta }]$ and $Q^{({v})}[\varPsi _{\beta }]$ in (2.14) and (2.15) are given by
where
The functions ($G_{11,P}^{({v})}$, $G_{22,P}^{({v})}$) and $P_{12,\omega _{P}}^{({v})}$ are respectively given by the definitions of ($G_{11,T}^{({v})}$, $G_{22,T}^{({v})}$) and $P_{12,\omega _{T}}^{({v})}$ with their respective last terms $\hat {Y}(\hat {\rho }_{M}(r_{C});\eta _{0})\hat {\rho }_{M}(r_{A})\hat {\rho }_{M}(r_{B})$ and $(\frac {1}{2}\hat {\sigma }-\hat {\alpha })\hat {Y}(\hat {\rho }_{M}(r_{C});\eta _{0})\hat {\rho }_{M}(r_{A})\hat {\rho }_{M}(r_{B})$ in the curly brackets being dropped and $\hat {\omega }_{T}$ being replaced by $\hat {\omega }_{P}$.
Appendix D. Information of computations
In this appendix, the information of computations is briefly described. The results shown in § 4 are those obtained with the molecular-velocity lattice system consisting of $336 \times 64 \times 64$ points in $\zeta _{1}\zeta _{2}\zeta _{3}$-space and the spatial lattice system consisting of $181$ points. For $\zeta _{1}$, the minimum lattice interval is $1.243 \times 10^{-5}$ around $\zeta _{1} = 0$, while the maximum interval is $0.0931$ around $\zeta _{1} = \pm 4.5$. For $\zeta _{2}$ and $\zeta _{3}$, the lattice interval is uniformly $0.369$. For $x_{1}$, the minimum lattice interval is $5.242 \times 10^{-5}$ around $x_{1} = -1/2$, while the maximum interval is $6.944 \times 10^{-3}$ around $x_{1} = 0$ in the case of $\hat {\sigma } = 0$. In the case of $\hat {\sigma } \neq 0$, this arrangement is shrunk to the interval $[-(1-\hat {\sigma })/2,0]$. In the computation of the collision integral, $192 \times 64 \times 64$ modes in the frequency domain for $\zeta _{1}\zeta _{2}\zeta _{3}$-space and $32$ and $16$ Gauss–Legendre quadrature points for the polar and azimuthal angles of vector $\boldsymbol {k}$ (with the $x_{1}$ direction as the polar direction) are used. The results shown in figures 2–14 are those for which numerical convergence has been judged within the error invisible in the figures through the comparison with the results obtained with other lattice systems and parameters. The momentum conservation law (2.19) provides another measure of accuracy. The values of $|S_{T}|$ and $|S_{P}|$, which should theoretically be zero within the linearized regime, are bounded respectively by $6.0 \times 10^{-6}$ and $3.0 \times 10^{-5}$ for all values of $k$ and $\hat {\sigma }$ chosen. This also supports the accuracy of the present computation.