REGULARITY CRITERIA FOR WEAK SOLUTIONS TO 3D INCOMPRESSIBLE MHD EQUATIONS WITH HALL TERM

Similar documents
A regularity criterion for the generalized Hall-MHD system

OSGOOD TYPE REGULARITY CRITERION FOR THE 3D NEWTON-BOUSSINESQ EQUATION

Nonlinear Analysis. A regularity criterion for the 3D magneto-micropolar fluid equations in Triebel Lizorkin spaces

arxiv: v2 [math.ap] 30 Jan 2015

Local Well-Posedness for the Hall-MHD Equations with Fractional Magnetic Diffusion

On the blow-up criterion of strong solutions for the MHD equations with the Hall and ion-slip effects in R 3

REGULARITY OF GENERALIZED NAVEIR-STOKES EQUATIONS IN TERMS OF DIRECTION OF THE VELOCITY

Available online at J. Math. Comput. Sci. 4 (2014), No. 3, ISSN:

On the local existence for an active scalar equation in critical regularity setting

ON THE REGULARITY OF WEAK SOLUTIONS OF THE 3D NAVIER-STOKES EQUATIONS IN B 1

Frequency Localized Regularity Criteria for the 3D Navier Stokes Equations. Z. Bradshaw & Z. Grujić. Archive for Rational Mechanics and Analysis

arxiv: v2 [math.ap] 6 Sep 2007

Remarks on the blow-up criterion of the 3D Euler equations

DIRECTION OF VORTICITY AND A REFINED BLOW-UP CRITERION FOR THE NAVIER-STOKES EQUATIONS WITH FRACTIONAL LAPLACIAN

LOCAL WELL-POSEDNESS FOR AN ERICKSEN-LESLIE S PARABOLIC-HYPERBOLIC COMPRESSIBLE NON-ISOTHERMAL MODEL FOR LIQUID CRYSTALS

Journal of Differential Equations

Research Article Remarks on the Regularity Criterion of the Navier-Stokes Equations with Nonlinear Damping

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.

Global regularity of a modified Navier-Stokes equation

The 2D Magnetohydrodynamic Equations with Partial Dissipation. Oklahoma State University

arxiv: v1 [math.ap] 12 Mar 2009

Research Statement. 1 Overview. Zachary Bradshaw. October 20, 2016

HARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem

The enigma of the equations of fluid motion: A survey of existence and regularity results

hal , version 6-26 Dec 2012

ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS

Dissipative quasi-geostrophic equations with L p data

Sufficient conditions on Liouville type theorems for the 3D steady Navier-Stokes equations

arxiv: v1 [math.ap] 16 May 2007

c 2014 Society for Industrial and Applied Mathematics

Regularity and Decay Estimates of the Navier-Stokes Equations

GLOBAL REGULARITY RESULTS FOR THE CLIMATE MODEL WITH FRACTIONAL DISSIPATION

A regularity criterion for the 3D NSE in a local version of the space of functions of bounded mean oscillations

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

Research Article Uniqueness of Weak Solutions to an Electrohydrodynamics Model

GLOBAL REGULARITY OF LOGARITHMICALLY SUPERCRITICAL 3-D LAMHD-ALPHA SYSTEM WITH ZERO DIFFUSION

LORENZO BRANDOLESE AND JIAO HE

New Discretizations of Turbulent Flow Problems

A new regularity criterion for weak solutions to the Navier-Stokes equations

VANISHING VISCOSITY IN THE PLANE FOR VORTICITY IN BORDERLINE SPACES OF BESOV TYPE

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

NONHOMOGENEOUS ELLIPTIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT AND WEIGHT

ISABELLE GALLAGHER AND MARIUS PAICU

REGULARITY FOR 3D NAVIER-STOKES EQUATIONS IN TERMS OF TWO COMPONENTS OF THE VORTICITY

On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations

Besov-type spaces with variable smoothness and integrability

GLOBAL REGULARITY OF THE TWO-DIMENSIONAL MAGNETO-MICROPOLAR FLUID SYSTEM WITH ZERO ANGULAR VISCOSITY

Recent developments in the Navier-Stokes problem

Incompressible Navier-Stokes Equations in R 3

Sharp blow-up criteria for the Davey-Stewartson system in R 3

Decay in Time of Incompressible Flows

Higher derivatives estimate for the 3D Navier-Stokes equation

ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS

On Global Well-Posedness of the Lagrangian Averaged Euler Equations

Smooth pointwise multipliers of modulation spaces

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

SECOND PROOF OF THE GLOBAL REGULARITY OF THE TWO-DIMENSIONAL MHD SYSTEM WITH FULL DIFFUSION AND ARBITRARY WEAK DISSIPATION

ON THE GLOBAL REGULARITY ISSUE OF THE TWO-DIMENSIONAL MAGNETOHYDRODYNAMICS SYSTEM WITH MAGNETIC DIFFUSION WEAKER THAN A LAPLACIAN

On the Regularity of Weak Solutions to the Magnetohydrodynamic Equations

VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY

EXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS

BLOW-UP AND EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION EQUATION WITH HOMOGENEOUS NEUMANN BOUNDARY CONDITIONS

GLOBAL WELL-POSEDNESS FOR NONLINEAR NONLOCAL CAUCHY PROBLEMS ARISING IN ELASTICITY

ANALYTIC SMOOTHING EFFECT FOR NONLI TitleSCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS. Citation Osaka Journal of Mathematics.

Global well-posedness of the primitive equations of oceanic and atmospheric dynamics

Miami, Florida, USA. Engineering, University of California, Irvine, California, USA. Science, Rehovot, Israel

arxiv: v1 [math.ap] 21 Dec 2016

A New Regularity Criterion for the 3D Navier-Stokes Equations via Two Entries of the Velocity Gradient

Sharp Bilinear Decompositions of Products of Hardy Spaces and Their Dual Spaces

DECAY ESTIMATES FOR THE KLEIN-GORDON EQUATION IN CURVED SPACETIME

Another particular instance includes the space B 1/3

BILINEAR OPERATORS WITH HOMOGENEOUS SYMBOLS, SMOOTH MOLECULES, AND KATO-PONCE INEQUALITIES

arxiv: v1 [math.ap] 28 Mar 2014

HOMEOMORPHISMS OF BOUNDED VARIATION

FINITE TIME BLOW-UP FOR A DYADIC MODEL OF THE EULER EQUATIONS

arxiv:math/ v1 [math.ap] 6 Mar 2007

Anisotropic partial regularity criteria for the Navier-Stokes equations

Memoirs on Differential Equations and Mathematical Physics

The Role of Convection and Nearly Singular Behavior of the 3D Navier-Stokes Equations

NON-EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION SYSTEM WITH NONLOCAL SOURCES

A Critical Parabolic Sobolev Embedding via Littlewood-Paley Decomposition

arxiv: v3 [math.ap] 1 Sep 2017

Author(s) Huang, Feimin; Matsumura, Akitaka; Citation Osaka Journal of Mathematics. 41(1)

SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction

INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Note on the fast decay property of steady Navier-Stokes flows in the whole space

BLOW-UP OF SOLUTIONS FOR VISCOELASTIC EQUATIONS OF KIRCHHOFF TYPE WITH ARBITRARY POSITIVE INITIAL ENERGY

A Product Property of Sobolev Spaces with Application to Elliptic Estimates

SIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM

arxiv: v1 [math.ap] 14 Apr 2009

GAKUTO International Series

Decay rate of the compressible Navier-Stokes equations with density-dependent viscosity coefficients

The Navier Stokes Equations for Incompressible Flows: Solution Properties at Potential Blow Up Times

Gevrey regularity in time for generalized KdV type equations

Herz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,

OPTIMAL CONVERGENCE RATES FOR THE COMPRESSIBLE NAVIER-STOKES EQUATIONS WITH POTENTIAL FORCES

A note on W 1,p estimates for quasilinear parabolic equations

Global existence and asymptotic behavior of the solutions to the 3D bipolar non-isentropic Euler Poisson equation

LORENTZ SPACE ESTIMATES FOR VECTOR FIELDS WITH DIVERGENCE AND CURL IN HARDY SPACES

MULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS

Transcription:

