arxiv: v1 [math.ap] 15 Nov 2016

Transcription

1 ON REGULARITY AND SINGULARITY FOR L (, T; L 3,w ( 3 )) SOLUTIONS TO THE NAVIER STOKES EQUATIONS arxiv: v1 [math.ap] 15 Nov 216 In this paper, we consider the Cauchy problem for the incompressible Navier Stokes equations HI JUN CHOE & JÖRG WOLF & MINSUK YANG ABSTRACT. We study local regularity properties of a weak solution u to the Cauchy problem of the incompressible Navier Stokes equations. We present a new regularity criterion for the weak solution u satisfying the condition L (, T; L 3,w ( 3 )) without any smallness assumption on that scale, where L 3,w ( 3 ) denotes the standard weak Lebesgue space. As an application, we conclude that there are at most a finite number of blowup points at any singular time t. The condition that the weak Lebesgue space norm of the veclocity field u is bounded in time is encompassing type I singularity and significantly weaker than the end point case of the so-called Ladyzhenskaya Prodi Serrin condition proved by Escauriaza Sergin Šverák. AMS Subject Classification Number: 35Q35, 35D3, 35B65 keywords: Navier Stokes equations, weak Lebesgue space, local regularity 1. INTRODUCTION ( t )u+(u )u+ p= div u= in Q T := 3 (, T) and T> with a smooth and rapidly decaying solenoidal initial vector field u(x,)=u (x) in 3. The state variables u and p denote the velocity field of the fluid and its pressure. Leray[12] proved that the Cauchy problem has a unique smooth solution for (1) a short time. He also proved that there exists at least one global weak solution satisfying an energy inequality. Hopf[8] extended the result in the case of bounded domains with a modern concept of weakly differentiable functions. The weak solution u lies in the space V 2 σ (Q T) := L (, T; L 2 σ (3 )) L 2 (, T; W 1,2 σ (3 )), (2) but uniqueness and regularity of the weak solution are still open problems. The exact concept of weak solutions and notations will be given in the next section. Since there are plenty of important contributions for the regularity question of the Navier Stokes equations, we briefly describe a few of them closely related to our results. To guarantee the regularity of weak solutions, one of the most important conditions is the so-called 1

2 2 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Ladyzhenskaya Prodi Serrin[1, 15, 19] condition, that is, for some s and l satisfying u L l (, T; L s ( 3 )) (3) 3 s + 2 l = 1, 3<s. Under this condition, the weak solution u to the Cauchy problem (1) is unique and smooth. Later, Escauriaza Sergin Šverák[4] proved that the regularity of a weak solution can also be assured by the marginal case, u L (, T; L 3 ( 3 )). (4) However, we do not know yet that kinds of higher integrability hold for weak solutions. By standard embeddings of the solution space (2), any weak solution satisfy the mixed integrability condition with the range of integrability exponents 3 s + 2 l = 3 2, 2 s 6. There is a considerable gap compared with the Ladyzhenskaya Prodi Serrin condition. To guarantee the local regularity of weak solutions, there are other conditions the so called ǫ regularity conditions. For the Cauchy problem of the Navier Stokes equations, there is a natural scaling structure u(x, t) λu(λx,λ 2 t), p(x, t) λ 2 p(λx,λ 2 t). Many of the local regularity results have been established under the various smallness assumptions on some scaling invariant quantities. We denote by Σ the set of possible singular points for the weak solution u. Utilizing regularity criteria, one can estimate the size of Σ by means of some fractal measures and extract some geometric information ofσ. In this direction, Scheffer [16, 17] introduced the concept of suitable weak solutions for the Navier Stokes equations and then gave partial regularity results. Caffarelli Kohn Nirenberg[1] further strengthened Scheffer s results and gave an improved bound for the Hausdorff dimension of Σ. Lin[13] presented a greatly simplified proof. Ladyzhenskaya Seregin[11] gave more details and considered the case that external forces lie in some Morrey spaces. Choe Lewis[3] presented an improved estimate of Σ in terms of general Hausdorff measures. Gustafson Kang Tsai[7] unified several known regularity criteria. For the case (4), Neustupa[14] investigated the structure of Σ and then Escauriaza Sergin Šverák[4] resolved the regularity qestion.

3 REGULARITY OF THE NAVIER STOKES EQUATIONS 3 In this paper, we shall present a new regularity criterion for weak solutions to the Cauchy problem (1) satisfying the condition u L (, T; L 3,w ( 3 )) (5) where L 3,w ( 3 ) denotes the weak Lebesgue space. Because the condition (5) is significantly weaker than the condition (4) encompassing type I singularity, the regularity qestion under that condition draws many mathematicians attention. However, in the authors knowledge, all results were established under the smallness assumption on that scale (5). See, for example, [9, 2, 21] and the references therein. We shall use the following notation. Notation 1. We denote the space ball of radius r and center x by B(x, r) :={y 3 : y x < r} and the space-time cylinder at z=(x, t) by Q(z, r) := B(x, r) (t r 2, t). If the center is at the origin, we simply put B r = B(, r) and Q r = Q(, r). The following theorem is our new regularity criterion. Theorem 1. For each M > there exists a positive numberǫ(m)<1/4 such that if a weak solution u V 2 σ (Q T) to the Cauchy problem (1) satisfies the conditions and for some z =(x, t ) Q T and < r t 1 r 3 m ess sup u L 3,w ( 3 ) M (6) t T x B(x, r) : u(x, t ) > ǫ r ǫ, (7) where m(e) denotes the Lebesgue measure of the set E, then u is bounded in the space-time cylinder Q(z,ǫr). As an application of this criterion, we are able to estimate the size of possible singular points at a singular time t, denoted by Σ(t)={x :(x, t) Σ}. We know that the Hausdorff dimension of the possible singular time is at most 1/2. Many researchers have been investigating the size of Σ(t) at the singular time t under various conditions on u. Seregin[18] obtained a result on estimating Σ(t) under the slightly weaker condition than (4). More recently, Wang Zhang[21] gave a unifying results on the number of singular points under the Ladyzhenskaya Prodi Serrin type conditions.

