Regularity criterion for a weak solution to the three-dimensional magneto-micropolar fluid equations

Yinxia Wang

doi:10.1186/1687-2770-2013-58

Research
Open Access

Regularity criterion for a weak solution to the three-dimensional magneto-micropolar fluid equations

Yinxia Wang¹Email author

Boundary Value Problems20132013:58

https://doi.org/10.1186/1687-2770-2013-58

Received: 30 January 2013
Accepted: 4 March 2013
Published: 25 March 2013

Abstract

In this paper, a regularity criterion for the 3D magneto-micropolar fluid equations is investigated. A sufficient condition on the derivative of the velocity field in one direction is obtained. More precisely, we prove that if $u_{x_{3}}$ belongs to $L^{β} (0, T; L^{α} (R^{3}))$ with $\frac{3}{α} + \frac{2}{β} \leq 1$ and $α \geq 3$ , then the solution $(u, v, b)$ is regular.

MSC:35K15, 35K45.

Keywords

magneto-micropolar fluid equations
weak solution
regularity criterion

1 Introduction

In the paper we investigate the initial value problem for magneto-micropolar fluid equations in

R^{3}

{\begin{matrix} \partial_{t} u - (μ + χ) Δ u + u \cdot \nabla u - b \cdot \nabla b + \nabla (p + \frac{1}{2} {| b |}^{2}) - χ \nabla \times v = 0, \\ \partial_{t} v - γ Δ v - κ \nabla \nabla \cdot v + 2 χ v + u \cdot \nabla v - χ \nabla \times u = 0, \\ \partial_{t} b - ν Δ b + u \cdot \nabla b - b \cdot \nabla u = 0, \\ \nabla \cdot u = 0, \nabla \cdot b = 0, \end{matrix}

(1.1)

with the initial value

t = 0 : u = u_{0} (x), v = v_{0} (x), b = b_{0} (x),

(1.2)

where $u (t, x)$ , $v (t, x)$ , $b (t, x)$ and $p (t, x)$ denote the velocity of the fluid, the micro-rotational velocity, magnetic field and hydrostatic pressure, respectively. μ is the kinematic viscosity, χ is the vortex viscosity, γ and κ are spin viscosities and $\frac{1}{ν}$ is the magnetic Reynold.

The incompressible magneto-micropolar fluid equations (1.1) have been studied extensively (see [1–6] and [7–10]). The existence and uniqueness of local strong solutions is proved by the Galerkin method in [5]. In [4], the author proved global existence of a strong solution with the small initial data. The existence of weak solutions and the uniqueness of weak solutions in 2D case were established in [6]. Yuan [8] obtained a Beale-Kato-Majda type blow-up criterion for a smooth solution $(u, v, b)$ to the Cauchy problem for (1.1) that relies on the vorticity of velocity $\nabla \times u$ only. Wang et al. [10] established a Beale-Kato-Majda blow-up criterion of smooth solutions to the 3D magneto-micropolar fluid equation with partial viscosity. Fundamental mathematical issues such as the regularity of weak solutions have generated extensive research and many interesting results have been established (see [1, 7] and [9]).

If $b = 0$ , (1.1) reduces to micropolar fluid equations. The micropolar fluid equations were first proposed by Eringen [11] (see also [12]). The existence of weak and strong solutions for micropolar fluid equations was obtained by Galdi and Rionero [13] and Yamaguchi [14], respectively. Dong and Chen [15] established regularity criteria of weak solutions to the three-dimensional micropolar fluid equations. In [3], the authors gave sufficient conditions on the kinematics pressure in order to obtain the regularity and uniqueness of weak solutions to the micropolar fluid equations. For more details on regularity criteria, see [16, 17] and [18].

If both $v = 0$ and $χ = 0$ , then equations (1.1) reduce to be magneto-hydrodynamic(MHD) equations. Magnetohydrodynamics (MHD), the science of motion of an electrically conducting fluid in the presence of a magnetic field, consists essentially of the interaction between the fluid velocity and the magnetic field (see [19]). Besides their physical applications, the MHD equations are also mathematically significant. The local existence of solutions to the Cauchy problem (1.1), (1.2) in the usual Sobolev spaces $H^{s} (R^{3})$ was established in [20] for any given initial data $u_{0}, B_{0} \in H^{s} (R^{3})$ , $s \geq 3$ . But whether the local solution can be extended to a global solution is a challenging open problem in the mathematical fluid mechanics. There are numerous important progresses on the fundamental issue of the regularity for the weak solution to (1.1), (1.2) (see [21–28] and [29–32]).

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 $\int_{0}^{T} {∥ u_{x_{3}} ∥}_{L^{α}}^{β} d t < \infty$ with $\frac{3}{α} + \frac{2}{β} \leq 1$ and $α \geq 3$ , then the solution $(u, v, b)$ can be extended smoothly beyond $t = T$ .

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

2 Preliminaries

In order to prove our main result, we need the following lemma, which may be found in [33] (see also [21, 34] and [35]).

Lemma 2.1 Assume that

θ, λ, ϑ \in R

and satisfy

1 \leq θ, λ < \infty, \frac{1}{θ} + \frac{2}{λ} > 1, 1 + \frac{3}{ϑ} = \frac{1}{θ} + \frac{2}{λ} .

Assume that

f \in H^{1} (R^{3})

,

f_{x_{1}}, f_{x_{2}} \in L^{λ} (R^{3})

and

f_{x_{3}} \in L^{θ} (R^{3})

. Then there exists a positive constant such that

{∥ f ∥}_{L^{ϑ}} \leq C {∥ f_{x_{1}} ∥}_{L^{λ}}^{\frac{1}{3}} {∥ f_{x_{2}} ∥}_{L^{λ}}^{\frac{1}{3}} {∥ f_{x_{3}} ∥}_{L^{θ}}^{\frac{1}{3}} .

(2.1)

Especially, when

λ = 2

, there exists a positive constant

C = C (θ)

such that

{∥ f ∥}_{L^{3 θ}} \leq C {∥ f_{x_{1}} ∥}_{L^{2}}^{\frac{1}{3}} {∥ f_{x_{2}} ∥}_{L^{2}}^{\frac{1}{3}} {∥ f_{x_{3}} ∥}_{L^{θ}}^{\frac{1}{3}},

(2.2)

which holds for any $f \in H^{1} (R^{3})$ and $f_{x_{3}} \in L^{θ} (R^{3})$ with $1 \leq μ < \infty$ .

Lemma 2.2 Let

2 \leq q \leq 6

and assume that

f \in H^{1} (R^{3})

. Then there exists a positive constant

C = C (q)

such that

{∥ f ∥}_{L^{q}} \leq C {∥ f ∥}_{L^{2}}^{\frac{6 - q}{2 q}} {∥ \partial_{x_{1}} f ∥}_{L^{2}}^{\frac{q - 2}{2 q}} {∥ \partial_{x_{2}} f ∥}_{L^{2}}^{\frac{q - 2}{2 q}} {∥ \partial_{x_{3}} f ∥}_{L^{2}}^{\frac{q - 2}{2 q}} .

(2.3)

Proof

It follows from the interpolating inequality that

{∥ f ∥}_{L^{q}} \leq C {∥ f ∥}_{L^{2}}^{\frac{6 - q}{2 q}} {∥ f ∥}_{L^{6}}^{\frac{3 q - 6}{2 q}} .

(2.4)

Using (2.2) with

θ = 2

, we obtain

{∥ f ∥}_{L^{6}} \leq C {∥ \partial_{x_{1}} f ∥}_{L^{2}}^{\frac{1}{3}} {∥ \partial_{x_{2}} f ∥}_{L^{2}}^{\frac{1}{3}} {∥ \partial_{x_{3}} f ∥}_{L^{2}}^{\frac{1}{3}} .

(2.5)

Combining (2.4) and (2.5) immediately yields (2.3). □

3 Main results

Before stating our main results, we introduce some function spaces. Let

C_{0, σ}^{\infty} (R^{3}) = {φ \in {(C^{\infty} (R^{3}))}^{3} : \nabla \cdot φ = 0} \subset {(C^{\infty} (R^{3}))}^{3} .

The subspace

L_{σ}^{2} = {\bar{C_{0, σ}^{\infty} (R^{3})}}^{{∥ \cdot ∥}_{L^{2}}} = {φ \in L^{2} (R^{3}) : \nabla \cdot φ = 0}

is obtained as the closure of

C_{0, σ}^{\infty}

with respect to

L^{2}

-norm

{∥ \cdot ∥}_{L^{2}}

.

H_{σ}^{r}

is the closure of

C_{0, σ}^{\infty}

with respect to the

H^{r}

-norm

{∥ φ ∥}_{H^{r}} = {∥ {(I - Δ)}^{\frac{r}{2}} φ ∥}_{L^{2}}, r \geq 0 .

Before stating our main results, we give the definition of a weak solution to (1.1), (1.2) (see [1, 7] and [9]).

Definition 3.1 (Weak solutions)

Let

T > 0

,

u_{0}, b_{0} \in L_{σ}^{2} (R^{3})

,

v_{0} \in L^{2} (R^{3})

. A measurable

R^{3}

-valued triple

(u, v, b)

is said to be a weak solution to (1.1), (1.2) on

[0, T]

if the following conditions hold:

1.

$(u, b) \in L^{\infty} (0, T; L_{σ}^{2} (R^{3})) \cap L^{2} (0, T; H_{σ}^{1} (R^{3}))$

and
$v \in L^{\infty} (0, T; L^{2} (R^{3})) \cap L^{2} (0, T; H^{1} (R^{3})) .$
2.

(1.1), (1.2) is satisfied in the sense of distributions, i.e., for every $(φ, ψ) \in H^{1} ((0, T); H_{σ}^{1})$ and $ϕ \in H^{1} ((0, T); H^{1})$ with $φ (T) = ψ (T) = ϕ (T) = 0$ , the following hold:

and
$\int_{0}^{T} {- 〈 b, \partial_{τ} ψ 〉 + ν 〈 \nabla b, \nabla ψ 〉 + 〈 u \cdot \nabla b, ψ 〉 - 〈 b \cdot \nabla u, ψ 〉} d τ = 〈 b_{0}, ψ (0) 〉 .$
3.

The energy inequality, that is,

(3.1)

Theorem 3.1 Let

u_{0}, b_{0} \in H_{σ}^{1} (R^{3})

with

v_{0} \in H^{1} (R^{3})

. Assume that

(u, v, b)

is a weak solution to (1.1), (1.2) on some interval

[0, T]

. If

Φ (T) \equiv \int_{0}^{T} {∥ u_{x_{3}} ∥}_{L^{α}}^{β} d t < \infty,

(3.2)

where

\frac{3}{α} + \frac{2}{β} \leq 1, α \geq 3,

then the solution $(u, v, b)$ can be extended smoothly beyond $t = T$ .

4 Proof of Theorem 3.1

Proof Multiplying the first equation of (1.1) by u and integrating with respect to x on

R^{3}

, using integration by parts, we obtain

\frac{1}{2} \frac{d}{d t} {∥ u (t) ∥}_{L^{2}}^{2} + (μ + χ) {∥ \nabla u (t) ∥}_{L^{2}}^{2} = \int_{R^{3}} b \cdot \nabla b \cdot u d x + χ \int_{R^{3}} (\nabla \times v) \cdot u d x .

(4.1)

Similarly, we get

\frac{1}{2} \frac{d}{d t} {∥ v (t) ∥}_{L^{2}}^{2} + γ {∥ \nabla v (t) ∥}_{L^{2}}^{2} + κ {∥ \nabla \cdot v ∥}_{L^{2}}^{2} + 2 χ {∥ v ∥}_{L^{2}}^{2} = χ \int_{R^{3}} (\nabla \times u) \cdot v d x

(4.2)

and

\frac{1}{2} \frac{d}{d t} {∥ b (t) ∥}_{L^{2}}^{2} + ν {∥ \nabla b (t) ∥}_{L^{2}}^{2} = \int_{R^{3}} b \cdot \nabla u \cdot b d x .

(4.3)

Summing up (4.1)-(4.3), we deduce that

(4.4)

By integration by parts and the Cauchy inequality, we obtain

χ \int_{R^{3}} (\nabla \times v) \cdot u d x + χ \int_{R^{3}} (\nabla \times u) \cdot v d x \leq χ {∥ \nabla u ∥}_{L^{2}}^{2} + χ {∥ v ∥}_{L^{2}}^{2} .

(4.5)

Using integration by parts, we obtain

\int_{R^{3}} b \cdot \nabla b \cdot u d x + \int_{R^{3}} b \cdot \nabla u \cdot b d x = 0 .

(4.6)

Combining (4.4)-(4.6) yields

Integrating with respect to t, we have

(4.7)

Differentiating (1.1) with respect to

x_{3}

, we obtain

{\begin{matrix} \partial_{t} u_{x_{3}} - (μ + χ) Δ u_{x_{3}} + u_{x_{3}} \cdot \nabla u + u \cdot \nabla u_{x_{3}} - b_{x_{3}} \cdot \nabla b - b \cdot \nabla b_{x_{3}} \\ + \nabla {(p + \frac{1}{2} {| b |}^{2})}_{x_{3}} - χ \nabla \times v_{x_{3}} = 0, \\ \partial_{t} v_{x_{3}} - γ Δ v_{x_{3}} - κ \nabla \cdot \nabla v_{x_{3}} + 2 χ v_{x_{3}} + u_{x_{3}} \cdot \nabla v + u \cdot \nabla v_{x_{3}} - χ \nabla \times u_{x_{3}} = 0, \\ \partial_{t} b_{x_{3}} - ν Δ b_{x_{3}} + u_{x_{3}} \cdot \nabla b + u \cdot \nabla b_{x_{3}} - b_{x_{3}} \cdot \nabla u - b \cdot \nabla u_{x_{3}} = 0 . \end{matrix}

(4.8)

Taking the inner product of

u_{x_{3}}

with the first equation of (4.8) and using integration by parts yield

(4.9)

Similarly, we get

(4.10)

and

(4.11)

Combining (4.9)-(4.11) yields

(4.12)

Using integration by parts and the Cauchy inequality, we obtain

χ \int_{R^{3}} (\nabla \times v_{x_{3}}) \cdot u_{x_{3}} d x + χ \int_{R^{3}} (\nabla \times u_{x_{3}}) \cdot v_{x_{3}} d x \leq χ {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2} + χ {∥ v_{x_{3}} ∥}_{L^{2}}^{2} .

(4.13)

Using integration by parts, we have

\int_{R^{3}} b \cdot \nabla b_{x_{3}} \cdot u_{x_{3}} d x + \int_{R^{3}} b \cdot \nabla u_{x_{3}} \cdot b_{x_{3}} d x = 0 .

(4.14)

Combining (4.12)-(4.14) yields

(4.15)

In what follows, we estimate

I_{j}

(

j = 1, 2, \dots, 5

). By integration by parts and the Hölder inequality, we obtain

I_{1} \leq C {∥ \nabla u_{x_{3}} ∥}_{L^{2}} {∥ u_{x_{3}} ∥}_{L^{ϱ}} {∥ u ∥}_{L^{3 α}},

where

\frac{1}{ϱ} + \frac{1}{3 α} = \frac{1}{2}, 2 \leq ϱ \leq 6 .

It follows from the interpolating inequality that

{∥ u_{x_{3}} ∥}_{L^{ϱ}} \leq C {∥ u_{x_{3}} ∥}_{L^{2}}^{1 - 3 (\frac{1}{2} - \frac{1}{ϱ})} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{3 (\frac{1}{2} - \frac{1}{ϱ})} .

From (2.2), we get

\begin{array}{rcl} I_{1} & \leq & C {∥ \nabla u_{x_{3}} ∥}_{L^{2}} {∥ u_{x_{3}} ∥}_{L^{2}}^{1 - 3 (\frac{1}{2} - \frac{1}{ϱ})} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{3 (\frac{1}{2} - \frac{1}{ϱ})} {∥ \nabla u ∥}_{L^{2}}^{\frac{2}{3}} {∥ u_{x_{3}} ∥}_{L^{α}}^{\frac{1}{3}} \\ \leq & C {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{1 + 3 (\frac{1}{2} - \frac{1}{ϱ})} {∥ u_{x_{3}} ∥}_{L^{2}}^{1 - 3 (\frac{1}{2} - \frac{1}{ϱ})} {∥ \nabla u ∥}_{L^{2}}^{\frac{2}{3}} {∥ u_{x_{3}} ∥}_{L^{α}}^{\frac{1}{3}} \\ \leq & \frac{μ}{2} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2} + C {∥ u_{x_{3}} ∥}_{L^{2}}^{2} {∥ \nabla u ∥}_{L^{2}}^{2 q} {∥ u_{x_{3}} ∥}_{L^{α}}^{q}, \end{array}

where

q = \frac{2}{3 - 9 (\frac{1}{2} - \frac{1}{ϱ})} = \frac{2}{3 (1 - \frac{1}{α})} .

When

α \geq 3

, we have

2 q \leq 2

, and the application of the Young inequality yields

I_{1} \leq \frac{μ}{2} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2} + C {∥ u_{x_{3}} ∥}_{L^{2}}^{2} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ u_{x_{3}} ∥}_{L^{α}}^{δ}),