Electronic Journal of Differential Equations, Vol. 2018 (2018), No. 10, pp. 1 12. ISSN: 1072-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EGULAITY CITEIA FO WEAK SOLUTIONS TO D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM JAE-MYOUNG KIM Communicated by Jesus Ildefonso Diaz Abstract. We study the regularity conditions for a weak solution to the incompressible D magnetohydrodynamic equations with Hall term in the whole space. In particular, we show the regularity criteria in view of gradient vectors in various spaces. 1. Introduction We consider the incompressible D magneto hydro dynamic (MHD) equations with Hall term t u u + u u + π = b b, (1.1) t b b + u b b u + (( b) b) = 0, (1.2) div u = div b = 0, (1.) Here u : Q T := [0, T ) is the flow velocity vector, b : Q T is the magnetic vector, π = p + b 2 2 : Q T is the total pressure. We consider the initial value problem of (1.1) (1.), which requires initial conditions u(x, 0) = u 0 (x) and b(x, 0) = b 0 (x) x (1.4) The initial conditions satisfy the compatibility condition, i.e. div u 0 (x) = 0, and div b 0 (x) = 0. Definition 1.1. A weak solution pair (u, b) of the incompressible D MHD equations with the Hall term (1.1) (1.4) is regular in Q T provided that u L (Q T ) + b L (Q T ) <. For a long time, the effects of Hall current on fluids has been a subject of great interest to researchers. A current induced in a direction normal to the electric and magnetic fields is commonly called Hall current [22]. In particular, the effects of Hall current are very important if the strong magnetic field is applied The mathematical derivations of the incompressible D MHD equations with the Hall term could be given in [1] from either two-fluids or kinetic models. It is wellknown that the global existence of weak solutions, local existence and uniqueness 2010 Mathematics Subject Classification. 5B65, 5Q5, 76W05. Key words and phrases. Magnetohydrodynamics equation; weak solution; regularity condition. c 2018 Texas State University. Submitted July 0, 2017. Published May 7, 2018. 1

