Volume 2011, Issue 1 456547
Research Article
Open Access

Regularity Criterion for Weak Solution to the 3D Micropolar Fluid Equations

Yu-Zhu Wang

Corresponding Author

Yu-Zhu Wang

School of Mathematics and Information Sciences, North China University of Water Resources and Electric Power, Zhengzhou 450011, China ncwu.edu.cn

Search for more papers by this author
Zigao Chen

Zigao Chen

School of Mathematics and Information Sciences, North China University of Water Resources and Electric Power, Zhengzhou 450011, China ncwu.edu.cn

Search for more papers by this author
First published: 13 August 2011
Citations: 2
Academic Editor: Ch Tsitouras

Abstract

Regularity criterion for the 3D micropolar fluid equations is investigated. We prove that, for some T > 0, if , where 3/ϱ + 2/ρ ≤ 1 and ϱ ≥ 3, then the solution (v, w) can be extended smoothly beyond t = T. The derivative can be substituted with any directional derivative of v.

1. Introduction

In the paper, we investigate the initial value problem for the micropolar fluid equations in 3:
()
with the initial value
()
where v(t, x),  w(t, x), and π(t, x) stand for the divergence free velocity field, nondivergence free microrotation field (angular velocity of the rotation of the particles of the fluid), the scalar pressure, respectively ν > 0 is the Newtonian kinetic viscosity, κ > 0 is the dynamics microrotation viscosity, and α, β, γ > 0 are the angular viscosity (see, e.g., Lukaszewicz [1]).

The micropolar fluid equations was first proposed by Eringen [2]. It is a type of fluids which exhibits the microrotational effects and microrotational inertia and can be viewed as a non-Newtonian fluid. Physically, micropolar fluid may represent fluids that consists of rigid, randomly oriented (or spherical) particles suspended in a viscous medium, where the deformation of fluid particles is ignored. It can describe many phenomena appeared in a large number of complex fluids such as the suspensions, animal blood, and liquid crystals which cannot be characterized appropriately by the Navier-Stokes equations, and that is important to the scientists working with the hydrodynamic fluid problems and phenomena. For more background, we refer to [1] and references therein. Besides their physical applications, the micropolar fluid equations are also mathematically significant. The existences of weak and strong solutions for micropolar fluid equations were treated by Galdi and Rionero [3] and Yamaguchi [4], respectively. The convergence of weak solutions of the micropolar fluids in bounded domains of n was investigated (see [5]). When the viscosities tend to zero, in the limit, a fluid governed by an Euler-like system was found. Fundamental mathematical issues such as the global regularity of their solutions have generated extensive research, and many interesting results have been obtained (see [68]). A Beale-Kato-Madja criterion (see [9]) of smooth solutions to a related model with (1.1) was established in [10].

If κ = 0 and w = 0, then (1.1) reduces to be the Navier-Stokes equations. Besides its physical applications, the Navier-Stokes equations are also mathematically significant. In the last century, Leray [11] and Hopf [12] constructed weak solutions to the Navier-Stokes equations. The solution is called the Leray-Hopf weak solution. Later on, much effort has been devoted to establish the global existence and uniqueness of smooth solutions to the Navier-Stokes equations. Different criteria for regularity of the weak solutions have been proposed, and many interesting results are established (see [1331]).

The purpose of this paper is to establish the regularity criteria of weak solutions to (1.1), (1.2) via the derivative of the velocity in one direction. It is proved that if with
()
then the solution (v, w) can be extended smoothly beyond t = T.

The paper is organized as follows. We first state some important inequalities in Section 2, which play an important roles in the proof of our main result. Then, we give definition of weak solution and state main results in Section 3 and then prove main result in Section 4.

2. Preliminaries

In order to prove our main result, we need the following Lemma, which may be found in [32] (see also [33, 34]). For the convenience of the readers, the proof of the Lemmas are provided.

Lemma 2.1. Assume that μ, λ, ι and satisfy