4 4 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Utilizing Theorem 1, we can obtain the following theorem which shows that the number of possible singular points at any singular time t is at most finite. Theorem 2. Suppose u V 2 σ (Q T) is a weak solution to the Cauchy problem (1) and satisfies the condition (6) for some M>. Then there exist at most finite number N(M) of singular points at any singular time t. At each singular time t, only a few singular points exist, yet we do not know that blowup points are of type I or not. 2. PRELIMINARIES Throughout the paper, we shall use the following notation. Notation 2. We denote A B if there exists a generic positive constant C such that A C B. We denote the average value of f over the set E by f E := f := 1 f (8) E m(e) E where m(e) denotes the Lebesgue measure of the set E. We shall use the same notation m for the space sets in 3 and the space-time sets 3 (, T) and it will be clearly understood in the contexts. We now recall the definition of the weak Lebesgue spaces. For a measurable function f on 3, its level set with the height h is denoted by E(h)={x 3 : f(x) >h}. (9) The Lebesgue integral can be expressed by the Riemann integral of such level sets. In particular, for <q< f(x) q d x= qh q 1 m(e(h))dh. (1) Definition 1. The weak Lebesgue space L q,w ( 3 ) is the set of all measurable function such that the quantity is finite. f q,w := sup hm(e(h)) 1/q (11) h> As the usual convention, two functions are considered the same if they are equal almost everywhere. In fact, f p,w is not a true norm since the triangle inequality fails. But, it is easy to see that for any < r< q the following expression f := sup m(e) 1/q <m(e)< 1/r f r (12) E

5 REGULARITY OF THE NAVIER STOKES EQUATIONS 5 is comparable to f q,w, (see[6] for example). Moreover, f satisfies the triangle inequality if 1 r< q and hence it plays the role of true norm for q>1. Furthermore, the weak Lebesgue spaces are Banach spaces and coincide with the Lorentz (Marcinkiewicz) spaces L q,. Remark 3. Using (12) one can easily see that L q,w ( 3 ) 1 r<q where r,λ loc (3 ) denotes the local Morrey space. r,3 3r/q loc ( 3 ). The next remark shows that there is no nonzero harmonic function in L 3,w ( 3 ). This fact will be used in the proof of our main theorem. Remark 4. It is easy to see that if f L 3,w ( 3 ) is harmonic, then f=. Indeed, using the mean value property, we have for all x 3 and R> f(x ) 1 R 4 B(x,R) f(x) d x 1 R 4 m(b(x,r) E(h))dh 1 H R 4 R 3 dh+ h 3 dh for all H>. Taking H= R 1 we get f(x ) R 2 for all x 3 and R>. Letting R, we conclude that f = and hence f is constant. Since f L 3,w ( 3 ), it should be identically zero. H We denote by L q ( 3 ) and W k,q ( 3 ) the standard Lebesgue and Sobolev spaces, and we omit these standard definitions. We denote by σ ( 3 ) the set of all solenoidal vector fields φ C c (3 ). We define L 2 σ (3 ) to be the closure of σ ( 3 ) in L 2 ( 3 ) and W 1,2 σ (3 ) to be the closure of σ ( 3 ) in W 1,2 ( 3 ). We now recall the concept of local pressure projection (cf. [23]). Given a bounded C 2 - domain G n, n n, we define the operator E G : W 1, s (G) W 1, s (G). (13) Appealing to the L p -theory of the steady Stokes system (cf. [5]), for any F W 1, s (G) there exists a unique pair(v, p) W 1, s,σ (G) Ls (G) which solves in the weak sense the steady Stokes

6 6 HI JUN CHOE & JÖRG WOLF & MINSUK YANG system v+ p= F in G, div v= in G, v= on G. Then we set E G (F) := p, where p denotes the gradient functional in W 1, s (G) defined by p,ϕ = G 1, s p ϕd x, ϕ W (G). (14) Here we have denoted by L s (G) the space of all f Ls (G) with G f d x=. Remark The operator E G is bounded from W 1, s (G) into itself with E G ( p)= p for all p L s (G). The norm of E G depends only on s and the geometric properties of G, and independent on G, if G is a ball or an annulus, which is due to the scaling properties of the Stokes equation. 2. In case F L s (G) using the canonical embedding L s (G) W 1, s (G) and the elliptic regularity we get E G (F)= p Ls (G) together with the estimate p s,g c F s,g, (15) where the constant in (15) depends only on s and G. In case G is a ball or an annulus this constant depends only on s (cf.[5] for more details). Accordingly the restriction of E G to the Lebesgue space L s (G) defines a projection in L s (G). This projection will be denoted still by E G. Next, we introduce the notion of weak solutions and local suitable weak solutions. Notation 3. We denote by dz the space-time Lebesgue measure d x d t. Definition 2. We say that u is a Leray Hopf weak solution to (1) if the velocity field u lies in the space V 2 σ (Q T)= L (, T; L 2 σ (3 )) L 2 (, T; W 1,2 σ (3 )), there exists a distribution p such that (u, p) solves the Navier Stokes equations in the sense of distributions, and u satisfies the energy inequality for almost all s (, T) 3 u(s) 2 d x+ 2 s u 2 dz u() 2 d x. 3 3 We say that u is a local suitable weak solution to (1) if for every ball B 3 the following local energy inequality the following local energy inequality holds for almost all s (, T) and for all

