Skip to main content

Blow-up criteria for smooth solutions to the generalized 3D MHD equations

Abstract

In this paper, we focus on the generalized 3D magnetohydrodynamic equations. Two logarithmically blow-up criteria of smooth solutions are established.

MSC:76D03, 76W05.

1 Introduction

We study blow up criteria of smooth solutions to the incompressible generalized magnetohydrodynamics (GMHD) equations in R 3

{ ∂ t u + u ⋅ ∇ u − B ⋅ ∇ B + ( − Δ ) α u + ∇ ( p + 1 2 | B | 2 ) = 0 , ∂ t B + u ⋅ ∇ B − B ⋅ ∇ u + ( − Δ ) β B = 0 , ∇ ⋅ u = 0 , ∇ ⋅ B = 0
(1.1)

with the initial condition

t=0:u= u 0 (x),B= B 0 (x),x∈ R 3 .
(1.2)

Here u=( u 1 , u 2 , u 3 ), B=( B 1 , B 2 , B 3 ) and P=p+ 1 2 | B | 2 are non-dimensional quantities corresponding to the flow velocity, the magnetic field and the total kinetic pressure at the point (x,t), while u 0 (x) and B 0 (x) are the given initial velocity and initial magnetic field with ∇⋅ u 0 =0 and ∇⋅ B 0 =0, respectively.

The GMHD equations is a generalized model of MHD equations. It has important physical background. Therefore, the GMHD equations are also mathematically significant. For 3D Navier-Stokes equations, whether there exists a global smooth solution to 3D impressible GMHD equations is still an open problem. In the absence of global well-posedness, the development of blow-up/ non blow-up theory is of major importance for both theoretical and practical purposes. Fundamental mathematical issues such as the global regularity of their solutions have generated extensive research and many interesting results have been established (see [1–5]).

When α=β=1, (1.1) reduces to MHD equations. There are numerous important progresses on the fundamental issue of the regularity for the weak solution to (1.1), (1.2) (see [6–18]). A criterion for the breakdown of classical solutions to (1.1) with zero viscosity and positive resistivity in R 3 was derived in [9]. Some sufficient integrability conditions on two components or the gradient of two components of u+B and u−B in Morrey-Campanato spaces were obtained in [10]. A logarithmal improved blow-up criterion of smooth solutions in an appropriate homogeneous Besov space was obtained by Wang et al. [11]. Zhou and Fan [15] established various logarithmically improved regularity criteria for the 3D MHD equations in terms of the velocity field and pressure, respectively. These regularity criteria can be regarded as log in time improvements of the standard Serrin criteria established before. Two new regularity criteria for the 3D incompressible MHD equations involving partial components of the velocity and magnetic fields were obtained by Jia and Zhou [17].

When α=1, B=0, (1.1) reduces to Navier-Stokes equations. Leray [19] and Hopf [20] constructed weak solutions to the Navier-Stokes equations, respectively. The solution is called the Leray-Hopf weak solution. Later on, much effort has been devoted to establish the global existence and uniqueness of smooth solutions to the Navier-Stokes equations. Different criteria for regularity of the weak solutions have been proposed and many interesting results have been obtained [21–25].

In the paper, we obtain two logarithmically blow-up criteria of smooth solutions to (1.1), (1.2) in Morrey-Campanato spaces. We hope that the study of equations (1.1) can improve the understanding of the problem of Navier-Stokes equations and MHD equations.

Now we state our results as follows.

Theorem 1.1 Let u 0 , B 0 ∈ H m ( R 3 ), m≥3, with ∇⋅ u 0 =0, ∇⋅ B 0 =0 and 3 4 <α=β≤1. Assume that (u,B) is a smooth solution to (1.1), (1.2) on [0,T). If u satisfies

∫ 0 T ∥ u ( t ) ∥ M ˙ p , q r 1 + ln ( e + ∥ u ( t ) ∥ L ∞ ) dt<∞, 2 α r + 3 p +1=2α, 3 2 α − 1 <p≤∞,1<p≤q,
(1.3)

then the solution (u,B) can be extended beyond t=T.

We have the following corollary immediately.

Corollary 1.1 Let u 0 , B 0 ∈ H m ( R 3 ), m≥3, with ∇⋅ u 0 =0, ∇⋅ B 0 =0 and 3 4 <α=β≤1. Assume that (u,B) is a smooth solution to (1.1), (1.2) on [0,T). Suppose that T is the maximal existence time, then

∫ 0 T ∥ u ( t ) ∥ M ˙ p , q r 1 + ln ( e + ∥ u ( t ) ∥ L ∞ ) dt=∞, 2 α r + 3 p +1=2α, 3 2 α − 1 <p≤∞,1<p≤q.
(1.4)

Theorem 1.2 Let u 0 , B 0 ∈ H m ( R 3 ), m≥3, with ∇⋅ u 0 =0, ∇⋅ B 0 =0 and 3 4 <α=β≤1. Assume that (u,B) is a smooth solution to (1.1), (1.2) on [0,T). If

∫ 0 T ∥ ∇ u ( t ) ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ( t ) ∥ L ∞ ) dt<∞, 2 α r + 3 p =2α, 3 2 α <p≤∞,1<p≤q,
(1.5)

