1. Introduction and Main Result

In this paper, we consider a three-dimensional micropolar fluid equations model described by the following equations: associated with the initial condition where is the unknown velocity vector field, is the unknown scalar pressure field, and is the unknown microrotation vector field with in the sense of distribution. and represent the prescribed initial data for the velocity and microrotation fields.

Here,

Micropolar fluid equations introduced by Eringen [1] in 1960’ are a special model of the non-Newtonian fluids which is coupled with the viscous incompressible Navier-Stokes model, microrotational effects and microrotational inertia. Physically, micropolar fluid may represent fluids that consist 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 system [2]. When the microrotation effects are neglected or , the micropolar fluid equations reduces to the classic Navier-Stokes flows (see [3]).

Due to the importance of both physics and mathematics, the questions on the well posedness and asymptotic behaviors of solutions for micropolar fluid equations have been attracted more and more attention. Galdi and Rionero [4], Łukaszewicz [5] considered the existence of weak solutions of the micropolar fluid flows (1.1)-(1.2). the existence of strong solutions with either local for large data or global for small data is considered by many authors [6–9]. One may also refer to the interesting results on the large time behaviors of micropolar fluid equations in [10–13].

However, similar to the classic Navier-Stokes equations, the question of global regularity of the weak solutions of the 3D micropolar fluid equations still remain a big open problem. It is of importance on the study of regularity of the weak solutions under additional critical growth conditions on the velocity or the pressure. Based on some analysis technique, some regularity criteria via the velocity of weak solutions in the Lebesgue spaces, multiplier spaces and Besov spaces have been obtained in [14–16]. In particular, as for the pressure criterion, Dong et al. [17] (see also Yuan [18]) showed that the weak solution becomes regular if the pressure satisfies or where and denote the Lorentz space and Besov space. Later on, those results of pressure regularity criteria were further improved to the largest critical Besov spaces by Jia et al. [19] as where

One may also refer to some interesting results on the pressure criteria for Navier-Stokes equations [20–23] and MHD equations [24, 25].

The aim of this paper is to study the logarithmical regularity criterion for the three-dimensional micropolar fluid equations in terms of the partial derivative of pressure in the Lebesgue space or pressure in Besov spaces. Before giving the main results, we first recall the definition of weak solutions for micropolar fluid equations (1.1)-(1.2).

Definition 1.1 (Lukaszewicz [5]). Let and in the sense of distribution. A pair vector field is termed as a weak solution of (1.1)-(1.2) on (), if satisfies the following properties:(i);(ii) in the sense of distribution;(iii) verifies (1.1) in the sense of distribution.

Now our result reads as follows.

Theorem 1.2. Suppose and is a weak solution of the micropolar fluid equations (1.1)-(1.2). If the partial derivative of the pressure, for example, satisfies the logarithmical Serrin’s type condition then the weak solution becomes a regular solution on .

Theorem 1.3. On substitution of logarithmical Serrin’s type condition (1.8) by the following growth condition the conclusion of Theorem 1.2 holds true.

Remark 1.4. It is easy to see that (1.8) on the partial derivative of pressure does not seem comparable with (1.4)–(1.6) on the total pressure at least there is no inclusion relation between them. Moreover, (1.9) can be viewed as an extension of (1.4)–(1.6). Since the growth condition (1.8) is about and (1.9) is on the Besov space , the methods in previous results in [17–19] are not available any more. In order to come over the additional difficulty, the rigorous analysis due to the new structure in nonlinear terms of the system (1.1)-(1.2) is made and some anisotropic function inequalities are also employed.

2. Preliminaries

Throughout this paper, we denote by the constant which may change from line to line. We also use the following usual function spaces , , denote the Lebesgue space of all integral functions associated with the norm denotes the Hilbert space .

denotes the homogeneous Besov space which is defined by the full-dyadic decomposition such as where and , are the spaces of all tempered distributions on and the set of all scalar polynomials defined on , respectively. It is worthy to note that the homogeneous Besov space is equivalent to the Hilbert space .

In order to prove the main results, we need to recall some anisotropic inequalities. The following Sobolev inequality is due to Cao and Wu [26].

Lemma 2.1 (Cao and Wu [26]). Let the three constants satisfy Assume , and , then there exists a constant such that

We also recall an interpolation inequality in Besov space due to Meyer [27].

Lemma 2.2 (Meyer [27]). Let , and , we have for all ,

The following local existence and uniqueness of the strong solution for 3D micropolar fluid equations obtained by Dong et al. [17].

Lemma 2.3 (Dong et al. [17]). Assume and with in the sense of distributions. Then there exist a constant and a unique strong solution of the 3D micropolar fluid equations (1.1)-(1.2) such that

3. Proof of Main Results

According to the local existence result in Lemma 2.3, it allows us to construct a unique -strong solution of micropolar fluid equations (1.1)-(1.2) under the initial data . Moreover, the strong solution can be proved to exist on a maximal time interval using the standard local solution extension technique. For the notation simplicity, we may suppose that the maximal time interval is . Thus, to prove the main results, it suffices to show that

This boundedness will be obtained by the following steps.

3.1. Uniform Estimates of Solutions

In order to prove the main results, we first need some basic estimates of the solutions for the 3D micropolar fluid equations (1.1)-(1.2).

Taking the inner product of the second equation of (1.1) with and integrating by parts, it follows that where we have used the following facts:

Similarly, taking the inner product of the second equation of (1.1) with and integrating by parts yield where we have used

Combination of (3.2) and (3.4) derives

With the use of Hölder’s inequality, Young’s inequality, and integration by parts, the first two terms on the right-hand side of (3.6) is bounded by

Inserting (3.7) into (3.6), we obtain

In order to estimate , we first establish some estimates between the pressure and the velocity. Taking the operator div on both sides of the second equation of (1.1) gives

Applying boundedness of the singular integral operators yields

Then employing the integration by parts and Hölder’s inequality, we estimate as

Now we begin to prove Theorems 1.2 and 1.3, respectively.

3.2. Proof of Theorem 1.2

Applying Lemma 2.1 to by choosing , such that Thus, we have Thanks to , then Using (3.10) together with Hölder’s inequality and Gagliardo-Nirenberg inequality derives that

Plugging (3.13) and (3.15) into (3.11) and employing Young’s inequality yield that where we have used the following facts in the last line:

Then inserting (3.16) into (3.8) obtains or

Denote and thanks to we have for

Thus, plugging (3.22) into (3.19) and denoting we have

Taking Gronwall’s inequality into consideration derives

Thanks to is a weak solution of the 3D micropolar equations (1.1)-(1.2), then

we rewrite (3.25) as

Applying Gronwall’s inequality again yields which implies that

Hence, we complete the proof of Theorem 1.2.

3.3. Proof of Theorem 1.3

Applying Lemma 2.2 to by choosing we have

Plugging the above inequality into (3.11) together with Young’s inequality implies