On the Regularity of Weak Solutions to the Magnetohydrodynamic Equations Cheng HE (Institute of Applied Mathematics, Academy of Mathematics and System Science, Chinese Academy of Sciences, Beijing, 18, People s Republic of China Zhouping XIN (The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong, Shatin, N. T., Hong Kong Abstract: In this paper, we study the regularity of weak solution to the incompressible magnetohydrodynamic equations. We obtain some sufficient conditions for regularity of weak solutions to the magnetohydrodynamic equations, which is similar to that of incompressible Navier-Stokes equations. Moreover, our results demonstrate that the velocity field of the fluid plays a more dominant role than the magnetic field does on the regularity of solution to the magneto-hydrodynamic equations. Keywords: Magnetohydrodynamics equations, regularity criteria AMS Subject Classifications: 35Q 76D 1 Introduction We consider the viscous incompressible magneto-hydrodynamics (MHD equations u t 1 Re Δu + u( u S(B B + (p + S B =f, B t 1 ΔB +(u B (B u =, Rm div u =, div B =. (1.1 He s e-mail address: chenghe@amss.ac.cn. ** Xin s e-mail address: zpxin@ ims.cuhk.edu.hk 1
Here u, p, B are non-dimensional qualities corresponding to the velocity of the fluid, its pressure and the magnetic field, respectively. f(x, t represents a non-dimensional volume density force. The non-dimensional number Re is the Reynolds number, Rm is the magnetic Reynolds and S = M /(ReRm withm being the Hartman number. In this paper, we will discuss two classes of sufficient conditions which guarantee the weak solutions are regular. At first, we will present some results about the relationship between the regularity for weak solution to the MHD equations and the smoothness of the direction of vorticity for large vorticity field. Secondly, we will show the smoothness of solutions to the MHD equations when the velocity field u belongs to L p (,T; L q (R 3 with 1/p +3/q 1/ forq 3. In general, it is not known whether the smooth solution of the Cauchy problem exists for all time, for given sufficient smooth, divergence free initial data. Duvaut and Lions [8] constructed a class of global weak solutions, similar to the Leray-Hopf weak solutions to the three dimensional Navier-Stokes equations. But the strong solution is only local, in general. For the two dimensional case, the smoothness of solutions have been shown. And same results hold in the case of three dimensional case under the assumption that (u, B belongs to L (,T; H 1 (R 3. For details, see Sermange & Teman [1]. As pointed out by Constantin and Fefferman [4] in the case of incompressible Navier-Stokes equations, the main difference between the two dimensional and three dimensional cases can be well understood by considering the dynamics of the fluid vorticity. In the two dimensional case, the vorticity field is perpendicular to the plane of motion and its magnitude is uniformly bounded, while in the three dimensional case, there exists a stretching mechanism for the vorticity magnitude which is nonlinear and potentially capable of producing finite time singularities. At the same time, Constantin and Fefferman showed that the solution is smooth, if the direction of vorticity is sufficiently well behaved in the region of high vorticity magnitude, i.e., they obtained the smoothness of solution if the direction field ξ of the vorticity w(x, t satisfies that ξ(x ξ(y x y /ρ (1. for some positive constant ρ when w(x, t and w(y, t for some >. Similar results were given in [5] for three dimensional incompressible Euler equations and for quasi-geostrophic active scalar equation in [6][7]. The first purpose of this paper is to discuss the important role of the smoothness of direction of vorticity in the region of the large vorticity in the regularity theory for the incompressible magnetohydrodynamics equations. Comparing with the incompressible Navier-Stokes equations, a important characteristic of the magneto-hydrodynamics is the induction effect. This effect brings about the coupling of the magnetic field and the velocity field. As a result of the inclusion of the magnetic field, the equation of magneto-
hydrodynamics are considerably more complicated than those of ordinary hydrodynamics. This first resulting difficulty is that, there is no global L 1 estimate about the vorticities; The second, that is the key new difficulties come from the appearance of the strong coupled terms of vorticities of the velocity u and magnetic field B. We use the fine estimate of singular integral to overcome the difficulties resulting from the lack of the L 1 estimate of the vorticity. Furthermore, some integral formulas are deduced for the coupling terms. By a careful of the kernels of these integrals, we show that the solution is smooth, if the vorticity field w + (x, t of velocity field u satisfies the following estimate: there exist three positive constants K, ρ,, such that w + (x + y, t/ w + (x + y, t w + (x, t/ w + (x + y, t K y 1/ (1.3 when y ρ and w + (x, t for some positive constants Kρ, and ω. The second purpose of this paper is to show the smoothness of weak solutions in L p (,T; L q (R 3. Many authors have studied the regularity for weak solutions of the Navier-Stokes equations as long as any one of following three conditions hold: 1 u L p (,T; L q (R 3 for 1/p +3/q 1/ andq>3, u C([,T]; L 3 (R 3, 3 u L α (,T; L (R 3 for 1/α +3/ = 1 with 1 <α. See [13],[9], [14] and []. It must be noticed that case 3 can not be included into case 1 and case. Moreover, the borderline case α = is significant. It shows that L (,T; W 1,3 (R 3 is a regularity class. This can not be deduced from 1 and, since W 1,3 (R 3 can not be imbedded into L (R 3. In this paper, we also show that one of 1-3 is sufficient condition for regularity of the solution to MHD equations. As pointed out by H. Beirão da Veiga, 3 shows that the loss of regularity in time turns out to be balanced by some additional regularity in space. It should be noted that the condition (1.3 is somewhat stronger than condition (1., while the conditions for our second results are the same as those for the Navier-Stokes equations. However, it is worthy to emphasize that there are no assumptions on the magnetic field B. In other word, our results demonstrate that the magnetic field plays less dominant role than the velocity field does in the regularity theory of solutions to the magneto-hydrodynamics equations. In a certain sense, our results are consistent with the recent numerical simulations of Politano et in [11]. Furthermore, observations of space and laboratory plasmas alike reveal that the magnetic field of the plasma tends to self-organize through a turbulent phase of relaxation into a simple spiral contiguration [1]. Thus, an incompressible three dimensional magneto-hydrodynamics equations should exhibits a greater degree of regularity than does an ordinary incompressible three dimensional Navier-Stokes equation, in some sense. However, we can not show this here. 3
Finally, it will follow easily from our proofs that for the three dimensional incompressible Navier-Stokes equations, the Hölder continuity of the direction of the vorticity with exponent 1/, in the high vorticity magnitude region and a ball of every point with fixed radius, is sufficient to ensure the regularity of the solution. Mathematical Preliminaries Let w + (x, t = curl u(x, t, w (x, t = curl B(x, t. Then the vorticity equations for the three dimensional incompressible magneto-hydrodynamics equation can be written w + 1 t Re Δw+ +(u w + (w + u S(B w + S(w B = F, w 1 t Rm Δw +(u w (w u (B w + +(w + B =T (B,u (.1 with B 3 u 3 B u T (B,u = 3 B 1 u 1 B 3 u 1 B u B 1 u and F =curlf. Here i denote / x i for i =1,, 3. Let C,σ (R3 denotethesetofallc real vector-valued functions φ =(φ 1,φ,φ 3 with compact support in R 3, such that divφ =. LetH and V be the closure of C,σ (R3 in L (R 3 andh 1 (R 3 respectively. And let p denote the norm in L p (R 3 for 1 p. If the initial data (u,b belong to H and f L (, ; V, it is well known that there exists a global weak solution (u, B inl (, ; H L loc (, ; V, which satisfies the energy inequality t ( 1 u(t + S B(t + Re u(s + S Rm B(s ds t u + S B + (u(s,f(sds (. for any t (Cf. [8]. If (u,b V and f L (, ; L (R 3, then there exists a unique solution (u, B, such that u, B L (,T ; V L (,T ; H (R 3 (.3 for some T >. According to the regularity result obtained in [1], u and B are sufficient smooth, if (u,b andf are sufficient smooth. 4
By the Biot-Savart law, the velocity field and the magnetic field can be expressed in terms of their vorticities respectively as follows: u(x, t = 1 ( 1 4π y w+ (x + ydy, B(x, t = 1 4π ( 1 z w (x + zdz. (.4 As in [4], the gradient matrix can be decomposed as the strain matrix and the antisymmetric parts u(x, t =S + (x, t+ 1 w+ (x, t, B(x, t =S (x, t+ 1 (.5 w (x, t, with S + (x, t = 1 ( u(x, t+( u(x, t T, S (x, t = 1 ( B(x, t+( B(x, t T. (.6 The following two integral equations were obtained in [4] w + (x, t = 1 4π P.V. σ(ŷw + (x + y, t dy y 3, w (x, t = 1 4π P.V. S + (x, t = 3 4π P.V. S (x, t = 3 4π P.V. σ(ẑw (x + z,t dz z 3, M(ŷ, w + (x + y, t dy y 3, M(ẑ,w (x + z,t dz z 3, (.7 where the matrixes σ(ŷ =3ŷ ŷ I, M(ŷ, w = 1 (ŷ (.8 (ŷ w+(ŷ w ŷ with ŷ = y/ y, I is the identity matrix and the tensor product simply denotes the matrix (ŷ ŷ ij =ŷ i ŷ j. Moreover, the matrix σ is symmetric, traceless and has zero mean on the unit sphere. The matrix M is also traceless and symmetric; Its mean on the unit sphere is zero when the second variable w is held fixed and M is viewed as a function of ŷ alone. The property with zero mean on the unit sphere is very important to deduce the necessary estimates about the coupling terms. In the following, we deduce the integral representations for coupling terms. For this purpose, let T (B,u =(T 1 (B,u,T (B,u,T 3 (B,u. Differentiating the Biot-Savart law 5
(.4, one can obtain that B = 1 x i 4π P.V. i ( 1 z w (x + zdz here the property of zero mean of σ on unit sphere has been used. Note that ( 1 z i z =( e i +3ẑ i ẑ/ z 3 Δ = vi with e i the unit vector along the z i axis. Then T 1 (B,u = B 3 u 3 B u Similarly, = 1 4π P.V. = 1 4π P.V. = 1 4π P.V. = 1 4π P.V. T (B,u = 1 4π P.V. T 3 (B,u = 1 4π P.V. ( v w (x + z 3 u v 3 w (x + z u dz ( 3 u v u v 3 w (x + zdz ( dz u 1 w (x + z + 3(ẑ 3 u ẑ ẑ 3 u ẑ w (x + z z 3 ( dz u 1 w (x + z + 3(ẑ 3 u ẑ 3 u (ẑ w (x + z z 3. ( dz u w (x + z + 3(ẑ 3 1 u ẑ 1 3 u (ẑ w (x + z z 3 ( dz u 3 w (x + z + 3(ẑ 1 u ẑ 1 u (ẑ w (x + z z 3 Thus, T (B,u w (x, t = 1 ( 4π P.V. w (x + z,t u w (x, t dz +3(w (x, t ẑ u (ẑ w (x + z,t z 3. (.9 In (.9, the vectors at the right hand side of matrix u are viewed as column vector. Applying representations (.5-(.7, it follows that T (B,u w (x, t = 1 ( dz 4π P.V. w (x + z,t S + (x, t w (x, t z 3 1 8π P.V. Det(w (x, t,w (x + z,t,w + (x, t dz z 3 + 3 ( dz 4π P.V. (w (x, t ẑ S + (x, t (ẑ w (x + z,t z 3 + 3 8π P.V. (ẑ,w + (x, tdet(ẑ,w (x, t,w (x + z,t dz z 3 (.1 6
where Det denotes the determinant of the matrix whose columns are the three column vectors in the bracket. 3 The Main Result In this section, we intend to present our main results. Our major assumption about the vorticity w + (x, t of the velocity field u(x, t is. Assumption A. There exist three positive constants K, ρ and such that w + (x + y, t w + (x, t K w + (x + y, t y 1/ (3.1 holds if both y ρ and w + (x, t for any t [,T]. Under this assumption on w + (x, t, one can show the following a priori estimate. Theorem 1. Let u,b V and f L (,T; L (R 3. Assume that (u, B is a smooth solution of MHD equations (1.1 on some interval [,T] with <T. Then if the Assumption A holds on [,T], one has w +,w L (,T; L (R 3, (3. w +, w L (,T; L (R 3 (3.3 Moreover, for t [,T], t ( w + (t + S w (t + (1/Re w + (s +(S/Rm w (s ds T C ( w + ( + S w ( + f(s ds e CA (3.4 with A =( 1/ +(K + ρ 1/ ( u + S B + T f(s V ds and C is an absolute constant. Theorem. a Let u,b V and f L (,T; L (R 3. Assume that (u, B is a smooth solution of MHD equations (1.1 on some interval [,T] with <T. Assume that one of the following two conditions holds 1 u L p (,T; L q (R 3 for 1/p +3/q =1/ and q>3, u C([,T]; L 3 (R 3, then u L (,T; H 1 (R 3 L (,T; H (R 3. (3.5 7
Moreover, t ( 1 u(t + S B(t + Re D u(s + S Rm D B(s ds T C ( u + B + C f ds (3.6 3 holds for any t [,T]. Here D = i j and C is a constant depending on i,j=1 T u(s p qds in case 1 and u C([,T ];L 3 (R 3 T in the case respectively. b Let u,b L (R 3 for some 3. If u L α (,T; L (R 3 for 1/α +3/ =1 with 1 <α, then Moreover, u, B L (,T; L (R 3 ; u u, B B L (,T; L (R 3. u(t + B(t + ( 1 Re C t u u(s ( 1 ds + Rm t B B(s ds ( B, u, e T u α dτ (3.7 for any t [,T]. Employing the above a priori estimates, one can show that Theorem 3. Let u,b V and f L (,T; L (R 3. Suppose that (u, B is the weak solution of MHD equations (1.1 on [,T. Ifw + (x, t satisfies the assumption A on [,T], then w +,w L (,T; L (R 3, w +, w L (,T; L (R 3 (3.8 Moreover, t ( w + (t + S w (t + (1/Re w + (s +(S/Rm w (s ds T C ( w + ( + S w ( + f(s ds e CA (3.9 with A =( 1/ +(K + ρ 1/ ( u + S B + T f(s V ds and C is an absolute constant. Therefore (u, B is the unique strong solution to the MHD equations on [,T]. Theorem 4. Let u,b V and f L (,T; L (R 3. Assume that (u, B is a weak solution of MHD equations (1.1 on some interval [,T] with <T. Assume that one of the following two conditions holds 8
1 u L p (,T; L q (R 3 for 1/p +3/q =1/ and q>3, u C([,T]; L 3 (R 3, then u L (,T; H 1 (R 3 L (,T; H (R 3. (3.1 Moreover, t ( 1 u(t + S B(t + Re D u(s + S Rm D B(s C ( u + B ds T + C f ds (3.11 hold for any t [,T]. Here C is a constant depending on T u(s p qds in case 1 and u C([,T ];L 3 (R 3 T in the case respectively. b Let u,b L (R 3 for some 3. If u L α (,T; L (R 3 for 1/α +3/ =1 with 1 <α, then Moreover, u, B L (,T; L (R 3 ; u u, B B L (,T; L (R 3. u(t + B(t + ( 1 Re C t u u(s ( 1 ds + Rm t B B(s ds ( B, u, e T u α dτ (3.1 for any t [,T]. Remarks: 1. If u,b and f are sufficiently smooth, then the strong solution (u, B aresufficient smooth, by the regularity results in [1].. Constantin and Fefferman showed the smoothness of solutions to the three dimensional incompressible Navier-Stokes equations under the assumption that w(x, t/ w(x, t w(y, t/ w(y, t x y /ρ if both w(x, t and w(y, t for some positive constants and ρ. Inviewofour estimate below, it is obvious that, in order to obtain their regularity result, it is sufficient to assume that w(x, t/ w(x, t w(y, t/ w(y, t x y 1/ /ρ holds if both w(x, t, w(y, t and x y δ for some positive constants, ρ and δ. 9
3. A regularity result was obtained in [15] and [3] for inviscid MHD equation in R 3 under the assumption that T [ w + (s + w (s ]ds <. But here, in order to obtain the regularity for viscous MHD equations, we only need to assume that w + (x, t satisfy Assumption A. 4. Serrin [13], Giga [9], wolf von Wahl[14] etc obtained the regularity of solutions to the Navier-Stokes equations in the case of 1 3 in Theorem 3. It is worthy to point out that the case 3 is a natural extension of 1-. Moreover, the borderline case α =is significant. It follows from Theorem 3 that u and B are regular if u L (,T; L 3 (R 3. This can not be implied by case 1 and, since W 1,3 (R 3 cannotbeimbeddedinto L (R 3. The proof of the Theorem 3. Since u,b V and f L (,T; L (R 3, then the weak solution (u, B is strong and unique on [,T 1 ] for some T 1 <T. By the a priori estimate in Theorem 1, together with the assumption A, it follows that estimate (3.9 is valid on [,T 1 ], which is independent of T 1. Thus, the strong solution (u, B satisfies estimate (3.9 as long as w + (x, t satisfies the Assumption A. By the standard continuation argument, the strong solution can be extended to [,T]. The proof of Theorem 4 is completely same with that of Theorem 3. We omit it here. 4 A Priori Estimate I In this section, we will give the a priori estimate and complete the proof of Theorem 1. So we assume that the solution (u, B issufficientsmoothon[,t]. For this purpose, we multiply the first equation of (.1 by w +, the second equation of (.1 by Sw, then add the resulting equations to obtain that d dt ( w+ (t + S w (t + Re w+ (t + Rm w (t = ( w + (x, t u(x, t w + (x, t+sw (x, t u(x, t w (x, t Sw (x, t B(x, t w + (x, t Sw + (x, t B(x, t w (x, t +ST(B,u w (x, t+f w + (x, t dx (4.1 Let φ(r be a smooth cut-off function such that 1 φ(r 1, φ(r = 1 for r 1, and φ(r =forr. In the following, we will estimate all the terms on the right hand 1
side of (4.1. By (.5, the first term at the right hand side can be written as I 1 = w + (x, t u(x, t w + (x, t dx = w + (x, t S + (x, t w + (x, t dx = φ( w+ (x, t (w + (x, t S + (x, t w + (x, t dx ( + 1 φ( w+ (x, t (w + (x, t S + (x, t w + (x, t dx By the Calderon-Zygmund estimate and formula (.7, we have that S + p C(p w + p, (4. S p C(p w p for any 1 <p<. Then by the Hölder and Sobolev inequalities, I 11 = φ( w+ (x, t (w + (x, t S + (x, t w + (x, t dx C 1/5 w + w + 4/5 4/5 S+ 3 C 1/5 w + 8/5 w + 6/5 δ 1 w + + C(δ 1 1/ w + 4 (4.3 for any δ 1 >, where the Young inequality has been used. Since the mean of M on the unit sphere is zero when the second variable w + is fixed and M is viewed as a function of ŷ alone, then its integral vanishes in any ball in this case, i.e., P.V. M(ŷ, w + (x, t dy =. (4.4 y ρ y 3 Thus, by formula (.7 and Assumption A, (1 φ( w+ (x, t S + (x, t CP.V. M(ŷ, w + (x + y, t dy y ρ y 3 ( +P.V. 1 φ( w+ (x, t M(ŷ, w + (x + y, t w + (x, t dy y ρ y 3 C ( ρ 1/ + K P.V. w + dy (x + y, t y 5/. 11
Therefore, by Calderon-Zygmund estimate, the Hölder and Sobolev inequalities, we have ( I 1 = 1 φ( w+ (x, t (w + (x, t S + (x, t w + (x, t dx C ( ρ 1/ + K ( w + w + 6 1 φ( w+ (,t S + (,t 3 C ( ρ 1/ + K w + w+ δ 1 w + + C(δ 1 ( ρ 1/ + K w + 4. (4.5 Therefore, I 1 δ 1 w + + C(δ 1 [ 1/ +(ρ 1/ + K ] w + 4. (4.6 Applying formula (.5 and (.7, one may rewrite the second term at the right hand side of (4.1 as I =S w (x, t u(x, t w (x, tdx =S w (x, t S + (x, t w (x, tdx = 3S π P.V. (ŷ, w (x, tdet(ŷ, w + (x + y, t,w (x, t dy y 3 dx Using the cut-off function φ( w + (x + y, t /, one decomposes the last integral into two parts, I 1 = 3S π P.V. I = 3S π P.V. (ŷ, w (x, tdet(ŷ, φ( w+ (x + y, t w + (x + y, t,w (x, t dy y 3 dx (ŷ, w (x, tdet(ŷ, (1 φ( w+ (x + y, t w + (x + y, t,w (x, t dy y 3 dx Similar to the treatment of I 11, I 1 can be estimated as I 1 C 1/5 w w 6 w + 4/5 1/5. By Gagliardo-Nirenberg, Sobolev and the Young inequalities, one has I 1 δ 1 w + + δ w + C(δ 1,δ 1/ ( w + 4 + w 4 for any δ >. In order to estimate I, we need to use the property of zero mean of σ on unit sphere, i.e., σ(ŷw + (x, t dy = (4.7 y 3 y ρ 1
By the representation (.7, one has that (1 φ( w+ (x + y, t w + (x + y, t = 1 4π P.V. (1 φ( w + (x + y, t σ(ẑw + (x + y + z,t dz z ρ z 3 + 1 4π P.V. (1 φ( w+ (x + y, t σ(ẑw + (x + y + z,t dz z 3 z ρ Using (4.7 and Calderon-Zygmund estimate, one has that Thus we obtain the estimate of I (1 φ( w+ (,t w + (,t 3 C(K + ρ 1/ w +. Consequently, I C w w 6 (1 φ( w + (,t w + (,t 3 δ w + C(δ (K + ρ 1/ ( w + 4 + w 4. I δ 1 w + +δ w + C(δ 1,δ [ 1/ +(K + ρ 1/ ]( w + 4 + w 4. (4.8 It follows from (.5 and (.7 that the third term at the right hand side of (4.1 can be written as I 3 = S [w (x, t ( B(x, t w + (x, t+w + (x, t B(x, t w (x, t] dx = S w (x, t ( B(x, t+( B(x, t T w + (x, t dx = 4S w (x, t S (x, t w + (x, t dx By (4. and (4.7, one has that ( I 3 C w S 6 φ( w+ (,t w + (,t 3 + (1 φ( w+ (,t w + (,t 3 C 1/5 w w w + 4/5 1/5 + C(K + ρ 1/ w w w + δ 1 w + + δ w + C(δ 1,δ [ 1/ +(K + ρ 1/ ]( w + 4 + w 4. (4.9 Let I 4 =4S T (B,u w (x, t dx. 13
Applying representation (.1 and taking into account of the facts (4.4 and (4.7, we can deduce in a similar way as for I 3 that I 4 δ 1 w + + δ w + C(δ 1,δ [ 1/ +(K + ρ 1/ ]( w + 4 + w 4 (4.1 Integrating by part, we get, with the help of the Hölder and Young inequalities, that I 5 = F w + (x, t dx f w + (x, t dx (4.11 δ 1 w + + C f. Substituting above estimates into (4.1 and integrating from to t show that t ( 1 ( w + (t + S w (t + Re w+ (s + S Rm w (s ds T w + ( + S w ( + f(s ds +C ( 1/ +(K + ρ 1/ t ( w + (s 4 + w (s 4 ds. (4.1 with δ 1 =1/(6Re andδ = S/(5Rm. Combining the energy inequality with the fact w + (t = u(t, w (t = B(t, the one deduces estimate (3.9 from (4.1 by Gronwall inequality. 5 A Priori Estimate II In this section, we will deduce another kind of a priori estimate and prove Theorem. Here we also assume that (u, B is sufficient smooth on [,T]. First, we differentiate the first equations of (1.1 about x i, then multiply the resulting equations by i u to get 1 d dt iu + 1 Re iu = ( i u u i udx+ S ( i B B i udx (5.1 +S (B i B i udx+ i f i udx 14
Similarly, 1 d dt ib + 1 Rm ib = + ( i u B i Bdx ( i B u i Bdx+ (B i u i Bdx (5. Adding (5.1 and S (5., we obtain, by integration by part, that d dt ( iu + S i B +( 1 Re iu + S Rm ib = ( i u u i udx+s ( i B B i udx S ( i u B i Bdx +S ( i B u i Bdx+ i f i udx (5.3 If u L p (,T; L q (R 3 with 1/p +3/q =1/ andq>3, then p =q/(q 3. We get, by the integration by part and the Hölder inequality, that I 1 = ( i u u i udx (u i u i udx + (u u i i udx 4 u q u q D u. q By the Gagliardo-Nirenberg inequality and Young inequality, I 1 can be estimated as I 1 1 1Re D u + C u p q u. (5.4 Similarly, we can estimate the other terms in (5.3 and obtain that I = S ( i B B i udx S 1Rm D B + C u p q B I 3 = S ( i u B i Bdx S 1Rm D B + C u p q B I 4 = S ( i B u i Bdx S 1Rm D B + C u p q B I 5 = ( i f i u dx 1 1Re D u + C f. (5.5 15
Substituting above estimates into (5.3 and summing i from to 3, one gets that d dt ( u + S B + 1 Re D u + S Rm D B C u p q( u + S B +C f (5.6 which implies that t } u(t + S B(t ( u + S B {C exp u(τ p qdτ +C t { f(s exp C t s u(τ p qdτ } ds. (5.7 Thus, we obtain estimate (3.6 in the case of 1. If u C([,T]; L 3 (R 3, then we can decompose u = u 1 +u with u 1 C([,T ];L 3 (R 3 ɛ and u L ((,T R 3 C(ɛ, u C([,T ];L 3 (R 3 for any ɛ>. Then I 1 can be estimated as C u D u u dx I 1 C u 1 3 u 6 D u + C u u D u Cɛ D u + C u u. (5.8 Here we have used the Sobolev inequality and Cauchy inequality. The other terms in (5.3 can be treated as before, so we can obtain an inequality similar to (5.6. Then we deduce the result by same procedure as before. Now we consider the case that u L α (,T; L (R 3 for 1/α +3/ = 1 with 1 < α. We multiply the both sides of the second equation in (1.1, integrate over R 3 and get by integration by parts, 1 d dt B + 1 B B Rm B u dx u B /( 1. (5.9 By the Gagliardo-Nirenberg inequality, B /( 1 By the Young s inequality, we get Therefore B(t for any t [,T]. 1 d dt B + 1 Rm + ( 1 Rm t 3 C B B 3 B. (5.1 B B C u α B. (5.11 B B(s ds C B e T u α dτ (5.1 16
Noting that the projector P commutes with, we have 1 d dt u + 1 u u Re P (u u u udx P (B B u udx ( u u /( 1 + B /( 1 u /( C u ( u u 3 u 3 + B B B 6 ( ( 3 u u u (. (5.13 Thus 1 d dt u + 1 Re u u C u α u + C u 3+6 B ( 3 3+6 B u. (5.14 By Gronwall s inequality and (5.1, we obtain that u(t + ( 1 Re t B 3+6 1 7+6 3+6 ( u u(s ds C B, u,e T u α dτ (5.15 for any t [,T]. This completes the proof of Theorem. Acknowledgments: This work was done when HE was visiting IMS(the Institute of Mathematical Sciences at the Chinese University of Hong Kong. He thanks IMS for the financial support and the warm hospitality. The research of He is supported in part by The Project Sponored by SRF for ROCS, SEM; the National Youth Foundation No. 11114 and the National Natural Science Foundation No. 137115, People s Republic of China. The research of Xin is supported in part by a Hong Kong RGC Earmarked Research Grant and Zheng Ge Ru Fundation References [1] J. Beale, T. Kato & A. Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations, Comm. Math. Phys., 94(1984, 61-66. [] H. Beirão da Veiga, A new regularity class for the Navier-Stokes equations in R n, Chinese Ann. Math. Ser.B 16(1995, 47-41. 17
[3] R. E. Caflisch, I. Klapper & G. Steele, Remarks on singularities, dimension and energy dissipation for indeal hydrodynamics and MHD, Comm. Math. Phys., 184(1997, 443-455. [4] P. Constantin & C. Fefferman, Direction of vorticity and the problem of global regularity for the Navier-Stokes equations, Indiana University Mathematics J., Vol.4, (1993, 775-789. [5] P. Constantin, C. Fefferman,& A.J. Majda, Geometric constraints on potentially singular solutions for the 3-D Euler equations, Comm. Partial Differential Equations, 1(1996, 539-571. [6] P. Constantin, A.J. Majda & E. Tabak, Singular front formation in a model for quasi-geostrophic flow, Phys. of Fluids, 6(1994, 9. [7] P. Constantin, A.J. Majda & E. Tabak, Formation of strong fronts in the -D quasigeostrophic fermal active scalar, Nonlinearity, 7(1994, 1495-1533. [8] G. Duraut and J. L. Lions, Inéquations en thermoélasticité et magnéto -hydrodynamique, Arch. Rational Mech. Anal., 46(197, 41-79. [9] Y. Giga, Solutions for semilinear parabolic equations in L p and regularity of weak solutions of the Navier-Stokes system, J. Diff. Equas., 61(1986, 186-1. [1] A. Hasegawa, Self-organization processes in continuous media, Adv. Phys., 34(19851-4. [11] H. Politano, A. Pouquet & P.L. Sulem, Current and vorticity dynamics in threedimensional magnetohydrodynamics turbulence, Phys. Plasmas, (1995 931-939 [1] M. Sermange & R. Teman, Some mathematical questions related to the MHD equations, Comm. Pure Appl. Math., 36(1983, 635-664. [13] J. Serrin, On the interior regularity of weak solutions of the Navier-Stokes equations, Archive Rational Mech. Anal., 9(196, 187-195. [14] Wolf von Wahl, Regularity of weak solutions of the Navier-Stokes equations, Symposia in Pure Mathematics, Vol.45, (F.E. Browder, ed. Providence, R.I., Amer. Math. Soc., 1986, 497-53. [15] Jiahong, Wu, Viscous and inviscid magneto-hydrodynamics equations, Journal D analyse Math., Vol. 73(1997, 51-65. 18