then the solution (u,B) can be extended beyond t=T.

We have the following corollary immediately.

Corollary 1.2 Let u 0 , B 0 ∈ H m ( R 3 ), m≥3, with ∇⋅ u 0 =0, ∇⋅ B 0 =0 and 3 4 <α=β≤1. Assume that (u,B) is a smooth solution to (1.1), (1.2) on [0,T). Suppose that T is the maximal existence time, then

∫ 0 T ∥ ∇ u ( t ) ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ( t ) ∥ L ∞ ) dt=∞, 2 α r + 3 p =2α, 3 2 α <p≤∞,1<p≤q.
(1.6)

The paper is organized as follows. We first state some preliminaries on function spaces and some important inequalities in Section 2. Then we prove main results in Section 3 and Section 4, respectively.

2 Preliminaries

Before stating our main results, we recall the definition and some properties of the homogeneous Morrey-Campanato space.

Definition 2.1 For 1<p≤q≤+∞, the Morrey-Campanato space M ˙ p , q ( R 3 ) is defined by

M ˙ p , q = { f ∈ L loc p ( R 3 ) : ∥ f ∥ M ˙ p , q = sup R > 0 sup x ∈ R 3 R 3 q − 3 p ∥ f ∥ L p ( B ( x , R ) ) < ∞ } ,

where B(x,R) denotes the ball of center x with radius R.

Let 1≤ q ′ ≤ p ′ <∞, we define the homogeneous space N ˙ p ′ , q ′ ( R 3 ) by

