REGULARITY CRITERION FOR THE 3D FLUID PASSING THROUGH POROUS MEDIUM IN TERMS OF THE GRADIENT OF ONE VELOCITY COMPONENT

Saeed ur Rahman

Abstract. This paper is focused on regularity criteria for the weak solutions of uid passing through the porous media in R3 . It is proved that if the gradient of any one component of velocity eld belongs to L2, with solution is actually strong. keywords: Regularity criterion, porous medium, 3D equations, incompressible and viscoelastic uid
2

= 3 , 3 < then the weak 2

Introduction
Literature study reveals that viscoelastic uids passing through the porous medium

have many applications such as ow through packed beds, lter papers and perforated plates etc. The study on porous medium was rstly started by Darcy [4] and Forchheimer [6]. Furthermore many authors carried out research on this medium, e.g., Filluger [5], Hayat [7] and W. Tan and Masuoka [13] etc. This work in the present paper is partially motivated by papers [1], [2] and [15] on the Navier Stokes equations ut + u u + P = u, u = 0,

Saeed Rahman: Department of Applied Mathematics, Northwestern Polytechnical University, 710129,

Xian, Shaanxi, P. R. China e-mail: saeed@ciit.com.pk

u(x, 0) = u0 (x), where u = (u1 (x, t), u2 (x, t), u3 (x, t)) is the velocity eld, =

is the kinematic viscosity,

is the density, is the dynamic viscosity, P is pressure of the medium and u0 (x) is the initial velocity eld. The rst result on existence of above equations was obtained by Leray-Hopf [9] and [8]. They proved the existence of weak solutions u(x, t) L (0, T ; L2 (R3 )) L2 (0, T ; H 1 (R3 ))

provided u0 L2 (R3 ). Serrin in [11] showed that if u is a Leray-Hopf weak solution in L, L (0, T ; L (R3 )) subject to conditions
2

1, 2 < < , 3 < ,

then u C (R3 (0, T )). Later on Sohr [12] extended the result in [11] by introducing Lorentz spaces and proved that the weak solutions u Ls,r (0, T ; Lq, ) with constraints
2 s

3 q

= 1, 3 < q < , 2 < s r < , satisfy the strong energy inequality.

The regularity criterion on u was obtained by Beirao Da Veiga [1]. He showed that if a weak solution u(x, t) satises u L, with
2

2,

3 2

< < , then u(x, t)

C (R3 (0, T )). Chae and Choe [2] improved Beirao da Veigas condiction by applying two components of the vorticity eld. Further Zhou [15] established that if the LerayHopf weak solution u satisfyies u3 L, with suciently small, then u is strong. Let us consider the 3D ow of an incompressible uid passing through the porous medium. Let u1 , u2 , u3 be the components of velocity u. It is well know that when the uid passes through the porous medium, there exists a pressure drop. This pressure drop is given by using the Darcys law: R= u, K
2

= 3 , 3 < and u3 is 2

where is the porosity of the medium and K is the permeability of the medium. The fundamental equations which govern the 3D equations under the assumption of an incompressible and unsteady uid passing through the porous medium are ut + u u + P = u mu, u = 0, u(x, 0) = u0 (x), where =

(1.1) (1.2) (1.3)

is the kinematic viscosity, is the density, is the dynamic viscosity, and

. K

P is the pressure of the medium, m =

For simplicity we take = 1. 2

The objective of present paper is to prove the global regularity for the weak solution of equations (1.1) (1.3). Concretely we show that if the gradient of one component of the velocity eld belongs to L2, with actually strong. Our main result is Theorem 1. suppose u0 H 1 (R3 ) and u0 = 0, in the sense of distribution. Assume that u(x, t) is the Leray- Hopf weak solution satisfying (1.1) (1.3) in (0, T ). If u3 L2, with on (0, T ). For Leray-Hopf weak solutions, we use Denation. A measurable vector u is called a Leray-Hopf weak solution to (1.1) (1.3), if u satises (i) u is weakly continuous from [0, T ) to L2 (R3 ). (ii) u veries (1.1) (1.3), in the sense of distribution, i.e.,
T 2 3 2

