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

Similar documents
ON THE GLOBAL REGULARITY OF GENERALIZED LERAY-ALPHA TYPE MODELS

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

REGULARITY RESULTS ON THE LERAY-ALPHA MAGNETOHYDRODYNAMICS SYSTEMS

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

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

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

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

On Global Well-Posedness of the Lagrangian Averaged Euler Equations

Journal of Differential Equations

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

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

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

A regularity criterion for the generalized Hall-MHD system

Global regularity of a modified Navier-Stokes equation

The 3D Euler and 2D surface quasi-geostrophic equations

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

Blow up of solutions for a 1D transport equation with nonlocal velocity and supercritical dissipation

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

GLOBAL REGULARITY RESULTS FOR THE CLIMATE MODEL WITH FRACTIONAL DISSIPATION

c 2014 Society for Industrial and Applied Mathematics

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

arxiv: v2 [math.ap] 6 Sep 2007

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

arxiv: v2 [math.ap] 30 Jan 2015

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

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

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

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

COMPONENT REDUCTION FOR REGULARITY CRITERIA OF THE THREE-DIMENSIONAL MAGNETOHYDRODYNAMICS SYSTEMS

arxiv:physics/ v2 [physics.flu-dyn] 3 Jul 2007

Recent developments on the micropolar and magneto-micropolar fluid systems: deterministic and stochastic perspectives

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

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

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem

DISSIPATIVE MODELS GENERALIZING THE 2D NAVIER-STOKES AND THE SURFACE QUASI-GEOSTROPHIC EQUATIONS

Week 6 Notes, Math 865, Tanveer

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

Remarks on the Method of Modulus of Continuity and the Modified Dissipative Porous Media Equation

Dissipative quasi-geostrophic equations with L p data

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

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

ON THE STRONG SOLUTIONS OF THE INHOMOGENEOUS INCOMPRESSIBLE NAVIER-STOKES EQUATIONS IN A THIN DOMAIN

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

arxiv: v1 [math.ap] 16 May 2007

ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS

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

Boundary layer for the Navier-Stokes-alpha model of fluid turbulence

arxiv: v1 [math.ap] 14 Apr 2009

ON THE EXISTENCE AND SMOOTHNESS PROBLEM OF THE MAGNETOHYDRODYNAMICS SYSTEM KAZUO YAMAZAKI

hal , version 6-26 Dec 2012

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

Another particular instance includes the space B 1/3

Blow-up or No Blow-up? the Role of Convection in 3D Incompressible Navier-Stokes Equations

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

A RECURRENCE THEOREM ON THE SOLUTIONS TO THE 2D EULER EQUATION

u t + u u = p (1.1) u = 0 (1.2)

Regularity and Decay Estimates of the Navier-Stokes Equations

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

CONNECTIONS BETWEEN A CONJECTURE OF SCHIFFER S AND INCOMPRESSIBLE FLUID MECHANICS

BLOW-UP OF SOLUTIONS FOR A NONLINEAR WAVE EQUATION WITH NONNEGATIVE INITIAL ENERGY

A STOCHASTIC LAGRANGIAN REPRESENTATION OF THE 3-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

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

On the Regularity of Weak Solutions to the Magnetohydrodynamic Equations

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

FENG CHENG, WEI-XI LI, AND CHAO-JIANG XU

Global well-posedness for the critical 2D dissipative quasi-geostrophic equation

VANISHING VISCOSITY IN THE PLANE FOR NONDECAYING VELOCITY AND VORTICITY

Partial regularity for suitable weak solutions to Navier-Stokes equations

arxiv:math/ v1 [math.ap] 16 Nov 2006

THE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS

GENERALIZED SURFACE QUASI-GEOSTROPHIC EQUATIONS WITH SINGULAR VELOCITIES

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

UNIFORM DECAY OF SOLUTIONS FOR COUPLED VISCOELASTIC WAVE EQUATIONS