N Ë™ p ′ , q ′ ( R 3 ) ={ f ∈ L p ′ ( R 3 ) | f = ∑ k ∈ N g k , where  ( g k ) ⊂ L comp p ′ ( R 3 )  and ∑ k ∈ R 3 d k 3 ( 1 q ′ − 1 p ′ ) ∥ g k ∥ L p ′ < ∞ , where for any  k , d k = diam ( Supp g k ) < ∞ ,

where L comp p ′ ( R 3 ) is the space of all L p ′ functions in R 3 with compact support. N ˙ p ′ , q ′ ( R 3 ) is a Banach space when it is equipped with the norm

∥ f ∥ N ˙ p ′ , q ′ =inf { ∑ k ∈ N d k 3 ( 1 q ′ − 1 p ′ ) ∥ g k ∥ L p ′ } ,

where the infimum is taken over all possible decompositions.

Lemma 2.1 Let 1< q ′ ≤ p ′ <∞ and p, q satisfy 1 p + 1 p ′ = 1 q + 1 q ′ =1. Then M ˙ p , q ( R 3 ) is the dual space of N ˙ p ′ , q ′ ( R 3 ).

Lemma 2.2 Let 1< q ′ ≤ p ′ <2, m≥2 and 1 q + 1 q ′ =1. Set

γ=− 3 2 + 3 q + 3 m ∈(0,1].

Then there exists a constant C>0 such that for any f∈ H ˙ γ and g∈ L m ,

∥ f g ∥ N ˙ p ′ , q ′ ≤C ∥ f ∥ H ˙ γ ∥ g ∥ L m .

The following lemma comes from [21].

Lemma 2.3 Assume that 1<p<∞. For f,g∈ W m , p , and 1<q≤∞, 1<r<∞, we have

∥ ∇ α ( f g ) − f ∇ α g ∥ L p ≤C ( ∥ ∇ f ∥ L q 1 ∥ ∇ α − 1 g ∥ L r 1 + ∥ g ∥ L q 2 ∥ ∇ α f ∥ L r 2 ) ,
(2.1)

where 1≤α≤m and 1 p = 1 q 1 + 1 r 1 = 1 q 2 + 1 r 2 .

The following inequality is the well-known Gagliardo-Nirenberg inequality.

Lemma 2.4 Let j, m be any integers satisfying 0≤j<m, and let 1≤q,r≤∞, and p∈R, j m ≤θ≤1 be such that

1 p − j n =θ ( 1 r − m n ) +(1−θ) 1 q .

Then, for all f∈ L q ( R n )∩ W m , r ( R n ), there is a positive constant C depending only on n, m, j, q, r, θ such that the following inequality holds:

∥ ∇ j f ∥ L p ≤C ∥ f ∥ L q 1 − θ ∥ ∇ m f ∥ L r θ
(2.2)

with the following exception: if 1<r<∞ and m−j− n r is a nonnegative integer, then (2.2) holds only for a satisfying j m ≤θ<1.

3 Proof of Theorem 1.1

Proof Let ∧= ( − Δ ) 1 2 . We multiply the first equation of (1.1) by −Δu and use integration by parts. This yields

1 2 d d t ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α u ( t ) ∥ L 2 2 = ∫ R 3 u⋅∇uΔudx− ∫ R 3 B⋅∇BΔudx.
(3.1)

Similarly, we obtain

1 2 d d t ∥ ∇ B ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 = ∫ R 3 u⋅∇BΔBdx− ∫ R 3 B⋅∇uΔBdx.
(3.2)

Summing up (3.1) and (3.2), we deduce that

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 ) = ∫ R 3 u ⋅ ∇ u Δ u d x − ∫ R 3 B ⋅ ∇ B Δ u d x + ∫ R 3 u ⋅ ∇ B Δ B d x − ∫ R 3 B ⋅ ∇ u Δ B d x ≜ I 1 + I 2 + I 3 + I 4 .
(3.3)

By using Lemmas 2.1, 2.2 and (2.2), we have

I 1 ≤ C ∥ u ∥ M ˙ p , q ∥ ∇ u Δ u ∥ N ˙ p , q ≤ C ∥ u ∥ M ˙ p , q ∥ ∇ u ∥ H ˙ α ∥ Δ u ∥ L m ≤ C ∥ u ∥ M ˙ p , q ∥ ∧ 1 + α u ∥ L 2 ∥ ∇ u ∥ L 2 1 − 5 2 α + 3 m α ∥ ∧ 1 + α u ∥ L 2 5 2 α − 3 m α ≤ C ∥ u ∥ M ˙ p , q ∥ ∇ u ∥ L 2 1 − 5 2 α + 3 m α ∥ ∧ 1 + α u ∥ L 2 1 + 5 2 α − 3 m α ≤ 1 8 ∥ ∧ 1 + α u ∥ L 2 2 + C ∥ u ∥ M ˙ p , q r ∥ ∇ u ∥ L 2 2 ,
(3.4)

where r= 2 1 − 5 2 α + 3 m α .

We apply integration by parts, ∇⋅B=0, Lemmas 2.1, 2.2 and (2.2). This gives