(4.16)

where

\frac{3}{α} + \frac{2}{δ} = 1 .

From integration by parts and the Hölder inequality, we obtain

\begin{array}{rcl} I_{2} & \leq & C {∥ \nabla b ∥}_{L^{2}} {∥ b_{x_{3}} ∥}_{L^{\frac{2 α}{α - 2}}} {∥ u_{x_{3}} ∥}_{L^{α}} \leq C {∥ \nabla b ∥}_{L^{2}} {∥ u_{x_{3}} ∥}_{L^{α}} {∥ b_{x_{3}} ∥}_{L^{2}}^{1 - \frac{3}{α}} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{\frac{3}{α}} \\ \leq & \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + {∥ \nabla b ∥}_{L^{2}}^{\frac{2 α}{2 α - 3}} {∥ u_{x_{3}} ∥}_{L^{α}}^{\frac{2 α}{2 α - 3}} {∥ b_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}} \\ \leq & \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + C ({∥ \nabla b ∥}_{L^{2}}^{2} + {∥ u_{x_{3}} ∥}_{L^{α}}^{δ}) {∥ b_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}}, \end{array}

(4.17)

where

\frac{3}{α} + \frac{2}{δ} = 1 .

Similarly,

\begin{array}{rcl} I_{3} & \leq & C {∥ \nabla v ∥}_{L^{2}} {∥ v_{x_{3}} ∥}_{L^{\frac{2 α}{α - 2}}} {∥ u_{x_{3}} ∥}_{L^{α}} \\ \leq & C {∥ \nabla v ∥}_{L^{2}} {∥ u_{x_{3}} ∥}_{L^{α}} {∥ v_{x_{3}} ∥}_{L^{2}}^{1 - \frac{3}{α}} {∥ \nabla v_{x_{3}} ∥}_{L^{2}}^{\frac{3}{α}} \\ \leq & \frac{γ}{2} {∥ \nabla v_{x_{3}} ∥}_{L^{2}}^{2} + {∥ \nabla v ∥}_{L^{2}}^{\frac{2 α}{2 α - 3}} {∥ u_{x_{3}} ∥}_{L^{α}}^{\frac{2 α}{2 α - 3}} {∥ v_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}} \\ \leq & \frac{γ}{2} {∥ \nabla v_{x_{3}} ∥}_{L^{2}}^{2} + C ({∥ \nabla v ∥}_{L^{2}}^{2} + {∥ u_{x_{3}} ∥}_{L^{α}}^{δ}) {∥ v_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}}, \end{array}

