Fluid dynamic limit to compressible Euler equations from compressible Navier-Stokes equations and Boltzmann equation has been an active topic with limited success so far. In this paper, we consider the case when the solution of the Euler equations is a Riemann solution consisting two rarefaction waves and a contact discontinuity and prove this limit for both Navier-Stokes equations and the Boltzmann equation when the viscosity, heat conductivity coefficients and the Knudsen number tend to zero respectively. In addition, the uniform convergence rates in terms of the above physical parameters are also obtained. It is noted that this is the first rigorous proof of this limit for a Riemann solution with superposition of three waves even though the fluid dynamic limit for a single wave has been proved.
The viscous contact wave (V^{CD},U^{CD},\Theta^{CD})(t,x) defined in (?) is different from the one used in [Huang-Matsumura-Xin] and [Huang-Xin-Yang]. Here, this ansatz is chosen such that the mass equation and the momentum equation are satisfied exactly while the error term occurs only in the energy equation. However, note that the approximate energy equation that the viscous contact wave satisfies is not in the conservative form.
For any shift t_0>0 in the time variable, we have
where C is a positive constant depending only on w_{\pm}.
([Xin1]) Let w_-<w_+, (\ref{(2.11)}) has a unique smooth solution w^r_\sigma(t,x) satisfying
(1) w_-< w^r_\sigma(t,x)<w_+,~(w^r_\sigma)_x(t,x)\geq 0;
(2) For any p (1\leq p\leq +\infty), there exists a constant C such that
(3) If x-w_-t<0 and w_->0, then
If x-w_+t> 0 and w_+<0, then
(4) \sup\limits_{x\in\mathbf{R}} |w^r_\sigma(t,x)-w^r(\frac xt)|\leq \min\big\{(w_+-w_-),\frac{\sigma}{t}[\ln(1+t)+|\ln\sigma|]\big\}.
The approximate rarefaction waves (V^{R_i}, U^{R_i}, \Theta^{R_i})(t,x)~(i=1,3) constructed in (?) have the following properties:
(1) U^{R_i}_x(t,x)>0 for x\in \mathbf{R}, t>0;
(2) For any 1\leq p\leq +\infty, the following estimates holds,
where the positive constant C only depends on p and the wave strength;
(3) If x\geq \lambda_{1+}(t+t_0), then
If x\leq \lambda_{3-}(t+t_0), then
(4) There exist positive constants C and \sigma_0 such that for \sigma\in(0,\sigma_0) and t,t_0>0,
Given a Riemann solution (\bar V,\bar U,\bar\Theta)(t,x) defined in (?), which is a superposition of two rarefaction waves and a contact discontinuity for the Euler system (?), there exist small positive constants \delta_0 and \varepsilon_0 such that if the contact wave strength \delta^{CD}\leq \delta_0 and the viscosity coefficient \varepsilon\leq \varepsilon_0, then the compressible Navier-Stokes equations (?) with (?) and (?) admits a unique global solution (v^\varepsilon,u^\varepsilon,\theta^\varepsilon)(t,x) satisfying
where \Sigma_h=\{(t,x)|t\geq h, \frac{x}{\sqrt{1+t}}\geq h \varepsilon^{\alpha},0<\alpha<\frac12\}, and the positive constant C_h depends only on h but is independent of \varepsilon.
Theorem B.4 shows that, away from the initial time t=0 and the contact discontinuity located at x=0 with the expansion rate \frac{x^2}{\varepsilon(1+t)}, for the viscosity coefficient \varepsilon<\varepsilon_0, there exists a unique global solution (v^\varepsilon,u^\varepsilon,\theta^\varepsilon)(t,x) of the compressible Navier-Stokes equations (?) which tends to the Riemann solution (\bar V,\bar U,\bar\Theta)(t,x) consisting of two rarefaction waves and a contact discontinuity when \varepsilon\rightarrow 0 and \kappa=O(\varepsilon)\rightarrow 0. Moreover, a uniform convergence rate \varepsilon^{\frac{1}{5}} holds on the set \Sigma_h for any h>0.
Theorem B.4 holds uniformly when (t,x)\in \Sigma_h for any fixed h>0 if the contact wave strength \delta^{CD} and the viscosity coefficient \varepsilon are suitably small. However, if we restrict the problem to a set \Sigma_h \cap \{t\leq T\} for any fixed T>0, then we do not need to impose the smallness condition on the contact wave strength \delta^{CD} because one can apply the Gronwall inequality to get an estimate depending on time T rather than the uniform estimate in time.
The viscous contact wave (V^{CD},U^{CD},\Theta^{CD})(t,x) for the Boltzmann equation (?) defined in (?) is different from the one used in [Huang-Xin-Yang]. Here, this ansatz is chosen such that the momentum equation is satisfied with a higher order error term. This is also different from the compressible Navier-Stokes equations where the ansatz satisfies the momentum equation exactly. But similar to the compressible Navier-Stokes cases, the approximate energy equation that the viscous contact wave satisfies is not in the conservative form.
Given a Riemann solution (\bar V,\bar U,\bar\Theta)(t,x) defined in (?), which is a superposition of two rarefaction waves and a contact discontinuity to the Euler system (?), there exist small positive constants \delta_0, \varepsilon_0 and a global Maxwellian \mathbf{M}_\star=\mathbf{M}_{[v_\star,u_\star,\theta_\star]}, such that if the contact wave strength \delta^{CD}\leq \delta_0, and the Knudsen number \varepsilon\leq \varepsilon_0, then the Boltzmann equation (?) admits a unique global solution f^\varepsilon(t,x,\xi) satisfying
where \Sigma_h=\{(t,x)|t\geq h, \frac{x}{\sqrt{1+t}}\geq h \varepsilon^{\alpha},0<\alpha<\frac12\}, the norm \|\cdot\|_{L_\xi^2(\frac{1}{\sqrt{\mathbf{M}_\star}})} is \|\frac{\cdot}{\sqrt{\mathbf{M}_\star}}\|_{L_\xi^2(\mathbf{R}^3)} and the positive constant C_h depends only on h but is independent of \varepsilon.
Theorem B.5 shows that, away from the initial time t=0 and the contact discontinuity located at x=0 with the expansion rate \frac{x^2}{\varepsilon(1+t)}, for Knudsen number \varepsilon<\varepsilon_0, there exists a unique global solution f^\varepsilon(t,x,\xi) of the Boltzmann equation (?) which tends to the Maxwellian \mathbf{M}_{[\bar V,\bar U,\bar\Theta]}(t,x,\xi) with (\bar V,\bar U,\bar\Theta)(t,x) being the Riemann solution to the Euler equation with the combination of two rarefaction waves and a contact discontinuity when \varepsilon\rightarrow 0. Moreover, a uniform convergence rate \varepsilon^{\frac{1}{5}} in the norm L_\xi^2(\frac{1}{\sqrt{\mathbf{M}_\star}}) holds on the set \Sigma_h for any fixed h>0.
Theorem B.5 holds uniformly on the (t,x)\in \Sigma_h for any h>0 if the contact wave strength \delta^{CD} and Knudsen number \varepsilon are suitably small. But if we restrict the problem to the set \Sigma_h \cap \{t\leq T\} for any fixed T>0, then we don’t need the smallness condition on the contact wave strength \delta^{CD} by using Gronwall inequality to get a time dependent estimate rather than the uniform estimation in time.
There exist small positive constants \delta_1 and \varepsilon_1 such that if the initial values and the contact wave strength \delta^{CD} satisfy
and the Knudsen number \varepsilon satisfies \varepsilon\leq \varepsilon_1, then the problem (?) admits a unique global solution (v^\varepsilon,u^\varepsilon,\theta^\varepsilon)(\tau,y) satisfying
Here \mathcal{N}(\tau) is defined by (?) below.
Suppose that h(\tau,y) satisfies
Then
where
and a>0 is the constant to be determined later.
There exists a constant C>0 such that if \delta^{CD} and \varepsilon_0 are small enough, then we have
From the equation \eqref{(2.24)}_2 and the fact that p-P=\frac{R\zeta-P\phi}{v}, we have
Then
Let
where b is a positive constant to be determined later. Multiplying the equation (Proof) by G_b(R\zeta-P\phi) gives
Note that
By using the equality
we have
where
Note that
Thus, integrating (Proof) over (0,\tau)\times\mathbf{R} gives
In order to get the desired estimate stated in Lemma ?, set
in Lemma C.2. We only need to compute the last term on the right hand side of (C.2) for this given function h. From the energy equation \eqref{(2.24)}_3, we have
Thus
By noticing that
we can estimate \displaystyle \int_0^\tau\int_{\mathbf{R}}hg_a^2
H_idyd\tau(i=2,\cdots,6) directly. The estimation on
\displaystyle
\int_0^\tau\int_{\mathbf{R}}hg_a^2 H_1dyd\tau is more subtle.
Firstly, by using the mass equation \eqref{(2.24)}_1, we have
Now the terms J_i(i=1,\cdots,4) can be estimated directly, cf. [Huang-Li-Matsumura]. Here we only calculate the term J_5. From (Proof), we have
Now J_5^1 can be estimated as follows:
Note that the other terms J_5^i(i=2,\cdots,5) can be estimated directly, we omit the details for brevity.
Therefore, by taking the constant a=\frac{C_0}{2}, we obtain
By taking b=C_0 in (Proof) and by combining the estimates (Proof) with (Proof), we yield the desired estimation in Lemma C.3 if we choose suitably small positive constants \delta^{CD}, \varepsilon_0 and \chi.
There exist two small positive constants \delta_1, \varepsilon_1, and a globalMaxwellian \mathbf{M}_\star=\mathbf{M}_{[v_\star,u_\star,\theta_\star]} such that if the initial data and the strength of the contact wave \delta^{CD} satisfy
and the Knudsen number \varepsilon\leq \varepsilon_1, then the problem (?) admits a unique global solution f^\varepsilon(\tau,y,\xi) satisfying
Here, \mathcal{N}(\tau) is defined by (?) below.
If we choose the initial data for the Boltzmann equation (?) as
then
In this case, the functional measuring the perturbation \mathcal{N}(\tau) at \tau=0 is smaller than the estimate given in Theorem D.1 that is of the order of O(\varepsilon^{\frac25}) because \varepsilon is small.
There exists a positive constant C such that
where \tilde{\mathbf{M}} can be any Maxwellian so that the above integrals are well defined.
If \theta/2<\theta_\star<\theta, then there exist two positive constants \sigma=\sigma(v,u,\theta;\break v_\star,u_\star,\theta_\star) and \eta_0=\eta_0(v,u,\theta;v_\star,u_\star,\theta_\star) such that if |v-v_\star|+|u-u_\star|+|\theta-\theta_\star|<\eta_0, we have for h(\xi)\in \mathfrak{N}^\bot,
Under the assumptions in Lemma D.3, we have for each h(\xi)\in \mathfrak{N}^\bot,
Under the conditions in Lemma D.3, for any positive constants k and \lambda, it holds that
where the constant C_{k,\lambda} depends on k and \lambda.
The text on this page is from arXiv:1011.1990v1 by Feimin Huang, Yi Wang and Tong Yang, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1011/1011.1990.jsonl.