Electronic Journal of Differential Equations, Vol. 2009(2009), No. 121, pp.... ISSN: 1072-6691. URL: or

advertisement
Electronic Journal of Differential Equations, Vol. 2009(2009), No. 121, pp. 1–6.
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
ftp ejde.math.txstate.edu
TWO COMPONENT REGULARITY FOR THE NAVIER-STOKES
EQUATIONS
JISHAN FAN, HONGJUN GAO
Abstract. We consider the regularity of weak solutions to the Navier-Stokes
equations in R3 . Let u := (u1 , u2 , u3 ) be a weak solution and u
e := (u1 , u2 , 0).
We prove that u is strong solution if ∇e
u satisfy Serrin’s type criterion.
1. Introduction
In this article we study the regularity of the weak solutions of the Navier-Stokes
equations:
ut + u · ∇u + ∇p − ∆u = 0,
div u = 0
u|t=0 = u0 ,
(1.1)
3
in (0, ∞) × R ,
div u0 = 0
in R
(1.2)
3
(1.3)
where u := (u1 , u2 , u3 ) represents the velocity and p represents the pressure.
The existence of global weak solutions for any initial data with finite energy is
known since the work of Leray [9]. The smoothness of Leray’s weak solution is not
known. While the existence of a regular solution is still an open problem, there are
many interesting sufficient conditions which guarantee that a given weak solution is
smooth. A well-known condition states that if u ∈ Lr (0, T ; Ls (R3 )) with 2r + 3s = 1
and s ∈ [3, ∞], then the solution u is actually regular [4, 5, 6, 12, 13, 14, 15]. A
similar condition ω = curl u ∈ Lr (0, T ; Ls (R3 )) with 2r + 3s = 2 where 32 ≤ s ≤ ∞
also implies the regularity as shown by Beião da Veiga [2]. Chae and Choe [3] proved
that if ω
e = (ω1 , ω2 , 0) ∈ Lr (0, T ; Ls (R3 )) with 2r + 3s = 2 and 32 ≤ s < ∞, then the
solution is regular. Kozono and Yatsu [7] showed that if ω
e ∈ L1 (0, T ; BM O), then
the solution remains smooth. Zhang and Chen [17] proved that u is regular if ω
e∈
0
L1 (0, T ; Ḃ∞,∞
). Bae and Choe [1] proved that u is strong if u
e ∈ Lr (0, T ; Ls (R3 ))
with 2r + 3s = 1 with s > 3. In [3], the authors also proved that u is strong if
∇e
u ∈ Lr (0, T ; Ls ) with 2r + 3s ≤ 1, 2 ≤ r ≤ ∞ and 3 ≤ s ≤ ∞, which is not optimal
2000 Mathematics Subject Classification. 35Q30, 35K15, 76D03.
Key words and phrases. Navier-Stokes equations; regularity criterion; two component;
multiplier spaces; Besov spaces.
c
2009
Texas State University - San Marcos.
Submitted August 28, 2009. Published September 29, 2009.
Supported by grants 10871097 from the NSFC, 20080441062 from the China
Postdoctoral Research Foundation, and 0802020C from Jiangsu Planned Projects for
Postdoctoral Research Foundation.
1
2
J. FAN, H. GAO
EJDE-2009/121
from the scaling argument. Here we would like to improve the regularity criterion
on ∇e
u in such a way that it undergoes the correct scaling.
There have been many efforts to show that analogous conditions on only one
component of the velocity or the gradient of velocity imply the regularity of solutions
but all the results are partial, see [8], citez2, z3 and the references there in.
We say that a function belongs to the multiplier spaces M (Ḣ r , L2 ) if it maps,
by point-wise multiplication, Ḣ r in L2 :
Ẋr := M (Ḣ r , L2 ) := {f ∈ S 0 , kf φkL2 ≤ CkφkḢ r }.
(1.4)
(0)
Ẏ2
Similarly we can define Ẏ1+r := M (Ḣ r , Ḣ −1 ) and
denotes the closure of the
1
Schwartz class S in Ẏ2 . We denote Λ := (−∆) 2 , then Ẏ2 = Λ2 BM O [10], Ẋr and
Ẏ1+r have been characterized in [10, 11].
Now we are in a position to state the main result in this paper.
Theorem 1.1. Let u0 ∈ H 1 . Assume that one of the following four conditions
holds:
2
∇e
u ∈ L 2−r (0, T ; Ẋr )
∇e
u∈L
2
1−r
(0, T ; Ẏ1+r )
∇e
u∈
for some r ∈ [0, 1),
(1.5)
for some r ∈ [0, 1),
(1.6)
(0)
C([0, T ]; Ẏ2 ),
(1.7)
0
∇e
u ∈ L1 (0, T ; Ḃ∞,∞
).
(1.8)
u ∈ L∞ (0, T ; H 1 ) ∩ L2 (0, T ; H 2 ).
(1.9)
Then
s
stands for the homogeneous Besov space, see below for
Here and thereafter, Ḃp,q
the definition.
3
3
3
0
, L r ⊂ L r ,∞ ⊂ Ẋr and L 1+r ⊂
Remark 1.2. Since L∞ ( BM O ( Ḃ∞,∞
3
L 1+r ,∞ ⊂ Ẏ1+r , our results improve that given in [3].
2. Preliminaries
We introduce the Littlewood-Paley decomposition. Let S(R3 ) be the Schwartz
class of rapidly decreasing function. Given f ∈ S(R3 ), its Fourier transform F f =
fˆ is defined by
Z
fˆ(ξ) =
and its inverse Fourier transform F
e−ixξ f (x)dx,
R3
−1
f = f ∨ is defined by
Z
∨
−3
f (x) = (2π)
eixξ f (ξ)dξ.
R3
Let us choose a nonnegative radial function φ ∈ S(R3 ) such that
(
1, if |ξ| ≤ 1,
0 ≤ φ̂(ξ) ≤ 1, φ̂(ξ) =
0, if |ξ| ≥ 2,
and let
ψ(x) = φ(x) − 2−3 φ
x
,
2
φj (x) = 23j φ(2j x),
ψj (x) = 23j ψ(2j x),
j ∈ Z.
EJDE-2009/121
REGULARITY FOR THE NAVIER-STOKES EQUATIONS
3
For j ∈ Z, the Littlewood-Paley projection operators Sj and ∆j are, respectively,
defined by
Sj f = φj ∗ f,
(2.1)
∆j f = ψj ∗ f.
(2.2)
Observe that ∆j = Sj − Sj−1 . Also, if f is an L2 function, then Sj f → 0 in
L2 as j → −∞ and Sj f → f in L2 as j → +∞ (this is an easy consequence of
Parseval’s theorem). By telescoping the series, we thus have the Littlewood-Paley
decomposition
+∞
X
f=
∆j f,
(2.3)
j=−∞
2
for all f ∈ L , where the summation is in the L2 sense. Notice that
∆j f =
j+2
X
∆l (∆j f ) =
l=j−2
j+2
X
ψl ∗ ψj ∗ f,
l=j−2
then from the Young inequality, it follows that
1
1
k∆j f kLq ≤ C23j( p − q ) k∆j f kLp ,
(2.4)
where 1 ≤ p ≤ q ≤ ∞, C is a constant independent of f, j.
s
is defined by the
Let s ∈ R, p, q ∈ [1, ∞], the homogeneous Besov space Ḃp,q
full-dyadic decomposition such as
s
Ḃp,q
= {f ∈ Z 0 (R3 ) : kf kḂ s < ∞},
p,q
where
kf kḂ s =
+∞
X
2jsq k∆j f kqLp
p,q
1/q
j=−∞
and Z (R ) denotes the dual space of Z(R3 ) = {f ∈ S(R3 ) : Dα fˆ(0) = 0; ∀α ∈ N3 }.
We refer to [16] for more detailed properties.
0
3
3. Proof of Theorem 1.1
We set
|∇u|2 =
X
|∂k ui |2 ,
|∇2 u|2 =
i,k
X
|∂k ∂j ui |2 .
i,j,k
Differentiating both sides of equation (1.1) with respect to xk , taking the scalar
product with ∂k u, adding over k and, finally, integrating by parts over Rn , we show
that
Z
Z
Z
1 d
|∇u|2 dx + |∇2 u|2 dx = − ∇[(u · ∇)u] · ∇udx
2 dt
XZ
=
∂k ui · ∂i uj · ∂k uj dx.
i,j,k
Following [1], we consider separately the three cases i 6= 3; i = 3 and j 6= 3;
i = j = 3. We only need to deal with the case i = j = 3. Since ∂3 u3 = −∂1 u1 −∂2 u2 ,
4
J. FAN, H. GAO
EJDE-2009/121
it readily follows that
Z
Z
∂k ui · ∂i uj · ∂k uj dx = − ∂k u3 · (∂1 u1 + ∂2 u2 ) · ∂k u3 dx
Z
≤ 2 |∇e
u| · |∇u|2 dx.
And thus we get
1 d
2 dt
Z
|∇u|2 dx +
Z
|∇2 u|2 dx ≤ 2
Z
|∇e
u| · |∇u|2 dx =: I.
(3.1)
Now we assume that (1.5) holds. Then
I ≤ 2k∇ukL2 · k |∇e
u| · |∇u| kL2
≤ 2k∇ukL2 · k∇e
ukẊr k∇ukḢ r
2
r
≤ Ck∇ukL2 · k∇e
ukẊr k∇uk1−r
L2 k∇ ukL2
by the interpolation inequality
r
kwkḢ r ≤ Ckwk1−r
L2 k∇wkL2 ,
(3.2)
whence
2
2−r
k∇uk2L2 ,
I ≤ k∇2 uk2L2 + Ck∇e
ukẊ
r
for any > 0 by Young’s inequality. Inserting the above estimates into (3.1) and
taking small enough and the Gronwall’s inequality yield (1.9).
Next we assume that (1.6) holds. Then
I ≤ 2k∇ukḢ 1 k |∇e
u| · |∇u| kḢ −1
≤ Ck∇ukḢ 1 k∇e
ukẎ1+r k∇ukḢ r
2
r
≤ Ck∇2 ukL2 k∇e
ukẎ1+r k∇uk1−r
L2 k∇ ukL2
2
1−r
≤ k∇uk2L2 + Ck∇e
ukẎ
1+r
(by (3.2))
k∇uk2L2
for any > 0 by Young’s inequality. Inserting the above estimates into (3.1) and
taking small enough and the Gronwall’s inequality give (1.9).
Now we assume that (1.7) holds. For any > 0, then there exist α and β such
that ∇e
u = α + β, kαkL∞ (0,T ;Y2 ) ≤ and β ∈ L∞ ((0, T ) × R3 ),
Z
I ≤ 2 |α| · |∇u|2 dx + 2kβkL∞ k∇uk2L2
≤ 2k∇ukḢ 1 k| α| · ∇ukḢ −1 + Ck∇uk2L2
≤ 2k∇ukḢ 1 kαkẎ2 k∇ukḢ 1 + Ck∇uk2L2
≤ 2k∇2 uk2L2 + Ck∇uk2L2 .
Inserting the above estimates into (3.1) and taking small enough and then the
Gronwall’s inequality show (1.9).
Finally we assume that (1.8) holds. Then using the Littlewood-Paley decomposition (2.3), we decompose ∇e
u as follows:
∇e
u=
+∞
X
`=−∞
∆` (∇e
u) =
X
`<−N
∆` (∇e
u) +
N
X
`=−N
∆` (∇e
u) +
X
`>N
∆` (∇e
u).
EJDE-2009/121
REGULARITY FOR THE NAVIER-STOKES EQUATIONS
5
Here N is a positive integer to be chosen later. Substituting this into I, we have
N Z
X Z
X
|∆` (∇e
u)| |∇u|2 dx + 2
I≤2
|∆` (∇e
u)| |∇u|2 dx
`<−N
+2
`=−N
XZ
(3.3)
|∆` (∇e
u)| |∇u|2 dx
`>N
=: I1 + I2 + I3 .
For I1 , from the Hölder inequality and (2.4), it follows that
X
I1 ≤ 2
k∆` (∇e
u)kL∞ k∇uk2L2
`<−N
3
X
≤ 2k∇uk2L2
u)kL2
2 2 ` k∆` (∇e
`<−N
− 23 N
≤ C2
3
k∇uk2L2 k∇e
ukL2 ≤ C2− 2 N k∇uk3L2 .
For I2 , from the Hölder inequality, it follows that
N
X
I2 ≤ 2k∇uk2L2
k∆` (∇e
u)kL∞
`=−N
≤ Ck∇uk2L2 · N k∇e
ukḂ 0
∞,∞
= CN k∇uk2L2 k∇e
ukḂ 0
∞,∞
.
For I3 , from the Hölder inequality and (2.4), it follows that
X
I3 ≤ 2k∇uk2L3
k∆` (∇e
u)kL3
`>N
≤
Ck∇uk2L3
X
`
u)kL2
2 2 k∆` (∇e
`>N
≤ Ck∇uk2L3
X
2−`
1/2 X
`>N
≤
N
Ck∇uk2L3 2− 2
`>N
k∇ u
ekL2
k∇uk2L3 k∇2 ukL2
−N
2
k∇ukL2 k∇2 uk2L2
≤ C2
1/2
2
−N
2
≤ C2
22` k∆` (∇e
u)k2L2
by the Gagliardo-Nirenberg inequality
k∇uk2L3 ≤ Ck∇ukL2 k∇2 ukL2 .
Inserting the above estimates into (3.3), we find that
3
I ≤ C2− 2 N k∇uk3L2 + CN k∇e
ukḂ 0
∞,∞
N
k∇uk2L2 + C2− 2 k∇ukL2 k∇2 uk2L2 .
N
Now we choose N so that C2− 2 k∇ukL2 ≤ 21 ; i.e.,
N ≥2+
Then
2 log+ (2Ck∇ukL2 )
.
log 2
1
I ≤ C + Ck∇uk2L2 + Ck∇uk2L2 log(e + k∇ukL2 ) + k∇2 uk2L2 .
2
6
J. FAN, H. GAO
EJDE-2009/121
Insetting the above estimates into (3.1) and the Gronwall’s inequality give (1.9).
This completes the proof.
Acknowledgements. The authors are indebted to Professor H. O. Bae who kindly
sent us the preprint [1].
References
[1] H. O. Bae and H. J. Choe; A regularity criterion for the Navier-Stokes equations, (Preprint
2005).
[2] H. Beirão da Veiga; A new regularity class for the Navier-Stokes equations in Rn , Chinese
Ann. Math. 16 (1995), 407-412.
[3] D. Chae and H. J. Choe; Regularity of solutions to the Navier-Stokes equations, Electronic
J. Differential Equations, Vol. 1999 (1999), No. 5, pp. 1-7.
[4] L. Escauriaza, G. A. Seregin and V.Šverák; L3,∞ -solutions of the Navier-Stokes equations
and backward uniqueness, Russ. Math. Surv. 58(2) (2003), 211-248.
[5] E. Fabes, B. Jones and N. M. Riviere; The initial value problem for the Navier-Stokes equations with data in Lp , Arch. Rat. Mech. Anal. 45 (1972), 222-248.
[6] Y. Giga; Solutions for semilinear parabolic equations in Lp and regularity of weak solutions
of the Navier-Stokes equations, J. Diff. Eqns. 62 (1986), 186-212.
[7] H. Kozono and N. Yatsu; Extension criterion via two-Components of vorticity on strong
solutions to the 3-D Navier-Stokes equations, Math. Z., 246 (2004), 55-68.
[8] I. Kukavica and M. Ziane; One component regularity for the Navier-Stokes equations, Nonlinearity 19 (2006), 453-469.
[9] J. Leray; Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math. 63 (1934),
193-248.
[10] V. G. Maz’ya and T. O. Shaposhnikova; Theory of Multipliers in Spaces of Differentiable
Functions. Monographs and Studies in Mathematics 23, Pitman, Boston, MA, 1985.
[11] V. G. Maz’ya; On the theory of the n-dimensional Schrödinger operator, Izv. Akad. Nauk
SSSR (Ser. Mat.) 28 (1964), 1145-1172.
[12] T. Ohyama; Interior regularity of weak solutions to the Navier-Stokes equations, Proc. Japan
Acad. 36 (1960), 273-277.
[13] J. Serrin; On the interior regularity of weak solutions of the Navier-Stokes equations, Arch.
Rat. Mech. Anal. 9 (1962), 197-195.
[14] H. Sohr and W. Von Wahl; On the regularity of the pressure of weak solutions of NavierStokes equations, Archiv Math. 46 (1986), 428-439.
[15] M. Struwe; On partial regularity results for the Navier-Stokes equations, Comm. Pure Appl.
Math. 41 (1988), 437-458.
[16] H. Triebel; Interpolation Theory, Function Spaces, Differential Operators, North Holland,
Amsterdam-New York-Oxford, 1978.
[17] Z. Zhang and Q. Chen; Regularity criterion via two components of vorticity on weak solutions
to the Navier-Stokes equations in R3 , J. Differential Equations 216 (2005), 470-481.
[18] Y. Zhou, A new regularity result for the Navier-Stokes equations in terms of the gradient of
one velocity component, Methods Appl. Anal. 9 (2002), 563–578.
[19] Y. Zhou, A new regularity criterion for weak solutions to the Navier- Stokes equations, J.
Math. Pures Appl. 84 (2005), 1496–1514.
Jishan Fan
School of Mathematical Science, Nanjing Normal University, Nanjing, 210097, China
Department of Applied Mathematics, Nanjing Forestry University, Nanjing 210037,
China
E-mail address: fanjishan@njfu.com.cn
Hongjun Gao
School of Mathematical Science, Nanjing Normal University, Nanjing, 210097, China
E-mail address: gaohj@njnu.edu.cn
Download