I 2 + I 4 = − ∫ R 3 ∂ k 2 B i ∂ i B j u j d x − 2 ∫ R 3 ∂ k B i ∂ i ∂ k B j u j d x = C ∥ u ∥ M ˙ p , q ∥ ∇ B Δ B ∥ N ˙ p , q ≤ C ∥ u ∥ M ˙ p , q ∥ ∇ B ∥ H ˙ α ∥ Δ B ∥ L m ≤ C ∥ u ∥ M ˙ p , q ∥ ∧ 1 + α B ∥ L 2 ∥ ∇ B ∥ L 2 1 − 5 2 α + 3 m α ∥ ∧ 1 + α B ∥ L 2 5 2 α − 3 m α ≤ C ∥ u ∥ M ˙ p , q ∥ ∇ B ∥ L 2 1 − 5 2 α + 3 m α ∥ ∧ 1 + α B ∥ L 2 1 + 5 2 α − 3 m α ≤ 1 8 ∥ ∧ 1 + α B ∥ L 2 2 + C ∥ u ∥ M ˙ p , q r ∥ ∇ B ∥ L 2 2 ,
(3.5)

where r= 2 1 − 5 2 α + 3 m α .

Similarly, we obtain

I 3 ≤ 1 8 ∥ ∧ 1 + α B ∥ L 2 2 +C ∥ u ∥ M ˙ p , q r ∥ ∇ B ∥ L 2 2 ,
(3.6)

where r= 2 1 − 5 2 α + 3 m α .

Substituting (3.4)-(3.6) into (3.3) yields

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 ) ≤ C ∥ u ∥ M ˙ p , q r ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ u ∥ L ∞ ) ] ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ u ∥ H 3 ) ] ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ u ∥ H 3 2 ) ] ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ ∇ 3 u ∥ L 2 2 + ∥ ∇ 3 B ∥ L 2 2 ) ] .
(3.7)

Owing to (1.3), we know that for any small constant ε>0, there exists T 0 <T such that

∫ T 0 t ∥ u ( τ ) ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) dτ<ε≪1.

For any T 0 ≤t<T, let

Θ(t)= sup T 0 ≤ τ ≤ t ( ∥ ∇ 3 u ( τ ) ∥ L 2 2 + ∥ ∇ 3 B ( τ ) ∥ L 2 2 ) .

By (3.7), we obtain

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∇ 1 + α B ( t ) ∥ L 2 2 ) ≤ C ∥ u ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + Θ ( t ) ) ] .
(3.8)

It follows from (3.8) and Gronwall’s inequality that

∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 + ∫ T 0 t ( ∥ ∧ 1 + α u ( τ ) ∥ L 2 2 + ∥ ∧ 1 + α B ( τ ) ∥ L 2 2 ) d τ ≤ ( ∥ ∇ u ( T 0 ) ∥ L 2 2 + ∥ ∇ B ( T 0 ) ∥ L 2 2 ) exp { C ( 1 + ln ( e + Θ ( t ) ) ) ∫ T 0 t ∥ u ( τ ) ∥ M ˙ p , q r 1 + ln ( e + ∥ u ∥ L ∞ ) d τ } ≤ C 0 exp { C ε [ 1 + ln ( e + Θ ( t ) ) ] } ≤ C 0 exp { 2 C ε [ ln ( e + Θ ( t ) ) ] } ≤ C 0 ( e + Θ ( t ) ) 2 C ε ,
(3.9)

where C 0 = ∥ ∇ u ( T 0 ) ∥ L 2 2 + ∥ ∇ B ( T 0 ) ∥ L 2 2 .

Applying ∇ m to the first equation of (1.1), then taking L 2 inner product of the resulting equation with ∇ m u and using integration by parts, we get

1 2 d d t ∥ ∇ m u ( t ) ∥ L 2 2 + ∥ ∧ m + α u ( t ) ∥ L 2 2 = − ∫ R 3 ∇ m ( u ⋅ ∇ u ) ∇ m u d x + ∫ R 3 ∇ m ( B ⋅ ∇ B ) ∇ m u d x .
(3.10)

Similarly, we have

1 2 d d t ∥ ∇ m B ( t ) ∥ L 2 2 + ∥ ∧ m + α B ( t ) ∥ L 2 2 = − ∫ R 3 ∇ m ( u ⋅ ∇ B ) ∇ m B d x + ∫ R 3 ∇ m ( B ⋅ ∇ u ) ∇ m B d x .
(3.11)

Combining (3.10)-(3.11), using ∇⋅u=0, ∇⋅B=0 and integration by parts yields

1 2 d d t ( ∥ ∇ m u ( t ) ∥ L 2 2 + ∥ ∇ m B ( t ) ∥ L 2 2 ) + ∥ ∧ m + α u ( t ) ∥ L 2 2 + ∥ ∧ m + α B ( t ) ∥ L 2 2 = − ∫ R 3 [ ∇ m ( u ⋅ ∇ u ) − u ∇ ⋅ ∇ ∇ m u ] ∇ m u d x + ∫ R 3 [ ∇ m ( B ⋅ ∇ B ) − B ⋅ ∇ ∇ m B ] ∇ m u d x = − ∫ R 3 [ ∇ m ( u ⋅ ∇ B ) − u ∇ ⋅ ∇ ∇ m B ] ∇ m B d x + ∫ R 3 [ ∇ m ( B ⋅ ∇ u ) − B ⋅ ∇ ∇ m u ] ∇ m B d x ≜ J 1 + J 2 + J 3 + J 4 .
(3.12)

In what follows, for simplicity, we set m=3.

Using Hölder’s inequality and (2.1), (2.2), we have

J 1 ≤ ∥ ∇ 3 ( u ⋅ ∇ u ) − u ⋅ ∇ ∇ 3 u ∥ L 3 2 ∥ ∇ 3 u ∥ L 3 ≤ C ∥ ∇ u ∥ L 3 ∥ ∇ 3 u ∥ L 3 2 ≤ C ∥ ∇ u ∥ L 2 6 α + 1 2 ( 2 + α ) ∥ ∧ 3 + α u ∥ L 2 11 2 ( 2 + α ) ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + C ∥ ∇ u ∥ L 2 2 ( 6 α + 1 ) 4 α − 3 ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + C ( e + Θ ( t ) ) 2 ( 6 α + 1 ) 4 α − 3 C ε .
(3.13)

Similarly, we have

J 2 ≤ ∥ ∇ 3 ( B ⋅ ∇ B ) − B ⋅ ∇ ∇ 3 B ∥ L 3 2 ∥ ∇ 3 u ∥ L 3 ≤ C ∥ ∇ B ∥ L 3 ∥ ∇ 3 B ∥ L 3 ∥ ∇ 3 u ∥ L 3 ≤ C ∥ ∇ B ∥ L 2 4 α + 2 2 ( 2 + α ) ∥ ∧ 3 + α B ∥ L 2 6 2 ( 2 + α ) ∥ ∇ u ∥ L 2 2 α − 1 2 ( 2 + α ) ∥ ∧ 3 + α u ∥ L 2 5 2 ( 2 + α ) ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + C ∥ ∇ B ∥ L 2 ( 8 α + 4 ) 4 α + 3 ∥ ∧ 3 + α B ∥ L 2 12 4 α + 3 ∥ ∇ u ∥ L 2 2 ( 2 α − 1 ) 4 α + 3 ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + 1 6 ∥ ∧ 3 + α B ∥ L 2 2 + C ∥ ∇ B ∥ L 2 8 α + 4 4 α − 3 ∥ ∇ u ∥ L 2 2 ( 2 α − 1 ) 4 α − 3 ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + 1 6 ∥ ∧ 3 + α B ∥ L 2 2 + C ( e + Θ ( t ) ) 2 ( 6 α + 1 ) 4 α − 3 C ε ,
(3.14)
J 3 ≤ ∥ ∇ 3 ( u ⋅ ∇ B ) − u ⋅ ∇ ∇ 3 B ∥ L 3 2 ∥ ∇ 3 B ∥ L 3 ≤ C ∥ ∇ u ∥ L 3 ∥ ∇ 3 B ∥ L 3 2 + C ∥ ∇ B ∥ L 3 ∥ ∇ 3 B ∥ L 3 ∥ ∇ 3 u ∥ L 3 ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + 1 6 ∥ ∧ 3 + α B ∥ L 2 2 + C ( e + Θ ( t ) ) 2 ( 6 α + 1 ) 4 α − 3 C ε ,
(3.15)