(4.18)

and

\begin{array}{rcl} I_{4} & \leq & C {∥ \nabla b ∥}_{L^{2}} {∥ b_{x_{3}} ∥}_{L^{\frac{2 α}{α - 2}}} {∥ u_{x_{3}} ∥}_{L^{α}} \\ \leq & C {∥ \nabla b ∥}_{L^{2}} {∥ u_{x_{3}} ∥}_{L^{α}} {∥ b_{x_{3}} ∥}_{L^{2}}^{1 - \frac{3}{α}} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{\frac{3}{α}} \\ \leq & \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + {∥ \nabla b ∥}_{L^{2}}^{\frac{2 α}{2 α - 3}} {∥ u_{x_{3}} ∥}_{L^{α}}^{\frac{2 α}{2 α - 3}} {∥ b_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}} \\ \leq & \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + C ({∥ \nabla b ∥}_{L^{2}}^{2} + {∥ u_{x_{3}} ∥}_{L^{α}}^{δ}) {∥ b_{x_{3}} ∥}_{L^{2}}^{\frac{2 α - 6}{2 α - 3}}, \end{array}

(4.19)

where

\frac{3}{α} + \frac{2}{δ} = 1 .

By integration by parts and the inequality, we have

\begin{array}{rcl} I_{5} & \leq & C {∥ \nabla b_{x_{3}} ∥}_{L^{2}} {∥ b_{x_{3}} ∥}_{L^{σ}} {∥ u ∥}_{L^{3 α}} \\ \leq & C {∥ \nabla b_{x_{3}} ∥}_{L^{2}} {∥ b_{x_{3}} ∥}_{L^{2}}^{1 - 3 (\frac{1}{2} - \frac{1}{σ})} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{3 (\frac{1}{2} - \frac{1}{σ})} {∥ \nabla u ∥}_{L^{2}}^{\frac{2}{3}} {∥ u_{x_{3}} ∥}_{L^{2}}^{\frac{1}{3}} \\ \leq & \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + C {∥ b_{x_{3}} ∥}_{L^{2}}^{2} {∥ \nabla u ∥}_{L^{2}}^{2 q} {∥ u_{x_{3}} ∥}_{L^{α}}^{q}, \end{array}

