Abstract
In the paper, assuming that the motion of rarefied gases in a bounded domain is governed by the angular cutoff Boltzmann equation with diffuse reflection boundary, we study the effects of both soft intermolecular interaction and non-isothermal wall temperature upon the long-time dynamics of solutions to the corresponding initial boundary value problem. Specifically, we are devoted to proving the existence and dynamical stability of stationary solutions whenever the boundary temperature has suitably small variations around a positive constant. For the proof of existence, we introduce a new mild formulation of solutions to the steady boundary-value problem along the speeded backward bicharacteristic, and develop the uniform estimates on approximate solutions in both \(L^2\) and \(L^\infty \). Such mild formulation proves to be useful for treating the steady problem with soft potentials even over unbounded domains. In showing the dynamical stability, a new point is that we can obtain the sub-exponential time-decay rate in \(L^\infty \) without losing any velocity weight, which is actually quite different from the classical results, such as those in Caflisch (Commun Math Phys 74:97–109, 1980) and Strain and Guo (Arch Ration Mech Anal 187:287–339, 2008), for the torus domain and essentially due to the diffuse reflection boundary and the boundedness of the domain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Boltzmann Equation
Let a rarefied gas be contained in a bounded domain \(\Omega \) in \({\mathbb {R}}^3\), and let \(F=F(t,x,v)\) denote the density distribution function of gas particles with position \(x\in \Omega \) and velocity \(v\in {\mathbb {R}}^3\) at time \(t>0\). We assume that F is governed by the Boltzmann equation
The Boltzmann collision term on the right-hand takes the non-symmetric bilinear form of
where the velocity pair \((v',u')\) is defined by the velocity pair (v, u) as well as the parameter \(\omega \in {\mathbb {S}}^2\) in terms of the relation
according to conservation laws of momentum and energy
due to the elastic collision of two particles. To the end, the Boltzmann collision kernel \(B(|v-u|,\omega )\), depending only on the relative velocity \(|v-u|\) and \(\cos \phi =\omega \cdot (v-u)/|v-u|\), is assumed to satisfy
with
for a generic constant \(C>0\), namely, we consider in this paper the full range of soft potentials under the Grad’s angular cutoff assumption.
1.2 Diffuse Reflection Boundary Condition
We assume that \(\Omega =\{\xi (x)<0\}\) is connected and bounded with \(\xi (x)\) being a smooth function in \({\mathbb {R}}^3\). At each boundary point with \(\xi (x)=0\), we assume that \(\nabla \xi (x)\ne 0\). The outward unit normal vector is therefore given by \(n(x)=\nabla \xi (x)/|\nabla \xi (x)|\). We define that \(\Omega \) is strictly convex if there is \(c_{\xi }>0\) such that \(\sum _{ij}\partial _{ij}\xi (x)\eta ^{i}\eta ^{j}\geqq c_{\xi }|\eta |^{2}\) for all \(x \in {\bar{\Omega }}\) and all \(\eta \in {\mathbb {R}}^{3}\).
We denote the phase boundary of the phase space \(\Omega \times {\mathbb {R}}^{3}\) as \(\gamma =\partial \Omega \times {\mathbb {R}}^{3}\), and split \(\gamma \) into three disjoint parts, outgoing boundary \(\gamma _{+},\) the incoming boundary \(\gamma _{-},\) and the singular boundary \(\gamma _{0}\) for grazing velocities :
We supplement the Boltzmann equation (1.1) with the diffuse reflection boundary condition
where \( \mu _{\theta }(v)\) is a local Maxwellian with a non-isothermal wall temperature \(\theta =\theta (x)>0\):
Throughout this paper, we assume that \(\theta (x)\) has a small variation around a fixed postive temperature \(\theta _0>0\). Without loss of generality, we assume \(\theta _0=1\), and for brevity we denote the global Maxwellian
1.3 Main Results
Note that
for any \(x\in \partial \Omega \), and hence \(\mu _{\theta }(v)\) satisfies the boundary condition (1.5). However, it is straightforward to see that the stationary local Maxwellian \(\mu _{\theta }(v)\) does not satisfy the Boltzmann equation (1.1) because of spatial variation unless \(\theta (x)\) is constant on \(\partial \Omega \). One may expect that the long-time behavior of solutions to (1.1) and (1.5) could be determined by the time-independent steady equation with the same boundary condition. Thus the study of this paper includes two parts. In the first part we investigate the steady problem in order to obtain the existence of stationary solutions, and in the second part we are devoted to showing the dynamical stability of the obtained stationary solutions under small perturbations and further under a class of large perturbations in velocity weighted \(L^\infty \) spaces.
In what follows we present the main results of this paper. The first one is to clarify the well-posedness of the boundary-value problem on the Boltzmann equation with diffuse reflection boundary condition
We define a velocity weight function
where \(\beta >0\) and \(0<\zeta \leqq 2\) are given constants, and \((\varpi ,\zeta )\) belongs to
Here and in the sequel, for brevity we have omitted the explicit dependence of w on all parameters \(\beta \), \(\varpi \) and \(\zeta \).
Theorem 1.1
Let \(-3<\kappa <0\), \(\beta >3+|\kappa |\), and \((\varpi ,\zeta )\) belong to (1.10). For given \(M>0\), there exist \(\delta _0>0\) and \(C>0\) such that if
then there exists a unique nonnegative solution \(F_*(x,v)=M\mu (v)+\mu ^{\frac{1}{2}}(v)f_*(x,v)\geqq 0\) to the steady problem (1.8), satisfying the mass conservation
and the estimate
Moreover, if \(\Omega \) is strictly convex and \(\theta (x)\) is continuous on \(\partial \Omega \), then \(F_*\) is continuous on \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\backslash \gamma _0\).
For simplicity, through the paper we would take \(M=1\) in Theorem 1.1 without loss of generality, namely, the stationary solution \(F_*(x,v)\) has the same total mass as \(\mu (v)\) in \(\Omega \). Note that when there is no spatial variation on the boundary temperature, that is, \(\delta =0\), the stationary solution is reduced to the global Maxwellian.
The second result is concerned with the dynamical stability of \(F_*(x,v)\) under small perturbations in \(L^\infty \). We assume that (1.1) is also supplemented with initial data
The goal is to show the large-time convergence of solutions of the initial-boundary value problem (1.1), (1.5) and (1.13) to the stationary solution \(F_*(x,v)\), whenever they are sufficiently close to each other in some sense at initial time.
Theorem 1.2
Let \(-3<\kappa <0\), \(\beta >3+|\kappa |\) and \((\varpi ,\zeta )\) belong to (1.10). Assume (1.11) with \(\delta _0>0\) chosen to be further small enough. There exist constants \({\varepsilon }_0>0\), \(C_0>0\) and \(\lambda _0>0\) such that if \(F_0(x,v)={F_*}(x,v)+\mu ^{\frac{1}{2}}(v)f_{0}(x,v)\geqq 0\) satisfies the mass conservation
and
then the initial-boundary value problem (1.1), (1.5) and (1.13) on the Boltzmann equation admits a unique solution \(F(t,x,v)={F_*(x,v)}+\mu ^{\frac{1}{2}}(v)f(t,x,v)\geqq 0\) satisfying
and
for all \(t\geqq 0\), where \(\alpha \in (0,1)\) is given by
Moreover, if \(\Omega \) is strictly convex, \(F_0(x,v)\) is continuous except on \(\gamma _0\) and satisfying
and \(\theta (x) \) is continuous on \(\partial \Omega \), then F(t, x, v) is continuous in \([0,\infty )\times \{{\bar{\Omega }}\times {\mathbb {R}}^{3}\setminus \gamma _0\}\).
We remark that the value of \(\alpha \) in (1.18), which is optimal in terms of the exponential velocity weighted function space, can be formally determined as in [11]; we will come back to this point later. By (1.17), we have obtained the global existence and large-time behavior of solutions simultaneously in the velocity-weighted \(L^\infty \) space which is the same as that initial data belong to.
One may notice from (1.15) in Theorem 1.2 above that the initial perturbation \(f_0(x,v)\) is required to generally have a small amplitude in the velocity-weighted \(L^\infty \) space. The goal of the third result is to relax such restriction by allowing \(F_0(x,v)\) to have large oscillations around the stationary solution \(F_*(x,v)\) with the price that the initial perturbation \(f_0(x,v)\) is small enough in some \(L^p\) norm for \(1<p<\infty \).
Theorem 1.3
Assume that all conditions in Theorem 1.2 are satisfied, and additionally, let
Assume (1.11) with \(\delta _0>0\) chosen to be further small enough and initial data \(F_0(x,v)=F_*(x,v)+\mu ^{\frac{1}{2}}(v)f_0(x,v)\geqq 0\) satisfies the mass conservation (1.14). There exist constants \({\varepsilon }_1>0\), \(C_1>{1}\) and \(C_2>1\) such that if \(f_0(x,v)\) satisfies
and
then the initial-boundary value problem (1.1), (1.5) and (1.13) on the Boltzmann equation admits a unique solution \(F(t,x,v)={F_*(x,v)}+\mu ^{\frac{1}{2}}(v)f(t,x,v)\geqq 0\) satisfying (1.16) and
for all \(t\geqq 0\), where \(\alpha \) is the same as in (1.18) and \(\lambda _0\) is the same as in (1.17). Moreover, if \(\Omega \) is strictly convex, \(F_0(x,v)\) is continuous except on \(\gamma _0\) satisfying (1.19), and \(\theta (x) \) is continuous over \(\partial \Omega \), then F(t, x, v) is continuous in \([0,\infty )\times \{{\bar{\Omega }}\times {\mathbb {R}}^{3}\setminus \gamma _0\}\).
Remark 1.4
We give a few remarks in order on the above theorem.
-
(a)
Note that \(C_1\) is independent of \(\delta \). Then, from (1.21), \(M_0=\Vert wf_0\Vert _{L^\infty }\) can be arbitrarily large, provided that both \(\delta \) and \(\Vert f_0\Vert _{L^p}\) are sufficiently small. Particularly, if one takes \(\delta =0\) corresponding to the isothermal boundary temperature, there is no restriction on the upper bound of \(M_0\). However, it is unclear how to remove the condition (1.21) whenever \(\delta >0\).
-
(b)
From (1.20), p has to be large enough as \(\kappa \) gets close to \(-3\). The condition (1.22) for the smallness of \(f_0\) in \(L^p\) is different from that in [18, 19] where \(L^1\) norm and \(L^2\) norm were used respectively. Note that (1.22) can be also guaranteed by the smallness of \(L^1\) or \(L^2\) norm of \(f_0\) and the velocity-weighted \(L^\infty \) bound with the help of the interpolation.
-
(c)
As already mentioned for Theorem 1.2, by (1.23) we have obtained the global existence and large-time behavior of solutions simultaneously in the velocity-weighted \(L^\infty \) space which is the same as that initial data belong to. Estimate (1.23) also implies that the solution may grow with an exponential rate of \(M_0\) within a short time.
1.4 Comments and Literature
The focus of this paper is on the effects of both the soft intermolecular interaction and the non-isothermal wall temperature on the large-time behaviour of solutions to the initial-boundary value problem on the Boltzmann equation. In what follows we review some known results related to our results and also give comments on how such effects occur.
(a) Effect of soft potentials. First of all, we discuss the effect of soft potentials on the global well-posedness of the Boltzmann equation in perturbation framework. Compared to the hard potentials, the main difficulty is the lack of the spectral gap of the linearized Boltzmann operator L, for instance, the multiplication operator \(\nu (v)\sim \langle v\rangle ^\kappa \) has no strictly positive lower bound over large velocities |v| for \(\kappa <0\).
In the spatially periodic domain \({\mathbb {T}}^3\), Caflish [10, 11] first constructed the global-in-time solution for \(-1<\kappa <0\) and also studied the large-time behavior of solutions, where the proof is based on the time-decay property of the linearised equation together with the bootstrap argument on the nonlinear equation. One important observation by Caflish is that the function \(\exp \{-\langle v\rangle ^\kappa t -c|v|^2\}\), obtained as the solution to the spatially homogeneous equation \( \partial _t f+\langle v\rangle ^\kappa f=0 \) with initial data \(f(0,v)=\exp \{-c|v|^2\}\), decays in time with a rate \(\exp \{-\lambda t^\beta \}\) with \(\beta =2/(2+|\kappa |)\) by taking the infimum of \(\langle v\rangle ^\kappa t +c|v|^2\) in \(v\in {\mathbb {R}}^3\). We remark that such sub-exponential time-decay is ensured essentially by adding more exponential velocity weight at initial time; see [11, equations (3.1) and (3.2) of Theorem 3.1 on page 76].
Independently, Ukai–Asano [44] developed the semigroup theory in the case of soft potentials \(-1<\kappa <0\), and also obtained the global solution as well as the large-time behavior of solutions for the problem in the whole space \({\mathbb {R}}^3\). As pointed out by [44, Theorem 9.1 and Remark 9.1 on page 96], no solutions have been found in the large in time if initial data and solutions belong to the function space with the same velocity weights. We remark that it is the same situation if one adopts the approach of [44] to treat the case of \({\mathbb {T}}^3\), for instance, one can obtain the arbitrarily large algebraic time-decay rate by postulating more polynomial velocity weights on initial data.
By the pure energy method in high-order Sobolev spaces, Guo [28] constructed the global solutions over \({\mathbb {T}}^3\) for the full range of soft potentials \(-3<\kappa <0\), but the large-time behavior of solutions was left. This problem was later completely solved by Strain–Guo in [42, 43] in terms of the same spirit as in [11, 44] by putting additional polynomial or exponential velocity weights on initial data. Such approach was also applied by Strain [40] to study the asymptotic stability of the relativistic Boltzmann equation for the soft potentials in \({\mathbb {T}}^3\).
In the case of \({\mathbb {R}}^3\), we also mention Duan–Yang–Zhao [20] and Strain [41] to treat the optimal large-time behavior of solutions for \(-3<\kappa <0\). Particularly, [20] found a velocity weight function containing an exponential factor \(\exp \{c|v|^2/(1+t)^q\}\). We remark that this kind of weight could be useful for simultaneously dealing with the global existence and large-time behavior of solutions for the problem in the torus domain or even in the general bounded domain (for instance, [36]), since the typical function \(\exp \{-\langle v\rangle ^\gamma t -c|v|^2/(1+t)^q\}\) induces a time-decay rate \(\exp \{-\lambda t^{\beta '}\}\) with \(\beta '=(2-q|\kappa |)/(2+|\kappa |)\). Therefore, the large-time behavior of solutions is gained by making the velocity weight in the solution space become lower and lower as time goes on. Indeed, this is also in the same spirit as in [41] on the basis of the velocity-time splitting technique.
By comparison with those results mentioned above, Theorems 1.2 or 1.3 implies that the large-time behavior of solutions to the initial-boundary value problem under consideration of this paper is established in the situation where solutions and initial data enjoy the same exponential velocity weight. In other words, to obtain the sub-exponential time-decay for soft potentials, it is no need to put any additional velocity weight on initial data. Roughly speaking, the main reason to realize this point is due to not only the boundedness of the domain but also the diffuse reflection boundary condition, which will be explained in more detail later on. We remark that the results are nontrivial to obtain even if the wall temperature is reduced to a constant implying that the stationary solution \(F_*(x,v)\) is a global Maxwellian.
(b) Effect of non-isothermal boundary. The non-isothermal wall temperature provides an inhomogeneous source to force the Boltzmann solution to tend in large time to nontrivial stationary profiles. We review related works in the following two aspects which also involve the case of isothermal boundary. We mainly focus on general bounded domains. There exist also a number of papers in the setting of one-dimensional bounded intervals with different types of boundary conditions, cf. [37, 39]. Among them, we point out that Arkeryd, together with his collaborators, made great contributions in this direction, see for instance, [3, 4, 7] and references therein, where solutions are constructed mainly for large boundary data. The existence and dynamical stability of the stationary solution in a slab with diffuse reflection boundary was considered by Yu [46] in terms of a new probabilistic approach. Hydrodynamic limit to the compressible Navier-Stokes equations for the stationary Boltzmann equation in a slab was studied by Esposito–Lebowitz–Marra [23, 24]. For other related works on the effects of non-isothermal boundary, we also mention [14, 34, 35].
\(\bullet \)Time-dependent IBVP in general bounded domains. A first investigation of the IBVP was made by Hamdache [32] for a large-data existence theory in the sense of DiPerna–Lions [17]. Extensions of such result have been made in [2, 5, 12, 38] in several directions including the case of general diffuse reflection with variable wall temperature. The large-time behavior of weak solutions was studied in [6, 15, 16]. In the perturbation framework, via the idea of [45], Guo [29] developed a new approach to treat the global existence, uniqueness and continuity of bounded solutions with different types of boundary conditions. Further progress on high-order Sobolev regularity of solutions was recently made in [30]; see also references therein. For other related works on the study of the IBVP on the nonlinear Boltzmann equation, we would mention [9] for the general Maxwell boundary condition, [31] for the global existence of solutions with weakly inhomogeneous data in the case of specular reflection, [33] for the specular boundary condition in convex domains with \(C^3\) smoothness, and [36] for a direct extension of [29] from hard potentials to soft potentials.
\(\bullet \)Steady problem in general bounded domains. There are much less known results on the mathematical analysis of the stationary Boltzmann equation in a general \(3\hbox {D}\) bounded domain. First of all, it seems still open to establish a large-data DiPerna-Lions existence theory in the steady case; (see [8]), however, for an \(L^1\) existence theorem with inflow data when the collision operator is truncated for small velocities. In Guiraud [26, 27], existence of stationary solutions was proved in convex bounded domains, but the positivity of obtained solutions remained unclear. Via the approach in [29], Esposito et al. [21] constructed the small-amplitude non-Maxwellian stationary solution for diffuse reflection when the space-dependent wall temperature has a small variation around a positive constant for hard potentials, and further obtained the positivity of stationary solutions as a consequence of the dynamical stability for the time-evolutionary Boltzmann equation. Indeed, [21] motivates us to study the steady Boltzmann equation for soft potentials, and we will explain the new mild formulation of solutions as well as new a priori estimates in more detail later on.
The hydrodynamic limit of the stationary Boltzmann equation on bounded domains in the incompressible setting was recently justified in [22]. Notice that such research topic was also discussed in [1] where the authors have particularly shown the non-existence of steady solutions for the Boltzmann equation with smooth divergence-free external forces in bounded domains with specular reflection.
1.5 Strategy of the Proof
In what follows, we briefly explain the key points in our proof of Theorems 1.1, 1.2 and 1.3 respectively.
(a) First, for the proof of Theorem 1.1, the key step is to establish a priori \(L^\infty \)-estimates on the steady solutions. The major difficulty comes from the degeneracy of collision frequency \(\nu (v)\rightarrow 0\) as \(|v|\rightarrow \infty \). Our strategy of overcoming this relies on introducing a new mild formulation of the steady Boltzmann equation along a speeded backward bi-characteristics on which the particles with large velocity move much faster than one along the classical characteristics. Precisely, we need to consider the solvability of the linearized steady Boltzmann equation with inhomogeneous source and boundary data
See Lemma 3.8, particularly (3.72) for the \(L^\infty \) bound of f in terms of g and r. Basing things on Lemma 3.8, Theorem 1.1 follows by showing the convergence of the iterative approximate solution sequence.
To show Lemma 3.8, we turn to study in Lemma 3.5 the solvability of the following approximate boundary-value problem:
Here, compared to the previous works [21, 22], we input an extra parameter \(\lambda \in [0,1]\) in order to carry out a new strategy of the construction of solutions by making the interplay of \(L^2\) and \(L^\infty \) estimates. Specifically, we divide the proof by several steps as follows:
Step 1. To show the well-posedness of \({\mathcal {L}}_0^{-1}\) for \(\lambda =0\). The reason why we start from the case of \(\lambda =0\) is that there is no linear collision term Kf. In this case, we are able to directly construct the approximate solutions by solving the inflow problem, so the \(L^\infty \) bound of approximate solutions is a consequence of \(L^\infty \) bounds of the source term g as well as the corresponding boundary data. The uniform bound of solutions can be obtained in the same way as in the next Step 2.
Step 2. To obtain the a priori estimates of solutions in both \(L^2\) and \(L^\infty \) uniform in all parameters \(\varepsilon \), n and \(\lambda \). For the \(L^2\) estimate, it is based on the fact that
with \(0\leqq \lambda \leqq 1\) is still nonnegative. For the velocity-weighted \(L^\infty \) estimate on \(h=wf\), we formally multiply the equation of (1.25) by \((1+|v|^2)^{|\kappa |/2}\) so as to get
and then write it as the mild form along the backward bi-characteristic \([x-{\hat{v}}(t-s), v]\), where \({\hat{v}}=(1+|v|^2)^{|\kappa |/2} v\) is the transport velocity speeded up by comparison with the original velocity v. The advantage of such new mild formulation is that the corresponding new collision frequency
has a uniform-in-\(\varepsilon \) strictly positive lower bound independent of v. This is crucial for obtaining \(L^\infty \)-estimates for the steady problem. It should be pointed out that by using such new mild formulation, the \(L^\infty \)-estimates are also valid for the case that the domain is unbounded, so that our method in principle could be used to further study other physically important problems, such as exterior problems and shock wave theory.
Step 3. To prove the well-posedness of \({\mathcal {L}}_\lambda ^{-1}\) for any \(\lambda \in [0,\lambda _*]\) with a constant \(\lambda _*>0\) small enough. The main idea of showing the existence of solutions is based on the fixed point argument for the solution operator
Note that the contraction property is essentially the consequence of the fact that we are restricted to \(\lambda >0\) small enough. Once the existence of solutions is established, we also have the uniform estimates in \(L^2\) and \(L^\infty \) obtained in Step 2.
Step 4. To prove the well-posedness of \({\mathcal {L}}_{\lambda _*+\lambda }^{-1}\) for any \(\lambda \in [0,\lambda _*]\) small enough. Formally, we have
Therefore, we may make use of the same arguments as in Step 3 and also obtain the corresponding uniform estimates. In the end, by repeating such procedure we can establish the solvability of \({\mathcal {L}}_{\lambda }^{-1}\) in the case of \(\lambda =1\), and complete the construction of approximate solutions to the original boundary-value problem (1.24).
(b) Secondly, for the proof of Theorem 1.2, the key step is to study the time-decay structure of linearized IBVP problem around the steady solution provided by Theorem 1.1. In general, it is hard to obtain a satisfactory decay due to the degeneracy of \(\nu (v)\) at large velocity. Unfortunately, our new mild formulation above no longer works for the time-dependent problem. Some new thought should be involved in. As mentioned before, so far there are basically two ways to get the decay of the Boltzmann solution for soft potentials. The first one, which was developed by Guo and Strain [43], is to first establish the global existence of the solution with an extra sufficiently strong velocity weight and then obtain the decay of the solution without weight by an interpolation technique. Following their idea, Liu and Yang [36] extend their work into the IBVP problem. The other one, which is developed by Duan et al. [20], is to introduce a velocity weight involving a time dependent factor \(\exp \{c |v|^\zeta /(1+t)^q\}\) in order to compensate the degeneracy of collision frequency. One can see that there is an extra restriction in both theories that the initial datum must involve additional velocity weight. One of main contributions in the present work is to remove such a restriction.
More precisely, we are able to obtain simultaneously the global existence and the sub-exponential decay of the solution, without loss of any weight. The key observation used in our arguments is twofold. The first is to split the large velocity part and small velocity part in the following type estimate:
so it holds that
which is essentially based on the elementary fact that the backward exit time
One can see that even for the soft potential, (1.26) still involves an exponential decay structure. The second is to notice that due to the diffusive reflection boundary condition, the boundary terms naturally exponentially decay in velocity. So, we can make use of the Caflish’s idea to obtain that
where \(\lambda _1>0\) is obtained by taking the infimum of \(\nu (v)(t-t_1)+|v|^2/16\) with respect to velocity. This reveals the decay structure for boundary terms. However, (1.26) and (1.27) only work when \(\Omega \) is bounded and the solution satisfies the diffuse reflection boundary condition. So far we don’t know how to deal with the same problem for the specular reflection or even in the torus.
(c) Thirdly, the strategy of the proof of Theorem 1.3 is to use the linear decay theory provided by the second part to find a large time \(T_0=T_0(M_0,{\varepsilon }_0)\), such that
Then we can extend our solution into \([T_0,\infty )\) by the previous small-amplitude theory. Since the initial data is allowed to have large oscillation around \(F_*\), more efforts should be paid for treating the nonlinear term \(w(v)\Gamma (f,f)\). The key point is to bound it pointwisely by a product of \(L^\infty \)-norm and \(L^p\)-norm with \(\max \{\frac{3}{2},\frac{3}{3+\kappa }\}<p<\infty \) and then apply a nonlinear iteration. To show (1.28), we have to require that the following estimates holds:
Hence the restriction (1.21) on the amplitude of initial data is naturally required.
1.6 Plan of the Paper
In Section 2 we will provide some basic estimates on linear and nonlinear collision terms. In Section 3, we study the steady problem and give the proof of Theorem 1.1 for the existence of the stationary solution. In Section 4, we study the large-time asymptotic stability of the obtained stationary solution under small perturbations and give the proof of Theorem 1.2. In Section 5, we further extend the result to the situation where initial perturbation can have large amplitude with an extra restriction but be small in \(L^p\) norm, and give the proof of Theorem 1.3. In Appendix, we give the proof of a technical lemma which has been used before, and also give the proof of the local-in-time existence of solutions for completeness.
1.7 Notations
Throughout this paper, C denotes a generic positive constant which may vary from line to line. \(C_a,C_b,\ldots \) denote the generic positive constants depending on \(a,~b,\ldots \), respectively, which also may vary from line to line. \(A\lesssim B\) means that there exists a constant \(C>0\) such that \(A\leqq C B\). \(\Vert \cdot \Vert _{L^2}\) denotes the standard \(L^2(\Omega \times {\mathbb {R}}^3_v)\)-norm and \(\Vert \cdot \Vert _{L^\infty }\) denotes the \(L^\infty (\Omega \times {\mathbb {R}}^3_v)\)-norm. For the functions depending only in velocity v, we denote \(\Vert \cdot \Vert _{L^p_v} \) as the \(L^p({\mathbb {R}}^3_v)\)-norm and \(\langle \cdot ,\cdot \rangle \) as the \(L^2(\Omega \times {\mathbb {R}}^3_v)\) inner product or \(L^2({\mathbb {R}}^3_v)\) inner product. Moreover, we denote \(\Vert \cdot \Vert _{\nu }:=\Vert \sqrt{\nu }\cdot \Vert _{L^2}\). For the phase boundary integration, we define \(d\gamma \equiv |n(x)\cdot v| dS(x)dx\), where dS(x) is the surface measure and define \(|f|_{L^p}^p=\int _{\gamma }|f(x,v)|^pd\gamma \) and the corresponding space is denoted as \(L^p(\partial \Omega \times {\mathbb {R}}^3)=L^p(\partial \Omega \times {\mathbb {R}}^3;d\gamma )\). Furthermore, we denote \(|f|_{L^p(\gamma _{\pm })}=|fI_{\gamma _{\pm }}|_{L^p}\) and \(|f|_{L^\infty (\gamma _{\pm })}=|fI_{\gamma _{\pm }}|_{L^\infty }\). For simplicity, we denote \(|f|_{L^\infty (\gamma )}=|f|_{L^\infty (\gamma _+)}+|f|_{L^\infty (\gamma _-)}\).
2 Preliminaries
2.1 Basic Properties of L
First of all, associated with the global Maxwellian \(\mu =\mu (v)\) in (1.6), we introduce the linearized collision operator L around \(\mu \) and the nonlinear collision operator \(\Gamma (\cdot ,\cdot )\) respectively as
and
where \(Q^{+}\) and \(Q^{-}\) correspond to the gain part and loss part in Q in (1.2) respectively. As in [25], under the Grad’s angular cutoff assumption (1.3) and (1.4), L can be decomposed as \(L=\nu -K\), where \(\nu =\nu (v)\) is the velocity multiplication operator given by
and \(K=K_1-K_2\) is the integral operator in velocity given by
It is well-known that L is a self-adjoint nonnegative-definite operator in \(L^2_v\) space with the kernel
where \(\phi _{i}=\phi _{i}(v)\)\((i=0,1,\ldots ,4)\) are the normal orthogonal basis of the null space \(\text {Ker}\,L\) given by
For each \(f=f(v)\in L^2_v\), we denote the macroscopic part Pf as the projection of f onto \(\text {Ker}\,L\), that is,
and further denote \((I-P)f=f-Pf\) to be the microscopic part of f. It is well-known (see [28] for instance) that there is a constant \(c_0>0\) such that
Note that L has no spectral gap in case of soft potentials with \(-3<\kappa <0\), particularly, the collision frequency \(\nu (v)\) tends to zero as \(|v|\rightarrow \infty \) due to (2.3).
2.2 Estimates on Collision Operators
Recall \(K=K_1-K_2\) with \(K_1\) and \(K_2\) given in terms of (2.4) and (2.5). As in [28], it holds that
where the integral kernel k(v, u) is real and symmetric.
Lemma 2.1
([18]) The following estimate holds true:
Moreover, it holds that
for any \({\beta }\geqq 0\).
In order to deal with difficulties in the case of the soft potentials, as in [43] we introduce a smooth cutoff function \(0\leqq \chi _m(s)\leqq 1\) for \(s\geqq 0\) with \(0<m\leqq 1\) such that
Then we define
and
Similarly to (2.8), we denote
In the following lemma we recall some basic estimates on \(K^m\) and \(K^c\), whose proof can be found in [43] and further refined in a recent work [18]:
Lemma 2.2
Let \(-3<\kappa <0\). Then, for any \(0<m\leqq 1\), it holds that
where \(C>0\) is independent of m. The kernels \(k^m(v,u)\) and \(k^c(v,u)\) in (2.10) satisfy
and
where \(0\leqq a\leqq 1\) is an arbitrary constant, and \(C_\kappa \) is a constant depending only on \(\kappa \). It is worth to point out that \(C_\kappa \) is independent of a and m. Moreover, by denoting
it holds that
and
where \(C>0\) is independent of m.
Furthermore, we need the following two lemmas for the later use:
Lemma 2.3
([43]) Assume (1.10), then for any \(\eta >0\), it holds that
Lemma 2.4
([36]) It holds that
In the end we conclude this subsection with the following \(L^p\)\((p>1)\) estimate on the nonlinear collision term, which will be used in Section 5.
Lemma 2.5
Let \(1<p<\infty \) and \(w_{\beta }:=(1+|v|^2)^{\frac{\beta }{2}}\) with \(\beta p>3\). Then it holds that
where \(p'\) is the conjugate of p satisfying \(1/p+1/p'=1.\)
Proof
We first consider the loss part. By Hölder inequality, we have
Without loss of generality, we assume that
Then from (2.18), it holds that
Similarly, for the gain term \(\Gamma ^+(f,g)\), by Hölder inequality, we have
Making change of variable \((v,u)\rightarrow (v',u')\), it follows that
By the same argument as in (2.19), one has
From this and (2.19), we prove (2.17). Therefore, the proof of Lemma 2.5 is complete. \(\quad \square \)
2.3 Pointwise Weighted Estimates on Nonlinear Term \(\Gamma (f,f)\)
Recall (1.9), (1.10), and (2.2). We shall give the estimates on the upper bound of \(|w(v)\Gamma ^{\pm }(f,f)(v)|\) for pointwise v in terms of the product of the weighted \(L^\infty \) norm and the \(L^p\) norm for a suitable \(p>1\) which is finite. These estimates will play an essential role in the proof of Theorem 1.3 treating the initial data of large oscillations but with small \(L^p\) perturbations.
Lemma 2.6
Let \(-3<\kappa <0\), \(\max \{\frac{3}{2}, \frac{3}{3+\kappa }\}<p<\infty \), \((\varpi ,\zeta )\) belong (1.10), and \(\beta >4\). Then, for each \(v\in {\mathbb {R}}^3\), it holds that
where the generic constant \(C>0\) is independent of v.
Proof
First, we consider (2.20) regarding the estimate on the loss term. Indeed, it follows from Hölder inequality that
where we have used the fact that \(\frac{p\kappa }{p-1}>-3\) due to \(p>\frac{3}{3+\kappa }\). Then, (2.20) is proved.
To prove (2.21) for the gain term, we denote
which is the pure exponential factor of w(v), and also set \(g(v)={\hat{w}}(v)|f(v)|\). Since \(|u|^{2}+|v|^{2}=|u'|^{2}+|v'|^{2}\), we have either \(|u'|^{2}\geqq \frac{1}{2}\left( |u|^{2}+|v|^{2}\right) \) or \(|v'|^{2}\geqq \frac{1}{2}\left( |u|^{2}+|v|^{2}\right) \). Without loss of generality, we may assume that \(|v'|^{2}\geqq \frac{1}{2}\left( |u|^{2}+|v|^{2}\right) \), and then we have
Note that in virtue of \(0<\zeta \leqq 2\), it holds that
Using this, (2.22) gives that
To further estimate the integral term on the right-hand side of (2.23), we denote \(z=u-v\), \(z_{\parallel }=\{(u-v)\cdot \omega \}\omega \), and \(z_{\perp }=z-z_{\parallel }\), then the collision kernel can be estimated as
Plugging (2.24) back to (2.23) and making change of variable \(u\rightarrow z\), \(|w\Gamma ^{+}(f,f)(v)|\) can be further bounded by
By writing \(\mathrm{d}z\mathrm{d}\omega =\frac{2}{|z_{\parallel }|^2} \mathrm{d}z_{\parallel }\mathrm{d}z_{\perp }\), we derive that the above term is bounded by
where \(\Pi _{\perp }=\left\{ z_{\perp }\in {\mathbb {R}}^{3}: z_{\parallel }\cdot z_{\perp }=0 \right\} \) and \(v_{\perp }=\frac{ v \cdot z_{\perp }}{|v|\cdot |z_{\perp }|}z_{\perp }\) is the projection of v to \(\Pi _{\perp }\). To estimate (2.25), we divide it by two cases.
Case 1:\(-1<\kappa <0\). In this case, thanks to \(-2<\kappa -1<-1\), we have
for a finite constant \(C>0\). Then it holds that for \(p>\frac{3}{2}\),
Case 2 :\(-3<\kappa \leqq -1\). To avoid the higher singularity on the right hand side of (2.25), we choose \(0<\varepsilon =\varepsilon (p,\kappa )<\min \{3+\frac{p\kappa }{p-1}, \frac{2p}{p-1}\}\) and bound (2.25) in terms of
where in the second line we have used the fact that
Making change of variable \( z_{\parallel }+v\rightarrow u \) and using Hölder’s inequality, it holds that
Since \(0<\varepsilon +\frac{p|\kappa |}{p-1}<3\), the right hand side of (2.28) can be further bounded by
which combining with (2.27) and (2.26), immediately yields (2.21). Hence the proof of Lemma 2.6 is complete. \(\quad \square \)
3 Steady Problem
To construct the solution to the steady Boltzmann equation (1.8) and (1.5), we first consider the approximate linearized steady problem
where \(P_{\gamma }f\) is defined as
As in [21], the penalization term \(\varepsilon f\) is used to guarantee the conservation of mass. Recall the weight function w(v) defined by (1.9) with (1.10). We also define
then (3.1) can be rewritten as
where
3.1 A Priori \(L^\infty \) Estimate
For the approximate steady Boltzmann equation (3.3), the most difficult part is to obtain the \(L^\infty \)-bound due to the degeneration of frequency \(\nu (v)\) as \(|v|\rightarrow \infty \). To overcome this difficulty, the main idea is to introduce a new characteristic line.
Definition 3.1
Given (t, x, v), let \([{\hat{X}}(s),V(s)]\) be the backward bi-characteristics for the steady Boltzmann equation (1.8), which is determined by
The solution is then given by
which is called the speeded backward bi-characteristic for the problem (1.8).
We note that compared to the usual characteristic line as used in the time-evolutionary case, the particle along (3.4) or (3.5) with given (x, v) travels with the velocity \({\hat{v}}\) which has the much faster speed than |v| itself for |v| for large velocity. This is the key idea to overcome the difficulty of soft potentials in treating the steady problem on the Boltzmann equation.
In terms of the speeded backward bi-characteristic, we need to redefine the corresponding backward exit time etc.. Indeed, for each (x, v) with \(x\in {\bar{\Omega }}\) and \(v\ne 0,\) we define the backward exit time\({\hat{t}}_{{\mathbf {b}}}(x,v)\geqq 0\) to be the last moment at which the back-time straight line \([{\hat{X}}({-\tau } ;0,x,v),V({-\tau } ;0,x,v)]\) remains in \({\bar{\Omega }}\):
We therefore have \(x-{\hat{t}}_{{\mathbf {b}}}{\hat{v}}\in \partial \Omega \) and \(\xi (x-{\hat{t}}_{{\mathbf {b}}}{\hat{v}})=0.\) We also define
Note that the fact that \(v\cdot n({\hat{x}}_{{\mathbf {b}}})=v\cdot n({\hat{x}}_{{\mathbf {b}}}(x,v)) \leqq 0\) always holds true.
Let \(x\in {\bar{\Omega }}\), \((x,v)\notin \gamma _{0}\cup \gamma _{-}\) and \( (t_{0},x_{0},v_{0})=(t,x,v)\). For \(v_{k+1}\in \hat{{\mathcal {V}}}_{k+1}:=\{v_{k+1}\cdot n({\hat{x}}_{k+1})>0\}\), the back-time cycle is defined as
with
We also define the iterated integral
where
are probability measures.
Lemma 3.2
Let \((\eta ,\zeta )\) belong to
For \(T_0>0\) sufficiently large, there exist constants \({\hat{C}}_1\) and \({\hat{C}}_2\) independent of \(T_0\) such that for \(k={\hat{C}}_1T_0^{\frac{5}{4}}\) and \((t,x,v)\in [0,T_0]\times {\bar{\Omega }}\times {\mathbb {R}}^3\), it holds that
Proof
We take \(\varepsilon >0\) small enough, and define the non-grazing sets
Then a direct calculation shows that
where the constant \(C>0\) is independent of j. By similar arguments as in [29, Lemma 2], one can prove
with a positive constant \(C_\Omega \) depending only on the domain. If \(v_j\in \hat{{\mathcal {V}}}_j\), then we have \({\hat{t}}_j-{\hat{t}}_{j+1}\geqq \frac{\varepsilon ^{3+|\kappa |}}{C_\Omega }\). Therefore, if \({\hat{t}}_k={\hat{t}}_k(t,x,v,v_1, \cdots , v_{k-1})>0\), there can be at most \(\left[ \frac{C_\Omega T_0}{\varepsilon ^{3+|\kappa |}}\right] +1\) number of \(v_j\in \hat{{\mathcal {V}}}_j^\varepsilon \) for \(1\leqq j\leqq k-1\). Hence we have
One can take \(k-{1}=N\left( \left[ \frac{C_\Omega T_0}{\varepsilon ^{3+|\kappa |}}\right] +1\right) \) with \(\left[ \frac{C_\Omega T_0}{\varepsilon ^{3+|\kappa |}}\right] \geqq 1\) and \(N> 2(3+|\kappa |)\), so that (3.8) can be bounded as
We choose
such that \( C_{\Omega ,N} \cdot T_0\cdot \varepsilon ^{\frac{N}{2}-3-|\kappa |}=1/2\). Note that for large \(T_0\), it holds that \(\varepsilon >0\) is small, and
Finally, we take \(N=6(3+|\kappa |)\), so that \(\left[ \frac{C_\Omega T_0}{\varepsilon ^{3+|\kappa |}}\right] +{1}=CT_0^{\frac{5}{4}}\) and
Therefore, (3.7) follows. This completes the proof of Lemma 3.2. \( \quad \square \)
Along the back-time cycle (3.6), we can represent the solution of (3.3) in a mild formulation which enables us to get the \(L^\infty \) bound of solutions in the steady case. Indeed, for later use, we consider the following iterative linear problems involving a parameter \(\lambda \in [0,1]\):
for \(i=0,1, 2,\ldots \), where \(h^0=h^0(x,v)\) is given. For the mild formulation of (3.9), we have the following lemma whose proof is omitted for brevity as it is similar to that in [29].
Lemma 3.3
Let \(0\leqq \lambda \leqq 1\). Denote \({\hat{\nu }}(v):=(1+|v|^2)^{\frac{|\kappa |}{2}}[\varepsilon +\nu (v)]\). For each \(t\in [0,T_0]\) and for each \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\setminus (\gamma _0\cup \gamma _-)\), we have
with
where we have denoted
Lemma 3.4
Let \(\beta >3\). Let \(h^i\), \(i=0,1,2,\ldots \), be the solutions to (3.9), satisfying
Then there exists \(T_0>0\) large enough such that for \(i\geqq k:= {{\hat{C}}_1}T_0^{\frac{5}{4}}\), it holds that
Moreover, if \(h^i\equiv h\) for \(i=1,2,\ldots \), that is, h is a solution, then (3.11) is reduced to the following estimate
Here it is emphasized that the positive constant \(C>0\) does not depend on \(\lambda \in [0,1]\) and \({\varepsilon }>0\).
Proof
By the definition of \({\hat{\nu }}(v)\), we first note that
where \({\hat{\nu }}_0\) is a positive constant independent of \(\varepsilon \) and \(v\in {\mathbb {R}}^3\). For \(J_1\), it follows from (3.13) that
For \(J_2\), it follows from (2.11) that
For those terms involving the source g, we notice that
which immediately yields that
Then it follows from (3.16) and (3.17) that
and
For the term \(J_{14}\), it follows from (3.16) and Lemma 3.2 that
where we have taken \(k= {{\hat{C}}_1}T_0^{\frac{5}{4}}\) and \(T_0\) is a large constant to be chosen later. From the boundary condition given in the second equation of (3.9), it further holds that
For \(J_8\), using (2.11), (3.13), (3.16) and (3.17), one obtains that
Here we remark that the factor \(e^{-\frac{1}{8}|v|^2} \) on the right-hand side of (3.22) is very crucial for the later use of the Vidav’s iteration. For \(J_9\), it holds that
We shall estimate the right-hand terms of (3.23) as follows. By using (2.14), we have
and, for each term \(J_{92l}\), we also have
To estimate the first term on the right-hand side of (3.25), it follows from (2.12) that
Let \(y_l={\hat{x}}_l-{\hat{v}}({\hat{t}}_l-s)\in \Omega \) for \(s\in [0,{\hat{t}}_l-\frac{1}{N}]\). A direct computation shows that
Thus, by making change of variable \({\hat{v}}_l\rightarrow y_l\) and using (3.27), one obtains that
which, together with (3.26) and (3.25), yields that
Thus it follows from (3.28), (3.24) and (3.23) that
By similar arguments as to those in (3.22)–(3.29), one can obtain
Now substituting (3.30), (3.29), (3.22), (3.21), (3.20), (3.19), (3.18), (3.15) and (3.14) into (3.10), we get, for \(t\in [0,T_0]\), that
where we have denoted
We denote \(x'=x-{\hat{v}}(t-s)\in \Omega \) and \({\hat{t}}_1'={\hat{t}}_1(s,x',v')\) for \(s\in (\min \{t_1,0\},t)\). Using the Vidav’s iteration in (3.31), then we obtain that
For the term \(B_1\), using (2.13) and (2.14), one has
For the term \(B_2\), we split the estimate by several cases.
Case 1. For \(|v|\geqq N\), we have from (2.13) that
Case 2. For \(|v|\leqq N, |v'|\geqq 2N\) or \(|v'|\leqq 2N, |v''|\geqq 3N\). In this case, we note from (2.13) that
This yields that
Case 3. For \(|v|\leqq N\), \(|v'|\leqq 2N\), and \(|v''|\leqq 3N\), we first note that
where we have denoted \(y'=x'-{\hat{v}}'(s-\tau )\in \Omega \) for \(s\in (\max \{{\hat{t}}_1,0\}, s)\) and \(\tau \in (\max \{{\hat{t}}'_1,0\}, s)\). Similar to (3.27), we make change of variable \(v'\mapsto y'\), so that the second term on the right-hand side of (3.36) is bounded as
which together with (3.36) yield that
Combining (3.34), (3.35) and (3.37), we have
Hence, the above estimate together with (3.33) and (3.32) yields that for any \(t\in [0,T_0]\),
Now we take \(k={\hat{C}}_1t^{\frac{5}{4}}={\hat{C}}_1T_0^{\frac{5}{4}}\) and choose \(m=T_0^{-\frac{9}{4(3+\kappa )}}\). We first fix \(t=T_0\) large enough, and then choose N large enough, so that one has \(e^{-{\hat{\nu }}_0t}\leqq \frac{1}{2}\) and
Therefore (3.11) follows. This completes the proof of Lemma 3.4. \( \quad \square \)
3.2 Approximate Sequence
Now we are in a position to construct solutions to (3.1) or equivalently (3.3). First of all, we consider the following approximate problem
where \(\varepsilon \in (0,1]\) is arbitrary and \(n>1\) is an integer. Recall \(k={\hat{C}}_1T_0^{\frac{5}{4}}\) with \(T_0\) large enough. To the end, we choose \(n_0>1\) large enough such that
for any \(n\geqq n_0\).
Lemma 3.5
Let \(\varepsilon >0\), \(n\geqq n_0\), and \(\beta >3\). Assume \(\Vert \nu ^{-1}wg\Vert _{L^\infty }+|wr|_{L^\infty {(\gamma _-)}}<\infty \). Then there exists a unique solution \(f^n\) to (3.38) satisfying
where the positive constant \(C_{\varepsilon ,n}>0\) depends only on \(\varepsilon \) and n. Moreover, if \(\Omega \) is a strictly convex domain, g is continuous in \(\Omega \times {\mathbb {R}}^3\) and r is continuous in \(\gamma _-\), then \(f^n\) is continuous away from grazing set \(\gamma _0\).
Proof
We consider the solvability of the following boundary value problem:
for \(\lambda \in [0,1]\). For brevity we denote \({\mathcal {L}}_\lambda ^{-1}\) to be the solution operator associated with the problem, meaning that \(f:={\mathcal {L}}_\lambda ^{-1} g\) is a solution to the BVP (3.39). Our idea is to prove the existence of \({\mathcal {L}}_0^{-1}\), and then extend to obtain the existence of \({\mathcal {L}}_1^{-1}\) in a continuous argument on \(\lambda \). Since the proof is very long, we split it into several steps.
Step 1. In this step, we prove the existence of \({\mathcal {L}}_0^{-1}\). We consider the following approximate sequence
for \(i=0,1,2,\ldots \), where we have set \(f^0\equiv 0\). We will construct \(L^\infty \) solutions to (3.40) for \(i=0,1,2,\ldots \), and establish uniform \(L^\infty \)-estimates.
Firstly, we will solve inductively the linear equation (3.40) by the method of characteristics. Let \(h^{i+1}(x,v)=w(v)f^{i+1}(x,v)\). For almost every \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\backslash (\gamma _0\cup \gamma _-)\), one can write
and for \((x,v)\in \gamma _-\), we write
Noting the definition of \(P_{\gamma } f\), we have
We consider (3.41) with \(i=0\). Noting \(h^0\equiv 0\), then it is straightforward to see that
Therefore we have obtained the solution to (3.40) with \(i=0\). Assume that we have already solved (3.40) for \(i\leqq l\) and obtained
We now consider (3.40) for \(i=l+1\). Noting (3.44), then we can solve (3.40) by using (3.41) and (3.42) with \(i=l+1\). We still need to prove \(h^{l+2}\in L^\infty \). Indeed, it follows from (3.41), (3.42) and (3.43) that
Therefore, inductively we have solved (3.40) for \(i=0,1,2,\ldots \) and obtained
for \(i=0,1,2,\ldots \). The positive constant \(C_{\varepsilon ,n,i}\) may increase to infinity as \(i\rightarrow \infty \). Here, we emphasize that we first need to know the sequence \(\{h^i\}_{i=0}^{\infty }\) is in \(L^\infty \)-space, otherwise one can not use Lemma 3.4 to get uniform \(L^\infty \) estimates.
If \(\Omega \) is a convex domain, let \((x,v)\in \Omega \times {\mathbb {R}}^3\backslash \gamma _0\), then it holds \(v\cdot n(x_{{\mathbf {b}}}(x,v))<0\) which yields that \(t_{{\mathbf {b}}}(x,v)\) and \(x_{{\mathbf {b}}}(x,v)\) are smooth by Lemma 2 in [29]. Therefore if g and r are continuous, we have that \(f^i(x,v)\) is continuous away from grazing set.
Secondly, in order to take the limit \(i\rightarrow \infty \), one has to get some uniform estimates. Multiplying (3.40) by \(f^{i+1}\) and integrating the resultant equality over \(\Omega \times {\mathbb {R}}^3\), one obtains that
where we have used \(|P_\gamma f^i|_{L^2(\gamma _-)}=|P_\gamma f^i|_{L^2(\gamma _+)}\leqq |f^i|_{L^2(\gamma _+)}\). Then, from (3.46), we have
Now we take the difference \(f^{i+1}-f^i\) in (3.40), then by similar energy estimate as above, we obtain
Noting \(1-\frac{2}{n}+\frac{3}{2n^2}<1\), thus \(\{f^{i}\}_{i=0}^\infty \) is a Cauchy sequence in \(L^2\), that is,
We also have, for \(i=0,1,2,\ldots \), that
where \(C_{\varepsilon ,n}>0\) is a positive constant which depends only on \(\varepsilon \) and n.
Next we consider the uniform \(L^\infty \) estimate. Here we point out that Lemma 3.4 still holds by replacing 1 with \(1-\frac{1}{n}\) in the boundary condition, and the constants in Lemma 3.4 do not depend on \(n\geqq 1\). Thus we apply Lemma 3.4 to obtain that
where we have used (3.47) in the second inequality. Now we apply Lemma 6.1 to obtain that for \(i\geqq k+1\),
where we have used (3.45) in the second inequality. Hence it follows from (3.48) and (3.45) that
Taking the difference \(h^{i+1}-h^i\) and then applying Lemma 3.4 to \(h^{i+1}-h^i\), we have that for \(i\geqq k\),
where we have denoted \(\eta _n:= (1-\frac{2}{n}+\frac{3}{2n^2})^{1/2} <1\). Here we choose n large enough so that \(\frac{1}{8} \eta _n^{-k-1}\leqq \frac{1}{2}\), then it follows from (3.50) and Lemma 6.1 that
for \(i\geqq k+1\). Then (3.51) implies immediately that \(\{h^i\}_{i=0}^\infty \) is a Cauchy sequence in \(L^\infty \), that is, there exists a limit function \( {h}\in L^\infty \) so that \(\Vert h^{i}- {h}\Vert _{L^\infty }\rightarrow 0\) as \(i\rightarrow \infty \). Thus we obtained a function \(f:=\frac{h}{w}\) solves
with \(n\geqq n_0\) large enough. Moreover, from (3.49), there exists a constant \(C_{\varepsilon ,n,k}\) such that
Step 2.A priori estimates. For any given \(\lambda \in [0,1]\), let \(f^n\) be the solution of (3.39), that is,
Moreover we also assume that \(\Vert wf^{n}\Vert _{L^\infty }+|wf^n|_{L^\infty (\gamma )}<\infty \). Firstly, we shall consider a priori\(L^2\)-estimates. Multiplying (3.52) by \(f^{n}\), one has that
We note that \(\langle Lf^n, f^{n}\rangle \geqq 0 \), which implies that
On the other hand, a direct computation shows that
Substituting (3.54) and (3.55) into (3.53), one has that
Let \(h^n:=w f^n\). Then, by using (3.12) and (3.56), we obtain
On the other hand, Let \(\nu ^{-1}wg_1 \in L^\infty \) and \(\nu ^{-1}wg_2 \in L^\infty \). Let \(f^n_1={\mathcal {L}}^{-1}_\lambda g_1\) and \(f^n_2={\mathcal {L}}^{-1}_\lambda g_2\) be the solutions to (3.52) with g replaced by \(g_1\) and \(g_2\), respectively. Then we have that
By similar arguments as to those in (3.52)–(3.57), we obtain
and
The uniqueness of solution to (3.52) also follows from (3.58). We point out that the constant \(C_{\varepsilon ,n}\) in (3.56), (3.57), (3.58) and (3.59) does not depend on \(\lambda \in [0,1]\). This property is crucial for us to extend \({\mathcal {L}}_0^{-1}\) to \({\mathcal {L}}_1^{-1}\) by a bootstrap argument.
Step 3. In this step, we shall prove the existence of solution \(f^n\) to (3.39) for sufficiently small \(0<\lambda \ll 1\), that is, to prove the existence of operator \({\mathcal {L}}_{\lambda }^{-1}\). Firstly, we define the Banach space
Now we define
For any \(f_1, f_2\in {\mathbf {X}}\), by using (3.59), we have that
where we have used (2.11) and (2.13) with \(m=1\) in the last inequality. We take \(\lambda _*>0\) sufficiently small such that \(\lambda _*C_{K,\varepsilon ,n}\leqq 1/2\), then \(T_\lambda : {\mathbf {X}}\rightarrow {\mathbf {X}}\) is a contraction mapping for \(\lambda \in [0,\lambda _*]\). Thus \(T_\lambda \) has a fixed point, that is, \(\exists \, f^\lambda \in {\mathbf {X}}\) such that
which immediately yields that
Hence, for any \(\lambda \in [0,\lambda _*]\), we have solved (3.39) with \(f^\lambda ={\mathcal {L}}_\lambda ^{-1}g\in {\mathbf {X}}\). Therefore we have obtained the existence of \({\mathcal {L}}_\lambda ^{-1}\) for \(\lambda \in [0,\lambda _*]\). Moreover the operator \({\mathcal {L}}_\lambda ^{-1}\) has the properties (3.56), (3.57), (3.58) and (3.59).
Next we define
Noting the estimates for \({\mathcal {L}}_{\lambda _*}^{-1}\) are independent of \(\lambda _*\). By similar arguments, we can prove \(T_{\lambda _*+\lambda } : {\mathbf {X}}\rightarrow {\mathbf {X}}\) is a contraction mapping for \(\lambda \in [0,\lambda _*]\). Then we obtain the exitence of operator \({\mathcal {L}}_{\lambda _*+\lambda }^{-1}\), and (3.56), (3.57), (3.58) and (3.59). Step by step, we can finally obtain the existence of operator \({\mathcal {L}}_1^{-1}\), and \({\mathcal {L}}_1^{-1}\) satisfies the estimates in (3.56), (3.57), (3.58) and (3.59). The continuity is easy to obtain since the convergence of sequence under consideration is always in \(L^\infty \). Therefore we complete the proof of Lemma 3.5. \( \quad \square \)
Lemma 3.6
Let \(\varepsilon >0\) and \(\beta >3\), and assume \(\Vert \nu ^{-1}wg\Vert _{L^\infty }+|wr|_{L^\infty {(\gamma _-)}}<\infty \). Then there exists a unique solution \(f^\varepsilon \) to solve the approximate linearized steady Boltzmann equation (3.1). Moreover, it satisfies
where the positive constant \(C_{\varepsilon }>0\) depends only on \(\varepsilon \). Moreover, if \(\Omega \) is a strictly convex domain, g is continuous in \(\Omega \times {\mathbb {R}}^3\) and r is continuous in \(\gamma _-\), then \(f^\varepsilon \) is continuous away from the grazing set \(\gamma _0\).
Proof
Let \(f^n\) be the solution of (3.38) constructed in Lemma 3.5 for \(n\geqq n_0\) with \(n_0\) large enough. Multiplying (3.38) by \(f^n\) and using the coercivity estimate (2.7), one obtains that
Here the projection P is defined by (2.6). A direct calculation shows that
which, together with (3.61), yields that
where \(\eta >0\) is a small constant to be chosen later.
We still need to bound the first term on the right-hand side of (3.62). Firstly, a direct calculation shows that
provided that \(0<\varepsilon '\ll 1\). We note that
which yields that
On the other hand, it follows from (3.38) that
which yields that
It follows from (3.65) and (3.62) that
where in the second line we have used (4.7) which will be given in Lemma 4.1 later on. The above estimate together with (3.63) and (3.64) yield that
Taking \(\eta \) small so that \(C_{\varepsilon ',v} \eta \leqq \frac{1}{2}\), one obtains that
Combining (3.66) and (3.62), one has
We apply (3.12) and use (3.67) to obtain
Taking the difference \(f^{n_1}-f^{n_2}\) with \(n_1,n_2\geqq n_0\), we know that
Multiplying (3.68) by \( f^{n_1}-f^{n_2}\), and integrating it over \(\Omega \times {\mathbb {R}}^3\), by similar arguments as in (3.61)–(3.67), we can obtain
as \(n_1\), \(n_2 \rightarrow \infty \), where we have used the uniform estimate (3.67) in the last inequality. Applying (3.12) to \( f^{n_1}-f^{n_2}\) and using (3.69), then one has
as \(n_1,\ n_2 \rightarrow \infty \), which yields that \(wf^n\) is a Cauchy sequence in \(L^\infty \). We denote \(f^\varepsilon =\lim _{n\rightarrow \infty } f^n\), then it is direct to check that \(f^\varepsilon \) is a solution to (3.1), and (3.60) holds. The continuity of \(f^\varepsilon \) is easy to obtain since the convergence of sequences is always in \(L^\infty \) and \(f^n\) is continuous away from the grazing set. Therefore we have completed the proof of Lemma 3.6. \(\quad \square \)
Now we assume that
Lemma 3.7
Let f be a solution
in the weak sense of
where \(\psi \in H^1(\Omega \times {\mathbb {R}}^3)\). Assume \(\int _{\Omega \times {\mathbb {R}}^3}f \sqrt{\mu } \mathrm{d}v\mathrm{d}x=0\) and (3.70), then it holds that
Proof
The proof is almost the same to Lemma 3.3 in [21], the details are omitted here for simplicity of presentation. \(\quad \square \)
Lemma 3.8
Assume (3.70). Let \(\beta >3+|\kappa |\), and assume \(\Vert \nu ^{-1}wg\Vert _{L^\infty }+|wr|_{L^\infty {(\gamma _-)}}<\infty \). Then there exists a unique solution \(f=f(x,v)\) to the linearized steady Boltzmann equation
such that \(\int _{\Omega \times {\mathbb {R}}^3} f \sqrt{\mu } dvdx=0 \) and
Moreover, if \(\Omega \) is a strictly convex domain, g is continuous in \(\Omega \times {\mathbb {R}}^3\) and r is continuous in \(\gamma _-\), then f is continuous away from the grazing set \(\gamma _0\).
Proof
Let \(f^\varepsilon \) be the solution of (3.1) constructed in Lemma 3.6 for \(\varepsilon >0\). Multiplying the first equation of (3.1) by \(\sqrt{\mu }\), taking integration over \(\Omega \times {\mathbb {R}}^3\), and noting (3.70), it is straightforward to see that
for any \({\varepsilon }>0\). Multiplying the first equation of (3.1) by \(f^\varepsilon \) and integrating the resultant equation over \(\Omega \times {\mathbb {R}}^3\), it follows from Cauchy inequality that
Applying Lemma 3.7 to \(f^\varepsilon \), we obtain
which, together with (3.73), implies that
where \(\eta >0\) is a small positive constant to be determined later.
To control the term \(|P_\gamma f^\varepsilon |^2_{L^2(\gamma _+)}\) on the right-hand side of (3.74), we should be careful since we do not have the uniform bound on \(\Vert f^\varepsilon \Vert _{L^2}\). Denote
then one has \(P_{\gamma } f^\varepsilon =z^\varepsilon _{\gamma }(x) \mu ^{\frac{1}{2}}(v)\). A direct calculation shows that
provided that \(0<\varepsilon '\ll 1\), where \(c_1>0\) is a positive constant independent of \(\varepsilon '\). By using (3.75), we have that
which yields that
It follows from (3.1) that
which implies that
It follows from (3.77) and (4.7) that
which, together with (3.76), and by taking \(\eta >0\) suitably small, yields that
Combining (3.78) and (3.74), then taking \(\eta >0\) small, one has that
Applying (3.12) to \(f^\varepsilon \) and using (3.79), then we obtain
Next we consider the convergence of \(f^\varepsilon \) as \(\varepsilon \rightarrow 0+\). For any \(\varepsilon _1,\varepsilon _2>0\), we consider the difference \(f^{\varepsilon _2}-f^{\varepsilon _1}\) satisfying
Multiplying (3.81) by \(f^{\varepsilon _2}-f^{\varepsilon _1}\), integrating the resultant equation and by similar arguments as in (3.73)–(3.79), one gets
as \(\varepsilon _1\), \(\varepsilon _2\rightarrow 0+\), where we have used (3.80) in the last inequality. Finally, applying (3.12) to \(f^{\varepsilon _2}-f^{\varepsilon _1}\), then we obtain
as \(\varepsilon _1\), \(\varepsilon _2\rightarrow 0+\), where we have used (3.82) and (3.80) above. Here we have to demand \(\beta >3+|\kappa |\) so that we can apply (3.12). We also point out here that we can only obtain the convergence in a weak norm \(L^\infty _{\nu w}\) but not \(L^\infty _w\). The main reason is that for soft potentials, in order to get the uniform \(L^\infty _w\) estimate, one has to demand g to has the more velocity weight. With (3.83), we know that there exists a function f so that \(\Vert \nu w(f^{\varepsilon }-f)\Vert _{L^\infty }\rightarrow 0\) as \(\varepsilon \rightarrow 0+\). And it is direct to see that f solves (3.71). Also, (3.72) follows immediately from (3.80). If \(\Omega \) is convex, the continuity of f directly follows from the \(L^\infty \)-convergence. Therefore the proof of Lemma 3.8 is complete. \(\quad \square \)
3.3 Proof of Theorem 1.1.
We consider the following iterative sequence
for \(j=0,1,2\cdots \) with \(f^0\equiv 0\). A direct computation shows that
which yields that
We note that
and
Noting (3.85)–(3.87), and using Lemma 3.8, we can solve (3.84) inductively for \(j=0,1,2,\ldots \). Moreover, it follows from (3.72), (3.86) and (3.87) that
By induction, we shall prove that
Indeed, for \(j=0\), it follows from \(f^0\equiv 0\) and (3.88) that
Now we assume that (3.89) holds for \(j=1,2\cdots , l\), then we consider the case for \(j=l+1\). Indeed it follows from (3.88) that
where we have used (3.89) with \(j=l\), and chosen \(\delta >0\) small enough such that \(2C_1\delta +4C_1^2 \delta \leqq 1/2\). Therefore we have proved (3.89) by induction.
Finally we consider the convergence of sequence \(f^j\). For the difference \(f^{j+1}-f^j\), we have
Applying (3.72) to (3.90), we have that
where we have used (3.89) and taken \(\delta >0\) small such that \(C\delta \leqq 1/2\). Hence \(f^j\) is a Cauchy sequence in \(L^\infty \), then we obtain the solution by taking the limit \(f_*=\lim _{j\rightarrow \infty } f^j\). The uniqueness can also be obtained by using the inequality as (3.91).
If \(\Omega \) is convex, the continuity of \(f_*\) is a direct consequence of \(L^\infty \)-convergence. The positivity of \(F_*:=\mu +\sqrt{\mu } f_*\) will be proved in Section 4. Therefore we complete the proof of Theorem 1.1. \(\quad \square \)
4 Dynamical Stability Under Small Perturbations
In this section, we are concerned with the large-time asymptotic stability of the steady solution \(F_*\) obtained in Theorem 1.1. For this purpose, we introduce the perturbation
Then the initial-boundary value problem on f(t, x, v) reads as
Here \(P_{\gamma }f\) is defined in (3.2), the linearized collision operator L is defined in (2.1), the nonlinear term \(\Gamma (f,f)\) is defined in (2.2) and
Recall (1.9). Let
Then one can reformulate (4.1) as
where \({\tilde{w}}\) and \(K_wh\) are the same as ones defined before, and for each \(x\in \partial \Omega \), \(\mathrm{d}\sigma (x)\) denotes the probability measure
in the velocity space \({\mathcal {V}}(x):=\{u\in {\mathbb {R}}^3:n(x)\cdot u>0\}\). For simplicity, to the end we denote
4.1 Characteristics for Time-Dependent Problem
Given (t, x, v), let [X(s), V(s)] be the backward bi-characteristics associated with the initial-boundary value problem (4.1) on the Boltzmann equation, which is determined by
The solution is then given by
Similarly as to the steady case, for each (x, v) with \(x\in {\bar{\Omega }}\) and \(v\ne 0,\) we define its backward exit time \(t_{{\mathbf {b}}}(x,v)\geqq 0\) to be the last moment at which the back-time straight line \([X({-\tau } ;0,x,v),V({-\tau } ;0,x,v)]\) remains in \({\bar{\Omega }}\):
We also define
Let \(x\in {\bar{\Omega }}\), \((x,v)\notin \gamma _{0}\cup \gamma _{-}\) and \( (t_{0},x_{0},v_{0})=(t,x,v)\). For \(v_{k+1}\in {\mathcal {V}}_{k+1}:=\{v_{k+1}\cdot n(x_{k+1})>0\}\), the back-time cycle is defined as
with
For \(k\geqq 2\), the iterated integral means that
where
Note that all \(v_{l}\) (\(l=1,2,\ldots \)) are independent variables, and \(t_k\), \(x_k\) depend on \(t_l\), \(x_l\), \(v_l\) for \(l\leqq k-1\), and the velocity space \({\mathcal {V}}_{l}\) implicitly depends on \((t,x,v,v_{1},v_{2},\ldots ,v_{l-1}).\)
Define the near-grazing set of \(\gamma _{+}\) and \(\gamma _{-}\) as
Then we have
Lemma 4.1
([13, 29]) Let \(\varepsilon >0\) be a small positive constant, then it holds that
and
where the positive constant \(C_{\varepsilon }>0\) depends only on \(\varepsilon \).
4.2 Linear Problem
In this part, we study the following linear inhomogeneous problem:
where g is a given function. Recall that h(t, x, v) defined in (4.2). Then the equation of h as well as the boundary condition reads
Recall the stochastic cycle defined in (4.5). For any \(0\leqq s\leqq t\), we define
The following Lemma is to establish the mild formulation for (4.10). (Since its proof is almost the same as for [29, Lemma 24], we omit details for brevity):
Lemma 4.2
Let \(k\geqq 1\) be an integer and \(h(t,x,v) \in L^{\infty }\) satisfy (4.10). For any \(t>0\), for almost every \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\setminus \gamma _0\cup \gamma _-\) and for any \(0\leqq s\leqq t\), it holds that
where
where the measure \(\mathrm{d}\Sigma _{l}(\tau )\) is defined by
The same as for Lemma 3.2, we have
Lemma 4.3
Let \((\eta ,\zeta )\) belong to
For \(T_0\) sufficiently large, there exist constants \({\hat{C}}_3\) and \({\hat{C}}_4\) independent of \(T_0\) such that for \(k={\hat{C}}_3T_0^{\frac{5}{4}}\) and \((t,x,v)\in [s,s+T_0]\times {\bar{\Omega }}\times {\mathbb {R}}^3\), it holds that
The following proposition is to clarify the solvability of the linear problem (4.9):
Proposition 4.4
Let \(-3<\gamma <0\), \(\beta >3+|\kappa |,\) and \((\varpi ,\zeta )\) satisfy (1.10). Assume that
and also assume that
where \(\lambda _0>0\) is a small constant to be chosen in the proof. Then the linear IBVP problem (4.9) admits a unique solution f(t, x, v) satisfying
for any \(t\geqq 0\). Moreover, if \(\Omega \) is convex, \(f_0(x,v)\) is continuous except on \(\gamma _0\), g is continuous in \((0,\infty )\times \Omega \times {\mathbb {R}}^3\),
and \(\theta (x) \) is continuous on \(\partial \Omega \), then f(t, x, v) is continuous over \([0,\infty )\times \{{\bar{\Omega }}\times {\mathbb {R}}^{3}\setminus \gamma _0\}\).
The proof of Proposition 4.4 will be given after we prepare two lemmas.
Lemma 4.5
Let h(t, x, v) be the \(L^\infty \)-solution of the linear problem (4.10). Then for any \(s\geqq 0\), for any \(s\leqq t \leqq s+T_0\) with \(T_0>0\) is sufficiently large, and for almost everywhere \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\setminus \gamma _0\), it holds that
where \(\lambda _1>0\) is a generic constant given in (4.21), and \(0< {\tilde{\lambda }}<\lambda _1\) is an arbitrary constant to be chosen later. Here \(m>0\) can be chosen arbitrarily small and N can be chosen arbitrarily large.
Proof
We take \(T_0\) sufficiently large and \(k={\hat{C}}_3T_0^{5/4}\) such that (4.12) holds for \(\eta =\frac{5}{16}\). We first estimate \({\mathcal {I}}_1\). On one hand, if \(s\leqq t\leqq s+1\), it obviously holds that
for any \({\tilde{\lambda }}>0\). On the other hand, if \(t>s+1\), we note that
where \(d_\Omega :=\sup _{x,y\in \Omega }|x-y|\) is the diameter of the bounded domain \(\Omega \). Then for \(|v|>d_{\Omega }\), it holds that
In other words, \({\mathcal {I}}_1\) appears only when the particle velocity |v| is not greater than \(d_\Omega \), so that we have
where
depends only on \(d_\Omega \). Collecting the estimates (4.15) and (4.16) on these two cases, we have
For \({\mathcal {I}}_4\), we split the velocity to estimate it as
For \(|v|>d_\Omega \), we have \(\max \{t_1,s\}\geqq t_1\geqq t-t_{{\mathbf {b}}}(x,v)\geqq t-1\), which implies, for any \({\tilde{\lambda }}>0\). that
For \(|v|\leqq d_\Omega \), we have
Conbining these two estimates, we have
Similarly, by using (2.11), it holds that
For \({\mathcal {I}}_{5}\), we borrow an idea from [36]. Take \(|v_m|=\max \{|v_1|,|v_2|,\ldots ,|v_l|\}\). By a direct computation, we have, for some positive constant \(c>0\), that
Here we have denoted \(\langle v\rangle :=(1+|v|^2)^{1/2}\). We note the fact from Young’s inequality that
for a generic constant \(\lambda _1>0\) depending only on \(\zeta \). Then the right-hand side of (4.20) is further bounded as
Here we have used the elementary fact that \(x^{\alpha }+y^{\alpha }\geqq (x+y)^{\alpha }\) for \(x,y\geqq 0\) and \(0\leqq \alpha \leqq 1\). Therefore, it holds that
Similarly, we have
Recall r defined in (4.4). Similar for obtaining (4.22), we have
By (2.11), it holds that
For \({\mathcal {I}}_{14}\), we have, from (4.12), that
Now we consider the terms involving \(K^c_{w}\). Similar as in (4.22), we have
Then, by splitting the integral domain, we further have
where we have denoted that
For \({\mathcal {I}}_{71l}\), we use (2.14) to obtain, for any \(0<{\tilde{\lambda }}<\lambda _1\), that
For \({\mathcal {I}}_{72l}\), it is straightforward to see that
For \({\mathcal {I}}_{73l}\), since \(|v'-v_l|\geqq N\), then by (2.14), it holds that
For \({\mathcal {I}}_{74l}\), by Hölder’s inequality, it holds that
Here we have used (2.12) for \(\alpha =1\) in the last inequality. Note that \(y_l:={x}_l-{v}({t}_l-\tau )\in \Omega \) for \(s\leqq \tau \leqq t_l-\frac{1}{N}\). Making change of variable \(v_l\rightarrow y_l\), we obtain that
Combing this with (4.27), (4.28), (4.29), (4.30), we have
Similarly,
Substituting (4.17), (4.18), (4.19), (4.22), (4.24), (4.23), (4.25), (4.26), (4.31), (4.32) into (4.11), we have
where we have denoted
Denote \(x':=x-(t-\tau )v\) and \(t_{1}':=t_1(\tau ,x',u)\). Now we use (4.33) for \(h(\tau ,x-(t-\tau )v,u)\) to evaluate
Similar for obtaining (4.18), we have
Finally, we estimate \({\hat{B}}_2\). If \(|v|>N\), we have, from (2.14), that
If \(|v|\leqq N\), we denote the integrand of \(B_2\) as \(U(\tau ',v',v'';\tau ,v)\), and split the integral domain with respect to \(\mathrm{d}\tau '\,\mathrm{d}v''\mathrm{d}v'\) into the following four parts:
Over \({\mathcal {O}}_1\) and \({\mathcal {O}}_2\), we have either \(|v-v'|\geqq N\) or \(|v'-v''|\geqq N \), so that one of the following is valid:
By (2.14), one has
Over \({\mathcal {O}}_3\), it is direct to obtain
For \({\mathcal {O}}_4\), it holds from Holder’s inequality that
where we have denoted \(y':=x'-(\tau -\tau ')u.\) Making change of variable \(u\rightarrow y'\) and noting that the Jacobian \(\left| \frac{\mathrm{d}y'}{\mathrm{d}u}\right| \geqq \frac{1}{N^3}>0\) for \(s\leqq \tau '<\tau -\frac{1}{N}\), the right-hand side of (4.39) is bounded by
which implies that
Combining this with (4.36), (4.37), (4.38) yields that
Substituting (4.35) and (4.40) into (4.34), one has (4.14). The proof of Lemma 4.5 is complete. \(\quad \square \)
The following lemma gives the \(L^2\)-decay of the solution:
Lemma 4.6
If
and \(|\theta -1|_{L^\infty (\partial \Omega )}\) is sufficiently small, then there exists a constant \(\lambda _2>0\) such that for any \(t\geqq 0\),
Proof
We first consider the case \(g\equiv 0\). Multiplying both sides of (4.9) by f, we have
where r is defined in (4.4). By the coercivity estimate (2.7), it holds that
Notice that \(P_{\gamma }r\equiv 0\). Therefore, it follows that
To estimate \(|P_{\gamma }f|_{L^2(\gamma _+)}\), recall the cutoff function \({\mathbf {1}}_{\gamma _+^{{\varepsilon }}}\) with respect to the near grazing set \(\gamma _{+}^{\varepsilon }\) defined in (4.6). Then we have
Notice that
which implies that
Therefore, by the trace estimate (4.8), we have
Combining this with (4.46), we have
Here we have taken \({\varepsilon }>0\) suitably small in the last inequality. For the macroscopic part Pf, we multiply \(\sqrt{\mu }\) to both sides of the first equation in (4.9) and use (4.41) to get
Then is a fashion similar to [21, Lemma 6.1], there exists a functional \({\mathfrak {e}}_{f}(t)\) with \(|{\mathfrak {e}}_{f}(t)|\lesssim \Vert f(t)\Vert _{L^2}^2\) such that
Suitably combining the estimate above with (4.43), (4.44), (4.45) and (4.47) and taking \(\delta >0\) suitably small, we have
Next we need to obtain the weighted \(L^2\) estimate in order to obtain \(L^2\) decay of f. Multiplying to both sides of the first equation in (4.9), we have
A direct computation shows that
As for the last term on the right-hand side of (4.49), we use (2.15) to obtain
Therefore, suitably combining (4.48), (4.49), (4.50) and (4.51) and taking \(\eta >0\) suitably small, we have
Now we are ready for obtaining \(L^2\) decay of f in terms of the idea in [43]. Let \({\tilde{f}}=e^{\lambda ' (1+t)^{\alpha }}f\), with \(\lambda '>0\) is a suitably small constant to be determined later. Then applying the same energy estimate for obtaining (4.48), we have
To estimate the last term, we split the v-integration domain into
One one hand, we have
by taking \(\lambda '>0\) suitably small. On the other hand, in \({\mathcal {M}}^c(s)\), we have
Therefore, we have
Combining these estimates with (4.52) and taking \(\lambda '>0\) suitably small, we have
Then (4.42) for \(g\equiv 0\) naturally follows. We denote G(t) as the solution operator to the linear homogeneous problem (4.9) with \(g\equiv 0\). Then for non-trivial g, from Duhamel’s formula, it holds that
Here we have used (4.53) in the second inequality. Then (4.42) follows from (4.54) by taking \(\lambda _2=\lambda '\). The proof of Lemma 4.6 is complete. \(\quad \square \)
Proof of Proposition 4.4
The local existence and uniqueness of solutions to the linear inhomogeneous problem (4.10) can be obtained in a similar way as in Proposition 6.2. We omit the details for brevity. In what follows we will show the decay estimate (4.13). Recall the finite-time estimate (4.14). We define \( \lambda _0=\min \{\frac{\lambda _1}{4},\frac{\lambda _2}{4}\}\), and
with \(\eta >0\) suitably small to be determined later. Then we choose \(T_0\) suitably large and \(\delta >0\) suitably small, and also take N suitably large, such that
Then it holds from (4.14) with the choice of \({\tilde{\lambda }}=\lambda _0\) that for any \(s\geqq 0\) and any \(t\in [s,s+T_0]\),
where we have defined
For any \(t>0\), there exists a positive integer \(n\geqq 1\), such that \(nT_0\leqq t<(n+1)T_0\). Then applying (4.55) to \([0,T_0], [T_0,2T_0], \cdots , [(n-1)T_0,nT_0]\) inductively, we have
where in the third inequality we have used \(0< {\lambda _0}\leqq \frac{\lambda _1}{4}\). Here we also have used the elementary fact that \(x^{\alpha }+y^\alpha \geqq (x+y)^\alpha \) for x, \(y\geqq 0\) and \(0\leqq \alpha \leqq 1\). Finally applying (4.55) in \([nT_0, (n+1)T_0]\) and using (4.57), we have
Recall (4.56). Let \(\eta >0\) be suitably small, then (4.13) follows from (4.58) and (4.42). Therefore, the proof of Proposition 4.4 is complete. \(\quad \square \)
4.3 Proof of Theorem 1.2.
The local existence and uniqueness of the solution to nonlinear problem (4.1) is provided in Proposition 6.2. In what follows we will show (1.17). Notice that for any \(t>0\), it holds that
Then applying the linear theory Proposition 4.4 to f, we have
where we have used the nonlinear estimate (2.16). Now we make the a priori assumption that
Then from (4.59), we have
provided that both \(\delta >0\) and \(\Vert wf_0\Vert _{L^\infty }\) are suitably small. This justifies that the a priori assumption can be closed. Then from a standard continuity argument, the global existence together with the estimate (1.17) follow. Therefore, the proof of Theorem 1.2 is complete. Note that since the obtained time-independent solution F(t, x, v) is nonnegative for all \(t\geqq 0\) and converges to the stationary solution \(F_*(x,v)\) in large time, one then has the non-negativity of \(F_*(x,v)\).\(\quad \square \)
5 Dynamical Stability Under a Class of Large Perturbations
The section is devoted to proving Theorem 1.3. Recall \(h(t,x,v):=wf(t,x,v)\). In what follows, we make the following a priori assumption:
where \(T>0\) is an arbitrary constant and \({\bar{M}}\) is a positive constant depending only on \(M_0\) as given in (1.21). We emphasize here that \(M_0\) is not necessarily small and will be determined at the end of the proof.
5.1 \(L^p_{x,v}\) Estimates
First of all, we have
Lemma 5.1
([30]) Let \(1<p<\infty \). Assume that f, \(\partial _t+v\cdot \nabla _xf\in L^p([0,T]; L^p)\) and \(f{\mathbf {1}}_{\gamma _-}\in L^p([0,T]; L^p(\gamma ))\). Then \(f\in C^{0}([0,T];L^p)\) and \(f{\mathbf {1}}_{\gamma _+}\in L^p([0,T]; L^p(\gamma ))\) and for almost every \(t\in [0,T]\):
Moreover, we prove that the \(L^p\) bound of solutions grows in time exponentially related to \({\bar{M}}\). Note that \({\bar{M}}\) is to be chosen depending only on \(M_0\), so that within a finite time interval, the solution can be uniformly small in \(L^p\) if it is so initially.
Lemma 5.2
Let \(1<p<\infty \). Under the assumption (5.1), it holds that
for any \(t\in [0,T]\). Here \(C_3>1\) is a generic constant depending only on \(\kappa \) and p.
Proof
By Green’s identity (5.2), one has
It is straightforward to see from (2.9) that K is bounded from \(L^p\) to \(L^p\). Therefore, one has
As for the last term on the right-hand side of (5.4), it holds from (2.17) that
To treat the boundary term \(|f|_{L^p(\gamma _-)}\), the same as before, we introduce the cutoff function \({\mathbf {1}}_{\gamma _+^{\varepsilon }}\) near the grazing set \(\gamma _+^{\varepsilon }\) defined in (4.6). Then by a direct computation, we have
From the trace estimate (4.8), it holds that
Notice that
Then from (5.5) and (5.6), it holds that
Combining this with (5.7) and (5.8), we obtain that
Substituting (5.5), (5.6) and (5.9) into (5.4), and then taking both \({\varepsilon }>0\) as well as \(\delta >0\) suitably small, we have
Then (5.3) follows from Gronwall’s inequality. Therefore, the proof of Lemma 5.2 is complete. \(\quad \square \)
5.2 \(L^\infty _{x,v}\)-Estimate
Lemma 5.3
Under the a priori assumption (5.1), for \(t\in [0,\min \{T,T_0\}]\) and for almost every \((x,v)\in {\bar{\Omega }}\times {\mathbb {R}}^3\setminus \gamma _0\), it holds that:
where
Here the positive constants \(T_0\) and N can be taken arbitrarily large and m can be taken arbitrarily small.
Proof
We denote \({\tilde{G}}(t)\) as the solution operator of (4.10) provided by Proposition 4.4. Then the solution h of (4.3) is given in terms of Duhamel’s formula as
Using (4.13) and (2.16), we have
and
To estimate the last term on the right-hand side of (5.11), denoting
and then applying the mild formulation (4.11) to Z(t, x, v), we obtain that
where
and r is defined in (4.4). Here the same as before, \(k={\hat{C}}_3T_0^{5/4}\) such that (4.12) holds for \(\eta =\frac{5}{16}\). We first consider terms \(H_2\), \(H_5\) and \(H_7\) involving \(K_w^m\). On one hand, similar for obtaining (4.19), we have
On the other hand, similar for obtaining (4.22), we have
Similarly, it holds that
For the terms \(H_4\) and \(H_{10}\) involving r, we see from (4.13) and (4.4) that
Therefore, similar for obtaining (5.16), we have
and
For \(H_{11}\), we note that
Then by (4.12), we have
For the terms \(H_7\) and \(H_9\) involving \(K_w^c\), similar for obtaining (4.27), we have
and further split it as
where
Then it follows that
By Hölder inequality, it holds that
Since \(1<p'=\frac{p}{p-1}<3\), then by (2.12) with \(a=1\), it holds that
Therefore, it holds that
Note that \(y_l:=x_l-(t_l-\tau )v_l\in \Omega \) for \(s\leqq \tau \leqq t_l-\frac{1}{N}\). Then making chang of variable \(v_l\rightarrow y_l\), we obtain that
Similarly, for obtaining (5.3), we have
which implies that
Substituting this into (5.21), we have
Similarly, we have
For \(H_5\), similar as (4.22), we have
Then it follows that
where we have used (2.20) and (2.21) in the first inequality, and also denoted that
Now, we consider the integral in (5.26) over either \(\{|v_l|\geqq N\}\) or \(\{|v_l|\leqq N, |v'|\geqq N\}\) or \(\{|v_l|\leqq N, |v'|\leqq N, t_l-1/N\leqq s \leqq t_l\}\) or \(\{|v_l|\leqq N, |v'|\leqq N, 0\leqq s \leqq t_l-1/N\}\). Over \(\{|v_l|\geqq N\}\) or \(\{|v_l|\leqq N, |v'|\geqq N\}\) or \(\{|v_l|\leqq N, |v'|\leqq N, t_l-1/N\leqq s \leqq t_l\}\), it is bounded by
Over \(\{|v_l|\leqq N, |v'|\leqq N, 0\leqq s \leqq t_l-1/N\}\), it is bounded by
where we have used the change of variable \(v_l\rightarrow y_l:=x_l-(t_l-s)v_l\) above. Therefore, for \(H_5\), it holds that
Substituting (5.15), (5.16), (5.17), (5.18), (5.19), (5.20), (5.24) (5.25) and (5.27) into (5.14), we have
To further estimate \(H_{13}\), we denote \(x'=x-(t-\tau )v\) and \(\tau _1'=t_1(\tau ,x',u).\) Then by Fubini Theorem and (5.28), it holds that
where
Similarly to before, we have
For \(H_{13,1}\), we have from (2.20) and (2.21) that
Now we divide the estimates by the following cases:
Case 1.\(|v|\geqq N\). We have from (2.14) that
Case 2.\(|v|\leqq N, |u|\geqq 2N\). In this case, we have \(|v-u|\geqq N\), so that by (2.14),
It then follows that
Case 3.\(|v|\leqq N, |u|\leqq 2N, |u'|>N\). By \(\beta >4\), it holds that
Case 4.\(|v|\leqq N, |u|\leqq 2N, |u'|\leqq N, \tau -1/N<s\leqq \tau \). It is straightforward to see that
Case 5.\(|v|\leqq N, |u|\leqq 2N, |u'\leqq N, 0\leqq s\leqq \tau -1/N.\) By Hölder’s inequality, we have
Collecting the estimates for these cases, we have
Similarly, for \(H_{13,2}\), we have
Here we have used (5.23) in the last inequality. Substituting (5.30), (5.31) and (5.32) into (5.29), we have
Then (5.10) naturally follows from (5.12), (5.13) and (5.33). Therefore, the proof of Lemma 5.3 is complete. \(\quad \square \)
Lemma 5.4
Under the assumption (5.1), there exists a constant \(C>0\) independent of t, such that, for any \(0\leqq t\leqq \min \{T,T_0\}\), it holds that
Here the positive constants \(T_0\) and N can be chosen arbitrarily large and m can be chosen arbitrarily small.
Proof
We denote \(x':=x-(t-s)v\) and \(t_1':=t_{1}(s,x',u)\). It suffices to consider the last term on the right-hand side of (5.10). By (2.20) and (2.21), it holds that
Notice that \(x':=x-(t-s)v\in \Omega \). Then applying (5.10) to \(h(s,x',u)\), we have
where we have defined
and
A direct computation shows that
For \(R_2\), using (2.20) and (2.21) again, we have
Here we have used the change of variable \(u\rightarrow y':=x'-(s-s')u\). Then from combining (5.10), (5.35), (5.36) and (5.37), (5.34) follows. Therefore, the proof of Lemma 5.4 is complete. \(\quad \square \)
5.3 Proof of Theorem 1.3.
Let
Then it holds from (5.34) that
where
From (5.38), we have
Substituting (5.39) into (5.38), we have
Take \({\bar{M}}=2e^{CM_0}\), \({\tilde{{\varepsilon }}}=\min \{{\varepsilon }_0,(2C_0)^{-1}\}\) where \(C_0\) and \({\varepsilon }_0\) are the same as ones in Theorem 1.2, and
such that \( 2^{-T_0}{\bar{M}}^3\leqq \frac{{\tilde{{\varepsilon }}}}{8}\) and \({\bar{M}}e^{-\frac{\lambda _0 T_0^\alpha }{2}}\leqq \frac{{\tilde{{\varepsilon }}}}{4}\). Then it holds that
for some universal constant \(C_4>1\). Let
and \(0<M_0\leqq \frac{|\log \delta |}{2C_4}.\) Then it is straightforward to see that \(CT_0^{5/2}\delta {\bar{M}}^3\leqq \frac{{\tilde{{\varepsilon }}}}{16}\). Now we take \(0<m<1\) suitably small and N suitably large, and finally take \(\Vert f_0\Vert _{L^p}\leqq {\varepsilon }_{1}\), with \({\varepsilon }_1>0\) sufficiently small, such that
Therefore, we have \({\mathcal {D}}\leqq \frac{{\tilde{{\varepsilon }}}}{4}.\) From (5.40), it holds, for any \(t\in [0,T_0]\), that
Notice that at \(t=T_0\), we have from (5.40) that
Then from (1.17), we have, for \(t>T_0\),
A combination of (5.41) and (5.42) justifies that the a priori assumption (5.1) can be closed by our choice. Notice that the local existence has been established in Proposition 6.2. Then the global existence of the solution follows from a standard continuity argument. For large time behavior, it holds, for \(t\in [0,T_0]\), that
for some constant \(C_5>1\). For \(t>T_0\), it holds from (1.17) that
By taking \(C_2=C_0C_5\), (1.23) follows from (5.43) and (5.44). Therefore, the proof of Theorem 1.3 is complete. \(\quad \square \)
References
Aoki, K., Golse, F., Kosuge, S.: The steady Boltzmann and Navier–Stokes equations. Bull. Inst. Math. Acad. Sin. 10(2), 205–257, 2015
Arkeryd, L., Cercignani, C.: A global existence theorem for the initial-boundary value problem for the Boltzmann equation when the boundaries are not isothermal. Arch. Ration. Mech. Anal. 125(3), 271–287, 1993
Arkeryd, L., Cercignani, C., Illner, R.: Measure solutions of the steady Boltzmann equation in a slab. Commun. Math. Phys. 142(2), 285–296, 1991
Arkeryd, L., Esposito, R., Marra, R., Nouri, A.: Stability of the laminar solution of the Boltzmann equation for the Benard problem. Bull. Inst. Math. Acad. Sin. 3(1), 51–97, 2008
Arkeryd, L., Maslova, N.: On diffuse reflection at the boundary for the Boltzmann equation and related equations. J. Stat. Phys. 77(5–6), 1051–1077, 1994
Arkeryd, L., Nouri, A.: Boltzmann asymptotics with diffuse reflection boundary condition. Monatshefte Math. 123, 285–298, 1997
Arkeryd, L., Nouri, A.: \(L^1\) solutions to the stationary Boltzmann equation in a slab. Ann. Fac. Sci. Toulouse Math. (6) 9(3), 375–413, 2000
Arkeryd, L., Nouri, A.: The stationary Boltzmann equation in \({\mathbb{R }}^n\) with given indata. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 1(2), 359–385, 2002
Briant, M., Guo, Y.: Asymptotic stability of the Boltzmann equation with Maxwell boundary conditions. J. Differ. Equ. 261(12), 7000–7079, 2016
Caflisch, R.E.: The Boltzmann equation with a soft potential. I. Linear, spatially-homogeneous. Commun. Math. Phys. 74, 71–95, 1980
Caflisch, R.E.: The Boltzmann equation with a soft potential. II. Nonlinear, spatially-periodic. Commun. Math. Phys. 74, 97–109, 1980
Cercignani, C.: On the initial-boundary value problem for the Boltzmann equation. Arch. Ration. Mech. Anal. 116, 307–315, 1992
Cercignani, C., Illner, R., Pulvirenti, M.: The Mathematical Theory of Dilute Gases. Springer, New York 1994
Chen, C.-C., Chen, I.-K., Liu, T.-P., Sone, Y.: Thermal transpiration for the linearized Boltzmann equation. Commun. Pure Appl. Math. 60(2), 147–163, 2007
Desvillettes, L.: Convergence to equilibrium in large time for Boltzmann and B.G.K. equations. Arch. Ration. Mech. Anal. 110(1), 73–91, 1990
Desvillettes, L., Villani, C.: On the trend to global equilibrium for spatially inhomogeneous kinetic systems: the Boltzmann equation. Invent. Math. 159, 243–316, 2005
DiPerna, R.J., Lions, P.-L.: On the Cauchy problem for Boltzmann equation: global existence and weak stability. Ann. Math. 130, 321–366, 1989
Duan, R.J., Huang, F.M., Wang, Y., Yang, T.: Global well-posedness of the Boltzmann equation with large amplitude initial data. Arch. Ration. Mech. Anal. 225(1), 375–424, 2017
Duan, R.J., Wang, Y.: The Boltzmann equation with large-amplitude initial data in bounded domains. Adv. Math. 343, 36–109, 2019
Duan, R.J., Yang, T., Zhao, H.J.: The Vlasov–Poisson–Boltzmann system for soft potentials. Math. Models Methods Appl. Sci. 23(6), 979–1028, 2013
Esposito, R., Guo, Y., Kim, C., Marra, R.: Non-isothermal boundary in the Boltzmann theory and Fourier law. Commun. Math. Phys. 323, 177–239, 2013
Esposito, R., Guo, Y., Kim, C., Marra, R.: Stationary solutions to the Boltzmann equation in the hydrodynamic limit. Ann. PDE 4(1), Art. 1, 2018
Esposito, R., Lebowitz, J.L., Marra, R.: Hydrodynamic limit of the stationary Boltzmann equation in a slab. Commun. Math. Phys. 160(1), 49–80, 1994
Esposito, R., Lebowitz, J.L., Marra, R.: The Navier–Stokes limit of stationary solutions of the nonlinear Boltzmann equation. J. Stat. Phys. 78, 389–412, 1995
Glassey, R.T.: The Cauchy Problem in Kinetic Theory. Society for Industrial and Applied Mathematics (SIAM), Philadelphia 1996
Guiraud, J.P.: Probleme aux limites intérieur pour l’équation de Boltzmann linéaire. J. de Méc. 9(3), 183–231, 1970
Guiraud, J.P.: Probleme aux limites intérieur pour l’équation de Boltzmann en régime stationnaire, faiblement non linéaire. J. de Méc. 11(2), 443–490, 1972
Guo, Y.: Classical solutions to the Boltzmann equation for molecules with an angular cutoff. Arch. Ration. Mech. Anal. 169(4), 305–353, 2003
Guo, Y.: Decay and continuity of the Boltzmann equation in Bounded domains. Arch. Ration. Mech. Anal. 197, 713–809, 2010
Guo, Y., Kim, C., Tonon, D., Trescases, A.: Regularity of the Boltzmann equation in convex domains. Invent. Math. 207(1), 115–290, 2017
Guo, Y., Liu, S.-Q.: The Boltzmann equation with weakly inhomogeneous data in bounded domain. J. Funct. Anal. 272(5), 2038–2057, 2017
Hamdache, K.: Initial-boundary value problems for the Boltzmann equation: global existence of weak solutions. Arch. Ration. Mech. Anal. 119(4), 309–353, 1992
Kim, C., Lee, D.: The Boltzmann equation with specular boundary condition in convex domains. Commun. Pure Appl. Math. 71(3), 411–504, 2018
Kuo, H.-W., Liu, T.-P., Tsai, L.-C.: Equilibrating effects of boundary and collision in rarefied gases. Commun. Math. Phys. 328(2), 421–480, 2014
Kuo, H.-W., Liu, T.-P., Tsai, L.-C.: Free molecular flow with boundary effect. Commun. Math. Phys. 318(2), 375–409, 2013
Liu, S.-Q., Yang, X.-F.: The initial boundary value problem for the Boltzmann equation with soft potential. Arch. Ration. Mech. Anal. 233(1), 463–541, 2017
Maslova, N.B.: Nonlinear Evolution Equations, Kinetic Approach. World Scientific, Singapore 1993
Mischler, S.: Kinetic equations with Maxwell boundary conditions. Ann. Sci. Ec. Norm. Super. 43(5), 719–760, 2010
Sone, Y.: Molecular Gas Dynamics: Theory, Techniques, and Applications. Birkhauser, Boston 2007
Strain, R.M.: Asymptotic stability of the relativistic Boltzmann equation for the soft potentials. Commun. Math. Phys. 300(2), 529–597, 2010
Strain, R.M.: Optimal time decay of the non cut-off Boltzmann equation in the whole space. Kinet. Relat. Models 5, 583–613, 2012
Strain, R.M., Guo, Y.: Almost exponential decay near Maxwellian. Commun. Partial Differ. Equ. 31, 417–429, 2006
Strain, R.M., Guo, Y.: Exponential decay for soft potentials near Maxwellian. Arch. Ration. Mech. Anal. 187, 287–339, 2008
Ukai, S., Asano, K.: On the Cauchy problem of the Boltzmann equation with a soft potential. Publ. Res. Inst. Math. Sci. 18(2), 477–519, 1982
Vidav, I.: Spectra of perturbed semigroups with applications to transport theory. J. Math. Anal. Appl. 30, 264–279, 1970
Yu, S.-H.: Stochastic formulation for the initial-boundary value problems of the Boltzmann equation. Arch. Ration. Mech. Anal. 192(2), 217–274, 2009
Acknowledgements
Renjun Duan is partially supported by the General Research Fund (Project No. 14302817) and the Direct Grant (Project No. 4053213) from CUHK. Feimin Huang is partially supported by National Center for Mathematics and Interdisciplinary Sciences, AMSS, CAS and NSFC Grant No.11688101. Yong Wang is partly supported by NSFC Grant No. 11771429 and 11688101.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by T.-P. Liu
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 An Iteration Lemma
Lemma 6.1
Consider a sequence \(\{a_i\}_{i=0}^\infty \) with each \(a_i\geqq 0\). For any fixed \(k\in {\mathbb {N}}_+\), we denote
(1) Assume \(D\geqq 0\). If \(a_{i+1+k}\leqq \frac{1}{8} A_i^{k}+D\) for \(i=0,1,\ldots \), then it holds that
(2) Let \(0\leqq \eta <1\) with \(\eta ^{k+1}\geqq \frac{1}{4}\). If \(a_{i+1+k}\leqq \frac{1}{8} A_i^{k}+C_k \cdot \eta ^{i+k+1}\) for \(i=0,1,\ldots \), then it holds that
Proof
We first show (6.1). By iteration in \(i\geqq 0\), we obtain that
Similarly, for all \(j=0,1,\ldots ,k-1\), we also have
Therefore, for \(1\leqq \frac{i}{k+1}\in {\mathbb {N}}_+\), it follows from (6.3) and (6.4) that
If \(\frac{i}{k+1}\notin {\mathbb {N}}_+\) and \(i=(k+1) \left[ \frac{i}{k+1}\right] +j\) for some \(1\leqq j\leqq k\), then by similar arguments we have
Hence, from (6.5) and (6.6), we complete the proof of (6.1).
It remains to show (6.2). Noting \(\eta <1\) and by similar arguments as in (6.3) and (6.4), we can get
Hence, for \(1\leqq \frac{i}{k+1}\in {\mathbb {N}}_+\), noting \(\frac{1}{8}\cdot \eta ^{-k-1}\leqq \frac{1}{2}\) and using (6.7), then we have
If \(\frac{i}{k+1}\notin {\mathbb {N}}_+\) and \(i=(k+1) \left[ \frac{i}{k+1}\right] +j\) for some \(1\leqq j\leqq k\), then by similar arguments as above, we have
Thus we prove (6.2) from (6.8) and (6.9). Therefore the proof of lemma 6.1 is complete. \(\quad \square \)
1.2 Local-in-Time Existence
Proposition 6.2
Let w(v) be the weight function defined in (1.9). Assume
and \( \Vert wf_0\Vert _{L^\infty }:=M_{0}<\infty . \) Then there exists a positive time
such that the IBVP (1.1), (1.5) and (1.13) has a unique nonnegative solution
in \([0,{\hat{t}}]\) satisfying
Here \({\tilde{C}}>0\) and \({\hat{C}}>1\) are generic constants independent of \(M_0\). Moreover, if the domain \(\Omega \) is strictly convex, \(\theta (x)\) is continuous over \(\partial \Omega \), the initial data \(F_0(x,v)\) is continuous except on \(\gamma _0\) and satisfies (1.19) then the solution F(t, x, v) is continuous in \([0,{\hat{t}}]\times \{\Omega \times {\mathbb {R}}^3\setminus \gamma _0\}\).
Proof
We consider the following iteration scheme:
where
Let
Then the equation of \(h^{n+1}\) reads as
where we have denoted
Now we shall use the induction on \(n=0,1,\ldots \) to show that there exists a positive time \({\hat{t}}_1>0\), independent of n, such that (6.10) or equivalently (6.11) admits a unique mild solution on the time interval \([0,{\hat{t}}_1]\), and the following uniform bound and positivity hold true:
and
for \(0\leqq t\leqq {\hat{t}}=\left( {\hat{C}}\{1+\Vert h_0\Vert _{L^\infty }\}\right) ^{-1}\) and suitably chosen constants \({\tilde{C}}>0\) and \({\hat{C}}\) independent of t. Thanks to the fact that
we see that (6.12) is obviously true for \(n=0\). To proceed, we assume that (6.12) holds true up to \(n\geqq 0\). Since \(F^n\geqq 0\), it holds that \({R}(F^n)\geqq 0\). Then by using a similar argument as in [19, Lemma 3.4], one can construct the solution operator \(G^n(t)\) to the following linear problem:
over \((0,\rho )\) for some universal constant \(\rho >0\) independent of n, provided that \(|\theta -1|_{L^\infty (\partial \Omega )}\) is sufficiently small. Moreover, \(G^n(t)\) satisfies the estimate
Here the constant \(C_\rho >0\) is independent of n. Then applying Duhamel’s formula to (6.11), we have, for \(0<t<\rho ,\) that
Taking \(L^\infty \)-norm on the both sides of (6.15) and using (2.16) and (6.14), we have
for some constants \(C_3>1\). Now we take \({\tilde{C}}=C_3\) and \({\hat{C}}=8C_3^2\). Then by the induction hypothesis (6.12), for any \( 0<t<{\hat{t}}\), it follows from (6.16) that
This then proves (6.12) for \(n+1\). Next we show the non-negativity (6.13) for \(n+1\). We denote that
and
Then we have the following mild formulation for \(F^{n+1}\):
for \(t>0\), \(x\in {\bar{\Omega }}\times {\mathbb {R}}^3\setminus \gamma _0\cup \gamma _-\) and integer \(k\geqq 1\). From (6.12), it holds that
for some constant \(C>0\). Furthermore, a direct computation shows that
Then similarly as for (4.12), we have, for sufficiently large \(T_0>0\) and for \(k={\hat{C}}_5T_0^{5/4}\), that
for some generic constant \({\hat{C}}_5>0\) and \({\hat{C}}_6>0\). Then, by (6.17) and (6.18), we have
Since \(T_0>0\) can be taken arbitrarily large, we have \(F^{n+1}\geqq 0.\) This then proves (6.12) and (6.13). Finally, with the uniform estimates (6.12) in hand, we can use a similar argument as one in [19, Theorem 4.1] to show that \(h^n,\)\(n=0,1,2\cdots ,\) is a Cauchy sequence in \(L^\infty \). We omit here for brevity. The solution is obtained by taking the limit \(n\rightarrow \infty \). If \(\Omega \) is convex and the compatibility condition (1.19) holds, the continuity is a direct consequence of the \(L^\infty \)-convergence. The uniqueness is standard. The proof of Proposition 6.2 is complete. \(\quad \square \)
Rights and permissions
About this article
Cite this article
Duan, R., Huang, F., Wang, Y. et al. Effects of Soft Interaction and Non-isothermal Boundary Upon Long-Time Dynamics of Rarefied Gas. Arch Rational Mech Anal 234, 925–1006 (2019). https://doi.org/10.1007/s00205-019-01405-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-019-01405-5