Open Access

The regularity criterion for weak solutions to the n-dimensional Boussinesq system

Boundary Value Problems20172017:44

https://doi.org/10.1186/s13661-017-0778-9

Received: 23 September 2016

Accepted: 21 March 2017

Published: 31 March 2017

Abstract

We consider the Boussinesq system in the homogeneous spaces of degree −1. To narrow the gap for the existence of small regular solutions in \(\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{n})\), the biggest homogeneous space of degree −1 among those embedded in the space of tempered distributions, we show small solutions in the homogeneous Besov space \(\dot{B}^{-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})\), with \(n\geq2\), \(n\leq p<\infty\).

Keywords

Boussinesq equationsregularityweak solution

MSC

35Q3576B03

1 Introduction and main results

The Cauchy problem of the Boussinesq system in \(\mathbb{R}^{n}\) (\(n\geq 2\)) reads
$$ \textstyle\begin{cases} \partial_{t}u+u\cdot\nabla u-\mu\Delta u+\nabla\pi=\theta e_{n},\quad (x,t)\in\mathbb{R}^{n}\times(0,\infty), \\ \partial_{t}\theta+u\cdot\nabla\theta-\kappa\Delta\theta=0,\\ \nabla\cdot u=0,\\ u(x,0)=u_{0}, \quad\quad \theta(x,0)=\theta_{0}, \end{cases} $$
(1.1)
where \(u=u(x,t)\) and \(\theta=\theta(x,t)\) denote the unknown velocity field and the scalar temperature in the content of thermal convection, respectively, and \(\pi=\pi(x,t)\) the scalar density of the geophysical fluids, μ the constant kinematic viscosity, \(\kappa >0\) the thermal diffusivity, and \(e_{n}=(0,0,\ldots,1)^{T}\). While \(u_{0}\), \(\theta_{0}\) are given initial data, with \(\nabla\cdot u_{0}=0\) in the sense of distribution.

The Boussinesq system is extensively used in the atmospheric sciences and oceanographic turbulence (see [13] and references therein). The problem of the global regularity of the weak solutions of the 3D Boussinesq equations is a big open problem. It is meaningful to study the regularity of the weak solutions under additional critical growth conditions on the velocity or the pressure. Based on some analysis technique, there are some regularity criteria via the velocity of weak solutions in Besov spaces have been obtained in [46]. The pressure criterion is in [79]. By the velocity criterion, for the n-dimensional Boussinesq system, Yao et al. in [10] showed the local well-posedness and blow-up criteria in Besov-Morrey spaces \(N_{p,q,r}^{s}(\mathbb{R}^{n})\) in supercritical case \(s > 1 + \frac{n}{p}\), \(1 < q \leq p < \infty\), \(1 \leq r\leq\infty\), and critical case \(s=1+\frac{n}{p}\), \(1 < q \leq p < \infty\), \(r=1\). Zhang et al. [11] got the existence of the 2-dimensional inviscid Boussinesq equations in critical Besov spaces \(B^{\frac{2}{p}+1}_{p,1}(\mathbb{R}^{2})\) and some blow-up criteria.

The global regularity of smooth solution of the 2D Boussinesq equations with the fractional dissipation has been researched recently in [1218]. Several Beale-Kato-Majada-type regularity criterion have been obtained in [1925]. There are also some results for the blow-up criteria for the Boussinesq equations (see [26, 27] and the references therein).

For the Navier-Stokes equations, Xin and Chen in [28] researched the small regular solutions in \(\dot{B}^{-1}_{\infty,\infty}\), which is the biggest homogeneous space of degree −1. The authors studied small solutions in the homogeneous Besov space \(\dot{B}^{-1+\frac {n}{p}}_{p,\infty}(\mathbb{R}^{n})\) and a homogeneous space defined by \(\widehat{M}_{n}(\mathbb{R}^{n})\). Here, motivated by the results in [28], our aim is to do some work addressing the small regular solutions of the n-dimensional Boussinesq system in subcritical spaces \(\dot{B}^{-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})\). The corresponding content in the space \(\widehat{M}_{n}(\mathbb{R}^{n})\) is of our further interest. This result partially extends the result in [28] in another system. More precisely, we will prove the following.

Theorem 1.1

Suppose \(n\geq2\), \(n\leq p<\infty\), \(2-\frac{n}{p}<\alpha<2\), \(u_{0}\in\dot{B}^{-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})\), \(\theta _{0}\in\dot{B}^{-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})\cap\dot {B}^{-3+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})\) with \(\operatorname{div} u_{0}=0\) in \(\mathbb{R}^{n}\), and \(\Vert u_{0} \Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+ \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+ \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac {n}{p}}_{p,\infty}}\leq\epsilon\) for some small constant \(\epsilon =\epsilon(n,p,\alpha)\). Then system (1.1) admits a unique regular solution satisfying
$$\begin{aligned}& \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{1}{2}} \bigl\Vert u(t) \bigr\Vert _{L_{\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\leq C \bigl( \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+ \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac{n}{p}}_{p,\infty }} \bigr), \\& \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{1}{2}} \bigl\Vert \theta(t) \bigr\Vert _{L_{\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty }}\leq C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$

This paper is structured as follows. In Section 2, we introduce the Besov spaces and the lemmas used later. In Section 3, we provide the proof of Theorem 1.1.

2 Preliminary lemmas