and

J 4 ≤ ∥ ∇ 3 ( B ⋅ ∇ u ) − B ⋅ ∇ ∇ 3 u ∥ L 3 2 ∥ ∇ 3 B ∥ L 3 ≤ C ∥ ∇ u ∥ L 3 ∥ ∇ 3 B ∥ L 3 2 + C ∥ ∇ B ∥ L 3 ∥ ∇ 3 B ∥ L 3 ∥ ∇ 3 u ∥ L 3 ≤ 1 8 ∥ ∧ 3 + α u ∥ L 2 2 + 1 6 ∥ ∧ 3 + α B ∥ L 2 2 + C ( e + Θ ( t ) ) 2 ( 6 α + 1 ) 4 α − 3 C ε .
(3.16)

Inserting (3.13)-(3.16) into (3.12) yields

d d t ( ∥ ∇ 3 u ( t ) ∥ L 2 2 + ∥ ∇ 3 B ( t ) ∥ L 2 2 ) + ∥ ∧ 3 + α u ( t ) ∥ L 2 2 + ∥ ∧ 3 + α B ( t ) ∥ L 2 2 ≤ C ( e + Θ ( t ) ) 2 ( 6 α + 1 ) 4 α − 3 C ε .

Gronwall’s inequality implies the boundedness of H 3 -norm of u and B provided that 2 ( 6 α + 1 ) 4 α − 3 Cε≤1, which can be achieved by the absolute continuous property of integral (1.3). We have completed the proof of Theorem 1.1. □

4 Proof of Theorem 1.2

Proof Let ∧= ( − Δ ) 1 2 . Multiplying the first equation of (1.1) by −Δu and using integration by parts, we obtain

1 2 d d t ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α u ( t ) ∥ L 2 2 = ∫ R 3 u⋅∇uΔudx− ∫ R 3 B⋅∇BΔudx.
(4.1)

Similarly, we get

1 2 d d t ∥ ∇ B ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 = ∫ R 3 u⋅∇BΔBdx− ∫ R 3 B⋅∇uΔBdx.
(4.2)

Summing up (4.1) and (4.2), we deduce that

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 ) = ∫ R 3 u ⋅ ∇ u Δ u d x − ∫ R 3 B ⋅ ∇ B Δ u d x + ∫ R 3 u ⋅ ∇ B Δ B d x − ∫ R 3 B ⋅ ∇ u Δ B d x = ∫ R 3 ∇ u ⋅ ∇ u ∇ u d x − ∫ R 3 ∇ B ⋅ ∇ B ∇ u d x + ∫ R 3 ∇ u ⋅ ∇ B ∇ B d x − ∫ R 3 ∇ B ⋅ ∇ u ∇ B d x ≜ I 1 ′ + I 2 ′ + I 3 ′ + I 4 ′ .
(4.3)

Using Lemmas 2.1, 2.2 and (2.2), we obtain

I 1 ′ ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ u ∇ u ∥ N ˙ p , q ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ u ∥ H ˙ α ∥ ∇ u ∥ L m ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∧ 1 + α u ∥ L 2 ∥ ∇ u ∥ L 2 1 − 3 2 α + 3 m α ∥ ∧ 1 + α u ∥ L 2 3 2 α − 3 m α ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ u ∥ L 2 1 − 3 2 α + 3 m α ∥ ∧ 1 + α u ∥ L 2 1 + 3 2 α − 3 m α ≤ 1 8 ∥ ∧ 1 + α u ∥ L 2 2 + C ∥ u ∥ M ˙ p , q r ∥ ∇ u ∥ L 2 2 ,
(4.4)

where r= 2 1 − 5 2 α + 3 m α .

Similarly, we obtain