7 REGULARITY OF THE NAVIER STOKES EQUATIONS 7 non negativeφ C c (B (, T)), s v(s) 2 φ(s)d x+ 2 v 2 φdz s s v 2 ( t + )φdz+ v 2 (v p h ) φdz s s + 2 (v v v p h : 2 p h )φdz+ 2 (p 1,B + p 2,B )v φdz, where v= u+ p h,b, and (16) p h,b = E B (u), p 1,B = E B ( (u u)), p 2,B = E B ( u). Remark 6. If a weak solution u is in L (, T; L 3,w ( 3 )), then u lies in L 4 (Q T ) by an interpolation. Thus, the function u 2 u is integrable on Q T, which justifies the integration by parts and one can show that u becomes a local suitable weak solution, too. Using a standard iteration method one can observe that boundedness of a certain scaling invariant quantity essentially implies the boundedness of many of other scaling invariant quantities. The following form of the Caccioppoli-type inequality is convenient in that purpose. Lemma 7 (Lemma 2.6 in[2]). If u is a suitable weak solution to (1), then for all Q(z, r) Q T 3/5 1 r 1 u 1/3 dz + r u 2 dz Q(z,r/2) Q(z,r/2) 5 t 3 1/3 r u 2 d x 5 t 3 (17) d t + r u 2 d x d t t r 2 B(x,r) t r 2 B(x,r) where the implied constant is absolute. We end this section by giving the following version of the local regularity criterion. We include its proof at the end of this paper, Appendix A. Lemma 8 ([22]). There exists an absolute positive numberζsuch that if a local suitable weak solution u V 2 σ (Q(z,ρ)) to the Navier Stokes equations satisfies the condition ρ 2 for some z =(x, t ) Q T and <ρ t, then u 3 dz ζ 3 (18) Q(z,ρ) u L (Q(z,ρ/2)),

8 8 HI JUN CHOE & JÖRG WOLF & MINSUK YANG and the following estimate holds true u L (Q(z,ρ/2)) C where C is an absolute positive constant. 1/3 u dz 3 + C esssup Q(z,ρ) t (t ρ 2,t ) 1/2 u(t) 2 d x (19) B(x,ρ) 3. PROOF OF THEOREM 1 Due to Lemma 8, it suffices to show that the following lemma holds true. Lemma 9. For each M> there exists a positive numberǫ(m)<1/4 such that if a weak solution u V 2 σ (Q T) to the Navier Stokes equations satisfies the condition and for some z =(x, t ) Q T and < r t then there existsρ [2ǫr, t ] such that ρ 2 whereζis the same number in Lemma 8. ess sup u L 3,w ( 3 ) M (2) t T r 3 m{x B r (x ) : u(x, t ) > r 1 ǫ} ǫ, (21) We divide the proof of Lemma 9 into several steps. Step 1) We first observe that the condition (2) yields u 3 dz ζ 3 (22) Q(z,ρ) u C([, T]; L 2 ( 3 )). Indeed, (2) implies that for almost all t T and all h> where E t (h) denotes the level set h 3 m(e t (h)) M 3 (23) E t (h) :={x : u(x, t) >h}. By the Chebyshev inequality we also have h 6 m(e t (h)) u(t) 6 L 6. (24) Using the two estimates (23) and (24), we obtain that for any H> u(x, t) 4 d x= 4 h 3 m(e t (h))dh 3 H M 3 dh+ M 3 H+ u(t) 6 L 6 H 2. H h 3 u(t) 6 L 6 dh

9 Taking H=M 1 u(t) 2 L 6 we get REGULARITY OF THE NAVIER STOKES EQUATIONS 9 3 u(x, t) 4 d x M 2 u(t) 2 L 6. Hence u L 4 (Q T ) and so u 2 u L 1 (Q T ). This justifies the required integration by parts to be a local suitable weak solution and also implies the global energy equality so that u is in C([, T]; L 2 ( 3 )). Step 2) We next claim that the condition (2) also yields that for all Q(z, r) Q T 3/5 1 r 1 u 1/3 dz + r u 2 dzm 2 + M 6. (25) Q(z,r/2) Q(z,r/2) Due to the Caccioppoli type inequality (17), it suffices to estimate u(x, t) 2 d x. B(x,r) Using the estimate (23), we obtain that for almost all t T and all h> u(x, t) 2 d x= 2 hm[b(x, r) E t (h)]dh B(x,r) H hr 3 dh+ H r 3 H 2 + M 3 H 1. h 2 M 3 dh Taking H=M r 1 we get for almost all t T u(x, t) 2 d xm 2 r. (26) B(x,r) Putting this bound into the right side of the inequality (17), we get the estimate (25). Step 3) We now prove Lemma 9 by using an indirect argument. Assume the assertion of the lemma is not true, that is, there exist a positive number M, sequencesǫ k (,1/4), T k (, ), z k =(x k, t k ) Q Tk, r k (, t k ], and a sequence of weak solutions u k V 2 σ (Q T k ) such thatǫ k as k and for all k and for allρ (2ǫ k r k, t k ] ess sup t T k u k L 3,w ( 3 ) M, r 3 k m{x B(x k, r k ) : u k (x, t k ) > r 1 k ǫ k} ǫ k, ρ 2 We define for(y,s) 3 ( 1,) (27) u k 3 dz>ζ 3. (28) Q(z k,ρ) U k (y,s)= r k u k (x k + r k y, t k + r 2 k s), P k (y,s)= r 2 k p k(x k + r k y, t k + r 2 k s).