Smoluchowski Navier-Stokes Systems

A Critical Parabolic Sobolev Embedding via Littlewood-Paley Decomposition

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

Research Article Uniqueness of Weak Solutions to an Electrohydrodynamics Model

Global Well-posedness of the Incompressible Magnetohydrodynamics

On the local well-posedness of compressible viscous flows with bounded density

arxiv: v1 [math.ap] 17 May 2018

REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID

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

Key words. turbulence models, sub-grid scale models, large eddy simulations, global attractors, inviscid regularization of Euler equations.

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

Local and global strong solutions for SQG in bounded domains

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

Probing Fundamental Bounds in Hydrodynamics Using Variational Optimization Methods

New Discretizations of Turbulent Flow Problems

J.-L. Guermond 1 FOR TURBULENT FLOWS LARGE EDDY SIMULATION MODEL A HYPERVISCOSITY SPECTRAL

Decay profiles of a linear artificial viscosity system

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

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

VANISHING-CONCENTRATION-COMPACTNESS ALTERNATIVE FOR THE TRUDINGER-MOSER INEQUALITY IN R N

Issues for a mathematical definition of LES

SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY

Infinite-time Exponential Growth of the Euler Equation on Two-dimensional Torus

A STOCHASTIC LAGRANGIAN REPRESENTATION OF THE 3-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

Incompressible Navier-Stokes Equations in R 3

arxiv: v1 [math.ap] 3 Nov 2017

Low Froude Number Limit of the Rotating Shallow Water and Euler Equations

Transcription:

GLOBAL REGULARITY OF LOGARITHMICALLY SUPERCRITICAL 3-D LAMHD-ALPHA SYSTEM WITH ZERO DIFFUSION KAZUO YAMAZAKI Abstract. We study the three-dimensional Lagrangian-averaged magnetohydrodynamicsalpha system with zero diffusion. Despite the dissipation strength at the logarithmically supercritical level, using dyadic decomposition techniques we show that given initial data sufficiently smooth, the solution pair remains smooth for all time. This settles the global regularity case suggested by the authors in [7]. Keywords: Magnetohydrodynamics system, Navier-Stokes equations, global regularity, Besov spaces, criticality. Introduction We study the following generalized Lagrangian-averaged magnetohydrodynamicsα (LAMHD-α) system: v t + (u )v + v j u j + (π + ) b + νl v = (b b), (a) j= b + (u )b (b )u η b =, t (b) subjected to the following filtration, divergence-free and initial conditions respectively: v = ( α )u, u = b =, (v, b)(x, ) = (v, b )(x) () where L is a Fourier operator with its symbol Lf(ξ) = m(ξ) ˆf(ξ), m(ξ) = ξ r g( ξ ), r R+ (3) with g : R + R + a radially symmetric, non-decreasing function such that g. We denote by v, u, b : R 3 R + R 3 the velocity, filtered velocity and magnetic vector fields respectively and π : R 3 R + R the pressure scalar field. The parameters ν, η represent viscosity and diffusion constants while α > the MSC : 35B65, 35Q35, 35Q86 Washington State University, Department of Mathematics, Pullman, WA 9964-33, U.S.A., Phone: 59-335-98, E-mail: kyamazaki@math.wsu.edu