I 2 ′ ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ B ∇ B ∥ N ˙ p , q ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ B ∥ H ˙ α ∥ ∇ B ∥ L m ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∧ 1 + α B ∥ L 2 ∥ ∇ B ∥ L 2 1 − 3 2 α + 3 m α ∥ ∧ 1 + α B ∥ L 2 3 2 α − 3 m α ≤ C ∥ ∇ u ∥ M ˙ p , q ∥ ∇ B ∥ L 2 1 − 3 2 α + 3 m α ∥ ∧ 1 + α B ∥ L 2 1 + 3 2 α − 3 m α ≤ 1 8 ∥ ∧ 1 + α B ∥ L 2 2 + C ∥ ∇ u ∥ M ˙ p , q r ∥ ∇ B ∥ L 2 2 ,
(4.5)

where r= 2 1 − 5 2 α + 3 m α .

I 3 ′ ≤ 1 8 ∥ ∧ 1 + α B ∥ L 2 2 +C ∥ ∇ u ∥ M ˙ p , q r ∥ ∇ B ∥ L 2 2
(4.6)

and

I 4 ′ ≤ 1 8 ∥ ∧ 1 + α B ∥ L 2 2 +C ∥ ∇ u ∥ M ˙ p , q r ∥ ∇ B ∥ L 2 2 .
(4.7)

Combining (4.3)-(4.7) yields

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 ) ≤ C ∥ ∇ u ∥ M ˙ p , q r ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ] ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ u ∥ H 3 ) ] ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + ∥ u ∥ H 3 2 ) ] ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) × [ 1 + ln ( e + ∥ ∇ 3 u ∥ L 2 2 + ∥ ∇ 3 B ∥ L 2 2 ) ] .
(4.8)

Thanks to (1.5), we know that for any small constant ε>0, there exists T 0 <T such that

∫ T 0 t ∥ ∇ u ( τ ) ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) dτ<ε≪1.

For any T 0 ≤t<T, set

Θ(t)= sup T 0 ≤ τ ≤ t ( ∥ ∇ 3 u ( τ ) ∥ L 2 2 + ∥ ∇ 3 B ( τ ) ∥ L 2 2 ) .
(4.9)

By (4.8) and (4.9), we obtain

d d t ( ∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 ) + ( ∥ ∧ 1 + α u ( t ) ∥ L 2 2 + ∥ ∧ 1 + α B ( t ) ∥ L 2 2 ) ≤ C ∥ ∇ u ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) ( ∥ ∇ u ∥ L 2 2 + ∥ ∇ B ∥ L 2 2 ) [ 1 + ln ( e + Θ ( t ) ) ] .
(4.10)

Equation (4.10) and Gronwall’s inequality give the estimate

∥ ∇ u ( t ) ∥ L 2 2 + ∥ ∇ B ( t ) ∥ L 2 2 + ∫ T 0 t ( ∥ ∧ 1 + α u ( τ ) ∥ L 2 2 + ∥ ∧ 1 + α B ( τ ) ∥ L 2 2 ) d τ ≤ ( ∥ ∇ u ( T 0 ) ∥ L 2 2 + ∥ ∇ B ( T 0 ) ∥ L 2 2 ) × exp { C ( 1 + ln ( e + Θ ( t ) ) ) ∫ T 0 t ∥ ∇ u ( τ ) ∥ M ˙ p , q r 1 + ln ( e + ∥ ∇ u ∥ L ∞ ) d τ } ≤ C 0 exp { C ε [ 1 + ln ( e + Θ ( t ) ) ] } ≤ C 0 exp { 2 C ε [ ln ( e + Θ ( t ) ) ] } ≤ C 0 ( e + Θ ( t ) ) 2 C ε ,
(4.11)

where C 0 = ∥ ∇ u ( T 0 ) ∥ L 2 2 + ∥ ∇ B ( T 0 ) ∥ L 2 2 .

From (4.11), H 3 estimate for this case is the same as that for Theorem 1.1. Thus, Theorem 1.2 is proved. □