10 1 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Then(U k, P k ) is a weak solution to the Navier Stokes equations in 3 ( 1,) and satisfies ess sup U k L 3,w ( 3 ) M. 1 s Thanks to (25) and (26), we have for all k, z =(x,) and <ρ 1 3/5 1 ρ 1 U k 1/3 dz +ρ U k 2 dzm 2 + M 6 (29) Q(z,ρ/2) and Q(z,ρ/2) ρ 1 sup ρ 2 s Furthermore, from (27) and (28), we also have for all k and for allρ [ǫ k,1] U k (s) 2 d x M 2. (3) B(x,ρ) m{x B 1 : U k (x,) >ǫ k } ǫ k (31) ρ 2 U k 3 dz>ζ 3. (32) Q(,ρ) Using a standard reflexivity argument along with Cantor s diagonalization principle and passing to a subsequence from (29) we eventually get U L 1/3 ( 1,; L 1/3 ( 3 )) with loc U L 2 ( 1,; L 2 loc (3 )) and H L 5/3 ( 1,; L 5/3 loc (3 )) such that for every <R< U k U weakly in L 1/3 (B R ( 1,)) U k U weakly in L 2 (B R ( 1,)) (33) U k U k H weakly in L 5/3 (B R ( 1,)) as k. Hence, U appears to be a distributional solution to t U U+ H= P in 3 ( 1,). (34) According to the weakly lower semi-continuity of the norm we get from (29) and (3) along with (33) for all <ρ 1 3/5 1 ρ 1 U 1/3 d yds +ρ U 2 d ydsm 2 + M 6 (35) Q(z,ρ) Q(z,ρ) and ρ 1 sup ρ 2 s U(s) 2 d ym 2. (36) B(x,ρ) Step 4) Let s [ 1,]. Since u C w ([, T]; L3,w ( 3 )), we have u(, t k + r 2 k s ) L 3,w ( 3 ) and u(, t k + r 2 k s ) L 3,w ( 3 )= U k (,s ) L 3,w ( 3 ).

11 REGULARITY OF THE NAVIER STOKES EQUATIONS 11 This shows that{u k (,s )} is a bounded sequence in L 3,w ( 3 ). On the other hand, the predual of L 3,w ( 3 ) is the Lorentz space L 3/2,1 ( 3 ). By means of the Banach Alaoglu theorem we get a subsequence{u kj (,s )} and a functionη L 3,w ( 3 ) such that U kj (,s ) η weakly in L 3,w ( 3 ) as j +. (37) Thus, from (34) we infer that for allϕ C c (3 ( 1,)) with ϕ= s U t ϕ+ U : ϕ H : ϕdz= η ϕ(s )d x In case s is a Lebesgue point of U with respect to time, we argue that for allψ C c,σ (3 ) 3 (U(s ) η) ψd x= which shows that U(s ) η is a gradient field. Together with (U(s ) η) in the sense of distributions we see that U(s ) η is harmonic. Recalling that U(s ) η L 3,w ( 3 ), it follows thatη=u(s ) by Remark 4 in Section 2. Consequently, (37) yields Furthermore, we get U k (,s ) U(s ) weakly in L 3,w ( 3 ) as k +. In particular, U L (, T; L 3,w ( 3 )). U(s ) L 3,w ( 3 ) u L (,T;L 3,w ( 3 )). Step 5) Next, let s [ 1,]. Then we may choose s m (, T) in the set of Lebesgue points such that s m s as m +. Then as above we get a subsequence{s mj } andη L 3,w ( 3 ) such that U(,s mj ) η weakly in L 3,w ( 3 ) as j +. In addition, we easily verify that the following identity holds for everyϕ C ( 3 ( 1,)) with divϕ= s U t ϕ+ U : ϕ H : ϕdz= η ϕ(s )d x. (38) Arguing as above, we see that this limit is unique, and will be denoted by U(s ). Note that (38) holds true forη=u(s ). We now repeat the same argument as above to prove that for all s [ 1,] U k (,s ) U(s ) weakly in L 3,w ( 3 ) as k + (39) U(,s) U(s ) weakly in L 3,w ( 3 ) as s s. (4) This leads to U C w ([ 1,]; L3,w ( 3 )).

12 12 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Step 6) We shall verify the strong convergence of U k in L 2 (B R ( 1,)). For this purpose, we define the local pressure introduced in[23], P h,k,r = E B(U R k ), P 1,k,R = E B R ( U k U k ), P 2,k,R = E B( U R k ) and P h,r = E B R (U), P 1,R = E B( H), R P 2,R = E B( U) R (For the definition of E B R see Appendix B of this paper). Step 7) We set V k = U k + P h,k,r, and V= U+ P h,r. Then V k solves t V k U k + (U k U k )= (P 1,k,R + P 2,k,R ) in B R ( 1,), while V solves t V U+ H= (P 1,R + P 2,R ) in B R ( 1,). By using a standard compactness argument due to Lions-Aubin we see that V k V in L 2 (B R ( 1,)) as k +. By passing to a subsequence we may also assume that V k V a. e. in B R ( 1,) as k +. Arguing as in[22], by the aid of (4), and noting that P h,k,r is harmonic, we also find that P h,k,r P h,r a. e. in B R ( 1,) as k +. This leads to the a. e. convergence of U k which allows to apply Lebesgue s dominated convergence theorem. Accordingly, U k U in L 3 (B R ( 1,)) as k +. This also shows that H= U U and therefore U solves the Navier-Stokes equations. Step 8) In (32) letting k +, we obtain for every <ρ 1 ρ 2 U 3 dz ζ 3. (41) Q(,ρ)

13 REGULARITY OF THE NAVIER STOKES EQUATIONS 13 It remains to carry out the passage to the limit k + in (31). Without loss of generality we may assumeǫ k 2 k. Let A := {x B 1 : U k (x,) >ǫ k }. k=1 m=1 k=m Then according to (31) we have m{x B 1 : U k (x,) >ǫ k } ǫ k <. Hence the Borel Cantelli lemma yields m(a)=. In other words, for each x B 1 \ A, there exists m such that for all k m U k (x,) ǫ k. Accordingly, U k (x,) for almost all x B 1. In view of (39) we conclude that k=1 U()= on B 1. (42) Step 9) Next, we setρ k = 2 k and define for(x, t) 3 ( 1,) Ũ k (x, t)=ρ k U(ρ k x,ρ 2 k t), P k (x, t)=ρ 2 k P(ρ k x,ρ 2 k t). Again(Ũ k, P k ) is a solution to the Navier-Stokes equation in 3 ( 1,). Observing (35) and (36), we find for all z =(x,) and 3/5 Ũ k dz 1/3 + Q(z,1) Ũ k 2 dzm 2 + M 6, (43) Q(z,1) sup Ũ k (t) 2 d x M 2. (44) 1 t B(x,1) On the other hand, (42) and (41) yield Ũ k ()= on B 2 k and 16 Ũ k 3 dz>ζ 3. (45) Q(,1/4) Arguing as in Step 3, we get a solution Ũ C w ([ 1,]; L3,w ( 3 )) L 2 ( 1,; W 1,2 loc (3 )) to the Navier-Stokes equations. Furthermore, (43), (44), and (45) yield for all z = (x,) 3/5 Ũ dz 1/3 + Ũ 2 dz C, (46) Q(z,1) Q(z,1) sup 1 t Ũ(t) 2 d x C, B(x,1)