KAZUO YAMAZAKI length-scale parameter displaying the width of the filters. We denote the components of v, u as v = (v, v, v 3 ), u = (u, u, u 3 ). Hereafter let us denote t, i for t, x i, i =,, 3 respectively and Λ = ( ) a fractional Laplacian. The classical Lagrangian-averaged Navier-Stokes-α (LANS-α) model which is (a)-(b) at b, m(ξ) = ξ was introduced by the authors in [6] as an excellent closure model of turbulence in infinite channels and pipes; we also refer to [7] for the closely related Leray-α model (cf. also [9] for comparison with Bardina model). The LAMHD-α system (a)-(b) at r =, g was introduced by the authors in [6] in belief that the filtration in the magnetic field is unnecessary. The LANS-α MHD system originates from the classical MHD system which describes the motion of electrically conducting fluids and has found much applications in various applied sciences such as astrophysics, plasma physics and geophysics. In particular, since the fundamental work of [], the mathematical analysis of the MHD system has found much attraction. When ν, η >, r =, g, the authors in [6] showed that the system (a)-(b) admits a unique weak solution pair. In fact, the authors in [37] extended this global well-posedness result to the fourth dimension (cf. also [35]). In [5], the author studied the classical MHD system with fractional Laplacians on the dissipative and diffusive terms and the authors in [8] followed suit for the LANS-α model. (cf. also [3, 33, 34] for such fractional Laplacian cases). The advantage of the fractional Laplacians is that it allows us to distinguish the cases among the subcritical, critical and supercritical with respect to rescaling of solutions. In particular, the author in [3] showed that the N-dimensional Navier-Stokes equations (NSE) for N 3, when the dissipative term is replaced by a fractional Laplacian with the power of + N 4, admits a global regularity result despite logarithmic worsening similar to that of (3) and (4) below. The investigation of the global regularity issue in such a logarithmically supercritical case has attracted much attention since then; we refer to e.g. [3,, 4, 5, 9,,, 4, 6, 8, 9]. We now motivate our study. The authors in [7] showed that when ν >, η =, g, r = 3, there exists a unique global strong solution pair for the system (a)- (b). This is the endpoint case with the critical dissipation strength which requires substantially non-trivial techniques such as Brezis-Wainger type inequality from [] due to the complete lack of diffusion (cf. also [8, 36] for such partially inviscid cases); we note that in case r > 3, the proof is significantly easier due to the subcriticality strength of dissipation. The authors suggested difficulty in obtaining the logarithmic improvement of their result (see Remark pg. 586 [7]). The purpose of this manuscript is to give an affirmative solution to this issue. and g be a radially symmetric non- Theorem.. Let ν >, η =, r = 3 decreasing function such that g(τ) c ln(τ) ln(ln(e + τ)) satisfying e dτ g(τ) ln(τ)τ =. (4) Then given v, b H 5 (R 3 ), there exists a unique classical solution pair v, b L ([, ); H 5 (R 3 )) to (a)-(b) that satisfies () and (3). Remark.. () The proof of Theorem. was inspired largely by [4, 5] which in turn was motivated by the work such as [5]. However, we remark that the proof in [4, 5] took advantage of the reformulation of (a)-(b)

