Skip to main content

Remarks on the regularity criteria for the 3D MHD equations in the multiplier spaces

Abstract

In this paper, we consider the regularity criteria for the 3D MHD equations. It is proved that if

∂ 3 (u+b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

or

∂ 3 (u−b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

then the solution actually is smooth. This extends the previous results given by Guo and Gala (Anal. Appl. 10:373-380, 2013), Gala (Math. Methods Appl. Sci. 33:1496-1503, 2010).

MSC:35B65, 35Q35, 76D03.

1 Introduction

In this paper, we consider the following three-dimensional (3D) magnetohydrodynamic (MHD) equations:

{ u t + ( u ⋅ ∇ ) u − ( b ⋅ ∇ ) b − △ u + ∇ π = 0 , b t + ( u ⋅ ∇ ) b − ( b ⋅ ∇ ) u − △ b = 0 , ∇ ⋅ u = 0 , ∇ ⋅ b = 0 , u ( 0 ) = u 0 , b ( 0 ) = b 0 ,
(1)

where u=( u 1 , u 2 , u 3 ) is the fluid velocity field, b=( b 1 , b 2 , b 3 ) is the magnetic field, π is a scalar pressure, and ( u 0 , b 0 ) are the prescribed initial data satisfying ∇⋅ u 0 =∇⋅ b 0 =0 in the distributional sense. Physically, (1) governs the dynamics of the velocity and magnetic fields in electrically conducting fluids such as plasmas, liquid metals, and salt water. Moreover, (1)1 reflects the conservation of momentum, (1)2 is the induction equation, and (1)3 specifies the conservation of mass.

Besides its physical applications, MHD system (1) is also mathematically significant. Duvaut and Lions [1] constructed a global weak solution to (1) for initial data with finite energy. However, the issue of regularity and uniqueness of such a given weak solution remains a challenging open problem. Many sufficient conditions (see, e.g., [2–16] and the references therein) were derived to guarantee the regularity of the weak solution. Among these results, we are interested in regularity criteria involving only partial components of the velocity u, the magnetic field b, the pressure gradient ∇π, etc.

In [8], Jia and Zhou used an intricate decomposition technique and delicate inequalities to obtain the following regularity criterion:

∂ 3 π∈ L p ( 0 , T ; L q ( R 3 ) ) , 2 p + 3 q =2,3≤q<∞,
(2)

that is, if (2) holds, then the solution of (1) is smooth. Applying a more subtle decomposition technique (see [[13], Remark 3]), Zhang, Li, and Yu [13] could be able to prove smoothness condition (2) in the case 3/2≤q≤3. Noticeably, Zhang [17] treated the range 3 2 ≤q≤∞ in a unified approach.

As far as one directional derivative of the velocity field is concerned, Cao and Wu [2] proved the following regularity criterion:

∂ 3 u∈ L p ( 0 , T ; L q ( R 3 ) ) , 2 p + 3 q =1,3≤q≤∞;

Jia and Zhou [10] showed that if

∂ 3 u∈ L p ( 0 , T ; L q ( R 3 ) ) , 2 p + 3 q = 3 4 + 3 2 q ,q>2,

then the solution is regular. These results were improved by Zhang [18] to be

∂ 3 u∈ L p ( 0 , T ; L q ( R 3 ) ) , 2 p + 3 q =1+ 1 q ,q>2.

We would like to give another contribution in this direction and prove that if

∂ 3 (u+b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

or

∂ 3 (u−b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

then the solution actually is smooth. Here, X Ë™ r is the multiplier spaces, which is strictly larger than L 3 r ( R 3 ) (see Section 2 for details).

Notice that our result extends

∂ 3 u∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1)

which is in [19] for the Navier-Stokes equations. At this moment, for MHD equations (1), we could not be able to add the regularity condition on one directional derivative of the velocity field only, since we need to convert (1) into a symmetric form. We also improve the result

∇(u+b)∈ L 2 2 − r (0,T; X ˙ r )(0≤r≤1)

of [20] in the sense that we need only one directional derivative of u+b or u−b to ensure the smoothness of the solution.

Before stating the precise result, let us recall the weak formulation of MHD equations (1).

Definition 1 Let ( u 0 , b 0 )∈ L 2 ( R 3 ) with ∇⋅ u 0 =∇⋅ b 0 =0, and T>0. A measurable R 3 -valued pair (u,b) is called a weak solution to (1) with initial data ( u 0 , b 0 ) provided that the following three conditions hold:

  1. (1)

    u∈ L ∞ (0,T; L 2 ( R 3 ))∩ L 2 (0,T; H 1 ( R 3 )), b∈ L ∞ (0,T; L 2 ( R 3 ))∩ L 2 (0,T; H 1 ( R 3 ));

  2. (2)

    (1)1,2,3,4 are satisfied in the distributional sense;

  3. (3)

    the energy inequality

    ∥ ( u , b ) ∥ L 2 2 (t)+2 ∫ 0 t ∥ ∇ ( u , b ) ∥ L 2 2 ds≤ ∥ ( u 0 , b 0 ) ∥ L 2 2 .

Now, our main results read as follows.

Theorem 2 Let ( u 0 , b 0 )∈ H 1 ( R 3 ) with ∇⋅ u 0 =∇⋅ b 0 =0, and T>0. Assume that (u,b) is a given weak solution pair of MHD system (1) with initial data ( u 0 , b 0 ) on (0,T). If

∂ 3 (u+b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

or

∂ 3 (u−b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1),

then the solution is smooth on (0,T).

The proof of Theorem 2 will be given in Section 3. In Section 2, we introduce the multiplier spaces X Ë™ r and recall their fine properties.

2 Preliminaries

In this section, we recall the definition and fine properties of the multiplier spaces X Ë™ r (see [21, 22] for example).

Definition 3 For 0≤r<3/2, the homogeneous space X ˙ r is defined as the space of f∈ L l o c 2 ( R 3 ) such that

∥ f ∥ X ˙ r ≡ sup ∥ g ∥ H ˙ r ≤ 1 ∥ f g ∥ L 2 <∞,

where H Ë™ r ( R 3 ) is the space of distributions u such that

∥ u ∥ H ˙ r ≡ ∥ ( − △ ) r 2 u ∥ L 2 <∞.

We have the following scaling properties:

∥ f ( ⋅ + x 0 ) ∥ X ˙ r = ∥ f ∥ X ˙ r , ∀ x 0 ∈ R 3 , ∥ f ( λ ⋅ ) ∥ X ˙ r = 1 λ r ∥ f ∥ X ˙ r , ∀ λ > 0 .

When r=0, we have

X ˙ 0 ≅BMO,

where BMO is the homogeneous space of bounded mean oscillations associated with the semi-norm

∥ f ∥ BMO = sup x ∈ R 3 , r > 0 1 | B r ( x ) | ∫ B r ( x ) |f(x)− 1 B r ( y ) ∫ B r ( y ) f(z)dz|dy.

Furthermore, we have the following strict imbeddings:

L 3 r ( R 3 ) ⊆̷ X ˙ r ( R 3 ) ,

which could be justified simply as

∥ f g ∥ L 2 ≤ ∥ f ∥ L 3 r ∥ g ∥ L 6 3 − 2 r ( Hölder inequality ) ≤ C ∥ f ∥ L 3 r ∥ g ∥ H Ë™ r ( Sobolev imbeddings ) ≤ C ∥ f ∥ L 3 r ( ∀ g ∈ H Ë™ r ( R 3 )  with  ∥ g ∥ H Ë™ r ≤ 1 ) .

3 Proof of Theorem 2

In this section, we shall prove Theorem 2. As we will see in the proof below, we need only to consider the case that

∂ 3 (u+b)∈ L 2 1 − r (0,T; X ˙ r )(0≤r≤1).
(3)

First, let us convert (1) into a symmetric form. Writing

ω ± =u±b,

we find by adding and subtracting (1)1 with (1)2,

{ ω t + + ( ω − ⋅ ∇ ) ω + − △ ω + + ∇ π = 0 , ω t − + ( ω + ⋅ ∇ ) ω − − △ ω − + ∇ π = 0 , ∇ ⋅ ω + = ∇ ⋅ ω − = 0 , ω + ( 0 ) = ω 0 + ≡ u 0 + b 0 , ω − ( 0 ) = ω 0 − ≡ u 0 − b 0 .
(4)

The rest of the proof is organized as follows. In the first step, we dominate ∥ ∂ 3 ω ± ( t ) ∥ L 2 and the time integral of ∥ ∇ ∂ 3 ω ± ( t ) ∥ L 2 , while the second step is devoted to controlling ∥ ∇ ω ± ( t ) ∥ L 2 .

Step 1. ∥ ∂ 3 ω ± ∥ L 2 estimates.

Taking the inner product of (4)1 with − ∂ 3 ∂ 3 ω + , (4)2 with − ∂ 3 ∂ 3 ω − in L 2 ( R 3 ) respectively, adding them together, and noticing that ∇⋅ ω ± =0, we obtain

1 2 d d t ∥ ∂ 3 ω ± ∥ L 2 2 + ∥ ∇ ∂ 3 ω ± ∥ L 2 2 = − ∫ R 3 [ ( ω − ⋅ ∇ ) ω + ] ⋅ ∂ 3 ∂ 3 ω + d x − ∫ R 3 [ ( ω + ⋅ ∇ ) ω − ] ⋅ ∂ 3 ∂ 3 ω − d x = ∫ R 3 [ ( ∂ 3 ω − ⋅ ∇ ) ω + ] ⋅ ∂ 3 ω + d x + ∫ R 3 [ ( ∂ 3 ω + ⋅ ∇ ) ω − ] ⋅ ∂ 3 ω − d x ≡ I .
(5)

We now estimate I as

I ≤ ∥ ∂ 3 ω + ⋅ ∂ 3 ω − ∥ L 2 ∥ ∇ ω ± ∥ L 2 ( Hölder inequality ) ≤ ∥ ∂ 3 ω + ∥ X ˙ r ∥ ∂ 3 ω − ∥ H ˙ r ∥ ∇ ω ± ∥ L 2 ( definition of multiplier spaces ) ≤ ∥ ∂ 3 ω + ∥ X ˙ r ∥ ∂ 3 ω − ∥ L 2 1 − r ∥ ∇ ∂ 3 ω − ∥ L 2 r ∥ ∇ ω ± ∥ L 2 ( interpolation inequalities ) ≤ C ∥ ∂ 3 ω + ∥ X ˙ r 2 2 − r ∥ ∇ ω ± ∥ L 2 2 2 − r ∥ ∂ 3 ω − ∥ L 2 2 ( 1 − r ) 2 − r + 1 2 ∥ ∇ ∂ 3 ω ± ∥ L 2 2 ( Young inequality ) ≤ C [ ∥ ∂ 3 ω + ∥ X ˙ r 2 1 − r + ∥ ∇ ω ± ∥ L 2 2 ] ⋅ [ ∥ ∂ 3 ω − ∥ L 2 2 + 1 ] + 1 2 ∥ ∇ ∂ 3 ω ± ∥ L 2 2 ( Young inequality ) .
(6)

Plugging (6) into (5), invoking the Gronwall inequality, and noticing (3), we deduce

sup 0 ≤ t ≤ T ∥ ∂ 3 ω ± ( t ) ∥ L 2 ≤C<∞,and ∫ 0 T ∥ ∇ ∂ 3 ω ± ( t ) ∥ L 2 2 dt≤C<∞.
(7)

Step 2. ∥ ∇ ω ± ∥ L 2 estimates.

Taking the inner product of (4)1 with −△ ω + , (4)2 with −△ ω − in L 2 ( R 3 ) respectively, adding them together, and noticing that ∇⋅ ω ± =0, we obtain

1 2 d d t ∥ ∇ ω ± ∥ L 2 2 + ∥ △ ω ± ∥ L 2 2 = − ∫ R 3 [ ( ω − ⋅ ∇ ) ω + ] ⋅ △ ω + d x − ∫ R 3 [ ( ω + ⋅ ∇ ) ω − ] ⋅ △ ω − d x = ∫ R 3 [ ( ∇ ω − ⋅ ∇ ) ω + ] ⋅ ∇ ω + d x + ∫ R 3 [ ( ∇ ω + ⋅ ∇ ) ω − ] ⋅ ∇ ω − d x ≡ J .
(8)

Utilizing interpolation inequalities and the following multiplicative Gagliardo-Nireberg inequalities

∥ f ∥ L 6 ≤C ∥ ∂ 1 f ∥ L 2 1 3 ∥ ∂ 2 f ∥ L 2 1 3 ∥ ∂ 3 f ∥ L 2 1 3 ,
(9)

it follows that

J ≤ ∥ ∇ ω ± ∥ L 3 3 ≤ ∥ ∇ ω ± ∥ L 2 3 2 ∥ ∇ ω ± ∥ L 6 3 2 ( interpolation inequalities ) ≤ C ∥ ∇ ω ± ∥ L 2 3 2 ∥ ∇ ( ∂ 1 , ∂ 2 ) ω ± ∥ L 2 ∥ ∇ ∂ 3 ω ± ∥ L 2 1 2 ( by  (9) ) ≤ C ∥ ∇ ω ± ∥ L 2 3 ∥ ∇ ∂ 3 ω ± ∥ L 2 + 1 2 ∥ â–³ ω ± ∥ L 2 2 ( Young inequality ) ≤ C [ ∥ ∇ ∂ 3 ω ± ∥ L 2 2 + ∥ ∇ ω ± ∥ L 2 2 ] â‹… ∥ ∇ ω ± ∥ L 2 2 + 1 2 ∥ â–³ ω ± ∥ L 2 2 ( Young inequality ) .
(10)

Putting (10) into (8), utilizing the Gronwall inequality, and noticing (7), we deduce

sup 0 ≤ t ≤ T ∥ ∇ ω ± ( t ) ∥ L 2 ≤C<∞,and ∫ 0 T ∥ △ ω ± ( t ) ∥ L 2 2 dt≤C<∞,

and consequently,

u= 1 2 ( ω + + ω − ) ∈ L ∞ ( 0 , T ; L 6 ( R 3 ) ) .

The classical Serrin-type regularity criterion [6] then concludes the proof of Theorem 2.

References

  1. Duvaut G, Lions JL: Inéquations en thermoélasticité et magnétohydrodynamique. Arch. Ration. Mech. Anal. 1972, 46: 241-279.

    Article  MathSciNet  MATH  Google Scholar 

  2. Cao CS, Wu JH: Two regularity criteria for the 3D MHD equations. J. Differ. Equ. 2010, 248: 2263-2274. 10.1016/j.jde.2009.09.020

    Article  MathSciNet  MATH  Google Scholar 

  3. Chen QL, Miao CX, Zhang ZF: On the regularity criterion of weak solutions for the 3D viscous magneto-hydrodynamics equations. Commun. Math. Phys. 2008, 284: 919-930. 10.1007/s00220-008-0545-y

    Article  MathSciNet  MATH  Google Scholar 

  4. Duan HL: On regularity criteria in terms of pressure for the 3D viscous MHD equations. Appl. Anal. 2012, 91: 947-952. 10.1080/00036811.2011.556626

    Article  MathSciNet  MATH  Google Scholar 

  5. Fan JS, Jiang S, Nakamura G, Zhou Y: Logarithmically improved regularity criteria for the Navier-Stokes and MHD equations. J. Math. Fluid Mech. 2011, 13: 557-571. 10.1007/s00021-010-0039-5

    Article  MathSciNet  MATH  Google Scholar 

  6. He C, Xin ZP: On the regularity of weak solutions to the magnetohydrodynamic equations. J. Differ. Equ. 2005, 213: 235-254. 10.1016/j.jde.2004.07.002

    Article  MathSciNet  MATH  Google Scholar 

  7. Ji E, Lee J: Some regularity criteria for the 3D incompressible magnetohydrodynamics. J. Math. Anal. Appl. 2010, 369: 317-322. 10.1016/j.jmaa.2010.03.015

    Article  MathSciNet  MATH  Google Scholar 

  8. Jia XJ, Zhou Y: A new regularity criterion for the 3D incompressible MHD equations in terms of one component of the gradient of pressure. J. Math. Anal. Appl. 2012, 396: 345-350. 10.1016/j.jmaa.2012.06.016

    Article  MathSciNet  MATH  Google Scholar 

  9. Jia XJ, Zhou Y: Regularity criteria for the 3D MHD equations involving partial components. Nonlinear Anal., Real World Appl. 2012, 13: 410-418. 10.1016/j.nonrwa.2011.07.055

    Article  MathSciNet  MATH  Google Scholar 

  10. Jia XJ, Zhou Y: Regularity criteria for the 3D MHD equations via partial derivatives. Kinet. Relat. Models 2012, 5: 505-516.

    Article  MathSciNet  MATH  Google Scholar 

  11. Ni LD, Guo ZG, Zhou Y: Some new regularity criteria for the 3D MHD equations. J. Math. Anal. Appl. 2012, 396: 108-118. 10.1016/j.jmaa.2012.05.076

    Article  MathSciNet  MATH  Google Scholar 

  12. Zhang ZJ: Remarks on the regularity criteria for generalized MHD equations. J. Math. Anal. Appl. 2011, 375: 799-802. 10.1016/j.jmaa.2010.10.017

    Article  MathSciNet  MATH  Google Scholar 

  13. Zhang ZJ, Li P, Yu GH: Regularity criteria for the 3D MHD equations via one directional derivative of the pressure. J. Math. Anal. Appl. 2013, 401: 66-71. 10.1016/j.jmaa.2012.11.022

    Article  MathSciNet  MATH  Google Scholar 

  14. Zhou Y: Remarks on regularities for the 3D MHD equations. Discrete Contin. Dyn. Syst. 2005, 12: 881-886.

    Article  MathSciNet  MATH  Google Scholar 

  15. Zhou Y, Fan JS: Logarithmically improved regularity criteria for the 3D viscous MHD equations. Forum Math. 2012, 24: 691-708.

    Article  MathSciNet  MATH  Google Scholar 

  16. Zhou Y, Gala S: Regularity criterion for the solutions to the 3D MHD equations in the multiplier space. Z. Angew. Math. Phys. 2011, 61: 193-199.

    Article  MathSciNet  MATH  Google Scholar 

  17. Zhang, ZJ: Remarks on the regularity criteria for the 3D MHD equations in terms of the gradient of the pressure (submitted)

  18. Zhang, ZJ: Mageto-micropolar fluid equations with regularity in one direction (submitted)

  19. Guo ZG, Gala S: A regularity criterion for the Navier-Stokes equations in terms of one directional derivative of the velocity field. Anal. Appl. 2013, 10: 373-380.

    Article  MathSciNet  MATH  Google Scholar 

  20. Gala S: Extension criterion on regularity for weak solutions to the 3D MHD equations. Math. Methods Appl. Sci. 2010, 33: 1496-1503.

    MathSciNet  MATH  Google Scholar 

  21. Gala S, Lemarié-Rieusset PG: Multipliers between Sobolev spaces and fractional differentiation. J. Math. Anal. Appl. 2006, 322: 1030-1054. 10.1016/j.jmaa.2005.07.043

    Article  MathSciNet  MATH  Google Scholar 

  22. Lemarié-Rieusset PG: Recent Developments in the Navier-Stokes Problem. Chapman & Hall, London; 2002.

    Book  MATH  Google Scholar 

Download references

Acknowledgements

This work was partially supported by the Youth Natural Science Foundation of Jiangxi Province (20132BAB211007), the Science Foundation of Jiangxi Provincial Department of Education (GJJ13658, GJJ13659) and the National Natural Science Foundation of China (11326138, 11361004). The authors thank the referees for their careful reading and suggestions which led to an improvement of the work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zujin Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

We declare that all authors collaborated and dedicated the same amount of time in order to perform this article.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Zhang, Z., Ouyang, X., Zhong, D. et al. Remarks on the regularity criteria for the 3D MHD equations in the multiplier spaces. Bound Value Probl 2013, 270 (2013). https://doi.org/10.1186/1687-2770-2013-270

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2013-270

Keywords