14 14 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Ũ()= in 3, and 16 Ũ 3 d yds ζ 3. (47) Q(,1/4) Step 1) By the Fubini theorem, we have m{(x, t) 3 ( 1,) : Ũ(x, t) 2 5 ζ} = m{x 3 : Ũ(x, t) 2 5 ζ}d t ζ 3 Ũ 3 L ( 1,;L 3,w ( 3 )) <. Hence, for eachη> there is a radius R=R(η)> such that Choose m{(x, t) ( 3 \ B R ) ( 1,) : Ũ(x, t) 2 5 ζ} η. η=2 1 C 15 ζ 3, (48) where C is the constant in (46). Then for any x 3 \ B(,R+1), we obtain, by Hölder s inequality, (46), and (48), that Ũ 3 dz (2 5 ζ) 3 m(q(z,1))+ Q(z,1) ζ3 2 +η1/1 Ũ 1/3 dz Q(z,1) ζ C 3/2 ζ 3 C 3/2 ζ 3. Ũ 3 dz Q(z,1) { Ũ 2 5 ζ} 9/1 Thus, appealing to Lemma 8, and making use of (46), we get for all x 3 \B(,R+1) Ũ L (Q(z,1/2)) C Ũ L 3 (Q(z,1)) + C Ũ L ( 1,;L 2 (B(x,1))) C(ζ+ C ). (49) This shows that Ũ is bounded in 3 \ B(,R+1) ( 1/4,). Step 11) Using a standard bootstrapping argument, we obtain the higher regularity Ũ L 3 \ B(,R+2) ( 1/4,). Taking the curl operator to the Navier Stokes equations, we see that Ω := Ũ solves the heat equation t Ω Ω= Ω Ũ Ũ Ω in 3 ( 1,). Hence t Ω Ω Ũ Ω + Ũ Ω

15 REGULARITY OF THE NAVIER STOKES EQUATIONS 15 in 3 \ B(,R+2) ( 1/16,). Verifying that Ω()=, we are in a position to apply the backward uniqueness of[4] to conclude that Ω in 3 \B(,R+2) ( 1/16,). By the spatial analyticity of Ũ we get the spatial analyticity of Ω which shows that Ω in 3 ( 1/16,). Recalling that div Ũ= it follows that Ũ is harmonic in 3 ( 1/16,), and thus Ũ must be identically zero in 3 ( 1/16,). However this contradicts to (47). Therefore the assertion of Lemma 9 must be true. This completes the proof of Lemma 9. By combining Lemma 8 we obtain Theorem PROOF OF THEOREM 2 We divide the proof of Theorem 2 into a few steps. Step 1) Let C(x, r) denote the closed cube of a side-length r and the center x. We may replace the condition (7) in Theorem 1 by using cubes, that is, r 3 m{x C(x, r) : u(x, t ) > r 1 ǫ} ǫ. (5) Then the conclusion also be changed with u L (Q(z,ǫr)) where Q(z,ǫr) := C(x, r) (t r 2, t ). In fact, ǫ should be changed by a multiplication of some constant which depends only on the volume ratio of the ball of a radius r and the cube of a side-length r. For convenience we just use the same letterǫ. Step 2) We shall proceed with an algorithm based on a dyadic decomposition argument. We say that two cubes E and E meet if E E has nonempty interior. Let C=[,1] 3 denote the unit cube in 3. We define for k=,1,2,... the following covers k :={2 k (ǫ j+ C) : j 3 }, which has finite overlapping property. Indeed, each fixed cube in k can meetǫ 3 number of cubes in k. We pick a sub-family F :={E : m{x E : u(x, t ) >ǫ}>ǫ}. (51) If F has no element, then we have m{x E : u(x, t ) >ǫ} ǫ for all E. Hence we conclude that there is no singularity at all at the moment t due to Theorem 1. Next, we claim that F has at most a finite number of members, which is bounded by a number depending only on M andǫ. Suppose that E 1, E 2,..., E N F don t meet each other. Then for j= 1,2,...,N ǫ<m{x E j : u(x, t ) >ǫ}.

16 16 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Summing both sides for j= 1,2,...,N yields N Nǫ<m{x E j : u(x, t ) >ǫ} ǫ 3 M 3. j=1 The last inequality follows from the fact u(t ) L 3,w ( 3 ) M. This implies that the number of maximal disjoint cubes in F is finite and hence F has at most finite members. If we denote by N d the number of maximal disjoint cubes in F, then we should have N d ǫ 4 M 3. Let N denote the number of cubes in F. Then, from the finite overlapping property of, we have ǫ 3 N N d N. Hence N ǫ 3 N d ǫ 3 (ǫ 4 M 3 )=ǫ 7 M 3. (52) We define G to be the union of F and the cubes E which meet some element of F. Theorem 1 implies that if(x, t )/ E G E, then(x, t ) is a regular piont, that is, possible singularities can only occur in some element of G. Step 3) We now inductively construct two families of cubes{f k } and{g k }. For k 1 we define F k to be the family of cubes E k satisfying E E for some E G k 1 and m{e : u(x, t ) >2 k ǫ}>2 3k ǫ. (53) Let N k denote the number of cubes in F k and let N d denote the number of maximal k disjoint cubes in F k. By the same reasoning N k and N d are finite numbers and have k the same bounds. Indeed, since each fixed cube in F k can meet at mostǫ 3 number of cubes in F k, we have ǫ 3 N k N d k N k. By the same way in the previous step, we obtain N d k 2 3k ǫ m{x 3 : u(x, t ) >2 k ǫ} (2 k ǫ) 3 M 3. Therefore, N k ǫ 3 N d k ǫ 3 (ǫ 4 M 3 )=ǫ 7 M 3. (54) We define G k to be the union of F k and the cubes E k which meet some element of F k. Theorem 1 implies that if(x, t )/ E G k E, then(x, t ) is a regular piont, that is, the possible singularities can only occur in the elements of G k.

