arxiv: v1 [math.ap] 14 Nov 2016

Transcription

1 ON THE INITIAL- AN BOUNARY-VALUE PROBLEM FOR 2 MICROPOLAR EQUATIONS WITH ONLY ANGULAR VELOCITY ISSIPATION arxiv: v1 [math.ap] 14 Nov 216 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU Abstract. This paper focuses on the initial- and boundary-value problem for the twodimensional micropolar equations with only angular velocity dissipation in a smooth bounded domain. The aim here is to establish the global existence and uniqueness of solutions by imposing natural boundary conditions and minimal regularity assumptions on the initial data. Besides, the global solution is shown to possess higher regularity when the initial datum is more regular. To obtain these results, we overcome two main difficulties, one due to the lack of full dissipation and one due to the boundary conditions. In addition to the global regularity problem, we also examine the large-time behavior of solutions and obtain explicit decay rates. 1. Introduction and main results This paper studies the global existence and uniqueness, and large-time behavior of solutions to the two-dimensional (2) micropolar equations in a bounded domain with smooth boundary. The 2 micropolar equations are a special case of the 3 micropolar equations. The standard 3 incompressible micropolar equations are given by u t (ν +κ) u+u u+ π = 2κ w, w t γ w +4κw µ w +u w = 2κ u, u =, (1.1) where u = u(x,t) denotes the fluid velocity, π(x,t) the scalar pressure, w(x,t) the microrotation field, and the parameter ν represents the Newtonian kinematic viscosity, κ the micro-rotation viscosity, γ and µ the angular viscosities. In the special case when u = (u 1 (x 1,x 2,t),u 2 (x 1,x 2,t),), π = π(x 1,x 2,t), w = (,,w 3 (x 1,x 2,t)), the 3 micropolar equations reduce to the 2 micropolar equations, u t (ν +κ) u+u u+ π = 2κ w, w t γ w+4κw +u w = 2κ u, u =. (1.2) Key words and phrases. Bounded domain, global regularity, micropolar equations, partial dissipation. 21 Mathematics Subject Classification. 35Q35,

2 2 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU Here u = (u 1,u 2 ) is a 2 vector with the corresponding scalar vorticity Ω given by Ω u = 1 u 2 2 u 1, while ω represents ω 3 (x 1,x 2,t) for simplicity, which is a scalar function with w = ( 2 w, 1 w). The micropolar equations were introduced in 1965 by C.A. Eringen to model micropolar fluids (see, e.g., [7]). Micropolar fluids are fluids with microstructure. Certain anisotropic fluids, e.g. liquid crystals which are made up of dumbbell molecules, are of this type. They belong to a class of non-newtonian fluids with nonsymmetric stress tensor (called polar fluids) and include, as a special case, the classical fluids modeled by the Navier-Stokes equations. In fact, when micro-rotation effects are neglected, namely w =, (1.1) reduces to the incompressible Navier-Stokes equations. The micropolar equations are significant generalizations of the Navier-Stokes equations and cover many more phenomena such as fluids consisting of particles suspended in a viscous medium. The micropolar equations have been extensively applied and studied by many engineers and physicists. ue to their physical applications and mathematical significance, the well-posedness problem and large-time decay issue on the micropolar equations have attracted considerable attention recently from the community of mathematical fluids [2, 3, 8, 16]. Lukaszewicz in his monograph [16] studied the well-posedness problem on the 3 stationary as well as the time-dependent micropolar equations. In [4], ong and Chen obtained the global existence and uniqueness, and sharp algebraic time decay rates for the 2 micropolar equations (1.2). More recent efforts are focused on the 2 micropolar equation with partial dissipation, which naturally bridge the inviscid micropolar equation and the micropolar equation with full dissipation. The global regularity problem for the inviscid equation is currently out of reach. In [6] ong and Zhang examined (1.2) with the micro-rotation viscosity γ = and established the global regularity by observing that the combined quantity Ω 2κ ν +κ w obeys a transport-diffusion equation. Another partial dissipation case, (1.2) with ν =, γ >, κ > and κ γ, was examined by Xue, who was able to obtain the global well-posedness in the frame work of Besov spaces [2]. We remark that the requirement κ γ in [2] is not crucial and it is not difficult to see that the global well-posedness remains valid even when κ = γ. Recently ong, Li and Wu took on the case when (1.2) involves only the angular viscosity dissipation [5]. They proved the global (in time) regularity by fully exploiting the structure of system and controling the vorticity via

3 2 MICROPOLAR EQUATIONS 3 the evolution of a combined quantity of the vorticity and the micro-rotation angular velocity. In addition, [5] introduced a diagonalization process to eliminate the linear terms in order to obtain the large-time behavior of the solutions. Most of the results we mentioned above are for the whole space R 2 or R 3. In many real-world applications, the flows are often restricted to bounded domains with suitable constraints imposed on the boundaries and these applications naturally lead to the studies of the initial- and boundary-value problems. In addition, solutions of the initialand boundary-value problems may exhibit much richer phenomena than those of the whole space counterparts. This paper is devoted to the initial- and boundary-value problem for the 2 micropolar equations with only angular viscosity dissipation, with the natural boundary condition and the initial condition u t +u u+ π = 2κ w, w t γ w +4κw +u w = 2κ u, u =, (1.3) u n = w = (1.4) (u,w)(x,) = (u,w )(x), in, (1.5) where R 2 represents a bounded domain with smooth boundary and n is the unit outward normal vector. In addition, we also impose the following compatibility conditions u n = w =, u =, u u + π = 2κ w, 4κw +u w = γ w +2κ u, on, on, (1.6) where π is determined by the divergence-free condition u = with the Neumann boundary condition π n = [2κ w u u ] n. (1.7) Our first goal here is to establish the global existence and uniqueness of solutions to (1.3)-(1.5) by imposing the least regularity assumptions on the initial data. We assume here that the initial vorticity Ω = u is in the Yudovich class and w H 2 (), and obtain the following result. Theorem 1.1. Let R 2 be a bounded domain with smooth boundary. Assume (u,w ) satisfies u H 1 (), Ω L (), w H 2 ()

