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

  • Jianli Liu1,

    Affiliated with

    • Fenglun Wei1 and

      Affiliated with

      • Kejia Pan2, 3Email author

        Affiliated with

        Boundary Value Problems20142014:96

        DOI: 10.1186/1687-2770-2014-96

        Received: 27 February 2014

        Accepted: 15 April 2014

        Published: 6 May 2014

        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.

        Keywords

        MHD equations ideal viscoelastic flow Beale-Kato-Majda criterion single exponential bound

        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 d t < and 0 T × h L d t < ,
        (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 [46] 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 ofu, 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.

        Declarations

        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.

        Authors’ Affiliations

        (1)
        Department of Mathematics, Shanghai University
        (2)
        School of Mathematics and Statistics, Central South University
        (3)
        Key Laboratory of Metallogenic Prediction of Nonferrous Metals, Ministry of Education, Central South University

        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.View Article
        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/s002200050067MathSciNetView Article
        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/BF01212349MathSciNetView Article
        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-6MathSciNetView Article
        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
        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.View Article
        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-yMathSciNetView Article
        8. Constantin P: Geometric statistics in turbulence. SIAM Rev. 1994, 36: 73-98. 10.1137/1036004MathSciNetView Article
        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/03605309608821197MathSciNetView Article
        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/03605300500358152MathSciNetView Article
        11. Hu XP, Ryan H: Blowup criterion for ideal viscoelastic flow. J. Math. Fluid Mech. 2013, 15: 431-437. 10.1007/s00021-012-0124-zMathSciNetView Article

        Copyright

        © Liu et al.; licensee Springer. 2014

        This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.