where

q = \frac{2}{3 (1 - \frac{1}{α})} .

When

α \geq 3

, we have

2 q \leq 2

, and the application of the Young inequality yields

I_{5} \leq \frac{ν}{6} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2} + C {∥ b_{x_{3}} ∥}_{L^{2}}^{2} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ u_{x_{3}} ∥}_{L^{α}}^{δ}),

(4.20)

where

\frac{3}{α} + \frac{2}{δ} = 1 .

Combining (4.15)-(4.20) yields

From the Gronwall inequality, we get

(4.21)

Multiplying the first equation of (1.1) by

- Δ u

and integrating with respect to x on

R^{3}

, and then using integration by parts, we obtain

(4.22)

Similarly, we get

(4.23)

and

(4.24)

Collecting (4.22)-(4.24) yields

(4.25)

Thanks to integration by parts and the Cauchy inequality, we get

- χ \int_{R^{3}} (\nabla \times v) \cdot Δ u d x - χ \int_{R^{3}} (\nabla \times u) \cdot Δ v d x \leq χ {∥ Δ u ∥}_{L^{2}}^{2} + χ {∥ \nabla v ∥}_{L^{2}}^{2} .

(4.26)

It follows from (4.25)-(4.26) and integration by parts that

(4.27)

In what follows, we estimate $J_{i}$ ( $i = 1, \dots, 5$ ).

