A BEALE-KATO-MAJDA CRITERION WITH OPTIMAL FREQUENCY AND TEMPORAL LOCALIZATION XIAOYUTAO LUO arxiv:1803.05569v3 [math.ap] 19 Apr 018 Astract. We otain a Beale-Kato-Maja-type criterion with optimal frequency an temporal localization for the 3D Navier-Stokes equations. Compare to previous results our conition only requires the control of Fourier moes elow a critical frequency, whose value is explicit in terms of time scales. As applications it yiels a strongly frequency-localize conition for regularity in the space B, 1 an also a lower oun on the ecaying rate of L p norms p < 3 for possile lowup solutions. The proof relies on new estimates for the cutoff issipation an energy at small time scales which might e of inepenent interest. 1. introuction Consier the three-imensional incompressile Navier-Stokes equations(3d NSE) t u+(u )u ν u = p u = 0 (1.1) u(x,0) = u 0 (x) where u(x,t) is the unknown velocity, p(x,t) is the scalar pressure. In this note we normalize the kinematic viscosity ν > 0 to 1 an consier spatial omain Ω = R 3 or T 3. In [16] Leray constructe gloal weak solutions for initial atum with finite energy. Suchsolutions oeythe energyinequality u(t) +ν t t 0 u u(t 0 ) for all t [0,T] an a.e t 0 [0,t] incluing 0. Although the uniqueness an gloal regularity of such solutions remain open questions. The classical result of Layzhenskaya-Proi-Serrin states that if a Leray-Hopf weak solution lies in L q t Lp x for q + 3 p 1 with p > 3, then the solution is smooth an unique in the class of all Leray-Hopf weak solutions with the same initial ata. Since then there have een extensive stuies on refining such type of criteria, for instances [1, 3, 5, 10, 1]. The ifficult en point case L t L3 x was proven with the work of Escauriaza- Seregin-Šverák [11] an later improve to L Bs,q 1+3/s with 3 < s,q < in [13] y Gallagher, Koch an Planchon. Another orerline case when the time integraility inex is 1, which is the main focus of this paper, is the Beale-Kato-Maja criterion []: T 0 u t < u is regular on[0,t]. (1.) Note that this conition oes not require any issipation an therefore also applies to the 3D Euler equations. This conition (1.) was weakene y Planchon in [] to T lim sup q ( u) t < c, (1.3) ǫ 0 q T ǫ where q is the q s Littlewoo-Paley projection an the constant c > 0 is small. Date: April 0, 018. 1
XIAOYUTAO LUO In [5] Cheskiov an Shvykoy prove the following improvement over the result of Planchon: T 0 u Q(t) t < for some wavenumerλ(t) = Q(t), (1.4) an later on it was further weakene in [7] y Cheskiov an Dai requiring lim sup q T T/ 1 q Q(τ) λ q u q τ c. (1.5) At last we note that similar iea of frequency localization was also use in [1] to otain refinement of Layzhenskaya-Proi-Serrin-type criteria uner an extra assumption that u C t B, ǫ for some 0 < ǫ < 1. 1.1. Main results. One of the main motivations of this paper is to fin the optimal frequency an temporal localization in the BKM-type criteria. Throughout this paper we use the notation I p (T) = [T λ p,t) for each p N where T is the possile time oflowup an λ p = p. The localize BKM criterionstates as follows. Theorem 1.1. There exist universal constants c an δ BKM such that if a regular solution u of (1.1) on (0,T) satisfies that lim sup p then u is regular on (0,T]. T T cλ p u p t δ BKM, (1.6) We note that the importance here is that the frequency localization is explicit in terms of time, which is natural in view of the scaling of the NSE u λ (x,t) = λu(λx,λ t). As a consequence of this theorem we otain regularity conition involving only a fixe numer of Fourier moes aroun the critical frequency at each time scale, which is a strong frequency localization criterion in B, 1, the largest critical space for the 3D NSE. Theorem 1.. There exist a universal constant δ B 1 an a family of frequency, localization operators p = r p r where is a fixenumerwith the following property: If a regular solution u of (1.1) on (0,T) verifies the oun then u is regular on (0,T]. lim sup sup p u B 1 δ, B 1, (1.7), p I p Another application of Theorem 1.1 concerns the ehavior of lower orer Leesgue norms (L p for p < 3) in the spirit of a celerate result y Leray on the lowup spee of the Leesgue norms: if a regular solution u lows up at time T then 1 u(t) p p (T t) p 3 p (1.8) for any 3 < p. This together with the result of Seregin [0] an shows that if a lowup occurs then u p ecomes unoune for any p 3. It remains an open question whether the supercritical norms u(t) p for < p < 3 ecome unoune when the solution lows up. We are ale to otain a partial result in this irection. Noticing that when p < 3 the right han sie of (1.8) goes to zero as t T, if a solution lows up, then there is a lower oun on the ecaying rate of u(t) p for p < 3.
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 3 Theorem 1.3. If a regular solution u to (1.1) on (0,T) lows up at time T then lim sup u q(t) (t) p (T t) p 3 p δl p (1.9) t T for any p 3, where q(t) = [log (T t) 1/ + ] an δ L p is a universal constant epening only on p. We note that when p = 3 conition (1.9) neither follows from nor oes it inclue the result of Escauriaza-Seregin-Šverák [11]. In contrast to a lowup rate for u p when p > 3, the equation (1.9) is a lower oun that goes to zero as t T for Leesguenorms u p with p < 3, whichis quite interesting. We conjecture that similar result shoul hol for the convergence rate of u(t) u(t ) as t T. 1.. Some remarks on the main results. Remark 1.4. It is clear that Theorem 1.1 improves over the classical BKM. However it is ifficult to compare with the results of Planchon[], Cheskiov-Shvykoy[6, 5] an Cheskiov-Dai [7]. One of the reasons for such ifficulty is that Theorem 1.1 use L norm in space while those results use Besov norms in space [7, 6, 5] or space-time mixe Besov space []. All liste results can e viewe as the steps towars the following conjecture: T lim sup u p t 1 uis regular. p T cλ p Remark 1.5. We note that Theorem 1.1 is a universal criterion. One can easily erive a family of Layzhenskaya-Proi-Serrin-type criteria from it. For example suppose r + 3 s = 1 with s > 3 then (1.6) hols if T lim sup u p r st 1. p T cλ p Remark 1.6. Since the frequency localization is explicit in terms of time scales, our critical wavenumer λ q(t) = c(t t) 1/ is L,w while in the conition (1.4) an (1.5), the results of Cheskiov-Shvykoy [6, 5] an Cheskiov-Dai [7] respectively, the wavenumer Λ(t) was only known to e Λ L 1 for Leray-Hopf solutions an no explicit formula is known so far for Λ(t). Remark 1.7. Previously regularity of weak solutions in B, 1 is known if the norm u L t B, 1 is small or the jump limsup t T u(t) u(t) B 1 is small (cf. [6])., The smallness assumption in (1.7) is only for a single moe on the associate time interval an hence is satisfie uner these two smallness conitions. Moreover the norm u(t) B 1 are allowe to have large jump or even low up at t = T, uner the conition (1.7). This is in line with the form of (1.6), which in a sense tells us that if lowup occurs then on the Fourier sie it must e uner the curve λ q(t) = c(t t). 1 1.3. Organization of the paper. The rest of the paper is organize as follows. In Section we riefly introuce Littlewoo-Paley theory an notations use in this paper. The iea of proving the main results is to first otain regularity in terms of small issipation an then to o ootstrap y a ynamical argument. These will e one in Section 3 an Section 4 respectively. With all ingreients in han we prove the main results in Section 5.
4 XIAOYUTAO LUO. Preliminaries.1. Notations. We enote y A B an estimate of the form A CB with some asolute constant C, an y A B an estimate of the form C 1 B A C B with some asolute constants C 1, C. We write = L p for Leesgue norms. The symol (, ) stans for the L -inner prouct. For any p N an t > 0 we let λ p = p e the stanar yaic numer... Littlewoo-Paley ecomposition. We riefly introuce a stanar Littlewoo- Paley ecomposition. For a etaile ackgroun on harmonic analysis we refer to [4]. Let χ : R + R e a smooth function so that χ(ξ) = 1 for ξ 3 4, an χ(ξ) = 0 for ξ 1. We further efine ϕ(ξ) = χ(λ 1 1 ξ) ϕ(ξ) an ϕ q(ξ) = ϕ(λ 1 q ξ). For a tempere istriution vector fiel u let us enote u q := F 1 (ϕ q ) u for q > 1 an u 1 := F 1 (χ) u, where F is the Fourier transform. With this we have u = q 1 u q in the sense of istriution. We also use the notation q := F 1 (ϕ q ) for the Littlewoo-Paley projection. Also let us finally note that the Besov space Bp,q s is the space consisting of all tempere istriutions u satisfying u B s p,q := λ s r u l r p <. q By Littlewoo-Paley theorem we note that for any s R u H s u B s,. Finally let us recall the following version of Bernstein s inequality. Lemma.1. Let u e a tempere istriution in R n, an r s 1. Then for any q we have that u q r λ n(1 s 1 r ) q u q r. 3. Energy, issipation an flux In this section we evelop necessary estimates on the cutoff energy, issipation an the energy flux. For any p N we efine the energy flux through wavenumer p: Π p (t) = (u )u p (u p )x. R 3 It is worth noting that in [9] the efinition ofenergyflux through shell q wasefine ifferently via multiplying (1.1) y p (u p ) since the goal there is to prove the energy equality. In contrast we nee to stuy the ehavior of energy an issipation at high moes at each time scale to rule out the lowup. Here the efinition is wellefine since we are on the interval of regularity. 3.1. Cutoff Energy inequality. The first proposition is a variation of known result on the nonlinear term of the 3D NSE an 3D Euler estalishe in [9]. Proposition 3.1. Let u e a Leray-Hopf weak solution. Suppose (T,T) is an interval of regularity for u. Then for any t (T,T) the cutoff energy function u p (t) verifies the following inequality: t u p + u p Π p (t), (3.1) where for any t (T,T) the term Π p (t) verifies Π p (t) [ ] r pλ r p u r + u r u <p. (3.) r>p
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 5 It is worth noting that (3.1) only hols for Leray-Hopf weak solutions within the interval of regularity since otherwise one loses the cancellation property of u eing ivergence-free. The proof for this proposition is essentially a moification of the one given in [9]. The novelty here is that we make full use of the natural cancellation property on the interval of regularity. For completeness we give a proof here. Proof of Proposition 3.1. Theequation(3.1)followsfrommultiplying(1.1)y p u p an integrating in space. The main part is to show (3.). To this en let Π p (t) := (u )u p (u p )x. R 3 Since (T,T) is an interval of regularity, for any t (T,T) y ivergence-free cancellation (u )u u x = 0 we have R 3 Π p = Π p 1 (u )u p (u p 1 )x. R 3 We only nee to show the right han sie aove oeys the right oun. For the secon term it follows from frequency support that R 3 (u )u p (u p 1 )x p (u u) 1 u p 1 r p u r u p 1. Therefore this term oeys the right oun. It now suffices to estimate Π p. Following [8, 9] we write where p (u u) = r p (u,u) (u u p ) (u u p )+u p u p, r p (u,u) = ϕ p (y)[u(x y) u(x)) (u(x y) u(x)]y. We further the first term ecompose as r p (u,u) = r p,1 (u,u)+r p, (u,u) := p [r p (u,u)]+ >p [r p (u,u)]. After sustituting it into the flux we fin that Π p (u) = Tr[r p,1 (u,u) u p ]x+tr[r p, (u,u) u p ]x R 3 Tr[(u u p ) (u u p ) u p ]x := Π 1 +Π +Π 3. R 3 To oun these terms we first use the Minkowski inequality otaining r p,1 (u,u) 1 ϕ p (y) u p ( y) u p ( )) y. By the Mean Value Theorem it follows that r p,1 (u,u) 1 r r p u ϕ p (y) y y u r λ p r. r p In a similar manner we can also estimate r p, (u,u) 1 ϕ p (y) u >p ( y) u >p ( ) y r r>p u. Collecting estimates for r p,1 (u,u) an r p, (u,u), y Höler s inequality we have Π 1 r p,1 (u,u) 1 u p r p u r λ p r u p,
6 XIAOYUTAO LUO Π r p, (u,u) 1 u p r>p u r u p an Π 3 u >p u p r>p u r u p. It is now clear that (3.) follows from these estimates. 3.. Energy an issipation. Suppose (T,T) is an interval of regularity for u. We let I p (T) = [T λ p,t) an efine two sequences: an E p (T) = sup I p u p, D p (T) = u p (s) s. I p These two quantities are scaling invariant. In the remaining of this section we will erive estimates for D p (T) an E p (T) involving energy flux on small time intervals. For notational simplicity we often write D p an E p when their meanings are clear from the context. The next lemma is to control energy an issipation on a small time interval y the flux an the issipation on a larger time interval. In view of partial regularity theory of the 3D NSE, if D p has ecay λ 1 p then the solution shoul e regular. Lemma 3.. For any 0 < α < there exists a constant = (α) N with the following property. Suppose (T,T) is an interval of regularity for Leray-Hopf weak solution u. For any p N sufficiently large we have max{e p,d p } λ α D p + Π p (t) t. (3.3) I p Remark 3.3. Note that in this lemma is not very large since the main purpose of introucing the parameter is to asor a geometric constant from Littlewoo- Paley projection an for the results of this paper we only nee α > 1. Proof of Lemma 3.. Given 0 < α < we fix a constant so that in view of Littlewoo-Paley theory the following hols: λ p u p λ α u p. (3.4) Since (T,T) is an interval of regularity, for p sufficiently large we have I p (T,T). We choose Lipschitz functions ϕ p (t) : (,T] [0,1] such that for any p we have ϕ p (t) = 1 on I p an Suppϕ p I p. Moreover these functions also satisfy the oun: t ϕ p λ p. (3.5) For instance we can take ϕ p to e piecewise linear functions. To prove (3.3) multiplying (3.1) y ϕ p an then integrating over time yiel: ϕ p R t u p t+ ϕ p u p t Π p t. (3.6) R I p Integrating y parts for the first term we see that ϕ p t u p t = u p(t ) t ϕ p u p t, (3.7)
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 7 where u p (T ) := lim t T u p (t). Using the erivative oun (3.5) for ϕ p an (3.4) we further otain t ϕ p u p t λ p u p λ α u p I p I p λ α D p. (3.8) An thus comining (3.7), (3.8) an (3.6) we fin D p λ α D p + Π p t. I p Now we show that E p also oeys this oun. To o so we first choose a sequence t q \+1 satisfying the following conition: u q (t q ) λ qd q. Also for any q > 0 let t q e such that sup Iq u q = u q(t q ). Now notice that for any p with p > 0 we have u p (t p ) λ p λ α u p (t p ) λ p λ α u p (t p ) λ α D p. (3.9) Since t p < t q we can now integrate from t p to t q to otain t sup u p u p (t p ) q + u p Π p t. (3.10) I p t p I p Putting together (3.9),(3.10) we finally otain E p λ α D p +c Π p t. I p 3.3. Boun the flux. Now we will oun the term I p Π p t uner the conition (1.6) of Theorem 1.1 in terms of E r on much larger time interval I r. This together with Lemma 3. will allow us to use an iterative scheme to get the esire ecay for D p as p. Proposition 3.4. Let u e a Leray-Hopf weak solution an (T,T) e an interval of regularity of u. Suppose for some constants N an δ > 0 we have lim sup u p δ, (3.11) p I p then for any p N sufficiently large we have I p Π p t δ r p E r λ r p+ where the implicit constant is inepenent of p, δ an. Proof. Thanks to Proposition 3.1 we introuce the split I p a Π p t I 1 + I with I 1 = sup λ r p u r u <p t, (3.1) I p I p an r p I sup I p r>p u r I p u <p t. (3.13)
8 XIAOYUTAO LUO We oun these two term respectively. By assumption (3.11) there exists p 0 N such that for any p p 0 we have I p u p δ (3.14) Therefore for any p p 0 it follows that I 1 δ sup I p r p λ r p u r. Since the time interval is I p an E p contains all frequencies higher than p we have I 1 δ r p δ r p λ r p sup I p u r λ r p+ E r. Now for I we similarly estimate I sup u r u p t I p r>p I p δe p. Thus putting together the estimates for I 1 an I we have Π p t δ E r λ r p+. I p r p The main result of this section can e summarize as the following ecay estimate on E p an D p. Lemma 3.5. For any 0 < α < there exist δ α > 0 an = (α) N with the following property: If a Leray-Hopf weak solution u that is regular on (T,T) oeys the oun lim sup u p δ α, (3.15) p I p then there exists p 0 N so that for any p p 0 we have max{d p,e p } λ α p. Proof. Given any 0 < α < y Lemma 3. an Lemma 3.4 there exists N an large p 0 N such that for any p p 0 we have α α max{d p,e p } λ D p +cδ E r λ r p+. (3.16) r p The extra factor α is to make room for future correction of constants. Let M > 0 e such that max{d p,e p } M for all p, which is possile since u L L L H 1. Now we use inuction to finish the proof. We claim that for any p p 0 it verifies that max{d p,e p } λ α p p 0. (3.17) To prove this it suffices to show for any k N we have for any p N with k p (k +1) max{d p,e p } Mλ kα. (3.18) First of all if p 0 p p 0 +, y (3.16) we have max{d p,e p } [λ α α +cδ]m Mλ α (3.19)
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 9 provie that δ α 1. Suppose that for any k n (3.18) hols. Then for k = n+1 we nee to estimate for any (n+1) p (n+) the term E r λ r p+ r p We can use inuctive hypothesis (3.18) to otain E r λ r p+ Mλ kα λ k n r p k n c α Mλ (n+1)α where c α is the constant from the geometric sum (since epens on α as well). Hence when (n+1) p (n+) we have that ) max{d p,e p } (λ α α +cc α δ Mλ (n+1)α. Choosing δ(epening on α) smaller if neee, which in view of (3.19) is allowale, yiels max{d p,e p } Mλ (n+1)α, for any (n+1) p (n+) an hence the inuction gives the esire oun. 4. Dissipation at small time scales In this section we will ootstrap regularity from max{d p,e p } λ α p if α > 1. In view of the classical result of Caffarelli-Kohn-Nirenurg this shoul e viale since the critical scaling for regularity is D p λ 1 p. More specifically we show that there exists a constant δ > 0 so that if lim supλ p u p (s) p I s δ, (4.1) p then the solution oes not low up at T. The proof of this criterion uils on the ieas evelope in [17]. The intuition is that if the issipation is small on high frequencies, then energy on low frequencies are controlle. On the other han (4.1) can also e viewe as an average smallness conition on u(t) H 1 for high frequencies. Consequently we get smallness on oth low an high frequencies which will imply the regularity of u up to time T. Unlike previous sections a slightly ifferent evolution inequality for u q will e use here: t u q +λ q u q λ 5 r u r u r u q +λ 5 q u r u q (4.) r q r q r q The proof of this estimate follows from stanar paraprouct an commutator techniques. Theorem 4.1. Let u is a Leray-Hopf weak solution. Suppose (4.1) hols at time T. Then u H 1 is oune on [T ǫ,t] for some ǫ > 0. In particular u oes not low up at T. Proof. The exact value of δ will e chosen in the en an shall e universal. The proof consists of two steps. The first step is to oun the energy on low moes an large time interval. The secon step is to take avantage of the average form of (4.1) so that we can use a continuity argument. Step 1: Bouning lower moes.
10 XIAOYUTAO LUO Let t q e such that u q (t q ) = sup Iq u q, which is possile since each u q is continuous in time. We can integrate (4.) from t q to T to fin sup u q λ q u q(t) +sup u q (J 1 +J ) (4.3) where J 1 an J are an respectively J 1 = r q J = λ 5 r u r λ 5 q r q r q Thanks to (4.1) there exists q 0 such that for any q q 0 λ q r q u r, (4.4) u r. (4.5) λ r u r(s) s δ. (4.6) It then follows that for q sufficiently large we have J δλ 1 q. Now it suffices to estimate the term [ ]1 ( J 1 λ 5 ) [ ]1 ( ) r u r u r := J11 J 1. Iq r q r q Using Jensen s inequality we otain ]1 [ ( J 11 = [ λ 5 ) 1 r u r λ q r q an [ ]1 ( ) J 1 = u r r q [Iq Again for q sufficiently large immeiately we have J 1 δ 1 λ 3 q. λ 4 r u r r q r q u r For the other term J 11 we introuce the split in the same spirit as efore: J11 = λ q λ 4 r u r +λ q λ 4 r u r (4.7) λ q r q/ r q/ λ 4 r +λ q q/ r q q/ r q λ 4 r ]1, ]1. I r u r (4.8) λ q +δλ q δλ q, (4.9) provie that q is sufficiently large. Therefore collecting the estimates for J 1 an J there exists q 1 N such that for any q q 1 we have With this oun for any q q 1 (4.3) ecomes J 1 +J δλ 1 q. (4.10) sup u q δ[ λ 1 ] q sup u q +λ q. An finally y Young s inequality we otain for any q q 1 sup u q δλ q. (4.11)
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 11 Step : A continuity argument. We are in the position to prove the regularity. If δ is small we will show that for some sufficiently large q the oun r q λ r u r δλ q hols on some suinterval of I p containing the enpoint T. By the Mean Value Theorem for any q q 1 there exists τ q (T λ q,t) such that λ r u r(τ q ) δλ q, (4.1) r q i.e. the esire oun is satisfie at t = τ q. By the continuity of strong solutions there exists an nonempty interval [τ q,t q ] so that λ r u r δλ q for any t [τ q,t q ]. (4.13) r q Next we will use a continuity argument to show that if (4.13) hols an t q T, then λ r u r(t q ) < δλ q. r q This will imply the ouneness of u H 1 on [τ q,t] an hence the regularity of u. Consier on for any p q the equation t u p(t) +λ p u p (t) λ 5 r u r u r + u r λ 5 p r p r p r p We claim that if q is sufficiently large then on [τ q,t q ] for any p q we have t u p(t) +λ p u p (t) δλ q λ 1 p. (4.14) With this claim it is clear that y the estimate (4.1) an the Gronwall inequality an choosing δ small enough we have λ r u r (t q ) < δλ q, (4.15) r q provie that t q T, which completes the proof. It remains to prove (4.14), for which it suffices to oun r p λ5 r u r an r p u r on [τ q,t q ]. For any t [τ q,t q ] we estimate λ 5 r u r (t) λ 5 r + sup r u r + sup r u r r q 1 r p q 1<r q I r λ 5 q<r p I r λ 5 λ 1 q1 +δ 1 1 λ q λ 3 p δ 1 1 λ q λ 3 p (4.16) where we have use oune energy for r q 1, (4.11) for q r p an (4.13) for q 1 r q in the summan. The last inequality is ue to q q 1. We now estimate r (t) r p u u r (t) + u r (t) δλ p λ q (4.17) r p p r p where we have use (4.13) for the first part an (4.11) for the secon part. Note that all implicit constants are inepenent of q an p. Putting together (4.16) an (4.17) we otain (4.14).
1 XIAOYUTAO LUO 5. Proof of main theorems With all ingreients in han we prove Theorem 1.1, 1. an 1.3. Proof of Theorem 1.1 an 1.. To prove Theorem 1.1 we fix some 1 < α < to apply Lemma 3.5. Then we choose the constant c in conition (1.6) so that cλ p = λ p an choose the constant δ BKM δ α. Now all the constants in conition (1.6) have een specifie. Since the conition (1.6) implies (3.15) we have max{d p,e p } λ α p, for any sufficiently large p N. Thanks to the fact that α > 1 the conition (4.1) is satisfie. Hence we can apply Theorem 4.1 to conclue that the norm u H 1 is oune on [T ǫ,t] for some small ǫ which finishes the proof. Theorem 1.1 follows from the fact that (1.6) hols when (1.7) is satisfie. Inee we have u p t λ r u r t I p I p r p λ p sup I p r p λ r u r. (5.1) Define the frequency localization operator p = r p r so that u p t λ p sup λ r r u. (5.) I p I p r p Using energy to oun low moes it follows from the aove that u p t λp λ 5/ r +λ p supλ r r u. (5.3) I p I r r p/ p/ r p Therefore if (1.7) hols, for any sufficiently large p we have u p t λp 3/4 +δ B 1. (5.4), I p Choosing δ B 1 suitaly guarantees that conition (1.6) hols., Proof of Theorem 1.3. Suppose the oun fails, we have for any t sufficiently close to T that u q(t) (t) p (T t) p 3 p δl p. Let Ĩp = I p = [T λ p,t) where is the constant from the proof of Theorem 1.1. Using iscrete time scales we have for any q N sufficiently large sup u q (t) p λ 1+ 3 p q t Ĩp sup u q(t) (t) p (T t) p 3 p δl p. t Ĩp Since p < 3, Bernstein s inequality gives for any q N sufficiently large which implies that λ q sup u q (t) λ 1+ 3 p q t Ĩp sup u q (t) p δ L p, t Ĩp lim supλ q sup u q δ L p. q Ĩ q By choosing δ L p suitaly small, this in turn guarantees (1.6) hols an hence the solution oes not low up at T, a contraiction.
BKM WITH FREQUENCY AND TEMPORAL LOCALIZATION 13 Acknowlegement The author woul like to thank his avisor Alexey Cheskiov for stimulating conversations an his constant encouragement. References [1] Z. Brashaw an Z. Grujić. Frequency localize regularity criteria for the 3D Navier-Stokes equations. Arch. Ration. Mech. Anal., 4(1):15133, 017. [] J. T. Beale, T. Kato, an A. Maja. Remarks on the reakown of smooth solutions for the 3-D Euler equations. Comm. Math. Phys., 94(1):6166, 1984. [3] C. Bjorlan, A. Vasseur. Weak in Space, Log in Time Improvement of the Layzenskaja- Proi-Serrin Criteria. J. Math. Flui Mech., 13():59 69, 011. [4] M. Cannone. Harmonic analysis tools for solving the incompressile Navier-Stokes equations. In Hanook of mathematical flui ynamics, Vol. III:161 44, 004. [5] A. Cheskiov an R. Shvykoy. A unifie approach to regularity prolems for the 3D Navier- Stokes an Euler equations: the use of Kolmogorov s issipation range. J. Math. Flui Mech. 16(), 63 73, 014. [6] A. Cheskiov an R. Shvykoy. The Regularity of Weak Solutions of the 3D Navier-Stokes Equations in B,. 1 Arch. Ration. Mech. Anal. 195: 159 169, 010. [7] A. Cheskiov an M. Dai. Regularity criteria for the 3D Navier-Stokes an MHD equations. Preprint (015). [8] P. Constantin, W. E, E. Titi. Onsagers conjecture on the energy conservation for solutions of Eulers equation. Comm. Math. Phys., 165 (1994), 0709. [9] A. Cheskiov, P. Constantin, S. Frielaner an R. Shvykoy. Energy conservation an Onsager s conjecture for the Euler equations. Nonlinearity, 1: 133 15, 008. [10] C. Cao an E. S. Titi. Gloal Regularity Criterion for the 3D NavierStokes Equations Involving One Entry of the Velocity Graient Tensor. Arch. Ration. Mech. Anal. 0(3): 919 93, 011. [11] L.Escauriaza, G.Seregin, V.Šverák, L3, solutionsof Navier-Stokes equations an ackwar uniqueness, Uspekhi Mat. Nauk 58 (003), no. (350), 344; translation in Russian Math. Surveys 58 (003), no., 1150. [1] J. Fan, S. Jiang, G. Nakamura an Y. Zhou. Logarithmically Improve Regularity Criteria for the NavierStokes an MHD Equations. J. Math. Flui Mech. 13(4), 557 571, 011. [13] I. Gallagher, G. S. Koch,an F. Planchon Blow-up of Critical Besov Norms at a Potential NavierStokes Singularity. Comm. Math. Phys., 343(1):398, 016. [14] O. A. Laayzhenskaya. On uniqueness an smoothness of generalize solutions to the Navier- Stokes equations. Zap, Nauchn. Sem. Leningra. Otel. Mat. Inst. Steklov. (LOMI), 5, pp. 60-66. [15] P. Lemarié-Rieusset. The Navier-Stokes prolem in the 1st century. CRC Press, Boca Raton, FL, 016. [16] J. Leray. Sur le mouvement un liquie visqueux emplissant l espace. Acta Math., 63 (1934), pp. 193-48. [17] X. Luo. Time singularities for 3D Navier-Stokes equations in homogeneous Leesgue spaces. Preprint (017). [18] J. Serrin, On the interior regularity of weak solutions of the Navier-Stokes equations. Arch. Ration. Mech. Anal., 9, pp. 187-195. [19] J. Serrin. The initial value prolem for the Navier-Stokes equations. University of Wisconsin Press, 1963. [0] G. Seregin. A Certain Necessary Conition of Potential Blow up for Navier-Stokes Equations. Comm. Math. Phys., 313(3):833845, 01. [1] M. Struwe. On partial regularity results for the Navier-Stokes equations. Comm. Pure. Appl. Math., 41, 437-458. [] F. Planchon. An extension of the Beale-Kato-Maja criterion for the Euler equations. Comm. Math. Phys., 3():31936, 003. Department of Mathematics, Statistics an Computer Science, University of Illinois At Chicago, Chicago, Illinois 60607 E-mail aress: xluo4@uic.eu