=3 , 3 < , then the weak solution is 2

=3 , 3 < , or u3 L 3 , , then u(x, t) is a strong solution 2

(
0 R3

+ (u ))udxdt + t

u0 (x, 0)dx m
R3 0 R3

udxdt =
0 R3

u dxdt

(R3 [0, T )) with = 0; for all C0 T

u dxdt = 0
0 for every C0 (R3 [0, T )). R3

(iii) The energy inequality for 0 t T is true, i.e,

t t

u(, t)

2 L2

+2
0

u(, )

2 L2

d + m
0

u(, )

2 L2

d u0

2 L2

(1.4)

By strong solution we mean a weak solution u such that u L (0, T ; H 1 ) L2 (0, T ; H 2 ).

It is well known that strong solutions are regular and unique in the class of weak solutions. The following interpolation inequality is useful. Lemma 1. ([16]) Given that a measurable function u(x, t) L,2 and u L2,2 on
2 (0, T ), T T, we have u Lp,q with p 2, 2 q 6 and p +3 q 3 2

for 0 t T , and

Lp,q

C1 u 3

3 1 q 2 L,2

3 3 2 q L2,2

where C1 = C1 (p, q, T ). If

2 p

+ u

3 q

=3 , then 2 C1 (q ) u
2 1 p

Lp,q

L,2

3 3 2 q 2 L ,2

In the sequel we divide the proof into two parts: one is for = 3 and second is for > 3.

Proof of Theorem 1 for = 3.

Let u be a Leray-Hopf weak solution on (0, T ) with u3 L8,3 . Equations (1.1) (1.3)

can be written as

wt + u w = (w )u + w = 0, w(x, 0) = w0 (x),

w mw,

(2.1) (2.2) (2.3)

where w = curlu = (w1 , w2 , w3 ). One has the following estimate. Lemma 2. suppose u0 H 1 (R3 ) with u0 = 0. Assume that (u, P ) is a smooth solution in R3 (0, T ), which satises the energy inequality with u L,2 and If u3 L8,3 (R3 (0, T )), then for 0 t < T ,
t

u L2,2 .

w3 (, t)

2 L2

+
0

w3 (, )

2 L2

0 d A w3 L2 )

2 L2

+ C 2 u

1 2

L,2

1 2

L2,2

u 3

2 L8,3

(2.4)