References

  1. Luo Y: On the regularity of the generalized MHD equations. J. Math. Anal. Appl. 2010, 365: 806-808. 10.1016/j.jmaa.2009.10.052

    Article  MATH  MathSciNet  Google Scholar 

  2. Wu G: Regularity criteria for the 3D generalized MHD equations in terms of vorticity. Nonlinear Anal. 2009, 71: 4251-4258. 10.1016/j.na.2009.02.115

    Article  MATH  MathSciNet  Google Scholar 

  3. Yuan J: Existence theorem and regularity criteria for the generalized MHD equations. Nonlinear Anal., Real World Appl. 2010, 11: 1640-1649. 10.1016/j.nonrwa.2009.03.017

    Article  MATH  MathSciNet  Google Scholar 

  4. Zhang Z: 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  MATH  MathSciNet  Google Scholar 

  5. Zhou Y: Regularity criteria for the generalized viscous MHD equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2007, 24: 491-505. 10.1016/j.anihpc.2006.03.014

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  8. He C, Wang Y: On the regularity for weak solutions to the magnetohydrodynamic equations. J. Differ. Equ. 2007, 238: 1-17. 10.1016/j.jde.2007.03.023

    Article  MATH  MathSciNet  Google Scholar 

  9. Lei Z, Zhou Y: BKM’s criterion and global weak solutions for magnetohydrodynamics with zero viscosity. Discrete Contin. Dyn. Syst. 2009, 25: 575-583.

    Article  MATH  MathSciNet  Google Scholar 

  10. Wang Y, Wang S, Wang Y: Regularity criteria for weak solution to the 3D magnetohydrodynamic equations. Acta Math. Sci. 2012, 32: 1063-1072.

    Article  MathSciNet  MATH  Google Scholar 

  11. Wang Y, Zhao H, Wang Y: A logarithmically improved blow up criterion of smooth solutions for the three-dimensional MHD equations. Int. J. Math. 2012., 23: Article ID 1250027

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  13. Zhou Y, Gala S: Regularity criteria for the solutions to the 3D MHD equations in the multiplier space. Z. Angew. Math. Phys. 2010, 61: 193-199. 10.1007/s00033-009-0023-1

    Article  MATH  MathSciNet  Google Scholar 

  14. Zhou Y, Gala S: A new regularity criterion for weak solutions to the viscous MHD equations in terms of the vorticity field. Nonlinear Anal. 2010, 72: 3643-3648. 10.1016/j.na.2009.12.045

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  17. Jia X, 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  MATH  MathSciNet  Google Scholar 

  18. Ni L, Guo Z, 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  MATH  MathSciNet  Google Scholar 

  19. Leray J: Sur le mouvement d’un liquide visqueux emplissant l’espace. Acta Math. 1934, 63: 183-248.

    Article  MathSciNet  Google Scholar 

  20. Hopf E: Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen. Math. Nachr. 1951, 4: 213-231.

    Article  MATH  MathSciNet  Google Scholar 

  21. Kato T, Ponce G: Commutator estimates and the Euler and Navier-Stokes equations. Commun. Pure Appl. Math. 1988, 41: 891-907. 10.1002/cpa.3160410704

    Article  MATH  MathSciNet  Google Scholar 

  22. Lemarié-Rieusset PG: Recent Developments in the Navier-Stokes Problem. CRC Press, Boca Raton; 2004.

    MATH  Google Scholar 

  23. Mazya VG: On the theory of the n -dimensional Schrödinger operator. Izv. Akad. Nauk SSSR, Ser. Mat. 1964, 28: 1145-1172.

    MathSciNet  Google Scholar 

  24. Zhou Y, Gala S: Logarithmically improved regularity criteria for the Navier-Stokes equations in multiplier spaces. J. Math. Anal. Appl. 2009, 356: 498-501. 10.1016/j.jmaa.2009.03.038

    Article  MATH  MathSciNet  Google Scholar 

  25. Fan J, 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  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Liping Hu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

LH and YW carried out the proof of the main part of this article. All authors have read and approved the final manuscript.

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

Hu, L., Wang, Y. Blow-up criteria for smooth solutions to the generalized 3D MHD equations. Bound Value Probl 2013, 187 (2013). https://doi.org/10.1186/1687-2770-2013-187

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords