arxiv: v1 [math.ap] 24 Dec 2018

Transcription

1 BOUNDARY ε-regularity CRITERIA FOR THE 3D NAVIER-STOKES EQUATIONS HONGJIE DONG AND KUNRUI WANG arxiv: v [math.ap] 4 Dec 08 Abstract. We establish several boundary ε-regularity criteria for suitable weak solutions for the 3D incompressible Navier-Stokes equations in a half cylinder with the Dirichlet boundary condition on the flat boundary. Our proofs are based on delicate iteration arguments and interpolation techniques. These results extend and provide alternative proofs for the earlier interior results by Vasseur [8], Choi-Vasseur [], and Phuc-Guevara [6].. Introduction and main results In this paper we discuss the 3-dimensional incompressible Navier-Stokes equations with unit viscosity and zero external force: t u+u u u+ p = 0, div u = 0, (. where u = (u (t,x,u (t,x,u 3 (t,x is the velocity field and p = p(t,x is the pressure. We consider local problem: (t,x Q or Q +, where Q and Q + denote the unit cylinder and unit half-cylinder respectively. For the half cylinder case, we assume that u satisfies the zero Dirichlet boundary condition: u = 0 on {x d = 0} Q +. (. We are concerned with different types of ε-regularity criteria for suitable weak solutions for 3D Navier-Stokes equations. The suitable weak solutions are a class of Leray-Hopf weak solutions satisfying the so-called local energy inequality, which was originated by Scheffer in a series of papers [, 3, 4]. The formal definition of the suitable weak solutions was first introduced by Caffarelli, Kohn, and Nirenberg []. See Section.. In [8] Vasseur proved the following interior ε-regularity criterion, which provided an alternative proof of the well-known partial regularity result for the 3D incompressible Navier-Stokes equations proved by Caffarelli, Kohn, and Nirenberg []. His proof is based on the De Giorgi iteration argument originally for elliptic equations in divergence form. Theorem. (Vasseur [8]. For any q (,, there exists an ε 0 = ε 0 ( q > 0 such that if (u,p is a pair of suitable weak solution to (.-(. in Q and satisfies 0 u(t,x dx+ u dxdt+ p q L x(bdt ε 0, sup t [,0] B Q then u is regular in Q(/. LaterChoiandVasseurextended thisresultupto q = in [, Proposition.]with anadditional condition on the maximal function of u. In [6], Phuc and Guevara further refined this result to the case with simply q =. Their proof exploits fractional Sobolev spaces of negative order and an inductive argument in [] and [9]. In this paper, we show a boundary version of Theorem.. Namely, Date: December 7, Mathematics Subject Classification. Primary 35Q30, 35B65, 76D05. H. Dong and K. Wang were partially supported by the NSF under agreement DMS

2 H. DONG AND K. WANG Theorem.. For any q (,, there exists a universal constant ε 0 = ε 0 ( q > 0 such that if (u,p is a pair of suitable weak solution to (.-(. in Q + with p L t q Lx (Q + and satisfies then u is regular in Q + (/. sup u(t,x dx+ u dxdt+ t [,0] B + Q + 0 p q L x (B+ dt ε 0, The condition q > is required when we apply the coerciveestimate for the linear Stokessystem to estimate the pressure term. At the time of this writing, it is not clear to us whether it is possible to take q = as in the interior case. Theorem. can be used to give a new proof of the boundary partial regularityresult by Seregin [6]. Another consequence of the theorem is the following boundary regularity criterion, which does not involve u. Theorem.3. For any q > 5/ and q >, there exists a universal constant ε 0 = ε 0 (q, q such that if (u,p is a pair of suitable weak solution to (.-(. in Q + with p L t q Lx (Q + and satisfies then u is regular in Q + (/. u Lq(Q + + p L t q L x (Q+ < ε 0, The above theorem is a special case of Theorem 4., which will be proved in Section 4. The corresponding interior result when q > 0/7 was proved recently in [6] by viewing the head pressure u /+p as a signed distribution, which belongs to certain fractional Sobolev spaces of negative order. This answered a question raised by Kukavica in [0] about whether one can lower the exponent 3 in the original ε-regularity criterion in []. See also more recent [8] for an extension to the case when q > 5/ with an application to the estimate of box dimensions of singular sets for the Navier Stokes equations. We refer the reader to [7, 9] and references therein for various interior and boundary ε-regularity criteria for the Navier-Stokes equations. The proofs of Theorems. and.3 both rely on iteration arguments. Compared to the argument in [8], our proof of Theorem. is much shorter and, in the conceptual level, closer to the original argument in []. Instead of fractional Sobolev spaces used in [6], which does not seem to work for the boundary case, we consider scale invariant quantities in the usual mixed-norm Lebesgue spaces, and apply a decomposition of the pressure due to Seregin [6]. We adopt some ideas in [4, 3] on showing uniform decay rates of scale invariant quantities by induction. More precisely, we use different induction step lengths when iterating between different scale invariant quantities associated with the energy norm and the pressure respectively. In the last step, we use parabolic regularity to further improve the estimate of mean oscillation of u and conclude the Hölder continuity according to Campanato s characterization of Hölder continuous functions. By a minor modification on the proof of Theorem. to transform to the interior case, we also get a different proof of Theorem. with refined condition q = obtained in [6]. The proof of Theorem.3 uses a delicate interpolation argument. We treat each term on the right hand side of the generalized energy inequality in a consistent way such that they are all interpolated by the energy norms and the mixed-norm which is assumed to be small in the condition. By fitting the exponents of those energy norms slightly less than, we spare some space that we can borrow to use Young s inequality and proceed with an iteration to obtain the desired results. The remaining part of the paper is organized as follows. In the next section, we introduce some notation and the definition of suitable weak solutions to the Navier-Stokes equations. The proof of Theorem. is given in Section 3. Section 4 is devoted to the proof of Theorem 4.. In Appendix A, we show how to adapt our proof to the interior case where we can take q = due to a conciser estimate of the pressure.

3 THE 3D NAVIER-STOKES EQUATIONS 3 Throughout the paper, various constants are denoted by N in general, which may vary from line to line. The expression N = N( means that the given constant N depends only on the contents in the parentheses.. Preliminaries.. Notation. Let T > 0, Ω be a domain in R 3, Γ Ω, and Ω T := (0,T Ω with the parabolic boundary p Ω T = [0,T Ω {t = 0} Ω. We denote Ċ 0 (Ω,Γ to be the space of divergence-free infinitely differentiable vector fields which vanishes near Γ. Let J(Ω,Γ and J (Ω,Γ be the closures of Ċ0 (Ω,Γ in the spaces L (Ω and W (Ω, respectively. We shall use the following notation for balls, half balls, parabolic cylinders, and half parabolic cylinders: B(ˆx,ρ = {x R 3 x ˆx < ρ}, B(ρ = B(0,ρ, B = B(; B + (ˆx,ρ = {x B(ˆx,ρ x = (x,x,x 3, x 3 > ˆx 3 }, B + (ρ = B + (0,ρ, B + = B + (; Q(ẑ,ρ = (ˆt ρ,ˆt B(ˆx,ρ, Q(ρ = Q(0,ρ, Q = Q(; Q + (ẑ,ρ = (ˆt ρ,ˆt B + (ˆx,ρ, Q + (ρ = Q + (0,ρ, Q + = Q + (. where ẑ = (ˆt,ˆx. We denote A(ρ = ess sup ρ t 0 u dx, E(ρ = u dz, ρ B + (ρ ρ Q + (ρ C q,r (ρ = ρ /q 3/r u L t q L x r (Q+ (ρ, D q,r (ρ = ρ /q 3/r p [p] ρ (t L t q L x r (Q+ (ρ, where q,r [, ] and [p] ρ (t is the average of p with respect to x in B + (ρ. Note that all of them are scale invariant with respect to the natural scaling for (.: u(t,x λu(λ t,λx, p(t,x λ p(λ t,λx... Suitable weak solutions. The definition of suitable weak solutions was introduced in []. We say a pair (u,p is a suitable weak solution of the Navier-Stokes equations on the set Ω T vanishing on (0,T Γ if i u L (0,T; J(Ω,Γ L (0,T; J (Ω,Γ and p L t q Lx (Ω T for some q ; ii u and p satisfy equation (. in the sense of distribution. iii For any t (0,T and nonnegative function ψ C (Ω T vanishing in a neighborhood of the boundary {t = 0} Ω and (0,T ( Ω\Γ, the integrals in the following local energy inequality are summable and the inequality holds true: ess sup 0 s t u(s,x ψ(s,xdx+ u ψdxds Ω Ω t (. { u (ψ t + ψ+( u +pu ψ}dxds. Ω t We will specify the constant q later so that the integrals on the right-hand side of (. are summable.

4 4 H. DONG AND K. WANG 3. Proof of Theorem. This section is devoted to the proof of Theorem.. We use the abbreviation D(ρ = D q, r (ρ = ρ p [p] ρ(t L t q L x r (Q+ (ρ, where q (,, r (3/,3, / q + 3/ r = 3. We first prove a few lemmas which will be used below. Lemma 3.. For any ρ > 0 and any pair of exponents (q,r such that we have where N > 0 is a universal constant. q + 3 r = 3, q, r 6, ρ / u L t q L x r (Q+ (ρ N (A(ρ+E(ρ, Proof. Use the standard interpolation by the Sobolev embedding inequality and Hölder s inequality. Lemma 3.. Let (u,p be a pair of suitable weak solution of (.. For constants γ (0,/], ρ > 0, we have [ A(γρ+E(γρ N γ A(ρ+γ ( ] (A(ρ+E(ρ 3 +(A(ρ+E(ρ D(ρ, where N > 0 is a universal constant. Proof. The proof is more or less standard. We give the details for the sake of completeness. By scaling, we may assume ρ =. Define the backward heat kernel as Γ(t,x = (4π(γ t 3/e x 4(γ t. In the energy inequality (., we choose ψ = Γφ, where φ C0 ((, B( is a suitable smooth cut-off function satisfying By using the equation we have 0 φ in R R 3, φ in Q(/, φ N, φ N, t φ N in R R 3. Γ+Γ t = 0, ess sup s 0 u(s,x B Γ(s,xφ(s,xdx+ u Γφdz + Q + { u (Γφ t +Γ φ+ φ Γ+( u + p [p] u (Γ φ+φ Γ}dz. Q + The test function has the following properties: (i For some constant c > 0, on Q + (γ it holds that (ii For any z Q + (, we have (iii For any z Q + (, we have Γφ = Γ cγ 3. Γ(zφ(z Nγ 3, Γ(zφ(z + Γ(z φ(z Nγ 4. Γ(zφ t (z + Γ(z φ(z + Γ(z φ(z N. (3.

5 THE 3D NAVIER-STOKES EQUATIONS 5 Therefore, (3. and Lemma 3. yield A(γ+E(γ = γ ess sup t 0 The lemma is proved. B + (γ Nγ u dz +Nγ Q + u(t,x dx+γ Q + (γ Q + ( u + p [p] u dz u dz Nγ A(+Nγ (A(+E( 3/ +N(A(+E( / D(. Lemma 3.3. Let (u,p be a pair of suitable weak solution of (.-(.. For γ (0,/], ρ > 0, and ε (0,3/ r, we have [ ] D(γρ N γ +ε (D q, (ρ+(a(ρ+e(ρ +γ (A(ρ+E(ρ, (3. and D(γρ N [ ] γ +ε (D(ρ+(A(ρ+E(ρ +γ (A(ρ+E(ρ, (3.3 where N is a constant independent of u, p, γ, and ρ, but may depend on q, r, and ε. Proof. By the scale-invariant property, we may also assume ρ =. We fix a domain B R 3 with smooth boundary so that B + (/ B B +, and denote Q = (,0 B. Define r by /r = / r+/3 >. Using Hölder s inequality, we get u u L t q L x r (Q + u L t L x (Q+ u L t q L x r (Q +, where q = +, q r = +. r Because of the conditions on ( q, r, we have q (, and /q +3/r = 3/. Thus by Lemma 3., we get u u L t q L x r (Q + N(A(+E(. (3.4 By the solvability of the linear Stokes system with the zero Dirichlet boundary condition [, Theorem.] (see Lemma 4.4 below, there is a unique solution v W, q,r ( Q and p W 0, q,r ( Q to the following initial boundary value problem: t v v + p = u u in Q, v = 0 in Q, [p ] B(t = 0 for a.e. t [,0], v = 0 on p Q. Moreover, we have v + v + p + p L t q L x r ( Q N u u L t q Lx r ( Q N(A(+E(. (3.5 where in the last inequality we used (3.4. By the Sobolev-Poincaré inequality, we have p L t q L x r (Q+ N p L t q L x r (Q + N(A(+E(. (3.6 We set w = u v and p = p p. Then w and p satisfy t w w+ p = 0 in Q, w = 0 in Q, w = 0 on [,0 ( B {x 3 = 0}.

6 6 H. DONG AND K. WANG By the Sobolev-Poincaré inequality, Hölder s inequality, and an improved integrability result for the Stokes system [7, Theorem.] (see also Lemma 4.5 below, we have γ p [p ] γ L t q L x r (Q+ (γ N p L t q L x r (Q+ (γ Nγ 3( r r p L t q L x r (Q + (γ Nγ 3( r r p L t q L x ( r (Q + (/ Nγ 3( r r p [p ] L t q L x (Q+ + w L t q L x (Q+ ( Nγ 3( r r D q, (+ p L t q L x (Q+ + v L t q L x (Q+ + u L t q L x ( (Q+ Nγ 3( r r D q, (+A(+E(+A (. (3.7 where r > r is any large number and we also used (3.5 in the last inequality. From (3.6 and (3.7, we obtain [ ( ] D(γ N γ 3( r r D q, (+(A(+E( +γ (A(+E(. Because r < 3 and r can be arbitrarily large, ε may range in (0,3/ r. Finally, (3.3 follows from (3. and Hölder s inequality. The lemma is proved. The following is the key lemma for the proof of Theorem.. Lemma 3.4. There exists a constant ε = ε ( q > 0 satisfying the following property. If A(+E(+D q, ( ε, then there exist sufficiently small δ > 0 and ρ 0 > 0 such that for any ρ (0,ρ 0 ]. A(ρ+E(ρ ρ δ, D(ρ ρ +δ (3.8 Proof. Let ρ k = ρ (+βk 0 where ρ 0 (0, and β (0,δ are small constants to be specified later. To prove (3.8 for any ρ (0,/] (with a slightly smaller δ, it suffices to show that, for every k we have A(ρ k +E(ρ k ρ δ k, D(ρ k ρ +δ k. (3.9 We will assume the initial step for induction later by specify some conditions on ρ 0 and ε. Now suppose (3.9 is true for 0 to k l where l is an integer to be specified later. For E(ρ k+, we set γ = ρ β k and ρ = ρ k in Lemma 3. to obtain [ A(ρ k+ +E(ρ k+ N N For δ, when β < 3δ (4 δ, it holds that ρ β+ δ k +ρ β+3( δ/ k [ ρ β+ δ k +ρ β+3 3δ/ k +ρ β++δ+( δ/ k +ρ β++δ/ k ] ]. (3.0 min{β + δ, β +3 3δ/, β ++δ/} > ( δ(+β. (3. For D(ρ k+, we let β = (+β l+. We set γ = ρ β k l and ρ = ρ k l in (3. to have [ ] D(ρ k+ N ρ (+ε β++δ k l +ρ (+ε β+ δ/ k l +ρ β+ δ k l. (3. To satisfy min { } (+ε β ++δ,(+ε β + δ/, β + δ > (+δ(+ β, (3.3

7 THE 3D NAVIER-STOKES EQUATIONS 7 we require (ε δ β > 3δ/. Indeed we can choose δ = ε, β = ε /4, and take a sufficiently large integer l of order /ε so that β 3ε. A direct calculation shows that both (3. and (3.3 are satisfied. From (3.0 and (3. we can find some ξ > 0 such that A(ρ k+ +E(ρ k+ Nρ δ+ξ k+, D(ρ k+ Nρ +δ+ξ k+, where N is a constant independent of k and ξ. We choose ρ 0 small enough such that Nρ ξ k+ < Nρξ 0 < to get (3.9 for k l. Finally, by using (3. in lemma 3.3 with γ = / and ρ =, we have A(/+E(/+D(/ Nε /. Then by choosingε sufficiently small, wecan make(3.9 to be true for k = 0,,,...,l. Therefore, by induction we conclude (3.9 is true for any integer k 0. Lemma 3.5. Suppose f(ρ 0 C 0. If there exist α > β > 0 and C,C > 0 such that for any 0 < γ < ρ ρ 0, it holds that f(γ C (γ/ρ α f(ρ+c ρ β, then there exist constants C 3,C 4 > 0 depending on C 0,C,C,α,β, such that for any γ (0,ρ 0 ]. f(γ C 3 (γ/ρ 0 β f(ρ 0 +C 4 γ β Proof. See, for instance, [5, Chapter III, Lemma.]. Now we are ready to give Proof of Theorem.. By Lemma 3.4 we have the following estimates for ρ (0,ρ 0 ]: p [p] L t q L x r (Q+ (ρ ρ +δ, u L t q L x r (Q+ (ρ ρ 3 δ. (3.4 Let w be the unique weak solution to the heat equation t w i w i = j (u i u j i (p [p] ρ in Q + (ρ with the zero boundary condition. By the classical L p estimate for the heat equation, we have w L t q L x r (Q+ (ρ N u L t q L x r (Q+ (ρ +N p [p] ρ L t q L x r (Q+ (ρ, which together with (3.4 yields w L t q L x r (Q+ (ρ Nρ +δ. (3.5 By the Poincaré inequality with zero boundary condition, we get from (3.5 that w L t q L x r (Q+ (ρ Nρ 3+δ. (3.6 Denote v = u w, which satisfies the homogeneous heat equation t v v = 0 in Q + (ρ with the boundary condition v = u on p Q + (ρ. Let 0 < γ < ρ. By the Poincaré inequality with zero mean value and using the fact that any Hölder norm of a caloric function in a smaller half cylinder is controlled by any L p norm of it in a larger half cylinder. We have v (v γ L t q L x r (Q+ (γ Nγ 4 v C /, (Q + (γ N(γ/ρ 4 v (u ρ L t q L x r (Q+ (ρ, (3.7 where (u ρ is the average of u in Q + (ρ.

8 8 H. DONG AND K. WANG Using (3.7, (3.6, and the triangle inequality, we have u (u γ L t q L x r (Q+ (γ v (v γ L t q L x r (Q+ (γ + w L t q L x r (Q+ (γ N(γ/ρ 4 v (u ρ L t q L x r (Q+ (ρ +Nρ 3+δ N(γ/ρ 4( u (u ρ L t q L x r (Q+ (ρ + w L t q L x r (Q+ (ρ N(γ/ρ 4 u (u ρ L t q L x r (Q+ (ρ +Nρ 3+δ. +Nρ 3+δ Applying Lemma 3.5 we obtain u (u γ L t q L x r (Q+ (γ Nγ 3+δ for any γ (0,ρ 0. By Hölder s inequality, we have u (u γ L(Q + (γ Nγ u (u γ L t q L x r (Q+ (γ Nγ 5+δ. Similar estimates can be derived for interior points using same techniques. We conclude that u is Hölder continuous in Q + (ρ 0 by Campanato s characterization of Hölder continuity. The theorem then follows by a covering argument. 4. A boundary regularity criterion without involving u In this section, we shall prove the following theorem, which is more general than Theorem.3. Theorem 4.. For each triple of exponents (q, r, q satisfying q + 3 r <, < q <, 3 < r <, (4. and q < F(q,r := q (/r / + /r /6, (4. there exists a universal constant ε 0 = ε 0 (q,r, q such that if (u,p is a pair of suitable weak solution to (.-(. in Q + with p L t q Lx (Q + and satisfies then u is regular in Q + (/. C q,r (+D q, ( < ε 0, (4.3 Remark 4.. The restriction (4. arises in the estimates for the pressure term below by using the coercive estimate for the linear Stokes system. It is not clear to us if this restriction can be dropped. A straightforward calculation shows that under the constraints q + 3 r, < q <, 3 < r <, the function F(q,r attains its minimum ( 3 /4 when /r = / 6 + /6 and /q = 3/4 6/4. Therefore, if ( q ( 3.059, 4 then (4. is trivial for any (q,r satisfying (4.. Moreover, it is easily seen that max{ /q,/+/q} < F(q,r. Therefore, by decreasing q if necessary, we may assume that max{ /q,/+/q,7/8}</ q < F(q,r. (4.4

9 THE 3D NAVIER-STOKES EQUATIONS 9 Remark 4.3. By a slight modification of the proof below, we have the following result. Under the conditions of Theorem 4., if instead of (4.3 we assume for some constant C 0 > 0, then C q,r (+D q, ( C 0 A(/+E(/ N(q,r, q,c 0 <. We first set up some notation and state a few lemmas that will be useful in the proofof Theorem 4.. Let ρ k = k. Denote Q + k = Q+ (ρ k and B + k = B+ (ρ k for integer k. Again we denote A k = A(ρ k and E k = E(ρ k. For each integer k 0, We fix a domain B k R 3 with smooth boundary so that B + k+ B k B + k+ such that the C norm of B k is bounded by N k. We also denote Q k = ( ρ k+,0 B k. Lemma 4.4. Let m,n (, be two fixed numbers. Assume that g L n,m ( Q k. Then there exists a unique function pair (v, p, which satisfies the following equations: t v v + p = g in Q k, v = 0 in Q k, [p] Bk (t = 0 for a.e. t [ ρ k+,0], v = 0 on p Qk. Moreover, v and p satisfy the following estimate: v W, n,m( Q k + p W 0, n,m( Q k Cbk g Ln,m( Q k, where the constants C and b only depend on m and n. We refer the reader to [, Theorem.] for the proof of Lemma 4.4. The factor bk can be obtained by keeping track of the constants in the localization argument in [, Sect. 3]. Lemma 4.5. Let n,s (, be constants and g L t nl x s(q + k+. Assume that the functions v W 0, n, (Q+ k+ and p Lt n Lx (Q+ k+ satisfy the equations: { t v v + p = g in Q + k+, v = 0 in Q + k+, and the boundary condition v = 0 on {y y = (y,0, y < ρ k+ } [ ρ k+,0. Then we have v Wn,s(Q, + k, p W0, n,s(q + k, and v W, n,s(q + k + p Wn,s(Q 0, + k Cbk( g L t n L x s (Q+ k+ + v L t n Lx (Q+ k+ + p L t n Lx (Q+ k+, (4.5 where the constants C and b only depend on n and s. Proof. We use a mollification argument. Denote x = (x,x and ˆQ k = Q + ((ρ k +ρ k+ /. By the Sobolev embedding theorem, we have v L t n Lx m (Q+ k+ for some m (,min(n,s. Let vε, p ε, and g ε be the standard mollifications with respect to (t,x, which satisfy the same equations as v, p, and g. By the properties of mollifications, it is clear that for sufficiently small ε, D x v ε, D x vε, t v ε L t nl x m(ˆq k, D x p ε L t,x n L x3 (ˆQ k, j =,. (4.6 Then from the equations for v ε and vε, we get D x 3x 3 v ε j Lt,x n Lx3 (ˆQ k for j =,. By applying the Sobolev embedding theorem in the x 3 direction, we get D x3 v ε j Lt n Lx m (ˆQ k, which together

10 0 H. DONG AND K. WANG with (4.6 implies that Dv ε j Lt n Lx m (ˆQ k for j =,. Since D x v ε satisfies the same equation, we see that D x Dv ε j Lt nl x m(ˆq k for j =,. Now owing to v ε = 0, we have D x3 v ε 3, D x3x 3 v ε 3 L t nl x m(ˆq k, which together with the equation for v3 ε further implies D x 3 p ε L t n Lx m (ˆQ k. Using the Sobolev embedding theorem, we then get p ε L t n Lx m (ˆQ k. By [7, Theorem.] (see also [5], we have v ε Wn,s(ˆQ, k, p ε Wn,s(ˆQ 0, k, and v ε W, n,s(q + k + pε W 0, n,s(q + k Cbk( g ε L t n L x s ( ˆQ k + vε W,0 n,m( ˆQ k + pε L t n L x m ( ˆQ k, where C is independent of ε and k. Again the factor bk can be obtained by keeping track of the constants in the proofs in [5]. Taking the limit as ε 0, we get v W, n,s(q + k + p Wn,s(Q 0, + k Cbk( g L t n L x s ( ˆQ k + v Wn,m(,0 ˆQ k + p L t n Lx m ( ˆQ k. By interpolation inequalities, for any δ (0, we have v W, n,s(q + k + p W 0, n,s(q + k δ ( v W, n,s( ˆQ k + p W 0, n,s(ˆq k +C bk g L t n Lx s ( ˆQ k +C δ bk( v L x n L t ( ˆQ k + p L t n Lx (ˆQ k Finally, (4.5 follows by using a standard iteration argument. We now give the proof of Theorem 4.. Proof of Theorem 4.. By replacing p with p [p] (t without loss of generality, we may assume that [p] (t = 0 for t (,0. Let τ > 0 be such that q + 3 := τ. r It is easily seen that we can find ˆr (3/,r such that q + 3ˆr := τ <, q + ˆr >, q + ˆr > 3. (4.7 In the sequel, we will choose τ sufficiently small by reducing ˆr. Let ρ k = k, B k = B(ρ k, and Q k = Q(ρ k for integer k. For each k, we choose a cut-off function ψ k satisfying By (., we have ess sup ρ k s 0 B + k supp ψ k Q k+, ψ k on Q k, t ψ k N k, Dψ k N k, D ψ k N k. u(s,x dx+ u dxds N { k u + k ( u + p u }dxds, Q + k Q + k+ where N is independent of k. For simplicity, we denote A k = A(ρ k and E k = E(ρ k. Thus we can rewrite the above inequality as A k +E k N k { u + u 3 + pu } dz. (4.8 Q + k+ We have the following interpolation using Hölder s inequality u 3 6τ 6τ τ dz u L t u τ u τ q Lxˆr (Q+ k+ L t q L x r (Q + k+ L t q Lx u τ r (Q+ k+ where Q + k+ L t q L x r (Q + k+, q [, ], r [,6] (4.9.

11 THE 3D NAVIER-STOKES EQUATIONS need to satisfy /q +3/r = 3/. A simple calculation shows that q = ( 6τ q ( τ q, r = ( 6τ ˆr ( τ ˆr. Indeed (4.9 holds because of (4.7. We then apply Lemma 3. to get u 3 τ dz u L t q Lx r (Q+ (A k+ +E k+ 3τ τ. (4.0 k+ Q + k+ Again by Hölder s inequality, we have ( /3 u dz N u dz 3 3( τ N u L t q Lx r (Q+ (A k+ +E k+ ( 3τ 3( τ. (4. k+ Q + k+ Q + k+ To deal with the last term in (4.8, we make the following decomposition. For some suitable (q,s which we will specify later, there exists a pair of unique solution v k W, q,s ( Q k and p k W 0, q,s ( Q k to the following initial boundary value problem: t v k v k + p k = u u in Q k, v k = 0 in Q k, [p k ] Bk (t = 0 for a.e. t [ ρ k+,0], v k = 0 on p Qk. We set w k = u v k and h k = p p k. Then w k and h k satisfy t w k w k + h k = 0 in Q k, w k = 0 in Q k, w k = 0 on [ ρ k+,0 ( B k {x 3 = 0}. We choose ˆr (3/,r satisfying (4. q + 3ˆr := τ <. In the sequel, we will choose τ sufficiently small by reducing ˆr. Estimates for p k : For α (0, which we will specify later, by Hölder s inequality, up k dz u α L t q L x r (Q + k+ u α L t q Lxˆr (Q + p k L t k+ q L x s (Q + k+, (4.3 Q + k+ where the exponents need to satisfy + 3 = 3 q r, q + α + α q q =, s + α + α =. r ˆr The system above implies that q + 3 s = 5 ( ( α 3 +α ( τ. (4.4 To make use of Lemma 3., we need q, which is equivalent to q + α q q + α q + α. (4.5 We are going to check this condition later. Next we estimate the nonlinear term u u. Define another exponent s by s := s + 3.

12 H. DONG AND K. WANG Using Hölder s inequality, we get where u u L t q L x s ( Q k u L t Lx ( Q k u α L t q Lxˆr ( Q k u α L t q 3 L x r 3 ( Q k, (4.6 q = + α + α, q q 3 q 3 [, ], r 3 [,6], In particular, we take q 3 = and r 3 = 6 so that By (4.7 we have From (4.4, (4.8, and (4.9, we get s = + α ˆr + α r 3 (4.7 q r 3 = 3. α = /q / /q. (4.8 / /q q + 3 s = ( α ( τ +(+α 3. (4.9 α = α + τ = /q / /q + τ. τ / /q τ Since we have solved for α, we can now go back to verify (4.5. A simple calculation gives that it indeed holds when q > q q q+ and τ is sufficiently small. We note that there is an implicit restriction q > contained in the conditions above. We can observe it by adding up the first inequality in (4.5 and the first equality in (4.7 and using the fact α > α. To make use of Lemma 4.4, we need to check that s >, which is equivalent to In the special case when q = becomes which clearly holds true because α ˆr + α 6 <. q q q+, we have α = /q (0, and the above inequality ( ˆr q + q 6 <, 6 ˆr q q + 3ˆr < and thus ˆr q > 6. By continuity, when q q is sufficiently close to q q+, we still have s > and α (0,. Now by Lemma 4.4, we have the existence of the unique solution pair (v k,p k to (4. and p k + p k L t q L x s ( Q k Nbk u u L t q L x s ( Q k N bk u L t L x ( Q k u α L t q Lxˆr ( Q k u α L t q 3 L x r 3 ( Q k, where in the last inequality we used (4.6. Here and in the sequel, b is a positive constant which is independent of k and may vary from line to line. Together with the Sobolev-Poincaré inequality and Hölder s inequality, we obtain p k L t q Lx s ( Q k Nbk u L t L x ( Q k u α L t q Lxˆr ( Q k u α L t q 3 L x r 3 ( Q k.

13 THE 3D NAVIER-STOKES EQUATIONS 3 Combining with (4.3 we have up k dz N bk u α u L t q L x r (Q + k+ u +α α L t q Lxˆr (Q + k+ L t Lx (Q+ k+ u α L t q 3 L x r 3 (Q + k+ Q + k+ N bk τ ǫ 0 (A k+ +E k+ 3τ τ. (4.0 Estimates for h k : For some α 3 (0,] which we will specify later, analogous to (4.3 by Hölder s inequality, uh k dz u α3 L t q 4 L x r 4 (Q + k+ u α3 L t q Lx r (Q+ h k L k+ t q L x s (Q+ k+, (4. Q + k+ where the exponents satisfy q r 4 = 3, q + α 3 q 4 + α 3 q =, s + α 3 r 4 + α 3 r =. To make use of Lemma 3., we require q 4, which is equivalent to q + α 3 q q + α 3 q + α 3. We simply choose α 3 = q( / q (0, and use (4.4 to verify this condition. By Lemma 4.5and the triangle inequality, we haveh k W 0, q, s (Q+ k+ and the followingestimate: h k L t q L x s (Q+ k+ Nbk w k + h k L t q L x (Q+ k+ N bk u + p L t q L x (Q+ k+ +Nbk v k + p k L t q L x (Q+ k+. (4. By Hölder s inequality, (4.4, and (4.3, we have For any s >, by Lemma 4.4, we have u + p L t q L x (Q+ k+ ε 0. (4.3 v k + p k L t q L x ( Q k+ N v k + p k L t q L x s ( Q k+ Nbk u u L t q L x s ( Q k+. (4.4 Next analogous to (4.6 by Hölder s inequality, u u L t q L x s ( Q k+ u L t Lx ( Q k+ u α4 L t q Lx r ( Q k+ u α4 L t q 5 L x r 5 ( Q k+, (4.5 where the exponents satisfy q 5, + 3 = 3 q 5 r 5, + α 4 + α 4 q q q, 5 + α 4 + α 4 r r 5 s. To justify the use of Lemma 4.4 in (4.4, we need to check that s >, which is equivalent to α 4 r + α 4 r 5 <. For later purpose, we also want α 3 = q( / q > α 4. To satisfy all of the three conditions above, we discuss two cases: i If r >, we simply choose α 4 = 0. Then such s > exists, and in view of (4.4, all the conditions are satisfied. ii If r (3/,], then q > 4. We set q 5 =,r 5 = 6. To ensure s > and α 3 > α 4, we take /r / /r /6 < α 4 < min{/,q( / q}, which is possible because of (4. and r > 3/. Moreover, we have + α 4 + α 4 q q 5 + α 4 + α < q,

14 4 H. DONG AND K. WANG where we used (4.4 in the last inequality. Now plugging (4.3, (4.4, and (4.5 into (4., we obtain h k L t q L (ε x s (Q+ k+ Nbk 0 + u L t L. x (Q+ k+3 u α4 L t q Lx r (Q+ k+3 u α4 L t q 5 L x r 5 (Q + k+3 Together with (4. we have uh k dz N bk u α3 Q + L t q 4 L x r 4 (Q + k+3 u α3 L t q Lx r (Q+ k+3 k+ ( ε 0 + u L t L. (4.6 x (Q+ k+3 u α4 L t q Lx r (Q+ k+3 u α4 L t q 5 L x r 5 (Q + k+3 Note we have consistently chosen (q n,r n such that Thus by Lemma 3., we know q n + 3 r n = 3, q n, r n 6, for n =,,3,4,5. u L t qn L x rn (Q+ k (A k +E k / for n =,,3,4,5. Substituting (4.3, (4.0, (4., (4.0, and (4.6 into (4.8, we obtain A k +E k N bk 3τ j τ ε j τ 0 (A k+3 +E k+3 j +ε 3( τ 0 (A k+3 +E k+3 ( 3τ 3( τ j= +ε +α3 0 (A k+3 +E k+3 α 3 +ε +α3 α4 0 (A k+3 +E k+3 α 3+α 4 By Young s inequality, for any δ > 0 we have A k +E k δ 3 (A k+3 +E k+3 +Ñbk ε β 0, (4.7 where Ñ = Ñ(δ,q,r,b > 0 and β = β(q,r (0,. We multiply both sides of (4.7 by δk and sum over integer k from to infinity. By setting δ = 3 b, we make sure the second term on the right-hand side is summable and get Therefore, we have δ k (A k +E k δ k+3 (A k+3 +E k+3 +Ñεβ 0 (/3 bk k= k= δ k (A k +E k +Ñεβ 0. k=3 A +E Ñεβ 0, where Ñ = Ñ(δ,q,r,b > 0 and β = β(q,r (0,. Together with D q, < ε 0, we can use Theorem. to conclude that there exists a universal ε 0 = ε 0 (q,r sufficiently small such that u is regular in Q + (/. Remark added after the proof: After we finished this paper, we learned that a result similar to Theorem.3 was proved in [0] under a much stronger assumption on the pressure. k=.

15 THE 3D NAVIER-STOKES EQUATIONS 5 Appendix A. Interior regularity criterion In the appendix, we show how our proof is adapted to the interior case where q is allowed to be. We note that Theorem A. was also obtained recently in [8] by using a different proof. For ρ > 0, we define the scale invariant quantities A(ρ, E(ρ, C q,r (ρ, and D q,r (ρ with B(ρ and Q(ρ in place of B + (ρ and Q + (ρ. Theorem A.. For each pair of exponents (q, r satisfying q + 3 r <, < q <, 3 < r <, there exists a universal constant ε 0 = ε 0 (q,r such that if (u,p is a pair of suitable weak solution to (. in Q with p L (Q and satisfies then u is regular in Q(/. C q,r (+D, ( < ε 0, Lemma A.. For any ρ > 0 and a pair of exponents (q,r such that we have q + 3 r = 3, q, r 6, ρ / u L t q L x r (Q(ρ N (A(ρ+E(ρ. (A. Proof. Use the standard interpolation by the Sobolev embedding inequality and Hölder s inequality. Proof of Theorem A.. As before we may assume that [p] (t = 0 for t (,0. Also we can find ˆr (3/,r such that q + 3ˆr := τ <, q + ˆr >, q + ˆr > 3. (A. As before, we choose τ sufficiently small by reducing ˆr. Following the beginning part of proof of Theorem 4., we have A k +E k N k Q k+ { u + u 3 + pu } dz. (A.3 The estimates for the first two terms on the right remain the same. For the third term, we decompose it in the following way. For each k, let η k (x be a smooth cut-off function supported in B k+, 0 η k and η k on B( ρ k++ρ k+. In the sense of distribution, for a.e. t (,0, it holds that p = D ij (u i u j inb. We consider the decomposition p = p k +h k, where p k is the Newtonian potential of D ij (u i u j η k. Then h k is harmonic in B( ρ k++ρ k+. Estimates for p k : Let q = q q+ (,, and s (, and α (0, be constants which we will specify later. By Hölder s inequality, up k dz u α L t q Q L x r (Q k+ u α L t q Lxˆr (Q k+ p k L t q Lx s (Q k+, (A.4 k+ where the exponents satisfy + 3 = 3 q r, q + α + α q q =, s + α + α r ˆr =. (A.5

16 6 H. DONG AND K. WANG To make use of Lemma A., we require q, which is equivalent to q + α q q + α q + α. (A.6 We will come back to check this condition later. By (A.5 we also have q + 3 ( s = 5 ( α 3 +α ( τ. (A.7 Using the Calderón-Zygmund estimate, we have By Hölder s inequality, we have p k L t q Lx s (Q k+ p k L t q Lx s (Q k+ N u L t q L x s (Q k+. u L t q Lx s (Q k+ u L t q Lxˆr (Q k+ u L t q3 L x r 3 (Q k+, where q 3 = q q (,, r 3 = 6q q + (,6, + 3 = 3 q 3 r 3, and s = ˆr + = ˆr r q. Plugging this into (A.7 and using (A., we get α = τ. τ Since we have solved for α, we can now go back to verify (A.6, which is equivalent to + q + α q + q + α q α. (A.8 (A.9 This indeed is satisfied when τ is sufficiently small. Thus by Lemma A., (A.4, (A.8, and (A.9, we have up k dz N(A k+ +E k+ 3τ τ u τ L t q Q Lx r (Q k+. (A.0 k+ Estimates for h k : By Hölder s inequality, we have Q k+ uh k dz u L t L x (Q k+ h k L t L x (Q k+. (A. Recall that h k is harmonic in B( ρ k++ρ k+. By the fact that any Sobolev norm of a harmonic function in a smaller ball can be estimated by any of its L p norm in a greater ball, we know h k L x (B k+ N bk h k L x (B k+, where b > 0 is a constant. Integrating in t ( ρ k+,0 we have h k L t L x (Q k+ N bk h k L t L x (Q k+ N bk ( p k L t L x (Q k+ + p L t L x (Q k+, (A. where the second term is small by condition (A.. By the Calderón-Zygmund estimate and Hölder s inequality, for any r > we have p k L t L x (Q k+ N p k L t L x r (Q k+ N u L t Lx r (Q k+. For q >, we claim the following interpolation holds for some α,q 4,r 4 > 0: where u L t Lx r (Q k+ N u α L t q Lx r (Q k+ u α L t q 4 L x r 4 (Q k+, q 4 [, ], r 4 [,6], q r 4 = 3, (A.3 (A.4

17 THE 3D NAVIER-STOKES EQUATIONS 7 and they need to satisfy α q + α q 4, α r + α r 4. Indeed, we can choose (α,q 4,r 4 in the following way: when < q, we set q 4 =, r 4 =, and α = q; when q >, we set q 4 =, r 4 = 6, and α = 6/7. Note that in both cases we have α <. Now we plug (A., (A.3, and (A.4 into (A. to obtain ( uh k dz N bk (A k+ +E k+ p L t L x Q (Q k+ k+ + (A k+ +E k+ +α u α L t q Lx r (Q. (A.5 k+ By (A.3, (4.0, (4., (A.0, (A.5, and condition (A. we conclude that ( A k +E k N bk ε τ 0 (A k+ +E k+ 3τ τ 3( τ +ε 0 (A k+ +E k+ ( 3τ 3( τ +ε 0 (A k+ +E k+ +ε α 0 (A k+ +E k+ +α. Now similar to the proof in Section 4, we obtain A +E Ñεβ 0. Together with D, < ε 0, we can apply [6, Theorem.5] to conclude that there exists a universal ε 0 = ε 0 (q,r sufficiently small such that u is regular in Q(/. References. L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations, Comm. Pure Appl. Math. 35 (98, no. 6, MR Kyudong Choi and Alexis F. Vasseur, Estimates on fractional higher derivatives of weak solutions for the Navier-Stokes equations, Ann. Inst. H. Poincaré Anal. Non Linéaire 3 (04, no. 5, MR Hongjie Dong and Xumin Gu, Boundary partial regularity for the high dimensional Navier-Stokes equations, J. Funct. Anal. 67 (04, no. 8, MR Hongjie Dong and Robert M. Strain, On partial regularity of steady-state solutions to the 6D Navier-Stokes equations, Indiana Univ. Math. J. 6 (0, no. 6, 9. MR Mariano Giaquinta, Multiple integrals in the calculus of variations and nonlinear elliptic systems, Annals of Mathematics Studies, vol. 05, Princeton University Press, Princeton, NJ, 983. MR Cristi Guevara and Nguyen Cong Phuc, Local energy bounds and ǫ-regularity criteria for the 3D Navier-Stokes system, Calc. Var. Partial Differential Equations 56 (07, no. 3, Art. 68, 6. MR Stephen Gustafson, Kyungkeun Kang, and Tai-Peng Tsai, Interior regularity criteria for suitable weak solutions of the Navier-Stokes equations, Comm. Math. Phys. 73 (007, no., MR Cheng He, Yanqing Wang, and Daoguo Zhou, New ε-regularity criteria and application to the box dimension of the singular set in the 3D Navier-Stokes equations, arxiv e-prints (07, arxiv: Jaewoo Kim and Myeonghyeon Kim, Local regularity of the Navier-Stokes equations near the curved boundary, J. Math. Anal. Appl. 363 (00, no., MR Igor Kukavica, Regularity for the Navier-Stokes equations with a solution in a Morrey space, Indiana Univ. Math. J. 57 (008, no. 6, MR P. Maremonti and V. A. Solonnikov, On estimates for the solutions of the nonstationary Stokes problem in S. L. Sobolev anisotropic spaces with a mixed norm, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI (995, no. Issled. po Lineĭn. Oper. i Teor. Funktsiĭ. 3, 4 50, 309. MR Vladimir Scheffer, Partial regularity of solutions to the Navier-Stokes equations, Pacific J. Math. 66 (976, no., MR , Hausdorff measure and the Navier-Stokes equations, Comm. Math. Phys. 55 (977, no., 97. MR , The Navier-Stokes equations on a bounded domain, Comm. Math. Phys. 73 (980, no., 4. MR 5736

18 8 H. DONG AND K. WANG 5. G. A. Seregin, Some estimates near the boundary for solutions to the non-stationary linearized Navier-Stokes equations, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI 7 (000, no. Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funkts. 3, 04 3, 37. MR , Local regularity of suitable weak solutions to the Navier-Stokes equations near the boundary, J. Math. Fluid Mech. 4 (00, no., 9. MR , A note on local boundary regularity for the Stokes system, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI 370 (009, no. Kraevye Zadachi Matematicheskoĭ Fiziki i Smezhnye Voprosy Teorii Funktsiĭ. 40, 5 59,. MR Alexis F. Vasseur, A new proof of partial regularity of solutions to Navier-Stokes equations, NoDEA Nonlinear Differential Equations Appl. 4 (007, no. 5-6, MR Wendong Wang and Zhifei Zhang, On the interior regularity criteria and the number of singular points to the Navier-Stokes equations, J. Anal. Math. 3 (04, MR Yanqing Wang and Minsuk Yang, Improved bounds for box dimensions of potential singular points to the Navier Stokes equations, arxiv e-prints (08, arxiv: (H. Dong Division of Applied Mathematics, Brown University, 8 George Street, Providence, RI 09, USA address: Hongjie Dong@brown.edu (K. Wang Division of Applied Mathematics, Brown University, 8 George Street, Providence, RI 09, USA address: Kunrui Wang@brown.edu