where A is a pure constant, C2 = C2 ( u0

and w0 (x) is the initial value for w.

Proof. Multiplying (2.2) by w3 , integrating on R3 , and applying Holders inequality, Gagliardo Nirenbergs inequality and youngs inequality, we obtain 1d w3 (, t) 2 dt
2 L2

w3 (, t)

2 L2

+ m w3 (, t)

2 L2

R3

|(w u3 )w3 | dx

|w||u3 ||w3 |dx

R3

2
R3

|u||u3 ||w3 |dx (since w < 2 u )

L
12 5

2 u

u3

L3 L3

w3

L4
1 4

C 3 u 1 w 3 2

12 L5

u 3 +

w3
2 L2

L2

w3

3 4

L2 2 12 L5

2 L2

1 w3 4 4

+ C 4 u

u3

2 L3

or d w3 (, t) dt
2 L2

+ w3 (, t)

2 L2

2C4 u

2 12 L5

u3

2 L3

1 ( 2m) w3 (, t) 2
2

2 L2 , 1 2

where C4 is a constant. Now we use Gronwalls inequality and Lemma 1 with to get
t

12 5

+1 3

w3

2 L2

+
0

w 3
2 L2 2 L2 2 L2 2 L2 2 L2

2 L2

0 d A w3 t

2 L2

+ 2 C4
0

u u3 u 3

2 12 L5

u3

2 L3

0 A w3 0 A w3 0 A w3 0 A w3 0 A w3

+ 2 C4
0

u
L2,2 L2 L4,3
1 2

L2

L3

2 L3 2 L8,3

+ 2 C4 u + 2C4 u0 + C5 u + C6 u

L4,3

L4,3

u 3

2 L8,3

u3 u

2 L8,3
1 2

L,2

L2,2

u 3

2 L8,3

where C6 depends on u0

L2

. So (2.4) is proved.

Lemma 3. Under the same conditions of Lemma 2 we have

T 2 L2 2 L2

sup
o<t<T

u(, t)
L2

+
0 L8,3

u(, ) .

d C,

(2.5)

where C depends on u0

and u3

Proof. (1.1) can be written as 1 u + w u + |u|2 + P = t 2 Multiplying (2.6) by u and integrating by parts show
2 L2

u mu.

(2.6)

1d u(, t) 2 dt

u(, t)

2 L2

R3

(w u) udx m u

2 L2

Now using Gronwalls inequality leads to 1 u(, t) 2

t 2 L2

+
0

u(, )

2 L2

d C7 u0

2 L2

+ I,

(2.7)

where
t

I =
0 t R3

(w u) udxd
t t

0 t R3

|w2 u3 u1 |dxd +
0 t R3

|w3 u2 u1 |dxd +
0 t R3

|w3 u1 u2 |dxd w2 u1 u3 dxd |

0 R3

+
0 R3

|w1 u3 u2 |dxd + |
0 R3

w1 u2 u3 dxd | + |

I1 + I2 + I3 + I4 + I5 + I6 . Now we estimate one by one. Since w2 w 2 u and (1.4), it follows

t

(2.8)

I1
0 t R3

|w2 ||u3 || u1 |dxd w2

0 t L4

2
0

u3
L4
1 4

L4

u1
L4
1 2

L2

d d u u
7 4

u
t

u3

L2
1 2

C8
0

u u u u u
7 4

L2

u 3
1 4

L3

L2
1 4

L2
1 4

C8 1 20 1 20 1 20

L2,2 2 L2,2 2 L2,2 2 L2,2

L4,2

u3
2 L4,2

L8,3

L8,2

+ C 9 u + C10 u + C11 u
1 a

u3

2 L8,3 2 L8,3 2 L8,3

2 L8,2

2 L,2 2 L,2 1 p

u 3 u 3 +
1 q

u ,

2 L,2

where C11 depends on u0 |2 L2 . Noting

t

1 b

1 2

and

=1 , 2

I2
0 t R3

|w3 ||u2 || u1 |dxd u

0 L2

1 20 1 20
t

u2
2 L2

La

w3

Lb

d
t

(Holders inequality) u2
2 La

u
0

d + C12
0 2 Lp,a

w3

2 Lb

(Youngs inequality)

2 L2,2

+ C12 u2
Lq,b ,

w3

2 Lq,b

. (Holders inequality)

For applying Lemma 1 on w3

we need that a, b, p and q satisfy 2 3 3 + = , q b 2 6

1 1 1 + = , a b 2 1 1 1 + = . p q 2 Solve the above equations and nd p = , a = 3, q = 2 and b = 6. Then using Lemma 2 we obtain w3
L2,6
1 2 1 2

C13 u

L,2

L2,2

u 3

2 L8,3

+ C14 , On the other hand, from

0 where C13 and C14 are constants depending only on w3

L2

Lemma 1 and Sobolevs inequality, it yields u2

2 L,3

u u

2 L,3 L,2

u
L,2

L,6

C15 u

u ,

L,2

C16 u where C16 depends on u0 I2 1 20 u

2 L2,2 L2

L,2

. Therefore I2 is estimated as
3 2

+ C17 u
L2

L,2

1 2

L2,2

u 3

2 L8,3

+ C18 u
L2

L,2

where C17 depends on u0

, while C18 depends on u0

L2

0 and w3

Similarly to estimate of I2 , it follows I3 1 20 u

2 L2,2

+ C17 u

3 2

L,2

1 2

L2,2

u 3

2 L8,3

+ C18 u

L,2

For I4 it is estimated similarly to I1 : I4 To I5 , we have

t t

1 20

2 L2,2

+ C11 u

2 L,2

u 3

2 L8,3

I5
0 R3

|(2 u3 )u2 u3 |dxd +

0 1 2 I5 + I5 , R3

|(3 u2 )u2 u3 |dxd

here
t 1 I5 0 t

|u3 ||u|| u|dxd

R3

u 3
t

L3

L2

L6

d d
2 L,2

C19
0

u u
2 L2,2

L2

u 3

L3

u
4 L8,3

L2

1 40

+ C20 u3

(2.9)

where C20 is a constant and in the last inequality we used Youngs inequality, GalgliardoNirenbergs inequality, Holders inequality and Lemma 1;
t 2 I5 = | 0

(3 u2 )u2 u3 dxd |
R3 t

= | |

1 2

(3 |u2 |2 ) u3 dxd |
0 t 0 R3 t

(3 u3 )u2 u2 dxd | + |
R3 0 2 L2,2 2 L2,2 2 L2,2 2 L2,2 2 L2,2 2 L2,2 R3

(3 u3 )|u2 |2 dxd |
t

1 40

u u u u u u

+ C20 u3 + C20

L8,3

u u u u u u

2 L,2 2 L,2 2 L,2 2 L,2 2 L,2 2 L,2

+
0 t R3

|u2 |2 |u3 |dxd |u|2 |u3 |dxd

0 t R3

1 40 1 40

u3 4 L8,3
4 L8,3 4 L8,3 4 L8,3 4 L8,3

+ +
0 t

+ C20 u3 + C20 u3 + C20 u3 + C20 u3

2 L3

u3
L2

L3

d u 3
4 L8,3

1 40 1 40 1 = 20 Therefore

+ C21
0

u u
2 L2,2

L2

L3

d
2 L,2

1 40

+ C21 u3 u
2 L,2

+ C21 u3

4 L8,3

I5

3 40

2 L2,2

+ (2C20 + C21 ) u3

4 L8,3

2 L,2

The estimate of I6 is similar to I5 : I6 3 40 u

2 L2,2

+ (2C20 + C21 ) u3

4 L8,3

2 L,2

Putting estimates on Ii (i = 1, 2, ...6) into (2.8) we get 1 u 2

2 L2

13 20

2 L2,2

C 7 u 0 + 2C17 u

2 L2
3 2

2(C11 u3 u
1 2

2 L8,3

+ (2C20 + C21 ) u3
2 L8,3

4 L8,3 )

2 L,2

L,2 2 L8,3

L2,2

u3

+ 2C18 u
4 L8,3 )