2 J.-M. KIM EJDE-2018/10 of smooth solutions to the system (1.1) (1.4) were established in [5, 6]. ecently, various results for this equation were proved in view of partial regularity, temporary decay and regularity or blow-up conditions (see [5, 6, 7, 8, 9, 12, 11, 21, 26, 27] and references therein.) We list only some results relevant to our concerns. In view of the regularity conditions in Lorentz space, He and Wang [1] proved that a weak solution pair (u, b) becomes regular in the presence of a certain type of the integral conditions, typically referred to as Serrin s condition, namely, u L q, (0, T ; L p, ( )) with /p + 2/q 1, < p, or u L q, (0, T ; L p, ( )) with /p + 2/q 2, 2 < p, (also see [, 4, 17]). Also, Wang proved in [25] that a weak solution pair (u, b) become regular if u satisfies u L 2 (0, T ; BMO( ). On the other hand, recently, Zhang [27] obtained the regularity criterion u L 2 1 α (0, T ; Ḃ α, ), b L 2 1 β (0, T ; Ḃ β, ) (1.5) with 1 < α < 1 and 0 < β < 1. Our study is motivated by these viewpoints, we obtain the regularity conditions for a weak solution to the incompressible D MHD equations with the Hall term (1.1) (1.4) in a whole space. Our proof of main results is based on a priori estimate for the gradient of the velocity field. Our main results reads as follows. Theorem 1.2. Suppose that (u, b) is a weak solution of (1.1) (1.4) with initial condition u 0, b 0 H 2 ( ). If (u, b) satisfies one of the following cases: T 0 ( u ql p, + b ml l, ) dt < (1.6) with the relations p + 2 q = 2, 2 < p and l + 2 m = 1, < l. or T 0 2 ) ql 1 β ( u p, + b dt < (1.7) Ḃ, β with the relations p + 2 q = 2, 2 < p and 0 < β < 1, then (u, b) is regular in Q T. Theorem 1.. Suppose that (u, b) is a weak solution of (1.1) (1.4) with initial condition u 0, b 0 H 2 ( ). If (u, b) satisfies one of the following two conditions: or T T then (u, b) is regular in Q T. 0 0 u BMO( ) + b 2 BMO( ) dt <, (1.8) u 2 BMO 1 ( ) + 2 b 2 BMO 1 ( ) dt <. (1.9)

EJDE-2018/10 D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM Theorem 1.2 extends the result by He and Wang [1] with respect to the gradient of the velocity field. Moreover, using the estimate in [24, Lemma A.5], we obtain BMO 1 ( )-regularity condition. This article is organized as follows: In Section 2 we recall the notion of weak solutions and review some known results. In Section, we present the proofs of the Theorem 1.2 and 1.. 2. Preliminaries In this section we introduce the notation and definitions to be used in this paper. We also recall the well-known results for our analysis. For 1 q, W k,q ( ) indicates the usual Sobolev space with standard norm k,q, i.e. W k,q ( ) = {u L q ( ) : D α u L q ( ), 0 α k}. When q = 2, we denote W k,q ( ) by H k. All generic constants will be denoted by C, which may vary from line to line. 2.1. BMO and Lorentz spaces. The John-Nirenberg space or the Bounded Mean Oscillation space (in short BMO space) [14] consists of all functions f which are integrable on every ball B (x) and satisfy: f 2 1 BMO = sup sup x >0 B(x, ) B(x,) f(y) f B (y) dy <. Here, f B is the average of f over all ball B (x) in. It will be convenient to define BMO in terms of its dual space, H 1. On the other hand, following [16] let w be the solution to the heat equation w t w = 0 with initial data v. Then v 2 1 2 BMO = sup sup w 2 dt dy. x >0 B(x, ) B(x,) and define the BMO 1 -norm by v 2 BMO = sup 1 2 sup w 2 dt dy. 1 x >0 B(x, ) B(x,) 0 We note that if u is a tempered distribution. Then u BMO 1 if and only if there exist f i BMO with u = i f i in [16, Theorem 1]. Let m(ϕ, t) be the Lebesgue measure of the set {x : ϕ(x) > t}, i.e. m(ϕ, t) := m{x : ϕ(x) > t}. We denote by the Lorentz space L p,q ( ) with 1 p, q with the norm [2] ( ) 1/q t ϕ L p,q ( ) = q q/p dt (m(ϕ, t)) 0 t <, for 1 q, (2.1) sup t 0 {t(m(ϕ, t)) 1/p }, for q =. Followed in [2], Lorentz space L p,q ( ) may be defined by real interpolation methods L p,q ( ) = (L p1 ( ), L p2 ( )) α,q, (2.2) with 1 p = 1 α p 1 we note that + α p 2, 1 p 1 < p < p 2. From the interpolation method above, L 2p p 1,2 ( ) = ( L 2 ( ), L 6 ( ) ) 2p,2. (2.) 0

4 J.-M. KIM EJDE-2018/10 We also need the Hölder inequality in Lorentz spaces (see [20]) for our proof. Lemma 2.1. Assume 1 p 1, p 2, 1 q 1, q 2 and u L p1,q1 ( ), v L p2,q2 ( ). Then uv L p,q ( ) with 1 p = 1 p 1 + 1 p 2 and 1 q 1 q 1 + 1 q 2, and uv L p,q ( ) C u L p 1,q 1 ( ) v L p 2,q 2 ( ). (2.4) 2.2. Besov space. Following [2], let B = {ξ d, ξ 4 } and C = {ξ d : /4 ξ 8/}. Choose two nonnegative smooth radial function χ, ϕ supported, respectively, in B and C such that χ(ξ) + j 0 ϕ(2 j ξ) = 1, ξ d, ϕ(2 j ξ) = 1, ξ d \ {0}. j Z We denote ϕ j = ϕ(2 j ξ), h = F 1 ϕ and h = F 1 χ, where F 1 stands for the inverse Fourier transform. Then the dyadic blocks j and S j can be defined as follows S j f = j f = ϕ(2 j D)f = 2 jd d h(2 j y)f(x y)dy, k j 1 k f = χ(2 j D)f = 2 jd d h(2 j y)f(x y)dy. Formally, j = S j S j 1 is a frequency projection to annulus {C 1 2 j ξ C 2 2 j }, and S j is a frequency projection to the ball { ξ C2 j }. One can easily verify that with our choice of ϕ, j k f = 0 if j k 2 and j (S k 1 f k f) = 0 if j k 5. With the introduction of j and S j, let us recall the definition of the Besov space. Let s, p, q [1, ], the homogeneous space is defined as where f Ḃs p,q = Ḃp,q s = {f S : f Ḃs < }, p,q { ( j Z 2sjq j f q L p ) 1/q, for 1 q <, sup j Z 2 sj j f L p, for q =, In particular, when p = q = 2, the Besov space and Sobolev space are equivalence; that is Ḣ s Ḃs 2,2, H s B s 2,2. Now we recall first the definition of weak solutions. Definition 2.2. Let u 0, b 0 L 2 ( ) with the divergence free conditions. We say that (u, b) is a weak solution of Hall-MHD equations (1.1) (1.) with initial condition u 0, b 0 L 2 ( ), if u and b satisfy the following: T 0 (i) u L ([0, T ); L 2 ( )) L 2 ([0, T ); H 1 ( )), and b L ([0, T ); L 2 ( )) L 2 ([0, T ); H 1 ( )). (ii) (u, b) satisfies (1.1) (1.2) in the sense of distribution; that is ( φ ) T t + φ + (u )φ u dx dt + u 0 φ(x, 0) dx = (b )φ b dx dt 0

EJDE-2018/10 D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM 5 T 0 T = ( φ ) t + φ + (u )φ b dx dt + b 0 φ(x, 0) dx T (b )φ u dx dt + ( b) b ( φ) dx dt, 0 0 for all φ C0 ( [0, T )) with div φ = 0, and u ψdx = 0, b ψdx = 0, for every ψ C 0 ( ).. Proof of main results Proof of Theorem 1.2. (L 2 -estimate or energy estimate): By the standard energy estimate, we obtain ( u 2 + b 2 ) dx + ( u 2 + b 2 ) dx = 0. (.1) 2 dt (H 1 -estimate): Testing u and b to the fluid equation and by the magnetic equation of (1.1) and (1.2), respectively, using the integrating by parts, integrating on domain, we have 2 dt ( u(τ) 2 L 2 ( ) + b(τ) 2 L 2 ( ) ) + ( u 2 + b 2 )dx [(u )u] : udx + [(b )b] : u dx (.2) [(u )b] b dx + [(b )u] : bdx + (( b) b) b dx := I 1 + I 2 + I + I 4 + I 5. We estimate separately the terms in the right hand side of (.2). The first term I 1 is computed as follows: I 1 u L, (.) where the divergence free condition of u is used. On the other hand, we observe that I 2 + I 4 u b 2. since (b ) b u dx + (b ) u b dx ( b = u dx + u ) b dx x j x j j=1 = b j j=1 b j ( ( b u) ) dx = 0, x j where we use the product rule and div b = 0.

6 J.-M. KIM EJDE-2018/10 Note that f 2 L 4 f Ḣ1+β C f Ḃ β, f Ḣ 1+β with 0 < β < 1, (.4) C f 1 β L 2 f β L 2 with 0 < β < 1, (.5) (e.g. see [18, 19] and [2, Theorem 2.42]). First of all, using the interpolation (2.2), Lemma 2.1, Hölder and Young s inequalities, we estimate I as follows: I b 2 u dx u L p, b 2 p L p 1,1 = u L p, b 2 L 2p p 1,1 where θ = 1 2p. Similarly, from (.), we have C u L p, b 2θ L 2 2 b 2(1 θ) L 2 2p 2p C u L p, b 2 L + 1 2 16 2 b 2 L 2, I 1 u L C u 2p 2p L p, u 2 L 2 + 1 16 2 u 2 L 2. (.6) Case 1: Again, using the interpolation (2.2), Lemma 2.1, Hölder and Young s inequalities, we bound I 5 as follows. I 5 C b L l, b L 2l l 2,2 b L 2,2 C b L l, b l l L b l+ 2 l L 2 C b 2l l L l, b 2 L 2 + 1 16 b 2 L 2. Summing the terms I 1 I 5, inequality (.2) becomes 2 dt ( u 2 L + 2 b 2 L 2) + 1 ( 2 u 2 + 2 b 2 ) dx 2 ( (.7) 2p 2l 2p l C u p, + b ( u 2 L + 2 b 2 L 2). L L l, ) Case 2: Using (.4) and (.5), we bound I 5 as follows: I 5 = i ( b i b) i bdx C b 2 L 4 b L 2 b C b Ḃ β, Ḣ b 1+β L 2 C b Ḃ β b 1 β, L b 1+β 2 L 2 1 16 b 2 L + C b 2 1 β b 2 2 Ḃ, β L 2. Summing the terms I 1 I 5, the (.2) becomes 2 dt ( u 2 L + 2 b 2 L 2) + 1 ( 2 u 2 + 2 b 2 ) dx 2 ( (.8) 2p 2 2p 1 β C u p, + b )( u 2 L + 2 b 2 L 2). L Ḃ β,

EJDE-2018/10 D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM 7 For Cases 1 and 2 with the given conditions, we apply the Grownwall s inequality to estimates (.7) and (.8), respectively, to find T sup ( u(τ) 2 L + 2 b(τ) 2 L 2) + ( 2 u 2 + 2 b 2 ) dx dt 0<τ T 0 C( u(0) 2 L 2 + b(0) 2 L 2). (H 2 -estimate) Applying the operator to (1.1) (1.2), then multiplying it by u and b, respectively, and integrating on domain, we obtain 2 dt ( u 2 + b 2 )dx + ( u 2 L + 2 b 2 L 2) = (u u) u dx + (b b) u dx (u b) b dx + (b u) b dx (( b) b) b dx := J 1 + J 2 + J + J 4 + J 5 By the commutator estimate in [10, Theorem 2.1 or Corollary 2.1] or [15], we note that [(u )u], u dx C u H 2 u 2 H 2, [(u )b], b dx C u H 2 b 2 H 2, [(b )u], b dx C u H 2 b 2 H 2. Also, integrating by parts we obtain the estimate for the remaining convection term follows as: [(b )b], u dx C [b b], u dx C u H 2 b 2 H 2. Thus J 1 + J 2 + J + J 4 C u H 2( u 2 H 2 + b 2 H 2) C( u 4 H 2 + b 4 H 2) + 1 128 u 2 H 2 C( u 2 H 2 + b 2 H 2)( u 2 H 2 + b 2 H 2) + 1 128 u 2 H 2 (.9) Case 1: For the term J 5, using the chain rule, we note that J 5 = ( b b + 2 i ( b) i b) b dx (.10) And thus, we have J 5 b Ll, b L 2l l 2,2 b L 2 C b 2l l L l, b 2 L 2 + 1 128 b 2 L 2

8 J.-M. KIM EJDE-2018/10 Summing the estimate of terms J 1 J 5 with the energy estimate and H 1 -estimates, we obtain 2 dt ( u 2 H + 2 b 2 H 2) + 1 2 ( u 2 H + b 2 H ) ( 2q 2l ) (.11) 2q l C u Lq, + b L l, + u 2 H + 2 b 2 H ( u 2 2 H + 2 b 2 H 2) Case 2: Using (.4) and (.5), we bound J 5 as follows: J 5 C b Ḃ β, b Ḣ 1+β b L 2 C b Ḃ β 2 b 1 β, L b 1+β 2 L 2 C b 2 1 β b 2 Ḃ, β H + 1 2 128 b 2 L 2. As in case 1, summing the estimate of terms J 1 J 5 with the energy estimate and H 1 -estimates, we obtain 2 dt ( u 2 H + 2 b 2 H 2) + 1 2 ( u 2 H + b 2 H ) ( 2p 2 2p 1 β C u p, + b L Ḃ β, + u 2 H 2 + b 2 H 2 ) ( u 2 H 2 + b 2 H 2) (.12) Under the assumption, we apply Grown s inequality to the estimates (.11) and (.12), respectively, we finally obtain sup ( u(τ) 2 H + 2 b(τ) 2 H 2) + u 2 H + b 2 H ( u 0 2 H + b 0 2 2 H 2) 0 τ T Th proof is complete. Proof of Theorem 1.. (H 1 -estimate): Testing u and b to the fluid equation and the magnetic equation of (1.1) and (1.2), respectively, using the integrating by parts, integrating on domain, we have 2 dt ( u(τ) 2 L 2 ( ) + b(τ) 2 L 2 ( ) ) + ( u 2 + b 2 )dx [(u )u] : udx + [(b )b] : udx (.1) [(u )b] : b dx + [(b )u] : bdx + (( b) b) : b dx := I 1 + I 2 + I + I 4 + I 5. Case 1: By the Hölder, Young inequalities and the space duality BMO-H 1, we have b 2 u dx u BMO b 2 H 1 u BMO b L 2 b L 2 Similarly, we obtain = u BMO b 2 L 2. u dx C u BMO u 2 L 2.

EJDE-2018/10 D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM 9 Again, by the vector identity, the Hölder and Young inequalities, we have I 5 = [( b) b] ( b)dx ( ) = ( b) b ( b) b ( b)dx (.14) C b BMO b 2 b H 1 C b 2 BMO b 2 L 2 + 1 8 2 b 2 L 2. Summing the estimates above, the (.1) becomes d dt ( u 2 L + 2 b 2 L 2) + ( 2 u 2 + 2 b 2 ) dx (.15) C( u BMO + b 2 BMO)( u 2 L + 2 b 2 L 2). Case 2: Following [24, Lemma A.5], we note that u 2 L = uu 4 L 2 C u L 2 u BMO 1. Using this estimate, we have b 2 u dx u L 2 b 2 L C u 4 L 2 2 b L 2 b BMO 1 C u 2 L 2 b 2 BMO + 1 1 8 2 b 2 L 2. Similarly, we obtain u dx C u 2 L 2 u 2 BMO + 1 1 8 2 u 2 L 2. By the vector identity, the Hölder and Young inequalities, we have I 5 = [( b) b] ( b)dx ( ) = ( b) b ( b) b ( b)dx (.16) C ( b) b L 2 2 b L 2 C 2 b 2 BMO 1 b 2 L 2 + 1 258 2 b 2 L 2 Using the estimates above, (.1) becomes d dt ( u 2 L 2 + b 2 L 2) + ( 2 u 2 + 2 b 2 ) dx C( u 2 BMO 1 + b 2 BMO 1)( u 2 L 2 + b 2 L 2). (.17)

10 J.-M. KIM EJDE-2018/10 (H 2 -estimate) Taking to (1.1) (1.2), then multiplying it by u and b, respectively, and integrating on domain, we derive 2 dt ( 2 u 2 + 2 b 2 )dx + ( u 2 L + 2 b 2 L 2) = (u u) u dx + (b b) u dx (u b) b dx (.18) + (b u) b dx (( b) b) : b dx := J 1 + J 2 + J + J 4 + J 5 As in the proof of Theorem 1.2, namely (.9), we note that J 1 + J 2 + J + J 4 C( u 2 H 2 + b 2 H 2)( u 2 H 2 + b 2 H 2) + 1 128 u 2 H 2. Case 1. From (.10) with the space duality BMO-H 1, we have J 5 b BMO 2 b L 2 b L 2 C b 2 BMO 2 b 2 L 2 + 1 128 b 2 L 2. Summing the estimates J 1 J 5 with the energy estimate and H 1 -estimates, the (.18) becomes d dt ( u 2 H + 2 b 2 H 2) + ( u 2 H + b 2 H ) (.19) C ( u BMO + b 2 BMO + u 2 H + 2 b 2 H )( u 2 2 H + 2 b 2 H 2). Case 2. From (.9), we note that J 1 + J 2 + J + J 4 C( u 2 H 2 + b 2 H 2)( u 2 H 2 + b 2 H 2) + 1 128 u 2 H 2. Following [24, Lemma A.5], we note that uu L 2 C u L 2 u BMO 1. As in the previous proof, namely, from (.10) with the space duality BMO-H 1, we have J 5 C 2 b BMO 1 2 b L 2 + 1 128 b 2 L 2. Summing J 1 J 5 with the energy estimate and H 1 -estimate, the (.18) becomes d dt ( u 2 H 2 + b 2 H 2) + ( u 2 H + b 2 H ) C( u 2 BMO 1 + 2 b 2 BMO 1 + u 2 H 2 + b 2 H 2)( u 2 H 2 + b 2 H 2). (.20) Under the assumption, we apply Gronwall s inequality to the estimates (.19) and (.20), respectively, we finally obtain sup ( u(τ) 2 H + 2 b(τ) 2 H 2) + u 2 H + b 2 H ( u 0 2 H + b 0 2 2 H 2). 0 τ T The proof is complete. Acknowledgments. J.-M. Kim was supported by grants NF-20151A5A100950 and NF-20161D1A1B090422.

EJDE-2018/10 D INCOMPESSIBLE MHD EQUATIONS WITH HALL TEM 11 eferences [1] M. Acheritogaray, P. Degond, A. Frouvelle, J-G. Liu; Kinetic formulation and global existence for the Hall-Magneto-hydrodynamics system, Kinet. elat. Models, 4 (2012), 901 918. [2] H. Bahouri, J.-Y. Chemin,. Danchin; Fourier analysis and nonlinear partial differential equations, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 4. (Springer, Heidelberg, 2011). [] S. Benbernou, S. Gala, M. A. agusa; On the regularity criteria for the D magnetohydrodynamic equations via two components in terms of BMO space. Math. Methods Appl. Sci. 7 (2014), 220 225. [4] S. Bosia, V. Pata, J. C. obinson; A weak-l p Prodi-Serrin type regularity criterion for the Navier-Stokes equations, J. Math. Fluid Mech., 16 (2014), 721 725. [5] D. Chae, P. Degond, J-G. Liu; Well-posedness for Hall-magnetohydrodynamics, Ann. Inst. H. Poincare Anal. Non Lineaire 1 (2014), 555 565. [6] D. Chae, J. Lee; On the blow-up criterion and small data global existence for the Hallmagnetohydrodynamics, J. Differential Equations 256 (2014), 85 858. [7] D. Chae, M. Schonbek; On the temporal decay for the Hall-magnetohydrodynamic equation, J. Differential Equations, 255 (201), 971 982. [8] D. Chae, J. Wolf, On partial regularity for the steady Hall magnetohydrodynamics system, Comm. Math. Phys., 9 (2015), 1147 1166. [9] D. Chae, J. Wolf; On Partial egularity for the D Nonstationary Hall Magnetohydrodynamics Equations on the Plane, SIAM J. Math. Anal. 48 (2016), 44 469. [10] C. L. Fefferman, D. S. McCormick, J. C. obinson, J. L. odrigo; Higher order commutator estimates and local existence for the non-resistive MHD equations and related models, J. Funct. Anal., 267 (2014), 105 1056. [11] J. Fan, Y. Fukumoto, G. Nakamura, Y. Zhou; egularity criteria for the incompressible Hall-MHD system, ZAMM Z. Angew. Math. Mech., 95 (2015), 1156 1160. [12] J. Fan, F. Li, G. Nakamura; egularity criteria for the incompressible Hallmagnetohydrodynamic equations, Nonlinear Anal., 109 (2014), 17 179. [1] C. He and Y. Wang; On the regularity criteria for weak solutions to the magnetohydrodynamic equations, J. Differential Equations, 28 (2007), 1 17. [14] F. John, L. Nirenberg; On functions of bounded mean oscillation, Comm. Pure Appl. Math., 14 (1961), 415 426. [15] T. Kato, G. Ponce; Commutator estimates and the Euler and Navier Stokes equations, Comm. Pure Appl. Math., 41 (1988), 891 907. [16] H. Koch, D. Tataru; Well-posedness for the Navier-Stokes equations, Adv. Math., 157 (2001), 22 5. [17] M. Loayza, M. A. ojas-medar; A weak-l p Prodi-Serrin type regularity criterion for the micropolar fluid equations, J. Math. Phys., 57 (2016), 021512, 6 pp. [18] S. Machihara, T. Ozawa; Interpolation inequalities in Besov spaces, Proc. Am. Math. Soc., 11 (2002), 155-1556. [19] Y. Meyer; Oscillating patterns in some nonlinear evolution equations, in: Mathematical Foundation of Turbulent Viscous Flows, Lecture Notes in Mathematics Vol. 1871, edited by M. Cannone and T. Miyakawa (Springer-Verlag, 2006), 101-187. [20]. O Neil; Convolution operators and L(p, q) spaces, Duke Math. J., 0 (196), 129-142. [21] W. enhui, Z. Yong; On global existence, energy decay and blow-up criteria for the Hall-MHD system, J. Differential Equations, 259 (2015), 5982 6008. [22] H. Sato; The Hall effects in the viscous ow of ionized gas between parallel plates under transverse magnetic field, J. Phys. Soc. Japan, 16 (1961), 1427 14. [2] H. Triebel; Theory of Function Spaces Birkhäuser Verlag, Basel-Boston, 198. [24] W. Wang, Z. Zhang; egularity of weak solutions for the Navier-Stokes equations in the class L (BMO 1 ), Commun. Contemp. Math., 14 (2012), 1250020, 24 pp. [25] Y. Wang; BMO and the regularity criterion for weak solutions to the magnetohydrodynamic equations, J. Math. Anal. Appl., 28 (2007), 1082 1086. [26] S. Weng; On analyticity and temporal decay rates of solutions to the viscous resistive Hall- MHD system, J. Differential Equations, 260 (2016), 6504 6524. [27] Z. Zhang; A remark on the blow-up criterion for the D Hall-MHD system in Besov spaces, J. Math. Anal. Appl., 441 (2016), 692 701.

12 J.-M. KIM EJDE-2018/10 Jae-Myoung Kim Department of Mathematical Sciences, Seoul National University, Seoul, Korea E-mail address: cauchy02@naver.com