LAMHD-ALPHA SYSTEM 3 after taking a curl in two-dimensional case. Unfortunately the same strategy does not work because there is no clear advantage in taking curls under the three-dimensional setting as in the current manuscript. Due to this issue, some new estimates were needed. () We wish to make a curious remark on the following mathematical problem. In [3], the author showed that the following N-dimensional (N 3) generalized Boussinesq system with zero diffusion admits a global regularity result: { t u + (u )u + π + νλ α u = θe N, t θ + (u )θ =, with ν >, α + N 4. We refer interested readers to [3] for details; we remark that after this result in [3] was published, the author was informed of the similar result in [3] obtained independently. This result may be seen as an extension of the similar results on the two-dimensional case in [, ]. Interestingly, the method in the current manuscript does not seem to go through in the aim to improve these results in [3, 3] logarithmically, as shown in Theorem.. We hope that this problem becomes settled in future works. In the Preliminaries section, we set up notations and state key lemmas; thereafter, we prove our theorem.. Preliminaries We use the notation A a,b B to imply that there exists a positive constant c that depends on a, b such that A cb, similarly with A a,b B. For brevity, we also write f to imply fdx. R 3 Let us recall the notion of Besov spaces (cf. [4]). We denote by S(R 3 ) the space of Schwartz functions and S (R 3 ) its dual. We define S = {φ S, φ(x)x γ dx =, γ =,,,...}. R 3 Its dual S is given by S = S/S = S /P where P is the space of polynomials. For k Z we define A k = {ξ R 3 : k < ξ < k+ }. It is well-known that there exists a sequence {Φ k } in S(R 3 ) such that supp ˆΦ k A k, ˆΦk (ξ) = ˆΦ ( k ξ) or Φ k (x) = k3 Φ ( k x) and k= ˆΦ k (ξ) = { if ξ R 3 \ {}, if ξ =. To define the inhomogeneous Besov space, we let Ψ C (R 3 ) be such that = ˆΨ(ξ) + ˆΦ k (ξ), f = Ψ f + Φ k f (5) k= k=

4 KAZUO YAMAZAKI for any f S. With that, we set k f = { Ψ f if k =, Φ k f if k =,,,..., and define for any s R, p, q [, ], the inhomogeneous Besov space where f B s p,q = In particular B s, = H s. The following lemma will be useful: B s p,q = {f S : f B s p,q < } { ( k= (ks k f L p) q ) q if q <, sup k< ks k f L p if q =. Lemma.. (cf. [4]) Bernstein s Inequality: Let f L p (R 3 ) with p q and < r < R. Then for all s Z + {}, and λ >, there exists a constant C s > such that { sup γ =s γ f L q C s λ s+3( p q ) f L p if supp ˆf {ξ : ξ λr}, Cs λ s f L p sup γ =s γ f L p C s λ s f L p if supp ˆf {ξ : λr ξ λr}, and if we replace derivative γ by the fractional derivative, the inequalities remain valid only with trivial modifications. Finally, we recall the product estimate on the homogeneous Sobolev space and the commutator estimate: Lemma.. (cf. []) Let f W s,p L q, g W s,p L q, s, < p k <, < q k, p k + q k = p, k =,. Then fg Ẇ s,p ( f Ẇ s,p g L q + f L q g Ẇ s,p ). Lemma.3. (cf. [3]) Let f, g be smooth such that f L p, Λ s g L p, Λ s f L p3, g L p4, p (, ), p = p + p = p 3 + p 4, p, p 3 (, ), s >. Then Λ s (fg) fλ s g L p ( f L p Λ s g L p + Λ s f L p 3 g L p 4 ). 3. Proof of Theorem.: A Priori Estimates Without loss of generality, we assume ν = η = α =. Proposition 3.. Under the hypothesis of Theorem., the solution to the system (a)-(b) in [, T ] satisfies the following bound: sup t [,T ] ( v L + b L )(t) + T Lv Ldτ.

LAMHD-ALPHA SYSTEM 5 Proof. We take L -inner products of (a), (b) with (u, b) and use () which e.g. leads to (u )v u + v j u j u =, j= and integrate in time to obtain sup t [,T ] ( u L + u L + b L )(t) + T Lu L + L u Ldτ. (6) Now we take L -inner products of (a)-(b) with (v, b) and sum to work on t( v L + b L ) + Lv L (7) = v j u j v + (b )b u (b )b u + (b )u b + (u )b b = + j= v j u j v + (b )u b j= i,j,k= k b i i b j k u j + k b i i u j k b j u ( v + b + b ) u L ( v L + b L + b L ) u L ( + v L + b L ) k u i i b j k b j due to integration by parts, (), Hölder s inequalities and (6). Now we estimate for M R + to be determined subsequently, u L k u L k k M k 3 g( k ) k u L g( k ) + k >M k( ) k( 5 ) g( k k u L g( k ) ) by (5), and Bernstein s inequalities. We continue this estimate by

6 KAZUO YAMAZAKI u L g(m) k L u L + k g ( k ) k M g(m) k M k >M L u L k >M + k g 4 ( k ) k >M k g(m) ln(m) L u L + M L u L L u L (8) L u L where we used the hypothesis that g is nondecreasing, Plancherel theorem, (3), Hölder s inequalities and (4). Therefore, applying (8) in (7) gives t( v L + b L ) + Lv L (9) ( g(m) ) ln(m) L u L + M L u L ( + v L + b L ). Choosing M c(e + v L + b L ) for c > sufficiently large, using Young s inequality and absorbing the dissipative term lead to t M + Lv L g(m) ln(m)(e + L u L)M. () Therefore, integrating over time [, t] for t [, T ] gives M(t) M() dτ g(τ) ln(τ)τ t T e + L u L dτ e + L u Ldτ by (6). Taking sup over t [, T ] on the left hand side and considering the condition (4), we see that Integrating (), using () we obtain sup ( v L + b L)(t). () t [,T ] T Lv Ldτ. This completes the proof of Proposition 3.. Proposition 3.. Under the hypothesis of Theorem., the solution to the system (a)-(b) in [, T ] satisfies the following bound:

LAMHD-ALPHA SYSTEM 7 sup t [,T ] ( v L + b L )(t) + T L v Ldτ. Proof. We take L -inner products of (a)-(b) with ( v, b) to obtain in sum We estimate t( v L + b L ) + L v L () = (u )v v + v j u j v (b )b v (u )v v = j= ((u )b) b + ((b )u) b. i,j,k= k u i i v j k v j u L v L (3) by integration by parts, () and Hölder s inequalities where we further compute u L u L + k k u L (4) + k= k( ) k( 5 ) g( k ) k u L g( k ) + L u L by (5), Lemma. and (6). Hence, applying (4) in (3) gives (u )v v u L v L (5) Next, ( + L u L ) v L. v j u j v = j= j,k= k v j u j k v + v j k u j k v v u + v u v where the first term may be estimated identically as in (3). For the second term, v u v v L 6 u L 3 v L v L u L 3 by Hölder s inequalities and homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ). We see that we can estimate u L 3 + k k( 3 ) k u L

8 KAZUO YAMAZAKI due to (5) and Lemma.; hence, the previous estimates in (4) can be repeated to reach Therefore, we have shown u L 3 + L u L. (6) Next, by () j= v j u j v ( + L u L ) v L. (7) (b )b v = (b )b u (b )b u (8) where (b )b u b L 6 b L u L 3 + L u L (9) by Hölder s inequalities, homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ), Proposition 3. and (6). The higher order non-linear term is more difficult but can be handled as follows: (b )b u () = i,j,k= k b i i b j k u j + b i ikb j k u j b L b L 6 u L 3 + b L 6 b L u L 3 b L u L 3 due to Hölder s inequalities, homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ) and Proposition 3.. We can estimate u L 3 k u L 3 () k k k( ) k( 3 ) g( k ) g(k ) k u L L v L by (5), Lemma. and Hölder s inequality. Hence, with () applied to () and Young s inequality, we obtain (b )b u b L L v L 4 L v L + c b L. () Next, relying on a commutator estimate we compute

LAMHD-ALPHA SYSTEM 9 ((u )b) b = [ ((u )b) u b] b (3) ( u L b L + u L 3 b L 6) b L ( + L u L ) b L by (), Hölder s inequality, Lemma.3, homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ), (4) and (6). Finally for the last term in (), we compute ((b )u) b ( b L u L + b L 6 u L 3) b L (4) ( + L u L ) b L + L v L b L 4 L v L + c( + L u L ) b L by Hölder s inequality, Lemma., homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ), (4), Proposition 3., () and Young s inequality. In sum of (5), (7), (9), (), (3), (4) applied to (), we obtain after absorbing the dissipative term t ( v L + b L ) + L v L (5) ( + L u L ) ( + v L + b L ). Hence Gronwall s inequality with Proposition 3. completes the proof of Proposition 3.. Proposition 3.3. Under the hypothesis of Theorem., the solution to the system (a)-(b) in [, T ] satisfies the following bound: sup t [,T ] ( Λ 5 v L + Λ6 b L )(t) + T LΛ 5 v Ldτ. Proof. We apply Λ 5, Λ 6 on (a)-(b), take L -inner products with Λ 5 v, Λ 6 b respectively to obtain in sum, t( Λ 5 v L + Λ6 b L ) + LΛ5 v L (6) = Λ 5 ((u )v) Λ 5 v + Λ 6 ((u )b) Λ 6 b j= We first estimate Λ 5 (v j u j ) Λ 5 v + Λ 5 ((b )b) Λ 5 v + Λ 6 ((b )u) Λ 6 b.