4 4 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU and the compatibility conditions (1.6) and (1.7). Then (1.3)-(1.5) has a unique global smooth solution (u, w) satisfying u L (,T;H 1 ()), Ω L (,T;L ()), w L (,T;H 2 ()) (1.8) for any T >. We further establish higher regularity of the solution stated in Theorem 1.1. By imposing the higher regularity u H 3 (), w H 4 (), we obtain that the corresponding solution (u, w) remains this class for all time. More precisely, we have the following theorem. Theorem 1.2. In addition to the conditions in Theorem 1.1, we further assume u H 3 (), w H 4 (), then the solution remains the same regularity for all time, namely u L (,T;H 3 ()), w L (,T;H 4 ()), for any T >. The proof of Theorem 1.1 is divided into several major steps. The first step is to establish the global H 1 -bound for (u,w). We make use of the equation of the vorticity Ω = u, t Ω+u Ω = 2κ w (1.9) and the equation of w, and bound the vortex stretching term in the equation of w suitably. The second step combines the global H 1 -bound obtained in the first step and Schauder s fixed point theorem to prove the global existence of weak solutions. The third step establishes the global boundedness of the vorticity in L. ue to the presence of the bad term w, (1.9) itself does not allow us to extract the desired global bound. To overcome this difficulty, we consider the combined quantity which satisfies Z = Ω+ 2κ γ w, t Z +u Z 4κ2 γ Z + 8κ2 γ (1+ κ )w =. (1.1) γ This equation eliminates the difficulty and yields the desired bound. The fourth step is to prove the global H 2 -bound for w. ue to the no-slip boundary condition for w, the standard energy estimates would not work. Instead we obtain a global bound for t w L 2 () first and the global bound for w H 2 () follows as a consequence.