We denote (cf. [28])
$$\begin{aligned} \bigl(e^{t\Delta}f \bigr) (x)= \int_{\mathbb{R}^{3}}h(x-y,t)f(y)\,dy, \end{aligned}$$
with the heat kernel \(h(x,t)=(4\pi t)^{-n/2}e^{- \vert x \vert ^{2}/(4t)}\). And the Fourier transform of \(f\in\mathcal {S}\) is defined by
$$\begin{aligned} \widehat{f}(\xi)=(2\pi)^{-\frac{n}{2}} \int_{\mathbb{R}^{n}}f(x)e^{-ix\cdot\xi}\,dx. \end{aligned}$$
Here \(\mathcal{S}(\mathbb{R}^{n})\) stands for the Schwartz class of rapidly decreasing smooth functions and \(\mathcal{S}'(\mathbb{R}^{n})\) is the space of tempered distributions. The fractional order of the Laplacian is showed by the Fourier transform. For \(\alpha\in\mathbb{R}\),
$$\begin{aligned} \widehat{(-\Delta)^{\frac{\alpha}{2}}f}(\xi)= \vert\xi\vert ^{\alpha} \widehat{f}(\xi). \end{aligned}$$

Due to the homogeneous counterpart Theorem 2.12.2 and the lifting property Theorem 5.2.3/1 in [29], the homogeneous Besov spaces can be given as follows.

Definition 2.1

For \(1\leq p,q\leq\infty\) and \(-\infty<\alpha<\infty\), the homogeneous Besov spaces are defined
$$\begin{aligned}& \dot{B}^{\alpha}_{p,q} \bigl(\mathbb{R}^{n} \bigr)= \bigl\{ u\in\mathcal{S}' \bigl(\mathbb{R}^{n} \bigr): \Vert u \Vert _{\dot{B}^{\alpha}_{p,q}}< \infty \bigr\} , \end{aligned}$$
where
$$\Vert u \Vert _{\dot{B}^{\alpha}_{p,q}}= \textstyle\begin{cases} (\int_{0}^{\infty}t^{(1-\alpha/2)q} \Vert \Delta e^{t\Delta}u \Vert ^{q}_{L^{p}}\frac{dt}{t} )^{1/q}, & \mbox{for } 0< \alpha< 2\ (q\neq\infty), \\ \sup_{t>0}t^{1-\alpha/2} \Vert \Delta e^{t\Delta}u \Vert _{L^{p}}, &\mbox{for } 0< \alpha< 2 \ (q=\infty),\\ \Vert (-\Delta)^{(\alpha-1)/2}u \Vert _{\dot {B}^{1}_{p,q}}, & \mbox{for others}. \end{cases} $$
An important property of the homogeneous spaces is its invariance under the following space scaling:
$$\begin{aligned}& \bigl\Vert u(\lambda\cdot) \bigr\Vert _{\dot{B}^{\alpha }_{p,q}}=\lambda^{\alpha-n/p} \bigl\Vert u(\cdot) \bigr\Vert _{\dot{B}^{\alpha}_{p,q}}. \end{aligned}$$
And furthermore, if \(s<0\), the homogeneous Besov spaces \(\dot {B}^{s}_{p,q}(\mathbb{R}^{n})\) can be equivalently defined as follows (cf. [30]).

Lemma 2.1

Suppose \(1\leq p,q\leq\infty\), \(s<0\). Then \(f\in\dot {B}^{s}_{p,q}(\mathbb{R}^{n})\) if and only if
$$\begin{aligned}& \biggl( \int_{0}^{\infty} \bigl(t^{-\frac{s}{2}} \bigl\Vert e^{t\Delta}f \bigr\Vert _{L^{p}(\mathbb{R}^{n})} \bigr)^{q} \frac{dt}{t} \biggr)^{\frac{1}{q}}< \infty, \quad 1\leq q< \infty, \\& \sup_{t>0}t^{-\frac{s}{2}} \bigl\Vert e^{t\Delta}f \bigr\Vert _{L^{p}(\mathbb{R}^{n})}< \infty, \quad q=\infty. \end{aligned}$$
In particular, for the degree of −1, we have
$$\begin{aligned}& \dot{B}^{-1}_{\infty,\infty} \bigl(\mathbb{R}^{n} \bigr)= \Bigl\{ f\in\mathcal{S}' \bigl(\mathbb{R}^{n} \bigr): \Vert f \Vert _{\dot{B}^{-1}_{\infty,\infty}}=\sup_{t>0}t^{\frac{1}{2}} \bigl\Vert e^{t\Delta}f \bigr\Vert _{L^{\infty}}< \infty \Bigr\} . \end{aligned}$$
It is well known that \(\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{n})\) is the biggest critical homogeneous space of degree −1, and as shown by Frazier, Jaweth and Weiss [31], any critical homogeneous space continuously embedded in \(\mathcal{S}'(\mathbb{R}^{n})\) is also continuously embedded into \(\dot{B}^{-1}_{\infty,\infty}(\mathbb{R}^{n})\).

Next we introduce the interpolation theorem in [29, 32].

Lemma 2.2

Suppose \(0<\theta<1\), \(1\leq p,q\leq\infty\), \(-\infty<\alpha<\beta <\infty\), and
$$\begin{aligned}& \gamma=(1-\theta)\alpha+\theta\beta. \end{aligned}$$
Then
$$\begin{aligned}& \bigl(\dot{B}^{\alpha}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr), \dot{B}^{\beta}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr) \bigr)_{\theta,q}=\dot{B}^{\gamma}_{p,q} \bigl( \mathbb{R}^{n} \bigr), \end{aligned}$$
where \((\cdot,\cdot)_{\theta,q}\) denotes the real interpolation functor.
We express (1.1)1,2 in the integral form as
$$\begin{aligned}& u(t)=e^{t\Delta}\mathbb{P}u_{0}- \int_{0}^{t}e^{(t-s)\Delta}\mathbb{P}\nabla\cdot \bigl(u(s)\otimes u(s) \bigr)\,ds+ \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}\theta e_{n}\,ds, \\& \theta(t)=e^{t\Delta}\theta_{0}- \int_{0}^{t}e^{(t-s)\Delta}\nabla\cdot \bigl(u(s) \otimes\theta(s) \bigr)\,ds, \end{aligned}$$
where \(\mathbb{P}\) is the Helmholtz-Weyl projection onto a divergence free vector fields defined by
$$\begin{aligned} \mathbb{P}=\{P_{j,k}\}_{j,k=1,\ldots,n}=\{\delta_{j,k}+R_{j}R_{k} \}_{j,k=1,\ldots,n}, \end{aligned}$$
here \(\delta_{j,k}\) is the Kronecker symbol and \(R_{j}=\partial _{j}(-\Delta)^{-\frac{1}{2}}\) are the Riesz transforms. To prove the existence of the regular solution in \(L^{\infty }((0,\infty),L^{n}(\mathbb{R}^{n}))\), we need the \(L^{p}-L^{q}\) type estimate for \(e^{t\Delta}\) in Lebesgue spaces and Besov spaces. See [30] for the proof of the following lemma.

Lemma 2.3

Suppose \(1\leq p,q\leq\infty\). Thus, the following estimates hold:
$$\begin{aligned}& \bigl\Vert e^{t\Delta}f \bigr\Vert _{L^{p}(\mathbb{R}^{n})} \leq C \Vert f \Vert _{L^{p}(\mathbb{R}^{n})}, \\& \bigl\Vert \mathbb{P}\nabla e^{t\Delta}f \bigr\Vert _{L^{p}(\mathbb{R}^{n})} \leq Ct^{-\frac{1}{2}} \Vert f \Vert _{L^{p}(\mathbb{R}^{n})}, \\& \bigl\Vert e^{t\Delta}f \bigr\Vert _{\dot {B}^{s_{1}}_{p,q}(\mathbb{R}^{n})} \leq Ct^{-\frac{s_{1}-s_{2}}{2}} \Vert f \Vert _{\dot {B}^{s_{2}}_{p,q}(\mathbb{R}^{n})}, \quad s_{2}\leq s_{1}. \end{aligned}$$
If \(s_{1},s_{2}<\frac{n}{p}\) and \(s_{1}+s_{2}+n\min\{0,1-\frac{2}{p}\}>0\), then, for a positive constant C, we have
$$\begin{aligned}& \Vert uv \Vert _{\dot{B}^{s_{1}+s_{2}-\frac{n}{p}}_{p,q}}\leq C \Vert u \Vert _{\dot{B}^{s_{1}}_{p,q}} \Vert u \Vert _{\dot{B}^{s_{2}}_{p,q}}. \end{aligned}$$
Due to the linearization of the Boussinesq system (1.1), we consider a priori estimates for the Stokes equations. Chen and Xin in [28] gave the estimates in homogeneous spaces. The Stokes equations in \(\mathbb{R}^{n}\), \(n\geq2\) read
$$ \textstyle\begin{cases} \partial_{t} u-\Delta u+\nabla\pi=\nabla\cdot f\quad (f=(f_{ij}(x,t))_{n\times n}),\\ \nabla\cdot u=0,\\ u(0)=a. \end{cases} $$
(2.1)
We now state the main estimate about the Stokes equations in homogeneous spaces of Chen and Xin in [28], which will be used later.

Lemma 2.4

Let \(0<\alpha<2\), \(2\leq n\leq p\leq\infty\), \(1\leq q\leq\infty\), and
$$\begin{aligned} a\in\mathcal{S}' \bigl(\mathbb{R}^{n} \bigr), \quad \quad f(t) \in \dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr). \end{aligned}$$
Then the solution of equation (2.1) in the following integral formulation:
$$\begin{aligned} u(t)=e^{t\Delta}\mathbb{P}a+ \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}\nabla\cdot f(s)\,ds \end{aligned}$$
(2.2)
satisfies the estimates
$$\begin{aligned}& \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,q}}\leq C \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,q}}+C\sup_{0< s< t}s^{\frac{\alpha }{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}}, \\& t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot {B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\leq C \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-2+\frac {n}{p}}_{p,\infty}}, \end{aligned}$$
provided that the right-hand sides of the above inequalities are finite, respectively.

Similar to Lemma 2.4, we have the analogous results.

Lemma 2.5