KAZUO YAMAZAKI Λ 5 ((u )v) Λ 5 v + Λ 6 ((u )b) Λ 6 b (7) = (Λ 5 ((u )v) u Λ 5 v) Λ 5 v + (Λ 6 ((u )b) u Λ 6 b) Λ 6 b ( u L Λ 5 v L + Λ 5 u L 6 v L 3) Λ 5 v L + ( u L Λ 6 b L + Λ 6 u L 3 b L 6) Λ 6 b L u L ( Λ 5 v L + Λ6 b L ) + Λ5 u L 6 v L 3 Λ 5 v L + Λ 6 u L 3 b L Λ 6 b L by (), Hölder s inequalities, Lemma.3 and homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ). We further estimate u L u 6 L Λ 3 u 5 6 L + v L, (8) Λ 5 u L 6 v L 3 v 4 L Λ 5 v 3 4 L v 7 8 L Λ 5 v 8 L + Λ 5 v L, (9) Λ 6 u L 3 u 4 L Λ 7 u 3 4 L + Λ 5 v L, (3) due to Gagliardo-Nirenberg inequalities, (6) and Proposition 3.. Thus, applying (8), (9), (3) in (7) and using Proposition 3., we obtain Λ 5 ((u )v) Λ 5 v + Λ 6 ((u )b) Λ 6 b + Λ 5 v L + Λ6 b L. (3) Next, Λ 5 (v j u j ) Λ 5 v ( Λ 5 v L u L + v L 6 Λ 5 u L 3) Λ 5 v L (3) j= Λ 5 v L + v L ( + Λ5 v L ) Λ 4 v L + Λ 5 v L by Hölder s inequality, Lemma., (8), homogeneous Sobolev embedding of Ḣ (R 3 ) L 6 (R 3 ), (3), Proposition 3. and Young s inequality. Next, Λ 5 ((b )b) Λ 5 v Λ 5 div(b b) L Λ 5 v L (33) Λ 6 b L b L Λ 5 v L Λ 6 b L b 4 L b 3 4 L Λ 5 v L Λ 5 v L + Λ6 b L where we used Hölder s inequality, Lemma., Gagliardo-Nirenberg inequality, (6), Proposition 3. and Young s inequality. Finally,