5 2 MICROPOLAR EQUATIONS 5 To prove the higher regularity bounds specified in Theorem 1.2, we further exploit the equation of Z, namely (1.1). By taking the gradient of (1.1) and making use of a logarithmic Sobolev type inequality, we obtain the global bounds for Ω L (,T;L q ()) and u L (,T;L ()), where q (1, ). These bounds allow us to further consecutively establish the bounds for w L q (,T;L q ()), t w L (,T;L 2 ()) and w L (,T;H 4 ()). We remark that, in contrast to the whole space case, the estimates here are not so straightforward and involve more steps. This paper also looks into the large-time behavior of solutions of (1.3) with an extra velocity damping term and wihtout the 4κw in the w equation, namely u t +κu+u u+ π = 2κ w, w t γ w +u w = 2κ u, u =. (1.11) It is clear that Theorem 1.1 and Theorem 1.2 remain valid for (1.11). The damping term in (1.11) and the elimination of 4κw term does not affect the regularity results. Our last focus is the large-time behavior and we show that, if then the H 1 -norm of (u,w) decays exponentially in time, γ > 4κ, (1.12) (u(t),w(t) H 1 () Ce Ct, where C > is a constant depending on the H 1 -norm of (u,w ) and C > depends on γ and κ only. More precisely, we have the following theorem. Theorem 1.3. Let R 2 be a bounded domain with smooth boundary. Assume the conditions on (u,w ), as stated in Theorem 1.1. If we further assume then the solution (u, w) of (1.11) satisfies γ > 4κ, (1.13) u 2 H 1 () + w 2 H 1 () Ce Ct, (1.14) where C > is a constant depending on the H 1 -norm of (u,w ) and C > depends on γ and κ only. The condition in (1.12) is necessary and sharp. As pointed out in [5], when (1.12) is violated, the solution may grow in time. The rest of this paper is divided into five sections. The second section serves as a preparation and presents a list of facts and tools for bounded domains such as embedding

6 6 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU inequalities and logarithmic type interpolation inequalities. Section 3 establishes the global existence of H 1 -weak solutions, one major step in the proof of Theorem 1.1. Section 4 proves the global L bound for Ω and the global H 2 bound for w. This step completes the proof of Theorem 1.1. Section 5 proves Theorem 1.2, the higher global regularity bounds. The last section is devoted to the large-time behavior result stated in Theorem Preliminaries This section serves as a preparation. We list a few basic tools for bounded domains to be used in the subsequent sections. In particular, we provide the Gagliardo-Nirenberg type inequalities, the logarithmic type interpolation inequalities and regularization estimates for elliptic and parabolic equations in bounded domains. These estimates will also be handy for future studies on PEs in bounded domains. We start with the well-known Gagliardo-Nirenberg inequality for bounded domains (see, e.g., [18]). Lemma 2.1. Let R n be a bounded domain with smooth boundary. Let 1 p,q,r be real numbers and j m be non-negative integers. If a real number α satisfies 1 p j ( 1 n = α r m ) +(1 α) 1 n q, j m α 1, then j f L p () C 1 m f α L r () f 1 α L q () +C 2 f L s (), where s >, and the constants C 1 and C 2 depend upon and the indices p,q,r,m,j,s only. Especially, the following special cases will be used. Corollary 2.1. Suppose R 2 be a bounded domain with smooth boundary. Then (1) f L 4 () C( f 1 2 L 2 () f 1 2 L 2 () + f L 2 ()), f H 1 (); (2) f L 4 () C( f 1 4 L 2 () 2 f 3 4 L 2 () + f L 2 ()), f H 2 (); (3) f L () C( f 1 2 L 2 () 2 f 1 2 L 2 () + f L 2 ()), f H 2 (); (4) f L () C( f 2 3 L 2 () 3 f 1 3 L 2 () + f L 2 ()), f H 3 (). The lemma below provides estimates for products and commutators (see, e.g., [17]).

7 2 MICROPOLAR EQUATIONS 7 Lemma 2.2. Let R 2 be a bounded domain with smooth boundary. Then for any multi-indices α and β, α (fg) L 2 () C( f L () g H α () + f H α () g L ()) (2.1) for some constant C depending on and α, and β (fg) f β g L 2 () C( f L () g H β 1 () + f H β () g L ()) (2.2) for some constant C depending on and β. We will need the Poincaré type inequality (see, e.g., [9]). Lemma 2.3. Let R 2 be a bounded domain with smooth boundary and u H 1 (). Then there exists a constant C depending on only such that u L 2 () C u L 2 (). It is well-known that the standard singular integral operators are bounded on L q (R n ) for any q (1, ) (see, e.g., [19]). The lemma below provides the bounded domain version of this fact (see, e.g., [1, 1, 19]). More precisely, this lemma allows us to control the gradient of a vector field in L q in terms of its curl. Lemma 2.4. Let R 2 be a bounded domain with smooth boundary and let m be a positive integer. If a vector field u L q () with q (1, ) satisfies u W m 1,q (), u =, u n =, then there is a constant K = K(,m) > (independent of q) such that u W m,q () Kq( u W m 1,q () + u L q ()). The lemma next presents a logarithmic interpolation inequality for vector fields defined on bounded domains. It is taken from [13]. Lemma 2.5. Let R 2 be a bounded domain with smooth boundary. Then, for any < α < 1, u L () C u L ()(1+log(e+ u C α ())). The next two lemmas state the regularization estimates for elliptic and parabolic equations defined on bounded domains (see, e.g., [9, 11, 14]). Lemma 2.6. Let R 2 be a bounded domain with smooth boundary. Consider the elliptic boundary-value problem { f = g in, f = on. (2.3)

8 8 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU If, for p (1, ) and an integer m 1, g W m,p (), then (2.3) has a unique solution f satisfying where C depending only on, m and p. f W m+2,p () C g W m,p (), Lemma 2.7. Let R 2 be a bounded domain with smooth boundary. Assume, for q [2, ), ϕ W 1,q (), g L q (,T;L q ()). Assume f L 2 (,T;H 1 ()) with f t L 2 (,T;H 1 ()) is a weak solution of the parabolic system f t f = g, in, f = on, f t= = ϕ in. Then, there exists a constant C depending only on q,, such that f t L q (,T;L q ()) + f L q (,T;L q ()) C( g L q (,T;L q ()) + ϕ W 1,q () ). We also recall Kato s well-posedness result on the 2 Euler equation (see [12]). Lemma 2.8. Let R 2 be a bounded domain with smooth boundary. Consider the initial- and boundary-value problem u t u u+ p = f, u =, u t= = u (x), u n =. Assume u C 1+γ () with < γ < 1 satisfying u (x) = and u (x) n =. Let T > and f C([,T];C 1+γ ()). Then there exists a unique solution (u,p) such that (u,p) C 1+γ ( [,T]). 3. Global existence of H 1 -weak solutions This section proves the global existence of H 1 -weak solutions of (1.3)-(1.5). This result is an important step in the proof of Theorem 1.1. To be more precise, we first provide the definition of weak solutions of (1.3)-(1.5) and then state the main result of this section as a proposition. efinition 3.1. Let R 2 be a bounded domain with smooth boundary. Assume (u,w ) H 1 (). A pair of measurable functions (u,w) is called a weak solution of (1.3)-(1.5) if (1) u C(,T;H 1 ()), w C(,T;L 2 ()) L 2 (,T;H 1 ());

9 (2) T u ϕ dx+ 2 MICROPOLAR EQUATIONS 9 T [ u ϕt +u ϕ u+2κ w ϕ ] dxdt =, [ wψt +γ w ψ +4κwψ +u ψ w 2κ uψ ] dxdt = w ψ dx; holds for any (ϕ, ψ) C ([,T] ) with ϕ = ϕ = ϕ(x,t) = and ψ n = ψ(x,t) =. The main result of this section is stated in the following proposition. Proposition 3.1. Let R 2 be a bounded domain with smooth boundary. Assume (u,w ) H 1 (). Then (1.3)-(1.5) has a global weak solution. The proof of this proposition relies on the following global H 1 -bound. Lemma 3.1. Under the assumptions of Proposition 3.1, for any T >, there exists a constant C depending only on T and the initial data such that u L (,T;H 1 ()) + w L (,T;H 1 ()) + w L 2 (,T;H 2 ()) C. Proof of Lemma 3.1. We start with the global L 2 -bound. Taking the inner product of (1.3) with (u,w) yields 1 d 2dt ( u 2 L 2 () + w 2 L 2 () )+γ w 2 L 2 () +4κ w 2 L 2 () = 2κ w udx+2κ uwdx. Noticing that u = 1 u 2 2 u 1 and w = ( 2 w, 1 w), we have uw = ( 1 u 2 2 u 1 )w = 1 (u 2 w) 2 (u 1 w)+ w u. Integrating by parts and applying the boundary condition for w, we have 2κ w udx+2κ uwdx = 4κ w udx+2κ u n wds = 4κ w udx (3.1) γ 2 w 2 L 2 () +C u 2 L 2 (), where n = ( n 2,n 1 ). It then follows, after integration in time, that t t u 2 L 2 () + w 2 L 2 () +γ w 2 L 2 () dτ +8κ w 2 L 2 () dτ

10 1 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU e C t ( u 2 L 2 () + w 2 L 2 () ) A 1(t, (u,w ) L 2), (3.2) where C = C(γ,κ). To obtain the global H 1 -bound for (u,w), we invoke the vorticity equation Ω t +u Ω = 2κ w, (3.3) Multiplying (3.3) by Ω and theequation of w in (1.3) by w, andapplying the boundary condition w =, the Cauchy-Schwarz inequality and Corollary 2.1, we have = 1 d 2dt ( Ω 2 L 2 () + w 2 L 2 () )+γ w 2 L 2 () +4κ w 2 L 2 () u w wdx 4κ wωdx w L 2 () u L 4 () w L 4 () +4κ Ω L 2 () w L 2 () C w 3 2 L 2 () Ω 1 2 L 2 () w 1 2 L 2 () +C w L 2 () Ω 1 2 L 2 () w L 2 () +4κ Ω L 2 () w L 2 () γ 2 w 2 L 2 () +C w 2 L 2 () (1+ Ω 2 L 2 () )+C Ω 2 L 2 (). (3.4) Gronwall s inequality and (3.2) then yield the following global H 1 -bound t t u(t) 2 L 2 () + w(t) 2 L 2 () +γ w 2 L 2 () dτ +4κ w 2 L 2 () dτ C 1 e C 2e C 3 t ( u, w ) 2 L 2 () A 2(t), (3.5) where C 1 = C 1 (γ,κ), C 2 = C 2 (γ,κ, (u,w ) L 2 ()) and C 3 = C 3 (γ,κ). This completes the proof of Lemma 3.1. We now prove Proposition 3.1. Proof of Proposition 3.1. The proof is a consequence of Schauder s fixed point theorem. We shall only provide the sketches. To define the functional setting, we fix T > and R to be specified later. For notational convenience, we write X C(,T;H 1 ()) L2 (,T;H 2 ()) with g X g C(,T;H 1 ()) + g L 2 (,T;H 2 ()), and define Clearly, B X is closed and convex. B = {g X g X R }. We fix ǫ (,1) and define a continuous map on B. For any g B, we regularize it and the initial data (u,w ) via the standard mollifying process, g ǫ = ρ ǫ g, u ǫ = ρ ǫ u, w ǫ = ρ ǫ w,

11 2 MICROPOLAR EQUATIONS 11 where ρ ǫ is the standard mollifier. According to Lemma 2.8, the 2 incompressible Euler equations with smooth external forcing 2κ g ǫ and smooth initial data u ǫ u t +u u+ π = 2κ g ǫ, u =, u(x,) = u ǫ (x), u n =, (3.6) has a unique solution u ǫ. We then solve the linear parabolic equation with the smooth initial data w ǫ { w t γ w +4κw +u ǫ w = 2κ u ǫ, (3.7) w(x,) = w(x), ǫ w =, and denote the solution by w ǫ. This process allows us to define the map F ǫ (g) = w ǫ. We then apply Schauder s fixed point theorem to construct a sequence of approximate solutions to (1.3)-(1.5). It suffices to show that, for any fixed ǫ (,1), F ǫ : B B is continuous and compact. More precisely, we need to show (a) w ǫ B R ; (b) F ǫ (g 1 ) F ǫ (g 2 ) B C g 1 g 2 B for C indepedent of ǫ and any g 1, g 2 B. We verify (a) first. A simple L 2 -estimate on (3.6) leads to Similar to (3.2), we have u ǫ (t) L 2 () u ǫ L 2 () +2κ t t w ǫ 2 L 2 () +γ w ǫ 2 L 2 () dτ+4κ u L 2 () +2κ t t g ǫ L 2 ()dτ, g L 2 ()dτ. w ǫ 2 L 2 () dτ w 2 L 2 () +2κ2 γ To bound the H 1 -norms, we rely on the equation of Ω ǫ, A simple energy estimate then yields As in (3.4), we have Ω ǫ t +uǫ Ω ǫ = 2κ g ǫ. Ω ǫ L 2 () Ω L 2 () +2κ t g L 2 ()dτ. t u ǫ 2 L 2 () dτ. d dt wǫ 2 L 2 () +γ wǫ 2 L 2 () +4κ wǫ 2 L 2 () (1+ Ωǫ 2 L 2 () )(1+ wǫ 2 L 2 () ). By Gronwall s inequality, t t w ǫ 2 L 2 () + γ w ǫ 2 L 2 () dτ +4κ w ǫ 2 L 2 () dτ

12 12 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU (1+ w 2 L 2 () ) t Combining the estimates yields w ǫ 2 H 1 () +γ t (1+ Ω ǫ 2 L 2 () )ec τ (1+ Ωǫ 2 L 2 () )ds dτ. w ǫ 2 H 2 () dτ w 2 L 2 () + 2κ2 γ t +(1+ w 2 L 2 () ) (1+ Ω ǫ 2 τ L 2 () )ec t u ǫ 2 L 2 () dτ (1+ Ωǫ 2 L 2 () )ds dτ. In order for F ǫ to map B to B, it suffices for the right-hand side to be bounded by R. Invoking the bounds for u ǫ L 2 and Ω ǫ L 2, we obtain a condition for T and R, w 2 L 2 () +CT (1+ u 2 L 2 () + w 2 L 2 () TR2 ) +CT (1+ Ω 2 L 2 () +T R2 )exp(c( Ω 2 L 2 () +T R2 ))) R, (3.8) where the constants C depend only on the parameters κ and γ. It is not difficult to see that, if T is sufficiently small, (3.8) would hold. Similarly, we can show (b) under the condition that T is sufficiently small. Schauder s fixed point theorem then allows us to conclude that the existence of a solution on a finite time interval T. These uniform estimates would allow us to pass the limit to obtain a weak solution (u,w). We remark that the local solution obtained by Schauder s fixed point theorem can be easily extended into a global solution via Picard type extension theorem due to the global bounds obtained in (3.2) and (3.5). This allows us to obtain the desired global weak solution. This completes the proof. 4. Yudovich regularity and proof of Theorem 1.1 The goal of this section is to complete the proof of Theorem 1.1. To do so, we first establish the Yudovich type regularity for the vorticity Ω, namely Ω L for all time and then show that w L (,T;H 2 ()). The regularity obtained here for Ω and w allows us to prove the uniqueness of the weak solutions established in the previous section. Recall that Ω satisfies Ω t +u Ω = 2κ w. (4.1) ue to the bad term w on the right-hand side, this equation itself does not allow us to extract a global bound on Ω. To bypass this difficulty, we combine (4.1) with the equation of w, w t γ w +4κw 2κ u+u w =

13 2 MICROPOLAR EQUATIONS 13 to eliminate the bad term. More precisely, we consider the combined quantity and the equation that it satisfies Z = Ω+ 2κ γ w t Z +u Z 4κ2 γ Z + 8κ2 γ (1+ κ )w =, (4.2) γ which leads us to the desired global bound. More precisely, we have the following proposition. Proposition 4.1. Assume that (u,w ) satisfies the conditions stated in Theorem 1.1. Let (u, w) be the global weak solution obtained in Proposition 3.1. Then the corresponding vorticity Ω obeys the global bound, for any 2 p <, and any T > and < t T, Ω L (,T;L p ()) C, where the constant C depends only on,t and the initial data. Proof. We start with the equation of Z, namely (4.2). For any 2 p <, multiplying (4.2) with Z p 2 Z and integrating on, we obtain i.e., 1 d pdt Z p L p () 4κ2 γ Z p L p () + 8κ2 γ (1+ κ γ ) w L p () Z p 1 d dt Z L p () 4κ2 γ Z L p () + 8κ2 γ (1+ κ γ ) w L p (), which, according to Gronwall s inequality, implies Z L p () e 4κ2 γ t ( Z L p () + C t w(τ) L p ()dτ Noting that C is independent of p, we obtain, by letting p, Z L () e 4κ2 γ t ( Z L () +C e 4κ2 γ t ( Z L () +C t t L p (), ). w(τ) L ()dτ) w(τ) H 2 ()dτ). Thus, by noticing that w L 2 (,T;H 2 ()) C from Lemma 3.1, it is clear that Z L (,T;L p ()) C, (4.3) for any 2 p. By the definition of Z, Sobolev embedding and Lemma 3.1, we have Ω L (,T;L p ()) ( Z L (,T;L p ()) + w L (,T;L p ())) C( Z L (,T;L p ()) + w L (,T;H 1 ())) C. for any 2 p <. This completes the proof of Proposition 4.1.

14 14 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU Next we prove the global bound for w H 2 (). In contrast to the whole space case, we need to estimate the time derivatives of (u,w) in order to obtain the desired bound. Proposition 4.2. Assume that (u,w ) satisfies the conditions stated in Theorem 1.1. Let (u,w) be the global weak solution obtained in Proposition 3.1. Then, for any T > and < t < T, u t L (,T;L 2 ()) + w t L (,T;L 2 ()) + w L (,T;H 2 ()) C, where the constant C depends only on,t and the initial data. Proof. We first estimate u t L 2 (). ifferentiating the equation of u in(1.3) with respect to t and then dotting it with u t, we have u t 2 L 2 () = u u u t dx + 2κ w u t dx 1 2 u t 2 L 2 () + C u u 2 L 2 () +κ w 2 L 2 () 1 2 u t 2 L 2 () + C u 2 L 4 () u 2 L 4 () +κ w 2 L 2 () 1 2 u t 2 L 2 () + C u 2 H 1 () ( u 2 L 2 () + Ω 2 L 4 () )+κ w 2 L 2 (). The global bounds in Lemma 3.1 and Proposition 4.1 then imply u t L (,T;L 2 ()) C. (4.4) To estimate w t L 2 (), we take the temporal derivative of the w-equation in (1.3) to get w tt +u w t +u t w +4κw t = γ w t +2κΩ t. (4.5) Multiplying (4.5) with w t and integrating on, it follows that 1 d 2dt w t 2 L 2 () +γ w t 2 L 2 () +4κ w t 2 L 2 () = w t u t wdx+2κ Ω t w t dx. By integration by parts, Hölder s inequality and Young s inequality, w t u t wdx = wu t w t dx (4.6) γ 4 w t 2 L 2 () + C γ u t 2 L 2 () w 2 L () γ 4 w t 2 L 2 () + C γ u t 2 L 2 () w 2 H 2 ().

15 2 MICROPOLAR EQUATIONS 15 To estimate the second term in the right of (4.6), we make use of the vorticity equation (4.1) and integrate by parts on to get 2κ Ω t w t dx = 2κ u Ωw t dx 4κ 2 ww t dx = 2κ u w t Ωdx+4κ 2 w w t dx, which yields, 2κ Ω t w t dx γ 4 w t 2 L 2 () + 8κ2 γ Ω 2 L 4 () u 2 H 1 () + 32κ4 γ w 2 L 2 (). Combining the two estimates above with (4.6), applying (4.4), and invoking Lemma 3.1 and Proposition 4.1, we conclude By Lemma 2.6, w t L (,T;L 2 ()) C. w H 2 () C ( w t L 2 () + u w L 2 () + w L 2 () + Ω L 2 ()). (4.7) By Hölder s inequality, Sobolev embedding inequality and Lemma 2.4, we have u w L 2 () u L () w L 2 () C u W 1,p () w L 2 () C( Ω L p () + u H 1 ()) w L 2 (), where 2 p <. Together with Lemma 3.1 and Proposition 4.1, we obtain the desired global bound. This completes the proof of Proposition 4.2. The global bound for Ω L () follows as an easy consequence of Proposition 4.2. Proposition 4.3. Assume that (u,w ) satisfies the conditions stated in Theorem 1.1. Let (u,w) be the global weak solution obtained in Proposition 3.1. Then for any T > and < t T, Ω L (,T;L ()) C, where the constant C depends only on,t and the initial data. Proof. According to (4.3), Z L (,T;L ()) C, which implies, by the definition of Z, Sobolev s embedding and Proposition 4.2, Ω L (,T;L ()) ( Z L (,T;L ()) + w L (,T;L ())) C( Z L (,T;L ()) + w L (,T;H 2 ())) C. This completes the proof of Proposition 4.3.

16 16 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU We are now ready to prove Theorem 1.1. Proof of Theorem 1.1. In view of Propositions 3.1, 4.1 and 4.2, it suffices to prove the uniqueness. We employ the method of Yudovich. Assume (u,w,π) and (ũ, w, π) are two solutions of (1.3)-(1.5) with the regularity specified in (1.8). Consider their difference U = u ũ, W = w w, Π = π π, which solves the following initial- and boundary-value problem U t +u U +U ũ+ Π = 2κ W, W t +u W +U w γ W +4κW = 2κ U, U =, U n Ω = W Ω =, (U,W)(x,) =. (4.8) otting the first two equations with (U,W) yields 1 d 2dt ( U 2 L 2 () + W 2 L 2 () )+γ W 2 L 2 () +4κ W 2 L 2 () = U ũ Udx U w Wdx (4.9) +2κ W Udx+2κ U Wdx. By the divergence theorem and the boundary condition W Ω =, 2κ W Udx+2κ U Wdx = 4κ W U dx γ 2 W 2 L 2 () +C U 2 L 2 (). Since ũ is not known to be bounded in L while the corresponding vorticity Ω is, we apply the Yudovich approach to bound the first term on the right of (4.9). Since Ω L (,T;L ()), we have, by Lemma 2.4, ũ L q () Cq Therefore, In addition, by Lemma 2.1, M U L () C ( Ω L q () + ũ L q () L sup q 2 ) Cq ũ L q () q ( ) Ω L () + Ω L 2 () + ũ L 2 (). <. ( ) U 2 3 L 4 () U 1 3 L 2 () + U L 2 () C ( u L 4 () + ũ L 4 () + u L 2 () + ũ L 2 ()) <.

17 2 MICROPOLAR EQUATIONS 17 Therefore, by Hölder s inequality, for any 2 q <, ) U ũ U dx CqLM q ( U 2L 2() +δ q, where δ > is inserted here to justify some of the later steps. By optimizing the bound above in terms of q, we obtain U ũ U dx CeL( U 2 L 2 () +δ) ln M 2 U 2 L 2 () +δ. To bound the second term on the right of (4.9), we integrate by parts and invoke the boundary condition W Ω = to obtain U w Wdx = wu W dx w L () U L 2 () W L 2 () γ 2 W 2 L 2 () +C w 2 H 2 () U 2 L 2 (). Inserting the estimates above in (4.9) yields d ( ) ( U 2 L dt 2 () +δ)+ W 2 L 2 () C(1+ w 2 H 2 () )( U 2 L 2 () +δ) +CL( U 2 L +δ) ln M 2 2 By Osgood s inequality, we obtain ( U(t) 2 L 2 () +δ)+ W(t) 2 L 2 () e C t (1+ w 2 H 2 () )dτ ( U 2 L 2 () +δ)+ W 2 L 2 () t e CLe C L(t τ) ln(m 2 exp(c τ )dτ (1+ w 2 H 2 )ds () U 2 L 2 () +δ. ) e C Lt for any t (,T). Letting δ and noting that U = W =, we obtain the desired uniqueness U = W. This finishes the proof of Theorem Higher regularity and proof of Theorem 1.2 The section proves Theorem 1.2, the higher regularity of (u, w). These higher regularity bounds are achieved through several steps. The first step is to prove the global bound u L (,T;L ()) and Ω L (,T;L p ()) with 2 p < via the equation of the combined quantity Z. The second step is to show the global bound for w L (,T;W 2,p ()) with p [2, ) and w L (,T;H 3 ()).

18 18 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU Finally we prove w L (,T;H 4 ()). To do so, we estimate w tt L 2 () and Ω L (,T;H 2 ()), and invoke the regularization estimates for elliptic equations (Lemma 2.6). We start with the first step. Proposition 5.1. Assume that (u,w ) satisfies the conditions in Theorem 1.2. Let (u, w) be the corresponding solution of (1.3)-(1.5) guaranteed by Proposition 3.1. Then, for any T > and < t T, and for any 2 p <, u L (,T;L ()) + Ω L (,T;L p ()) C. where the constant C depends only on,t and the initial data. Proof. Taking the first-order partial i of (4.2) yields t i Z +u i Z + i u Z 4κ2 γ iz + 8κ2 γ (1+ κ γ ) iw =. (5.1) Multiplying (5.1) by i Z p 2 i Z, summing over i and integrating on, we have which also implies d dt Z L p () C 1 d pdt Z p L p () u L () Z p L p () + 4κ2 γ Z p L p () ( κ 2 γ + u L () + 8κ2 γ (1+ κ γ ) w L p () Z p 1 L p (), ) Z Lp() + 8κ2 γ By Lemma 2.5 and the Sobolev embedding W 1,p () C α () for p > 2, u L () C Ω L ()log(e+ Ω W 1,p ()), which, together with the definition of Z, yields ( 1+ κ ) w L γ p (). (5.2) u L () C Ω L ()log(e+ Z L p () + Z L p () + 2κ γ w W 1,p ()). (5.3) Inserting (5.3) in (5.2) yields d dt Z L p () C(1+log(e+ Z L p ())) Z L p () +C, where we have invoked the regularity bounds for (u,w) from the previous section. We obtain, via Gronwall s inequality, the global bound By the definition of Z, for any 2 < p <, Z L (,T;L p ()) C. (5.4) Ω L (,T;L p ()) Z L (,T;L p ()) + 2κ γ w L (,T;L p ()) C, (5.5)

19 which, together with (5.3), implies 2 MICROPOLAR EQUATIONS 19 u L (,T;L ()) C. By the way, the bound of Ω L (,T;L 2 ()) can be inferred by (5.5), Hölder s inequality and the boundedness of domain directly. This completes the proof of Proposition 5.1. Our next goal is to show the global bound for w W 2,p () and w H 3 (). To avoid the boundary effects, we make use of the estimates of time derivatives and the regularization bounds in Lemma 2.6. Proposition 5.2. Assume that (u,w ) satisfies the conditions in Theorem 1.2. Let (u, w) be the corresponding solution of (1.3)-(1.5) guaranteed by Proposition 3.1. Then, for any T > and < t T, and for any 2 p <, w L (,T;W 2,p ()) + w L (,T;H 3 ()) C, (5.6) where the constant C depends only on,t,p and the initial data. Proof. To prove this proposition, we first show that By Lemma 2.7, for any 2 p <, C C T T T w p L p () dt ue to the embedding w t L (,T;L 2 ()) C. [ ] w p H 2 () + w p L p () + Ω p L p () + u w p L p () dt [ ] w p H 2 () + w p H 1 () + Ω p L p () + u p L 2p () w p L 2p () dt. w L 2p () C w H 2 () and the global bound on w L (,T;H 2 ()) in Proposition 4.2, we obtain T w p W 2,p () Multiplying (4.5) by w t and integrating on, it follows that dt C. (5.7) 1 d 2dt w t 2 L 2 () +γ w t 2 L 2 () +4κ w t 2 L 2 () = u w t w t dx u t w w t dx 2κ Ω t w t dx. (5.8)

20 2 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU By Hölder s inequality, Sobolev s embedding and Lemma 2.4, u w t w t dx u L () w t L 2 () w t L 2 () γ 6 w t 2 L 2 () + C γ u 2 H 2 () w t 2 L 2 () γ 6 w t 2 L 2 () + C γ [ u 2 L 2 () + Ω 2 L 2 () ] w t 2 L 2 () and u t w w t dx u t L 2 () w L () w t L 2 () γ 6 w t 2 L 2 () + C γ u t 2 L 2 () w 2 W 2,p (). By the vorticity equation (3.3) and Lemma 2.4, 2κ Ω t w t dx = 2κ u Ω w t dx+4κ 2 w w t dx γ 6 w t 2 L 2 () + Cκ γ u 2 H 2 () Ω 2 L 2 () + Cκ2 γ w 2 L 2 () γ 6 w t 2 L 2 () + Cκ γ [ u 2 L 2 () + Ω 2 L 2 () ] Ω 2 L 2 () + Cκ2 γ w 2 H 2 (). Inserting the estimates above in(5.8) and invoking the regularity bounds obtained before, we have By Lemma 2.6, w t L 2 () C. (5.9) w W 2,p() C [ ] w t L p () + u w L p () + w L p () + Ω L p () C [ ] w t H 1 () + u L 2p () w L 2p () + w H 1 () + Ω L p () C [ w t H 1 () + u H 1 () w H 1 () + w H 1 () + Ω L p ()]. According to (5.9) and Proposition 4.1, w L (,T;W 2,p ()) C. (5.1)

21 2 MICROPOLAR EQUATIONS 21 As a consequence, by Lemma 2.6, w H 3 () C [ ] w t H 1 () + u w H 1 () + w H 1 () + Ω H 1 () C [ w t H 1 () + u L () w H 1 () + w L () u H 1 () ] + w H 1 () + Ω H 1 () C [ w t H 1 () + u H 2 () w H 2 () + w W 2,p () u H 1 () ] + w H 1 () + Ω H 1 () C. This completes the proof of Proposition 5.2. (5.11) Finally we prove the global H 4 -bound for w by making full use of the structure of the micropolar equations and classical elliptic regularization theory. Proposition 5.3. Assume that (u,w ) satisfies the conditions in Theorem 1.2. Let (u, w) be the corresponding solution of (1.3)-(1.5) guaranteed by Proposition 3.1. Then, for any T > and < t T, w L (,T;H 4 ()) C, where the constant C depends only on,t and the initial data. Proof. By Lemma 2.6, w H 4 () C [ w t H 2 () + u w H 2 () + w H 2 () + Ω H 2 ()]. w H 2 () is globally bounded due to Proposition 4.2. To bound u w H 2 (), we apply Lemma 2.4, Lemma 2.2 and the Sobolev embedding H 2 () L () to get u w H 2 () C [ ] u L () w H 2 () + w L () u H 2 () C u H 2 () w H 2 () C [ Ω H 1 () + u L 2 ()] w H 3 () C. according to Propositions Our main efforts are devoted to bounding w t H 2 () and Ω H 2 (). The following two lemmas establish these desired global bounds. With the help of these lemmas, we obtain w L (,T;H 4 ()) C. The two lemmas and their proofs are given below. This completes the proof of Proposition 5.3.

22 22 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU We have used the fact that w t H 2 () is globally bounded. The following lemma states this fact and then prove this fact. Lemma 5.1. Assume that (u,w ) satisfies the conditions in Theorem 1.2. Let (u,w) be the corresponding solution of (1.3)-(1.5) guaranteed by Proposition 3.1. Then, for any T > and < t T, Ω t L (,T;L p ()) C and w t L (,T;H 2 () C, where the constant C depends only on,t and the initial data. Proof. Applying Lemma 2.6 to (4.5) yields w t H 2 () C [ w tt L 2 () + u w t L 2 () + u t w L 2 () ] + w t L 2 () + Ω t L 2 () C [ (5.12) w tt L 2 () + u H 2 () w t L 2 () + u t L 2 () w H 2 () ] + w t L 2 () + Ω t L 2 (). Clearly, theterms u H 2 () w t L 2 ()+ u t L 2 () w H 2 ()+ w t L 2 () areallbounded. Therefore, it suffices to bound Ω t L 2 () and w tt L 2 (). Multiplying (3.3) by Ω t p 2 Ω t and integrating on, we have Ω t p L p () = u Ω Ω t p 2 Ω t dx 2κ w Ω t p 2 Ω t dx. (5.13) By Hölder s inequality and the embeddings H 2 () L () and H 1 () L p (), u Ω Ω t p 2 Ω t dx u L () Ω L p () Ω t p 1 L p () and u H 2 () Ω L p () Ω t p 1 L p () 2κ w Ω t p 2 Ω t dx Cκ w L p () Ω t p 1 L p () Cκ w H 3 () Ω t p 1 L p (). Inserting the estimates above in (5.13) yields Ω t L p () C [ ] u H 2 () Ω L p () + w H 3 () Next we prove the global bound C [ ( Ω H 1 () + u L 2 ()) Ω L p () + w H 3 ()] C. u tt L (,T;L 2 ()) + w tt L (,T;L 2 ()) C. Taking the temporal derivative of the velocity equation in (1.3) yields u tt +u u t +u t u+ p t = 2κ w t. (5.14)

23 otting (5.14) with u tt yields u tt 2 L 2 () = u u t u tt dx 2 MICROPOLAR EQUATIONS 23 u t u u tt dx 2κ u tt w t dx 1 2 u tt 2 L 2 () +C[ u u t 2 L 2 () + u t u 2 L 2 () + w t 2 L 2 () ] 1 2 u tt 2 L 2 () +C[ u 2 L () u t 2 L 2 () + u t 2 L 2 () u 2 L () ] + w t 2 L 2 () 1 2 u tt 2 L 2 () +C[ u 2 H 2 () ( u t 2 L 2 () + Ω t 2 L 2 () ) + u t 2 L 2 () u 2 H 2 () + w ] t 2 L 2 () 1 2 u tt 2 L 2 () +C[ ( u 2 L 2 () + Ω 2 L 2 () )( u t 2 L 2 () + Ω t 2 L 2 () ) + w t 2 L ()], 2 which implies u tt L 2 () C. (5.15) To estimate w tt L 2 (), we take the second-order temporal derivative of (4.5) w ttt +u w tt +2u t w t +u tt w +4κw tt = γ w tt +2κΩ tt. (5.16) Multiplying (5.16) by w tt and integrating on, we have 1 d 2dt w tt 2 L 2 () +γ w tt 2 L 2 () +4κ w tt 2 L 2 () (5.17) = 2 u t w t w tt dx u tt ww tt dx+2κ Ω tt w tt dx. By integration by parts, Hölder s inequality, Young s inequality, Lemma 2.4 and the embedding H 1 () L 4 (), 2 u t w t w tt dx = 2 u t w tt w t dx u t L 4 () w t L 4 () w tt L 2 () γ 6 w tt 2 L 2 () + C γ u t 2 H 1 () w t 2 H 1 () γ 6 w tt 2 L 2 () + C γ [ Ω t 2 L 2 () + u t 2 L 2 () ] w t 2 H 1 (), u tt ww tt dx = u tt w tt wdx u tt L 2 () w L () w tt L 2 () (5.18) (5.19) γ 6 w tt 2 L 2 () + C γ u tt 2 L 2 () w 2 H 2 ()

24 24 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU and 2κ Ω tt w tt dx = 2κ u tt w tt dx γ 6 w tt 2 L 2 () + Cκ2 γ u tt 2 L 2 (). (5.2) Inserting (5.18)-(5.2) in (5.17) yields d dt w tt 2 L 2 () C( Ω t 2 L 2 () + u t 2 L 2 () ) w t 2 H 1 () +C(1+ u tt 2 L 2 () ) w 2 H 2 (). (5.21) Integrating in time yields the desired estimates. This proves Lemma 5.1. We now move on to the second lemma asserting the global bound for Ω H 2 (). Lemma 5.2. Assume that (u,w ) satisfies the conditions in Theorem 1.2. Let (u,w) be the corresponding solution of (1.3)-(1.5) guaranteed by Proposition 3.1. Then, for any T > and < t T, Ω L (,T;H 2 ()) C. where the constant C depends only on,t and the initial data. Proof. Taking 2 i of (4.2) yields t 2 iz +u 2 iz 4κ2 γ 2 iz + 8κ2 γ (1+ κ γ ) 2 iw = u 2 iz 2 i(u Z). (5.22) Multiplying (5.22) by i 2 Z and integrating on, we have 1 d 2dt 2 i Z 2 L 2 () = 4κ2 γ 2 i Z 2 L 2 () 8κ2 γ (1+ κ γ ) i 2 w 2 i Zdx ( + u 2 i Z i(u Z) ) 2 izdx. 2 By u = and the commutator estimate (2.2), ( u 2 i Z i 2 (u Z)) i 2 Zdx (5.23) ( = u 2 i Z i (uz) ) 2 2 (5.24) izdx C ( u L () Z H 2 () i 2 Z L 2 () + u H 3 () Z L () i 2 Z ) L 2 (). Then, by Lemma 2.4 and definition of Z, one has u H 3 () C ( ( Ω H 2 () + u L ()) 2 C Z H 2 () + w H 2 () + u L ()) 2,

25 which together with (4.3) and (5.24) yields ( u 2 i Z i 2 (u Z)) i 2 Zdx 2 MICROPOLAR EQUATIONS 25 By Hölder s inequality, u L () Z H 2 () 2 iz L 2 () + Z H 2 () 2 iz L 2 () +( w H 2 () + u L 2 ()) 2 i Z L 2 (). 8κ2 γ (1+ κ γ ) 2 iw 2 izdx 8κ2 γ (1+ κ γ ) 2 iw L 2 () 2 iz L 2 (). Inserting the estimates in (5.23) and summing up by i, we have 1 d 2dt 2 Z 2 L 2 () C(1+ u L () + w 2 H 2 () + u 2 L 2 () ) ( 2 Z 2 L 2 () + Z 2 L 2 () + Z 2 L 2 () ). Gronwall s inequality implies 2 Z L 2 () C. By the definition of Z and Proposition 4.2, we have This completes the proof of Lemma 5.2. Ω H 2 () Z H 2 + w H 2 () C. 6. Large time behavior This section proves Theorem 1.3, namely the large-time estimate stated in (1.14) under the condition that γ > 4κ. Proof of Theorem 1.3. To begin with, we take the inner product of (1.11) with (u,w) to obtain 1 d 2dt ( u 2 L 2 () + w 2 L 2 () )+κ u 2 L 2 () +γ w 2 L 2 () (6.1) =2κ u wdx+2κ w udx = 4κ u wdx where we have used (3.1) to combine the two terms on the right. By Hölder s inequality, 4κ u wdx 4κ u L 2 () w L 2 () 8κ2 γ +4κ u(t) 2 L 2 () + γ +4κ w(t) 2 L 2 2 (). Therefore, d dt ( u(t) 2 L 2 () + w(t) 2 L 2 () ) + Noticing that w =, we have, by Lemma 2.3, 2κ(γ 4κ) γ +4κ u(t) 2 L 2 () +(γ 4κ) w(t) 2 L 2 (). w 2 L 2 () C w 2 L 2 (), (6.2)

26 26 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU which, together with (6.2), yields 1 d 2dt ( u 2 L 2 () + w 2 L 2 () Since γ > 4κ, it is then clear that where C is given by )+ 2κ(γ 4κ) γ +4κ u 2 L 2 () (γ 4κ) + w 2 L C 2 (). u 2 L 2 () + w 2 L 2 () e C t ( u 2 L 2 () + w 2 L 2 ()), (6.3) { } 2κ(γ 4κ) (γ 4κ) C = min,. γ +4κ C In addition, multiplying (6.2) by e C t 2 and integrating in time yields 2κ(γ 4κ) γ +4κ t e C 2 τ u(τ) 2 L 2 () dτ +(γ 4κ) t e C 2 τ w(τ) 2 L 2 () dτ u 2 L 2 () + w 2 L 2 (). (6.4) We now turn to the decay of the gradient of (u,w). Multiplying (3.3) by Ω and the w-equation in (1.11) by w and then integrating on, one has 1 d 2dt ( Ω 2 L 2 () + w 2 L 2 () )+κ Ω 2 L 2 () +γ w 2 L 2 () = 4κ wωdx+ u w wdx. By Young s inequality, 4κ wωdx 16κ2 γ +12κ Ω 2 L 2 () + γ +12κ w 2 L 4 2 (). By Hölder s inequality, Corollary 2.1, Lemma 2.4 and Young s inequality, u w wdx C u L 4 () w L 4 () w L 2 () C u 1 2 L 2 () u 1 2 L 2 () ( w 1 2 L 2 () 2 w 1 2 L 2 () + w L 2 ()) w L 2 () C u 1 2 L 2 () ( Ω 1 2 L 2 () + u 1 2 L 2 () )( w 1 2 L 2 () w 1 2 L 2 () + w L 2 ()) w L 2 () Inserting the estimates above in (6.5), we have γ 4κ w 2 L 4 2 () +C(1+ u 2 L 2 () )( u 2 L 2 () + Ω 2 L 2 () ) w 2 L 2 (). (6.5) d dt ( Ω 2 L 2 () + w 2 L 2 () )+ 4κ(γ 4κ) γ +12κ Ω 2 L 2 () +2(γ 4κ) w 2 L 2 () C(1+ u 2 L 2 () )( u 2 L 2 () + Ω 2 L 2 () ) w 2 L 2 (). (6.6)

27 2 MICROPOLAR EQUATIONS 27 We note that γ > 4κ. Applying Gronwall s inequality and using (6.4), we have Ω 2 L 2 () + w 2 L 2 () ec(1+ u 2 L 2 ) ( t ) () w(τ) 2 L 2 dτ () Ω 2 L 2 () + w 2 L 2 () +e C(1+ u 2 L 2 ) ( t t ) () w(τ) 2 L 2 dτ () ( u 2 L 2 () + u 2 L 4 () ) w(τ) 2 L 2 () dτ C(u,w ), (6.7) where C is a constant depending only on H 1 -norm of (u,w ). This global bound, together with (6.3), allows us to obtain the global exponential bound for the gradient of (u,w). In fact, if we set { 4κ(γ 4κ) C 1 = min γ +12κ, C } 2 and multiply (6.6) by e C1t and integrate in time, we have d ( ) e C1t Ω 2 L dt 2 () +ec 1t w 2 L 2 () C 1 e C1t w 2 L 2 () +C(1+ u 2 L 2 () )( u 2 L 2 () + Ω 2 L 2 () )ec 1t w 2 L 2 (). Integrating in time and recalling the global bounds in (6.4) and (6.7) yields that e C 1t Ω(t) 2 L 2 () +ec 1t w(t) 2 L 2 () C(u,w ), where C(u,w ) depends on u H 1 () and w H 1 () only. This completes the proof of Theorem 1.3. Acknowledgments Q. Jiu was partially supported by National Natural Sciences Foundation of China (No and No ). J. Wu was partially supported by National Science Foundation grants MS and MS , by the AT&T Foundation at Oklahoma State University, and by National Natural Sciences Foundation of China (No , a grant awarded to Professor B. Yuan). References [1] J. P. Bourguignon and H. Brezis, Remarks on the Euler equation, J. Funct. Anal. 15 (1974), [2] Z. Chen and W. G. Price, ecay estimates of linearized micropolar fluid flows in R 3 space with applications to L 3 -strong solutions, Internat. J. Engrg. Sci. 44 (26), [3] B. ong and Z. Chen, Regularity criteria of weak solutions to the three-dimensional micropolar flows, J. Math. Phys. 5 (29),

28 28 QUANSEN JIU, JITAO LIU, JIAHONG WU, HUAN YU [4] B. ong and Z. Chen, Asymptotic profiles of solutions to the 2 viscous incompressible micropolar fluid flows, iscrete Cont. yn. Sys. 23 (29), [5] B. ong, J. Li and J. Wu, Global well-posedness and large-time decay for the 2 micropolar equaitons, J. ifferential Equations, revised. [6] B. ong and Z. Zhang, Global regularity of the 2 micropolar fluid flows with zero angular viscosity, J. ifferential Equations 249 (21), [7] A. C. Eringen, Theory of micropolar fluids, J. Math. Mech. 16 (1966), [8] A. C. Eringen, Micropolar fluids with stretch, Int. J. Engng. Eci. 7 (1969), [9] L. C. Evans, Partial differential equations, Grad. Stud. Math, 19, Amer. Math. Soc., Providence, RI, [1] C. Foias and R. Temam, Remarques sur les équations de Navier-Stokes stationnaires et les phénomènes successifs de bifurcation, Ann. Sci. Norm. Pisa V 1978, [11]. Gilbarg and N. S. Trudinger, Elliptic Partial ifferential Equations of Second Order, Springer-Verlag, Berlin-Heidelberg-New York, [12] T. Kato, On classical solutions of the two-dimensional non-stationary Eular equation, Arch. Rational Mech. Anal. 25(1967), [13] A. Kiselev and V. Sverak, Small scale creation for solutions of the incompressible two-dimensional Euler equation, Ann. of Math. (2) 18 (214), [14] O. A. Ladyzenskaja, V. A. Solonnikov, N. N. Ural ceva, Linear and quasilinear equations of parabolic type, Transl. Math. Mono., Vol. 23 AMS, Providence, R.I [15] P. G. Lemarie-Rieusset, Recent evelopments in the Navier-Stokes Problem, Chapman & Hall/CRC Research Notes in Mathematics Series, CRC Press, 22. [16] G. Lukaszewicz, Micropolar Fluids. Theory and Applications, Model. Simul. Sci. Eng. Technol., Birkhäuser, Boston, [17] A. Majda and A. Bertozzi, Vorticity and incompressible flow, Cambridge Texts Appl. Math., 27, Cambridge Univ. Press, Cambridge, 22. [18] L. Nirenberg, On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa (3) 13 (1959), [19] E. M. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, Princeton, NJ, [2] L. Xue, Well posedness and zero microrotation viscosity limit of the 2 micropolar fluid equations, Math. Methods Appl. Sci. 34 (211), (Quansen Jiu) School of Mathematical Sciences, Capital Normal Universit y, Beijing, 148, P.R. China. address: jiuqs@mail.cnu.edu.cn

29 2 MICROPOLAR EQUATIONS 29 (Jitao Liu) College of Applied Sciences, Beijing University of Technology, Beijing, 1124, P. R. China. address: (Jiahong Wu) epartment of Mathematics, Oklahoma State University, Stillwater, OK 7478, USA. address: (Huan Yu) Institute of Applied Physics and Computational Mathematics, Beijing, 188, P.R. China. address: