- Research
- Open Access
- Published:
A new blow up criterion for the 3D magneto-micropolar fluid flows without magnetic diffusion
Boundary Value Problems volume 2021, Article number: 62 (2021)
Abstract
This note obtains a new regularity criterion for the three-dimensional magneto-micropolar fluid flows in terms of one velocity component and the gradient field of the magnetic field. The authors prove that the weak solution \((u,\omega,b)\) to the magneto-micropolar fluid flows can be extended beyond time \(t=T\), provided if \(u_{3}\in L^{\beta }(0,T;L^{\alpha }(R^{3}))\) with \(\frac{2}{\beta }+\frac{3}{\alpha }\leq \frac{3}{4}+\frac{1}{2\alpha },\alpha > \frac{10}{3}\) and \(\nabla b\in L^{\frac{4p}{3(p-2)}}(0,T;\dot{M}_{p,q}(R^{3}))\) with \(1< q\leq p<\infty \) and \(p\geq 3\).
1 Introduction
The aim of this paper is to understand the regularity criterion for the following three-dimensional magneto-micropolar fluid flows without magnetic diffusion:
This system is a special case of the classical three-dimensional magneto-micropolar fluid flows
where \(u=(u_{1},u_{2},u_{3}),\omega =(\omega _{1},\omega _{2},\omega _{3}),b=(b_{1},b_{2},b_{3})\) and π denote the unknown velocity field, the micro-rotational velocity, the magnetic field and the unknown scalar pressure at the point \((x,t)\in \mathbf{R}^{3}\times (0,T)\), respectively. While \(u_{0},\omega _{0},b_{0}\) are the prescribed initial data and \(\operatorname{div} u=\operatorname{div}b=0\) in the sense of distributions. The constants \(\mu, \chi, \kappa, \gamma \) are positive numbers associated with the properties of the material, where μ is the kinematic viscosity, χ is the vortex viscosity, κ and γ are spin viscosities (more details see [11]).
The magneto-micropolar fluid system (1.2) was first proposed by Galdi and Rionero [7]. The existence of global-in-time weak solutions was then established by Rojas-Medar and Boldrini [14], while the local strong solutions and global strong solutions in bounded domain for the small initial data were considered, respectively, by Rojas-Medar [13] and Ortega-Torres and Rojas-Medar [12]. However, whether the local strong solutions can exist globally or the global weak solution is regular and unique is an outstanding open problem. Hence there are many regularity criteria to ensure the smoothness of solutions. Gala [2] proved that, if \(u\in L^{\frac{2}{1-r}}(0,T;\dot{M}_{p,\frac{3}{r}}(R^{3}))\) or \(\nabla u\in L^{\frac{2}{2-r}}(0,T;\dot{M}_{p,\frac{3}{r}}(R^{3}))\), then the local smooth solution \((u,\omega,b)\) can be extended beyond \(t=T\). Zhang and Yao [17] demonstrated that, if \(\nabla u\in L^{p}(0,T;\dot{F}_{q,\frac{2q}{3}}^{0}(R^{3}))\) with \(\frac{2}{p}+\frac{3}{q}=2, \frac{3}{2}< q\le \infty \), then the weak solution \((u,\omega,b)\) is smooth on \([0,T]\).
When the micro-rotational velocity \(\omega =0\) and \(\chi =0\), Eq. (1.2) becomes the standard magneto-hydrodynamic equations. In recent years, the problem of regularity criteria involving one component has been investigated for the MHD equations (see e.g. [3–5, 8, 9]). In 2016, Yamazaki [15] proved that, if
with \(\frac{2}{p}+\frac{3}{q}\le \frac{1}{3}+\frac{1}{2q},\frac{15}{2}< q\le \infty \) and
with \(\frac{2}{p'}+\frac{3}{q'}\le 2,\frac{13}{2}< q'\le \infty \), then the weak solution \((u,b)\) is regular, where \(j_{3}\) is the third component of \(\nabla \times b=(j_{1},j_{2},j_{3})\). Later Zhang [16] refined the result of Yamazaki’s. He proved that, if
with \(\frac{2}{p}+\frac{3}{q}\le \frac{4}{9}+\frac{1}{3q},\frac{15}{2}< q\le \infty \) and
with \(\frac{2}{p'}+\frac{3}{q'}\le 2,\frac{3}{2}< q'\le \infty \), then the weak solution \((u,b)\) is regular.
We further assume that \(\omega =\chi =0\), the system (1.1) is usually named MHD equations without magnetic diffusion. In order to present our motivation, we list some information on regularity criteria for 2D-MHD equations without magnetic diffusion. In 2011, Zhou and Fan [18] proved if \(\nabla b\in L^{1}(0,T; \mathrm{BMO}(R^{2}))\), then the local strong solution \((u,b)\) is regular. Gala, Ragusa and Ye [6] improved Zhou and Fan’s result. They showed that, if \(\nabla b\in L^{\frac{p}{p-1}}(0,T; \dot{M}_{p,q}(R^{2}))\) with \(p\ge q>1\), the local strong solution \((u,b)\) to the MHD equations with magnetic diffusion is regular. Motivated by [2, 15], and [6], we will investigate the regularity criterion on the weak solution to the magneto-micropolar flows involving one velocity component and the gradient of magnetic field satisfying (1.3) and (1.4). Our result is stated as follows.
Theorem 1.1
Let \((u_{0},b_{0})\in H^{1}(R^{3})\) and \(\omega _{0}\in H^{1}(R^{3})\), with the initial data \(\nabla \cdot u_{0}=\nabla \cdot b_{0}=0\). Assume that \((u,\omega,b)\) be the weak solution to the equations (1.1) defined on \([0,T)\) for some \(0< T<\infty \). If \((u,b)\) satisfies
and
then the solution \((u,\omega,b)\) to (1.1) can be smoothly extended beyond \(t=T\).
Remark 1.1
To the best of our knowledge, this is the first regularity criterion result is concerned with weak solution to the 3D incompressible MHD equations without magnetic diffusion in Morrey Campanato space. The worst difficulty is to handle the nonlinear term \(\int _{R^{3}}u\cdot \nabla u\cdot \Delta u\,dx\). For the two dimension case, due to \(\int _{R^{2}}u\cdot \nabla u\cdot \Delta u=0\), the condition \(\nabla b\in L^{\frac{2p}{p-2}}(0,T;\dot{M}_{p,q}(R^{2}))\) is sufficient (see [6]). Compared with the result in [2], due to the magneto-micropolor fluid flows discussed in Theorem 1.1 there is lack of magnetic diffusion, it increases the difficulties of dealing with the nonlinear terms in \(H^{1}\)-energy estimates, especially for the term \(\int _{R^{3}}u\cdot \nabla w\cdot \Delta w\,dx\). Fortunately, the \(L^{3}\)-energy estimate for ω helps us to overcome these problems.
When \(\omega =0,\chi =0\), the magneto-micropolar equations (1.1) become the classical MHD equations without magnetic diffusion. Theorem 1.1 converts into the following corollary.
Corollary 1.1
Let \((u_{0},b_{0})\in H^{1}(R^{3})\) with the initial data \(\nabla \cdot u_{0}=\nabla \cdot b_{0}=0\). Assume that \((u,b)\) be the weak solution to the incompressible MHD equations defined on \([0,T)\) for some \(0< T<\infty \). If \((u,b)\) satisfies
and
then the local strong solution \((u,b)\) can be smoothly extended beyond \(t=T\).
Remark 1.2
Comparing with the results either in [15] or in [16], though the MHD equations discussed in Corollary 1.1 show lack of magnetic diffusion and the spatial space of magnetic field is enlightened, it is hard to say our results have refined the one in [15] or that in [16].
The difficulties and strategy are listed as follows:
• The first big tiger is to estimate the nonlinear term \(\int _{R^{3}}u\cdot \nabla u\cdot \Delta u\,dx\). Since \(\int _{R^{3}}u\cdot \nabla u\cdot \Delta u\,dx\ne 0\), it is impossible to handle it as in the second dimension. We have to present the horizontal energy estimate \(\|\nabla _{h} u\|_{L^{2}}, \|\nabla _{h}b\|_{L^{2}}\).
• The second thorn is the nonlinear term \(\int _{R^{3}}u\cdot \nabla w\cdot \Delta w\,dx\). Integrating by part gives \(\int _{R^{3}}\Delta u\cdot \nabla \omega \cdot \omega \,dx\) and \(\int _{R^{3}}\nabla u\cdot \nabla ^{2}\omega \cdot \omega \,dx\). As usual, if we use the Hölder inequality and the Young inequality, we get
which does not work. Thanks to the \(L^{3}\)-norm estimate of ω and some suitable interpolating inequality, which can be found in Sect. 3, we can overcome these difficulties. More precisely, these methods helps us to handle \(\int _{\mathbf{R}^{3}}\Delta u\cdot \nabla \omega \cdot \omega\, dx\) and \(\int _{\mathbf{R}^{3}}\nabla u\cdot \nabla ^{2}\omega \cdot \omega \,dx\) successfully.
The rest of this paper is organized as follows. The definition of some functional spaces and some useful lemmas are presented in Sect. 2. The \(L^{3}\)-norm of ω is given in Sect. 3. The proof of Theorem 1.1 is presented in Sect. 4.
2 Preliminaries and some basic facts
In this section, we will present some information on the Morrey space and introduce the definition of a weak solution to the magneto-micropolar equation (1.1).
Definition 2.1
(see [10])
For \(1< q\le p\le \infty \), the homogeneous Morrey space is presented as follows:
where \(B(x,R)\) denotes the closed ball in \(R^{3}\) with center x and radius R.
Definition 2.2
(see [10])
Let \(1< p'\le q'<\infty \), we address the homogeneous space \(Z_{p',q'}\) defined by
The following lemma plays a crucial role in proving the regularity criterion for the magneto-micropolar fluid flows (1.1).
Lemma 2.1
(see [10])
(1) Let \(1< p'\leq q'<\infty \) and \(p,q\) such that \(\frac{1}{p}+\frac{1}{p'}=1,\frac{1}{q}+\frac{1}{q'}=1\), then \(\dot{M}_{p,q}\) is the dual space of \(Z_{p',q'}\).
(2) Let \(1< p'\leq q'<2, \frac{1}{p}+\frac{1}{p'}=1, \frac{1}{q}+\frac{1}{q'}=1 \) and \(r=\frac{3}{p}\), there exists \(C>0\) such that \(\forall f\in L^{2}(R^{3})\) and \(\forall g\in \dot{H}^{r}(R^{3}), h\in \dot{M}_{p,q}(R^{3})\) satisfies
The Sobolev–Ladyzhenskaya inequality in the whole space \(R^{3}\) reads as follows.
Lemma 2.2
(see [1])
There exists a constant \(C>0\) such that
for every \(\phi \in H^{1}(R^{3})\) and every \(p\in [2,6]\), where C is a constant depending only on p.
The definition of a weak solution to the magnetic micropolar equation is provided in the following.
Definition 2.3
Let \((u_{0},b_{0})\in L_{\sigma }^{2}(R^{3}), \omega \in L^{2}(R^{3})\) and \(T>0\). A measurable function \((u,b,\omega )\) is said to be a weak solution to (1.1) on \((0,T)\) if
(i) \((u,b)\in L^{\infty }(0,T; L_{\sigma }^{2}(R^{3}))\cap L^{2}(0,T; H^{1}(R^{3}))\), and \(\omega \in L^{\infty }(0,T; L^{2}(R^{3}))\cap L^{2}(0,T; H^{1}(R^{3}))\);
(ii) for every \(\phi,\varphi \in H^{1}(0,T;H_{\sigma }^{1}(R^{3}))\) and \(\psi \in H^{1}(0,T; H^{1}(R^{3}))\) with \(\phi (T)=\varphi (T)=\psi (T)=0\),
and
where \(L_{\sigma }^{2}=\{u| u\in L^{2}, \nabla \cdot u=0\}\).
3 Some useful lemmas
The following \(L^{3}\)-energy estimate is needed to prove our result.
Lemma 3.1
Let \((u,\omega,b)\) be the weak solution to the magneto-micropolar equation (1.1). Then
for any \(t\in [0,T)\).
Proof
Multiplying (1.1)2 by \(|\omega |\omega \) and integrating over \(R^{3}\), we have
where we have used
To estimate the nonlinear term on the right hand side, integrating by parts and using the Young inequality and (4.1), we obtain
Substituting the above inequality into (3.2) gives
Integrating on \([0,t)\) and using (4.1) yield
 □
4 Proof of Theorem 1.1
In this section, we shall give the proof of Theorem 1.1. We will assume that \(\mu =\chi =\gamma =\kappa =1\) throughout this paper.
Let \([0,T^{*})\) be the maximal time interval for the existence of the local smooth solution. If \(T^{*}\geq T\), the conclusion is obviously valid, but for \(T^{*}< T\), we would show that
under the assumption of (1.3) and (1.4). Hence, according to the definition of \(T^{*}\), this leads to a contradiction.
Step 1: \(L^{2}\)-energy estimate A standard energy method says
Step 2: \(H^{1}\)-Horizontal energy estimate
We first establish the horizontal gradient of the velocity u and magnetic field b. Taking \(\nabla _{h}\) on both sides of Eqs. (1.1)1 and (1.1)3, multiplying by \(\nabla _{h} u\) and \(\nabla _{h} b\), respectively, and integrating over \({\mathbf{R}}^{3}\), we get
We start to estimate \(A_{2}\). From (1.1)4 and Lemma 2.1 and the fact \(\nabla \cdot u=\nabla \cdot b=0\), we know that \((p\geq 3)\)
Thanks to the Hölder and Young inequalities, one deduces
Now it is time to deal with the first term \(A_{1}\). Integrating by parts, we get
Using integration by parts again and applying the fact that \(\operatorname{div}u=0\), it yields
and
Substituting (4.6) and (4.7) into (4.5) yields
Thanks to the Hölder inequality, (2.1) and the Young inequality, we obtain for \(\alpha >3\)
which, along with (4.3), (4.4) and (4.2), gives
Integrating over \([0, t)\) and using (4.1), one can verify
Step 3: \(H^{1}\)-full energy estimate
Multiplying \({\text{(1.1)}}_{1}, {\text{(1.1)}}_{2}\) and (1.1)3 by \(-\Delta u, -\Delta \omega \) and \(-\Delta b\), respectively, and integrating over \({\mathbf{R}}^{3}\), then adding them we obtain
where we have used the inequalities
and
Now, we estimate \(B_{2}, B_{5}\) and \(B_{6}\). After applying integration by parts, \(\operatorname{div}u=\operatorname{div}b=0\), the Hölder inequality, Lemma 2.1, the Sobolev interpolation inequality and the Young inequality, we have
We can infer from the Hölder and the Young inequalities that
Applying integration by parts we obtain
Thanks to the Hölder inequality, the interpolation inequality with \(3\leq \alpha \leq 9\) and Lemma 3.1, we arrive at
Similarly, the term \(B_{32}\) can be bounded as follows:
For the term \(B_{1}\), similar to \(A_{1}\), we find that
Combining (4.13), (4.14), (4.16), (4.17) and (4.18), then (4.12) becomes
Integrating over \([0,t]\) yields
where
We proceed to estimate \(G(t)\). From (4.1) and (4.11), we deduce that
Inserting the above inequality into (4.20), we have
Gronwall’s inequality and Lemma 3.1 help to obtain
which completes the proof of Theorem 1.1.
Availability of data and materials
Not applicable.
References
Cao, C., Wu, J.: Two regularity criteria for the 3D MHD equations. J. Differ. Equ. 248, 2263–2274 (2010)
Gala, S.: Regularity criteria for the 3D magneto-microploar fluid equations in the Morrey–Campanato space. Nonlinear Differ. Equ. Appl. 17, 181–194 (2010)
Gala, S., Ragusa, M.A.: A logarithmic regularity criterion for the two-dimensional MHD equations. J. Math. Anal. Appl. 444, 1752–1758 (2016)
Gala, S., Ragusa, M.A.: On the regularity criterion of weak solutions for the 3D MHD equations. Z. Angew. Math. Phys. 68, 140 (2017)
Gala, S., Ragusa, M.A.: A new regularity criterion for the 3D incompressible MHD equations via partial derivatives. J. Math. Anal. Appl. 481, 123497 (2020)
Gala, S., Ragusa, M.A., Ye, Z.: An improved blow-up criterion for smooth solutions of the two-dimensional MHD equations. Math. Methods Appl. Sci. 40, 279–285 (2017)
Galdi, G.P., Rionero, S.: A note on the existence and uniqueness of solutions of the microploar fluid equations. Int. J. Eng. Sci. 15, 105–108 (1997)
Jia, X., Zhou, Y.: Regularity criteria for the 3D MHD equations involving partial components. Nonlinear Anal., Real World Appl. 13, 410–418 (2012)
Jia, X., Zhou, Y.: Regularity criteria for the 3D MHD equations via partial derivatives. Kinet. Relat. Models 5, 505–516 (2012)
Lemarié-Rieusset, P.G.: The Navier–Stokes equations in the critical Morrey–Campanato space. Rev. Mat. Iberoam. 23, 897–930 (2007)
Lukaszewicz, G.: Micropolar Fluids: Theory and Applications. Birkhäuser, Berlin (1998)
Ortega-Torres, E.E., Rojas-Medar, M.A.: Magneto-microploar fluid motion: global existence of strong solutions. Abstr. Appl. Anal. 4, 109–125 (1999)
Rojas-Medar, M.A.: Magneto-microploar fluid motion: existence and uniqueness of strong solutions. Math. Nachr. 188, 301–319 (1997)
Rojas-Medar, M.A., Boldrini, J.L.: Magneto-microploar fluid motion: existence of weak solutions. Internet Rev. Mat. Complut. 11, 443–460 (1998)
Yamazaki, K.: Regularity criteria of MHD system involving one velocity and one current density component. J. Math. Fluid Mech. 16, 551–570 (2014)
Zhang, Z.: Regularity criteria for the 3D MHD equations involving one current density and the gradient of one velocity component. Nonlinear Anal. 115, 41–49 (2015)
Zhang, Z., Yao, Z., Wang, X.: A regularity criterion for the 3D magneto-micropolar fluid equations in Triebel–Lizorkin spaces. Nonlinear Anal. 74, 2220–2225 (2011)
Zhou, Y., Fan, J.: A regularity criterion for the 2D MHD system with zero magnetic diffusivity. J. Math. Anal. Appl. 378, 169–172 (2011)
Acknowledgements
This work was supported by the National Natural Science Foundation of China (No. 11961032 and No. 11971209), the Natural Science Foundation of Jiangxi Province, China (No. 20191BAB201003).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, D., Liu, Q. A new blow up criterion for the 3D magneto-micropolar fluid flows without magnetic diffusion. Bound Value Probl 2021, 62 (2021). https://doi.org/10.1186/s13661-021-01539-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-021-01539-0
MSC
- 35Q35
- 76D03
Keywords
- Magneto-micropolar fluid flow
- Regularity criterion
- Weak solution
- Morrey spaces