LAMHD-ALPHA SYSTEM Λ 6 ((b )u) Λ 6 b ( Λ 6 b L u L + b L Λ 6 u L ) Λ 6 b L (34) Λ 6 b L u L + b 4 L b 3 4 L Λ 7 u L Λ 6 b L Λ 6 b L + Λ5 v L Λ 6 b L Λ 5 v L + Λ6 b L by Hölder s inequality, Lemma., Gagliardo-Nirenberg inequality, (8), (6), Proposition 3. and Young s inequality. Applying (3), (3), (33), (34) in (6) gives t( Λ 5 v L + Λ6 b L ) + LΛ5 v L + Λ5 v L + Λ6 b L. After absorbing, integrating in time completes the proof of Proposition 3.3. 4. Proof of Theorem.: Local Theory With a priori estimates achieved in Propositions 3., 3. and 3.3, it is a standard procedure to complete the proof of Theorem.. For completeness we sketch the proof of the local theory. We recall the mollification of J ɛ f of f L p (R 3 ), p by ( ) x y (J ɛ f)(x) = ɛ R 3 ρ f(y)dy, ɛ > ɛ 3 where ρ( x ) C, ρ, R 3 ρdx =. We regularize the system (a)-(b) by t v ɛ + J ɛ ((J ɛ u ɛ ) (J ɛ v ɛ )) + 3 j= J ɛ((j ɛ vj ɛ (J ɛu ɛ j ))) + (π ɛ + bɛ ) + J ɛ (L J ɛ v ɛ ) = J ɛ ((J ɛ b ɛ ) (J ɛ b ɛ )), t b ɛ + J ɛ ((J ɛ u ɛ ) (J ɛ b ɛ )) J ɛ ((J ɛ b ɛ ) (J ɛ u ɛ )) =, u ɛ = b ɛ =, v ɛ = ( )u ɛ and define for convenience ( ) y ɛ v ɛ, θ ɛ b ɛ uɛ For any ɛ >, using properties of mollifiers, one can show via the Picard Theorem, the global existence of the regularized solution y ɛ with its regularity of y ɛ C ([, ); H 5 (R 3 ) H 5 (R 3 )). Thereafter, through the process of obtaining a uniform bound locally in time, and showing that {θ ɛ } is Cauchy in C([, T ]; L (R 3 )), and then using Alaoglu s theorem, one arrives at the existence of the local solution pair v, b L ([, T ]; H 5 (R 3 )). We omit further details referring to [7] where the local theory for the NSE and the Euler equations using mollifiers is described in detail. u ɛ b ɛ

