# Global existence of classical solutions to the two-dimensional compressible Boussinesq equations in a square domain

## Abstract

In this paper, we consider the initial boundary value problem of two-dimensional isentropic compressible Boussinesq equations with constant viscosity and thermal diffusivity in a square domain. Based on the time-independent lower-order and time-dependent higher-order a priori estimates, we prove that the classical solution exists globally in time provided the initial mass $$\|\rho _{0}\|_{L^{1}}$$ of the fluid is small. Here, we have no small requirements for the initial velocity and temperature.

## Introduction

In this paper, we consider the following two-dimensional isentropic compressible Boussinesq equations in the Eulerian coordinates:

$$\textstyle\begin{cases} \rho _{t}+\mathrm{div}(\rho {u})=0, \\ (\rho {u})_{t}+\mathrm{div}(\rho {u}\otimes {u})-\mu \Delta u+\nabla {P}=\rho \theta e_{2}, \\ \theta _{t}+(u\cdot \nabla )\theta -\kappa \Delta \theta =0, \end{cases}$$
(1.1)

where $$\rho =\rho (x,t)$$, $${u}=(u_{1},u_{2})(x,t)$$, $$\theta =\theta (x,t)$$ are unknown functions denoting the density, velocity, and temperature of the fluid, respectively, $$t\geqslant 0$$ is time, $$x\in \Omega$$ is spatial coordinate. The pressure P is given by

$$P=A\rho ^{\gamma },$$

with constants $$A>0$$, $$\gamma >0$$. Both μ and κ are nonnegative parameters denoting the viscosity and thermal diffusivity. The term $$\rho \theta e_{2}$$ with $$e_{2}=(0,1)$$ represents the buoyancy force. If ρ and u are regular enough, then (1.1) can be rewritten as follows:

$$\textstyle\begin{cases} \rho _{t}+\mathrm{div}(\rho {u})=0, \\ \rho ({u}_{t}+{u}\cdot \nabla {u})-\mu \Delta {u}+\nabla {P}= \rho \theta e_{2}, \\ \theta _{t}+(u\cdot \nabla )\theta -\kappa \Delta \theta =0. \end{cases}$$
(1.2)

The Boussinesq equations have been widely used in atmospheric sciences, oceanic fluids, and as a model in many geophysical applications . Usually, scholars study the following incompressible Boussinesq equations:

$$\textstyle\begin{cases} {u}_{t}+{u}\cdot \nabla {u}-\mu \Delta {u}+\nabla {P}= \rho \theta e_{2}, \\ \theta _{t}+(u\cdot \nabla )\theta -\kappa \Delta \theta =0, \\ \text{div} u=0, \end{cases}$$
(1.3)

and there is a huge amount of literature on the well-posedness theory of strong and classical solutions for the two-dimensional Boussinesq equations. First, let us review some well-posedness results of equations (1.3) in different cases.

1. (1)

Constant viscosity and thermal diffusivity

In 1980, Cannon and DiBenedetto  studied the Cauchy problem for the Boussinesq equations with full dissipation terms ($$\mu >0$$, $$\kappa >0$$). They found a unique global-in-time weak solution. Moreover, they improved the regularity of the solution when the initial data are smooth. In 1997, Chae and Nam  considered inviscid flows ($$\mu =\kappa =0$$) with external potential force and proved the local existence and uniqueness of smooth solutions. Furthermore, global existence of smooth solution is obtained in the case of zero external force with the initial data in a Sobolev space. For the Hölder continuous initial data, similar results can be found in . In 2004, Sawada and Taniuchi  considered equation (1.3) with the term of acceleration of gravity and established the local existence and uniqueness of mild solutions in the n-dimensional whole space with nondecaying initial data. In a two-dimensional space, the local solution can be extended globally in time without smallness of the initial data. In 2005, when $$\kappa =0$$, Hou and Li  proved the global well-posedness of the Cauchy problem of viscous Boussinesq equations for general initial data in $$H^{m}$$, $$m\geq 3$$. In 2006, Chae  proved the global-in-time regularity with either zero diffusivity or zero viscosity. He also proved that as diffusivity (viscosity) tends to zero, the solutions of fully viscous equations converge strongly to those of zero diffusion (viscosity) equations. We refer to  for the case of partial viscosity with the initial data in a Besov space. In 2011, Danchin and Paicu  studied the Boussinesq system with horizontal viscosity in only one equation and constructed global weak solutions and strong unique solutions with large initial data. In 2017, Qiu and Yao  considered the Cauchy problem of N-dimensional ($$N\geq 2$$) incompressible density-dependent Boussinesq equations without dissipation terms. They established local well-posedness results under the framework of Besov spaces, where the initial density is bounded away from zero. When the initial data permit vacuum, in 2019, Zhong  considered the equations without dissipation term on the temperature equation ($$\kappa =0$$) in the whole space $$\mathbb{R}^{2}$$. He showed that there exists a unique local strong solution provided the initial density and the initial temperature decay not too slow at infinity. In the same year, Zhong  proved the existence of global strong solution by using the same initial conditions as those in  and the coefficients are required $$\mu >0$$, $$\kappa >0$$.

2. (2)

Variable viscosity and thermal diffusivity

When μ and κ depend on the temperature and satisfy the following conditions:

$$\inf_{\theta \in \mathbb{R}}\bigl\{ \mu (\theta ),\kappa (\theta ) \bigr\} >0,$$
(1.4)

Lorca and Boldrini  proved the global existence of weak solutions and local existence of a strong solution to the initial boundary value problem in 1999. In 2011, Wang and Zhang  studied the Cauchy problem and proved the global existence of smooth solution, where they assumed that $$\mu (\theta )$$ and $$\kappa (\theta )$$ are some smooth functions satisfying

$$C_{0}^{-1}\leq \mu (\theta )\leq C_{0}, \qquad C_{0}^{-1}\leq \kappa ( \theta )\leq C_{0},\quad \theta \in \mathbb{R},$$
(1.5)

for some positive constants. Global regularity for the initial boundary value problem was given by Sun and Zhang in . In 2013, Li and Xu  considered the Cauchy problem of an inviscid Boussinesq system with temperature-dependent thermal diffusivity. They proved the global well-posedness of strong solutions for arbitrarily large initial data in Sobolev spaces. In 2015, Li, Pan, and Zhang  considered the initial boundary value problem of inviscid heat conductive Boussinesq equations over a bounded domain with smooth boundary. Under slip boundary condition of velocity and the homogeneous Dirichlet boundary condition for temperature, they showed that there exists a unique global smooth solution for $$H^{3}$$ initial data. Moreover, they also showed that the temperature converges exponentially to zero as time goes to infinity, and the velocity and vorticity are uniformly bounded in time. In 2016, Jiu and Liu  studied the global well-posedness of anisotropic nonlinear Boussinesq equations with horizontal temperature-dependent viscosity and vertical thermal diffusivity in the whole space. They built up a uniqueness criterion which together with the a priori estimates admits a unique global solution without any smallness assumptions. In 2018, Zhai and Chen  studied the global well-posedness issue for the Boussinesq system with the temperature-dependent viscosity in $$\mathbb{R}^{n}$$, they proved a global solution in $$\mathbb{R}^{2}$$ provided the initial temperature is exponentially small. Very recently, Ye  studied the nonhomogeneous density-temperature-dependent Boussinesq equations with zero diffusivity over bounded domains and obtained a blow-up criterion in terms of the gradient of viscosity for strong solutions with vacuum.

Global well-posedness with fractional partial dissipation can be found in recent works [2, 14, 30, 39, 41, 44]. For local and global theories of solutions in a three-dimensional space, we refer to [3, 4, 12, 16, 23, 26, 29, 36, 38] and the references cited therein.

Compared with incompressible Boussinesq equations, there are fewer results on the two-dimensional compressible Boussinesq equations (1.2). In 2009, Xu  considered the local existence for smooth solutions to the Cauchy problem of the equations with external force and extended the results in  to the compressible case, where $$\mu =\kappa =0$$ and the initial density is strictly positive. When the initial density need not be positive and may vanish in an open set, in 2014, Tang and Gao  considered the equations with $$\kappa =0$$ in $$\mathbb{R}^{3}$$ and proved the existence of unique local strong solutions for all initial data satisfying some compatibility conditions. However, the results concerning global existence of strong or classical solutions of compressible Boussinesq equations with the initial data permitting vacuum are very limited at present. In this paper, we consider the Dirichlet problem of (1.2) with the following initial boundary conditions:

\begin{aligned}& (\rho , {u},\theta ) (x,t)|_{t=0}=\bigl(\rho _{0}(x), {u}_{0}(x),\theta _{0}(x)\bigr), \end{aligned}
(1.6)
\begin{aligned}& ({u}, \theta ) (x,t)|_{\partial \Omega }=0, \end{aligned}
(1.7)

where the flow domain is taken to be the square

$$\Omega =\bigl\{ (x_{1},x_{2})\in \mathbb{R}^{2}| 0< x_{1}< 1,0< x_{2}< 1\bigr\} .$$

We hope to establish the global existence of classical solutions for (1.2), (1.6)–(1.7) with constant viscosity and thermal diffusivity in a square domain.

Before stating the main results, we explain the notations and conventions used throughout this paper.

Notations:

• The standard Lebesgue and Sobolev spaces are defined as follows:

$$\textstyle\begin{cases} L^{r}=L^{r}(\Omega ),\qquad W^{s,r}=W^{s,r}(\Omega ), \qquad H^{s}=W^{s,2}, \\ W_{0}^{s,r}=\{f\in W^{s,r}|f=0 \text{ on } \partial \Omega \},\qquad H_{0}^{s}=W_{0}^{s,2}. \end{cases}$$
• $${ \dot{f}={f}_{t}+{u}\cdot \nabla {f}}$$ denotes the material derivative of f.

• $${\int f \,dx =\int _{\Omega }f \,dx}$$ and $${\int _{0}^{T}\int f \,dx \,dt =\int _{0}^{T}\int _{\Omega }f \,dx \,dt}$$.

• The symbol $$\nabla ^{l}$$ with an integer $$l \geqslant 0$$ stands for the usual any spatial derivatives of order l. We define

$$\nabla ^{k} f= \bigl\{ \partial _{x}^{\alpha }f_{i}| \vert \alpha \vert =k, i=1,2 \bigr\} , \quad f=(f_{1}, f_{2}).$$
• Positive generic constants are denoted by C, which may change in different places.

Now, our main results in this paper can be stated as follows.

### Theorem 1.1

Let Ω be a square domain in $$\mathbb{R}^{2}$$. For any given positive numbers ρ̄, M, and N, suppose that the initial data $$(\rho _{0}, u_{0}, \theta _{0})$$ satisfy

$$\textstyle\begin{cases} 0\leqslant \inf \rho _{0}\leqslant \rho _{0}\leqslant \sup \rho _{0} \leqslant \bar{\rho }, \\ \Vert \nabla {{u}}_{0} \Vert _{L^{2}}\le \sqrt{M}, \qquad \Vert \theta _{0} \Vert _{L^{2}}\le \sqrt{N}, \\ \rho _{0}\in H^{3}, \qquad ({u}_{0}, \theta _{0})\in H_{0}^{1} \cap H^{3}, \end{cases}$$
(1.8)

and some necessary compatibility conditions. Then there exists a positive constant $$\varepsilon _{0}$$ depending on ρ̄, M, N, μ, κ, and some other known constants but independent of T, such that if

$$\Vert {\rho _{0}} \Vert _{L^{1}} \leqslant \varepsilon _{0},$$
(1.9)

the initial boundary value problem (1.2), (1.6)(1.7) admits a unique global classical solution $$(\rho , u, \theta )$$ in $$\Omega \times (0, +\infty )$$ satisfying, for any $$0< T<+\infty$$,

\begin{aligned}& 0\leq \rho (x, t)\leq 2\bar{\rho }+1, \quad x\in \Omega , t \geq 0, \\& \textstyle\begin{cases} 0\leqslant \rho \in C ([0,T]; H^{3} ),\quad \rho _{t}\in L^{\infty } (0,T; H^{1} ), \\ (u, \theta )\in C ([0,T]; H_{0}^{1}\cap H^{3} )\cap L^{2} (0,T; H^{4} ), \\ ({u}_{t}, \theta _{t})\in L^{\infty } (0,T; H_{0}^{1} \cap H^{2} ),\quad \sqrt{\rho }{ u}_{t}\in L^{\infty } (0,T;L^{2} ). \end{cases}\displaystyle \end{aligned}
(1.10)

### Remark 1.1

Cho and Kim  considered the full Navier–Stokes equations for viscous polytropic fluids with nonnegative thermal conductivity in a three-dimensional space. They proved the existence of unique local strong solutions for all initial data satisfying some compatibility condition, where the initial density need not be positive and may vanish in an open set. Moreover, their results hold for both bounded and unbounded domains. In this paper, when Ω is a square domain in $$\mathbb{R}^{2}$$ and the initial data $$(\rho _{0}, u_{0}, \theta _{0})$$ are smooth enough, it is not difficult to verify that the methods in  still work for proving the local existence of classical solutions to the initial boundary value problem (1.2), (1.6)–(1.7).

### Remark 1.2

In Theorem 1.1, we give the global existence of classical solution to the initial boundary value problem (1.2), (1.6)–(1.7) provided the initial mass $$\|\rho _{0}\|_{L^{1}}$$ is small and $$\mu >0$$, $$\kappa >0$$. In fact, for the three-dimensional case, combining the methods in this paper and , similar results can also be proved in bounded and unbounded domains. However, the question whether the local classical solution given by Xu in  for the inviscid case and the local strong solution given by Tang and Gao in  for the partial dissipation case can be extended to global-in-time is still open at this moment.

### Remark 1.3

In , the authors proved the global existence of classical solutions to the two-dimensional isentropic compressible Navier–Stokes equations when the initial mass $$\|\rho _{0}\|_{L^{1}}$$ of the fluid is small. In this paper, we hope to extend the results in  to the compressible Boussinesq equations. Compared with compressible Navier–Stokes equations, we need to deal with the interaction between the density, velocity, and temperature of the fluid, buoyancy force term $$\rho \theta e_{2}$$, for example. In , Zhong proved the existence of global strong solution to the incompressible density-dependent Boussinesq equations, where the divergence-free condition implies the upper bound of the density, plays an important role in his proof. However, for the compressible case, we do not need the divergence-free condition, and the key ingredient in our proof is to obtain a uniform a priori upper bound for the density function, by which the force term $$\rho \theta e_{2}$$ can be controlled in the lower-order a priori estimates of the velocity. On the one hand, similar to the procedure of , we are fortunate to obtain the following inequality under the smallness of $$\|\rho _{0}\|_{L^{1}}=:m_{0}$$, when the momentum equation is related to temperature:

$$\sup_{0\leqslant t\leqslant T} \biggl( \Vert \sqrt{\rho }u \Vert _{L^{2}}^{2}+ \frac{2A}{\gamma -1} \Vert \rho \Vert _{\gamma }^{\gamma } \biggr)+ \int _{0}^{T}\mu \Vert \nabla u \Vert _{L^{2}}^{2}\,ds\leqslant m_{0}^{\frac{1}{4}},$$
(1.11)

which lays the foundation of the time-independent lower-order a priori estimates. With (1.11) at hand, estimates on the first-order derivative of the temperature can be achieved by careful analysis. It should be pointed out that due to the strong coupling between velocity and temperature, we cannot take $$\kappa =0$$ as those in [8, 17, 45].

On the other hand, in the process of estimating the first-order derivative of the velocity, we should control $$\|\nabla {u}\|_{L^{p}}$$ for some $$p\geq 2$$, which is equivalent to a second-order term. In this paper, we construct the following decomposition of the velocity $$u=v+w$$ to overcome this difficulty, where v solves the elliptic system

$$\textstyle\begin{cases} \mu \Delta v=\nabla P,\quad \text{in } \Omega , \\ v|_{\partial \Omega }=0. \end{cases}$$
(1.12)

Then, from momentum equation (1.2) and (1.12), we can see that w satisfies

$$\textstyle\begin{cases} \mu \Delta w=\rho \dot{u}+\rho \theta e_{2},\quad \text{in } \Omega , \\ w|_{\partial \Omega }=0. \end{cases}$$
(1.13)

Hence, by the standard elliptic estimate, we can see that $$\|\nabla {u}\|_{L^{p}}$$ can be controlled by the terms of $$\|\sqrt{\rho }\dot{u}\|_{L^{2}}$$, $$\|\nabla u\|_{L^{2}}$$, and $$\|\nabla \theta \|_{L^{2}}$$, where the second-order term $$\|\sqrt{\rho }\dot{u}\|_{L^{2}}$$, in our estimates, can be absorbed by the left-hand side of the inequality, and the Poincaré inequality will be used frequently in our estimates. Then, applying the methods in [22, 42], we get the uniform bound for $$\|\nabla {u}\|_{L^{2}}$$. Similar to the proof in , together with the Zlotnik inequality, we get the uniform upper bound of the density. It is worth mentioning that this boundedness can be obtained only under the condition of the small initial mass $$\|{\rho _{0}}\|_{L^{1}}$$, we have no small requirements for the initial velocity and temperature. At last, compared with Navier–Stokes equations, we need some higher-order time-dependent estimates on the temperature, additionally. Then the higher-order regularity estimates for $$(\rho , u, \theta )$$ can be proved by standard methods after some modifications. Finally, after all the required a priori estimates are obtained, by using the continuity argument, we can extend the local classical solution to a global one.

The rest of the paper is organized as follows: In Sect. 2, we list some elementary inequalities which will be used in later analysis. In Sect. 3 and Sect. 4, we show the time-independent lower-order and time-dependent higher-order a priori estimates, respectively, by which we prove that the classical solution exists globally in time provided the initial mass $$\|\rho _{0}\|_{L^{1}}$$ of the fluid is small.

## Preliminaries

In this section, we recall some well-known inequalities, which will be used frequently throughout this paper. First, we give the following Sobolev–Poincaré inequalities, see in reference .

### Lemma 2.1

There exists a positive constant C depending only on Ω such that every function $${f}\in H^{1}(\Omega )$$ satisfies, for $$2< p<\infty$$,

$$\Vert {f}-\bar{f} \Vert _{L^{p}}\leqslant Cp^{\frac{1}{2}} \Vert {f}-\bar{f} \Vert _{L^{2}}^{\frac{2}{p}} \Vert \nabla {f} \Vert _{L^{2}}^{1-\frac{2}{p}},\qquad \Vert {f} \Vert _{L^{p}} \leqslant Cp^{\frac{1}{2}} \Vert {f} \Vert _{L^{2}}^{\frac{2}{p}} \Vert {f} \Vert _{H^{1}}^{1- \frac{2}{p}},$$
(2.1)

where

$$\bar{f}=\frac{1}{ \vert \Omega \vert } \int _{\Omega }{f}\,dx.$$

Next, we give some regularity results for the following Lamé system with Dirichlet boundary condition (see ):

$$\textstyle\begin{cases} \mathcal{L}U\triangleq \mu \Delta U+(\mu +\lambda ) \nabla \text{div}U=F,\quad x\in \Omega , \\ U=0,\quad x \in \partial \Omega . \end{cases}$$
(2.2)

Suppose that $$U\in H_{0}^{1}$$ is a weak solution to the Lamé system, we could denote $$U=\mathcal{L}^{-1}F$$ due to the uniqueness of solution.

### Lemma 2.2

Let $$r\in (1,+\infty )$$, then there exists some generic constant $$C>0$$ depending only on μ, λ, r, and Ω such that

1. (1)

If $$F\in L^{r}$$, then

$$\Vert U \Vert _{W^{2,r}(\Omega )}\leqslant C \Vert F \Vert _{L^{r}(\Omega )}.$$
(2.3)
2. (2)

If $$F\in W^{-1,r}$$, i.e., $$F=\mathrm{div} f$$ with $$f=(f_{i,j})_{2\times 2}$$, $$f_{i,j}\in L^{r}$$, then

$$\Vert U \Vert _{W^{1,r}(\Omega )}\leqslant C \Vert f \Vert _{L^{r}(\Omega )}.$$
(2.4)
3. (3)

Moreover, for the endpoint case, if $$f_{i,j}\in L^{2}\cap L^{\infty }$$, then $$\nabla U\in BMO(\Omega )$$ and

$$\Vert U \Vert _{\textit{BMO}(\Omega )}\leqslant C \bigl( \Vert f \Vert _{L^{2}(\Omega )}+ \Vert f \Vert _{L^{\infty }(\Omega )} \bigr),$$
(2.5)

where $$BMO(\Omega )$$ stands for the John–Nirenberg space of mean oscillation whose norm is defined by

$$\Vert f \Vert _{BMO}\triangleq \Vert f \Vert _{L^{2}}+[f]_{BMO(\Omega )},$$

with

$$[f]_{BMO(\Omega )}\triangleq \sup_{x\in \Omega ,r\in (0,d)} \frac{1}{\Omega _{r}(x)} \int _{\Omega _{r}(x)} \bigl\vert f(y)-f_{\Omega _{r}(x)} \bigr\vert \,dy,$$

and

$$f_{\Omega _{r}(x)}=\frac{1}{\Omega _{r}(x)} \int _{\Omega _{r}(x)}f(y)\,dy.$$

In the following, we give two critical Sobolev inequalities of logarithmic type, which are originally due to Brezis and Gallouet  and Brezis and Wainger .

### Lemma 2.3

Let $$\Omega \in \mathbb{R}^{2}$$ be a bounded Lipschitz domain and $$f\in W^{1,q}$$ with $$q>2$$, then it holds that

$$\Vert f \Vert _{L^{\infty }(\Omega )}\leqslant C \bigl(1+ \Vert {f} \Vert _{\textit{BMO}( \Omega )}\ln \bigl(e+ \Vert {f} \Vert _{W^{1,q}}\bigr) \bigr)$$
(2.6)

with a constant C depending only on q.

### Lemma 2.4

Let $$\Omega \in \mathbb{R}^{2}$$ be a smooth domain and $$f\in L^{2}(s,t;H_{0}^{1})\cap L^{2}(s,t;W^{1,q})$$, with some $$q>2$$ and $$0\leqslant s< t\leqslant \infty$$. Then it holds that

$$\Vert f \Vert _{L^{2}(s,t;L^{\infty })}^{2}\leqslant C \bigl(1+ \Vert {f} \Vert _{L^{2}(s,t;H^{1})}^{2} \ln \bigl(e+ \Vert {f} \Vert _{L^{2}(s,t;W^{1,q})} \bigr) \bigr)$$
(2.7)

with a constant C depending only on q.

Finally, we give a lemma arising from Zlotnik , which will be used to prove a uniform upper bound for density.

### Lemma 2.5

Let $$y\in W^{1,1}(0,T)$$ satisfy the ODE system

$$y^{\prime }(t)=g(y)+b^{\prime }(t) \quad \textit{on } [0,T], y(0)=y_{0},$$

where $$b\in W^{1,1}(0,T)$$, $$g\in C(\mathbb{R})$$, and $$g(+\infty )=-\infty$$. Assume that there are two constants $$N_{0}\geqslant 0$$ and $$N_{1}\geqslant 0$$ such that, for all $$0\leqslant t_{1}\leqslant t_{2}\leqslant T$$,

$$b(t_{2})-b(t_{1})\leqslant N_{0}+N_{1}(t_{2}-t_{1}).$$
(2.8)

Then

$$y(t)\leqslant \max \bigl\{ y_{0},\xi ^{\star }\bigr\} +N_{0}< +\infty \quad \textit{on } [0,T],$$

where $$\xi ^{\star }\in \mathbb{R}$$ is a constant such that $$g(\xi )\leqslant -N_{1}$$ for $$\xi \geqslant \xi ^{\star }$$.

## Time-independent lower-order estimates

In this section, we establish some lower-order a priori estimates for the solutions of initial boundary value problem (1.2), (1.6)–(1.7). We assume that, for any $$T>0$$, $$(\rho , u, \theta )$$ is a classical solution of (1.2), (1.6)–(1.7) in the solution space (1.10) with the initial data satisfying (1.8). In the following Proposition 3.1, we show the time-independent lower-order estimates of the solutions.

### Proposition 3.1

Assume that the initial data satisfy (1.8), and the local strong solution satisfies

\begin{aligned}& \sup_{0\leq t\leqslant T} \Vert \theta \Vert _{L^{2}}^{2}+ \int _{0}^{T} \kappa \Vert \nabla {{\theta }} \Vert _{L^{2}}^{2}\,ds\leqslant 2K_{1}, \qquad \sup _{0\leq t\leqslant \sigma (T)} \Vert \nabla {{u}} \Vert _{L^{2}}^{2} \leqslant 2K_{2}, \end{aligned}
(3.1)
\begin{aligned}& \sup_{0\leq t\leqslant T} \bigl(\sigma \Vert \nabla {{u}} \Vert _{L^{2}}^{2} \bigr)\leqslant 2m_{0}^{\frac{1}{8}}, \quad 0\leqslant \rho \leqslant 2\bar{\rho }+1, (x,t)\in \Omega \times [0,T], \end{aligned}
(3.2)

where $$\sigma (t)\triangleq \min \{1,t\}$$. Then there exists $$\varepsilon _{0}=\min \{ \varepsilon _{1}^{*}, \varepsilon _{2}^{*}, \varepsilon _{3}^{*}, \varepsilon _{4}^{*}, \varepsilon _{5}^{*}\}$$ depending on ρ̄, $$K_{1}$$, $$K_{2}$$, μ, κ, and some other known constants, but independent of T such that

\begin{aligned}& \sup_{0\leq t\leqslant T} \Vert \theta \Vert _{L^{2}}^{2}+ \int _{0}^{T} \kappa \Vert \nabla {{\theta }} \Vert _{L^{2}}^{2}\,ds\leqslant \frac{3}{2}K_{1}, \qquad \sup_{0\leq t\leqslant \sigma (T)} \Vert \nabla {{u}} \Vert _{L^{2}}^{2} \leqslant \frac{3}{2}K_{2}, \end{aligned}
(3.3)
\begin{aligned}& \sup_{0\leq t\leqslant T} \bigl(\sigma \Vert \nabla {{u}} \Vert _{L^{2}}^{2} \bigr)\leqslant \frac{3}{2}m_{0}^{\frac{1}{8}}, \quad 0\leqslant \rho \leqslant \frac{3}{2}\bar{\rho }+1, (x,t)\in \Omega \times [0,T], \end{aligned}
(3.4)

provided that $$m_{0}\leq \varepsilon _{0}$$ is suitably small.

First, in order to prove Proposition 3.1, we give some basic equality and inequalities, which lay the foundation of time-independent lower-order a priori estimates.

### Lemma 3.2

There exists a positive constant C only depending on the initial data $$(\rho _{0}, {u}_{0},\theta _{0})$$ such that

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \Vert \rho \Vert _{L^{1}} = \Vert \rho _{0} \Vert _{L^{1}} =m_{0}, \end{aligned}
(3.5)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \biggl( \Vert \sqrt{\rho }u \Vert _{L^{2}}^{2}+ \frac{2A}{\gamma -1} \Vert \rho \Vert _{\gamma }^{\gamma } \biggr)+ \int _{0}^{T}\mu \Vert \nabla u \Vert _{L^{2}}^{2}\,ds\leqslant m_{0}^{\frac{1}{4}}, \end{aligned}
(3.6)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl\Vert \theta (t) \bigr\Vert _{L^{2}}^{2}+ \int _{0}^{T} \kappa \bigl\Vert \nabla {\theta (s)} \bigr\Vert _{L^{2}}^{2}\,ds\leqslant \frac{3}{2}K_{1}. \end{aligned}
(3.7)

Moreover, we have

$$\sup_{0\leqslant t\leqslant T} \bigl\Vert \theta (t) \bigr\Vert _{H^{1}}^{2}+ \int _{0}^{T} \kappa \bigl\Vert \nabla {\theta (s)} \bigr\Vert _{H^{1}}^{2}\,ds\leqslant C,$$
(3.8)

provided that there exists a constant $$\varepsilon _{1}^{*}$$ such that $$m_{0}\leqslant \varepsilon _{1}^{*}$$.

### Proof

Integrating (1.2)1 over Ω, (3.5) can be easily obtained. Next, multiplying (1.1)2 by u, integrating the resulting equation over Ω, and using (1.2)1, we have

\begin{aligned} \begin{gathered}[b] \frac{1}{2}\frac{d}{dt} \int \rho \vert {{u}} \vert ^{2}\,dx+\mu \int \vert \nabla {{u}} \vert ^{2}\,dx+( \mu +\lambda ) \int \vert \mathrm{div}u \vert ^{2}\,dx\\ \quad = \int \rho \theta e_{2} u \,dx- \int \nabla P \cdot u \,dx. \end{gathered} \end{aligned}
(3.9)

Then multiplying (1.2)1 by $$A\rho ^{r-1}$$ yields that

\begin{aligned} \frac{A}{r-1}\frac{d}{dt} \int \rho ^{r} \,dx= \int u\cdot \nabla P\,dx. \end{aligned}
(3.10)

Integrating (3.9) and (3.10) over time interval $$(0,t)$$ and adding the resulting equation together, we have

\begin{aligned} & \biggl(\frac{1}{2} \Vert \sqrt{\rho }u \Vert _{L^{2}}^{2}+\frac{1}{\gamma -1} \Vert \rho \Vert _{L^{\gamma }}^{\gamma } \biggr)+ \int _{0}^{t}\mu \Vert \nabla u \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \frac{1}{2} \Vert \rho _{0} \Vert _{L^{2}} \Vert u_{0} \Vert _{L^{4}}^{2}+ \frac{1}{\gamma -1} \Vert \rho _{0} \Vert _{L^{\gamma }}^{\gamma }+ \int _{0}^{t} \Vert \rho \Vert _{L^{2}} \Vert \theta \Vert _{L^{4}} \Vert u \Vert _{L^{4}}\,ds \\ &\quad \leqslant C\bar{\rho }^{\frac{1}{2}} \Vert \nabla u_{0} \Vert _{L^{2}}^{2}m_{0}^{\frac{1}{2}}+C\bar{\rho }^{\gamma -1}m_{0}+ \int _{0}^{t} \bigl(C \bar{\rho }m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\quad \leqslant \int _{0}^{t}\frac{\mu }{2} \Vert \nabla u \Vert _{L^{2}}^{2}\,ds+C \bar{\rho }^{\frac{1}{2}}M m_{0}^{\frac{1}{2}}+C\bar{\rho }^{\gamma -1}m_{0}+Cm_{0}^{\frac{1}{2}}K_{1} \\ &\quad \leqslant \int _{0}^{t}\frac{\mu }{2} \Vert \nabla u \Vert _{L^{2}}^{2}\,ds+m_{0}^{\frac{1}{4}}, \end{aligned}
(3.11)

provided there exists a constant $$\varepsilon _{1}$$, $$m_{0}\leqslant \varepsilon _{1}$$, such that

$$C\bar{\rho }m_{0}^{\frac{1}{2}}\leqslant \frac{\mu }{2},\qquad C \bar{\rho }^{\frac{1}{2}}M m_{0}^{\frac{1}{2}}+C\bar{\rho }^{\gamma -1}m_{0}+Cm_{0}^{\frac{1}{2}}K_{1} \leqslant m_{0}^{\frac{1}{4}}.$$

In the second inequality of (3.11) we have used the Poincaré inequality and Young’s inequality. Hence, (3.6) is proved.

For the temperature equation, multiplying (1.2)3 by θ, integrating the result over Ω, after integrating by parts, we have

\begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \theta \Vert _{L^{2}}^{2}+ \kappa \Vert \nabla \theta \Vert _{L^{2}}^{2} &= \int \mathrm{div}u \theta ^{2}\,dx \leq \Vert \nabla u \Vert _{L^{2}} \Vert \theta \Vert _{L^{4}}^{2} \leq \Vert \nabla u \Vert _{L^{2}} \Vert \theta \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{2}} \\ &\leq \frac{\kappa }{2} \Vert \nabla \theta \Vert _{L^{2}}^{2}+C \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \theta \Vert _{L^{2}}^{2}. \end{aligned}
(3.12)

Then, integrating the above equation over time interval $$(0,t)$$, we get

\begin{aligned} \Vert \theta \Vert _{L^{2}}^{2}+ \int _{0}^{t}\kappa \Vert \nabla \theta \Vert _{L^{2}}^{2}\,ds& \leqslant \Vert \theta _{0} \Vert _{L^{2}}^{2} +C \int _{0}^{t} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \theta \Vert _{L^{2}}^{2} \,ds \leqslant N+CK_{1} \int _{0}^{t} \Vert \nabla u \Vert _{L^{2}}^{2} \,ds \\ &\leqslant K_{1}+CK_{1}m_{0}^{\frac{1}{4}}=K_{1}+ \frac{1}{2}K_{1}= \frac{3}{2}K_{1}, \end{aligned}
(3.13)

by which (3.7) is proved, provided there exists a constant $$\varepsilon _{2}$$, $$m_{0}\leqslant \varepsilon _{2}$$, such that

$$N\leqslant K_{1},\qquad Cm_{0}^{\frac{1}{4}}\leqslant \frac{1}{2}.$$

Next, applying the operator to the both sides of temperature equation (1.2)3 and multiplying the resulting equation by θ, we get

\begin{aligned} \frac{1}{2}\frac{d}{dt} \bigl\Vert \nabla \theta (t) \bigr\Vert _{L^{2}}^{2}+ \kappa \bigl\Vert \nabla ^{2}{\theta } \bigr\Vert _{L^{2}}^{2} &= - \int \nabla (u\cdot \nabla \theta )\cdot \nabla \theta \,dx\leqslant \Vert \nabla {u} \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}}^{2} \\ &\leqslant C \Vert \nabla {u} \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}} \\ &\leqslant \frac{\kappa }{2} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{2}+C \Vert \nabla {u} \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}}^{2}. \end{aligned}
(3.14)

Integrating (3.14) over the time interval $$(0,t)$$ and using Gronwall’s inequality, one can get (3.8). Hence, Lemma 3.2 is proved provided that there exists a constant $$\varepsilon _{1}^{*}$$, $$\varepsilon _{1}^{*}\leqslant \min \{\varepsilon _{1},\varepsilon _{2} \}$$ such that $$m_{0}\leqslant \varepsilon _{1}^{*}$$. □

Next, in the following lemma, we prove the uniform upper bound of $$\|\nabla {u}\|_{L^{2}}$$.

### Lemma 3.3

Let $$(\rho , u, \theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, if the assumption of Proposition 3.1holds, then

\begin{aligned}& \sup_{0\leq t\leqslant \sigma (T)} \Vert \nabla {{u}} \Vert _{L^{2}}^{2}+ \int _{0}^{ \sigma (T)} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}\,ds\leqslant \frac{3}{2}K, \end{aligned}
(3.15)
\begin{aligned}& \sup_{i-1\leqslant t\leqslant i+1} \bigl(\sigma \Vert \nabla {{u}} \Vert _{L^{2}}^{2} \bigr)+ \int _{i-1}^{i+1}\sigma _{i} \Vert \sqrt{ \rho }\dot{u} \Vert _{L^{2}}^{2}\,ds \leqslant \frac{3}{2}m_{0}^{\frac{1}{8}}, \end{aligned}
(3.16)

provided there exists constant $$\varepsilon _{2}^{*}$$ such that $$m_{0}\leqslant \min \{\varepsilon _{1}^{*}, \varepsilon _{2}^{*}\}$$, where $$\sigma _{i}(t)\triangleq \sigma (t+1-i)$$, $$1\leqslant i \leqslant [T]-1$$, $$t\in (i-1,i+1]$$.

### Proof

From (1.2)2, we get

$$\rho \dot{u}+\nabla P=\mu \Delta u+\rho \theta e_{2},$$
(3.17)

multiplying (3.17) by ηu̇, $$\eta =\eta (t)\geqslant 0$$ is a piecewise smooth function. Integrating the resulting equation over Ω yields

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int \mu \eta \vert \nabla u \vert ^{2} \,dx+ \int \eta \rho \vert \dot{u} \vert ^{2}\,dx \\ &\quad =\frac{d}{dt} \int \eta P\mathrm{div} {u}\,dx- \int \eta ^{\prime }P \mathrm{div} {u}\,dx- \int \eta \bigl(P_{t}+\mathrm{div}(Pu) \bigr) \mathrm{div}u \,dx \\ &\qquad {}+ \int \eta P\nabla {u}:\nabla {u}^{\top }\,dx-\mu \int \eta \nabla {u}:(\nabla {u}\nabla {u})\,dx+\frac{1}{2}\mu \int \eta \mathrm{div} {u} \vert \nabla {u} \vert ^{2}\,dx \\ &\qquad {}+\frac{1}{2}\mu \int \eta ^{\prime } \vert \nabla {u} \vert ^{2}\,dx+ \int \rho \theta e_{2}\eta \dot{u}\,dx \\ &\quad :=\frac{d}{dt} \int \eta P\mathrm{div} {u}\,dx+\sum_{i=1}^{7}I_{i}. \end{aligned}
(3.18)

Now, we estimate $$I_{i}$$, $$i=1, 2, 3,\ldots , 7$$, one by one:

\begin{aligned}& I_{1}\leqslant \bigl\vert \eta ^{\prime } \bigr\vert \Vert P \Vert _{L^{2}} \Vert \nabla u \Vert _{L^{2}} \leqslant \bigl\vert \eta ^{\prime } \bigr\vert \Vert P \Vert _{L^{2}}^{2}+ \bigl\vert \eta ^{\prime } \bigr\vert \Vert \nabla u \Vert _{L^{2}}^{2}\leqslant \bigl\vert \eta ^{\prime } \bigr\vert \bar{\rho }^{2\gamma -1}m_{0}+ \bigl\vert \eta ^{\prime } \bigr\vert \Vert \nabla u \Vert _{L^{2}}^{2}, \end{aligned}
(3.19)
\begin{aligned}& I_{2}+I_{3}\leqslant C\eta \Vert \nabla u \Vert _{L^{2}}^{2}, \end{aligned}
(3.20)

where we have used the identities $$P_{t}+\mathrm{div}(Pu)=(1-\gamma )\rho ^{\gamma }\mathrm{div}u$$.

The terms $$I_{4}$$, $$I_{5}$$ can be estimated as follows:

\begin{aligned} I_{4}+I_{5}&\leqslant C\eta \Vert \nabla u \Vert _{L^{3}}^{3}\leqslant C\eta \bigl( \Vert \nabla {v} \Vert _{L^{3}}^{2}+ \Vert \nabla w \Vert _{L^{3}}^{3} \bigr) \\ &\leqslant C\eta \bigl( \Vert P \Vert _{L^{3}}^{3}+ \Vert \nabla w \Vert _{L^{2}}^{2} \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C\eta \bigl(\bar{\rho }^{3\gamma -1}m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert \nabla v \Vert _{L^{2}}^{2} \bigr) \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C\eta \bigl(\bar{\rho }^{3\gamma -1}m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert P \Vert _{L^{2}}^{2} \bigr) \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C\eta \bigl(\bar{\rho }^{3\gamma -1}m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+\bar{\rho }^{2\gamma -1}m_{0} \bigr) \bigl( \Vert \sqrt{ \rho }\dot{u} \Vert _{L^{2}}+ \Vert \rho \theta e_{2} \Vert _{L^{2}} \bigr) \bigr) \\ &\leqslant C\eta \bigl(m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}+ \Vert \rho \Vert _{L^{4}} \Vert \theta \Vert _{L^{4}} \bigr) \bigr) \\ &\leqslant C\eta \bigl(m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}+m_{0}^{\frac{1}{4}} \Vert \nabla \theta \Vert _{L^{2}} \bigr) \bigr) \\ &\leqslant C\eta \bigl(m_{0}+m_{0}^{2}\bigr)+ \frac{1}{4}\eta \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+C \eta \Vert \nabla u \Vert _{L^{2}}^{4}+\eta m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2}, \end{aligned}
(3.21)

where in the last inequality we have used the Poincaré inequality.

At last, from terms $$I_{6}$$, $$I_{7}$$, we get

\begin{aligned} I_{6}+I_{7}&\leqslant C \bigl\vert \eta ^{\prime } \bigr\vert \Vert \nabla u \Vert _{L^{2}}^{2}+ \frac{1}{4}\eta \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+C \eta \int \rho \theta ^{2}\,dx \\ &\leqslant C \bigl\vert \eta ^{\prime } \bigr\vert \Vert \nabla u \Vert _{L^{2}}^{2}+\frac{1}{4}\eta \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+C\eta \Vert \rho \Vert _{L^{2}} \Vert \theta \Vert _{L^{4}}^{2} \\ &\leqslant C \bigl\vert \eta ^{\prime } \bigr\vert \Vert \nabla u \Vert _{L^{2}}^{2}+\frac{1}{4}\eta \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+C\eta m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2}. \end{aligned}
(3.22)

Then, inserting (3.19)–(3.22) into (3.18), we have

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int \mu \eta \vert \nabla u \vert ^{2} \,dx+ \frac{1}{2} \int \eta \rho \vert \dot{u} \vert ^{2}\,dx \\ &\quad \leqslant \frac{d}{dt} \int \eta P\mathrm{div} {u}\,dx+C \bigl\vert \eta ^{\prime } \bigr\vert m_{0}+C \eta \bigl(m_{0}+m_{0}^{2} \bigr) \\ &\qquad {}+C \bigl( \bigl\vert \eta ^{\prime } \bigr\vert +\eta \bigr) \Vert \nabla u \Vert _{L^{2}}^{2}+C\eta \bigl( \Vert \nabla u \Vert _{L^{2}}^{4}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr). \end{aligned}
(3.23)

In order to prove (3.15), taking $$\eta =1$$ and integrating (3.23) over $$(0,t)$$, for $$0< t\leqslant \sigma (T)$$, we get

\begin{aligned} & \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{0}^{\sigma (T)} \int \rho \vert \dot{u} \vert ^{2}\,dx \,ds \\ &\quad \leqslant \mu \Vert \nabla {u}_{0} \Vert _{L^{2}}^{2}+ \Vert P \Vert _{L^{2}} \Vert \nabla {u} \Vert _{L^{2}}+ \Vert P_{0} \Vert _{L^{2}} \Vert \nabla {u}_{0} \Vert _{L^{2}}+C \bigl(m_{0}+m_{0}^{2} \bigr)+Cm_{0}^{\frac{1}{4}} \\ &\qquad{} +C \bigl(K_{2}m_{0}^{\frac{1}{4}}+K_{1}m_{0}^{\frac{1}{2}} \bigr) \\ &\quad \leqslant \mu M+C \bigl(\sqrt{K_{2}}m_{0}^{\frac{1}{2}}+ \sqrt{M}m_{0}^{\frac{1}{2}}+m_{0}^{\frac{1}{2}}+m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}}+K_{2}m_{0}^{\frac{1}{4}}+K_{1}m_{0}^{\frac{1}{2}} \bigr), \end{aligned}
(3.24)

where we have used (3.1) and (3.6). Then we have

\begin{aligned} \sup_{0\leqslant t\leqslant \sigma (T)} \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{0}^{\sigma (T)} \int \rho \vert \dot{u} \vert ^{2}\,dx \,ds\leqslant K_{2}+ \frac{1}{2}K_{2}=\frac{3}{2}K_{2}, \end{aligned}
(3.25)

provided there exists a constant $$\varepsilon _{3}$$, $$m_{0}\leqslant \varepsilon _{3}$$, such that

$$\mu M\leqslant K_{2},\qquad C \bigl(\sqrt{K_{2}}m_{0}^{\frac{1}{2}}+ \sqrt{M}m_{0}^{\frac{1}{2}}+m_{0}^{\frac{1}{2}}+m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}}+K_{2}m_{0}^{\frac{1}{4}}+K_{1}m_{0}^{\frac{1}{2}} \bigr) \leqslant \frac{1}{2}K_{2}.$$

In order to prove (3.16), taking $$\eta =\sigma _{i}$$ in (3.23), integrating (3.23) over $$(i-1,t)$$, we get

\begin{aligned} &\sigma _{i} \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{i-1}^{t} \int \sigma _{i} \rho \vert \dot{u} \vert ^{2} \,dx \,ds \\ &\quad \leqslant \sigma _{i} \Vert P \Vert _{L^{2}} \Vert \nabla {u} \Vert _{L^{2}}+C \bigl(m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}} \bigr)+C \int _{i-1}^{t}\sigma _{i} \Vert \nabla u \Vert _{L^{2}}^{4}\,ds \\ &\qquad {}+Cm_{0}^{\frac{1}{2}} \int _{i-1}^{t}\sigma _{i} \Vert \nabla \theta \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \frac{1}{2}\sigma _{i}\mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}} \bigr)+C\sup_{{i-1} \leqslant t\leqslant i+1}\sigma _{i} \Vert \nabla u \Vert _{L^{2}}^{2} \int _{i-1}^{t} \Vert \nabla u \Vert _{L^{2}}^{2}\,ds \\ &\qquad{} +Cm_{0}^{\frac{1}{2}} \int _{0}^{T} \Vert \nabla \theta \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \frac{1}{2}\sigma _{i}\mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{2}}K_{1} \bigr)+C\sup_{{i-1}\leqslant t\leqslant i+1}\sigma _{i} \Vert \nabla u \Vert _{L^{2}}^{2}m_{0}^{\frac{1}{4}} \\ &\quad \leqslant \frac{1}{2}\sigma _{i}\mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}}+m_{0}^{\frac{3}{8}}+m_{0}^{\frac{1}{2}}K_{1} \bigr). \end{aligned}
(3.26)

Then we have

\begin{aligned} \sup_{i-1\leqslant t \leqslant i+1}\sigma _{i} \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{i-1}^{i+1} \int \sigma _{i}\rho \vert \dot{u} \vert ^{2} \,dx \,ds\leqslant \frac{3}{2}m_{0}^{\frac{1}{8}}, \end{aligned}
(3.27)

provided there exists a constant $$\varepsilon _{4}$$, $$m_{0}\leqslant \varepsilon _{4}$$, such that

$$C \bigl(m_{0}+m_{0}^{2}+m_{0}^{\frac{1}{4}}+m_{0}^{\frac{3}{8}}+m_{0}^{\frac{1}{2}}K_{1} \bigr)\leqslant \frac{3}{2}m_{0}^{\frac{1}{8}}.$$

Hence, if we take $$\varepsilon _{2}^{*}=\min \{\varepsilon _{3}, \varepsilon _{4}\}$$, $$m_{0}\leqslant \min \{\varepsilon _{1}^{*}, \varepsilon _{2}^{*}\}$$, then Lemma 3.3 is proved. □

In the following Lemma 3.4, we give the bound for $$\int _{t_{1}}^{t_{2}}\sigma ^{2}\|\nabla \dot{u}\|_{L^{2}}^{2}\,ds$$, which will be used to prove the uniform upper bound of ρ. It should be noted that the constants C on the right-hand side of (3.28) and (3.29) are independent of time.

### Lemma 3.4

Let $$(\rho , u, \theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, if the assumption of Proposition 3.1holds, then

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl(\sigma ^{2} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2} \bigr) \leqslant Cm_{0}^{\frac{1}{8}} , \end{aligned}
(3.28)
\begin{aligned}& \int _{t_{1}}^{t_{2}}\sigma ^{2} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds \leqslant Cm_{0}(t_{2}-t_{1})+Cm_{0}^{\frac{1}{8}} \end{aligned}
(3.29)

for any $$t_{1},t_{2}\in (0,T]$$, provided $$m_{0}\leqslant \min \{\varepsilon _{1}^{*}, \varepsilon _{2}^{*}\}$$.

### Proof

Operating $$\eta \dot{u}^{j}(\partial _{t}+\mathrm{div}(u\cdot ))$$ to $$\text{(1.2)}_{2}^{j}$$, summing with respect to j, and integrating the resulting equation over Ω, we obtain

\begin{aligned} &\frac{d}{dt} \int \eta \rho \vert \dot{u} \vert ^{2}\,dx-\eta ^{\prime } \int \rho \vert \dot{u} \vert ^{2}\,dx \\ &\quad =-2\eta \int \dot{u}^{j} \bigl(\partial _{j}P_{t}+ \mathrm{div}({u} \partial _{j}P) \bigr)\,dx+2\mu \eta \int \dot{u}^{j} \bigl(\partial _{t} \Delta {u}^{j}+\mathrm{div}\bigl({u}\Delta {u}^{j}\bigr) \bigr) \,dx \\ &\qquad {}+2\eta \int \dot{u}^{j} \bigl(\partial _{t}(\rho \theta e_{2})^{j}+ \mathrm{div}\bigl(u(\rho \theta e_{2})^{j}\bigr) \bigr)\,dx \\ &\quad :=\sum_{i=1}^{3} J_{i}. \end{aligned}
(3.30)

It follows from integration by parts and using equation (1.2)1 that

\begin{aligned}& \begin{aligned}[b] J_{1}&=-2\eta \int \dot{u}^{j} \bigl(\partial _{j}P_{t}+ \partial _{j} \mathrm{div}({u}P)-\mathrm{div}(P\partial _{j}{u}) \bigr)\,dx \\ &=2\eta \int \mathrm{div}\dot{u}\bigl(P_{t}+\mathrm{div}({u}P)\bigr) \,dx-2\eta \int (P\partial _{j}{u})\cdot \nabla \dot{u}^{j} \,dx \\ &\leqslant C\eta \int \rho ^{\gamma } \vert \mathrm{div}\dot{u} \vert \vert \mathrm{div}u \vert ^{2}\,dx+C\eta \int \rho ^{\gamma } \vert \nabla u \vert \vert \nabla \dot{u} \vert \,dx \\ &\leqslant \frac{\mu \eta }{4} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+C\eta \Vert \nabla u \Vert _{L^{2}}^{2}, \end{aligned} \end{aligned}
(3.31)
\begin{aligned}& \begin{aligned}[b] J_{2}&=2\mu \eta \int \dot{u}^{j}\bigl[\Delta \dot{u}^{j}+\partial _{i}\bigl( \mathrm{div} {u}\partial _{i}{u}^{j}- \partial _{i}{u}\cdot \nabla {u}^{j}\bigr)- \mathrm{div} \bigl(\partial _{i}{u}\partial _{i}{u}^{j}\bigr) \bigr]\,dx \\ &=-2\mu \eta \int \bigl\vert \nabla \dot{u}^{j} \bigr\vert ^{2}\,dx-2\mu \eta \int \partial _{i} \dot{u}^{j}\bigl(\mathrm{div} {u}\partial _{i}{u}^{j}-\partial _{i}{u} \cdot \nabla {u}^{j}\bigr)\,dx+2\mu \eta \int \nabla \dot{u}^{j}\partial _{i}{u} \partial _{i}{u}^{j}\,dx \\ &\leqslant -\mu \eta \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+C \eta \Vert \nabla {u} \Vert _{L^{4}}^{4} \\ &\leqslant -\mu \eta \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+C \eta \bigl( m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr) \bigr), \end{aligned} \end{aligned}
(3.32)