17 REGULARITY OF THE NAVIER STOKES EQUATIONS 17 Step 4) Finally, we construct nested sequences{e k } of closed cubes satisfying E k G k. Fix an element E k in G k. If E G k+1, then E E k or E does not meet E k by the dyadic construction. If there is no E G k+1 which meet E k, then each interior point of E k is a regular point. In this case, we stop to choose next elements. Otherwise, there is an element E G k+1 such that E E k. Then we pick E and name it as E k+1. The cardinality of each set G k is bounded byǫ 7 M 3 +ǫ 3 from (54) and the finite overlapping property. The number of such choices is also always bounded byǫ 7 M 3 + ǫ 3. After the construction, we only have at mostǫ 7 M 3 +ǫ 3 number of sequences {E k }. If the sequence{e k } is finite, then each interior point of E k is regular. If the sequence{e k } is infinite, then E k+1 E k, diam E k diam E k. where diam E denote the diameter of the set E. Since diam E k goes to as k, E k =(x, t ) k=1 for some x 3. This point might be a singular point. Therefore, the number of such possible singularities is at most N(M) :=ǫ 7 M 3 +ǫ 3 (55) at the time t. We note thatǫactually depends only on M, and hence the number of possible singularities is bounded by the uniform norm of the weak Lebesgue space. This completes the proof of Theorem 2. ACKNOWLEDGEMENT H. J. Choe has been supported by the National Reserch Foundation of Korea (NRF) grant, funded by the Korea government(msip) (No ). J. Wolf has been supported by the German Research Foundation (DFG) through the project WO1988/1-1; M. Yang has been supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government(msip) (No. 216R1C1B215731). APPENDIX A. PROOF OF LEMMA 8 The proof of Lemma 8 relies on the following proposition. Proposition 1. Let u V 2 (Q 1 ) be a local suitable weak solution to the Navier-Stokes equations. We define v= u+ p h, where p h = E B 3/4 (u). There exist absolute positive numbers K andζ

18 18 HI JUN CHOE & JÖRG WOLF & MINSUK YANG such that if Q 1 u 3 dz ζ 3 (56) then for all z Q 1/2 and for all natural number k 2 v 3 dz K 3 u 3 dz (57) Q(z,r k ) Q 1 where r k = 2 k. We postpone the proof of Proposition 1 at Appendix B. Suppose the proposition holds true. Then using the Lebesgue differentiation theorem and (57) we obtain that for almost all z = (x, t ) Q 1/2 1/3 v(x, t ) K u dz Q 3. (58) 1 Using the triangular inequality and the mean value property of harmonic functions, we conclude that for almost all(x, t ) Q(,1/2) u(x, t ) v(x, t ) + p h (x, t ) K Q 1 u 3 dz 1/3 + c u(t ) L 2 (B 1 ). and hence 1/3 K u dz Q 3 + c esssup u(t) L 2 (B 1 ), 1 t ( 1,) 1/3 u L (Q 1/2 ) K u dz Q 3 + c esssup u(t) L 2 (B 1 ). (59) 1 t ( 1,) Now, the assertion (19) in Lemma 8 follows from (59) by a routine scaling argument. This completes the proof of Lemma 8. APPENDIX B. PROOF OF PROPOSITION 1 We finally present the proof of Proposition 1. The proof is divided into several steps. Step 1) We shall prove the key inequality (57) in Proposition 1 by using a strong induction argument on k. Let K > 1 be a constant wihch will be specified at the final moment. From the definition of a local suitable weak solution the following local energy inequality holds true for every nonnegativeφ C c (B 3/4 ( 9/16,]) and almost all

19 REGULARITY OF THE NAVIER STOKES EQUATIONS 19 s ( 9/16,] s v(s) 2 φ(s)d x+ 2 where s r 2 3 s r3 2 s r 2 3 r 2 3 v 2 ( t + )φdz+ v 2 φdz s r 2 3 (v v v p h : 2 p h )φdz (p 1 + p 2 )v φdz p 1 = E B 3/4 (div(u u)), v 2 (v p h ) φdz p 2 = E B 3/4 ( u). (6) Note that v= u p h and so almost everywhere in Q 3/4. u u= v v v p h p h v+ p h p h (61) Step 2) It is readily seen that (56) holds for k=2. Assume (57) is true for k=2,...,n. Let z Q 1/4 be arbitrarily chosen and r n+1 r r 3. Using the Cauchy Schwarz inequality, the inductive assumption, and the fact that p h is harmonic, we get v 3/2 p h 3/2 dz Q(z,r) v 3 dz Q(z,r) 1/2 r 5/2 K 3/2 r 1 K 3/2 u 3 dz. Q 1 Q 1 u 3 dz 1/2 p h 3 dz Q(z,r) 1/2 p h 3 dz Q(z,r) 1/2 (62) Furthermore, applying the Poincaré inequality and using properties of harmonic functions, we find p h p h p h p h B(x,r) 3/2 dz Q(z 5+3/2,r) r p h 3/2 2 p h 3/2 dz Q(z,r) r 1/2 p h 3 dz Q(,3/4) (63) r 1/2Q 1 u 3 dz.