KAZUO YAMAZAKI References [] H. Brezis, S. Wainger, A note on limiting cases of Sobolev embeddings and convolution inequalities, Comm. Partial Differential Equations, 5 (98), 773-789. [] D. Chae, Global regularity for the -D Boussinesq equations with partial viscous terms, Adv. Math., 3 (6), 497-53 [3] D. Chae, P. Constantin, J. Wu, Inviscid models generalizing the two-dimensional Euler and the surface quasi-geostrophic equations, Arch. Ration. Mech. Anal., (), 35-6. [4] J.-Y. Chemin, Perfect Incompressible Fluids, Oxford lecture series in mathematics and its applications, Oxford, 4 (998). [5] Q. Chen, C. Miao, Z. Zhang, The Beale-Kato-Majda criterion for the 3D magnetohydrodynamics equations, Comm. Math. Phys., 75 (7), 86-87. [6] S. Chen, C. Foias, D. D. Holm, E. Olson, E. S. Titi, S. Wynne, The Camassa-Holm equations as a closure model for turbulent channel flow, Phys. Rev. Lett., 8 (998), 5338-534. [7] A. Cheskidov, D. D. Holm, E. Olson, E. S. Titi, On a Leray alpha model of turbulence, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 46 (5), 69-649. [8] J. Fan, T. Ozawa, Global Cauchy problem for the -D magnetohydrodynamic-α models with partial viscous terms, J. Math. Fluid Mech., (), 36-39. [9] J. D. Gibbon, D. D. Holm, Estimates for the LANS α, Leray alpha and Bardina models in terms of a Navier-Stokes Reynolds number, Indiana Univ. Math. J., 57 (8), 76-773. [] T. Hmidi, On a maximum principle and its application to logarithmically critical Boussinesq system, Anal. PDE, 4 (), 47-84. [] T. Hou, C. Li, Global well-posedness of the viscous Boussinesq equations, Discrete Contin. Dyn. Syst., (5), - [] T. Kato, Liapunov functions and monotonicity in the Navier-Stokes equation, Functionalanalytic methods for partial differential equations, lecture notes in mathematics, 45 (99), 53-63. [3] T. Kato, G. Ponce, Commutator estimates and the Euler and Navier-Stokes equations, Comm. Pure Appl. Math., 4 (988), 89-97. [4] D. KC, K. Yamazaki, Logarithmically extended global regularity result of Lans-alpha MHD system in two-dimensional space, J. Math. Anal. Appl., 45 (5), 34-48. [5] D. KC, K. Yamazaki, Regularity results on the Leray-alpha magnetohydrodynamics systems, submitted. [6] J. S. Linshiz, E. S. Titi, Analytical study of certain magnetohydrodynamic-α models, J. Math, Phys., 48, 6554 (7). [7] A. J. Majda, A. L. Bertozzi, Vorticity and Incompressible Flow, Cambridge University Press, Cambridge,. [8] E. Olson, E. S. Titi, Viscosity versus vorticity stretching: global well-posedness for a family of Navier-Stokes-alpha-like models, Nonlinear Anal., 66 (7), 47-458. [9] N. Pennington, Local and global low-regularity solutions to the generalized Leray-alpha equations, arxiv:4.546 [math.ap] [] T. Roy, Global existence of smooth solutions of a 3D log-log energy-supercritical wave equation, Anal. PDE, (9), 6-8. [] M. Sermange, R. Temam, Some mathematical questions related to the MHD equations, Comm. Pure Appl. Math., 36 (983), 635-664. [] T. Tao, Global regularity for a logarithmically supercritical defocusing nonlinear wave equation for spherically symmetric data, J. Hyperbolic Differ. Equ., 4 (7), 59-66. [3] T. Tao, Global regularity for a logarithmically supercritical hyperdissipative Navier-Stokes equation, Anal. PDE, (9), 36-366. [4] C. V. Tran, X. Yu, Z. Zhai, Note on solution regularity of the generalized magnetohydrodynamic equations with partial dissipation, Nonliner Anal., 85 (3), 43-5. [5] J. Wu, The generalized MHD equations, J. Differential Equations, 95 (3), 84-3. [6] J. Wu, Global regularity for a class of generalized magnetohydrodynamic equations, J. Math. Fluid Mech., 3 (), 95-35. [7] X. Xu, Z. Ye, Note on global regularity of 3D generalized magnetohydrodynamic-α model with zero diffusivity, Commun. Pure Appl. Anal., 4 (5), 585-595. [8] K. Yamazaki, On the global regularity of generalized Leray-alpha type models, Nonlinear Anal., 75 (), 53-55.

