Skip to main content

A single exponential BKM type estimate for the 3D incompressible ideal MHD equations

Abstract

In this paper, we give a Beale-Kato-Majda type criterion of strong solutions to the incompressible ideal MHD equations. Instead of double exponential estimates, we get a single exponential bound on ∥ ( u , h ) ∥ H s (s> 5 2 ). It can be applied to a system of an ideal viscoelastic flow.

MSC:35B65, 76W05.

1 Introduction

In this paper, we will get the Beale-Kato-Majda type criterion for the breakdown of smooth solutions to the incompressible ideal MHD equations in R 3 as follows:

{ u t + u ⋅ ∇ u + ∇ ( p + 1 2 | h | 2 ) = h ⋅ ∇ h , h t + u ⋅ ∇ h = h ⋅ ∇ u , ∇ ⋅ u = 0 , ∇ ⋅ h = 0 , t = 0 : u = u 0 , h = h 0 ,
(1)

where x∈ R 3 , t≥0, u is the flow velocity, h is the magnetic field, p is the pressure, while u 0 and h 0 are, respectively, the given initial velocity and initial magnetic field satisfying ∇⋅ u 0 =0, ∇⋅ h 0 =0.

Using the standard energy method [1], it is well known that for ( u 0 , h 0 )∈ H s ( R 3 ), s≥3, there exists a T>0 such that the Cauchy problem (1) has a unique smooth solution (u,h) on [0,T] satisfying

( u ( t , x ) , h ( t , x ) ) ∈C ( [ 0 , T ] ; H s ) ∩ C 1 ( [ 0 , T ] ; H s − 1 ) .
(2)

Recently, Caflisch et al. [2] extended the well-known result of Beale et al. [3] to the 3D ideal MHD equations. More precisely, they showed that if the smooth solution (u,h) satisfies the following condition:

∫ 0 T ∥ ∇ × u ∥ L ∞ dt<∞and ∫ 0 T ∥ ∇ × h ∥ L ∞ dt<∞,
(3)

then the solution (u,h) can be extended beyond t=T, namely, for some T ⋆ >T, (u,h)∈C([0, T ⋆ ); H s ( R 3 ))∩ C 1 ([0, T ⋆ ); H s − 1 ( R 3 )). Many authors also considered the blow-up criterion of the ideal MHD equations in other spaces; see [4–6] and references therein. More recently, for the following incompressible Euler equations:

{ u t + u ⋅ ∇ u + ∇ p = 0 , ∇ ⋅ u = 0 , t = 0 : u = u 0 ,
(4)

with ∇⋅ u 0 =0, Chen and Pavlovic [7] showed that if the solution u to (4) satisfies

∫ 0 T ( ι γ ( τ ) ) − 5 2 dτ<∞,
(5)

where ι γ (t)=min{L, ( ∥ ω ( t ) ∥ C γ ∥ u 0 ∥ L 2 ) − 2 2 γ + 5 }, ω=∇×u and ∥ ω ∥ C γ = sup | x − y | < L | ω ( x ) − ω ( y ) | | x − y | γ , then the solution u can be extended beyond t=T. The quantity ι γ (t) was introduced by Constantin in [8] (see also the work of Constantin et al. [9]). For the blow-up criterion of incompressible Euler equations, we refer to [7, 10] and references therein.

2 Main results

In this short note, we develop these ideas further and establish an analogous blow-up criterion for solutions of the 3D ideal MHD equations (1). More precisely, we can get the following theorem.

Theorem 2.1 Let (u,h) be a solution to (1) in the class (2) for s= 5 2 +γ. Assume that

∫ 0 T ( l γ ( τ ) ) − 5 2 dτ<∞,
(6)

where l γ (t)=min{L, ( ∥ ω ( t ) ∥ C γ ∥ u 0 ∥ L 2 ) − 2 2 γ + 5 , ( ∥ Ω ( t ) ∥ C γ ∥ h 0 ∥ L 2 ) − 2 2 γ + 5 }, ω=∇×u, Ω=∇×h and the definition of C γ as above. Then there exists a finite positive constant C γ =O( γ − 1 ) independent of (u,h) and t such that

∥ ( u , h ) ∥ H s ≤ ∥ ( u 0 , h 0 ) ∥ H s exp { C γ ∥ ( u 0 , h 0 ) ∥ L 2 ∫ 0 t ( l γ ( τ ) ) − 5 2 d τ }
(7)

holds for 0≤t≤T.

Remark 2.1 Using a similar method, we also can get the blow-up criterion result about ideal viscoelastic flow

{ ∂ t u + u ⋅ ∇ u + ∇ p = ∑ k = 1 3 ( F k ⋅ ∇ ) F k , ∂ t F k + u ⋅ ∇ F k = ( F k ⋅ ∇ ) u , ∇ ⋅ u = 0 , ∇ ⋅ F k = 0 , t = 0 : u = u 0 ( x ) , F k = F k 0 ( x )
(8)

with ∇⋅ u 0 =0, ∇⋅ F k 0 =0.

Theorem 2.2 Let (u,F) be a solution to (8) in the class (2) for s= 5 2 +γ. Assume that L γ (t) is defined as above, and that

∫ 0 T ( L γ ( τ ) ) − 5 2 dτ<∞,
(9)

where L γ (t)=min{L, ( ∥ ( ∇ × u ) ( t ) ∥ C γ ∥ u 0 ∥ L 2 ) − 2 2 γ + 5 , ( ∥ ( ∇ × F ) ( t ) ∥ C γ ∥ F 0 ∥ L 2 ) − 2 2 γ + 5 }. Then there exists a finite positive constant C γ =O( γ − 1 ) independent of (u,F) and t such that

∥ ( u , F ) ∥ H s ≤ ∥ ( u 0 , F 0 ) ∥ H s exp { C γ ∥ ( u 0 , F 0 ) ∥ L 2 ∫ 0 t ( L γ ( τ ) ) − 5 2 d τ }
(10)

holds for 0≤t≤T.

This system arises in the Oldroyd model for an ideal viscoelastic flow, i.e. a viscoelastic fluid whose elastic properties dominate its behavior. Here F=F(x,t)∈ R 3 × 3 represents the local deformation gradient of the fluid. The blow-up criterion of the ideal viscoelastic system can be found in [11] and references therein.

3 Proof of Theorem 2.1

For the proof of our main result, firstly we give some properties about the gradient of velocity. Recall that the full gradient of the velocity, ∇u, can be decomposed into symmetric and antisymmetric parts,

∇u=D u + +D u − ,
(11)

where

D u ± = 1 2 ( ∇ u ± ∇ u T ) ,
(12)

D u + is called the deformation tensor.

In the following lemmas, we recall some important properties of D u + and D u − without proof [7, 8].

Lemma 3.1 For both the symmetric and the antisymmetric parts D u + , D u − of ∇u, the L 2 bound

∥ D u ± ∥ L 2 ≤C ∥ ω ∥ L 2
(13)

holds.

The antisymmetric part D u − satisfies

D u − v= 1 2 ω∧v
(14)

for any vector v∈ R 3 . The vorticity ω satisfies the identity

ω(x)= 1 4 P . V . ∫σ( y ˆ )ω(x+y) d y | y | 3 ,
(15)

(‘ P . V . ’ denotes principal value) where σ( y ˆ )=3 y ˆ ⊗ y ˆ −1, with y ˆ = y | y | . Notably,

∫ S 2 σ( y ˆ )d μ S 2 (y)=0,
(16)

where d μ S 2 denotes the standard measure on the sphere S 2 .

The matrix components of the symmetric part have the form

D u i j + = ∑ k T i j k ( ω k )= ∑ k Γ i j k ∗ ω k ,
(17)

where ω l are the vector components of ω, and where the integral kernels Γ i j k have the properties

Γ i j k (y)= σ i j k ( y ˆ ) | y | − 3 ,
(18)
∥ σ i j k ∥ C 1 ( S 2 ) ≤C,
(19)
∫ S 2 σ i j k ( y ˆ )d μ S 2 (y)=0.
(20)

Thus, in particular, T i j k is a Calderon-Zygmund operator, for every i,j,k∈{1,2,3}.

We can also give the following useful lemma to provide an upper bound of singular integral operator for the incompressible Euler equations in [7].

Lemma 3.2 For L>0 fixed, and γ>0, let ι γ (t) be defined as above. Moreover, let ω k (k=1,2,3) denote the components of the vorticity vector ω(t). Then any singular integral operator

T ω k (x)= 1 4 π P . V . ∫ σ T ( y ˆ ) ω k (x+y) d y | y | 3 ,
(21)

with

∫ S 2 σ T ( y ˆ )d μ S 2 (y)=0, ∥ σ T ∥ C 1 ( S 2 ) <C,
(22)

satisfies

∥ T ω k ∥ L ∞ ≤C ∥ u 0 ∥ L 2 ι γ 5 2 (t)
(23)

for k∈{1,2,3} and the constant C independent of u and t.

Now we are ready to give a proof of Theorem 2.1, which is based on combining an energy estimate for ideal MHD equations with the estimate of ( ∥ ∇ u ∥ L ∞ + ∥ ∇ h ∥ L ∞ ).

For s> 5 2 , we recall the definitions of the homogeneous and inhomogeneous Besov norms for 1≤p,q≤∞,

∥ f ∥ B ˙ p , q s = ( ∑ j ∈ Z 2 j q s ∥ f j ∥ L p q ) 1 q
(24)

and

∥ f ∥ B p , q s = ∥ f ∥ L p + ( ∑ j ∈ Z 2 j q s ∥ f j ∥ L p q ) 1 q ,
(25)

where f j = P j f is the Paley-Littlewood projection of f of scale j. We take the B 2 , 2 s Besov norm of u(t) and h(t); then

d d t ( ∥ u ( t ) ∥ B 2 , 2 s 2 + ∥ h ( t ) ∥ B 2 , 2 s 2 ) ≤ C ( ∥ ∇ u ∥ ∞ + ∥ ∇ h ∥ L ∞ ) ( ∥ u ( ⋅ , t ) ∥ B 2 , 2 s 2 + ∥ h ( ⋅ , t ) ∥ B 2 , 2 s 2 ) .
(26)

Therefore,

d d t ( ∥ u ( t ) ∥ B 2 , 2 s + ∥ h ( t ) ∥ B 2 , 2 s ) ≤ C ( ∥ ∇ u ∥ ∞ + ∥ ∇ h ∥ L ∞ ) ( ∥ u ( ⋅ , t ) ∥ B 2 , 2 s + ∥ h ( ⋅ , t ) ∥ B 2 , 2 s ) .
(27)

However, applying the results of Lemma 3.1 and Lemma 3.2 to u and h, and by the definition of l γ (t), we obtain

∥ ∇ u ∥ L ∞ + ∥ ∇ h ∥ L ∞ ≤ ∥ D u + ∥ L ∞ + ∥ D u − ∥ L ∞ + ∥ D h + ∥ L ∞ + ∥ D h − ∥ L ∞ ≤ C γ ( ∥ u 0 ∥ L 2 + ∥ h 0 ∥ L 2 ) ( l γ ( t ) ) − 5 2 .
(28)

Therefore, we get

∥ u ( t ) ∥ H s + ∥ h ( t ) ∥ H s ≃ ∥ u ( t ) ∥ B 2 , 2 s + ∥ h ( t ) ∥ B 2 , 2 s ≤ ( ∥ u 0 ∥ B 2 , 2 s + ∥ h 0 ∥ B 2 , 2 s ) exp { C ( ∥ u 0 ∥ L 2 + ∥ h 0 ∥ L 2 ) ∫ 0 t l γ ( s ) − 5 2 d s } ≃ ( ∥ u 0 ∥ H s + ∥ h 0 ∥ H s ) exp { C ( ∥ u 0 ∥ L 2 + ∥ h 0 ∥ L 2 ) ∫ 0 t l γ ( s ) − 5 2 d s }

for s≥ 5 2 +γ. Thus we complete the proof of Theorem 2.1.

References

  1. Majda AJ Applied Mathematical Sciences 53. In Compressible Fluid Flow and Systems of Conservation Laws in Several Space Variables. Springer, New York; 1984.

    Chapter  Google Scholar 

  2. Caflisch RE, Klapper I, Steele G: Remarks on singularities, dimension and energy dissipation for ideal hydrodynamics and MHD. Commun. Math. Phys. 1997, 184: 443-455. 10.1007/s002200050067

    Article  MathSciNet  MATH  Google Scholar 

  3. Beale JT, Kato T, Majda AJ: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Commun. Math. Phys. 1984, 94: 61-66. 10.1007/BF01212349

    Article  MathSciNet  MATH  Google Scholar 

  4. Chen QL, Miao CX, Zhang ZF: On the well-posedness of the ideal MHD equations in the Triebel-Lizorkin spaces. Arch. Ration. Mech. Anal. 2010, 195: 561-578. 10.1007/s00205-008-0213-6

    Article  MathSciNet  MATH  Google Scholar 

  5. Du Y, Liu Y, Yao ZA: Remarks on the blow-up criteria for three-dimensional ideal magnetohydrodynamics equations. J. Math. Phys. 2009., 50: Article ID 023507

    Google Scholar 

  6. Zhang ZF, Liu XF: On the blow-up criterion of smooth solutions to the 3D ideal MHD equations. Acta Math. Appl. Sinica (Engl. Ser.) 2004, 20: 695-700.

    Article  MathSciNet  MATH  Google Scholar 

  7. Chen T, Pavlovic N: A lower bound on blowup rates for the 3D incompressible Euler equations and a single exponential Beale-Kato-Majda type estimate. Commun. Math. Phys. 2012, 314: 265-280. 10.1007/s00220-012-1523-y

    Article  MathSciNet  MATH  Google Scholar 

  8. Constantin P: Geometric statistics in turbulence. SIAM Rev. 1994, 36: 73-98. 10.1137/1036004

    Article  MathSciNet  MATH  Google Scholar 

  9. Constantin P, Fefferman C, Majda AJ: Geometric constraints on potentially singular solutions for the 3-D Euler equations. Commun. Partial Differ. Equ. 1996, 21: 559-571. 10.1080/03605309608821197

    Article  MathSciNet  MATH  Google Scholar 

  10. Deng J, Hou TY, Yu X: Improved geometric conditions for non-blowup of the 3D incompressible Euler equation. Commun. Partial Differ. Equ. 2006, 31: 293-306. 10.1080/03605300500358152

    Article  MathSciNet  MATH  Google Scholar 

  11. Hu XP, Ryan H: Blowup criterion for ideal viscoelastic flow. J. Math. Fluid Mech. 2013, 15: 431-437. 10.1007/s00021-012-0124-z

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author was supported by the Excellent Young Teachers Program of Shanghai, Doctoral Fund of Ministry of Education of China (No. 20133108120002) and The First-class Discipline of Universities in Shanghai. The research of the third author, who is the corresponding author, was supported by the Natural Science Foundation of China (No. 41204082), the Research Fund for the Doctoral Program of Higher Education of China (No. 20120162120036), Special Foundation of China Postdoctoral Science (No. 2013T60781) and Mathematics and Interdisciplinary Sciences Project of Central South University. Moreover, the authors are grateful to anonymous referees for their constructive comments and suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kejia Pan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the work was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

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 https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liu, J., Wei, F. & Pan, K. A single exponential BKM type estimate for the 3D incompressible ideal MHD equations. Bound Value Probl 2014, 96 (2014). https://doi.org/10.1186/1687-2770-2014-96

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2014-96

Keywords