By (2.3) and the Young inequality, we deduce that

\begin{array}{rcl} J_{1} & \leq & C {∥ \nabla u ∥}_{L^{3}}^{3} \leq C {∥ \nabla u ∥}_{L^{2}}^{\frac{3}{2}} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{\frac{1}{2}} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + C {∥ \nabla u ∥}_{L^{2}}^{3} {∥ \nabla u_{x_{3}} ∥}_{L^{2}} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + C ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2}) {∥ \nabla u ∥}_{L^{2}}^{2} . \end{array}

(4.28)

By (2.3) and the Young inequality, we have

\begin{array}{rcl} J_{2} & \leq & {∥ \nabla u ∥}_{L^{3}} {∥ \nabla b ∥}_{L^{3}}^{2} \\ \leq & C {∥ \nabla u ∥}_{L^{2}}^{\frac{1}{2}} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{\frac{1}{3}} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{\frac{1}{6}} {∥ \nabla b ∥}_{L^{2}} {∥ \nabla_{\tilde{x}} \nabla b ∥}_{L^{2}}^{\frac{2}{3}} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{\frac{1}{3}} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + C {∥ \nabla u ∥}_{L^{2}}^{\frac{3}{5}} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{\frac{1}{5}} {∥ \nabla b ∥}_{L^{2}}^{\frac{6}{5}} {∥ \nabla_{\tilde{x}} \nabla b ∥}_{L^{2}}^{\frac{4}{5}} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{\frac{2}{5}} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + \frac{ν}{6} {∥ \nabla_{\tilde{x}} \nabla b ∥}_{L^{2}}^{2} + C {∥ \nabla u ∥}_{L^{2}} {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{\frac{1}{3}} {∥ \nabla b ∥}_{L^{2}}^{2} {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{\frac{2}{3}} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + \frac{ν}{6} {∥ \nabla_{\tilde{x}} \nabla b ∥}_{L^{2}}^{2} \\ + C {∥ \nabla b ∥}_{L^{2}}^{2} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2} + {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2}) . \end{array}

(4.29)

Similarly, we obtain

(4.30)

(4.31)

and

\begin{array}{rcl} J_{5} & \leq & {∥ \nabla u ∥}_{L^{3}} {∥ \nabla b ∥}_{L^{3}}^{2} \\ \leq & \frac{μ}{10} {∥ \nabla_{\tilde{x}} \nabla u ∥}_{L^{2}}^{2} + \frac{ν}{6} {∥ \nabla_{\tilde{x}} \nabla b ∥}_{L^{2}}^{2} \\ + C {∥ \nabla b ∥}_{L^{2}}^{2} ({∥ \nabla u ∥}_{L^{2}}^{2} + {∥ \nabla u_{x_{3}} ∥}_{L^{2}}^{2} + {∥ \nabla b_{x_{3}} ∥}_{L^{2}}^{2}) . \end{array}

(4.32)

Combining (4.27)-(4.32) yields

(4.33)

From (4.33), the Gronwall inequality, (4.7) and (4.21), we know that $(u, v, b) \in L^{\infty} (0, T; H^{1} (R^{3}))$ . Thus, $(u, v, b)$ can be extended smoothly beyond $t = T$ . We have completed the proof of Theorem 3.1. □

Author’s contributions

The author completed the paper herself. The author read and approved the final manuscript.

Declarations

Authors’ Affiliations

(1)

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

References

Gala S: Regularity criteria for the 3D magneto-micropolar fluid equations in the Morrey-Campanato space. Nonlinear Differ. Equ. Appl. 2010, 17: 181-194. 10.1007/s00030-009-0047-4MathSciNetView ArticleMATHGoogle Scholar
Ortega-Torres EE, Rojas-Medar MA: On the uniqueness and regularity of the weak solution for magneto-micropolar fluid equations. Rev. Mat. Apl. 1996, 17: 75-90.MathSciNetMATHGoogle Scholar
Ortega-Torres EE, Rojas-Medar MA: On the regularity for solutions of the micropolar fluid equations. Rend. Semin. Mat. Univ. Padova 2009, 122: 27-37.MathSciNetView ArticleMATHGoogle Scholar
Ortega-Torres EE, Rojas-Medar MA: Magneto-micropolar fluid motion: global existence of strong solutions. Abstr. Appl. Anal. 1999, 4: 109-125. 10.1155/S1085337599000287MathSciNetView ArticleMATHGoogle Scholar
Rojas-Medar MA: Magneto-micropolar fluid motion: existence and uniqueness of strong solutions. Math. Nachr. 1997, 188: 301-319. 10.1002/mana.19971880116MathSciNetView ArticleMATHGoogle Scholar
Rojas-Medar MA, Boldrini JL: Magneto-micropolar fluid motion: existence of weak solutions. Rev. Mat. Complut. 1998, 11: 443-460.MathSciNetView ArticleMATHGoogle Scholar
Yuan B: Regularity of weak solutions to magneto-micropolar fluid equations. Acta Math. Sci. 2010, 30: 1469-1480.View ArticleMathSciNetMATHGoogle Scholar
Yuan J: Existence theorem and blow-up criterion of the strong solutions to the magneto-micropolar fluid equations. Math. Methods Appl. Sci. 2008, 31: 1113-1130. 10.1002/mma.967MathSciNetView ArticleMATHGoogle Scholar
Zhang Z, Yao A, Wang X: A regularity criterion for the 3D magneto-micropolar fluid equations in Triebel-Lizorkin spaces. Nonlinear Anal. 2011, 74: 2220-2225. 10.1016/j.na.2010.11.026MathSciNetView ArticleMATHGoogle Scholar
Wang Y, Hu L, Wang Y: A Beale-Kato-Madja criterion for magneto-micropolar fluid equations with partial viscosity. Bound. Value Probl. 2011., 2011: Article ID 128614Google Scholar
Eringen AC: Theory of micropolar fluids. J. Math. Mech. 1966, 16: 1-18.MathSciNetGoogle Scholar
Lukaszewicz G Modeling and Simulation in Science, Engineering and Technology. In Micropolar Fluids: Theory and Applications. Birkhäuser, Boston; 1999.View ArticleGoogle Scholar
Galdi GP, Rionero S: A note on the existence and uniqueness of solutions of the micropolar fluid equations. Int. J. Eng. Sci. 1977, 15: 105-108. 10.1016/0020-7225(77)90025-8MathSciNetView ArticleMATHGoogle Scholar
Yamaguchi N: Existence of global strong solution to the micropolar fluid system in a bounded domain. Math. Methods Appl. Sci. 2005, 28: 1507-1526. 10.1002/mma.617MathSciNetView ArticleMATHGoogle Scholar
Dong B, Chen Z: Regularity criteria of weak solutions to the three-dimensional micropolar flows. J. Math. Phys. 2009., 50: Article ID 103525Google Scholar
Wang Y, Chen Z: Regularity criterion for weak solution to the 3D micropolar fluid equations. J. Appl. Math. 2011., 2011: Article ID 456547Google Scholar
Dong B, Jia Y, Chen Z: Pressure regularity criteria of the three-dimensional micropolar fluid flows. Math. Methods Appl. Sci. 2011, 34: 595-606. 10.1002/mma.1383MathSciNetView ArticleMATHGoogle Scholar
Wang Y, Yuan H: A logarithmically improved blow-up criterion for smooth solutions to the 3D micropolar fluid equations. Nonlinear Anal., Real World Appl. 2012, 13: 1904-1912. 10.1016/j.nonrwa.2011.12.018MathSciNetView ArticleMATHGoogle Scholar
Lifschitz AE: Magnetohydrodynamics and spectral theory. 4. In Developments in Electromagnetic Theory and Applications. Kluwer Academic, Dordrecht; 1989.Google Scholar
Sermange M, Temam R: Some mathematical questions related to the MHD equations. Commun. Pure Appl. Math. 1983, 36: 635-666. 10.1002/cpa.3160360506MathSciNetView ArticleMATHGoogle Scholar
Cao C, Wu J: Two regularity criteria for the 3D equations. J. Differ. Equ. 2010, 248: 2263-2274. 10.1016/j.jde.2009.09.020MathSciNetView ArticleMATHGoogle Scholar
Gala S: Extension criterion on regularity for weak solutions to the 3D MHD equations. Math. Methods Appl. Sci. 2010, 33: 1496-1503.MathSciNetMATHGoogle Scholar
He C, Xin Z: On the regularity of solutions to the magnetohydrodynamic equations. J. Differ. Equ. 2005, 213: 235-254. 10.1016/j.jde.2004.07.002MathSciNetView ArticleMATHGoogle Scholar
He C, Wang Y: On the regularity for weak solutions to the magnetohydrodynamic equations. J. Differ. Equ. 2007, 238: 1-17. 10.1016/j.jde.2007.03.023View ArticleMathSciNetMATHGoogle Scholar
He C, Wang Y: Remark on the regularity for weak solutions to the magnetohydrodynamic equations. Math. Methods Appl. Sci. 2008, 31: 1667-1684. 10.1002/mma.992MathSciNetView ArticleMATHGoogle Scholar
Lei Z, Zhou Y: BKM criterion and global weak solutions for magnetohydrodynamics with zero viscosity. Discrete Contin. Dyn. Syst., Ser. A 2009, 25: 575-583.MathSciNetView ArticleMATHGoogle Scholar
Wang Y, Zhao H, Wang Y: A logarithmally improved blow up criterion of smooth solutions for the three-dimensional MHD equations. Int. J. Math. 2012., 23: Article ID 1250027Google Scholar
Wu J: Viscous and inviscid magneto-hydrodynamics equations. J. Anal. Math. (Jerus.) 1997, 73: 251-265. 10.1007/BF02788146View ArticleMATHGoogle Scholar
Zhou Y: Remarks on regularities for the 3D MHD equations. Discrete Contin. Dyn. Syst. 2005, 12: 881-886.MathSciNetView ArticleMATHGoogle Scholar
Zhou Y, Gala S: Regularity criteria for the solutions to the 3D MHD equations in the multiplier space. Z. Angew. Math. Phys. 2010, 61: 193-199. 10.1007/s00033-009-0023-1MathSciNetView ArticleMATHGoogle Scholar
Zhou Y, Gala S: A new regularity criterion for weak solutions to the viscous MHD equations in terms of the vorticity field. Nonlinear Anal. 2010, 72: 3643-3648. 10.1016/j.na.2009.12.045MathSciNetView ArticleMATHGoogle Scholar
Zhou Y, Gala S: Regularity criteria for the solutions to the 3D MHD equations in the multiplier space. Z. Angew. Math. Phys. 2010, 61: 193-199. 10.1007/s00033-009-0023-1MathSciNetView ArticleMATHGoogle Scholar
Admas RA: Sobolev Spaces. Academic Press, New York; 1975.Google Scholar
Galdi GP: An Introduction to the Mathematical Theory of the Navier-Stokes Equations. Springer, New York; 1994. Vols I, IIMATHGoogle Scholar
Ladyzhenskaya OA: Mathematical Theory of Viscous Incompressible Flow. 2nd edition. Gordon & Breach, New York; 1969. English translationMATHGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.