20 2 HI JUN CHOE & JÖRG WOLF & MINSUK YANG Using the identity (61) and combining the inductive assumption (57) with the estimates (62) and (63), we obtain that for all r n+1 r 1 u u u u B(x,r) 3/2 dzk 3 r4q u 3 dz. Q(z,r) 1 Applying Lemma 2.8 in[2], we find that for all r n+1 r r 2 p 1 p 1 B(x,r) 3/2 dzk 3 r4q u 3 dz. (64) Q(z,r) 1 Step 3) We denote byψ n+1 the fundamental solution of the backward heat equation having its singularity at(x, t + r 2 n+1 ). More precisely, for(x, t) 3 (, t + r n+1 ) c x x 2 Ψ n+1 (x, t)= (r 2 n+1 t+t exp 3/2 ) 4(r 2 n+1 t+t. ) Taking a suitable cut off functionχ C ( n ) for Q(z, r 4 ) Q(z, r 3 ), we may insert Φ n+1 :=Ψ n+1 χ into the local energy inequality (6) to get for almost all s (t r 2 3, t ) Φ n+1 (s) v(s) 2 d x+ 2 B(x,r 3 ) s + t r 2 3 s t r3 2 s t r3 2 s t r 2 3 s t r 2 3 Φ n+1 v 2 dz B(x,r 3 ) v 2 ( t + )Φ n+1 dz B(x,r 3 ) v 2 (v p h ) Φ n+1 dz B(x,r 3 ) (v v v p h : 2 p h )Φ n+1 dz B(x,r 3 ) (p 1 + p 2 )v Φ n+1 dz. B(x,r 3 ) Arguing as in[1], we obtain from the above inequality that ess sup v(s) 2 d x+ r 3 s (t r 2 n+1,t n+1 v 2 dz ) B(x,r n+1 ) Q(z,r n+1 ) v 2 ( t + )Φ n+1 dz+ Q(z,r 3 ) + v ( v + p h ) 2 p h Φ n+1 dz+ Q(z,r 3 ) =: I 1 + I 2 + I 3 + I 4. v 2 ( v + p h ) Φ n+1 dz Q(z,r 3 ) (p 1 + p 2 )v Φ n+1 dz Q(z,r 3 ) Step 4) In this step we shall estimate the integrals I 1, I 2, and I 3. They can be handled by the similar way. Obviously, we have ( t + )Φ n+1 C in Q(z, r 3 ) so that (65) I 1 C v 2 L 3 (Q(z,r 3 ) Q 1 u 3 dz 2/3.

21 REGULARITY OF THE NAVIER STOKES EQUATIONS 21 Using Φ n+1 C r 4 in Q(z k, r k )\ Q(z, r k+1 ) for all k=2,...,n and the inductive assumption (57), we obtain v 3 Φ n+1 dz Q(z,r 3 ) n = v 3 Φ n+1 dz+ v 3 Φ n+1 dz k=3 Q(z,r k )\Q(z,r k+1 ) Q rn+1 (z ) n K 3 r 4 r 5 k k u 3 dzk 3 u 3 dz. Q 1 Q 1 k=2 Similarly, v 2 p h Φ n+1 dz Q(z,r 3 ) n = v 2 p h Φ n+1 + Q(z,r k )\Q(z,r k+1 ) k=3 v 2 p h Φ n+1 Q(z,r n+1 ) n K 2 r 4 r 13/3 u 3 dzk 3 k k u 3 dz. k=1 Q 1 Q 1 Hence we have I 2 K 3 Q 1 u 3 dz and the implied constant does not depend on n. UsingΦ n+1 C r 3 in Q(z k, r k )\ Q(z, r k+1 ) for all k=1,..., n+1, the inductive assumption (57), and the properties of harmonic functions, we get v 2 2 p h Φ n+1 dz Q(z,r 3 ) n = v 2 2 p h Φ n+1 dz+ Q(z,r k )\Q(z,r k+1 ) k=3 K 2 n k=2 r 3 k r 13/3 k Q 1 u 3 dzk 3 Q 1 u 3 dz. v 2 2 p h Φ n+1 dz Q(z,r n+1 ) Similarly, v p h 2 p h Φ n+1 dz Q(z,r 3 ) n = v p h 2 p h Φ n+1 dz+ v p h 2 p h Φ n+1 dz k=3 Q(z,r k )\Q(z,r k+1 ) Q(z,r n+1 ) n K r 3 r 11/3 u 3 dzk 3 k k u 3 dz. k=2 Q 1 Q 1 Hence we have I 3 K 3 Q 1 u 3 dz and the implied constant does not depend on n. Step 5) In this step we estimate the last integral I 4 in (65). We argue as in[1]. Letχ k denote cut-off functions, suitable for Q(z, r k+1 ) Q(z, r k ), k=3,...,n+1. Since v is divergence free, we can subtract an average from p 2 and use the partition of unity so

22 22 HI JUN CHOE & JÖRG WOLF & MINSUK YANG that p 2 v Φ n+1 dz Q(z,r 3 ) n = (p 2 p 2 B(x,r k ))v (Φ n+1 (χ k χ k+1 )) k=3 Q(z,r k )\Q(z,r k+2 ) + p 2 v (Φ n+1 (1 χ 3 )) Q(z,r 2 ) + (p 2 p 2 B(x,r n+1 ))v (Φ n+1 χ n+1 ) Q(z,r n+1 ) =: J 1 + J 2 + J 3. As (Φ n+1 (χ k χ k+1 )) C r 4 for k=1,...,n, applying Poincaré s inequality, using k the fact that p 2 is harmonic, together with (57) k and (17) we see that (p 2 p 2 B(x,r k ))v (Φ n+1 (χ k χ k+1 )) Q(z,r k )\Q(z,r k+2 ) 1/3 1/2 K r 4 r 5 k k Q 1 u 3 dz K r k Q 1 u 3 dz 1/3 K r k Q 1 u 3 dz 2/3. Summation from k= 3 to n yields Q 1/2 p 2 2 dz Q 3/4 u 2 dz 1/2 Similarly, we can make J 1 K Q 1 u 3 dz 2/3. Thus, J 2 + J 3 (1+ r n+1 )K Q 1 u 3 dz 2/3. 2/3 p 2 v Φ n+1 dzk u dz Q(z,r 3 ) Q 3. 1 Finally, arguing in the same way and making use of (64), we can get p 1 v Φ n+1 dzk 3 u 3 dz Q(z,r 3 ) Q 1 and therefore 2/3 I 4 K 3 u 3 dz+k u 3 dz. Q 1 Q 1

23 REGULARITY OF THE NAVIER STOKES EQUATIONS 23 Step 6) Inserting the estimates of I 1, I 2, I 3, and I 4 into the right-hand side of (65), we obtain that for some absolute constant C 1 >, independently of n, ess sup s (t r 2 n+1,t ) B rn+1 (x ) v(s) 2 + r 3 n+1 2/3 C 1 K 3 = C 1 K E+ C 1 K 1/3. where E= Q 1 u dz 3 u 3 dz+k Q 1 K 2 E2 Q 1 u 3 dz v 2 dz Q(z,r n+1 ) On the other hand, using a standard interpolation, we obtain that 3/2 v 3 dz C 2 esssup v(s) 2 + r 3 s (t r 2 n+1,t n+1 v 2 ) B(x,r n+1 ) Q(z,r n+1 ) Q(z,r n+1 ) for some absolute constant C 2 > 1 and hence v 3 dz Q(z,r n+1 ) C 2 C 1 K E+ C 2C 1 K 3/2 K 3 E3. Note that neither C 1 nor C 2 depend on the choice of K. Thus, we may set so that if E ζ, then Hence (57) is true for k=n+1. K = 2C 1 C 2, ζ= 1 v 3 K 3 E3 = K 3 Q(z,r n+1 ) This completes the proof of Proposition 1. 4C 2 1 C2 2 Q 1 u 3 dz. REFERENCES [1] L. Caffarelli, R. Kohn, and L. Nirenberg. Partial regularity of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math., 35(6): , [2] D. Chae and J. Wolf. On the liouville theorem for self similar solutions to the Navier-Stokes equations. Preprint, 216. [3] H. J. Choe and J. L. Lewis. On the singular set in the Navier-Stokes equations. J. Funct. Anal., 175(2): , 2. [4] L. Escauriaza, G. Seregin, and V. Šverák. Backward uniqueness for parabolic equations. Arch. Ration. Mech. Anal., 169(2): , 23. [5] G. Galdi, C. Simader and H. Sohr, On the Stokes problem in Lipshitz domain, Annali di Mat. Pura Appl., (IV), 167 (1994), pp [6] L. Grafakos. Classical and modern Fourier analysis. Pearson Education, Inc., Upper Saddle River, NJ, 24. [7] S. Gustafson, K. Kang, and T. P. Tsai. Interior regularity criteria for suitable weak solutions of the Navier-Stokes equations. Comm. Math. Phys., 273(1): , 27. [8] E. Hopf. Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen. Math. Nachr., 4: , 1951.

24 24 HI JUN CHOE & JÖRG WOLF & MINSUK YANG [9] H. Kozono. Removable singularities of weak solutions to the Navier-Stokes equations. Comm. Partial Differential Equations, 23: , [1] O. A. Ladyženskaja. Uniqueness and smoothness of generalized solutions of Navier-Stokes equations. Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 5: , [11] O. A. Ladyzhenskaya and G. A. Seregin. On partial regularity of suitable weak solutions to the threedimensional Navier-Stokes equations. J. Math. Fluid Mech., 1(4): , [12] J. Leray. Sur le mouvement d un liquide visqueux emplissant l espace. Acta Math., 63(1): , [13] F. Lin. A new proof of the Caffarelli-Kohn-Nirenberg theorem. Comm. Pure Appl. Math., 51(3): , [14] J. Neustupa. Partial regularity of weak solutions to the Navier-Stokes equations in the class L (, T; L 3 (Ω) 3 ). J. Math. Fluid Mech., 1(4):39 325, [15] G. Prodi. Un teorema di unicità per le equazioni di Navier-Stokes. Ann. Mat. Pura Appl. (4), 48: , [16] V. Scheffer. Partial regularity of solutions to the Navier-Stokes equations. Pacific J. Math., 66(2): , [17] V. Scheffer. Hausdorff measure and the Navier-Stokes equations. Comm. Math. Phys., 55(2):97 112, [18] G. Seregin. On the number of singular points of weak solutions to the Navier-Stokes equations. Comm. Pure Appl. Math., 8: , 21. [19] J. Serrin. The initial value problem for the Navier-Stokes equations. In Nonlinear Problems (Proc. Sympos., Madison, Wis., 1962), pages Univ. of Wisconsin Press, Madison, Wis., [2] H. Sohr. A regularity class for the Navier-Stokes equations in Lorentz spaces. J. Evol. Equ., 1(4): , 21. [21] W. Wang and Z. Zhang. On the interior regularity criteria and the number of singular points to the Navier Stokes equations. J. Anal. Math., 123(1):139 17, 214. [22] J. Wolf. On the local regularity of suitable weak solutions to the generalized Navier-Stokes equations. Ann. Univ. Ferrara, 61: , 215. [23] J. Wolf. On the local pressure of the Navier-Stokes equations and related system. to appear in Adv. Diff. Equs., 216. H. J. CHOE: DEPARTMENT OF MATHEMATICS, YONSEI UNIVERSITY, YONSEIRO 5, SEODAEMUNGU SEOUL, KOREA address: choe@yonsei.ac.kr J. WOLF: DEPARTMENT OF MATHEMATICS, HUMBOLDT UNIVERSITY BERLIN, UNTER DEN LINDEN 6, 199 BERLIN, GER- MANY address: jwolf@math.hu-berlin.de M. YANG: KOREA INSTITUTE FOR ADVANCED STUDY, HOEGIRO 85, DONGDAEMUNGU SEOUL, KOREA address: yangm@kias.re.kr