Local Strong Solutions for the Cauchy Problem of 2D Density-Dependent Boussinesq Equations with Vacuum ()
1. Introduction
The Boussinesq equation is an important class of equations in fluid equations. We consider the Cauchy problem of two-dimensional nonhomogeneous incompressible Boussinesq equations:
(1)
for viscous incompressible flows. Here,
is time,
is the spatial coordinate, and
,
,
and
, are the fluid density, velocity, temperature and pressure, respectively. The constant
and
are the viscosity coefficient and the thermal expansion coefficient of the flow respectively.
The initial data
,
and
are given by
(2)
There has been a long history, studying the existence of solutions to Boussinesq equations. In recent years, much attention has attracted by Boussinesq equations with
. For example, when
,
, Ishimura-Morimoto [1] gave blow-up criterion in the 3D. Next, for the cases of “partial viscosity”, in [2], Fan-Zhou proved blow-up criterion of Equations (1) with
,
. For general initial data in
and
cases, Hou and Li [3] come up with the global well-posed solution of the proof for the incompressible Boussinesq equations in two-dimensions. When the equation was not viscous, such as
, Dongho Chae and Hee-Seok Nam [4] studied the local existence of solution of the Boussinesq equations and provided a blow-up criterion for the smooth solutions in the Sobolev spaces
and
. In
case, Hou and Jiu [5] considered the local existence and uniqueness of the strong solutions of the density-dependent viscous Boussinesq equations for incompressible fluid in
with
,
. But the case of the 3D case [5] cannot be used in 2D case. However, the two-dimensional case is an open problem. Recently, we mention that Liang [6] has come up with energy estimation of the Navier-Stokes equation with vacuum as far-field density in a bounded sphere, then extends to the entire two-dimensional space to obtain the existence of a local strong solution of the incompressible Navier-Stokes equations. In fact, if the temperature function is zero (i.e.,
), then (1) reduces to the Navier-Stokes equations [7]. Comparing with the Navier-Stokes equation and Euler equation, Boussinesq equations exist a complicated nonlinear relationship between velocity and pressure [8]. As a result, the study of Boussinesq equations is more complicated. Based on [6], we will show the existence and uniqueness of strong solution to the Cauchy problem (1) and (2).
This article has two difficulties. Firstly, it is difficult to control the Lp-norm (
) of the velocity u with the L2-norm of its gradient. To overcome this difficulty, in light of [6] [9], we introduce
(
), and set up a Hardy-type inequality (such as (14)) to bound the Lp-norm of
taking the place of the velocity u [10]. We acquire a pivotal inequality (such as (22)), which can control the Lp-norm of
. Moreover, in incompressible Boussinesq equations, there are strong coupled terms that bring us some new difficulties, such as
and
. For the purpose of controling
and
, which are infered from the coupled term
and integration, we make use of a spatial weighted mean estimate of
and
(i.e.,
and
, such as (18), (42)). Particularly, the focus of this article is to do a priori estimate in a bounded ball
. Through the above key steps, we can easily get the existence and uniqueness of strong solution to the Cauchy problem (1) and (2) by a standard limit procedure.
Theorem 1.1. For each positive constant
and
, Let the initial data
satisfy
(3)
Then set
is a small time, for the problem (1)-(2) make a unique strong solution
on
satisfies the following properties:
(4)
and
(5)
for the constant
and
.
2. A Priori Estimates
The main duty in the present paper is to establish crucial energy estimates in the bounded domain. Next, we are going to establish the a priori estimates of
, which will be the main effort of this section. We define
Proposition 2.1 Suppose
satisfies (3). Let
be the solution to the initial-boundary-value problem (1) on
. Then there exists a small positive time
and C which depends on
, and
, such that
(6)
In addition
The validity of Proposition 2.1 is at the end of this section. Next, we will start the standard energy estimation for
and the Lp-norm of the density.
Next, we start with the standard energy estimates.
Lemma 2.1 Assume that problem (1) have a smooth solution
to the initial-boundary-value, in the
and
. When for arbitrary
(7)
moreover, C relies on
and
.
Proof: From the mass Equation (1)1, we can deduce
(8)
owing to
and the continuity Equation (1)1 [11], we obtain
(9)
Inequalities (8) and (9) complete the proof.
Next, spatial weighted estimates of density and temperature have yet to be proven.
Lemma 2.2 Let the assumptions in Lemma 2.1 be satisfied. Where
is a small time and relies only on
, and
, then for arbitrary
(10)
Proof: First, for
, let
satisfy
(11)
From Equations (1)1 and (14) we can deduce
(12)
integrating (12) and using (5) give
(13)
where,
. It follows from (13), (9) and ( [2] Lemma 2.3) that for arbitrary
we can obtain
(14)
where
. From now on, using multiplying Equations (1)1 by
and integrating, we obtain
(15)
using Gronwall’s inequality and (7), we find
(16)
Next, multiplying Equations (1)3 by
and integrating, we infer
(17)
due to Gagliardo-Nirenberg inequality [12], (7), (14). Then using Gronwall’s inequality and (7), we find
(18)
which together with (16) gives (10). We complete the proof.
Lemma 2.3 Suppose that
and
of Lemma 2.1 and Lemma 2.2 hold. There is a positive constant
, for all
(19)
Proof: In Equations (1)2, multiplying both sides by
, and integrating, we get
(20)
Now, it follows from (7), (10), and (14) that for arbitrary
,
,
(21)
where
and
. Particularly, this together with (7) and (14) derives
(22)
Using Hölder’s and Gagliardo-Nirenberg inequalities, we deduce that
(23)
where
.
Substituting (23) into (20) gives
(24)
Now, it follows from Equations (1)3 that
(25)
owing to (22) and Gagliardo-Nirenberg inequality, multiplying (25) by
and the resulting inequality to (24) imply
(26)
where
satisfies Stokes system, so the regularity estimates [13] on the weak solutions show for all
(27)
Making use of (27), (6), (22) and Gagliardo-Nirenberg inequality, one has
(28)
Finally, inserting (28) into (26) and choosing
small enough to hold
(29)
Integrating (29), using ( [2] Lemma 2.4), (9), and (28), we obtain (18). Hence Lemma 2.3 is proved.
Lemma 2.4 Suppose that
and
of Lemma 2.1 and Lemma 2.2 satisfy
(30)
Proof: Differentiating both side of Equations (1)2 with respect to t, then multiplying both sides by
and integrating gives
(31)
Making use of (21), (22) combined with Gagliardo-Nirenberg inequality and Hölder’s inequality combined with (21) and (28) leads to
In summary, we conclude from (31) that
(32)
Differentiating both side of Equations (1)3 with respect to t, then multiplying both sides by
and integrating hold
(33)
Next, multiplying (32) by
and using (33) we get
(34)
Multiplying in by t, then by means of the Gronwall’s inequality and (18) we arrive at (30). We complete the proof of Lemma 2.4.
Lemma 2.5 Suppose that
and
of Lemma 2.1 and Lemma 2.2 hold, there exists a constant
for each
satisfies
(35)
Proof: Multiplying Equations (1)3 by
and integrating by parts, we get
(36)
We then deduce:
Substituting the above estimates into (36) gives
(37)
where, we claim that
(38)
However, choosing
in ( [2] Lemma 2.4), we deduce from (7), (21) and Gagliardo-Nirenberg inequality that
(39)
using (18) and (30), we conclude
(40)
and
(41)
The desired (38) comes from equalities (39)-(40). Thus, multiplying (37) by t and using Gronwall’s inequality, (19), (20), and (38) to deduce
(42)
Now, combining Equations (1)3, Hölder and Gagliardo-Nirenberg inequality that, we acquire
(43)
which together with (28) gives that
(44)
Finally, multiplying (44) by
, from (20), (30), and (42) we get
(45)
which combined with (42) implies (30) and thus finishes the proof Lemma 2.6.
Lemma 2.6 Suppose that
and
of Lemma 2.1 and Lemma 2.2 hold. For a constant
dependent on T hold
(46)
Proof. The lemma is analogous to that in ( [2] Lemma 3.7) and is left to the reader. No proof will be given for Lemma 2.7.
Using the priori estimates given in Lemma 2.1-Lemma 2.6, gives Proposition 3.1 immediately.
3. Proof of Theorem 1.1
Now, combining Lemma 2.1-Lemma 2.6 and using a standard method, we obtain Proof of Theorem 1.1. In this paper, we mainly make prior estimates. The other steps are omitted here.