In this paper, the author establishes a blow-up criterion of strong solutions to 3D compressible viscous magneto-micropolar fluids. It is shown that if the density and the velocity satisfy , where and , then the strong solutions to the Cauchy problem can exist globally over . The initial density may vanish on open sets, that is, the initial vacuum is allowed.
MSC: 76N10, 35B44, 35B45.
Keywords:compressible magneto-micropolar fluids; blow-up criterion; strong solution; vacuum
In this paper, we consider the following 3D compressible viscous magneto-micropolar fluids:
where is the spacial coordinate and is the time. The unknown functions , , , and (, ) are the fluid density, velocity, micro-rotational velocity, magnetic field and pressure, respectively. The constants μ, λ, ξ, , and σ are the viscosity coefficients of the fluid satisfying
System (1.1)-(1.2) describing the motion of aggregates of small solid ferromagnetic particles relative to viscous magnetic fluids, such as water, hydrocarbon, ester, fluorocarbon, etc., in which they are immersed, covers a wide range of heat and mass transfer phenomena, under the action of magnetic fields, and is of great importance in practical and mathematics applications (see ). Indeed, (1.1) is composed of the balance laws of mass, momentum, moment of momentum and magnetohydrodynamic, respectively. Due to its importance in mathematics and physics, there is a lot of literature devoted to the mathematical theory of the compressible viscous magneto-micropolar system (see [2-4]).
For the incompressible magneto-micropolar fluid models where , Rojas-Medar  established local existence and uniqueness of strong solutions by the Galerkin method. Ortega-Torres and Rojas-Medar  proved global existence of strong solutions for small initial data. A BKM type blow-up criterion for smooth solution that relies on the vorticity of velocity only was obtained by Yuan . For regularity results, refer to Yuan  and Gala .
In particular, if the effect of angular velocity field of the particle’s rotation is omitted, i.e., , then (1.1) reduces to compressible magnetohydrodynamic equations (MHD). There are numerous important progress on compressible MHD (see [10-12] and the references therein). The local strong solutions to the compressible MHD with large initial data were respectively obtained by Vol’pert-Khudiaev  and Fan-Yu  in cases that the initial density is strictly positive and the initial density may vanish. Xu-Zhang  proved a blow-up criterion that if is the maximal time of existence of a strong solution, then
If , (1.1) reduces to compressible micropolar fluid equations. Mujakovic [13,14] considered the one-dimensional motion of compressible viscous micropolar fluids and studied the local/global existence. The global existence of strong solutions to the 1D model with initial vacuum was also obtained in . For multi-dimensional compressible magneto-micropolar equations, Amirat and Hamdache  proved the global existence of weak solutions with finite energy and the adiabatic constant for , which generalized Lions’ pioneering work  and the work by Feireisl et al.. Chen  established the local existence and uniqueness of strong solutions under the assumption that the initial density may vanish, and in  Chen et al. proved a blow-up criterion that
where r, s satisfy (1.3).
If and , (1.1) reduces to isentropic compressible Navier-Stokes equations. In , the authors established a Serrin-type blow-up criterion that
where r, s satisfy (1.3).
In this paper, our main purpose is to establish a blow-up criterion of strong solutions for system (1.1) with the following conditions:
To present the main result, we first give the following local existence and uniqueness of strong solutions to the Cauchy problem (1.1), (1.2) and (1.4) with initial vacuum (without proof), which can be obtained by the same method developed by Choe-Kim in  (see also Fan-Yu  and Chen  for MHD and compressible micropolar fluids, respectively).
and the compatibility conditions
Motivated by [20,21] and , we have the main purpose in this paper to prove a blow-up criterion for the problem (1.1), (1.2) and (1.4). More precisely, the main result in this paper reads as follows.
Theorem 1.2Assume that the initial datasatisfies (1.5)-(1.7). Letbe a strong solution of the Cauchy problem (1.1), (1.2) and (1.4) with the regularities (1.8). Ifis the maximal time of existence, then
for anyrandssatisfying (1.3).
Remark 1.3 Theorem 1.1 proves that the strong solutions of (1.1), (1.2) and (1.4) can exist only in a small time , which means that if is the maximal time of existence, then there must be some component of the fluid mechanics blow-ups. Theorem 1.2 points out one kind of blow-up mechanics.
Remark 1.4 There is no any additional growth condition on the micro-rotational velocity w and magnetic field H. This reveals that the density and the linear velocity play a more important role compared to the angular velocity of rotation of particles and the magnetic field in the regularity theory of solutions to 3D compressible magneto-micropolar fluid flows.
The rest of the paper is devoted to completing the proof of Theorem 1.2.
2 Proof of Theorem 1.2
First, we give the following well-known Gagliardo-Nirenberg inequality that will be used frequently.
The following BKM’s type inequality which will be used to estimate and with can be found in .
One can easily deduce from the following energy estimate (1.1), (1.2) and (1.4).
Lemma 2.3It holds that
Lemma 2.4Under the condition (2.4), it holds that
which, combined with (2.8), yields (2.9) immediately. □
The next lemma is concerned with the higher integrability of H under the assumption (2.4).
The proof is similar to Lemma 3.3 in  and is omitted here.
With the help of (2.4) and Lemmas 2.3-2.5, we can prove the following key lemma.
To estimate the first term on the right-hand side of (2.12), we observe that P satisfies
Hence, using (2.4), (2.5) and (2.10) yields that
where we have used Young’s inequality and (2.1).
For the second term, we have, after integration by parts, that
and by the Cauchy-Schwarz inequality, we have
For the last three terms on the right-hand side of (2.12), one has from (2.4) that
For any r, s satisfying (1.3), we have by the Hölder and Sobolev inequalities that
Furthermore, it follows from (1.1)4 and Sobolev’s embedding inequality that
putting (2.21) and (2.22) into (2.20), such that
It is easily seen that
Taking this into account, we conclude from (2.4), (2.24) and Gronwall’s inequality that part of (2.11) holds for any . Note that the estimate of is a consequence of (2.4), (2.22) and (2.23). The proof of this lemma is completed. □
We get after integration by parts that
Similarly, we also have
After integration by parts, using (1.1)1 and (2.11), we obtain
Using the definition of the material derivation and integrating by parts, we deduce from (2.1), (2.5) and (2.11) that
The ninth term on the right-hand side of (2.26) can be estimated as follows, integrating by parts, using (2.1), (2.5), (2.10), (2.11) and Hölder’s inequality:
In a similar manner, one also has
Integrating by parts and using (1.1)5, (2.1), (2.10) and (2.11), then we deduce
Combining (2.39)-(2.41), we obtain
Now, putting (2.41) and (2.42) into (2.38), one has
This, together with Lemmas 2.2 and 2.6, gives
then it is seen from (2.45) and (2.48) that
On the other hand, since
we thus deduce from (2.11), (2.25), (2.4), (2.8), (2.9) and (2.2) that
As a result, it follows from (2.49) and Gronwall’s inequality that
From this and (2.25), (2.48), (2.50), one obtains
Similar to the proof of (2.47), there are
where we have used (2.1), (2.11), (2.46), (2.51) and (2.54). From this, together with (2.25), (2.46) and (2.51)-(2.54), we can deduce (2.43). □
As a consequence of Lemmas 2.6-2.8, we have the following lemma.
The proof is the same as that of Lemma 3.6 in  and is omitted here.
With the help of Lemmas 2.3, 2.6-2.9 and the local existence theorem, we can complete the proof of Theorem 1.2 by the contradiction arguments. In fact, in view of Lemmas 2.3, 2.6-2.9, it is easy to see that the functions have the same regularities imposed on the initial data (1.5) at the time . This implies that the compatibility conditions (1.6) and (1.7) are satisfied at the time . Thus, we can take as the initial data and apply the local existence theorem to extend the local strong solutions beyond . This contradicts the assumption that is the maximal time of existence.
The author declares that they have no competing interests.
This work is partially supported by the Fundamental Research Funds for the Central Universities (Grant No. 11QZR16), the National Natural Science Foundation of China (Grant No. 11001090).
Article ID 122002Publisher Full Text
Rojas-Medar, MA: Magneto-micropolar fluid motion: existence and uniqueness of strong solution. Math. Nachr.. 188, 301–319 (1997). Publisher Full Text
Ortega-Torres, EE, Rojas-Medar, MA: Magneto-micropolar fluid motion: global existence of strong solutions. Abstr. Appl. Anal.. 4, 109–125 (1999). Publisher Full Text
Yuan, J: Existence theorem and blow-up criterion of strong solutions to the magneto-micropolar fluid equations. Math. Methods Appl. Sci.. 31, 1113–1130 (2008). Publisher Full Text
Gala, S: Regularity criterion for 3D magneto-micropolar fluid equations in the Morrey-Campanato space. Nonlinear Differ. Equ. Appl.. 17, 181–194 (2010). Publisher Full Text
Fan, JS, Yu, WH: Strong solution to the compressible MHD equations with vacuum. Nonlinear Anal., Real World Appl.. 10, 392–409 (2009). Publisher Full Text
Feireisl, E, Novotny, A, Petzeltová, H: On the existence of globally defined weak solutions to the Navier-Stokes equations. J. Math. Fluid Mech.. 3, 358–392 (2001). Publisher Full Text
Huang, XD, Li, J, Xin, ZP: Serrin-type criterion for the three-dimensional viscous compressible flows. SIAM J. Math. Anal.. 43(4), 1872–1886 (2011). Publisher Full Text
Choe, JH, Kim, H: Strong solutions of the Navier-Stokes equations for isentropic compressible fluids. J. Differ. Equ.. 190, 504–523 (2003). Publisher Full Text