()
Assume that fH1(3), , and . Then, there exists a positive constant such that
()
Especially, when λ = 2, there exists a positive constant C = C(μ) such that
()
which holds for any fH1(3) and with 1 ≤ μ < .

Proof. It is not difficult to find

()
Then, we obtain
()
Integrating with respect to x1 and using Hölder inequality, we have
()
Integrating with respect to x2, x3 and using Hölder inequality, we obtain
()
It follows from Hölder inequality that
()
By the above inequality, we get (2.2).

Lemma 2.2. Let 2 ≤ q ≤ 6 and assume that fH1(3). Then, there exists a positive constant C = C(q) such that

()

Proof. Using the interpolating inequality, we obtain

()
By (2.3) with μ = 2, we have
()
Combining (2.10) and (2.11) yields (2.9).

3. Main Results

Before stating our main results, we introduce some function spaces. Let
()
The subspace
()
is obtained as the closure of with respect to L2-norm . is the closure of with respect to the Hr-norm
()
Before stating our main results, we give the definition of weak solution to (1.1), (1.2) (see [6]).

Definition 3.1 (Weak solutions). Let T > 0,  ,  and w0L2(3). A measurable 3-valued triple (v, w) is said to be a weak solution to (1.1), (1.2) on [0, T] if the following conditions hold the following.

  • (1)

    ()

  • (2)

    Equations (1.1), (1.2) are satisfied in the sense of distributions; that is, for every and ψH1((0, T); H1) with φ(T) = ψ(T) = 0, hold

    ()
    ()

  • (3)

    The energy inequality, that is,

    ()

Theorem 3.2. Let with w0H1(3). Assume that (v, w) is a weak solution to (1.1), (1.2) on some interval [0, T]. If

()
where
()
then the solution (v, w) can be extended smoothly beyond t = T.

4. Proof of Theorem 3.2

Proof. Multiplying the first equation of (1.1) by v and integrating with respect to x on 3, using integration by parts, we obtain

()
Similarly, we get
()
Summing up (4.1)-(4.2), we deduce that
()
By integration by parts and Cauchy inequality, we obtain
()
Combining (4.3)-(4.4) yields
()
Integrating with respect to t, we have
()
Differentiating (1.1) with respect to x3, we obtain
()
Taking the inner product of with the first equation of (4.7) and using integration by parts yields
()
Similarly, we get
()
Combining (4.8)–(4.9) yields
()
Using integration by parts and Cauchy inequality, we obtain
()
Combining (4.10)–(4.11) yields
()

In what follows, we estimate Ij  (j = 1,2 … , 5). By integration by parts and Hölder inequality, we obtain

()
where
()
It follows from the interpolating inequality that
()
From (2.3), we get
()
where
()
When ϱ ≥ 3, we have 2q ≤ 2 and application of Young inequality yields
()
where
()
From Hölder inequality, we obtain
()
where
()
Combining (4.12)–(4.20) yields
()
From Gronwall inequality, we get
()

Multiplying the first equation of (1.1) by −Δv and integrating with respect to x on 3, then using integration by parts, we obtain

()
Similarly, we get
()
Collecting (4.24) and (4.25) yields
()
Thanks to integration by parts and Cauchy inequality, we get
()
It follows from (4.26)-(4.27) and integration by parts that
()

In what follows, we estimate Ji(i = 1,2).

By (2.9) and Young inequality, we deduce that

()
where .

By (2.9) and Young inequality, we have

()
where .

Combining (4.28)–(4.30) yields

()
From (4.31), Gronwall inequality, (4.6), and (4.23), we know that (v, w) ∈ L(0, T; H1(3)). Thus, (v, w) can be extended smoothly beyond t = T. We have completed the proof of Theorem 3.2.

Acknowledgments

This work was supported in part by the NNSF of China (Grant no. 10971190) and the Research Initiation Project for High-level Talents (201031) of the North China University of Water Resources and Electric Power.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.