Under the same conditions with α, p, q in Lemma  2.4, and \(f\in\dot{B}_{p,\infty}^{\alpha-3+\frac{n}{p}}\), the following integral equation:
$$\begin{aligned}& u(t)=e^{t\Delta}\mathbb{P}a+ \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \end{aligned}$$
satisfies the estimation
$$\begin{aligned}& \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,q}}\leq C \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,q}}+C\sup_{0< s< t}s^{\frac{\alpha }{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}, \\& t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot {B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\leq C \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$

Proof

By Definition 2.1, we estimate the term \(\Vert \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}(\mathbb{R}^{n})}\) as follows:
$$\begin{aligned}& \biggl\Vert \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \biggr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})} \\& \quad = \sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \biggl\Vert \Delta e^{\tau\Delta} \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \biggr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})} \\& \quad \leq C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \int_{0}^{t} \bigl\Vert \Delta e^{(\tau+t-s)\Delta} \mathbb{P}f(s) \bigr\Vert _{L^{p}(\mathbb{R}^{n})}\,ds \\& \quad \leq C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \int_{0}^{t}(\tau+t-s)^{-2+(\alpha-1+\frac{n}{p})/2} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty }(\mathbb{R}^{n})}\,ds \\& \quad \leq C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \int_{0}^{t}(\tau+t-s)^{-2+(\alpha-1+\frac{n}{p})/2}s^{-\frac{\alpha}{2}} \,ds \sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})} \\& \quad = C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \biggl( \int_{0}^{\frac{t}{2}}+ \int_{\frac{t}{2}}^{t} \biggr) (\tau+t-s)^{-2+(\alpha-1+\frac {n}{p})/2}s^{-\frac{\alpha}{2}} \,ds \\& \quad\quad{} \times\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})}. \end{aligned}$$
For the term \({I=\int_{0}^{\frac{t}{2}}(\tau +t-s)^{-2+(\alpha-1+\frac{n}{p})/2}s^{-\frac{\alpha}{2}}\,ds}\), due to \(0< s<\frac{t}{2}\), thus
$$\tau+t-s>\frac{t}{2}+\tau=\frac{1}{2}(t+2\tau)>\frac{1}{2}(t+ \tau) $$
and the fact that \(-2+(\alpha-1+\frac{n}{p})/2<0\), we have
$$\begin{aligned} I \leq& \biggl(\frac{1}{2} \biggr)^{-2+(\alpha-1+\frac{n}{p})/2} \int_{0}^{\frac{t}{2}}(t+\tau)^{-2+(\alpha-1+\frac {n}{p})/2}s^{-\frac{\alpha}{2}} \,ds \\ =& \biggl(\frac{1}{2} \biggr)^{-2+(\alpha-1+\frac{n}{p})/2}(t+\tau )^{-2+(\alpha-1+\frac{n}{p})/2} \int_{0}^{\frac{t}{2}}s^{-\frac{\alpha}{2}}\,ds \\ \leq&C(t+\tau)^{-2+(\alpha-1+\frac{n}{p})/2} \int_{0}^{t}s^{-\frac{\alpha}{2}}\,ds. \end{aligned}$$
As regards the term \(\mathit{II}=\int_{\frac{t}{2}}^{t}(\tau +t-s)^{-2+(\alpha-1+\frac{n}{p})/2}s^{-\frac{\alpha}{2}}\,ds\), since \(\frac{t}{2}< s< t\),
$$s^{-\frac{\alpha}{2}}< \biggl(\frac{1}{2} \biggr)^{-\frac{\alpha}{2}}t^{-\frac {\alpha}{2}}, $$
therefore
$$\begin{aligned} \mathit{II}\leq \biggl(\frac{1}{2} \biggr)^{-\frac{\alpha}{2}}t^{-\frac {\alpha}{2}} \int_{0}^{t}(\tau+t-s)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds. \end{aligned}$$
Thereby, the estimate becomes
$$\begin{aligned}& \biggl\Vert \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \biggr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})} \\& \quad \leq \sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}(t+\tau )^{-2+(\alpha-1+\frac{n}{p})/2} \int_{0}^{t} s^{-\frac{\alpha}{2}}\,ds\sup _{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\& \quad\quad{} + \sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}t^{-\frac{\alpha}{2}} \int_{0}^{t}(t+\tau-s)^{-2+(\alpha-1+\frac{n}{p})/2} \,ds\sup _{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\& \quad = \mathit{III}+\mathit{IV}. \end{aligned}$$
Due to the definite integral \(\int_{0}^{t} s^{-\frac{\alpha}{2}}\,ds=\frac {2}{2-\alpha}t^{1-\frac{\alpha}{2}}\), we obtain
$$\begin{aligned} \mathit{III} \leq&C\sup_{\tau>0} \biggl(\frac{\tau}{t+\tau} \biggr)^{1-(\alpha-1+\frac{n}{p})/2}\frac{t}{t+\tau}\cdot t^{-\frac{\alpha}{2}} \sup _{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\ \leq&Ct^{-\frac{\alpha}{2}}\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$
According to the fact that
$$\begin{aligned} \int_{0}^{t}(\tau+t-s)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds =& \int_{0}^{t} \bigl(\tau+s' \bigr)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds' \\ =&\tau^{2-(\alpha-1+\frac{n}{p})/2} \int_{0}^{t} \biggl(1+\frac{s}{\tau} \biggr)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds \\ =&\tau^{2-(\alpha-1+\frac{n}{p})/2} \int_{0}^{\frac{t}{\tau}}(1+s)^{-2+(\alpha-1+\frac{n}{p})/2}\tau \,ds, \end{aligned}$$
thus
$$\begin{aligned} \mathit{IV} \leq&C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}t^{-\frac {\alpha}{2}} \tau^{-2+(\alpha-1+\frac{n}{p})/2}\tau \int_{0}^{\frac{t}{\tau}}(1+s)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds \\ &{}\times\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\ =&t^{-\frac{\alpha}{2}}\sup_{\tau>0} \int_{0}^{\frac{t}{\tau}}(1+s)^{-2+(\alpha-1+\frac{n}{p})/2}\,ds \sup _{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
Finally, we get
$$\begin{aligned}& \biggl\Vert \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}f(s)\,ds \biggr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}(\mathbb{R}^{n})} \leq Ct^{-\frac{\alpha}{2}}\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$
(2.3)
For the estimate of the initial term \(\Vert e^{t\Delta}\mathbb {P}a \Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\), we have
$$\begin{aligned} \bigl\Vert e^{t\Delta}\mathbb{P}a \bigr\Vert _{\dot{B}^{\alpha -1+\frac{n}{p}}_{p,\infty}} =&\sup _{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \bigl\Vert \Delta e^{\tau\Delta}e^{t\Delta}\mathbb{P}a \bigr\Vert _{L^{p}} \\ =&\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2} \bigl\Vert \Delta e^{(t+\tau)\Delta}\mathbb{P}a \bigr\Vert _{L^{p}} \\ \leq&C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}(t+\tau )^{-1+(\alpha-1+\frac{n}{p})/2}(t+ \tau)^{-\frac{\alpha}{2}} \Vert a \Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}} \\ \leq&C\sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}(t+\tau )^{-1+(\alpha-1+\frac{n}{p})/2}t^{-\frac{\alpha}{2}} \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}, \end{aligned}$$
because of the inequality
$$\begin{aligned}& \sup_{\tau>0}\tau^{1-(\alpha-1+\frac{n}{p})/2}(t+\tau )^{-1+(\alpha-1+\frac{n}{p})/2}< 1, \end{aligned}$$
then we obtain
$$\begin{aligned}& \bigl\Vert e^{t\Delta}\mathbb{P}a \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\leq Ct^{-\frac{\alpha }{2}} \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
(2.4)
Equations (2.3) and (2.4) imply the second inequality of the lemma. Now we turn to the first inequality. By a similar method, we have
$$\begin{aligned} \bigl\Vert u(t)-e^{t\Delta}\mathbb{P}a \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}} \leq&C \int_{0}^{t} \bigl\Vert e^{(t-s)\Delta}f(s) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}\,ds \\ \leq&C \int_{0}^{t}(t-s)^{-1+\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}\,ds \\ \leq&C \int_{0}^{t}(t-s)^{-1+\frac{\alpha}{2}}s^{-\frac{\alpha}{2}}\,ds \sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\ \leq&C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
(2.5)
On the other hand, by Lemma 2.3, we get
$$\begin{aligned}& \bigl\Vert e^{t\Delta}\mathbb{P}a \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}\leq C \Vert a \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
(2.6)
Therefore, the expressions (2.5) and (2.6) verify the first inequality of the lemma. □

Lemma 2.6

Suppose \(2-\frac{n}{p}<\alpha<2\), \(2\leq n\leq p\leq\infty\), and
$$a\in\dot{B}^{-3+\frac{n}{p}}_{p,\infty}, \quad\quad f\in\dot{B}^{\alpha -4+\frac{n}{p}}_{p,\infty}. $$
Thus equation (2.2) satisfies the estimate
$$\begin{aligned}& t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot {B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}\leq C \Vert a \Vert _{\dot{B}^{-3+\frac{n}{p}}_{p,\infty}}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert f(s) \bigr\Vert _{\dot{B}^{\alpha-4+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$

Proof

By the definition in Lemma 2.1 and Lemma 2.3, we have
$$\begin{aligned}& \biggl\Vert \int_{0}^{t} e^{(t-s)\Delta}\nabla f\,ds \biggr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\& \quad \leq \sup_{\tau>0}\tau^{-\frac{\alpha-3+\frac{n}{p}}{2}} \int_{0}^{t} \bigl\Vert e^{(t+\tau-s)\Delta}\nabla f \bigr\Vert _{L^{p}}\,ds \\& \quad \leq \sup_{\tau>0}\tau^{-\frac{\alpha-3+\frac{n}{p}}{2}} \int_{0}^{t}(t+\tau-s)^{-\frac{1}{2}+\frac{\alpha-4+\frac{n}{p}}{2}}(t+ \tau-s)^{-\frac{\alpha-4+\frac{n}{p}}{2}} \bigl\Vert e^{(t+\tau -s)\Delta}\nabla f \bigr\Vert _{L^{p}}\,ds \\& \quad \leq \sup_{\tau>0}\tau^{-\frac{\alpha-3+\frac{n}{p}}{2}} \int_{0}^{t}(t+\tau-s)^{\frac{\alpha-5+\frac{n}{p}}{2}}s^{-\frac {\alpha}{2}} \,ds \sup_{s>0}s^{\frac{\alpha}{2}} \Vert f \Vert _{\dot{B}^{\alpha -4+\frac{n}{p}}_{p,\infty}}, \end{aligned}$$
the way to deal with the above estimate is similar to the one in Lemma 2.4, we omit it here. Finally, we get
$$\begin{aligned}& \biggl\Vert \int_{0}^{t} e^{(t-s)\Delta}\nabla f\,ds \biggr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}\leq Ct^{-\frac{\alpha }{2}}\sup_{s>0}s^{\frac{\alpha}{2}} \Vert f \Vert _{\dot{B}^{\alpha-4+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
For the initial term, according to Lemma 2.3, we obtain
$$\begin{aligned}& \bigl\Vert e^{t\Delta}\theta_{0} \bigr\Vert _{\dot{B}^{\alpha -3+\frac{n}{p}}_{p,\infty}} \leq Ct^{-\frac{\alpha}{2}} \Vert \theta_{0} \Vert _{\dot {B}^{-3+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
Therefore, we get the proof. □

3 The proof of Theorem 1.1

This section is devoted to the proof of Theorem 1.1. For simplicity, without loss of generality, we assume \(\mu=\kappa=1\). In order to deal with the convection terms, we observe the interesting interpolation results
$$\begin{aligned}& \bigl(\dot{B}^{-1+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr), \dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr) \bigr)_{\frac{1}{\alpha},1}=\dot{B}^{\frac{n}{p}}_{p,1} \bigl( \mathbb{R}^{n} \bigr), \\& \bigl(\dot{B}^{-1+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr), \dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr) \bigr)_{1-\frac{1}{\alpha},\infty}=\dot{B}^{\alpha-2+\frac {n}{p}}_{p,\infty} \bigl( \mathbb{R}^{n} \bigr). \end{aligned}$$
It is well known that, for \(s>0\), \(\dot{B}^{s}_{p,q}(\mathbb{R}^{n})\cap L^{\infty}(\mathbb{R}^{n})\) is an algebra. Moreover, there exists the following embedding relations (cf. [28, 29]):
$$\begin{aligned}& \dot{B}^{\frac{n}{p}}_{p,1} \bigl(\mathbb{R}^{n} \bigr) \hookrightarrow\dot{B}^{0}_{\infty,1} \bigl(\mathbb{R}^{n} \bigr) \hookrightarrow L^{\infty} \bigl(\mathbb{R}^{n} \bigr) \hookrightarrow \dot{B}^{0}_{\infty,\infty} \bigl(\mathbb{R}^{n} \bigr). \end{aligned}$$
Thus by the embedding and interpolation results, we have
$$\begin{aligned}& \Vert u \Vert _{L^{\infty}}\leq \Vert u \Vert _{\dot {B}^{0}_{\infty,1}}\leq \Vert u \Vert _{\dot{B}^{\frac{n}{p}}_{p,1}} \leq C \Vert u \Vert ^{1-\frac{1}{\alpha}}_{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}} \Vert u \Vert ^{\frac{1}{\alpha}}_{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}} \end{aligned}$$
and
$$\begin{aligned}& \Vert u \Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}}\leq C \Vert u \Vert ^{\frac{1}{\alpha}}_{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}} \Vert u \Vert ^{1-\frac{1}{\alpha}}_{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$
And then due to the inequality \(a^{1-\beta}b^{\beta}\leq a+b\), \(0<\beta<1\), \(a,b>0\), we have
$$\begin{aligned}& \bigl\Vert u \bigl(t^{\frac{1}{2}}\cdot,t \bigr) \bigr\Vert _{L^{\infty}}+ \bigl\Vert u \bigl(t^{\frac{1}{2}}\cdot,t \bigr) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}} \leq C \bigl( \bigl\Vert u \bigl(t^{\frac{1}{2}} \cdot,t \bigr) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+ \bigl\Vert u \bigl(t^{\frac{1}{2}} \cdot,t \bigr) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}} \bigr). \end{aligned}$$
(3.1)
By a variable transformation, (3.1) implies
$$\begin{aligned}& t^{\frac{1}{2}} \bigl\Vert u(t) \bigr\Vert _{L^{\infty}}+t^{\frac{\alpha-1}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}} \leq C \bigl( \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}} \bigr). \end{aligned}$$
(3.2)
Equation (3.2) means
$$\begin{aligned}& t^{\frac{1}{2}} \bigl\Vert u(t) \bigr\Vert _{L^{\infty}} \leq C \bigl( \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}} \bigr). \end{aligned}$$
Thus to prove the two equations in Theorem 1.1, we only need to show that
$$\begin{aligned}& \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}\leq C \bigl( \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+ \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac{n}{p}}_{p,\infty}} \bigr), \\& \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}}\leq C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
Set
$$\begin{aligned}& U = \bigl\{ u\in L^{\infty} \bigl(0,\infty;\dot{B}^{-1+\frac {n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr) \bigr)| \nabla\cdot u=0, \Vert u \Vert _{U}< \infty \bigr\} , \\& \Theta = \bigl\{ \theta\in L^{\infty} \bigl(0,\infty;\dot {B}^{-1+\frac{n}{p}}_{p,\infty} \bigl(\mathbb{R}^{n} \bigr) \bigr)| \Vert \theta \Vert _{\Theta}< \infty \bigr\} , \end{aligned}$$
with
$$\begin{aligned}& \Vert u \Vert _{U} = \sup_{t>0} \bigl( \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}} \bigr), \\& \Vert \theta \Vert _{\Theta} = \sup_{t>0} \bigl( \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty }} \bigr), \end{aligned}$$
and
$$\begin{aligned}& Mu(t) = e^{t\Delta}u_{0}- \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}\nabla\cdot \bigl(u(s)\otimes u(s) \bigr)\,ds+ \int_{0}^{t} e^{(t-s)\Delta}\mathbb{P}\theta e_{n} \,ds, \\& \bar{M}\theta(t) = e^{t\Delta}\theta_{0}- \int_{0}^{t} e^{(t-s)\Delta}\nabla\cdot \bigl(u(s) \otimes\theta(s) \bigr)\,ds. \end{aligned}$$
We will show M and are the contraction operators mapping a ball of U into itself and a ball of Θ into itself, respectively. Now we deal with the operator . Observing that (3.1) and (3.2) are also true for θ, we have
$$\begin{aligned}& t^{\frac{\alpha-1}{2}} \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}} \leq C \bigl( \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}} \bigr). \end{aligned}$$
And using Lemma 2.4, we obtain the estimates of θ. It is more simple for θ here, as the absence of the operator \(\mathbb{P}\), but the estimates are still true, which are
$$\begin{aligned}& \bigl\Vert \theta(t) \bigr\Vert _{\dot {B}^{-1+\frac{n}{p}}_{p,\infty}} \leq C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes\theta(s) \bigr\Vert _{\dot{B}^{\alpha -2+\frac{n}{p}}_{p,\infty}}, \end{aligned}$$
(3.3)
$$\begin{aligned}& t^{\frac{\alpha}{2}} \bigl\Vert \theta(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}} \leq C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C \sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes\theta(s) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}}. \end{aligned}$$
(3.4)
Summing (3.3) and (3.4) up, we have
$$\begin{aligned} \bigl\Vert \bar{M}(\theta) \bigr\Vert _{\Theta} \leq&C \Vert \theta_{0} \Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty }}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes\theta(s) \bigr\Vert _{\dot{B}^{\alpha -2+\frac{n}{p}}_{p,\infty}} \\ \leq&C \Vert \theta_{0} \Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}}+C\sup _{0< s< t}s^{\frac{1}{2}} \bigl\Vert u(s) \bigr\Vert _{L^{\infty}}s^{\frac{(\alpha-1)}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-2+\frac{n}{p}}_{p,\infty}} \\ \leq&C \Vert \theta_{0} \Vert _{\dot{B}^{\alpha-1+\frac {n}{p}}_{p,\infty}}+C' \Vert u \Vert _{U} \Vert \theta \Vert _{\Theta}. \end{aligned}$$
(3.5)
Define two complete metric spaces by
$$\begin{aligned}& U_{\epsilon}= \bigl\{ u\in U| \Vert u \Vert _{U}\leq\epsilon \bigr\} , \quad\quad \Theta_{\epsilon}= \Bigl\{ \theta\in\Theta| \Vert \theta \Vert _{\Theta}+\sup_{s>0}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty }}\leq\epsilon \Bigr\} . \end{aligned}$$
Suppose \(\theta_{1},\theta_{2}\in\Theta\), by (3.5), we have
$$\begin{aligned}& \Vert \bar{M}\theta \Vert _{\Theta} \leq C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C'\epsilon \Vert \theta \Vert _{\Theta}, \quad \mbox{for } u\in U_{\epsilon}, \\& \Vert \bar{M}\theta_{1}-\bar{M}\theta_{2} \Vert _{\Theta} \leq C'\epsilon \Vert \theta_{1}- \theta_{2} \Vert _{\Theta}. \end{aligned}$$
According to the contraction mapping principle, equation (2.1) admits a unique solution \(\theta\in\Theta_{\epsilon}\), provided that \(C \Vert \theta_{0} \Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}\leq\frac{\epsilon}{2}\) and \(\epsilon>0\) is sufficiently small.

Remark 3.1

To show the boundedness of the term \({\sup_{s>0}s^{\frac {\alpha}{2}} \Vert \theta \Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty }}}\), we choose \(f(s)=u(s)\otimes\theta(s)\) in Lemma 2.6, and by Lemma 2.3, we have
$$\begin{aligned}& \bigl\Vert u(s)\otimes\theta(s) \bigr\Vert _{\dot{B}^{\alpha -4+\frac{n}{p}}_{p,\infty}} \leq C \bigl\Vert u(s) \bigr\Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}, \end{aligned}$$
thus we get
$$\begin{aligned}& \sup_{s>0}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}\leq C\frac{ \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac{n}{p}}_{p,\infty }}}{1-C' \Vert u \Vert _{U}}, \end{aligned}$$
that is to say, if \(\Vert u \Vert _{U}\) is small enough, the term \({\sup_{s>0}s^{\frac{\alpha}{2}} \Vert \theta(s) \Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}}\) is bounded.
Now we deal with the operator M. Choosing \(f(s)=u(s)\otimes u(s)\) in Lemma 2.4 and \(f(s)=\theta(s)e_{n}\) in Lemma 2.5, respectively, and using (3.2), we have
$$\begin{aligned}& \begin{aligned}[b] \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}&\leq C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes u(s) \bigr\Vert _{\dot{B}^{\alpha -2+\frac{n}{p}}_{p,\infty}} \\ &\quad {}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}, \end{aligned} \end{aligned}$$
(3.6)
$$\begin{aligned}& \begin{aligned}[b] t^{\frac{\alpha}{2}} \bigl\Vert u(t) \bigr\Vert _{\dot{B}^{\alpha-1+\frac{n}{p}}_{p,\infty}}& \leq C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes u(s) \bigr\Vert _{\dot{B}^{\alpha -2+\frac{n}{p}}_{p,\infty}} \\ &\quad{} +C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}. \end{aligned} \end{aligned}$$
(3.7)
Adding (3.6) to (3.7), and by the definition of U, we have
$$\begin{aligned} \Vert Mu \Vert _{U} \leq&C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert u(s)\otimes u(s) \bigr\Vert _{\dot{B}^{\alpha-2+\frac {n}{p}}_{p,\infty}} \\ &{}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\ \leq&C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+C\sup _{0< s< t}s^{\frac{1}{2}} \bigl\Vert u(s) \bigr\Vert _{L^{\infty}}s^{(\alpha-1)/2} \bigl\Vert u(s) \bigr\Vert _{\dot {B}^{\alpha-2+\frac{n}{p}}_{p,\infty}} \\ &{}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac{n}{p}}_{p,\infty}} \\ \leq&C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+C \Vert u \Vert _{U}^{2}+C\sup_{0< s< t}s^{\frac{\alpha}{2}} \bigl\Vert \theta(s) \bigr\Vert _{\dot{B}^{\alpha-3+\frac {n}{p}}_{p,\infty}}. \end{aligned}$$
(3.8)
Due to Remark 3.1, we know \({C\sup_{0< s< t}s^{\frac{\alpha}{2}} \Vert \theta(s) \Vert _{\dot {B}^{\alpha-3+\frac{n}{p}}_{p,\infty}}}\) is bounded. Similarly, by (3.8), we get
$$\begin{aligned}& \Vert Mu-Mv \Vert _{U}\leq C \bigl( \Vert u \Vert _{U}+ \Vert v \Vert _{U} \bigr) \Vert u-v \Vert _{U}, \quad \mbox{for } u,v\in U, \end{aligned}$$
that is, due to \(\mathbb{P}Mu(t)=Mu(t)\), we obtain \(\nabla\cdot Mu(t)=0\). By the definition of \(U_{\epsilon}\), the previous analysis shows that
$$\begin{aligned}& \begin{aligned} \Vert Mu \Vert _{U}&\leq C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty}}+C \Vert u \Vert _{U}^{2}+C \Vert \theta \Vert _{\Theta} \\ &\leq C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac{n}{p}}_{p,\infty }}+\frac{C \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac {n}{p}}_{p,\infty}}}{1-C' \Vert u \Vert _{U}}+C \epsilon \Vert u \Vert _{U}, \quad \mbox{for } u\in U_{\epsilon}, \end{aligned} \\& \Vert Mu-Mv \Vert _{U}\leq C\epsilon \Vert u-v \Vert _{U}, \quad \mbox{for } u,v\in U_{\epsilon}. \end{aligned}$$
Therefore, on the basis of the contraction mapping principle, equation (2.1) admits a unique solution \(u\in U_{\epsilon}\), provided that \(C \Vert u_{0} \Vert _{\dot{B}^{-1+\frac {n}{p}}_{p,\infty}}\in\frac{\epsilon}{3}\), \(C \Vert \theta_{0} \Vert _{\dot{B}^{-3+\frac{n}{p}}_{p,\infty}}\in\frac{\epsilon }{3}\) and \(\epsilon>0\) is sufficiently small.

The proof of Theorem 1.1 is done.

Declarations

Acknowledgements

This research is supported by the Foundation for Ph.D. of Henan Normal University of China under Grant 5101019170156.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
College of Mathematics and Information Science, Henan Normal University

References

  1. Majda, A: Introduction to PDEs and Waves for the Atmosphere and Ocean. Courant Lecture Notes in Mathematic, vol. 9. Am. Math. Soc., Providence (2003) MATHGoogle Scholar
  2. Pedlosky, J: Geophysical Fluid Dynamics. Springer, New York (1987) View ArticleMATHGoogle Scholar
  3. Shahmurov, R, Hadji, L: Nonlinear stable steady solutions to the Ostroumov problem. Int. J. Heat Mass Transf. 82, 604-612 (2015) View ArticleGoogle Scholar
  4. Zhang, Z: Some regularity criteria for the 3D Boussinesq equations in the class \(L^{2}(0, T; \dot{B}^{-1}_{\infty,\infty})\). ISRN Appl. Math. 2014, Article ID 564-758 (2014). doi:10.1155/2014/564758 MathSciNetGoogle Scholar
  5. Xu, F, Zhang, Q, Zheng, X: Regularity criteria of the 3D Boussinesq equations in the Morrey-Campanato space. Acta Appl. Math. 121, 231-240 (2012) MathSciNetView ArticleMATHGoogle Scholar
  6. Fan, J, Zhou, Y: A note on regularity criterion for the 3D Boussinesq system with partial viscosity. Appl. Math. Lett. 22(5), 802-805 (2009) MathSciNetView ArticleMATHGoogle Scholar
  7. Mechdene, M, Gala, S, Guo, ZG, Ragusa, AM: Logarithmical regularity criterion of the three-dimensional Boussinesq equations in terms of the pressure. Z. Angew. Math. Phys. 67(5), 67-120 (2016). doi:10.1007/s00033-016-0715-2 MathSciNetGoogle Scholar
  8. Jia, Y, Zhang, X, Dong, B: Logarithmical regularity criteria of the three-dimensional micropolar fluid equations in terms of the pressure. Abstr. Appl. Anal. 2012, Article ID 395420 (2012). doi:10.1155/2012/395420 MathSciNetMATHGoogle Scholar
  9. Zhang, Z: A logarithmically improved regularity criterion for the 3D Boussinesq equations via the pressure. Acta Appl. Math. 131, 213-219 (2014) MathSciNetView ArticleMATHGoogle Scholar
  10. Yao, ZA, Wang, Q, Bie, Q: On the well-posedness of the inviscid Boussinesq equations in the Besov-Morrey spaces. Kinet. Relat. Models 8(3), 395-411 (2015) MathSciNetView ArticleMATHGoogle Scholar
  11. Liu, X, Wang, M, Zhang, Z: Local well-posedness and blowup criterion of the Boussinesq equations in critical Besov spaces. J. Math. Fluid Mech. 12, 280-292 (2010). doi:10.1007/s00021-008-0286-x MathSciNetView ArticleMATHGoogle Scholar
  12. Jiu, Q, Miao, C, Wu, J, Zhang, Z: The 2D incompressible Boussinesq equations with general critical dissipation. SIAM J. Math. Anal. 46, 3426-3454 (2014) MathSciNetView ArticleMATHGoogle Scholar
  13. Stefanov, A, Wu, J: A global regularity result for the 2D Boussinesq equations with critical dissipation. J. Anal. Math., accepted for publication; arXiv:1411.1362v3 [math.AP]
  14. Wu, J, Xu, X, Xue, L, Ye, Z: Regularity results for the 2D Boussinesq equations with critical and supercritical dissipation. Commun. Math. Sci. 14, 1963-1997 (2016) MathSciNetView ArticleMATHGoogle Scholar
  15. Ye, Z: Global smooth solution to the 2D Boussinesq equations with fractional dissipation. arXiv:1510.03237v2 [math.AP]
  16. Ye, Z, Xu, X: Global well-posedness of the 2D Boussinesq equations with fractional Laplacian dissipation. J. Differ. Equ. 260, 6716-6744 (2016) MathSciNetView ArticleMATHGoogle Scholar
  17. Abidi, H, Hmidi, T: On the global well-posedness for Boussinesq system. J. Differ. Equ. 233(1), 199-220 (2007) MathSciNetView ArticleMATHGoogle Scholar
  18. Hou, T, Li, C: Global well-posedness of the viscous Boussinesq equations. Discrete Contin. Dyn. Syst. 12(1), 1-12 (2005) MathSciNetMATHGoogle Scholar
  19. Ye, Z: Blow-up criterion of smooth solutions for the Boussinesq equations. Nonlinear Anal. 110, 97-103 (2014) MathSciNetView ArticleMATHGoogle Scholar
  20. Ye, Z: Regularity criteria for 3D Boussinesq equations with zero thermal diffusion. Electron. J. Differ. Equ. 2015, 97 (2015) MathSciNetView ArticleMATHGoogle Scholar
  21. Ye, Z: A logarithmically improved regularity criterion of smooth solutions for the 3D Boussinesq equations. Osaka J. Math. 53, 417-423 (2016) MathSciNetMATHGoogle Scholar
  22. Yang, X, Qin, Y: A Beale-Kato-Majda criterion for the 3D viscous magnetohydrodynamic equations. Math. Methods Appl. Sci. 38(4), 701-707 (2015) MathSciNetView ArticleMATHGoogle Scholar
  23. Yang, X, Zhang, L: BKM’s criterion of weak solutions for the 3D Boussinesq equations. J. Partial Differ. Equ. 27(1), 64-73 (2014) MathSciNetMATHGoogle Scholar
  24. Tian, C, Yang, X: A Beale-Kato-Majda regularity criteria to the 2D viscous MHD equations in BMO space. Int. J. Contemp. Math. Sci. 8(1-4), 117-123 (2013) MathSciNetView ArticleMATHGoogle Scholar
  25. Gala, S, Guo, Z, Ragusa, A: A remark on the regularity criterion of Boussinesq equations with zero heat conductivity. Appl. Math. Lett. 27, 70-73 (2014) MathSciNetView ArticleMATHGoogle Scholar
  26. Qin, Y, Yang, X, Wang, Y, Liu, X: Blow-up criteria of smooth solutions to the 3D Boussinesq equations. Math. Methods Appl. Sci. 35(3), 278-285 (2012) MathSciNetView ArticleMATHGoogle Scholar
  27. Cui, X, Dou, C, Jiu, Q: Local well-posedness and blow up criterion for the inviscid Boussinesq system in Hölder spaces. J. Partial Differ. Equ. 25(3), 220-238 (2012) MathSciNetMATHGoogle Scholar
  28. Chen, ZM, Xin, ZP: Homogeneity criterion for the Navier-Stokes equations in the whole spaces. J. Math. Fluid Mech. 3, 152-182 (2001) MathSciNetView ArticleMATHGoogle Scholar
  29. Triebel, H: Theory of Functions Spaces II. Birkhäuser, Basel (1992) View ArticleMATHGoogle Scholar
  30. Miao, C, Yuan, B, Zhang, B: Well-posedness of the Cauchy problem for the fractional power dissipative equations. Nonlinear Anal. 68, 461-484 (2008) MathSciNetView ArticleMATHGoogle Scholar
  31. Frazier, M, Jawerth, B, Weiss, G: Littlewood-Paley Theory and the Study of Function Spaces. Am. Math. Soc., New Jork (1991) View ArticleMATHGoogle Scholar
  32. Bergh, J, Löfström, J: Interpolation Spaces: An Introduction. Grundle der Mathematischen Wissenschaften, vol. 233. Springer, Berlin (1976) View ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017