Abstract
This paper concerns the three-dimensional incompressible generalized magnetohydrodynamic equations. By using the Lei and Lin (Commun Pure Appl Math 64:1297–1304 2011) argument, we get the global well-posedness of the generalized magnetohydrodynamic equations with small initial data. Moreover, we prove that the corresponding global solution decays to zero as time goes to infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we consider the following Cauchy problem of the three-dimensional (3D) generalized incompressible magnetohydrodynamic (GMHD) equations
with the initial condition
where \(\mu \ge 0\) and \(\nu \ge 0\) are real constant parameters. \(u=u(x,t)\in \mathbb {R}^{3}\) denotes the velocity, \(\pi =\pi (x,t)\in \mathbb {R}\) denotes scalar pressure, and \(B=B(x,t)\in \mathbb {R}^{3}\) is the magnetic field, while \(u_{0}(x)\) and \(b_{0}(x)\) are the given initial velocity and initial magnetic field with \(\nabla \cdot u_{0}(x)=0\) and \(\nabla \cdot B_{0}(x)=0\), respectively, while the fractional Laplacian operator \(\Lambda ^{2\alpha }\), \(\Lambda \triangleq (-\Delta )^{\frac{1}{2}}\) is defined through a Fourier transform, namely \(\widehat{\Lambda ^{2\alpha } f}(\xi )=|\xi |^{2\alpha }\hat{f}(\xi )\). The GMHD system (1.1), which describes the macroscopic behavior of the electrically conducting incompressible fluids in a magnetic field, is a generalization of the classical incompressible MHD system.
It is an easy observation that the system (1.1) with \(\alpha =1\) reduces to the classical MHD system, which has drawn much attention during the past twenty more years. Duvaut and Lions [5] constructed a global Leray–Hopf weak solution and a local strong solution of the 3D incompressible MHD system. Sermange and Temam [14] further examined the properties of these solutions. But whether this unique local solution can exist globally is an outstanding challenge problem due to the presence of Navier–Stokes equations. For this reason, there are numerous important progresses on the fundamental issue of the blow-up criteria or regularity criteria to the system (1.1) with \(\alpha =1\) (see, e.g., [3, 4, 7, 8, 13, 14, 17, 22, 27] and the references cited therein). For the GMHD system (1.1), the global-in-time weak solution was proved by Wu [19]. Moreover, Wu proved that the weak solution becomes the classical solution as long as the power \(\alpha \ge \frac{5}{4}\). It is still a big open problem for the power \(\alpha <\frac{5}{4}\). For many other interesting results on the GMHD system (1.1), we refer the readers to [10–12, 15, 18, 20, 21, 23–26].
Now let us define the following function space
with the corresponding norm denoted by \(\Vert \cdot \Vert _{\chi ^{s}}\).
It should be noted that system (1.1) has scaling property that if (u, B) is a solution of the system (1.1), then for any \(\varrho >0\) the functions
are also solutions of (1.1) with the corresponding initial data \(u_{0,\,\varrho }(x)=\varrho ^{2\alpha -1} u_{0}(\varrho x)\) and \( B_{0,\,\varrho }(x)=\varrho ^{2\alpha -1} B_{0}(\varrho x)\). This scaling invariance property is particularly significant and naturally leads to the definition of critical space for the system (1.1). Therefore, it is an obvious fact that
Therefore, \(\chi ^{1-2\alpha }\) is the critical space for the system (1.1).
For the small initial data, we will prove the global existence, more precisely
Theorem 1.1
Assume that \((u_{0}, B_{0})\in \chi ^{1-2\alpha }(\mathbb {R}^{3})\) with \(\frac{1}{2}\le \alpha \le 1\) obeys the smallness condition
then the system (1.1) admits a unique global solution \((u,\,B)\in C(\mathbb {R}^{+};\,\chi ^{1-2\alpha }(\mathbb {R}^{3}))\cap L^{1}(\mathbb {R}^{+};\,\chi ^{1}(\mathbb {R}^{3}))\). Furthermore, for any \(0\le t<\infty \), it holds
Remark 1.2
Here we want to emphasized that Lei and Lin [9] proved global well-posedness result with small initial datum in the space \(\chi ^{-1}\) for the classical 3D Navier–Stokes equations. Later, Wang and Wang [16] obtained the corresponding result for classical 3D magnetohydrodynamic equations by the argument of Lei and Lin [9]. Therefore, Theorem 1.1 can be viewed as complementary result of works [9] and [16].
Now we state the long-time decay result for the system (1.1).
Theorem 1.3
Let \((u,\,B)\in C(\mathbb {R}^{+};\,\chi ^{1-2\alpha }(\mathbb {R}^{3}))\cap L^{1}(\mathbb {R}^{+};\,\chi ^{1}(\mathbb {R}^{3}))\) with \(\frac{5}{6}< \alpha \le 1\) be a global solution of the system (1.1) given by Theorem 1.1, then
Remark 1.4
At present, we are not able to show that (1.4) still holds true for \(\frac{1}{2}\le \alpha \le \frac{5}{6}\). The key reason is that the proof heavily relies on Lemma 3.1.
2 The proof of the Theorem 1.1
This section is devoted to the proof of the Theorem 1.1. Before proving the theorem, we need the following lemma which plays a key role in proving our main result.
Lemma 2.1
Assume that \(\frac{1}{2}\le \alpha \le 1\), then the following inequality holds
for any \(\xi ,\,\eta \in \mathbb {R}^{3}\).
Remark 2.2
It should be noted that inequality (2.1) fails for \(\alpha >1\). One can take such a counterexample \(\eta =(1,\,0,\,0),\,\,\xi =(1-a,\,0,\,-\sqrt{1-a^{2}})\) for \(\frac{1}{2}<a\le 1\). The following counterexample also indicates that inequality (2.1) does not hold true for the case \(\alpha <\frac{1}{2}\): \(\xi =(1,\,0,\,0),\,\,\eta =(1-b,\,0,\,-\sqrt{1-b^{2}})\) with b close enough to 1.
Proof of Lemma 3.1
The cases \(\alpha =\frac{1}{2}\) and \(\alpha =1\) are quite obvious. In fact,
gives the result for the case \(\alpha =\frac{1}{2}\), while the case \(\alpha =1\) is a direct consequence of the following mean value inequality
Thus, in what follows we just consider the remainder case \(\frac{1}{2}<\alpha <1\). Without loss of generality, we may assume \(\xi \ne 0\) (in fact \(\xi =0\) is an ordinary case). In this case, the inequality (2.1) can be rewritten as
For notational convenience, we denote
It is easy to find
Equivalently, we only show the following inequality holds true under the condition (2.3)
Now we define
Now we take linear function \(y=k x\) for \(0\le k\le \infty \) to cover all the point pair (x, y) on the ranges (2.3). As a result,
Next, we will prove that the function g(x) admits the minimal value \(g_{\mathrm{small}}\) which is independent of k. More precisely, the value \(g_{\mathrm{small}}\) is \(\frac{2}{2^{2(1-\alpha )}}\).
Taking the derivative of g(x), we see
Hence, we can easily get that
Under the case \(\frac{1}{2}<\alpha <1\), it is easy to check that
Taking the derivative of \(g_{\mathrm{mim}}(k)\), we have
Now we take
Again taking the derivative of h(k), it yields
Moreover, we can find
which together with the monotonicity of h(k) leads to
that is,
Consequently,
This completes the proof of Lemma 3.1. \(\square \)
Proof of Theorem 1.1
The existence and uniqueness of local smooth solutions can be done as [9, 16]; thus, we may assume that (u, B) is smooth enough in the interval \([0,\,T)\). We will establish some a priori bounds that will allow us to show \(T=\infty \) under the assumption (1.3).
To begin with, we take the Fourier transform of the system (1.1) to get
and
Taking advantage of (2.5) and (2.6), we deduce that
Applying the inequality (2.1) several times, it turns out that
and
Combining aforementioned estimates, we arrive at
Note that the condition (1.3), namely
one may deduce that
for all \(t\in [0,\,T)\).
Indeed, we argue (2.11) by contradiction. Suppose that (2.11) is not true. Then there exists a time \(T_{\star }<T\) (the first time) such that
Thus, we have
which together with (2.10) leads to
Whence we obtain
which leads a contradiction with (2.12). In other words, (2.11) is true.
It follows from (2.10) that for all \(t\in [0,\,T)\)
It is straightforward to show that
and
Thus, we can deduce from (2.15) that
By the standard energy method, we can show that for any \(s>0\)
The above estimate implies that \(T=\infty \). As a consequence, the following bound holds for any \(0\le t<\infty \)
Consequently, this completes the proof of Theorem 1.1. \(\square \)
3 The proof of the Theorem 1.3
Proof of Theorem 1.3
The proof is largely based on the idea from the work [6] (see also [1, 2]).
We take sufficiently small \(\epsilon >0\) such that
Now we choose \(\widetilde{u_{0}}\in L^{2}\) and \(\widetilde{B_{0}}\in L^{2}\) such that
This condition is easy to satisfy. As a matter of fact, we select
for small enough \(\delta >0\).
Now we consider
Note that the small condition (3.1); one can deduce from Theorem 1.1 that the system (3.2) has a unique global solution \((\widetilde{u},\,\widetilde{B})\in C\left( \mathbb {R}^{+};\,\chi ^{1-2\alpha }(\mathbb {R}^{3})\right) \cap L^{1}\left( \mathbb {R}^{+};\,\chi ^{1}(\mathbb {R}^{3})\right) \). Moreover, the following holds for any \(t\ge 0\)
Meanwhile, we have the energy estimate
Next, we take into consideration the difference
which satisfies the system
Adding the inner products of (3.3) with W and of (3.4) with B and integrating by parts, we can show that
where we have used the cancellation property
It follows from the incompressible condition and Young inequality that
The other terms can be bounded as follows by an argument similar to that used in the proof of \(K_{1}\)
and
Plugging the estimates (3.6)–(3.9) into (3.5), it gives
It should be noted that
Gronwall inequality allows us to get
Now we recall the following interpolation inequality (the proof of which is postponed in the end of this section)
Lemma 3.1
Suppose that \(f,\,\,\Lambda ^{\alpha } f\in L^{2}(\mathbb {R}^{n})\) with \(\frac{n+2}{6}<\alpha < \frac{n+2}{4}\), then it holds
where n is the space dimension.
We continue to prove Theorem 1.3. Thanks to above interpolation inequality, one can conclude
Due to the continuity of \(W,\,E\) in space \(\chi ^{1-2\alpha }\), there exists a time \(T_{\star }\) such that
Recalling (3.1), we have
Now we consider the following system
By the small data result of Theorem 1.1, we immediately obtain
for any \(t\ge T_{\star }\).
Due to the arbitrariness of \(\epsilon \), the proof of Theorem 1.3 is completed.
Finally, let us finish the proof of Lemma 3.1 to end this section.
Let M be a positive constant to be fixed later.
Making use of Young inequality, we get
With the same argument to \(N_{2}\), one arrives at
Now we select
Thus, Lemma 3.1 is now proved. \(\square \)
References
Benameur, J.: Long time decay to the Lei–Lin solution of 3D Navier–Stokes equations. J. Math. Anal. Appl. 422, 424–434 (2015)
Benameur, J., Benhamed, M.: Long time behaviour to the solution of the two-dimensional dissipative quasi-geostrophic equation, arXiv:1408.5501
Cao, C., Wu, J.: Two regularity criteria for the 3D MHD equations. J. Differ. Equ. 248, 2263–2274 (2010)
Chen, Q., Miao, C., Zhang, Z.: On the regularity criterion of weak solution for the 3D viscous magneto-hydrodynamics equations. Commun. Math. Phys. 284, 919–930 (2008)
Duvaut, G., Lions, J.-L.: Inéquations en thermoélasticité et magnétohydrodynamique. Arch. Ration. Mech. Anal. 46, 241–279 (1972)
Gallagher, I., Iftimie, D., Planchon, F.: Non-blowup at large times and stability for global solutions to the Navier–Stokes equations. C. R. Acad. Sci. Pairs, Ser. 1334, 289–292 (2002)
He, C., Xin, Z.: On the regularity of solutions to the magnetohydrodynamic equations. J. Differ. Equ. 213, 235–254 (2005)
He, C., Wang, Y.: On the regularity criteria for weak solutions to the magnetohydrodynamic equations. J. Differ. Equ. 238, 1–17 (2007)
Lei, Z., Lin, F.: Global mild solutions of Navier–Stokes equations. Commun. Pure Appl. Math. 64, 1297–1304 (2011)
Liu, Q., Zhao, J., Cui, S.: Existence and regularizing rate estimates of solutions to a generalized magneto-hydrodynamic system in pseudomeasure spaces. Ann. Mat. Pura Appl. 191, 293–309 (2012)
Liu, Q., Zhao, J., Cui, S.: Uniqueness of weak solution to the generalized magneto-hydrodynamic system. Ann. Mat. Pura Appl. 193, 699–722 (2014)
Liu, Q., Zhao, J.: Global well-posedness for the generalized magneto-hydrodynamic equations in the critical Fourier–Herz spaces. J. Math. Anal. Appl. 420, 1301–1315 (2014)
Miao, C., Yuan, B.: On well-posedness of the Cauchy problem for MHD system in Besov spaces. Math. Methods Appl. Sci. 32, 53–76 (2009)
Sermange, M., Temam, R.: Some mathematical questions related to the MHD equations. Commun. Pure Appl. Math. 36, 635–664 (1983)
Tran, C.V., Yu, X., Zhai, Z.: Note on solution regularity of the generalized magnetohydrodynamic equations with partial dissipation. Nonlinear Anal. 85, 43–51 (2013)
Wang, Y., Wang, K.: Global well-posedness of the three dimensional magnetohydrodynamics equations. Nonlinear Anal. RWA 17, 245–251 (2014)
Wang, Y.: BMO and the regularity criterion for weak solutions to the magnetohydrodynamic equations. J. Math. Anal. Appl. 328, 1082–1086 (2007)
Wu, G.: Regularity criteria for the 3D generalized MHD equations in terms of vorticity. Nonlinear Anal. 71, 4251–4258 (2009)
Wu, J.: Generalized MHD equations. J. Differ. Equ. 195, 284–312 (2003)
Wu, J.: Regularity criteria for the generalized MHD equations. Commun. Partial Differ. Equ. 33, 285–306 (2008)
Wu, J.: Global regularity for a class of generalized magnetohydrodynamic equations. J. Math. Fluid Mech. 13, 295–305 (2011)
Xu, X., Ye, Z., Zhang, Z.: Remark on an improved regularity criterion for the 3D MHD equations. Appl. Math. Lett. 42, 41–46 (2015)
Yamazaki, K.: Global regularity of logarithmically supercritical MHD system with zero diffusivity. Appl. Math. Lett. 29, 46–51 (2014)
Yuan, B., Li, F.: Regularity criteria of axisymmetric weak solutions to the 3D magnetohydrodynamic equations. Acta Math. Appl. Sin. Engl. Ser. 29, 289–302 (2013)
Yuan, J.: Existence theorem and regularity criteria for the generalized MHD equations. Nonlinear Anal. Real World Appl. 11, 1640–1649 (2010)
Zhou, Y.: Regularity criteria for the generalized viscous MHD equations. Ann. Inst. H. Poincar Anal. Non Linear 27, 491–505 (2007)
Zhou, Y., Gala, S.: Regularity criteria for the solutions to the 3D MHD equations in the multiplier space. Z. Angew. Math. Phys. 61, 193–199 (2010)
Acknowledgments
The author would like to express gratitude to the anonymous referee and the associated editor for their careful reading of the manuscript, many valuable comments and suggestions for its improvement.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ye, Z. Global well-posedness and decay results to 3D generalized viscous magnetohydrodynamic equations. Annali di Matematica 195, 1111–1121 (2016). https://doi.org/10.1007/s10231-015-0507-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-015-0507-x