AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS arxiv:5.02807v [math.ap] 9 Nov 205 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE Abstract. In this paper, we address the partial regularity of suitable weak solutions of the incompressible Navier Stokes equations. We prove an interior regularity criterion involving only one component of the velocity. Namely, if (u, p) is a suitable weak solution a certain scale-invariant quantity involving only u 3 is small on a space-time cylinder Q r(x 0,t 0 ), then u is regular at (x 0,t 0 ).. Introduction The goal of this paper is to address the partial regularity of solutions of the 3D Navier Stokes equations t u u+ 3 j (u j u)+ p = 0 j= divu = 0 (.) where u(x,t) = (u (x,t),u 2 (x,t),u 3 (x,t)) p(x,t) denote the unknown velocity the pressure. The theory of partial regularity for the NSE, whose aim is to estimate the Hausdorff dimension of the singular set development of interior regularity criteria, was initiated by Scheffer in [S, S2]. In a classical paper [CKN], Caffarelli, Kohn, Nirenberg proved that for a suitable weak solution the onedimensional parabolic Hausdorff measure (parabolic Hausdorff length) of the singular set equals zero. Recall that a point is regular if there exists a neighborhood in which u is bounded ( thus Hölder continuous); otherwise, the point is called singular. Their interior regularity criterion reads as follows: There exist two constants ǫ CKN (0,] α (0,) such that if then Q ( u 3 + p 3/2 ) dxdt ǫ CKN u(x,t) C α (Q /2 ) < where Q r = {(x,t) : x < r, r 2 t 0}. Alternative proofs were given by Lin [Li], Ladyzhenskaya Serëgin [LS], an author of the present paper [K, K2], Vasseur [V], Wolf [W, W2]. The problem of partial regularity of the solutions of the Navier Stokes equations has since then been addressed in various contexts [KP, RS, RS2, RS3, Se, Se2] a variety of interior regularity criteria has been proposed. In particular Wolf proved in [W2] the following: There exists ǫ W > 0 such that if Q u 3 dxdt ǫ W then the solution u(x,t) is regular at the point (0,0).
2 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE In a recent paper [WZ], Wang Zhang proved an anisotropic interior regularity criterion, which states: For every M > 0 there exists ǫ WZ (M) > 0 such that if Q ( u 3 + p 3/2 ) dxdt M Q u h 3 dxdt ǫ WZ (M) where u h = (u,u 2 ), then the solution u(x,t) is regular at the point (0,0). Their result can be viewed as a local version of the component-reduction regularity. Regularity is obtained by imposing conditions only on some components of the velocity, rather that of three. For a comprehensive review of such results we refer the reader to [M, PP] references therein. The purpose of this paper is to prove an interior regularity criterion involving only one component of the velocity. Using a different argument from [WZ], we prove the following stronger statement: For every M > 0 there exists a constant ǫ(m) > 0 such that if Q ( u 3 + p 3/2 ) dxdt M (.2) Q u 3 3 dxdt ǫ(m) then u(x,t) is regular at the point (0,0). For the statement, cf. Theorem 2. below. Note that every suitable weak solution satisfies (.2) for M sufficiently large. The contradiction argument used to prove Theorem 2. may be also used to prove a new interior regularity criterion based on the pressure. Namely, in Theorem 2.4 we prove that if (.2) holds if then the solution is regular at (0,0). Q p 3/2 dxdt ǫ(m) (.3) Also, as a corollary of Theorem 2. we obtain a stronger version of the Leray s regularity criterion concerning weak solutions. Namely, by [G2, Le], if T is an epoch of irregularity, then for any q > 3 there is a sufficiently small ǫ > 0 such that u(,t) L q ǫ/(t t) ( 3/q)/2 for t < T sufficiently close to T. Recall that T is an epoch of irregularity if T is a singular time for u, while the times t < T sufficiently close to T are regular. In Corollary 2.3 we obtain that if T > 0 is the first singular time, then for all q 3 or (u,u 2 )(,t) L q u 3 (,t) L q M (T t) ( 3/q)/2 ǫ(m) (T t) ( 3/q)/2, for t < T sufficiently close to T. (A similar statement holds when T is an epoch of irregularity.) Similarly, using Theorem 2.4, we obtain Corollary 2.6 which states that if T is the first singular time, then u(,t) L q M (T t) ( 3/q)/2
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 3 or for t < T sufficiently close to T. p(,t) L q/2 ǫ(m) (T t) 3/q. The paper is organized as follows. In the next section we state the main results introduce the notation used throughout the rest of the paper. The proof is based on a contradiction argument Section 3 contains a regularity result for the limit system, which turns out to be the Navier-Stokes system with u 3 0. We would like to note that in order to prove Corollary 2.3 Corollary 2.6 we require explicit estimates on the solutions of the considered limit system. Therefore, we cannot directly apply the results of Neustupa, Novotný Penel from [NP, NNP]. Consequently, we need to modify this strategy to suit our needs. The proofs of Theorems 2. 2.2 are presented in Section 4, while Section 5 contains the proofs of Theorems 2.4 2.5. 2. The notation the main results Let D be an open, bounded, connected subset of R 3 (0, ). We assume that (u,p) is a suitable weak solution in D, which means (i) u L t L 2 x(d) L 2 th x(d) p L 3/2 (D), (ii) the Navier-Stokes equations (.) are satisfied in the weak sense, (iii) the local energy inequality holds in D, i.e., u 2 φ dx +2 u 2 φ dxdt R 3 T R 3 (,T] ( ) u 2 ( t φ+ φ)+( u 2 +2p)u φ dxdt (2.) R 3 (,T] for all φ C0 (D) such that φ 0 in D almost all T R. Recall the following scaling property of the Navier-Stokes equation: If (u(x, t), p(x, t)) is a solution, then so is (λu(λx,λ 2 t),λ 2 p(λx,λ 2 t)). Let (x 0,t 0 ) D. Denote by B r (x 0 ) the Euclidean ball in R 3 with center at x 0 radius r > 0; we abbreviate B r = B r (0). By Q r (x 0,t 0 ) = B r (x 0 ) [t 0 r 2,t 0 ] we denote the parabolic cylinder in R 4 labeled by the top center point (x 0,t 0 ) D. The following is the main result of the paper. Theorem 2.. Let (u,p) be a suitable weak solution of (.) in a neighborhood of Q r (x 0,t 0 ) D which satisfies ( u 3 r 2 + p 3/2) dxdt M. (2.2) Then there exists ǫ > 0 depending on M such that if r 2 u 3 3 dxdt ǫ (2.3) then u is regular at (x 0,t 0 ). The above theorem follows from the following stronger statement.
4 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE Theorem 2.2. For all M,ǫ 0,r > 0 there exist constants ǫ(m,ǫ 0 ) > 0 κ(m,ǫ 0 ) (0,) with the following property: If (u,p) is a suitable weak solution of (.) in Q r (x 0,t 0 ) which satisfies r 2 ( u 3 + p 3/2 ) dxdt M (2.4) then r 2 u 3 3 dxdt ǫ (2.5) (κr) 2 ( u 3 + p 3/2 ) dxdt ǫ 0. (2.6) Q κr(x 0,t 0) As a consequence of Theorem 2.2 we may deduce the following improvement of a Leray s result from [Le]. Corollary 2.3. Let (u,p) be Leray s weak solution defined in a neighborhood of [0,T] with T as the first singularity. Then for every M there exists ǫ(m) (0,] such that or for all t (T/2,T) q 3. (u,u 2 )(,t) L q u 3 (,t) L q M (T t) ( 3/q)/2 (2.7) ǫ(m) (T t) ( 3/q)/2, (2.8) Note that for q = 3 a stronger statement has been established in [ESS]. Also, observe that the statement extends to the case when T is an epoch of irregularity by translating rescaling the time variable. We first prove the corollary, while the proofs of the theorems are provided in Section 4. Proof of Corollary 2.3. Assume that u is regular on (0,T) (u,u 2 )(,t) L q M (T t) ( 3/q)/2, t (T/2,T) (2.9) ǫ u 3 (,t) L q (T t) ( 3/q)/2, t (T/2,T) (2.0) hold for some M ǫ (0,M]. We claim that T is regular if ǫ is sufficiently small. The assumptions on the velocity the Calderón-Zygmund theorem imply p(,t) L q/2 Let x 0 R 3 be arbitrary. Using Hölder s inequality, we get CM 2 (T t) ( 3/q). (2.) u j L 3 (Q T/2 (x0,t)) C( T) 5/3 5/q u j L q (Q T/2 (x0,t)) CT /3 M, j =,2 (2.2) where we used (2.9) in the last step. Therefore, ( T/2) 2/3 u j L3 (Q T/2 (x0,t)) CM, j =,2. (2.3)
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 5 Similarly, (2.0) implies ( T/2) 2/3 u 3 L3 (Q T/2 (x0,t)) Cǫ (2.4) while by (2.) ( CM. (2.5) T/2) 2/3 p /2 L 3/2 (Q T/2 (x0,t)) By Theorem 2.2, there exists κ (0,) so that if ǫ > 0 is sufficiently small (κ ( u 3 + p 3/2 ) dxdt ǫ CKN, x 0 R 3. T/2) 2 Q κ T/2 (x 0,T) Using the CKN theory, this provides a uniform bound for u for t in a neighborhood of T. By Leray s regularity criterion, this shows that the time T is regular, as claimed. The strategyused in the proofsoftheorems2. 2.2enablesus to provethe followingtwotheorems. Theorem 2.4. For every M > 0, there exists a constant ǫ(m) > 0 with the following property: If (u,p) is a suitable weak solution of (.) in a neighborhood of Q r (x 0,t 0 ) D which satisfies r 2 u 3 dxdt M (2.6) then u is regular at (x 0,t 0 ). r 2 p 3/2 dxdt ǫ, (2.7) Although certain regularity criteria involving the pressure are known (cf. [BG] for instance), the condition for regularity (2.7) appears to be new. Theorem 2.4 follows in fact from a stronger result stated in Theorem 2.5. Theorem 2.5. For all M,ǫ 0,r > 0 there exist constants ǫ(m,ǫ 0 ) > 0 κ(m,ǫ 0 ) (0,) with the following property: If (u,p) is a suitable weak solution of (.) in Q r (x 0,t 0 ) which satisfies r 2 u 3 dxdt M (2.8) then r 2 p 3/2 dxdt ǫ, (2.9) (κr) 2 ( u 3 + p 3/2 ) dxdt ǫ 0. (2.20) Q κr(x 0,t 0) As a consequence of Theorems 2.4 2.5 we deduce the following. Corollary 2.6. Let (u,p) be Leray s weak solution defined in a neighborhood of [0,T] with T as the first singularity. Then for every M there exists ǫ(m) (0,] such that u(,t) L q M (T t) ( 3/q)/2
6 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE or for all t (T/2,T) q 3. p(,t) L q/2 ǫ(m) (T t) ( 3/q)/2, Proof of Corollary 2.6. Assume that u is regular on (0,T) u(,t) L q p(,t) L q/2 M (T t) ( 3/q)/2, t (T/2,T) (2.2) ǫ (T t) ( 3/q)/2, t (T/2,T) (2.22) hold for some M ǫ (0,M]. We claim that T is regular if ǫ is sufficiently small. Let x 0 R 3 be arbitrary. Using Hölder s inequality, we obtain where we used (2.2) in the last step. Thus, we get u L 3 (Q T/2 (x0,t)) C( T) 5/3 5/q CT /3 M (2.23) ( T/2) 2/3 u L 3 (Q T/2 (x0,t)) CM. (2.24) Similarly, by (2.22) we have ( Cǫ. (2.25) T/2) 2/3 p /2 L 3/2 (Q T/2 (x0,t)) By Theorem 2.5, there exists κ (0,) so that if ǫ > 0 is sufficiently small (κ ( u 3 + p 3/2 ) dxdt ǫ CKN, x 0 R 3. T/2) 2 Q κ T/2 (x 0,T) This provides a uniform bound for u for t in a neighborhood of T. By Leray s regularity criterion, this shows that the time T is regular, as claimed. 3. The limit system Let D R 3 (0, ) be a domain. Consider the system 2 t u i u i + u j j u i + i p = 0 in D, i =,2 j= 3 p = 0 in D u + 2 u 2 = 0 in D (3.) where u(x,x 2,x 3,t) p(x,x 2,x 3,t) are unknown. Note that the system (3.) stems from the Navier- Stokes equations by setting u 3 = 0. Denote by S(u) the set of points where the solution u(x,t) of (3.) is singular. (The definition for a regular/singular point is the same as the one for the Navier-Stokes system.) Therefore, we may conclude that the set S(u) is closed in D the partial regularity results regarding the Navier-Stokes equations imply that its -dimensional parabolic measure ( as a consequence its -dimensional Hausdorff measure) is equal to zero.
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 7 The following theorem, addressing regularity of the limiting system (3.), is the main result of this section. Theorem 3.. Let (u,p) be a weak solution of (3.). Then u is regular. We note that the results of Neustupa, Novotný Penel from [NP, NNP] are not directly applicable in the considered setting since the weak solutions do not a priori have enough regularity to justify this approach. Moreover, in order to prove Corollary 2.3 Corollary 2.6 we require explicit estimates on the weak solution of the system (3.) which cannot be obtained using the strategy from [NP, NNP]. In particular, the presented proofs do not take advantage of epochs of irregularity. The first step toward the proof of Theorem 3., namely establishing the regularity of the third component of the vorticity ω 3 = u 2 2 u stems however from the work of Neustupa, Novotný Penel mentioned above. Lemma 3.2. Let (x 0,t 0 ) D let r > 0 be such that Q r (x 0,t 0 ) D. Then ω 3 q/2 L ((t 0 ρ 2,t 0 ),L 2 (B ρ (x 0 ))) L 2 ((t 0 ρ 2,t 0 ),H (B ρ (x 0 ))) (3.2) for any q [2, ) ρ (0,r/2). Proof. Applying the curl operator to the system (3.) we note that ω 3 satisfies the equation 2 t ω 3 ω 3 + u j j ω 3 = 0. (3.3) j= Without loss of generality we may assume that (x 0,t 0 ) = (0,0). We denote B r = B r (x 0 ) Q r = Q r (x 0,t 0 ). Let η be a smooth non-negative cut-off function, supported on Q r, η on Q r/2 such that η vanishes on the lateral boundary of Q r, that is η = 0 on B r { r 2 } B r ( r 2,0). Fix q 2. Multiplying the equation (3.3) by ω 3 q 2 ω 3 η 2 integrating over Q r, we obtain the estimate sup ω 3 q η 2 dx+ ( ω 3 q/2 ) 2 η 2 r 2 /4 t 0 B r/2 Q r/2 C(q) ω 3 q (η η + η 2 +η t η ) dxdt+c(q) u ω 3 q η η dxdt, (3.4) Q r Q r where the second term on the right has been obtained from 3 u j j ω 3 ω 3 q 2 ω 3 η 2 dxdt = 3 u j j ( ω 3 q )η 2 dxdt j= Q r q j= Q r = 2 3 u j ω 3 q η j η dxdt C u ω 3 q η η dxdt q Q r Q r j= using integration by parts the divergence-free condition in the second step. This can be formally justified using a suitable mollification passage to the limit. The estimate (3.4) yields ω 3 q/2 2 L t L2 x (Q r/2) + ( ω 3 q/2 ) 2 L 2 (Q r/2 ) C(q) ( u L 0/3 (Q r) ω 3 q/2 2 L 20/7 (Q r) + ω 3 q/2 2 L 2 (Q r)). (3.5) By the Sobolev embedding interpolation, we obtain from (3.5) ω 3 q/2 L 0/3 (Q r/2 ) C(q) u /2 L 0/3 (Q r) ω 3 q/2 L 20/7 (Q r) +C(q) ω 3 q/2 L 2 (Q r). (3.6)
8 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE Since 2 < 20/7 < 0/3 we may bootstrap the estimate. Namely, from (3.5) we obtain ω 3 (7/6)q/2 7/6 L 20/7 (Q r/2 ) C(q) u /2 L 0/3 (Q r) ω 3 q/2 L 20/7 (Q r) +C(q) ω 3 q/2 L2 (Q r). (3.7) For j =,2,... we define the sequences q j r j by the recursive relationships q j+ = (7/6)q j r j+ = r j /2. Then, from (3.7), ω 3 qj+/2 7/6 L 20/7 (Q rj+ ) C(q j) u /2 L 0/3 (Q rj ) ω 3 qj/2 L 20/7 (Q rj ) +C(q j ) ω 3 qj/2 L 2 (Q rj ). (3.8) Starting with q 0 = 2, we get q j = 2(7/6) j we conclude that for any q [2, ) for r sufficiently small. Using a covering argument, we obtain ω 3 q/2 (L t L2 x L2 t H x )(Q r/2) (3.9) ω 3 q/2 (L t L 2 x L 2 th x)(q ρ ) (3.0) for every ρ (0,r/2) with an explicit estimate. In order to prove Theorem 3., we also need the following auxiliary result. Lemma 3.3. [G] Let Ω be a bounded Lipschitz domain in R 3. Let further r (, ) m {0} N. Then there exists a linear operator R: W m,r 0 (Ω) W m+,r 0 (Ω) with the properties. divrf = f for all f W m,r 0 (Ω) with f dx = 0, Ω 2. there exists C > 0 such that j+ Rf L r (Ω) C j f L r (Ω) for j =,...,m for all f W m,r 0 (Ω). Proof of Theorem 3.. First, note that the system (3.) may be rewritten as t u ω 3 u 2 = ( p+ 2 u 2 )+ u t u 2 +ω 3 u = 2 ( p+ 2 u 2 )+ u 2 (3.) 3 p = 0 u + 2 u 2 = 0. Weshowthatanypoint(x 0,t 0 )isaregularpoint. Bytranslation,wecanassumewithoutlossofgenerality that (x 0,t 0 ) = (0,0). We denote B r = B r (x 0 ) Q r = Q r (x 0,t 0 ). Let r > 0 be as in Lemma 3.2. Let η be a smooth cut-off function supported on B r/2 such that η on B r/4. Let v = ηu V, where V(,t) = R( η u(,t)), with R being the operator defined as in Lemma 3.3 with Ω = B r/2. Note that we have η u dx = div(ηu) dx = ηu n ds = 0, (3.2) B r/2 B r/2 B r/2 where n is the outer normal vector to B r/2 thus we can apply Lemma 3.3. Moreover, divv = η u in Q r/2. Note also that V L 2 (( r 2,0),W 2,2 0 (B r/4 )) t V L 2 (B r/4 ( r 2 /6,0)). (3.3)
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 9 Moreover, the Sobolev embedding the control over t V yield that V is essentially bounded on Q r/4. In turn, the above defined v solves the Stokes system t v v + 2 (ηp+ 2 η u 2 ) = (p+ 2 u 2 ) 2 η t V + V ω 3 V ω 3 v. (3.4) Since u is a weak solution, we obtain by interpolation u L 5 tl 30/ x (Q r/4 ). Thus p L 5/2 t L 5/ x (Q r/4 ), whence the first term on the right of (3.4) belongs to L 5/2 (Q r/4 ). The second, third, t L 5/ x fourth term belong to L 2 tl 2 x(q r/4 ), where for the fourth term we used the fact that V is essentially bounded the fact that by Lemma 3.2 applied with q = 2 we have ω 3 L (( r 2,0),L 2 (B r/4 )) L 2 (( r 2,0),H (B r/4 )) thus by interpolation ω 3 L 0/3 t L 0/3 x (Q r/4 ). The last term on the right of (3.4) belongs to L 5/2 t L 5/ x (Q r/4 ) since by interpolation u,ω 3 L 5 t L30/ x (Q r/4 ) V is essentially bounded on Q r/4. Therefore, in summary, the right side of (3.4) belongs to L 5/2 t L 5/ x (Q r/4 ). The Stokes estimate (see [SW]) applied to (3.4) yields v L 5/2 t Wx 2,5/ (Q r/4 ) thus by Sobolev embedding we obtain v L 5/2 t L 5 x (Q r/4 ) which is a critical Serrin s regularity class. In order to prove Corollary 2.3 Corollary 2.6 we need the following estimates on solutions of (3.). Lemma 3.4. Let (u,p) be a solution of (3.) r 2 ( u 3 + p 3/2 ) dxdt M for some r > 0 (x 0,t 0 ). Then for any ǫ 0 (0,) we have (κr) 2 ( u 3 + p 3/2 ) dxdt ǫ 0. (3.5) Q κr(x 0,t 0) for a constant κ (0,] depending only on M ǫ 0. Consequently, under the assumptions of the theorem, there exist κ 0 (0,) K > 0 depending only on M such that κ 0 r u L (Q κ0 r) K. (3.6) The inequality (3.5) implies (3.6) with κ 0 = κ/2 using the stard CKN theory (cf. [CKN, K]). Proof. Without loss of generality, we may assume that (x 0,t 0 ) = (0,0). We denote B r (x 0 ) = B r Q r (x 0,t 0 ) = Q r. First, we note that by Lemma 3.2 we obtain ω 3 L (( r 2 /6,0),L 2 (B r/4 )) L 2 (( r 2 /6,0),H (B r/4 )). Similarly as in the proof of Theorem 3. we consider the abstract Stokes system (3.). Let η be a smooth cut-off function supported on B r/4 such that η on B r/8. We define v = ηu V on Q r/8. In particular we obtain V L 2 (( r 2 /64,0),W 2,2 0 (B r/8 (x 0 ))) t V L 2 (B r/8 (x 0 ) ( r 2 /64,0)). (3.7) Appropriate estimates follow from Lemma 3.3, the Sobolev embedding theorem interpolation. On the other h, the above defined v solves the Stokes system ( t v v + 2 ηp+ ) 2 η u 2 = (p+ 2 ) u 2 2 η t V ω 3 V + V ω 3 v. (3.8)
0 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE Proceeding as in the proof of Theorem 3. we obtain that v is in the critical Serrin s regularity class. Therefore, in order to prove (3.5) we repeat the Stokes estimate on a smaller cylinder Q r/6 which yields v in a subcritical Serrin s regularity class. This combined with regularity properties of V (3.0) gives us (3.5) on a sufficiently small cylinder, that is on Q κr for κ (0,r/6) sufficiently small. 4. Proofs of Theorems 2. 2.2 In this section we present the proofs of Theorems 2. 2.2. In our considerations we use sequences of suitable weak solutions. In the process, we need the following compactness result. Lemma 4.. Let (u (n),p (n) ) be a sequence of suitable weak solutions such that ( u (n) r 2 3 + p (n) 3/2) dxdt M, (4.) let 0 < ρ < r. Then there exists a subsequence (u (n k),p (n k) ) such that u (n k) u strongly in L q (Q ρ (x 0,t 0 )) for all q < 0/3 p (n k) p weakly in L 3/2 (Q ρ (x 0,t 0 )). Proof of Lemma 4.. Let φ C 0 (D) be such that φ 0 in D, φ = on B ρ (x 0 ) (t 0 ρ 2,t 0 ) supp(φ) Q r (x 0,t 0 ). The local energy inequality for suitable weak solution yields u(,t) 2 dx+2 u 2 dxdt B ρ(x 0) Q ρ(x 0,t 0) u 2 ( t φ+ φ) dxdt+ ( u 2 +2p)u φ dxdt, ρ 2 t 0 (4.2) Hölder s inequality the bound (4.) imply that there exists a constant E > 0 (where E = E(M,ρ)) such that B ρ(x 0) u(,t) 2 dx+2 u 2 dxdt E, ρ 2 t 0. (4.3) Q ρ(x 0,t 0) Possibly passing to a subsequence, we may assume that u (n) u in L 2 ((t 0 ρ 2,t 0 ),H (B ρ (x 0 ))) weak- in L ((t 0 ρ 2,t 0 ),L 2 (B ρ (x 0 ))). We may also assume that p (n) p in L 3/2 (Q ρ (x 0,t 0 )). The equations t u (n) = u (n) u (n) u (n) p (n) in Q ρ (x 0,t 0 ) (4.4) theweakconvergenceu (n) uinl 2 ((t 0 ρ 2,t 0 ),H (B ρ (x 0 )))weak- inl ((t 0 ρ 2,t 0 ),L 2 (B ρ (x 0 ))) along with the L 3/2 bound on p (n) imply that t u (n) L 3/2 ((t 0 ρ 2,t 0 ),(H 2 0 ) (B ρ (x 0 ))) with a uniform bound t u (n) L 3/2 ((t 0 r 2,t 0),(H 2 0 ) (B ρ(x 0))) C, (4.5) where the constant C may depend on E. Therefore, by the Aubin-Lions compactness lemma we conclude that u (n) u strongly in L 3/2 (Q ρ (x 0,t 0 )). Since u (n) is bounded uniformly in L 0/3 (Q ρ (x 0,t 0 )), by interpolation we get that u (n) u strongly in L q (Q ρ (x 0,t 0 ))) for all q < 0/3. We first prove the stronger result, namely Theorem 2.2.
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS Proof of Theorem 2.2. Without loss of generality, we may assume that (x 0,t 0 ) = (0,0). Denote Q r = Q r (x 0,t 0 ). Fix r > 0 assume that there exists a sequence of suitable weak solutions (u (n),p (n) ) with r 2 ( u (n) 3 + p (n) 3/2 ) dxdt M (4.6) Q r but r 2 u (n) 3 3 dxdt 0, (4.7) Q r (κr) 2 ( u (n) 3 + p (n) 3/2 ) dxdt > ǫ 0 (4.8) Q κr for every κ (0,). By Lemma 4., we may divide r by 2 assume that u (n) u strongly in L 3 (Q r ) p (n) p weakly in L 3/2 (Q r ). Note that (u,p) solves the system (3.). Theorem 3. implies that r /6 u L 6 () M 0 < (4.9) where M 0 depends only on M. By rescaling we now assume that r =. For κ (0,), which is to be determined below we obtain using Hölder s inequality, from where κ 2/3 There exists κ 0 > 0 such that for κ (0,κ 0 ] we have u L3 (Q κ ) Cκ 5/6 u L6 (Q κ ) Cκ 5/6 M 0 (4.0) u L 3 (Q κ ) Cκ /6 u L 6 (Q κ ) Cκ /6 M 0. (4.) Cκ /6 M 0 2 ǫ/3 0 κ /2. (4.2) In particular, the inequalities (4.) (4.2) then imply u 3 dxdt 4 ǫ 0κ /4. (4.3) κ 2 Since u (n) u strongly in L 3 loc (Q ), we may choose n large enough (depending on κ ) so that u (n) 3 dxdt ǫ 0 κ /4 (4.4) Q κ for n sufficiently large. We rewrite the pressure equation as in [K] as κ 2 (ηp (n) ) = ij (ηu (n) j ) u (n) j ij η + j (u (n) j i η) + i (u (n) j j η) p (n) η +2 j (( j η)p (n) ) (4.5) where η is a smooth cut-off function supported in B κ identically on B κ κ where κ (0,/2] is to be determined below. With N = /4π x denoting the Newtonian potential, we obtain ηp (n) = R i R j (ηu (n) j ) N (u (n) j ij η)+ j N (u (n) j i η) + i N (u (n) j j η) N (p (n) η)+2 j N (( j η)p (n) ) = p +p 2 +p 3 +p 4 +p 5 +p 6. (4.6)
2 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE For p, we have by the Calderón-Zygmund theorem p L 3/2 (Q κ κ ) C u (n) 2 L 3 (Q κ ). (4.7) For the rest of the terms, we use the fact that they all contain derivatives of η. This makes all the convolutions nonsingular when x κ κ (cf. [K] or [L] for details). Using this, we obtain the estimate for p 2, p 3, p 4 which is as in (4.7). For p 5, we have, as in [K], p 5 L 3/2 (Q κ κ ) C(κ κ ) 2 p (n) L 3/2 (Q ) C(κ κ ) 2 M 2/3 (4.8) The same bound holds for p 6. Summarizing, we obtain (κ κ ) 2/3 p(n) /2 L 3/2 (Q κ κ ) C 0 (κ κ ) 2/3 u(n) L3 (Q κ ) +C 0 (κ κ ) /3 M /3 (4.9) where C 0 is a constant. Using (4.4) we bound the right side of (4.9) by C 0 ǫ 0 (κ ) 2/3κ/2 +C 0 (κ κ ) /3 M /3 = C 0ǫ 0 (κ ) 2/3κ/2 +C 0 (κ κ ) /3 M /3. (4.20) We can choose κ κ small enough so that the right side of (4.20) is smaller than ǫ /3 0 /2. By possibly making κ smaller, we also have from (4.4) that Thus, setting κ = κ κ we get (κ κ ) 2 which leads to a contradiction with (4.8). Q κ κ u (n) 3 dxdt ǫ 0 (κ κ ) /4 2 ǫ 0. (4.2) κ 2 ( u (n) 3 + p (n) 3/2 ) dxdt ǫ 0, (4.22) Q κ Proof of Theorem 2.. The statement follows from Theorem 2.2 by setting ǫ 0 = ǫ CKN. 5. Proofs of Theorems 2.4 2.5 Since Theorem 2.5 is more general, we start with it first. Proof of Theorem 2.5. In order to prove Theorem 2.5, assume that there exists a sequence of suitable weak solutions (u (n),p (n) ) satisfying r 2 but ( u (n) 3 + p (n) 3/2 ) dxdt M (5.) r 2 p (n) 3/2 dxdt 0, (5.2) (κr) 2 ( u (n) 3 + p (n) 3/2 ) dxdt > ǫ 0. (5.3) Q κr(x 0,t 0)
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 3 for a certain κ (0,) to be determined explicitly below. By Lemma 4., we may divide r by 2 assume that u (n) u strongly in L 3 (Q r (x 0,t 0 )). Note that u solves the Burgers system with t u i u i + 3 u i j u j = 0 in D, i =,2,3 (5.4) j= u + 2 u 2 + 3 u 3 = 0 in D. (5.5) It is well-known that solutions of (5.4) are regular (see e.g. [C]); alternatively, we may use local L 6 estimates combined with the divergence-free condition (5.5). Therefore, we get r /6 u L 6 () M 0 < (5.6) where M 0 depends only on M. By rescaling we now assume that r =. We then proceed as in the proof of Theorem 2.. Namely, for κ (0,), Hölder s inequality yields which implies Let κ be sufficiently small so that The inequalities (5.8) (5.9) then imply κ 2 u L3 (Q κ(x 0,t 0)) Cκ 5/6 u L6 (Q κ(x 0,t 0)) Cκ 5/6 M 0 (5.7) κ 2/3 u L 3 (Q κ(x 0,t 0)) Cκ 5/6 u L 6 (Q κ(x 0,t 0)) Cκ 5/6 M 0. (5.8) Cκ 5/6 M 0 6 ǫ/3 0. (5.9) Q κ(x 0,t 0) u 3 dxdt 6 ǫ 0. (5.0) Since u (n) u strongly in L 3 loc (Q (x 0,t 0 )), we may choose n large enough so that κ 2 u (n) 3 dxdt 2 ǫ 0. (5.) Q κ(x 0,t 0) From (5.2) (5.) for sufficiently large n we obtain κ 2 ( u (n) 3 + p (n) 3/2 ) dxdt ǫ 0. (5.2) Q κ(x 0,t 0) which contradicts (5.3). Proof of Theorem 2.4. Theorem 2.4 follows from Theorem 2.5 using the CKN criterion for regularity. Acknowledgments. I.K. was supported in part by the NSF grants DMS-3943, W.R. was supported in part by the NSF grant DMS-3964, while M.Z. was supported in part by the NSF grant DMS-09562.
4 IGOR KUKAVICA, WALTER RUSIN, AND MOHAMMED ZIANE References [BG] L.C. Berselli G.P. Galdi, Regularity criteria involving the pressure for the weak solutions to the Navier-Stokes equations, Proc. Amer. Math. Soc. 30 (2002), no. 2, 3585 3595. [C] P. Constantin, Navier-Stokes equations area of interfaces, Comm. Math. Phys. 29 (990), no. 2, 24 266. [CKN] L. Caffarelli, R. Kohn, L. Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations, Comm. Pure Appl. Math. 35 (982), no. 6, 77 83. [ESS] L. Escauriaza, G.A. Seregin, V. Sverak, L 3, -solutions of Navier-Stokes equations backward uniqueness, Uspekhi Mat. Nauk 58 (2003), no. 2, 3 44. [G] G.P. Galdi, An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I, Springer Tracts in Natural Philosophy, vol. 38, Springer-Verlag, New York, 994, Linearized steady problems. [G2] G.P. Galdi, Introduction to the Navier-Stokes initial-boundary value problem. Fundamental directions in mathematical fluid mechanics. Adv. Math. Fluid Mech., Birkhäuser, Basel, 2000, 70. [K] I. Kukavica, On partial regularity for the Navier-Stokes equations, Discrete Contin. Dyn. Syst. 2 (2008), no. 3, 77 728. [K2] I. Kukavica, The partial regularity results for the Navier-Stokes equations, Proceedings of the workshop on Partial differential equations fluid mechanics, Warwick, U.K., 2008. [KP] I. Kukavica Y. Pei, An estimate on the parabolic fractal dimension of the singular set for solutions of the Navier-Stokes system, Nonlinearity 25 (202), no. 9, 2775 2783. [L] P.G. Lemarié-Rieusset, Recent developments in the Navier-Stokes problem, Chapman & Hall/CRC Research Notes in Mathematics, vol. 43, Chapman & Hall/CRC, Boca Raton, FL, 2002. [Le] J. Leray, Sur le mouvement d un liquide visqueux emplissant l espace, Acta Math. 63 (934), no., 93 248. [Li] F. Lin, A new proof of the Caffarelli-Kohn-Nirenberg theorem, Comm. Pure Appl. Math. 5 (998), no. 3, 24 257. [LS] O.A. Ladyzhenskaya G.A. Seregin, On partial regularity of suitable weak solutions to the three-dimensional Navier-Stokes equations, J. Math. Fluid Mech. (999), no. 4, 356 387. [M] P.B. Mucha, Stability of 2D incompressible flows in R 3. J. Differential Equations 245, No 9 (2008), pp. 2355 2367. [NP] Jiří Neustupa Patrick Penel, Regularity of a suitable weak solution to the Navier-Stokes equations as a consequence of regularity of one velocity component, Applied nonlinear analysis, Kluwer/Plenum, New York, 999, pp. 39 402. [NNP] J. Neustupa, A. Novotný, P. Penel, An interior regularity of a weak solution to the Navier-Stokes equations in dependence on one component of velocity, Topics in mathematical fluid mechanics, Quad. Mat., vol. 0, Dept. Math., Seconda Univ. Napoli, Caserta, 2002, pp. 63 83. [PP] P. Penel M. Pokorný, On anisotropic regularity criteria for the solutions to 3D Navier-Stokes equations, J. Math. Fluid Mech. 3 (20), no. 3, 34 353. [RS] J.C. Robinson W. Sadowski, Decay of weak solutions the singular set of the three-dimensional Navier- Stokes equations, Nonlinearity 20 (2007), no. 5, 85 9. [RS2] J.C. Robinson W. Sadowski, A criterion for uniqueness of Lagrangian trajectories for weak solutions of the 3D Navier-Stokes equations, Comm. Math. Phys. 290 (2009), no., 5 22. [RS3] J.C. Robinson W. Sadowski, Almost-everywhere uniqueness of Lagrangian trajectories for suitable weak solutions of the three-dimensional Navier-Stokes equations, Nonlinearity 22 (2009), no. 9, 2093 2099. [S] V. Scheffer, Partial regularity of solutions to the Navier-Stokes equations, Pacific J. Math. 66 (976), no. 2, 535 552. [S2] V. Scheffer, Hausdorff measure the Navier-Stokes equations, Comm. Math. Phys. 55 (977), no. 2, 97 2. [Se] G.A. Seregin, Estimates of suitable weak solutions to the Navier-Stokes equations in critical Morrey spaces. (English, Russian summary) Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 336 (2006), Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funkts. 37, 99 20, 277; translation in J. Math. Sci. (N. Y.) 43 (2007), no. 2, 2962968 [Se2] G. Seregin, Local regularity for suitable weak solutions of the Navier-Stokes equations. Russian Math. Surveys 62 (2007), pp. 595 64. [SW] H. Sohr, W. von Wahl, On the regularity of the pressure of weak solutions of Navier-Stokes equations. Archiv der Mathematik 46 (986), no. 5, 428 439. [V] A.F. Vasseur, A new proof of partial regularity of solutions to Navier-Stokes equations, NoDEA Nonlinear Differential Equations Appl. 4 (2007), no. 5-6, 753 785. [WZ] W. Wang Z. Zhang, On the interior regularity criteria the number of singular points to the Navier-Stokes equations, J. D Analyse Math. 23 (204) no., 39 70. [W] J. Wolf, A direct proof of the Caffarelli-Kohn-Nirenberg theorem, Parabolic Navier-Stokes equations. Part 2, Banach Center Publ., vol. 8, Polish Acad. Sci. Inst. Math., Warsaw, 2008, pp. 533 552. [W2] J. Wolf, A new criterion for partial regularity of suitable weak solutions to the Navier-Stokes equations, Advances in mathematical fluid mechanics, Springer, Berlin, 200, pp. 63 630.
AN ANISOTROPIC PARTIAL REGULARITY CRITERION FOR THE NAVIER-STOKES EQUATIONS 5 Department of Mathematics, University of Southern California, Los Angeles, CA 90089 E-mail address: kukavica@usc.edu Department of Mathematics, Oklahoma State University, Stillwater, OK 74078 E-mail address: walter.rusin@okstate.edu Department of Mathematics, University of Southern California, Los Angeles, CA 90089 E-mail address: ziane@usc.edu