where $$\|\nabla {u}\|_{L^{4}}^{4}$$ can be estimated as follows:

\begin{aligned} \Vert \nabla {u} \Vert _{L^{4}}^{4}& \leqslant \Vert \nabla {v} \Vert _{L^{4}}^{4}+ \Vert \nabla w \Vert _{L^{4}}^{4}\leqslant \Vert P \Vert _{L^{4}}^{4}+ \Vert \nabla w \Vert _{L^{2}}^{2} \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}}^{2} \\ &\leqslant C \bigl(\bar{\rho }^{4\gamma -1}m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert \nabla v \Vert _{L^{2}}^{2} \bigr) \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\leqslant C \bigl(\bar{\rho }^{4\gamma -1}m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert P \Vert _{L^{2}}^{2} \bigr) \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\leqslant C \bigl( m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+ \Vert \rho \theta e_{2} \Vert _{L^{2}}^{2} \bigr) \bigr) \\ &\leqslant C \bigl( m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+ \Vert \rho \Vert _{L^{4}}^{2} \Vert \theta \Vert _{L^{4}}^{2} \bigr) \bigr) \\ &\leqslant C \bigl( m_{0}+ \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr) \bigr). \end{aligned}
(3.33)

Similarly, we get

\begin{aligned} J_{3}&=2\eta \int \dot{u}^{j} \bigl(\partial _{t}(\rho \theta e_{2})^{j}+ \mathrm{div}\bigl(u(\rho \theta e_{2})^{j}\bigr) \bigr)\,dx=2\eta \int \dot{u}^{j} \bigl(\rho \theta _{t} e_{2}^{j}+\rho u \nabla \theta e_{2}^{j} \bigr)\,dx \\ &\leqslant C\eta \bigl( \Vert \dot{u} \Vert _{L^{4}} \Vert \rho \Vert _{L^{4}} \Vert \theta _{t} \Vert _{L^{2}}+ \Vert \dot{u} \Vert _{L^{4}} \Vert \rho \Vert _{L^{4}} \Vert {u} \Vert _{L^{4}} \Vert \nabla \theta \Vert _{L^{4}} \bigr) \\ &\leqslant C\eta \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}\bar{\rho }^{\frac{3}{4}}m_{0}^{\frac{1}{4}} \bigl( \Vert u\cdot \nabla \theta \Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}} \bigr)+ \Vert \nabla \dot{u} \Vert _{L^{2}} \bar{\rho }^{\frac{3}{4}}m_{0}^{\frac{1}{4}} \Vert \nabla {u} \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}} \bigr) \\ &\leqslant C\eta \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}m_{0}^{\frac{1}{4}} \bigl( \Vert \nabla u \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}}+ \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}} \bigr)+ \Vert \nabla \dot{u} \Vert _{L^{2}}m_{0}^{\frac{1}{4}} \Vert \nabla {u} \Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}} \bigr) \\ &\leqslant \frac{\mu \eta }{4} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+C\eta m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}, \end{aligned}
(3.34)

where we have used (1.2)1, (1.2)3, and the Poincaré inequality. Then, substituting the estimates $$J_{1}$$, $$J_{2}$$, $$J_{3}$$ and (3.33) into (3.30), we arrive at

\begin{aligned} &\frac{d}{dt} \int \eta \rho \vert \dot{u} \vert ^{2}\,dx+ \frac{\mu \eta }{2} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2} \\ &\quad \leqslant \bigl\vert \eta ^{\prime } \bigr\vert \int \rho \vert \dot{u} \vert ^{2}\,dx+C\eta \Vert \nabla u \Vert _{L^{2}}^{2}+C\eta \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr) \\ &\qquad {}+C\eta m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}+C\eta m_{0}. \end{aligned}
(3.35)

In order to prove (3.28), taking $$\eta =\sigma _{i}^{2}$$ in (3.35), integrating (3.35) over $$(i-1,t)$$, and taking (3.16) into consideration, we get

\begin{aligned} &\sigma _{i}^{2} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+ \int _{i-1}^{t} \mu \sigma _{i}^{2} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \int _{i-1}^{t}\sigma _{i}\sigma _{i}^{\prime } \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}\,ds+C \int _{i-1}^{t}\sigma _{i}^{2} \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\qquad {}+C \int _{i-1}^{t}\sigma _{i}^{2} m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}\,ds+C \bigl(m_{0}^{\frac{1}{4}}+m_{0} \bigr) \\ &\quad \leqslant Cm_{0}^{\frac{1}{8}} + C \Bigl(\sup_{{i-1}\leqslant t \leqslant i+1} \sigma _{i} \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \Bigr) \int _{i-1}^{t} \sigma _{i} \bigl( \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\qquad {}+Cm_{0}^{\frac{1}{2}}\sup_{{i-1}\leqslant t\leqslant i+1} \sigma _{i} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \int _{i-1}^{t} \sigma _{i} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}\,ds+C \bigl(m_{0}^{\frac{1}{4}}+m_{0} \bigr) \\ &\quad \leqslant Cm_{0}^{\frac{1}{8}} +C \bigl(m_{0}^{\frac{1}{8}}+m_{0} \bigr) \bigl(m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{2}} \bigr)+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{5}{8}}+m_{0} \bigr) \\ &\quad \leqslant Cm_{0}^{\frac{1}{8}}, \end{aligned}
(3.36)

which proves (3.28).

Furthermore, from (3.35), we can see that if we take $$\eta =\sigma ^{2}$$, then integrate (3.35) over $$(t_{1},t_{2})\in [0,T]$$, we have

\begin{aligned} &\sigma ^{2} \bigl\Vert \sqrt{\rho } \dot{u}(t_{2}) \bigr\Vert _{L^{2}}^{2}+ \int _{t_{1}}^{t_{2}} \mu \sigma ^{2} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \sigma ^{2} \bigl\Vert \sqrt{\rho }\dot{u}(t_{1}) \bigr\Vert _{L^{2}}^{2}+ \int _{t_{1}}^{t_{2}} \sigma \sigma ^{\prime } \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\qquad {}+C \int _{t_{1}}^{t_{2}} \sigma ^{2} \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\qquad {}+C \int _{i-1}^{t}\sigma ^{2} m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}\,ds+Cm_{0}^{\frac{1}{4}}+Cm_{0} (t_{2}-t_{1} ) \\ &\quad \leqslant C \bigl(m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{4}} \bigr) + C \Bigl(1+\sup_{0\leqslant t\leqslant T}\sigma \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \Bigr) \int _{t_{1}}^{t_{2}}\sigma \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\qquad {}+ C \Bigl(\sup_{0\leqslant t\leqslant T}\sigma \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \Bigr) \int _{t_{1}}^{t_{2}}m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2}\,ds \\ &\qquad {}+ C\sup _{0\leqslant t \leqslant T}\sigma \Vert \nabla u \Vert _{L^{2}}^{2}K_{1} \int _{t_{1}}^{t_{2}}m_{0}^{\frac{1}{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{2}\,ds+Cm_{0} (t_{2}-t_{1} ) \\ &\quad \leqslant Cm_{0}^{\frac{1}{8}}+ C \bigl(1+ m_{0}^{\frac{1}{8}} +m_{0} \bigr) \int _{t_{1}}^{t_{2}}\sigma \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\qquad {}+ C \bigl(m_{0}^{\frac{1}{8}} +m_{0} \bigr)m_{0}^{\frac{1}{2}}+Cm_{0}^{\frac{5}{8}}K_{1}+Cm_{0} (t_{2}-t_{1} ) \\ &\quad \leqslant Cm_{0}^{\frac{1}{8}}+ C \bigl(1+ m_{0}^{\frac{1}{8}} +m_{0} \bigr) \int _{t_{1}}^{t_{2}}\sigma \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}\,ds+Cm_{0} (t_{2}-t_{1} ), \end{aligned}
(3.37)

where we have used (3.1), (3.6), and (3.28).

In order to estimate the second term on the right-hand side of the above inequality, taking $$\eta =\sigma$$ in (3.23), integrating (3.23) over $$(t_{1},t_{2})\in [0,T]$$, we get

\begin{aligned} &\sigma \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{t_{1}}^{t_{2}} \int \sigma \rho \vert \dot{u} \vert ^{2}\,dx \,ds \\ &\quad \leqslant \mu \sigma \bigl\Vert \nabla {u}(t_{1}) \bigr\Vert _{L^{2}}^{2}+\sigma \Vert P \Vert _{L^{2}} \Vert \nabla {u} \Vert _{L^{2}}+C \bigl(m_{0}+m_{0}^{2} \bigr) (t_{2}-t_{1})+Cm_{0}^{\frac{1}{4}} \\ &\qquad {}+C \int _{i-1}^{t}\sigma \Vert \nabla u \Vert _{L^{2}}^{4}\,ds+C \int _{i-1}^{t}m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \frac{1}{2}\sigma \mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2} \bigr) (t_{2}-t_{1}) \\ &\qquad {}+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{2}} \bigr)+C\sup_{{0}\leqslant t\leqslant T}\sigma \Vert \nabla u \Vert _{L^{2}}^{2} \int _{i-1}^{t} \Vert \nabla u \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant \frac{1}{2}\sigma \mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2} \bigr) (t_{2}-t_{1}) \\ &\qquad {}+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{8}}+m_{0}^{\frac{1}{2}} \bigr)+C\sup_{{0}\leqslant t\leqslant T}\sigma \Vert \nabla u \Vert _{L^{2}}^{2}m_{0}^{\frac{1}{4}} \\ &\quad \leqslant \frac{1}{2}\sigma \mu \Vert \nabla {u} \Vert _{L^{2}}^{2}+C \bigl(m_{0}+m_{0}^{2} \bigr) (t_{2}-t_{1})+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{8}}+m_{0}^{\frac{3}{8}}+m_{0}^{\frac{1}{2}} \bigr), \end{aligned}
(3.38)

which deduces

\begin{aligned} &\sigma \int \mu \vert \nabla u \vert ^{2} \,dx+ \int _{t_{1}}^{t_{2}} \int \sigma \rho \vert \dot{u} \vert ^{2}\,dx \,ds\leqslant Cm_{0}(t_{2}-t_{1})+Cm_{0}^{\frac{1}{8}}. \end{aligned}
(3.39)

Then, inserting (3.39) into (3.37), (3.29) can be obtained. This completes the proof of Lemma 2.3. □

Inspired by the methods in references [18, 42], in the following lemma, we use the Zlotnik inequality to prove the uniform upper bound of the density ρ.

### Lemma 3.5

Under the condition of Proposition 3.1, it holds that

$$\rho \leqslant \frac{3}{2}\bar{\rho }+1,$$
(3.40)

provided there exist constants $$\varepsilon _{3}^{*}$$, $$\varepsilon _{4}^{*}$$, and $$\varepsilon _{5}^{*}$$ such that $$m_{0}\leqslant \min \{ \varepsilon _{1}^{*}, \varepsilon _{2}^{*}, \varepsilon _{3}^{*},\varepsilon _{4}^{*}, \varepsilon _{5}^{*}\}$$.

### Proof

For any given $$(x, t)\in \Omega \times [0,T]$$. Denote $$X(s;x,t)$$ is the solution to the initial value problem

$$\textstyle\begin{cases} \frac{d}{ds}X(s;x,t)={u} (X(s;x,t), s ),\quad 0 \leqslant s< t, \\ X(t; x,t)=x. \end{cases}$$

It is easy to verify that

$$\frac{d}{d s}\rho \bigl(X(s;x,t), s \bigr)+\rho \bigl(X(s;x,t), s \bigr) \mathrm{div} {u} \bigl(X(s;x,t),s \bigr)=0$$

due to (1.2)1. This gives

$$Y^{\prime }(s)=g(s)+b^{\prime }(s),$$
(3.41)

where

\begin{aligned}& Y(s)=\rho \bigl(X(s;x,t),s \bigr),\qquad g(s)=- \frac{A\rho ^{\gamma +1} (X(s;x,t),s )}{\mu }, \\& b(s)=- \int _{0}^{s}\rho \bigl(X(s;x,t),s \bigr) \biggl( \frac{C(t)}{\mu }+\text{div}w \bigl(X(s;x,t),s \bigr) \biggr) \,ds, \end{aligned}

and $$C(t)=\mu {\mathrm{div}}{v}-P$$.

Next, we use Lemma 2.5 to prove the uniform upper bound of density

\begin{aligned} b(t_{2})-b(t_{1})= \int _{t_{1}}^{t_{2}} \biggl\Vert \frac{\rho C(t)}{\mu } \biggr\Vert _{\infty }\,ds+ \int _{t_{1}}^{t_{2}} \Vert \rho \text{div}w \Vert _{\infty }\,ds :=K_{1}+K_{2}. \end{aligned}
(3.42)

In the following, we estimate the terms on the right-hand side of equation (3.42) one by one. In order to estimate $$C(t)$$, from equation (1.12), we have

$$\nabla (\mu \text{div}v-P )-\mu \nabla \times ( \nabla \times v )=0.$$
(3.43)

Since $$(\nabla \times (\nabla \times v ))= ( \partial _{2}(\partial _{1}v^{2}-\partial _{2}v^{1}), -\partial _{1}( \partial _{1}v^{2}-\partial _{2}v^{1}) )$$ and the boundary condition (1.7) implies

$$\textstyle\begin{cases} v^{1}=\partial _{2}v^{2}=0,\quad x_{1}=0,1, \\ v^{2}=\partial _{1}v^{1}=0,\quad x_{2}=0,1. \end{cases}$$
(3.44)

Then we have $$(\nabla \times (\nabla \times v ))\cdot n=0$$ a.e. on Ω and $$\text{div}(\nabla \times (\nabla \times v ))=0$$. Multiplying (3.43) by $$\nabla (\mu \text{div}v-P )$$ and integrating the resulting equation over Ω, we arrive at

$$\bigl\Vert \nabla (\mu \text{div}v-P ) \bigr\Vert _{L^{2}}=0,$$

which implies that there exists $$C(t)$$ such that

$$C(t)=\mu \text{div}v-P.$$
(3.45)

Using (1.12), we have $$\|\nabla v\|_{L^{2}}\leq C\|P\|_{L^{2}}$$. Integrating (3.45) over the square domain, we get

$$C(t)\leqslant C\bigl( \Vert \nabla v \Vert _{L^{2}}+ \Vert P \Vert _{L^{2}}\bigr)\leqslant C \Vert P \Vert _{L^{2}} \leqslant C\bar{\rho }^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}}.$$
(3.46)

Then we have

\begin{aligned} K_{1}= \int _{t_{1}}^{t_{2}} \biggl\Vert \frac{\rho C(t)}{\mu } \biggr\Vert _{\infty }\,ds\leqslant \frac{C\bar{\rho }^{\frac{2\gamma +1}{2}}m_{0}^{\frac{1}{2}}}{\mu }(t_{2}-t_{1}) \leqslant \frac{1}{4\mu }(t_{2}-t_{1}), \end{aligned}
(3.47)

provided there exists a constant $$\varepsilon _{3}^{*}$$, $$m_{0}\leqslant \varepsilon _{3}^{*}$$, such that

$$C\bar{\rho }^{\frac{2\gamma +1}{2}}m_{0}^{\frac{1}{2}}\leqslant \frac{1}{4}.$$

In order to estimate $$K_{2}$$, we consider the following three cases:

1. (1)

$$0\leqslant t_{1}\leqslant t_{2}\leqslant \sigma (T)$$.

\begin{aligned} K_{2}&= \int _{t_{1}}^{t_{2}} \Vert \rho \text{div} w \Vert _{L^{\infty }} \,ds \leqslant C \int _{0}^{\sigma (T)} \Vert \nabla w \Vert _{L^{2}}^{\frac{1}{3}} \Vert \nabla w \Vert _{W^{1,4}}^{\frac{2}{3}} \,ds \\ &\leqslant C \int _{0}^{\sigma (T)} \bigl( \Vert \nabla u \Vert _{L^{2}}+ \Vert P \Vert _{L^{2}} \bigr)^{\frac{1}{3}} \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+ \Vert \nabla \theta \Vert _{L^{2}} \bigr)^{\frac{2}{3}}\,ds \\ &\leqslant C \int _{0}^{\sigma (T)}\sigma ^{-\frac{1}{2}} \bigl( \sigma ^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}+\sigma ^{\frac{1}{2}} \Vert P \Vert _{L^{2}} \bigr)^{\frac{1}{3}} \bigl(\sigma \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+\sigma \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)^{\frac{1}{3}}\,ds \\ &\leqslant C \int _{0}^{\sigma (T)}\sigma ^{-\frac{1}{2}} \bigl(m_{0}^{\frac{1}{16}}+\sigma ^{\frac{1}{2}}\bar{\rho }^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \bigl( \sigma \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+ \sigma \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)^{\frac{1}{3}} \,ds \\ &\leqslant C \bigl(m_{0}^{\frac{1}{16}}+\bar{\rho }^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \biggl( \int _{0}^{\sigma (T)}\sigma ^{- \frac{3}{4}}\,ds \biggr)^{\frac{2}{3}} \\ &\quad {}\times \biggl( \int _{0}^{\sigma (T)} \bigl( \sigma \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+\sigma \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \biggr)^{\frac{1}{3}} \\ &\leqslant C \bigl(m_{0}^{\frac{1}{16}}+\bar{\rho }^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \biggl( \int _{0}^{\sigma (T)}\sigma \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+1 \biggr)^{\frac{1}{3}}, \end{aligned}
(3.48)

where we have used Lemma 3.3. It remains to estimate the term on the right-hand side of inequality (3.48). To do this, we take $$\eta =\sigma$$ in (3.35) and integrate over $$(0, \sigma (T))$$, then we have

\begin{aligned} & \int \sigma \rho \vert \dot{u} \vert ^{2}\,dx+ \int _{0}^{\sigma (T)}\mu \sigma \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant C+ \int _{0}^{\sigma (T)} \bigl\vert \sigma ^{\prime } \bigr\vert \int \rho \vert \dot{u} \vert ^{2}\,dx \,ds+C \int _{0}^{\sigma (T)} \sigma \Vert \nabla u \Vert _{L^{2}}^{2}\,ds \\ &\qquad {}+C \int _{0}^{\sigma (T)}\sigma \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\qquad {}+C \int _{0}^{\sigma (T)}\sigma m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}\,ds+C\sigma m_{0} \\ &\quad \leqslant C \bigl(1+K+m_{0}^{\frac{1}{4}} \bigr)+C \bigl(m_{0}^{\frac{1}{8}}+m_{0} \bigr) (K+1)+C \bigl(m_{0}^{\frac{5}{8}}+m_{0} \bigr) \\ &\quad \leqslant C. \end{aligned}
(3.49)

From (3.48) and (3.49), we can see that

\begin{aligned} K_{2}\leqslant C \bigl(m_{0}^{\frac{1}{16}}+ \bar{\rho }^{\frac{2\gamma -1}{2}}m_{0}^{\frac{1}{2}} \bigr)^{\frac{1}{3}} \leqslant \frac{1}{8}\bar{\rho }, \end{aligned}
(3.50)

provided there exists a constant $$\varepsilon _{4}^{*}$$ such that $$m_{0}\leqslant \varepsilon _{4}^{*}$$.

2. (2)

$$\sigma (T)\leqslant t_{1}\leqslant t_{2}\leqslant T$$.

\begin{aligned} K_{2}&\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+4 \mu \int _{t_{1}}^{t_{2}} \Vert \rho \text{div} w \Vert _{L^{\infty }}^{2} \,ds \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+4 \bar{\rho }^{2} \mu \int _{t_{1}}^{t_{2}} \Vert \text{div} w \Vert _{L^{\infty }}^{2} \,ds \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+C\bar{\rho }^{2} \int _{t_{1}}^{t_{2}} \Vert \nabla w \Vert _{L^{2}}^{\frac{2}{3}} \Vert \nabla w \Vert _{W^{1,4}}^{\frac{4}{3}} \,ds \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+ C\bar{\rho }^{2} \int _{t_{1}}^{t_{2}} \bigl( \Vert \nabla u \Vert _{L^{2}}+ \Vert P \Vert _{L^{2}} \bigr)^{\frac{2}{3}} \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+ \Vert \nabla \theta \Vert _{L^{2}} \bigr)^{\frac{4}{3}}\,ds \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+ C\bar{\rho }^{2} \biggl( \int _{t_{1}}^{t_{2}} \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+ \Vert P \Vert _{L^{2}}^{2} \bigr)\,ds \biggr)^{\frac{1}{3}} \\ &\quad {}\times \biggl( \int _{t_{1}}^{t_{2}} \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+ \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+C\bar{\rho }^{2} \bigl(m_{0}^{\frac{1}{4}}+\bar{\rho }^{2\gamma -1}m_{0}(t_{2}-t_{1}) \bigr)^{\frac{1}{3}} \\ &\quad {}\times \biggl( \int _{t_{1}}^{t_{2}} \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}+ \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+Cm_{0}^{\frac{1}{12}} \biggl( \int _{t_{1}}^{t_{2}} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+1 \biggr)^{\frac{2}{3}} \\ &\quad {}+Cm_{0}^{\frac{1}{3}}(t_{2}-t_{1})^{\frac{1}{3}} \biggl( \int _{t_{1}}^{t_{2}} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+1 \biggr)^{\frac{2}{3}} \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+C \int _{t_{1}}^{t_{2}} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{12}} \bigr) \\ &\quad {}+Cm_{0}(t_{2}-t_{1})+Cm_{0}^{\frac{1}{3}}(t_{2}-t_{1})^{\frac{1}{3}} \\ &\leqslant \frac{1}{4\mu }(t_{2}-t_{1})+C \bigl(m_{0}+m_{0}^{\frac{1}{4}} \bigr) (t_{2}-t_{1})+C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{8}}+m_{0}^{\frac{3}{8}}+m_{0}^{\frac{1}{12}} \bigr), \end{aligned}
(3.51)

where in the last inequality we have used (3.29). Then we get

\begin{aligned} K_{2}\leqslant \frac{1}{2\mu }(t_{2}-t_{1})+ \frac{1}{8}\bar{\rho }, \end{aligned}
(3.52)

provided there exists a constant $$\varepsilon _{5}^{*}$$, $$m_{0}\leqslant \varepsilon _{5}^{*}$$, such that

$$C \bigl(m_{0}+m_{0}^{\frac{1}{4}} \bigr)\leqslant \frac{1}{4\mu }, \qquad C \bigl(m_{0}^{\frac{1}{4}}+m_{0}^{\frac{1}{8}}+m_{0}^{\frac{3}{8}}+m_{0}^{\frac{1}{12}} \bigr)\leqslant \frac{1}{8}\bar{\rho }.$$
3. (3)

$$0\leqslant t_{1}\leqslant \sigma (T)\leqslant t_{2}\leqslant T$$.

Combining case (1) and case (2), we can easily obtain

\begin{aligned} K_{2}= \int _{t_{1}}^{\sigma (T)} \Vert \rho \text{div} w \Vert _{L^{\infty }} \,ds+ \int _{\sigma (T)}^{t_{2}} \Vert \rho \text{div} w \Vert _{L^{\infty }} \,ds \leqslant \frac{1}{2\mu }(t_{2}-t_{1})+ \frac{1}{4}\bar{\rho }. \end{aligned}
(3.53)

Taking (3.42), (3.47), (3.50), (3.52), and (3.53) into consideration, we have

\begin{aligned} \bigl\vert b(t_{2})-b(t_{1}) \bigr\vert \leqslant \frac{1}{\mu }(t_{2}-t_{1})+\frac{1}{2} \bar{\rho }, \end{aligned}
(3.54)

provided there exist constants $$\varepsilon _{3}^{*}$$, $$\varepsilon _{4}^{*}$$, and $$\varepsilon _{5}^{*}$$ as mentioned above such that $$m_{0}\leqslant \min \{\varepsilon _{1}, \varepsilon _{1}^{*}, \varepsilon _{2}^{*}, \varepsilon _{3}^{*},\varepsilon _{4}^{*}, \varepsilon _{5}^{*}\}$$.

Then we can choose $$N_{0}$$, $$N_{1}$$ as follows:

$$N_{0}=\frac{1}{2}\bar{\rho }, \qquad N_{1}= \frac{1}{\mu }.$$

Choosing $$\xi ^{*}=\bar{\rho }+1$$, we can see that

$$g(\xi )=-\frac{\xi ^{\gamma +1}}{\mu }\leqslant -\frac{1}{\mu }=-N_{1} \quad \text{for } \xi \geqslant \xi ^{*}.$$

Using Lemma 2.5, we obtain

$$\sup_{t\in [0,T]} \Vert \rho \Vert _{L^{\infty }}\leqslant \max \bigl\{ \rho _{0},\xi ^{*} \bigr\} +N_{0} \leqslant \max \{\bar{\rho },\bar{\rho }+1\}+N_{0}\leqslant \bar{\rho }+1+\frac{1}{2}\bar{\rho }=\frac{3}{2}\bar{\rho }+1.$$

This completes the proof of Lemma 3.5. □

Combining Lemmas 3.23.5, if we take $$m_{0}\leqslant \min \{\varepsilon _{1}, \varepsilon _{1}^{*}, \varepsilon _{2}^{*}, \varepsilon _{3}^{*},\varepsilon _{4}^{*}, \varepsilon _{5}^{*}\}$$, then Proposition 3.1 is proved.

## Time-dependent higher-order estimates

For completeness of our proof, we give the time-dependent higher-order estimates of the solution $$(\rho , u, \theta )$$ in what follows. First, we prove the second-order a priori estimates in Lemma 4.1 for u and Lemma 4.2 for $$(\rho , \theta )$$, respectively, which can be derived in a similar manner as those obtained in [18, 22] after some modifications. In the rest of this paper, the constant C may depend on time T.

### Lemma 4.1

Let $$(\rho , u, \theta )$$ be a strong solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, under the condition of Theorem 1.1, it holds that

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \Vert \nabla \dot{ u} \Vert _{L^{2}}^{2}\,ds \leqslant C(T), \end{aligned}
(4.1)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \nabla {\rho } \Vert _{L^{p}}+ \Vert {u} \Vert _{H^{2}} \bigr)\leqslant C(T). \end{aligned}
(4.2)

### Proof

Taking $$\eta =1$$ in (3.35), integrating (3.35) over $$(0,\sigma (T)]$$, we get

\begin{aligned} &\sup_{0\leqslant t \leqslant {\sigma (T)}} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+ \int _{0}^{\sigma (T)}\mu \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds \\ &\quad \leqslant C \bigl(1+m_{0}^{\frac{1}{4}}+m_{0} \bigr)+C \int _{0}^{ \sigma (T)} \bigl( \Vert \nabla u \Vert _{L^{2}}^{2}+m_{0} \bigr) \bigl( \Vert \sqrt{\rho } \dot{u} \Vert _{L^{2}}^{2}+m_{0}^{\frac{1}{2}} \Vert \nabla \theta \Vert _{L^{2}}^{2} \bigr)\,ds \\ &\qquad {}+C \int _{0}^{\sigma (T)}m_{0}^{\frac{1}{2}} \Vert \nabla u \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{2}}\,ds \\ &\quad \leqslant C, \end{aligned}
(4.3)

from which, combining (3.28) and (3.29), we obtain

$$\sup_{0\leqslant t\leqslant T} \Vert \sqrt{\rho }\dot{u} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \Vert \nabla \dot{ u} \Vert _{L^{2}}^{2}\,dt \leqslant C(T).$$
(4.4)

Next, applying the operator to (1.1)1 and multiplying the resulting equation by $$p|\nabla \rho |^{p-2}\nabla \rho$$, $$p>2$$, we obtain

\begin{aligned} \frac{d}{dt} \int \vert \nabla \rho \vert ^{p}\,dx&=(1-p) \int \vert \nabla \rho \vert ^{p} \mathrm{div} {u}\,dx-p \int \vert \nabla \rho \vert ^{p-2}\nabla \rho (\nabla {u} \cdot \nabla \rho )\,dx \\ &\quad {}-p \int \rho \vert \nabla \rho \vert ^{p-2}\nabla \rho \cdot \nabla (\mathrm{div} {u})\,dx \\ &\leqslant C \int \vert \nabla \rho \vert ^{p} \vert \nabla {u} \vert \,dx+C \int \vert \nabla \rho \vert ^{p-1} \bigl\vert \nabla ^{2}{u} \bigr\vert \,dx \\ &\leqslant C \Vert \nabla {u} \Vert _{L^{\infty }} \Vert \nabla \rho \Vert _{L^{p}}^{p}+C \Vert \nabla \rho \Vert _{L^{p}}^{p-1} \bigl\Vert \nabla ^{2}{u} \bigr\Vert _{L^{p}}. \end{aligned}
(4.5)

Then we have

\begin{aligned} \frac{d}{dt} \Vert \nabla \rho \Vert _{p} \leqslant C\bigl( \Vert \nabla {u} \Vert _{L^{\infty }} \Vert \nabla \rho \Vert _{L^{p}}+ \bigl\Vert \nabla ^{2}{u} \bigr\Vert _{L^{p}}\bigr), \end{aligned}
(4.6)

where the terms on the right-hand side can be estimated as follows:

\begin{aligned} \Vert \nabla {u} \Vert _{L^{\infty }}&\leqslant C\bigl( \Vert \nabla w \Vert _{L^{\infty }}+ \Vert \nabla v \Vert _{L^{\infty }}\bigr) \\ &\leqslant C \bigl( \Vert \nabla w \Vert _{L^{p}}+ \bigl\Vert \nabla ^{2} w \bigr\Vert _{L^{p}}+ \Vert \nabla v \Vert _{L^{\infty }} \bigr) \\ &\leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+ \Vert \nabla \theta \Vert _{L^{2}}+ \Vert \nabla v \Vert _{\text{BMO}} \ln \bigl(e+ \bigl\Vert \nabla ^{2}v \bigr\Vert _{L^{p}} \bigr)+1 \bigr) \\ &\leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+\bigl( \Vert P \Vert _{L^{\infty }}+ \Vert P \Vert _{L^{2}}\bigr) \ln \bigl(e+ \bigl\Vert \nabla ^{2}v \bigr\Vert _{L^{p}}\bigr)+1 \bigr) \\ &\leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+\ln \bigl(e+ \Vert \nabla \rho \Vert _{L^{p}} \bigr)+1 \bigr), \end{aligned}
(4.7)

and

\begin{aligned} \bigl\Vert \nabla ^{2}{u} \bigr\Vert _{L^{p}}&\leqslant C\bigl( \bigl\Vert \nabla ^{2}v \bigr\Vert _{L^{p}}+ \bigl\Vert \nabla ^{2}w \bigr\Vert _{L^{p}}\bigr) \leqslant C\bigl( \Vert \nabla P \Vert _{L^{p}}+ \Vert \rho \dot{u} \Vert _{L^{p}}+ \Vert \theta \Vert _{L^{p}}\bigr) \\ &\leqslant C\bigl( \Vert \nabla \rho \Vert _{L^{p}}+ \Vert \nabla \dot{u} \Vert _{L^{2}}\bigr). \end{aligned}
(4.8)

Inserting (4.7) and (4.8) into (4.6), we have

\begin{aligned} \begin{aligned}[b] \frac{d}{dt} \bigl( \Vert \nabla \rho \Vert _{L^{p}}+e \bigr)&\leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+e\bigr)\ln \bigl(e+ \Vert \nabla \rho \Vert _{L^{p}} \bigr) \Vert \nabla \rho \Vert _{L^{p}}\\ &\quad {}+C\bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+e\bigr) \bigl( \Vert \nabla \rho \Vert _{L^{p}}+e\bigr). \end{aligned} \end{aligned}
(4.9)

Both sides of (4.9) divided by $$\|\nabla \rho \|_{p}+e$$ lead to

\begin{aligned} \frac{d}{dt}\ln \bigl( \Vert \nabla \rho \Vert _{L^{p}}+e \bigr)&\leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+e\bigr)\ln \bigl(e+ \Vert \nabla \rho \Vert _{L^{p}} \bigr)+C\bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+e\bigr). \end{aligned}
(4.10)

Then, by using Gronwall’s inequality and (4.4), it holds that

$$\sup_{0\leqslant t\leqslant T} \Vert \nabla {\rho } \Vert _{L^{p}} \leqslant C(T).$$
(4.11)

Moreover, from (4.4), we have

\begin{aligned} \Vert {u} \Vert _{H^{2}}\leqslant C \bigl( \Vert \rho \dot{u} \Vert _{L^{2}}+ \Vert \nabla P \Vert _{L^{2}}+ \Vert \theta \Vert _{L^{2}} \bigr)\leqslant C \bigl( \Vert \rho \dot{u} \Vert _{L^{2}}+ \Vert \nabla \rho \Vert _{L^{p}}+1 \bigr)\leqslant C(T). \end{aligned}
(4.12)

This completes the proof of Lemma 4.1. □

### Lemma 4.2

Let $$(\rho , u, \theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, under the condition of Theorem 1.1, the following estimates hold:

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \Vert \sqrt{\rho } {u}_{t} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \Vert \nabla {u}_{t} \Vert _{L^{2}}^{2}\,ds \leqslant C(T), \end{aligned}
(4.13)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \rho \Vert _{H^{2}}^{2}+ \bigl\Vert P(\rho ) \bigr\Vert _{H^{2}}^{2} \bigr)\leqslant C(T), \end{aligned}
(4.14)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{2}+ \Vert \theta _{t} \Vert _{L^{2}}^{2} \bigr)+ \int _{0}^{T} \bigl\Vert \nabla ^{3} \theta \bigr\Vert _{L^{2}}^{2}\,ds \leqslant C(T). \end{aligned}
(4.15)

### Proof

Inequality (4.13) follows directly from the following simple fact:

\begin{aligned} \begin{aligned}[b] \int \rho \vert u_{t} \vert ^{2}\,dx&\leqslant \int \rho \vert \dot{u} \vert ^{2}\,dx+ \int \rho \vert u \cdot \nabla u \vert ^{2}\,dx \\ &\leqslant C+ \Vert \sqrt{\rho } {u} \Vert _{L^{2}} \Vert {u} \Vert _{L^{6}} \Vert \nabla {u} \Vert _{L^{6}}^{2} \leqslant C, \end{aligned} \end{aligned}
(4.16)

and

\begin{aligned} \int _{0}^{T} \Vert \nabla {u}_{t} \Vert _{L^{2}}^{2}\,ds&\leqslant \int _{0}^{T} \Vert \nabla \dot{u} \Vert _{L^{2}}^{2}\,ds+ \int _{0}^{T} \bigl\Vert \nabla (u\cdot \nabla u) \bigr\Vert _{L^{2}}^{2}\,ds \\ &\leqslant C+ \int _{0}^{T} \Vert u \Vert _{L^{\infty }}^{2} \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{2}}^{2}\,ds+ \int _{0}^{T} \Vert \nabla u \Vert _{L^{4}}^{4}\,ds \\ &\leqslant C, \end{aligned}
(4.17)

where in the last inequality we have used Sobolev embedding inequalities and Lemma 4.1.

Next, we prove (4.14). Since P satisfies

$$P_{t}+u\cdot \nabla P+\gamma P\mathrm{div} u=0,$$
(4.18)

which together with (1.2)1 yields that

\begin{aligned} &\frac{d}{dt} \bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2}+ \Vert \nabla P \Vert _{L^{2}}^{2} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{4}} \Vert \nabla \rho \Vert _{L^{4}} \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{4}} \Vert \nabla P \Vert _{L^{4}} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}} \\ &\qquad {}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{2}}^{\frac{1}{2}} \bigl\Vert \nabla ^{3}u \bigr\Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla \rho \Vert _{L^{2}}^{\frac{1}{2}} \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{\frac{3}{2}}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2} \\ &\qquad {}+ \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{2}}^{\frac{1}{2}} \bigl\Vert \nabla ^{3}u \bigr\Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla P \Vert _{L^{2}}^{\frac{1}{2}} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{\frac{3}{2}}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3}u \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2} \rho \bigr\Vert _{L^{2}}^{2}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\quad \leqslant C \bigl\Vert \nabla ^{3}u \bigr\Vert _{L^{2}}^{2}+C \bigl( \Vert \nabla u \Vert _{L^{\infty }}+1 \bigr) \bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\quad \leqslant C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+1 \bigr)+C \bigl( \Vert \nabla \dot{u} \Vert _{L^{2}}+\ln \bigl(e+ \Vert \nabla \rho \Vert _{L^{p}} \bigr)+1 \bigr) \bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{2}P \bigr\Vert _{L^{2}}^{2} \bigr), \end{aligned}
(4.19)

where in the last inequality we have used (4.7). From the following standard $$L^{2}$$-estimate, for elliptic system (1.12) and (1.13), we obtain

\begin{aligned} \bigl\Vert \nabla ^{3}{u} \bigr\Vert _{L^{2}}&\leqslant C \bigl( \bigl\Vert \nabla ^{3}v \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3}w \bigr\Vert _{L^{2}}\bigr) \leqslant C \bigl( \bigl\Vert \nabla ^{2} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla (\rho \dot{u}) \bigr\Vert _{L^{2}}+ \Vert \nabla \theta \Vert _{L^{2}}\bigr) \\ &\leqslant C\bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}}+ \Vert \nabla \dot{u} \Vert _{L^{2}}+1\bigr). \end{aligned}

Then, combining (4.19), Lemma 4.1, and Gronwall’s inequality, we have (4.14).

In order to estimate the second-order derivative of temperature, we apply the operator $$\nabla ^{2}$$ on both sides of equation (1.2)3, then we have

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{2}+\kappa \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2} \\ &\quad =- \int \nabla ^{2}(u\cdot \nabla ) \theta \nabla ^{2} \theta \,dx \\ &\quad =- \int \bigl(\nabla ^{2}u\cdot \nabla \bigr)\theta \nabla ^{2}\theta \,dx- \int \bigl(u \cdot \nabla ^{3}\bigr)\theta \nabla ^{2}\theta \,dx-2 \int \bigl(\nabla u\cdot \nabla ^{2}\bigr)\theta \nabla ^{2}\theta \,dx \\ &\quad \leq \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{4}}+ \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{4}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{4}} \\ &\quad \leq C \bigl( \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{\frac{1}{2}}+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{\frac{3}{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{\frac{1}{2}} \bigr) \\ &\quad \leq \frac{\kappa }{2} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2}+C \bigl(1+ \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}^{2} \bigr), \end{aligned}
(4.20)

from which, after integration over time interval $$(0,t)$$ and together with (1.2)3, (4.15) is proved. □

### Lemma 4.3

Let $$(\rho ,u,\theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, under the condition of Theorem 1.1, the following estimates hold:

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \rho _{t} \Vert _{H^{1}}+ \Vert P_{t} \Vert _{H^{1}} \bigr)+ \int _{0}^{T} \bigl( \Vert \rho _{tt} \Vert _{L^{2}}^{2}+ \Vert P_{tt} \Vert _{L^{2}}^{2} \bigr)\,ds \leqslant C(T), \end{aligned}
(4.21)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \Vert \nabla u_{t} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}}^{2}\,ds\leqslant C(T). \end{aligned}
(4.22)

### Proof

First, from (4.18) and Lemma 4.1, we obtain

\begin{aligned} \Vert P_{t} \Vert _{L^{2}}\leqslant C \bigl( \Vert u \Vert _{L^{\infty }} \Vert \nabla P \Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{2}} \bigr)\leqslant C. \end{aligned}
(4.23)

Furthermore, differentiating (4.18) yields

$$\nabla P_{t}+u\cdot \nabla \nabla P+\nabla u\cdot \nabla P+\gamma \nabla P\mathrm{div} u+\gamma P\nabla \mathrm{div} u=0,$$
(4.24)

from which, together with Lemma 4.1 and Lemma 4.2, one gets

\begin{aligned} \Vert \nabla P_{t} \Vert _{L^{2}}\leqslant C \bigl( \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2} P \bigr\Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{4}} \Vert \nabla P \Vert _{L^{4}}+ \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{2}} \bigr)\leqslant C. \end{aligned}
(4.25)

The combination of (4.23) and (4.25) implies

$$\sup_{0\leqslant t\leqslant T} \Vert P_{t} \Vert _{H^{1}}\leqslant C.$$
(4.26)

Note that $$P_{tt}$$ satisfies

$$P_{tt}+u_{t}\cdot \nabla P+u\cdot \nabla P_{t}+\gamma P\mathrm{div} u_{t}+ \gamma P_{t} \mathrm{div} u=0,$$
(4.27)

from which, together with (4.26) and Lemma 4.2, we have

$$\int _{0}^{T} \Vert P_{tt} \Vert _{L^{2}}^{2}\,ds \leqslant \int _{0}^{T}C \bigl( \Vert u_{t} \Vert _{L^{4}} \Vert \nabla P \Vert _{L^{4}}+ \Vert \nabla u \Vert _{L^{4}} \Vert P_{t} \Vert _{L^{4}}+ \Vert \nabla u_{t} \Vert _{L^{2}} \bigr)^{2}\,ds\leqslant C.$$
(4.28)

Next, we differentiate (1.2)2 with respect to t, then multiplying the resulting equation by $$u_{tt}$$, one gets after integration by parts that

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int \bigl(\mu \vert \nabla u_{t} \vert ^{2} \bigr)\,dx+ \int \rho u_{tt}^{2}\,dx \\ &\quad =\frac{d}{dt} \biggl(-\frac{1}{2} \int \rho _{t} \vert u_{t} \vert ^{2} \,dx- \int \rho _{t}u\cdot \nabla u\cdot u_{t}\,dx+ \int P_{t}\mathrm{div}u_{t}\,dx+ \int \rho _{t}\theta u_{t}\,dx \biggr) \\ &\qquad {}+ \frac{1}{2} \int \rho _{tt} \vert u_{t} \vert ^{2}\,dx+ \int (\rho _{t}u\cdot \nabla u)_{t}\cdot u_{t}\,dx- \int \rho u_{t}\cdot \nabla u\cdot u_{tt}\,dx \\ &\qquad {}- \int \rho u\cdot \nabla u_{t} \cdot u_{tt}\,dx- \int P_{tt}\mathrm{div}u_{t}\,dx- \int \rho _{tt}\theta e_{2}\cdot u_{t} \,dx \\ &\qquad{}- \int \rho _{t} \theta _{t} e_{2}\cdot u_{t}\,dx+ \int \rho \theta _{t} e_{2}\cdot u_{tt} \,dx \\ &\quad :=\frac{d}{dt}L_{0}+\sum_{i=1}^{8}L_{i}. \end{aligned}
(4.29)

The terms on the right-hand side of equation (4.29) can be estimated as follows:

\begin{aligned} L_{0}&=-\frac{1}{2} \int \rho _{t} \vert u_{t} \vert ^{2} \,dx- \int \rho _{t}u\cdot \nabla u\cdot u_{t}\,dx+ \int P_{t}\mathrm{div}u_{t}\,dx+ \int \rho _{t} \theta u_{t}\,dx \\ &\leqslant C \bigl( \Vert u \Vert _{L^{\infty }} \Vert \sqrt{\rho }u_{t} \Vert _{L^{2}} \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{2}}+ \Vert P_{t} \Vert _{L^{2}} \Vert \nabla u_{t} \Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla \rho \Vert _{L^{2}} \Vert u \Vert _{L^{\infty }} \Vert \theta \Vert _{L^{\infty }} \Vert u_{t} \Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{2}} \Vert \rho \Vert _{L^{\infty }} \Vert \theta \Vert _{L^{\infty }} \Vert u_{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert u \Vert _{H^{2}} \Vert \sqrt{\rho }u_{t} \Vert _{L^{2}} \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert \rho _{t} \Vert _{H^{1}} \Vert u \Vert _{H^{2}}^{2} \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert P_{t} \Vert _{L^{2}} \Vert \nabla u_{t} \Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla \rho \Vert _{L^{2}} \Vert u_{t} \Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{2}} \Vert u_{t} \Vert _{L^{2}} \bigr) \\ &\leqslant \delta \Vert \nabla u_{t} \Vert _{L^{2}}^{2}+C \bigl( \Vert u \Vert _{H^{2}}^{2} \Vert \sqrt{\rho }u_{t} \Vert _{L^{2}}^{2}+ \Vert \rho _{t} \Vert _{H^{1}}^{2} \Vert u \Vert _{H^{2}}^{4}+ \Vert P_{t} \Vert _{L^{2}}^{2}+ \Vert \nabla \rho \Vert _{L^{2}}^{2}+ \Vert \nabla u \Vert _{L^{2}}^{2} \bigr) \\ &\leqslant \delta \Vert \nabla u_{t} \Vert _{L^{2}}^{2}+C, \end{aligned}
(4.30)

where we have used Lemma 4.1, Lemma 4.2, (4.21), and the Poincaré inequality.

\begin{aligned}& \begin{aligned}[b] L_{1}&=\frac{1}{2} \int \rho _{tt} \vert u_{t} \vert ^{2}\,dx=-\frac{1}{2} \int ( \rho _{t}u+\rho u_{t})\cdot \nabla \vert u_{t} \vert ^{2}\,dx \\ &\leqslant C \bigl( \Vert \rho _{t} \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \Vert u_{t} \Vert _{L^{4}} \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert u_{t} \Vert _{L^{4}}^{2} \Vert \nabla u_{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C\bigl(1+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2}\bigr) \Vert \nabla u_{t} \Vert _{L^{2}}^{2}, \end{aligned} \end{aligned}
(4.31)
\begin{aligned}& \begin{aligned}[b] L_{2}&= \int (\rho _{t}u\cdot \nabla u)_{t}\cdot u_{t}\,dx= \int (\rho _{tt}u \cdot \nabla u+\rho _{t}u_{t} \cdot \nabla u+\rho _{t}u\cdot \nabla u_{t}) \cdot u_{t}\,dx \\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{4}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert \nabla u \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{4}}^{2} \\ &\quad {}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u_{t} \Vert _{L^{2}} \Vert u_{t} \Vert _{L^{4}} \bigr) \\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}}^{2}+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2} \bigr) \leqslant C \bigl(1+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2} \bigr), \end{aligned} \end{aligned}
(4.32)
\begin{aligned}& \begin{aligned}[b] L_{3}+L_{4}&=- \int \rho u_{t}\cdot \nabla u\cdot u_{tt}\,dx- \int \rho u \cdot \nabla u_{t}\cdot u_{tt}\,dx \\ &\leqslant \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}} \Vert u_{t} \Vert _{L^{4}} \Vert \nabla u \Vert _{L^{4}}+ \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u_{t} \Vert _{L^{2}} \\ &\leqslant \frac{1}{4} \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}}^{2}+C \Vert \nabla u_{t} \Vert _{L^{2}}^{2}, \end{aligned} \end{aligned}
(4.33)
\begin{aligned}& L_{5}=- \int P_{tt}\mathrm{div}u_{t}\,dx\leqslant \Vert P_{tt} \Vert _{L^{2}}^{2}+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2}\leqslant C+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2}, \end{aligned}
(4.34)
\begin{aligned}& \begin{aligned}[b] L_{6}+L_{7}+L_{8}&=- \int \rho _{tt}\theta e_{2}\cdot u_{t} \,dx- \int \rho _{t}\theta _{t} e_{2}\cdot u_{t}\,dx+ \int \rho \theta _{t} e_{2} \cdot u_{tt} \,dx \\ &\leqslant \Vert \rho _{tt} \Vert _{L^{2}} \Vert \theta \Vert _{L^{\infty }} \Vert u_{t} \Vert _{L^{2}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert \theta _{t} \Vert _{L^{2}} \Vert u_{t} \Vert _{L^{4}}+ \Vert \sqrt{ \rho }u_{tt} \Vert _{L^{2}} \Vert \theta _{t} \Vert _{L^{2}} \\ &\leqslant \frac{1}{4} \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}}^{2}+ \bigl( \Vert \rho _{tt} \Vert _{L^{2}}^{2}+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2}+ \Vert \theta _{t} \Vert _{L^{2}}^{2} \bigr). \end{aligned} \end{aligned}
(4.35)

At last, integrating (4.29) over time $$(0,T)$$ and inserting estimates (4.30)–(4.35), we have

\begin{aligned} \int \mu \vert \nabla u_{t} \vert ^{2}\,dx+ \int _{0}^{T} \int \rho u_{tt}^{2}\,dx \,ds \leqslant C+ \int _{0}^{T}C\bigl(1+ \Vert \nabla u_{t} \Vert _{L^{2}}^{2}\bigr) \Vert \nabla u_{t} \Vert _{L^{2}}^{2}\,ds, \end{aligned}
(4.36)

from which, together with Gronwall’s inequality, (4.22) is obtained immediately. This completes the proof of Lemma 4.3. □

### Lemma 4.4

Let $$(\rho , u, \theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, under the condition of Theorem 1.1, the following estimates hold:

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \rho \Vert _{H^{3}}+ \Vert P \Vert _{H^{3}} \bigr)\leqslant C(T), \end{aligned}
(4.37)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \Vert \nabla u \Vert _{H^{2}}^{2}+ \int _{0}^{T} \bigl( \Vert \nabla u_{t} \Vert _{H^{1}}^{2}+ \Vert \nabla u \Vert _{H^{3}}^{2} \bigr)\,ds \leqslant C(T). \end{aligned}
(4.38)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2}+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2} \bigr)+ \int _{0}^{T} \bigl( \bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}}^{2}+ \Vert \theta _{tt} \Vert _{L^{2}}^{2} \bigr)\,ds \leqslant C(T). \end{aligned}
(4.39)

### Proof

It follows from Lemma 4.3 that

\begin{aligned} \bigl\Vert \nabla (\rho \dot{u}) \bigr\Vert _{L^{2}}& \leqslant \Vert \nabla \rho u_{t} \Vert _{L^{2}}+ \Vert \rho \nabla u_{t} \Vert _{L^{2}}+ \Vert \nabla \rho u\cdot \nabla u \Vert _{L^{2}}+ \Vert \rho \nabla u\cdot \nabla u \Vert _{L^{2}}+ \bigl\Vert \rho u\cdot \nabla ^{2} u \bigr\Vert _{L^{2}} \\ &\leqslant \Vert \nabla \rho \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{4}}+ \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert \nabla \rho \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u \Vert _{L^{4}} \\ &\quad {}+ \Vert \nabla u \Vert _{L^{4}}^{2}+ \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{2}}^{2} \\ &\leqslant C, \end{aligned}
(4.40)

which together with Lemma 4.1 gives

$$\sup_{0\leqslant t\leqslant T} \Vert \rho \dot{u} \Vert _{H^{1}}\leqslant C.$$
(4.41)

The standard $$H^{1}$$ estimate for elliptic system (3.17) yields

\begin{aligned} \bigl\Vert \nabla ^{2}u \bigr\Vert _{H^{1}} \leqslant C \bigl( \Vert \rho \dot{u} \Vert _{H^{1}}+ \Vert \nabla P \Vert _{H^{1}}+ \Vert \rho \theta e_{2} \Vert _{H^{1}} \bigr)\leqslant C. \end{aligned}
(4.42)

Then, as a consequence of (4.2) and (4.42), we have

$$\sup_{0\leqslant t\leqslant T} \Vert \nabla u \Vert _{H^{2}}\leqslant C.$$
(4.43)

Moreover, the standard $$L^{2}$$-estimate for elliptic system (3.17) and Lemma 4.3 yields that

\begin{aligned} \bigl\Vert \nabla ^{2}u_{t} \bigr\Vert _{L^{2}}&\leqslant C \bigl( \Vert \rho u_{tt} \Vert _{L^{2}}+ \Vert \rho _{t} u_{t} \Vert _{L^{2}}+ \Vert \rho _{t} u\cdot \nabla u \Vert _{L^{2}}+ \Vert \rho u_{t}\cdot \nabla u \Vert _{L^{2}}+ \Vert \rho u\cdot \nabla u_{t} \Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla P_{t} \Vert _{L^{2}}+ \Vert \rho _{t}\theta e_{2} \Vert _{L^{2}}+ \Vert \rho \theta _{t} e_{2} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert \rho u_{tt} \Vert _{L^{2}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{4}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u \Vert _{L^{4}}+ \Vert u_{t} \Vert _{L^{4}} \Vert \nabla u \Vert _{L^{4}} \\ &\quad {}+ \Vert u \Vert _{L^{\infty }} \Vert \nabla u_{t} \Vert _{L^{2}}+ \Vert \nabla P_{t} \Vert _{L^{2}}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert \theta \Vert _{L^{4}}+ \Vert \theta _{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert \rho u_{tt} \Vert _{L^{2}}+ \Vert \theta _{t} \Vert _{L^{2}}+1 \bigr), \end{aligned}
(4.44)

which together with (4.22) implies

$$\int _{0}^{T} \Vert \nabla u_{t} \Vert _{H^{1}}^{2}\,ds\leqslant C.$$
(4.45)

On the other hand, applying the standard $$H^{2}$$-estimate for elliptic system (3.17) again leads to

\begin{aligned} \bigl\Vert \nabla ^{2}u \bigr\Vert _{H^{2}}&\leqslant C \bigl( \Vert \rho \dot{u} \Vert _{H^{2}}+ \Vert \nabla P \Vert _{H^{2}}+ \Vert \rho \theta e_{2} \Vert _{H^{2}} \bigr) \\ &\leqslant C \bigl( \bigl\Vert \nabla ^{2}(\rho u_{t}) \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}( \rho u\cdot \nabla u) \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+1 \bigr), \end{aligned}
(4.46)

where

\begin{aligned} \bigl\Vert \nabla ^{2}(\rho u_{t}) \bigr\Vert _{L^{2}}&\leqslant C \bigl( \bigl\Vert \nabla ^{2} \rho u_{t} \bigr\Vert _{L^{2}}+ \Vert \nabla \rho \nabla u_{t} \Vert _{L^{2}}+ \bigl\Vert \nabla ^{2} u_{t} \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}} \Vert u_{t} \Vert _{L^{\infty }}+ \Vert \nabla \rho \Vert _{L^{4}} \Vert \nabla u_{t} \Vert _{L^{4}}+ \bigl\Vert \nabla ^{2} u_{t} \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}} \Vert \nabla u_{t} \Vert _{H^{1}}+ \Vert \nabla \rho \Vert _{H^{1}} \Vert \nabla u_{t} \Vert _{H^{1}}+ \bigl\Vert \nabla ^{2} u_{t} \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C \Vert \nabla u_{t} \Vert _{H^{1}}, \end{aligned}
(4.47)

and

\begin{aligned} \bigl\Vert \nabla ^{2}(\rho u\cdot \nabla u) \bigr\Vert _{L^{2}}&\leqslant C \bigl( \bigl\Vert \nabla ^{2} \rho u\cdot \nabla u \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2} u\cdot \nabla u \bigr\Vert _{L^{2}}+ \bigl\Vert u\cdot \nabla ^{3} u \bigr\Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla \rho \nabla u\cdot \nabla u \Vert _{L^{2}}+ \bigl\Vert \nabla \rho u\cdot \nabla ^{2} u \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \bigl\Vert \nabla ^{2} \rho u\cdot \nabla u \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2} u\cdot \nabla u \bigr\Vert _{L^{2}}+ \bigl\Vert u\cdot \nabla ^{3} u \bigr\Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla \rho \nabla u\cdot \nabla u \Vert _{L^{2}}+ \bigl\Vert \nabla \rho u\cdot \nabla ^{2} u \bigr\Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \bigl\Vert \nabla ^{2} \rho \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{\infty }} \Vert \nabla u \Vert _{L^{\infty }}+ \bigl\Vert \nabla ^{2} \bigr\Vert _{L^{4}} \Vert \nabla u \Vert _{L^{4}}+ \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \\ &\quad {}+ \Vert \nabla \rho \Vert _{L^{6}} \Vert \nabla u \Vert _{L^{6}}^{2}+ \Vert \nabla \rho \Vert _{L^{4}} \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{4}} \bigr) \\ &\leqslant C. \end{aligned}
(4.48)

In order to estimate the third term on the right-hand side of (4.46), applying $$\nabla ^{3}$$ to (4.18) and integrating the resulting equation over Ω, we obtain

\begin{aligned} &\frac{d}{dt} \bigl\Vert \nabla ^{3}P \bigr\Vert _{L^{2}}^{2} \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3}u \cdot \nabla P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla u\cdot \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2} u\cdot \nabla ^{2} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{4} u P \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \Vert \nabla P \Vert _{L^{\infty }}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{4}} \bigl\Vert \nabla ^{2} P \bigr\Vert _{L^{4}}+ \bigl\Vert \nabla ^{4} u \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{4} u \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}(\rho \dot{u}) \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}(\rho \theta e_{2}) \bigr\Vert _{L^{2}} \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}(\rho u_{t}) \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}(u\cdot \nabla u) \bigr\Vert _{L^{2}}+1 \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{2}\rho \bigr\Vert _{L^{2}} \Vert u_{t} \Vert _{L^{\infty }}+ \bigl\Vert \nabla ^{2}u_{t} \bigr\Vert _{L^{2}}+ \Vert \nabla \rho \Vert _{L^{4}} \Vert \nabla u_{t} \Vert _{L^{4}} \\ &\qquad {}+ \bigl\Vert \nabla ^{2}u\cdot \nabla u \bigr\Vert _{L^{2}}+ \bigl\Vert u\cdot \nabla ^{3} u \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla u\cdot \nabla ^{2} u \bigr\Vert _{L^{2}}+1 \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \Vert \nabla u_{t} \Vert _{H^{1}}+ \Vert \nabla \rho \Vert _{H^{1}} \Vert \nabla u_{t} \Vert _{H^{1}}+ \bigl\Vert \nabla ^{2}u \bigr\Vert _{L^{4}} \Vert \nabla u \Vert _{L^{4}} \\ &\qquad {}+ \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{2} u \bigr\Vert _{L^{2}}+1 \bigr) \\ &\quad \leqslant C \bigl( \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}+ \Vert \nabla u_{t} \Vert _{H^{1}}+1 \bigr), \end{aligned}
(4.49)

which, together with Gronwall’s inequality (4.45), implies that

$$\sup_{0\leqslant t\leqslant T} \bigl\Vert \nabla ^{3} P \bigr\Vert _{L^{2}}\leqslant C.$$
(4.50)

Taking (4.45)–(4.50) into consideration, we have

$$\int _{0}^{T} \Vert \nabla u \Vert _{H^{3}}^{2}\,ds\leqslant C.$$
(4.51)

It is easy to check that similar arguments work for ρ by using (4.51).

At last, in order to estimate the third-order derivative of temperature, differentiating (1.2)3 with respect to t, we get

\begin{aligned} \theta _{tt}+ u_{t}\cdot \nabla \theta -u \cdot \nabla \theta _{t}- \kappa \Delta \theta _{t}=0. \end{aligned}
(4.52)

Then, multiplying (4.52) by $$\theta _{tt}$$ and then integrating the resulting equation over Ω, after integration by parts, we obtain

\begin{aligned} \frac{\kappa }{2}\frac{d}{dt} \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2}+ \Vert \theta _{tt} \Vert _{L^{2}}^{2}&=- \int u_{t}\cdot \nabla \theta \theta _{tt} \,dx- \int u\cdot \nabla \theta _{t} \theta _{tt} \,dx \\ &\leq \frac{1}{2} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+ \int \vert u_{t}\cdot \nabla \theta \vert ^{2} \,dx+ \int \vert u\cdot \nabla \theta _{t} \vert ^{2} \,dx \\ &\leq \frac{1}{2} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+ \Vert u_{t} \Vert _{L^{4}}^{2} \Vert \nabla \theta \Vert _{L^{4}}^{2}+ \Vert u \Vert _{L^{\infty }}^{2} \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2} \\ &\leq \frac{1}{2} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+C \bigl( \Vert \nabla u_{t} \Vert _{L^{2}}^{2} \Vert \nabla \theta \Vert _{H^{1}}^{2}+ \Vert u \Vert _{H^{2}}^{2} \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2} \bigr) \\ &\leq \frac{1}{2} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+C \bigl(1+ \Vert u \Vert _{H^{2}}^{2} \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2} \bigr), \end{aligned}
(4.53)

from which, together with Gronwall’s inequality, we have

$$\sup_{0\leqslant t\leqslant T} \Vert \nabla \theta _{t} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \Vert \theta _{tt} \Vert _{L^{2}}^{2}\,ds \leqslant C(T).$$
(4.54)

Now, we apply the operator $$\nabla ^{3}$$ on both sides of equation (1.2)3, then we have

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2}+\kappa \bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}}^{2} \\ &\quad =- \int \nabla ^{3}(u\cdot \nabla ) \theta \nabla ^{3} \theta \,dx \\ &\quad =- \int \bigl(\nabla ^{3}u\cdot \nabla \bigr)\theta \nabla ^{3}\theta \,dx- \int \bigl(u \cdot \nabla ^{4}\bigr)\theta \nabla ^{3}\theta \,dx-3 \int \bigl(\nabla ^{2} u \cdot \nabla ^{2}\bigr) \theta \nabla ^{3}\theta \,dx \\ &\qquad {}-3 \int \bigl(\nabla u\cdot \nabla ^{3}\bigr)\theta \nabla ^{3} \theta \,dx \\ &\quad \leq C \bigl( \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \Vert \nabla \theta \Vert _{L^{4}} \bigl\Vert \nabla ^{3} \theta \bigr\Vert _{L^{4}}+ \Vert u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3} u \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2} \theta \bigr\Vert _{L^{4}}^{2} \\ &\qquad {}+ \Vert \nabla u \Vert _{L^{\infty }} \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\quad \leq C \bigl( \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{\frac{1}{2}} \bigl\Vert \nabla ^{4} \theta \bigr\Vert _{L^{2}}^{\frac{1}{2}}+ \bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{3} \theta \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2} \bigr) \\ &\quad \leq \frac{\kappa }{2} \bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}}^{2}+C \bigl(1+ \bigl\Vert \nabla ^{3}\theta \bigr\Vert _{L^{2}}^{2} \bigr), \end{aligned}
(4.55)

from which, after integration over $$(0,T)$$, (4.39) is proved. Hence, the proof of Lemma 4.4 is completed. □

### Lemma 4.5

Let $$(\rho , u, \theta )$$ be a classical solution of (1.2), (1.6)(1.7) on $$\Omega \times (0,T]$$, under the condition of Theorem 1.1, the following estimates hold:

\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \nabla u_{t} \Vert _{H^{1}}^{2}+ \bigl\Vert \nabla ^{4} u \bigr\Vert _{L^{2}}^{2} \bigr)+ \int _{0}^{T} \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}\,ds \leqslant C(T), \end{aligned}
(4.56)
\begin{aligned}& \sup_{0\leqslant t\leqslant T} \bigl( \Vert \nabla \theta _{t} \Vert _{H^{1}}^{2}+ \bigl\Vert \nabla ^{4} \theta \bigr\Vert _{L^{2}}^{2} \bigr)+ \int _{0}^{T} \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{2}\,ds\leqslant C(T). \end{aligned}
(4.57)

### Proof

First, differentiating (1.2)2 with respect to t twice, one can get

\begin{aligned} &\rho u_{ttt}+\rho u\cdot \nabla u_{tt}-\mu \Delta u_{tt} \\ &\quad =2 \mathrm{div}(\rho u)u_{tt}+\mathrm{div}( \rho u)_{t}u_{t}-2(\rho u)_{t} \cdot \nabla u_{t}-(\rho _{tt}u+2\rho _{t}u_{t}) \cdot \nabla u \\ &\qquad{} -\rho u_{tt}\cdot \nabla u-\nabla P_{tt}+\rho _{tt} \theta e_{2}+2\rho _{t}\theta _{t}e_{2}+\rho \theta _{tt}e_{2}. \end{aligned}
(4.58)

Multiplying (4.58) by $$u_{tt}$$ and then integrating the resulting equation over Ω, after integration by parts, we obtain

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \int \rho \vert u_{tt} \vert ^{2}\,dx+ \int \mu \vert \nabla u_{tt} \vert ^{2}\,dx \\ &\quad =-4 \int \rho uu_{tt}\cdot \nabla u_{tt}\,dx- \int (\rho u)_{t}\cdot \bigl(\nabla (u_{t}\cdot u_{tt})+2\nabla u_{t}\cdot u_{tt} \bigr)\,dx \\ &\qquad{} - \int (\rho _{tt}u+2\rho _{t}u_{t})\cdot \nabla u\cdot u_{tt}\,dx- \int \rho u_{tt}\cdot \nabla u\cdot u_{tt}\,dx+ \int P_{tt}\mathrm{div} u_{tt}\,dx \\ &\qquad {}+ \int (\rho _{tt}\theta e_{2}+2\rho _{t} \theta _{t}e_{2}+ \rho \theta _{tt}e_{2} ) \,dx \\ &\quad :=\sum_{i=1}^{6}M_{i}. \end{aligned}
(4.59)

Next, we estimate each term $$M_{i}$$, $$i=1,2,3,4,5$$, as follows:

\begin{aligned} M_{1}&=-4 \int \rho uu_{tt}\cdot \nabla u_{tt}\,dx\leqslant C \Vert u \Vert _{L^{\infty }} \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}} \Vert \nabla u_{tt} \Vert _{L^{2}} \\ &\leqslant \delta \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}+C \Vert \sqrt{\rho }u_{tt} \Vert _{L^{2}}^{2}. \end{aligned}
(4.60)

It follows from Lemma 4.2, Lemma 4.3, and Lemma 4.4 that

\begin{aligned}& \begin{aligned}[b] M_{2}&=- \int (\rho u)_{t}\cdot \bigl(\nabla (u_{t}\cdot u_{tt})+2 \nabla u_{t}\cdot u_{tt} \bigr)\,dx \\ &\leqslant C \bigl( \Vert \rho _{t}u \Vert _{L^{4}}+ \Vert \rho u_{t} \Vert _{L^{4}} \bigr) \bigl( \Vert \nabla u_{t} \Vert _{L^{2}} \Vert u_{tt} \Vert _{L^{4}}+ \Vert u_{t} \Vert _{L^{4}} \Vert \nabla u_{tt} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert \rho _{t} \Vert _{H^{1}}+ \Vert u_{t} \Vert _{H^{1}} \bigr) \bigl( \Vert u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{tt} \Vert _{L^{2}}^{\frac{1}{2}}+ \Vert u_{t} \Vert _{H^{1}} \Vert \nabla u_{tt} \Vert _{L^{2}} \bigr) \\ &\leqslant \delta \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}+C, \end{aligned} \end{aligned}
(4.61)
\begin{aligned}& \begin{aligned}[b] M_{3}&=- \int (\rho _{tt}u+2\rho _{t}u_{t})\cdot \nabla u\cdot u_{tt}\,dx \\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}} \Vert u \Vert _{L^{\infty }}+ \Vert \rho _{t} \Vert _{L^{4}} \Vert u_{t} \Vert _{L^{4}} \bigr) \Vert \nabla u \Vert _{L^{4}} \Vert u_{tt} \Vert _{L^{4}} \\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}} \Vert u \Vert _{H^{2}}+ \Vert \rho _{t} \Vert _{H^{1}} \Vert u_{t} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{t} \Vert _{L^{2}}^{\frac{1}{2}} \bigr) \Vert \nabla u \Vert _{H^{1}} \Vert u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \\ &\leqslant \delta \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}+C \Vert \rho _{tt} \Vert _{L^{2}}^{2}, \end{aligned} \end{aligned}
(4.62)
\begin{aligned}& \begin{aligned}[b] M_{4}+M_{5}&=- \int \rho u_{tt}\cdot \nabla u\cdot u_{tt}\,dx+ \int P_{tt} \mathrm{div} u_{tt}\,dx \\ &\leqslant C \bigl( \Vert \sqrt{\rho } u_{tt} \Vert _{L^{2}} \Vert \nabla u \Vert _{L^{4}} \Vert u_{tt} \Vert _{L^{4}}+ \Vert P_{tt} \Vert _{L^{2}} \Vert \nabla u_{tt} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert \sqrt{\rho } u_{tt} \Vert _{L^{2}} \Vert \nabla u \Vert _{H^{1}} \Vert u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{tt} \Vert _{L^{2}}^{\frac{1}{2}}+ \Vert P_{tt} \Vert _{L^{2}} \Vert \nabla u_{tt} \Vert _{L^{2}} \bigr) \\ &\leqslant \delta \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}+C \bigl( \Vert \sqrt{\rho } u_{tt} \Vert _{L^{2}}^{2}+ \Vert P_{tt} \Vert _{L^{2}}^{2} \bigr), \end{aligned} \end{aligned}
(4.63)
\begin{aligned}& \begin{aligned}[b] M_{6}&= \int (\rho _{tt}\theta e_{2}+2\rho _{t} \theta _{t}e_{2}+ \rho \theta _{tt}e_{2} ) \,dx\\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}} \Vert \theta \Vert _{L^{\infty }}+ \Vert \rho _{t} \Vert _{L^{2}} \Vert \theta _{t} \Vert _{L^{2}}+ \Vert \rho \Vert _{L^{\infty }} \Vert \theta _{tt} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl( \Vert \rho _{tt} \Vert _{L^{2}}+ \Vert \theta _{tt} \Vert _{L^{2}}+1 \bigr). \end{aligned} \end{aligned}
(4.64)

Substituting (4.60)–(4.64) into (4.59) and choosing δ suitably small, we get

\begin{aligned} \begin{aligned}[b]&\frac{d}{dt} \int \rho \vert u_{tt} \vert ^{2}\,dx+ \int \mu \vert \nabla u_{tt} \vert ^{2}\,dx \\ &\quad \leqslant C \bigl( \Vert \sqrt{\rho } u_{tt} \Vert _{L^{2}}^{2}+ \Vert \rho _{tt} \Vert _{L^{2}}^{2}+ \Vert P_{tt} \Vert _{L^{2}}^{2}+ \Vert \theta _{tt} \Vert _{L^{2}}+1 \bigr). \end{aligned} \end{aligned}
(4.65)

Then, integrating inequality (4.65) over $$(0,T)$$, together with (4.21) and Gronwall’s inequality, yields that

\begin{aligned} \sup_{0\leqslant t\leqslant T} \int \rho \vert u_{tt} \vert ^{2}\,dx+ \int _{0}^{T} \int \vert \nabla u_{tt} \vert ^{2}\,dx \,ds \leqslant C(T). \end{aligned}
(4.66)

Then (4.56) follows from (4.22) and (4.44).

Next, differentiating (1.2)3 with respect to t twice, we get

\begin{aligned} \theta _{ttt}-\kappa \Delta \theta _{tt}=-u_{tt}\cdot \nabla \theta -2u_{t} \cdot \nabla \theta _{t}-u\cdot \nabla \theta _{tt}. \end{aligned}
(4.67)

Multiplying (4.67) by $$\theta _{tt}$$ and then integrating the resulting equation over Ω, after integration by parts, we have

\begin{aligned} &\frac{1}{2}\frac{d}{dt} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+\kappa \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{2} \\ &\quad =- \int \bigl[(u\cdot \nabla )\theta \bigr]_{tt} \theta _{tt} \,dx \\ &\quad =- \int (u_{tt}\cdot \nabla \theta +2u_{t}\cdot \nabla \theta _{t}+u \cdot \nabla \theta _{tt})\theta _{tt} \,dx \\ &\quad \leq C \bigl( \Vert u_{tt} \Vert _{L^{4}} \Vert \nabla \theta \Vert _{L^{2}} \Vert \theta _{tt} \Vert _{L^{4}}+ \Vert u_{t} \Vert _{L^{4}} \Vert \nabla \theta _{t} \Vert _{L^{2}} \Vert \theta _{tt} \Vert _{L^{4}}+ \Vert \nabla u \Vert _{L^{2}} \Vert \theta _{tt} \Vert _{L^{4}}^{2} \bigr) \\ &\quad \leq C \bigl( \Vert u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \theta _{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{\frac{1}{2}}+ \Vert u_{t} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla u_{t} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla \theta _{t} \Vert _{L^{2}} \Vert \theta _{tt} \Vert _{L^{2}}^{\frac{1}{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{\frac{1}{2}} \\ &\qquad {}+ \Vert \theta _{tt} \Vert _{L^{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}} \bigr) \\ &\quad \leq C \bigl( \Vert \nabla u_{tt} \Vert _{L^{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}}+ \Vert \nabla u_{t} \Vert _{L^{2}} \Vert \nabla \theta _{t} \Vert _{L^{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}}+ \Vert \theta _{tt} \Vert _{L^{2}} \Vert \nabla \theta _{tt} \Vert _{L^{2}} \bigr) \\ &\quad \leq \frac{\kappa }{2} \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{2}+C \bigl(1+ \Vert \nabla u_{tt} \Vert _{L^{2}}^{2}+ \Vert \theta _{tt} \Vert _{L^{2}} \bigr), \end{aligned}
(4.68)

where in the last inequality we have used (4.22) and (4.39). Then, integrating inequality (4.68) over $$(0,T)$$, together with (4.56) and Gronwall’s inequality, yields that

\begin{aligned} \sup_{0\leqslant t\leqslant T} \Vert \theta _{tt} \Vert _{L^{2}}^{2}+ \int _{0}^{T} \kappa \Vert \nabla \theta _{tt} \Vert _{L^{2}}^{2}\,ds\leqslant C(T). \end{aligned}
(4.69)

Furthermore, the standard $$L^{2}$$-estimate for elliptic system (4.52) and Lemma 4.3 yields that

\begin{aligned} \bigl\Vert \nabla ^{2}\theta _{t} \bigr\Vert _{L^{2}}&\leqslant C \bigl( \Vert \theta _{tt} \Vert _{L^{2}}+ \Vert u_{t}\cdot \nabla \theta \Vert _{L^{2}}+ \Vert u\cdot \nabla \theta _{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl(1+ \Vert u_{t} \Vert _{L^{4}} \Vert \nabla \theta \Vert _{L^{4}}+ \Vert u \Vert _{L^{\infty }} \Vert \nabla \theta _{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C \bigl(1+ \Vert \nabla u_{t} \Vert _{L^{2}} \bigl\Vert \nabla ^{2}\theta \bigr\Vert _{L^{2}}+ \Vert \nabla \theta _{t} \Vert _{L^{2}} \bigr) \\ &\leqslant C, \end{aligned}
(4.70)

where we have used (4.22), (4.39), (4.69). Hence, combining (1.2)3, (4.70), and Lemma 4.4, by using elliptic estimate, we have

$$\bigl\Vert \nabla ^{4}\theta \bigr\Vert _{L^{2}}\leqslant C \bigl( \bigl\Vert \nabla ^{2}\theta _{t} \bigr\Vert _{L^{2}}+ \bigl\Vert \nabla u\cdot \nabla ^{2}\theta \bigr\Vert _{L^{2}}+ \bigl\Vert u\cdot \nabla ^{3} \theta \bigr\Vert _{H^{2}} \bigr)\leqslant C,$$

by which we finish the proof of Lemma 4.5. □

Finally, by using the continuity argument, we can extend the local classical solution to a global one, and thus Theorem 1.1 is proved.

## References

1. 1.

Abidi, H., Hmidi, T.: On the global well-posedness for Boussinesq system. J. Differ. Equ. 233(1), 199–220 (2007)

2. 2.

Abidi, H., Zhang, P.: On the global well-posedness of 2-D Boussinesq system with variable viscosity. Adv. Math. 305, 1202–1249 (2017)

3. 3.

Abidi, H., Zhang, P.: On the global well-posedness of 3-D Boussinesq system with variable viscosity. Chin. Ann. Math., Ser. B 40(5), 643–688 (2019)

4. 4.

Brandolese, L., Schonbek, M.E.: Large time decay and growth for solutions of a viscous Boussinesq system. Trans. Am. Math. Soc. 364(10), 5057–5090 (2012)

5. 5.

Brézis, H., Gallouet, T.: Nonlinear Schrödinger evolution equations. Nonlinear Anal. 4(4), 677–681 (1980)

6. 6.

Brézis, H., Wainger, S.: A note on limiting cases of Sobolev embeddings and convolution inequalities. Commun. Partial Differ. Equ. 5(7), 773–789 (1980)

7. 7.

Cannon, J.R., DiBenedetto, E.: The initial value problem for the Boussinesq equations with data in $$L^{p}$$. In: Approximation Methods for Navier–Stokes Problems (Proc. Sympos., Univ. Paderborn, Paderborn, 1979). Lecture Notes in Math., vol. 771, pp. 129–144. Springer, Berlin (1980)

8. 8.

Chae, D.: Global regularity for the 2D Boussinesq equations with partial viscosity terms. Adv. Math. 203(2), 497–513 (2006)

9. 9.

Chae, D., Kim, S.-K., Nam, H.-S.: Local existence and blow-up criterion of Hölder continuous solutions of the Boussinesq equations. Nagoya Math. J. 155, 55–80 (1999)

10. 10.

Chae, D., Nam, H.-S.: Local existence and blow-up criterion for the Boussinesq equations. Proc. R. Soc. Edinb. A 127(5), 935–946 (1997)

11. 11.

Cho, Y., Kim, H.: Existence results for viscous polytropic fluids with vacuum. J. Differ. Equ. 228(2), 377–411 (2006)

12. 12.

Danchin, R., Paicu, M.: Existence and uniqueness results for the Boussinesq system with data in Lorentz spaces. Physica D 237(10–12), 1444–1460 (2008)

13. 13.

Danchin, R., Paicu, M.: Global existence results for the anisotropic Boussinesq system in dimension two. Math. Models Methods Appl. Sci. 21(3), 421–457 (2011)

14. 14.

Dong, B.-Q., Ye, Z., Zhai, X.: Global regularity for the 2D Boussinesq equations with temperature-dependent viscosity. J. Math. Fluid Mech. 22(1), Paper No. 2, 16 (2020)

15. 15.

Engler, H.: An alternative proof of the Brezis–Wainger inequality. Commun. Partial Differ. Equ. 14(4), 541–544 (1989)

16. 16.

Hmidi, T., Rousset, F.: Global well-posedness for the Euler–Boussinesq system with axisymmetric data. J. Funct. Anal. 260(3), 745–796 (2011)

17. 17.

Hou, T.Y., Li, C.: Global well-posedness of the viscous Boussinesq equations. Discrete Contin. Dyn. Syst. 12(1), 1–12 (2005)

18. 18.

Huang, X., Li, J., Xin, Z.: Global well-posedness of classical solutions with large oscillations and vacuum to the three-dimensional isentropic compressible Navier–Stokes equations. Commun. Pure Appl. Math. 65(4), 549–585 (2012)

19. 19.

Jiu, Q., Liu, J.: Global-wellposedness of 2D Boussinesq equations with mixed partial temperature-dependent viscosity and thermal diffusivity. Nonlinear Anal. 132, 227–239 (2016)

20. 20.

Li, D., Xu, X.: Global wellposedness of an inviscid 2D Boussinesq system with nonlinear thermal diffusivity. Dyn. Partial Differ. Equ. 10(3), 255–265 (2013)

21. 21.

Li, H., Pan, R., Zhang, W.: Initial boundary value problem for 2D Boussinesq equations with temperature-dependent diffusion. J. Hyperbolic Differ. Equ. 12(3), 469–488 (2015)

22. 22.

Li, W., Shang, Z., Tang, F.: Global existence of classical solutions for two-dimensional isentropic compressible Navier–Stokes equations with small initial mass. Adv. Differ. Equ. 2020, 214 (2020)

23. 23.

Liu, X., Li, Y.: On the stability of global solutions to the 3D Boussinesq system. Nonlinear Anal. 95, 580–591 (2014)

24. 24.

Lorca, S.A., Boldrini, J.L.: The initial value problem for a generalized Boussinesq model. Nonlinear Anal., Theory Methods Appl. 36(4), 457–480 (1999)

25. 25.

Majda, A.: Introduction to PDEs and Waves for the Atmosphere and Ocean. Courant Lecture Notes in Mathematics, vol. 9. Am. Math. Soc., Providence (2003)

26. 26.

Qin, Y., Wang, Y., Su, X., Zhang, J.: Global existence of solutions for the three-dimensional Boussinesq system with anisotropic data. Discrete Contin. Dyn. Syst. 36(3), 1563–1581 (2016)

27. 27.

Qiu, H., Yao, Z.: Well-posedness for density-dependent Boussinesq equations without dissipation terms in Besov spaces. Comput. Math. Appl. 73(9), 1920–1931 (2017)

28. 28.

Sawada, O., Taniuchi, Y.: On the Boussinesq flow with nondecaying initial data. Funkc. Ekvacioj 47(2), 225–250 (2004)

29. 29.

Shang, Z., Tang, F.: Global existence and exponential decay of strong solutions for the three-dimensional Boussinesq equations. J. Inequal. Appl. 2020, 50, 10 (2020)

30. 30.

Su, X., Wang, G., Wang, Y.: Persistence of global well-posedness for the 2D Boussinesq equations with fractional dissipation. Adv. Differ. Equ. 2019, 420, 19 (2019)

31. 31.

Sun, Y., Wang, C., Zhang, Z.: A Beale–Kato–Majda blow-up criterion for the 3-D compressible Navier–Stokes equations. J. Math. Pures Appl. (9) 95(1), 36–47 (2011)

32. 32.

Sun, Y., Zhang, Z.: Global regularity for the initial-boundary value problem of the 2-D Boussinesq system with variable viscosity and thermal diffusivity. J. Differ. Equ. 255(6), 1069–1085 (2013)

33. 33.

Tang, T., Gao, H.: On the compressible Boussinesq equations with partial dissipation term. Taiwan. J. Math. 18(5), 1583–1604 (2014)

34. 34.

Wang, C., Zhang, Z.: Global well-posedness for the 2-D Boussinesq system with the temperature-dependent viscosity and thermal diffusivity. Adv. Math. 228(1), 43–62 (2011)

35. 35.

Wen, H., Zhu, C.: Global solutions to the three-dimensional full compressible Navier–Stokes equations with vacuum at infinity in some classes of large data. SIAM J. Math. Anal. 49(1), 162–221 (2017)

36. 36.

Wen, Z., Ye, Z.: On the global existence of strong solution to the 3D damped Boussinesq equations with zero thermal diffusion. Z. Anal. Anwend. 37(3), 341–348 (2018)

37. 37.

Xu, X.: Local existence and blow-up criterion of the 2-D compressible Boussinesq equations without dissipation terms. Discrete Contin. Dyn. Syst. 25(4), 1333–1347 (2009)

38. 38.

Ye, Z.: Global regularity for a 3D Boussinesq model without thermal diffusion. Z. Angew. Math. Phys. 68(4), Art. 83, 9 (2017)

39. 39.

Ye, Z.: On global well-posedness for the 3D Boussinesq equations with fractional partial dissipation. Appl. Math. Lett. 90, 1–7 (2019)

40. 40.

Ye, Z.: Blow-up criterion of strong solution with vacuum for the 2D nonhomogeneous density–temperature-dependent Boussinesq equations. Z. Anal. Anwend. 39(1), 83–101 (2020)

41. 41.

Ye, Z.: Global regularity results for the 2D Boussinesq equations and micropolar equations with partial dissipation. J. Differ. Equ. 268(3), 910–944 (2020)

42. 42.

Yu, H., Zhao, J.: Global classical solutions to the 3D isentropic compressible Navier–Stokes equations in a bounded domain. Nonlinearity 30(1), 361–381 (2017)

43. 43.

Zhai, X., Chen, Z.-M.: Global well-posedness for N-dimensional Boussinesq system with viscosity depending on temperature. Commun. Math. Sci. 16(5), 1427–1449 (2018)

44. 44.

Zhai, X., Dong, B.-Q., Chen, Z.-M.: Global well-posedness for 2-D Boussinesq system with the temperature-dependent viscosity and supercritical dissipation. J. Differ. Equ. 267(1), 364–387 (2019)

45. 45.

Zhong, X.: Global well-posedness to the Cauchy problem of two-dimensional density-dependent Boussinesq equations with large initial data and vacuum. Discrete Contin. Dyn. Syst. 39(11), 6713–6745 (2019)

46. 46.

Zhong, X.: Strong solutions to the 2D Cauchy problem of density-dependent viscous Boussinesq equations with vacuum. J. Math. Phys. 60(5), 051505, 15 (2019)

47. 47.

Zlotnik, A.A.: Uniform estimates and the stabilization of symmetric solutions of a system of quasilinear equations. Differ. Uravn. 36(5), 634–646, 718 (2000)

### Acknowledgements

The authors sincerely appreciate the anonymous referees for their careful reading and suggestions for the paper. The authors would also like to thank Journal of Inequalities and Applications for considering this paper to be published.

Not applicable.

## Funding

The second author’s research was supported in part by the Chinese National Natural Science Foundation under grant 11571232 and 11831011.

## Author information

Authors

### Contributions

The authors have made the same contribution. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Zhaoyang Shang.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions 