LOCAL ENERGY BOUNDS AND ɛ-regularity CRITERIA FOR THE 3D NAVIER-STOKES SYSTEM CRISTI GUEVARA AND NGUYEN CONG PHUC Abstract. The system of three dimensional Navier-Stokes equations is considered. We obtain some new local energy bounds that enable us to improve several ɛ-regularity criteria. They key idea here is to view the head pressure as a signed distribution belonging to certain fractional Sobolev space of negative order. This allows us to capture the oscillation of the pressure in our criteria. 1. Introduction We are concerned with the three dimensional Navier-Stokes system (1.1) t u u + u u + p = 0, div u = 0, where u = u(x, t) = (u 1 (x, t), u (x, t), u 3 (x, t)) is the velocity of the fluid and the scalar function p = p(x, t) is its pressure. The system (1.1) also comes with certain boundary and initial conditions but we shall not specify them here. Since the seminal work of Leray [10] and Hopf [6], it is known that there exist global in time weak solutions with finite energy to the initial-boundary value problem associated to (1.1). Such solutions are now called Leray- Hopf weak solutions. However, the questions of regularity and uniqueness of Leray-Hopf weak solutions are still unresolved. To investigate the regularity of system (1.1), in the fundamental paper [1], Caffarelli-Kohn-Nirenberg introduced the notion of suitable weak solutions. They obtained existence as well as partial regularity for suitable weak solutions. Their fundamental result states that the one-dimensional parabolic Hausdorff measure of the possible singular set of suitable weak solutions is zero (see also []). The proof of this partial regularity result is based on the following ɛ-regularity criterion: there is an ɛ > 0 such that if u is a suitable weak solution in Q 1 = B 1 (0) (, 0) and satisfies lim sup r 0 1 r Q r u dyds ɛ, then u is regular at the point (0, 0), i.e., u L (Q r ) for some r > 0. Here we write Q r = B r (0) ( r, 0). Supported in part by Simons Foundation, award number: 46071. MSC 010: primary 35Q30; secondary 35Q35. 1
CRISTI GUEVARA AND NGUYEN CONG PHUC In turn the proof of this ɛ-regularity criterion is based on another one that involves both u and p but requires the smallness at only one scale: Theorem 1.1 ([1]). There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies (1.) ( u 3 + p 3/ )dyds ɛ, Q 1 then u L (Q 1/ ). Theorem 1.1 was first proved in [1, Proposition 1] in a slightly more general form, namely, the smallness condition (1.) is replaced by the condition 0 (1.3) ( u 3 + p u )dyds + p 5 4 L 1 (B 1 ds ɛ. (0)) Q 1 The proof presented in [1] is based on an inductive argument that goes back to Scheffer [15]. Later Lin [11, Theorem 3.1] gave a new proof based on a compactness argument. In fact, he showed that under (1.) the solution is Hölder continuous with respect to the space-time parabolic metric on the closure of B 1/ (0) (/4, 0). See also [9, Lemma 3.1]. We mention that Theorem 1.1 has also been used as an important tool in many other papers such as [1, 5, 3, 18, 13], etc. A more constructive approach to Theorem 1.1 can be found in [17] in which Vasseur used De Giorgi iteration technique to obtain it in the following form. Theorem 1. ([17]). For each p > 1 there exists an ɛ(p) > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 u(x, t) dx + u dyds + p p L 1 (B 1 ds ɛ(p), (0)) B 1 (0) Q 1 sup t [,0] then u L (Q 1/ ). It is not hard to see from the generalized energy inequality (see Definition.1 below) and a simple covering argument that Theorem 1. indeed implies Theorem 1.1. We now state another related ɛ-regularity criterion that was obtained and used in [18, Proposition 5.1]. Theorem 1.3 ([18]). There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 (1.4) u(x, t) dx + u L 4 (B 1 (0)) ds + sup t [,0] then u L (Q 1/ ). B 1 (0) 0 + p L (B 1 (0)) ds ɛ,
THE 3D NAVIER-STOKES EQUATIONS 3 Finally, we mention yet another ɛ-regularity result that was obtained by the second named author in [13, Proposition 3.]. Theorem 1.4 ([13]). There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 then u L (Q 1/ ). u 4 L 1 5 (B 1 (0)) ds + 0 p L 5 6 ds ɛ, (B 1 (0)) The goal of this paper is to sharpen and unify the results obtained in Theorems 1.1-1.4. Our first result says that in fact one can take p = 1 in Theorem 1., i.e., we prove Theorem 1.5. There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 u(x, t) dx + u dyds + p L 1 (B 1 (0)) ds ɛ, B 1 (0) Q 1 sup t [,0] then u L (Q 1/ ). This theorem implies that in the condition (1.3) of Caffarelli, Kohn, and Nirenberg one can replace the power 5 4 in the pressure term by 1. Our next result reads as follows. Theorem 1.6. Let α [6/5, ] and β = 7α 6 [1, ]. There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 then u L (Q 1/ ). u β L α (B 1 (0)) ds + 0 4α p β L α (B 1 (0)) ds ɛ, The case (α, β) = (18/13, 3/) gives a spatial improvement of Theorem 1.1, whereas the case (α, β) = (3/, 4/3) gives a time improvement. Kukavica [8, p. 845] mentioned the issue whether the number 3 in (1.) can be replaced by some q < 3. Indeed, this is the case if we take q = α = β = 0/7. This gives both space and time improvement of Theorem 1.1. Moreover, Theorems 1.3 and 1.4 are special end-point cases of Theorem 1.6, with α = and α = 6/5, respectively. In fact, it also implies that the first term in condition (1.4) can be dropped. Theorem 1.6 is a consequence of the folllowing result. Theorem 1.7. Let σ [0, 1]. There exists an ɛ > 0 such that if u is a suitable weak solution in Q 1 and satisfies 0 then u L (Q 1/ ). u 0 σ L σ, (B 1 (0)) ds + p σ L σ, (B 1 (0)) ds ɛ,
4 CRISTI GUEVARA AND NGUYEN CONG PHUC The space L σ, (B 1 (0)) is the dual of the space of functions f in the homogeneous Sobolev space Ḣσ (R 3 ) such that suppf B 1 (0). We have L 0, (B 1 (0)) = L (B 1 (0)). Interestingly, unlike the norm p L α (B 1 (0)), for σ (0, 1] the norm p L σ, (B 1 (0)) can capture the oscillation of p. Namely, it may happen that there exists f L σ, (B 1 (0)) L 1 (B 1 (0)) but f L σ, (B 1 (0)). In the case σ = 1, one can take for example the function f(x) = x ɛ s sin( x ɛ ) with s =.4 and ɛ = 0.. See also the recent paper [14] for this kind of example in the context of (BV ), the dual of space of functions of bounded variation. We mention that by Lemma.3 below, this theorem implies Theorem 1.6. The proof of Theorem 1.7 is based on Theorem 1.5 and the following new local energy bounds for suitable weak solutions. Theorem 1.8. Let σ [0, 1]. There exists a constant C > 0 such that for any suitable weak solution (u, p) in Q 1 we have sup u(x, t) dx + u(x, s) dxds 1 4 t0 B 1/ (0) Q 1/ ( 0 C u ) σ σ L σ, (B 1 (0)) ds + ( 0 + C u + p ) σ σ L σ, (B 1 (0)) ds. For this result at every point and every scale we refer to Proposition 3.1 below. See also Proposition 3... Preliminaries Throughout the paper we use the following notations for balls and parabolic cylinders: and B r (x) = {y R 3 : x y < r}, x R 3, r > 0, Q r (z) = B r (x) (t r, t) with z = (x, t). The homogeneous Sobolev space Ḣσ (R 3 ), σ R, is the space of temper distributions f for which f Ḣσ (R 3 ) < +. Here we define f Ḣσ (R 3 ) (R = ξ σ f(ξ) dξ, σ R. 3 The space L σ, (B r (x)) := { } f Ḣσ (R 3 ) : supp f B r (x), and its corresponding the dual space is denoted by L σ, (B r (x)). The following scaling invariant quantities will be employed: A(z 0, r) = A(u, z 0, r) = sup r u(x, t) dx, t 0 r tt 0
THE 3D NAVIER-STOKES EQUATIONS 5 B(z 0, r) = B(u, z 0, r) = r Q r(z 0 ) u(x, t) dxdt, t0 C σ (z 0, r) = C σ (u, z 0, r) = r 3 σ u σ t 0 r L σ, () dt, C α,β (z 0, r) = C α,β (u, z 0, r) = r 3β D σ (z 0, r) = D σ (u, z 0, r) = r 3 σ t0 t0 u β t 0 r L α () dt, σ p t 0 r L σ, () dt, D α,β (z 0, r) = D α,β (p, z 0, r) = r 3β p β t 0 r L α () dt. We now recall the the notion of suitable weak solutions that was first introduced in Caffarelli-Kohn-Nirenberg [1]. Here we use the version of F.- H. Lin [11] that imposes the 3/ space-time integrability condition on the pressure. Definition.1. Let ω be an open set in R 3 and let < a < b <. We say that a pair (u, p) is a suitable weak solution to the Navier-Stokes equations in Q = ω (a, b) if the following conditions hold: (i) u L (a, b; L (ω)) L (a, b; W 1, (ω)) and p L 3/ (ω (a, b)); (ii) (u, p) satisfies the Navier-Stokes equations in the sense of distributions. That is, b a ω t0 { u ψ t + u : ψ (u u) : ψ p div ψ} dxdt = 0 for all vector fields ψ C0 (ω (a, b); R3 ), and u(x, t) φ(x) dx = 0 ω {t} for a.e. t (a, b) and all real valued functions φ C0 (ω); (iii) (u, p) satisfies the local generalized energy inequality t u(x, t) φ(x, t)dx + u φ(x, s)dxds ω t a ω a ω u (φ t + φ)dxds + t a ω ( u + p)u φdxds for a.e. t (a, b) and any nonnegative function φ C 0 (R3 R) vanishing in a neighborhood of the parabolic boundary Q = ω {t = a} ω [a, b]. We next state several lemmas that are needed in this paper. Lemma.. Given f Ḣs 0 Ḣs 1, s 0, s 1 R and 0 < θ < 1, the following Gagliardo-Nirenberg type inequality holds with s = (1 θ)s 0 + θs 1. f Ḣs f 1 θ Ḣ s 0 f θ Ḣ s 1
6 CRISTI GUEVARA AND NGUYEN CONG PHUC The proof of this lemma simply follows from Hölder s inequality. Lemma.3. For any ball B r (x) R 3 and any number σ [0, 3 ) one has that L 6 3+σ (Br (x)) L σ, (B r (x)) and Proof. Observe that f L σ, (B r(x)) C f L 6 3+σ (B r(x)). f L σ, (B r(x)) = sup ϕ B r(x) f(y)ϕ(y)dy, where the sup is taken over ϕ L σ, (B r (x)) such that ϕ Ḣσ (R 3 ) 1. Thus by Hölder and Sobolev s inequalities we find f L σ, (B r(x)) ( sup ϕ B r(x) C f L 6 ) 3+σ 6 ( 6 f(x) 3+σ dx sup 3+σ (B r(x)) ϕ B r(x) ) 3 σ 6 6 ϕ(y) 3 σ dy ϕ Ḣσ (R 3 ) C f L 6 3+σ (B r(x)). A proof of the following lemma can be found in [4, Lemma 6.1]. Lemma.4. Let I(s) be a bounded nonnegative function in the interval [R 1, R ]. Assume that for every s, ρ [R 1, R ] and s < ρ we have I(s) [A(ρ s) α + B(ρ s) β + C] + θi(ρ) with A, B, C 0, α > β > 0 and θ [0, 1). Then there holds I(R 1 ) c(α, θ)[a(r R 1 ) α + B(R R 1 ) β + C]. We shall also need the following Sobolev interpolation inequality (see, e.g., (1.) of [9]). Lemma.5. Let B r R 3. For any function u W 1, (B r ) such that B r udx = 0 and any q [, 6], it holds that ( ) 3q/4 3/ ( ) q/4+3/ u q dx C(q) u dx u dx. B r B r B r Lemma.5 implies the following well-known result (see, e.g., [9, Lemma 5.1]). Lemma.6. Let u(x, t) be a function in Q ρ (z 0 ) for some ρ > 0. Then for any r (0, ρ] we have ( ρ ) 3A(z0 ( r ) 3A(z0 r u 3 dxdt C, ρ) 3/4 B(z 0, ρ) 3/4 + C, ρ) 3/. r ρ Q r(z 0 )
THE 3D NAVIER-STOKES EQUATIONS 7 3. Local energy estimates We prove Theorem 1.8 in this section. We will do it at every point and every scale. The proof employs the idea of viewing the head pressure 1 u + p as a signed distribution in L σ,. Proposition 3.1. Suppose that (u, p) is a suitable weak solution to the Navier-Stokes equations in Q r (z 0 ). Then it holds that A(z 0, r/) + B(z 0, r/) C C σ (z 0, r) σ for any σ [0, 1]. + C [ r 3 σ t0 + t 0 r u + p σ L σ, () dt ] σ Proof. For z 0 = (x 0, t 0 ) and r > 0, we consider the cylinders Q s (z 0 ) = B s (x 0 ) (t 0 s, t 0 ) Q ρ (z 0 ) = B ρ (x 0 ) (t 0 ρ, t 0 ), where r/ s < ρ r. Let φ(x, t) = η 1 (x)η (t) where η 1 C0 (), 0 η 1 1 in R n, η 1 1 on B s (x 0 ), and α c η 1 (ρ s) α for all multi-indices α with α 3. The function η (t) is chosen so that η C0 (t 0 ρ, t 0 + ρ ), 0 η 1 in R, η (t) 1 for t [t 0 s, t 0 + s ], and Then it holds that 3 φ We next define where and φ t η (t) c r(ρ s), c ρ s c (ρ s) 3, φ I 1 (s) = I (s) = φ t c r(ρ s). I(s) = I 1 (s) + I (s), c r(ρ s), c (ρ s), φ c ρ s. sup u(x, t) dx = s A(z 0, s) t 0 s tt 0 B s(x 0 ) t0 t 0 s B s(x 0 ) u(x, t) dxdt = s B(z 0, s).
8 CRISTI GUEVARA AND NGUYEN CONG PHUC For 0 σ 1, using φ as a test function in the generalized energy inequality we find (3.1) I(s) t0 u L t 0 ρ σ, () φ t + φ L σ, () dt + t0 { u + + p } L σ, (Bρ(x0)) u φ L σ, (Bρ(x0)) dt t 0 ρ =: J 1 + J. Applying the Gagliardo-Nirenberg type inequality (Lemma.), properties of the test function φ, and Hölder s inequality we have J 1 C t0 u L t 0 ρ σ, () { } φ t + φ 1 σ L () φ t + φ σ L () dt ρ 3 C (ρ s) +σ C ρ 3 +σ (ρ s) +σ t0 t 0 ρ u L σ, () dt ( t0 u ) σ σ t 0 ρ L σ, () dt. Similarly, J C ( t0 ( t0 u + p ) σ σ t 0 ρ L σ, () dt u φ (1 σ) σ t 0 ρ L () u φ + u φ ) σ L () dt. Let us set X = t0 t 0 r u σ L σ, () dt, Y = t0 t 0 r u + p σ L σ, () dt.
THE 3D NAVIER-STOKES EQUATIONS 9 Then combining (3.1) with the estimates for J 1 and J, it follows that I(s) C ρ 3 +σ (ρ s) +σ X σ + Y σ ( t0 sup t 0 ρ tt 0 u φ 1 σ u φ + u φ t 0 ρ L () dt C ρ 3 +σ ( σ σ X + C Y σ I1 (ρ) (ρ s) +σ (ρ s) { ( ρ ) σ ( ) σ } I 1 (ρ) I (ρ) + (ρ s) 4 (ρ s). Thus, using r/ ρ r and I 1 (ρ), I (ρ) I(ρ), we get I(s) C ρ 3 +σ σ X + C Y σ (ρ s) +σ + C Y σ ( σ I1 (ρ) (ρ s) ρ σ I 1 (ρ (ρ s+σ ( I (ρ) (ρ s) ) σ C r 3 +σ σ X + C Y σ r σ (ρ s) +σ (ρ s+σ I(ρ Y + C Then by Young s inequality it follows that I(s) C r 3 +σ [ σ X + C (ρ s) +σ + 1 I(ρ). L () ) σ σ r σ (ρ s) +σ + 1 (ρ s) As this holds for all r/ s < ρ r by Lemma.4 we obtain (ρ s) I(ρ. ] Y σ I(r/) C X σ r 1/ from which the proposition follows. + C Y σ r, By Lemma.3 we have the following consequence of Proposition 3.1. Proposition 3.. Suppose that (u, p) is a suitable weak solution to the Navier-Stokes equations in Q r (z 0 ). Then one has A(z 0, r/) + B(z 0, r/) C[C α,β (z 0, r β + C α,β (z 0, r) β + D α,β (z 0, r) β ] for any α [6/5, ] and β = 4α 7α 6.
10 CRISTI GUEVARA AND NGUYEN CONG PHUC 4. ɛ-regularity criteria In this section we prove Theorems 1.5 and 1.7. We start with the following lemma. Lemma 4.1. Let h be a harmonic function in B r (x 0 ) and 0 σ 1. Then we have h L () C h. r σ L σ, (B r (x 0 )) Proof. The case σ = 0 is obvious. We thus assume that 0 < σ 1. Let f be a harmonic function in B (0). Let ϕ C 0 (B 3/(0)) be such that 0 ϕ 1, ϕ 1 in B 1 (0) and ϕ c. Hence, fϕ C 0 (B 3/(0)) and (4.1) fϕ L (B 3/ (0)) fϕ 1 L σ, (B 3/ (0)) fϕ 1 L σ, (B 3/ (0)). Observe that, for any g L σ, ( B 3/ (0) ), by [7, Theorem A.1] we have gϕ L σ, (B 3/ (0)) C g L σ, (B 3/ (0)), and thus fϕgdx B 3/ (0) f L σ, (B 3/ (0)) gϕ L σ, (B 3/ (0)) This means that C f L σ, (B 3/ (0)) g L σ, (B 3/ (0)). (4.) fϕ L σ, (B 3/ (0)) C f L σ, (B 3/ (0)). Also, fϕ L σ, (B 3/ (0)) (4.3) fϕ 1 σ L (B 3/ (0)) (fϕ) σ L (B 3/ (0)) fϕ 1 σ L (B 3/ (0)) ( f)ϕ + f( ϕ) σ L (B 3/ (0)) ( ) c f 1 σ f L (B 3/ (0)) σ L (B 3/ (x 0 )) + f σ L (B 3/ (0)) ( ) c f 1 σ f L (B 3/ (0)) σ L (B (0)) + f σ L (B 3/ (0)) c f L (B (0)). Here in the 4th inequality we used the fact that f is harmonic in B (0). Hence, (4.1), (4.) and (4.3) yield (4.4) f L (B 1 (0)) fϕ L (B 3/ (0)) C f 1 L σ, (B 3/ (0)) f 1 L (B (0)). Now for r > 0, let h be a harmonic function in B r (x 0 ). f(x) = h(rx + x 0 ) for x B (0). Then f is harmonic in B (0). We define
THE 3D NAVIER-STOKES EQUATIONS 11 Note that for any ϕ L σ, ( B 3/ (0) ) we have ) ( ϕ x0 r L σ, (B 3r/ (x 0 )) = r (R 3 ξ σ ϕ (rξ) dξ 3 = r 3 ( Thus for such ϕ, R 3 ζ r σ = ξ σ ( ) ϕ x0 dξ R 3 r ϕ (ζ) r 3 dζ 1 = r 3 σ ϕ L σ, (B 3/ (0)). ( ) y h(rx + x 0 )ϕ(x)dx = r 3 x0 h(y)ϕ dy B 3/ (0) B 3r/ (x 0 ) r ) r 3 h ( L σ, (B 3r/ (x 0 )) ϕ x0 r r 3 σ h L σ, (B 3r/ (x 0 )) ϕ L σ, (B 3/ (0)). This implies that f L σ, (B 3/ (0)) r 3 h r σ, L σ, (B 3r/ (x 0 )) and by substituting into (4.4) we have L σ, (B 3r/ (x 0 )) ( h dx Cr 3 4 h r σ 1 L σ, (B r (x 0 )) ( h dx B r (x 0 ) 4. Or equivalently, (4.5) h dx C h r σ L σ, (B r (x 0 )) ( h dx B r (x 0 ). Let{ r s < t r. The ball B} s (x 0 ) can be covered by a collection of balls B i = B t s (x i ) : x i B s (x 0 ), in such a way that each point y R n belongs to at most N = N(n) balls in the collection {B i = B t s (x i )}, that is, χ Bi (y) N(n). i
1 CRISTI GUEVARA AND NGUYEN CONG PHUC Then applying (4.5) to the balls B i, we find Thus, i h dx C h B i (t s) σ C h (t s) σ B s(x 0 ) Note that h dx = B i and thus B s(x 0 ) h dx h dx i B i C h (t s) σ B t(x 0 ) h i h dx C(n) h (t s) σ L σ, (B i ) ( L σ, (B r (x 0 )) L σ, (B r (x 0 )) h dx B i ( B i h dx ( i. B i h dx χ Bi (x)dx N(n) h dx, B t(x 0 ) L σ, (B r (x 0 )) ( Then by Young s inequality it follows that h dx C(t s) σ h L σ, (B r (x 0 )) + 1 B s(x 0 ) Thus applying Lemma.4 we have h dx B t(x 0 ) B t(x 0 ) h dx... as desired. h dx Cr σ h L σ, (B r (x 0 )) The next lemma provides bounds for the pressure. Lemma 4.. Suppose that (u, p) is a suitable weak solution to the Navier- Stokes equations in Q ρ (z 0 ). For any r (0, ρ/] we have the following bounds: r 3 (4.6) t0 p(, t) L () dt t 0 r t0 Cρ 3 t 0 ρ p L 1 () dt + C( ρ r ) 3/A(z0, ρ/4 B(z 0, ρ) 3/4,
THE 3D NAVIER-STOKES EQUATIONS 13 (4.7) t0 r 3 p(, t) [p(, t)] x0,r L t 0 r () dt ( r t0 C ρ ρ) 3 p(, t) [p(, t)] x0,ρ L 1 t 0 ρ () dt + ( ρ + C r ) 3/A(z0, ρ/4 B(z 0, ρ) 3/4, and (4.8) r 3 t0 t 0 r p L 1 () dt t0 Cρ 3 σ p L σ, () dt + t 0 ρ ( ρ ) 3A(z0 + C, ρ/4+σ/ B(z 0, ρ) 3/4 σ/ r for any σ [0, 3/). Proof. Let h x0,ρ = h x0,ρ(, t) be a function on B ρ (x 0 ) for a.e. t such that where p x0,ρ is defined by h x0,ρ = p p x0,ρ in B ρ (x 0 ), p x0,ρ = R i R j [(u i [u i ] x0,ρ)(u j [u j ] x0,ρ)χ Bρ(x 0 )]. Here R i = D i ( ) 1, i = 1,, 3, is the i-th Riesz transform, and we used the notation 1 [f] x0,ρ := f(x) dx = f(x) dx. B ρ (x 0 ) to denote the spatial average of a function f over the ball B ρ (x 0 ). Note that for any ϕ C0 (), we have p x0,ρ ϕdx = (u i [u i ] x0,ρ)(u j [u j ] x0,ρ)d ij ϕ dx = B u i u j D ij ϕ dx, which follows from the properties R i R j ( ϕ) = D ij ϕ and div u = 0. Thus, as p also solves p = div div(u u) in the distributional sense, we see that h x0,ρ is harmonic in B ρ (x 0 ) for a.e. t. Then for r (0, ρ/] it holds that ( h x0,ρ dx C h x0,ρ dx
14 CRISTI GUEVARA AND NGUYEN CONG PHUC and ( h x0,ρ [h x0,ρ] x0,r dx C r h x0,ρ [h x0,ρ] x0,ρ dx. ρ Bρ(x0 ) Then using p = p x0,ρ + h x0,ρ, they give p(x, t) dx (4.9) and (4.10) p(x, t) [p(, t)] x0,r dx p x0,ρ dx + C r3 ρ 6 h x 0,ρ L 1 (), p x0,ρ dx + C r5 ρ 8 h x 0,ρ [h x0,ρ] x0,ρ L 1 (). Now by (4.9) and h x0,ρ = p p x0,ρ we obtain p(x, t) dx p x0,ρ dx + (4.11) + C r3 ) ( p ρ 6 x0,ρ L 1 () + p L 1 () C p x0,ρ dx + C r3 ρ 6 p L 1 (), where we used Hölder s inequality and the fact that r/ρ 1/. On the other hand, by the Calderón-Zygmund estimate and Lemma.5 we find p x0,ρ dx C u [u] x0,ρ 4 dx (4.1) ( C ) 3/ ( u dx Combining (4.11) and (4.1) we have p L () C r3/ ρ 3 p L 1 () + ( ) 3/4 ( + C u dx u dx/. u dx/4. Integrating the last bound with respect to r 3/ dt over the interval (t 0 r, t 0 ) and using Hölder s inequality we obtain inequality (4.6).
THE 3D NAVIER-STOKES EQUATIONS 15 Likewise, using (4.10) instead of (4.9) and arguing similarly we obtain inequality (4.7). We remark that in this case we also need to use the elementary fact that h x0,ρ [h x0,ρ] x0,ρ L 1 () h x 0,ρ [p(, t) x0,ρ] x0,ρ L 1 (). As for (4.8), we first bound p(x, t) dx + C r3 ρ 3 +σ p x0,ρ dx + h x0,ρ dx ( p x0,ρ dx + Cr 3 h x0,ρ dx B ρ/ (x 0 ) r3 / p x0,ρ dx + C ρ h 3 +σ x 0,ρ L σ, () p x0,ρ dx + ( ) p x0,ρ L σ, () + p L σ, (). Here we used Lemma 4.1 in the third inequality. Now using Hölder s inequality, Lemma.3 with σ [0, 3/), and r/ρ 1/, we have p x0,ρ dx + C r3 ρ 3 +σ p x 0,ρ L σ, () Cρ 3/ σ p x0,ρ L 6 3+σ (). Thus, (4.13) p(x, t) dx Cρ 3/ σ p x0,ρ L 6 3+σ () + C r3 ρ 3 +σ p L σ, (). As before, the L 6 3+σ norm of px0,ρ is treated using Calderón-Zygmund estimate and Lemma.5 which give (4.14) p x0,ρ 6 L 3+σ () ( ) 3/4 σ/ ( C u dx u dx/4+σ/.
16 CRISTI GUEVARA AND NGUYEN CONG PHUC Combining (4.13), (4.14) we have p(x, t) dx C r3 ρ 3/+σ p L σ, () + + Cρ 3/ σ( ) 3/4 σ/ ( u dx from which integrating in t we obtain (4.8). u dx/4+σ/, We now recall the following ɛ-regularity criterion for suitable weak solutions to the Navier-Stokes equations (see [16, Lemma 3.3]). Lemma 4.3. There exists a positive number ɛ such that the following property holds. If (u, p) be a suitable solution to the Navier-Stokes equations in Q R (z 0 ) for some R > 0 such that then z 0 is a regular point of u. sup A(z 0, r) ɛ, 0<r<R We are now ready to prove Theorem 1.5. Proof of Theorem 1.5. Our assumption is that A((0, 0), 1) + B((0, 0), 1) + 0 p L 1 (B 1 (0)) dt ɛ, where ɛ (0, 1) is to be determined. By Lemma 4.3, it is enough to show that sup [A(z, r) + B(z, r)] Cɛ 1 ɛ. 0<r<1/4 for every z Q 1/ (0, 0). Here C is independent of r and z. By translation invariance, it suffices to consider the case z = 0. Moreover, it suffices to show a discrete version, i.e., we just need to show that (4.15) A((0, 0), θ n ) + B((0, 0), θ n ) ɛ 1 for a fixed θ (0, 1/4] and for all n = 1,,... The discretization enables us to use an inductive argument in the spirit of [1, Section 4] and [18]. Let θ (0, 1/4] be determined later and define r n = θ n, n N. By our hypothesis, inequality (4.15) holds in the case n = 1 provided ɛ 0 is sufficiently small (depending on θ). Suppose now that it holds for n = 1,..., m 1 with an m. Let φ m = χψ m, where 0 χ 1 is a smooth cutoff function which equals 1 on Q θ (0, 0) and vanishes in R 3 (, 0) \ Q θ/3 (0, 0), and ψ m is given by x ψ m (x, t) = (rm t) 3/ e 4(rm t), t < rm.
THE 3D NAVIER-STOKES EQUATIONS 17 Then it can be seen that φ m 0, ( t + )φ m = 0 in Q θ (0, 0), and 3/ r 3 m ( t + )φ m C on Q θ/3 (0, 0), φ m r 3 m, φ m Cr 4 m on Q rm (0, 0), m, φ m Cr 3 k, φ m Cr 4 k on Q rk (0, 0) \ Q rk (0, 0), 1 < k m. Here the constant C = C(θ) is independent of m. Using φ m as a test function in the generalized energy inequality, we find that (4.16) A((0, 0), r m ) + B((0, 0), r m ) C(I + II + III), where I = r m II = r m III = rm By the hypothesis, we have Q θ (0,0) Q θ (0,0) Q θ (0,0) I r mɛ ɛ 3 4. By the above properties of φ m, we have II = r m m k=1 m Crm k=1 u dxdt, u 3 φ m dxdt, p(u φ m )dxdt. u 3 φ m dxdt + rm Q rk \Q rk+1 r 4 k u 3 dxdt. Q rk Thus by Lemma.6 and inductive hypothesis, it follows that II Cr m As for the term III, we write m k=1 r k ɛ3/4 Cɛ 3/4. m φ m = χ 1 φ m = (χ k χ k+1 )φ m + χ m φ m, k=1 Q rm u 3 φ m dxdt where χ k, k = 1,,..., m, is a smooth cutoff function such that 0 χ k 1, χ k = 1 in Q 7rk /8(0, 0), χ k = 0 in R 3 (, 0)\Q rk (0, 0), and χ k C/r k.
18 CRISTI GUEVARA AND NGUYEN CONG PHUC Then m III rm pu [(χ k χ k+1 )φ m ]dxdt k=1 Q rk + rm pu (χ m φ m )dxdt Q rm m = rm (p [p] 0,rk )u [(χ k χ k+1 )φ m ]dxdt k=1 Q rk + rm (p [p] 0,rm )u (χ m φ m )dxdt Q rm, where we used the fact that u is divergence-free. Then by Hölder s inequality and the properties of φ m, we see that III Cr m m k= r 4 k (p [p] 0,rk )u dxdt Q rk + Cθ Q θ (p [p] 0,θ )u dxdt m Crm k= + Cθ 0 0 r 4 k p [p] 0,rk L rk (B rk ) u L (B rk ) dxdt θ p [p] 0,θ L (B θ ) u L (B θ ) dxdt. By inductive hypothesis, this gives (4.17) III Cr m m k= + C ɛ 1 θ 3/ 0 r k ɛ 1 3/ 4 r k p [p] 0,rk L rk (B rk ) dxdt 0 θ p [p] 0,θ L (B θ ) dxdt. Here the constant C could depend on θ. We now let A(k) = A((0, 0), r k ), B(k) = B((0, 0), r k ), and 0 U(k) = r 3/ k p [p] 0,rk L rk (B rk ) dxdt. By Lemma 4. and Hölder s inequality, for k m we have U(k) (Cθ)U(k 1) + C θ 3/ A(k 1/4 B(k 1) 3/4,
THE 3D NAVIER-STOKES EQUATIONS 19 where C 1 is independent of k and θ. Choosing θ = 1 inequality we obtain 4C and iterating this k U(k) = (1/4) k U(1) + C θ 3/ (1/4) l A(k l/4 B(k l) 3/4. l=1 Then by inductive hypothesis we find k U(k) U(1) + C (1/4) l ɛ 1 l=1 0 θ 3/ p [p] 0,θ L θ (B θ ) dxdt + Cɛ 1. Combining this with (4.17) we arrive at III C ɛ 1 4 θ 3/ which by Lemma 4. gives 0 θ p [p] 0,θ L (B θ ) dxdt + Cɛ 3 4, III Cɛ 1 4 [D((0, 0), θ) + A((0, 0), θ/4 B((0, 0), θ) 3/4 ] + Cɛ 3 4 C(ɛ 5 4 + ɛ 3 4 ) C ɛ 3 4. Combining 4.16 and the estimates for I, II and III we obtain A((0, 0), r m ) + B((0, 0), r m ) C ɛ 3 4 ɛ 1 provided ɛ is small enough. This proves (4.15) and the proof is complete. Using Lemma 4. and a covering argument we obtain the following consequence of Theorem 1.5. Corollary 4.4. Let σ [0, 1]. There exists a number ɛ (0, 1) with the following property. If (u, p) be a suitable solution to the Navier-Stokes equations in Q 1 such that A((0, 0), 1) + B((0, 0), 1) + then u is regular in Q 1/. Finally, we prove Theorem 1.7. 0 p L σ, (B 1 (0)) dt ɛ, Proof of Theorem 1.7. By Hölder s inequality it follows that 0 p L σ, (B 1 (0)) dt D σ((0, 0), 1) σ. Thus by Corollary 4.4, Proposition 3.1, and a covering argument we obtain Theorem 1.7.
0 CRISTI GUEVARA AND NGUYEN CONG PHUC References [1] L. Caffarelli, R.-V. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations, Comm. Pure Appl. Math. 35 (198), 771 831. [] H. J. Choe and J. L. Lewis, On the singular set in the Navier-Stokes equations, J. Funct. Anal. 175 (000), 348-369. [3] L. Escauriaza, G. Seregin, and V. Šverák, L3, -solutions of Navier-Stokes equations and backward uniqueness, (Russian) Uspekhi Mat. Nauk 58 (003), 3 44; translation in Russian Math. Surveys 58 (003), 11 50. [4] E. Giusti, Direct methods in the calculus of variations, World Scientific Publishing Co., Inc., River Edge, NJ, 003. [5] S. Gustafson, K. Kang, and T.-P. Tsai, Interior regularity criteria for suitable weak solutions of the Navier-Stokes equations, Comm. Math. Phys. 73 (007), 161 176. [6] E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen, Math. Nachr. 4 (1951), 13 31. [7] C. E. Kenig, G. Ponce, and L. Vega, Well-posedness and scattering results for the generalized Korteweg-de-Vries equation via the contraction principle, Comm. Pure App. Math. 46 (1993), 57 60. [8] I. Kukavica, Regularity for the Navier-Stokes equations with a solution in a Morrey space, Indiana Univ. Math. J. 57 (008), 843 860. [9] O. Ladyzhenskaya and G. Seregin, On partial regularity of suitable weak solutions to the three-dimensional Navier-Stokes equations, J. Math. Fluid Mech. 1 (1999), 356 387. [10] J. Leray, Sur le mouvement d un liquide visqueux emplissant l espace, Acta Math. 63 (1934), 193 48. [11] F.-H. Lin, A new proof of the Caffarelli-Kohn-Nirenberg theorem, Comm. Pure Appl. Math. 51 (1998), 41 57. [1] J. Nečas, M. Růžička, and V. Šverák On Leray s self-similar solutions of the Navier- Stokes equations, Acta Math. 176 (1996), 83 94. [13] N. C. Phuc, Navier-Stokes equations in nonendpoint borderline Lorentz spaces, J. Math. Fluid Mech. 17 (015), 741 760. [14] N. C. Phuc and M. Torres, Characterizations of signed measures in the dual of BV and related isometric isomorphisms. To appear in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze (5). [15] V. Scheffer, Hausdorff measure and the Navier-Stokes equations, Comm. Math. Phys. 55 (1977), 97 11. [16] G. Seregin and V. Šverák, Navier-Stokes equations with lower bounds on the pressure, Arch. Ration. Mech. Anal. 163 (00), 65 86. [17] A. F. Vasseur, A new proof of partial regularity of solutions to Navier-Stokes equations, NoDEA Nonlinear Differential Equations Appl. 14 (007), 753 785. [18] W. Wang and Z. Zhang, On the interior regularity criteria and the number of singular points to the Navier-Stokes equations, J. Anal. Math. 13 (014), 139 170. Department of Mathematics, Louisiana State University, 303 Lockett Hall, Baton Rouge, LA 70803, USA. E-mail address: cguevara@lsu.edu Department of Mathematics, Louisiana State University, 303 Lockett Hall, Baton Rouge, LA 70803, USA. E-mail address: pcnguyen@math.lsu.edu