L,2 2 L,2

2(C11 u3 + C22 u3 Therefore 1 u 2

2 L2
8 3

+ (2C20 + C21 ) u3
2 L,2

u .

2 5

u|2 L2,2

L8,3

+ C23 +

1 u 8

2 L,2

1 4

2 L2,2

2(C11 u3 + C23 +

2 L8,3

+ (2C20 + C21 ) u3 + C7 u0
2 L2

4 L8,3

+ C22 u3

L8,3 )

8 3

2 L,2

1 u 8

2 L,2

(2.10)

Now t0 , 0 < t0 T, is taken small enough, such that

t0

C11 (
0

u 3

8 L3

d ) 4 + (2C20 + C21 )(
0

t0

u3

8 L3

d ) 2 + C22 (
0

t0

u3

8 L3

d ) 3

1 . 16

Putting it in (2.10), we obtain sup

0t0 t

2 L2

t0

+
0

2 L2

d 4C23 + 4C7 u0

2 L2

Now we can repeat the above process for t0 < t < T, where u(t0 ) is the initial value of (1.1) and nd a similar estimate as (2.10) : 1 sup u 2 t0 t
2 L2

1 4

u
t0

2 L2

d 2(C11 u3 |2 L8,3 + (2C20 + C21 ) u3 + C22 u3 + C23 +

L8,3 )
8 3

4 L8,3

sup
t0 t 2 L2

2 L2 2 L2

1 sup u 8 t0 t

+ C7 u(, t0 )

There exists a number t1 , such that

t1

C11 (
t0

u 3

8 L3

d ) 4 + (2C20 + C21 )(
t0

t1

u3

8 L3

d ) 8 + C22 (
t0

t1

u3

8 L3

d ) 3

1 . 16

Therefore we have sup

t0 tt1

2 L2

t1

+
t0

2 L2

d 4C23 + 4C7 u(, t)

2 L2

Continue the same argument for the above process from t1 < T and so on. As u3 L8,3 on (0, T ), the argument can be repeated for nite times. At the end, the estimate on the whole time interval is
T

sup
0tT

u
L2

2 L2

+
0 L8,3

2 L2

d C,

(2.11)

where C depends on T, u0

, and u3

. Now (2.5) is proved.

Proof of Theorem 1 for = 3. In fact according to [14] there exists a unique strong solution u L (0, T0 ; H 1 (R3 )) u0 L2 (R3 ) u L (0, T0 ; H 2 (R3 )) of (1.1) (1.3), for 0 < T0 , and

H 1 (R3 ) with u0 = 0. As it is known that u is a Leray-Hopf weak

solution satisfying (1.4), it follows u u on [0, T0 ) due to uniqueness result. Using the same argument and a priori estimates (2.11), the local strong solution will be extended to time T. Thereby u becomes a strong solution on (0, T ).

Proof of Theorem 1 for > 3.

Before going to the proof, we rst want to give an estimate on w3 . The constants are

dierent from section 2. Lemma 4. suppose u0 H 1 (R3 ) with u0 = 0. Assume that (u, P ) is a smooth solution in R3 (0, T ), which satises (1.4) with u L,2 and L2, (R3 (0, T )) for
t 2

u L2,2 . If u3

3 , with 3 < < , then for 0 t T, 2

2 L2

w3 2 L2

+
0

w 3

2 L2

0 d A w3

+ C2 u3
L2 )

2 L2,

3 1

L,2

L2,2

(3.1)

where A is a pure constant, C2 = C2 (, u0 for w.

0 0 0 ) is the initial value , w3 and w0 = (w1 , w2

Proof. Multiplying (2.2) by w3 , integrating on R3 and using suitable integration by parts, we obtain 1d w3 2 dt
2 L2

+ 2

w 3

2 L2

+ m w3

2 L2

|(w u3 )w3 |dx (Since |w| 2|u|)

|u||u3 ||w3 |dx

2

2 u

L 1

u3

w3

L 1

10

 C 3 u 1 w 3 2

2 L 1

u 3 1 w3 4

L 2 L2

w3

1 23 L2

w 3
2
2 L 1

3 2 L2

2 L2

+ C 4 u

u 3
2 3 4

2 L

where C4 is a constant and we used Youngs inequality, d w3 dt

2 L2

3 4

=1 . Therefore 2
2 L2 . 2
2 2

+ w 3

2 L2

2C4 u

2
2 L 1

u 3

2 L

1 ( 2m) w3 2

Now we use Gronwalls inequality and the interpolation inequality, get

t

1 2

1
2 2

to

w3

2 L2

+
0

w3

2 L2

0 d A w3

2 L2 2 L2 2 L2 2 L2 2 L2

+ 2 C4
0 t

u u
0 L2,2 L2
3 1

2
2

L 1

u3

2 L

d u3
2 L

0 A w3 0 A w3 0 A w3 0 A w3

+ 2 C4 + 2 C 4 u + 2 C4 u0 + C 5 u

L2

L 2
8 2 , 2

L +6
8

u 3

2 L2,

L +6

2 , 1

u3

2 L2,

(Using (1.4)) (Using Lemma 1)

L,2

L,2

u3

2 L2,

where C5 is depends on u0

L2

. (3.1) is proved.

Lemma 5. Under the same conditions of Lemma 4 we have

T 2 L2 2 L2

sup
o<t<T

u(, t)
L2

+
0

u(, )
L2,

d C,

where C depends on , , u0

and u3

Proof. (1.1) can be written as u 1 + w u + |u|2 + P = t 2 Multiply (3.2) by u mu. (3.2)

u and integrating by parts it gets

2 L2

1d u 2 dt

2 L2,2

R3

(w u) udx m u

2 L2

Now using Gronwalls inequality implies 1 u(, t) 2

t 2 L2

+
0

u(, )

2 L2

d C6 u0

2 L2

+ I,

(3.3)

11

where
t

I =
0 t R3

(w u) udxd
t t

0 t R3

|w2 u3 u1 |dxd +
0 t R3

|w3 u2 u1 |dxd +
0 t R3

|w3 u1 u2 |dxd w2 u1 u3 dxd |

0 R3

+
0 R3

|w1 u3 u2 |dxd + |
0 R3

w1 u2 u3 dxd | + |

= I1 + I2 + I3 + I4 + I5 + I6 . Now we estimate one by one to have

t

(3.4)

I1
0 t

w2

6 L +2

u3
6

3 L 1

u1
3

L2

d d u3 u

(Holders inequality,

1 +2 1 + = ) 6 3 2

2
0 t

L +2
1 L2

u3 u u3

L 1
1 1 2 L

u u3 u
1 2

L2
1 2

(Since w2 w 2 u )
1 2

C7
0 t

u u
0

L2

L2

C7
t

1 L2

1 2

L2 2 L2

1 2 2 L

d u u ,
L2 )d
2 L2,

1 20 u u

u
2 L2,2 2 L2,2

2 L2

+ C 8 u

u3 u 3 u 3

1 20 1 20

+ C 8 u + C 9 u

2 L8,2 2 L,2

L2, L2,

where we used Lemma 1 and (1.4), C9 depends on u0 |2 L2 ;

t

I2
0 t R3

|w3 ||u2 || u1 |dxd u

0 t L2

1 20 1 20

u2
2 L2

La

w3

Lb

d
t

u
0

d + C10
0 2 Lp,a

u2 w3

2 La 2 Lq,b

w3 .

2 Lb

2 L2,2

+ C11 u2

For applying Lemma 1 on w3

Lq,b ,

we need that a, b, p and q satisfy 2 3 3 + = , q b 2 1 1 1 + = , a b 2 12

1 1 1 + = . p q 2 Solving above equations, we nd p = , a = 3, q = 2 and b = 6. Then applying Lemma 4 obtains w3

2 L2,6

C12 u

3 1

L,2

L,2

u3
L2

2 L2,

+ C13 ,

0 where C12 depends on u0 and C13 depends on w3

. Also,

u2

2 L,3

u u

2 L,3 L,2

L,6

C14 u where C14 depends on u0 I2 1 20 u

2 L2,2 L2

L,2

((1.4) and Sobolevs inequality )

, therefore I2 can be estimated as

3 2

+ C15 u

L,2

L,2

u 3

2 L2,

+ C16 u
L2

L,2

0 where C15 depends on u0 while C16 depends on u0 and w3

Similarly to the estimate of I2 , it follows I3 1 20 u

2 L2,2

+ C15 u

3 2

L,2

L,2

u 3

2 L2,

+ C16 u

L,2

For I4 , it is estimated similar to I1 ; I4 To I5 we have

t t

1 20

2 L2,2

+ C9 u

2 L,2

u3

L2,

I5 Since
2 0 1 I5

|(2 u3 )u2 u3 |dxd + |

R3 2 + I5 . 0 R3

(3 u2 )u2 u3 dxd |

=3 , we see that if 3 < < , then 2

t 1 I5 0 t

4 3

< < 4, and

|u3 |u|| u|dxd

R3

u3
t

L 2 L2

L2

L 2 t

d
2 L 2 L 1
2 , 2 2

1 20 1 20

u
0

d + C17
0

u3
2 L2,

L 2

d (3.5)

2 L2,2

+ C17 u3 13

where C17 is a constant. Noting u

2 , 2 L 1 2

1 4
2 , 6 L 1 +2

u u
4

L 1
2 ,6

2 , 6

C18 u0 C19 u C19 u C20 u where C20 is depends on u0 we obtain

1 I5
1 4 4 L2 ,

L2
4

L 1

L 1
1 2

2 ,2 1 4 4 2 L ,2

L,2
1 2

u ,

L,2

(Using (1.4))
L 1
2 , 2 2

and putting the above estimate of u

2 2,2 2 2,

in (3.5)

1 20

+ C21 u

,2

2 , we have where C21 = C17 C20 . To estimate I5 t 2 I5 = | 0

(3 u2 )u2 u3 dxd |
R3 t

= | |

1 2

(3 |u2 |2 ) u3 dxd |
0 t R3 t

(3 u3 )u2 u2 dxd | + |
R3 0 R3

(3 u3 )|u2 |2 dxd | (3.6)

0 2,1 I5

2 ,2 I5 .

2,1 1 , therefore The estimate of I5 is similar to I5 2,1 I5

1 20

2 L2,2

+ C21 u3

2 L2,

L,2

also,
t 2 ,2 I5 0 t

|u|2 |u3 |dxd

R3

u 3 u3 u3

u u u
2

2
2

L 1

L2,

L 21
1 2

4 , 2 1

L2,

L2,2

u
3 2

3 2

L 32
6 , 6 3 4

6 , 6 3 4

C22 u3 C23 u3

L2,

u u

L 32
1 L,2

L2,

L2,2

14

where C23 depends on and u0

2 I5

L2

2,1 2,2 . Putting the estimates of I5 and I5 in (3.6) we get

1 20

2 L2,2

+ C21 u3

2 L2,

L,2

+ C23 u3

L2,

1 L,2

L2,2

therefore I5 1 10 u
2 L2,2

+ 2C21 u3

2 L2,

L,2

+ C23 u3

L2,

1 L,2

L2,2

The estimate of I6 is similar to I5 : I6 1 10 u

2 L2,2

+ 2C21 u3

2 L2,

L,2

+ C23 u3

L2,

1 L,2

L2,2

After nding the estimates, (3.3) becomes 1 u(, t) 2

2 L2

u(, t)

2 L2,2
3 2

C6 u0 u u
3

2 L2

2 5
2 L2,

2 L2,2

+ 2C9 u|2 L,2 u3 |L2,

+ 2C15 u + 4C21 u3 3 40 u

L,2 2 L2,

L2,2

u 3

+ 2C16 u
L2,

L,2
1 L,2

L,2

+ 2C23 u3

u u u

L2,2

2 L2,2

+ 2C9 u|2 L,2 u3 |L2, +

2 5

2 L2,2

+ C24 u + or 1 u(, t) 2
2 L2

2 L,2 2 L2,2

u 3

4 4 3 L2,

+ 4C21 u3
3 6 4 6 L,2

2 L2,

L,2 2 L,2

1 40

+ C25 u

u3

2 2 3 2 L ,

1 u 16

+ C26 + C6 u0

2 L2

1 2

u(, t)

2 L2,2 2 L2,

(2C9 u3 | L2, + C24 u3 u

L,2

4 4 3 2 L ,

1 ) u 16

2 L,2 2 L2

+ 4C21 u3

+ C25 u3

2 2 3 2 L ,

1 4 6 L,2

+ C26 + C6 u0

(3.7) With the same argument given for the case = 3, we choose t0 , 0 < t0 < T, small enough such that
t0

2C9 (
0

u3

2 L

d ) 2 + C24 (
0

t0

u3

2 L

d ) 2(4 3) +

1 1 . 16 4

(3.8)

Due to (3.7) and (3.8), it follows 1 u 4

2 L,2

1 2

2 L2,2

4C21 u3 + C25 u3 15

2 L2,
2 2 3 2 L ,

u u

L,2

+ C26 + C6 u0
2 L2

1 4 6 L,2

(3.9)

Since the power of u

L,2

in the right hand side of (3.9) is less and equal to 1, we

immediately have the estimate u where C26 depends on , , u0 as in the proof of Lemma 5. After we have the priori estimate of Lemma 5, the further procedure is same as the case = 3, therefore proof of Theorem 1 is complete. Acknowledgment.The author would like to express sincere gratitude to his supervisor Professor pengcheng Niu for enthusiastic guidance, constant encouragement and providing an excellent research environment.This work was supported by the National Natural Science Foundation of China (Grant No. 11271299), the Mathematical Tiyanyuan Foundation of China (Grant No. 11126027) and National Science Foundation Research Project of Shaanxi Province (2012, JM1014).
L2 2 L,2

2 L2,2

C27 ,

and u0

L2 .

Then the remaining argument is same

References
[1] R. Pierri and G. Leone, Inverse scattering of dielectric cylinders by a second-order Born approximation, IEEE Trans. Geosci. Remote Sens. 37, 374-382 1999. [2] D. Chae, H-J. Choe, On the regularity criterion for the solutions of the Navier-Stokes equations, Electron. J. Dierential Equations 1999, (05) (1999), pp. 1-7. [3] D. Chae, J. Lee, Regularity criterion in term of pressure for Navier-Stokes equations, Nonlinear Analysis 46 (2001), pp. 727-735. [4] H. Darcy, Les Fontaines Publique de la Ville de Dijon. Paris: Dalmont 1856. [5] P. Fillunger, Erdbaumechanik, p. 31. Wien: Selbstverlag des Verfassers 1936. [6] ph. Forchheimer, Wasserbewegung durch Boden. Zeitschr. d. Vereins deutscher Ing. 45, 1736-1788 (1901). [7] T. Hayat, N. Ali, S. Asghar, Hall eects on peristaltic ow of a Maxwell uid in a porous medium, Physics Letters A 363 (2007) 397403 16

[8] E. Hopf, Uber die Anfangwertaufgaben fur die hydromischen Grundgleichungen, Math. Nach., 4 (1951), pp. 213-321. [9] J. Leray, Etude de divers equations integrales nonlinearies et de quelques problems que posent lhydrodinamique, J. Math. Pures. Appl., 12 (1933), pp. 1-82. [10] V. Scheer Partial regularity of solutions to the Navier-Stokes equations, Pacic J. Math., 66 (1976), pp. 535-552. [11] J. Serrin, On the interior regularity of weak solutions of the Navier-Stokes equations, Arch. Rational Mech. Anal. 9 (1962), pp. 187-195. [12] H. Sohr, A regularity class for the Navier-Stokes equations in Lorentz spaces, J. Evolution Equations, 1 (2001), pp. 441-467. [13] W. Tan, T. Masuoka, Stability analysis of a Maxwell uid in a porous medium heated from below, Physics Letters A 360 (2007) 454-460. [14] W. Von Wahl, The equations of Navier-Stokes and abstract parabolic equations, Aspects of Mathematics, No. E8, Vieweg, Braunschweig, 1985. [15] Y. Zhou, A new regularity criterion for the Navier-Stokes equations in terms of the gradient of velocity component, Methods and Application of Analysis. Vol. 9, No. 4, pp. 563-578, 2002. [16] Y. Zhou, A new regularity criterian of weak solutions to the Navier-Stokes equations, J. Math. Pures Appl. 84(2005) 1496-1514.

17