LAMHD-ALPHA SYSTEM 3 [9] K. Yamazaki, Global regularity of logarithmically supercritical MHD system with zero diffusivity, Appl. Math. Lett., 9 (4), 46-5. [3] K. Yamazaki, On the global regularity of N-dimensional generalized Boussinesq system, Appl. Math., 6 (5), 3-33. [3] K. Yamazaki, A remark on the two-dimensional magnetohydrodynamics-alpha system, arxiv:4.637 [math.ap] [3] Z. Ye, A note on global well-posedness of solutions to Boussinesq equations with fractional dissipation, Acta Math. Sci. Ser. B Engl. Ed., 35B (5), -. [33] Z. Ye, X. Xu, Global regularity of 3D generalized incompressible magnetohydrodynamic α model, Appl. Math. Lett., 35 (4), -6. [34] J. Zhao, M. Zhu, Global regularity for the incompressible MHD α system with fractional diffusion, Appl. Math. Lett., 9 (4), 6-9. [35] Y. Zhou, J. Fan, Regularity criteria for the viscous Camassa-Holm equations, Int. Math. Res. Not. IMRN, 9 (9), 58-58. [36] Y. Zhou, J. Fan, On the Cauchy problem for a Leray α-mhd model, Nonlinear Anal. Real World Appl., (), 648-657. [37] Y. Zhou, J. Fan, Regularity criteria for a magnetohydrodynamic α model, Commun. Pure Appl. Anal., (), 39-36.