arxiv:math.ap/ v1 19 Aug 2005

Transcription

1 On the global wellosedness of the 3-D Navier-Stokes equations with large initial data arxiv:math.ap/58374 v1 19 Aug 5 Jean-Yves Chemin and Isabelle Gallagher Laboratoire J.-L. Lions, Case 187 Université Paris 6, 755 Paris Cedex 5, FRANCE chemin@ann.jussieu.fr Institut de Mathématiques de Jussieu, Case 71 Université Paris 7, 7551 Paris Cedex 5, FRANCE Isabelle.Gallagher@math.jussieu.fr Aril 7, 6 Abstract We give a condition for the eriodic, three dimensional, incomressible Navier-Stokes equations to be globally wellosed. This condition is not a smallness condition on the initial data, as the data is allowed to be arbitrarily large in the scale invariant sace B, 1, which contains all the known saces in which there is a global solution for small data. The smallness condition is rather a nonlinear tye condition on the initial data; an exlicit examle of such initial data is constructed, which is arbitrarily large and yet gives rise to a global, smooth solution. Keywords Navier-Stokes equations, global wellosedness. 1 Introduction The urose of this text is to establish a condition of global wellosedness for regular initial data for the incomressible Navier-Stokes system on the three dimensional torus T 3 = R /π Z 3. Let us recall the system: NS t u u + u u = div u = u t= = u. Here u is a mean free three-comonent vector field u = u 1, u, u 3 = u h, u 3 reresenting the velocity of the fluid, and is a scalar denoting the ressure, both are unknown functions of the sace variable x T 3, and the time variable t R +. We have chosen the kinematic viscosity of the fluid to be equal to one for simlicity. We recall that the ressure can be eliminated by rojecting N S onto the sace of divergence free vector fields, using the Leray rojector P = Id 1 div. 1

2 Thus we shall be using in the following the equivalent system t u u + Pu u =. Our motivation is the study of the size of the initial data yielding global existence of solutions to that system, rather than the minimal regularity one can assume on the initial data. Thus, in all this work, we shall assume that u is a mean free vector field with comonents in the Sobolev sace H 1 T 3 : we recall that H 1 T 3 is a scale invariant sace for NS, and that smooth solutions exist for a short time if the initial data belongs to H 1 T 3, globally in time if the data is small enough. The roblem of global wellosedness for general data in H 1 T 3 is known to be oen. The search of smallness conditions on u the least restrictive as ossible is a long story, essentially initiated by J. Leray in the whole sace R 3 but the henomenon is similar in the torus in the seminal aer [9], continued in articular by H. Fujita and T. Kato in [5], M. Cannone, Y. Meyer et F. Planchon in [] and H. Koch and D. Tataru in [8]. The theorem roved in [8] claims that if u BMO is small, which means that the comonents of u are derivatives of BMO functions and are small enough, then NS is globally wellosed in the sense that a global and of course unique solution exists in CR + ; H 1. Our aim is to rove a theorem of global wellosedness which allows for very large data in BMO, under a nonlinear smallness condition on the initial data. In fact the initial data will even be large in B,, 1 which contains strictly BMO and which is the largest scale invariant Banach sace in which one can hoe to rove a wellosedness result. Before stating the result, let us recall that the question is only meaningful in three or more sace dimensions. We recall indeed that according to J. Leray [1], there is a unique, global solution to the two dimensional Navier-Stokes system as soon as the initial data is in L T, and if there is a forcing term it should belong for instance to L 1 R + ; L T. In order to state our result, we shall need the following notation: one can decomose any function f ined on T 3 as f = f + f, where fx 1, x = 1 π fx 1, x, x 3 dx 3. π Similarly we shall ine the horizontal mean u of any vector field as u = u 1, u, u 3. It will also be convenient to use the following alternative notation: we denote by M the rojector onto vector fields ined on T, Mf = f and Id Mf = f. we shall denote the heat semiflow by St = e t. Finally let us ine negative index Besov saces. Definition 1.1 Let s be a ositive real number, and let and q be two real numbers in [1, + ]. The Besov sace B,rT s 3 is the sace of distributions in T 3 such that u B s =,q t s Stu L L q R +, dt t < +. Remark we shall see an equivalent inition in terms of Littlewood-Paley theory in Section see Definition..

3 Now let us consider the following subsace of H 1 T 3, where we have noted, for all vector fields a and b, Qa, b = P diva b + b a. Definition 1. Let A and B be two ositive real numbers and let in ]3, + ]. We ine the set { / } I A, B = u H 1 T 3 div u = and H1, H, H3 are satisfied, where H1 H H3 u L T + MPu F u F L 1 R + ;L T A ũ B 1 A, Id MPu F u F + Qu D, u F 3 B,, where we have noted u F t = Stũ and where u D is a three comonent vector field ined on T, satisfying the following two dimensional Navier-Stokes equation, in the case when the initial data is v = u and the force is f = MPu F u F : N SD { t v + Pv h h v h v = f v t= = v, where h denotes the horizontal Lalacian h = 1 + and where h = 1,. Now let us state the main result of this aer. Theorem 1 Let ]6, + [ be given. There is a constant C > such that the following holds. Consider two ositive real numbers A and B satisfying B ex C A 1 + A loge + A C Then for any vector field u I A, B, there is a unique, global solution u to NS associated with u, satisfying u C b R + ; H 1 T 3 L R + ; H 3 T 3. Remarks 1 Condition 1.1 aearing in the statement of Theorem 1 should be understood as a nonlinear smallness condition on the initial data: the arameter A, measuring through H1 and H the norm of the initial data in a scale-invariant sace, may be as large as wanted, as long as the arameter B, which measures a nonlinear quantity in a scale-invariant sace, is small enough. We give below an examle of such initial data, which is a smooth vector field with arbitrarily large B, 1 norm, and which generates a unique, global solution to NS: see the statement of Theorem. Some results of global existence for large data can be found in the literature. To our knowledge they all involve either an initial vector field which is close enough to a two dimensional vector field see for instance [11], [6] or [7], or initial data such that after a change of 3

4 coordinates, the equation is transformed into the three dimensional rotating fluid equations for which global existence is known, see [1]. Here we are in neither of those situations. Let us now give an examle where condition 1.1 holds. As mentioned in the remarks above, in that examle the initial data can be arbitrarily large in B, 1, and nevertheless generates a global solution. We have noted by û the Fourier transform of any vector field u. Theorem Let N be a given ositive integer. A ositive integer N 1 exists such, if N is an integer larger than N 1, it satisfies the following roerties. If v h is any two comonent, divergence free vector fields ined on T such that Su v h [ N, N ] and v h L T log N1 9, then a unique, global smooth solution to N S exists, associated with the initial data u x = Nv h x h cosnx 3, div h v h x h sinnx 3. Moreover the vector field u satisfies u h B 1, 1 4π e vh L T. 1. Remarks 1 Since the L norm of v h can be chosen arbitarily large, the lower bound given in 1. imlies that the B, 1 norm of the initial data may be chosen arbitrarily large. One can rewrite this examle in terms of the Reynolds number of the fluid: let re N be its Reynolds number, and ine the rescaled velocity field vt, x = 1 re u t re, x. Then v satisfies the Navier-Stokes equation t v + Pv v ν v = where ν = 1/re, and Theorem states the following: if v t= is equal to v,ν = v h x h cos where v h is suorted in [ N, N ] and satisfies x3, ν div h v h x h sin ν v h L T log 1 1 9, ν then for ν small enough there is a unique, global, smooth solution. x3 ν The rest of the aer is devoted to the roof of Theorems 1 and. The roof of Theorem 1 relies on the following idea: if u denotes the solution of NS associated with u, which exists at least for a short time since u belongs to H 1 T 3, then it can be decomosed as follows, with the notation of Definition 1.: u = u + R, where u = u F + u D. 4

5 Note that the Leray theorem in dimension two mentioned above, namely the existence and uniqueness of a smooth solution for an initial data in L T and a forcing term in L 1 R + ; L T, holds even if the vector fields have three comonents rather than two as is the case for the equation satisfied by u D. One notices that the vector field R satisfies the erturbed Navier-Stokes system { t R + PR R + Qu P NS, R R = F R t= = R, where R t= = and F = Id MPu F u F Qu F, u D. The roof of Theorem 1 consists in studying both systems, the two dimensional Navier-Stokes system and the erturbed three dimensional Navier-Stokes system. In articular a result on the two dimensional Navier-Stokes system will be roved in Section 3, which, as far as we know is new, and may have its own interest. It is stated below. Theorem 3 There is a constant C > such that the following result holds. Let v be the solution of NSD with initial data v L and external force f in L 1 R + ; L. Then we have v L R + ;L CE 1 + E log e + E 1 with E = v. L + ft L dt The key to the roof of Theorem 1 is the roof of the global wellosedness of the erturbed three dimensional system P N S. That is achieved in Section 4 below, where a general statement is roved, concerning the global wellosedness of P NS for general R and F satisfying a smallness condition. That result is joint to Theorem 3 to rove Theorem 1 in Section 5. Finally Theorem is roved in Section 6. The coming section is devoted to some notation and the recollection of well known results on Besov saces and the Littlewood-Paley theory which will be used in the course of the roofs. Notation and useful results on Littlewood-Paley theory In this short section we shall resent some well known facts on the Littlewood-Paley theory. Let us start by giving the inition of Littlewood-Paley oerators on T d. Definition.1 Let χ be a nonnegative function in C T d such that χ = 1 for ξ 1 and χ = for ξ >, and ine χ j x = jd χ j x. Then the Littlewood-Paley frequency localization oerators are ined by S j = χ j, j = S j S j 1. As is well known, one of the interests of this decomosition is that the j oerators allow to count derivatives easily. More recisely we recall the Bernstein inequality. A constant C exists such that k N, 1 q, su α j u L q T d Ck+1 jk jd 1 1 q α =k j u L T d..1 Using those oerators we can give a inition of Besov saces for all indexes, and we recall the classical fact that the inition in the case of a negative index coincides with the inition given in the introduction using the heat kernel Definition 1.1 above. 5

6 Definition. Let f be a mean free function in D T d, and let s R and, q [1, + ] be given real numbers. Then f belongs to the Besov sace B s,q Td if and only if f B s,q = js j f L l q Z < +. Using the Bernstein inequality.1, it is easy to see that the following continuous embedding holds: B s+ d 1 1,r 1 T d B s+ d,r T d,. for all real numbers s, 1,, r 1, r such that i and r i belong to the interval [1, ] and such that 1 and r 1 r. We recall that Sobolev saces are secial cases of Besov saces, since H s = B s,. Throughout this article we shall denote by the letters C or c all universal constants. we shall sometimes relace an inequality of the tye f Cg by f g. we shall also denote by c j j Z any sequence of norm 1 in l Z. 3 An L estimate for Leray solutions in dimension two The urose of this section is the roof of Theorem 3. Let us write the solution v of NSD as the sum of v 1 and v with { { t v 1 h v 1 = Pf t v and h v = P divv v 3.1 v 1 t= = v v t= =. Duhamel s formula gives thus we get that v 1 t = e t v + e t t Pft dt, v 1 L R + ;L et v L R + ;L + e τ ft L R + τ ;L dt. Due to., we have L B, 1 so by Definition 1.1 we get that v 1 L R + ;L v L + ft L dt. 3. Now let us estimate v L R + ;L. It relies on the following technical roosition. Proosition 3.1 Let v be the solution of NSD with initial data v in L and external force f in L 1 R + ; L. Then we have j v L R + ;L E e + E 1 with E = v. L + ft L dt j 6

7 Proof of Proosition 3.1 Alying j to the NSD system and doing an L energy estimate gives, neglecting only here the smoothing effect of the heat flow, j vt L j v L + j vt vt j vt L dt + j ft, j vt dt. Lemma 1.1 of [3] and the conservation of energy tell us that j vt vt j vt L c j t vt L vt L j j vt L c j t vt L vt L E 1 c j t vt L. Since j ft, j vt j ft L j vt L E 1 c j t ft L, we infer that j v L R + ;L jv L + E 1 c j t vt L + ft L dt. Taking the sum over j concludes the roof of the roosition. Conclusion of the roof of Theorem 3 Let us first observe that interolating the result of Proosition 3.1 with the energy estimate, we find that a constant C exists such that, for any in [, ], we have Then by Bernstein s inequality.1, we have j 4 j v L R + ;L CE e + E j j 1 S j v L R + ;L C j j 1 j j 1 j j v L R + ;L. Using Young s inequality on series and 3.3, we infer that a constant C exists such that, for any in ], ], j 1 S j v L R + ;L Cc j E 1 e + E Now using Bernstein s inequality and Fourier-Plancherel, we get by 3.1 j v t L j j v t L j e cj t t j P vt vt L dt

8 Using Bony s decomosition, let us write that for any a and b, j atbt = j S j at j bt + j j ats j +1bt. j j N j j N We have S j a j b L + S j a R + L ;L R + ;L j b L R + ;L. Using 3.4, we deduce that a constant C exists such that, for any in ], ], j P v v L + R + ;L C j j N S j v L R + ;L j v L R + ;L C E 1 e + E Using Young s inequality in time in 3.5 gives j j N c j j v L R + ;L j j v L R + ;L C j e cj L jp v v 1 L + R + ;L C E 1 e + E c j j v L R + ;L j j j. j j N 1 By Young s inequality on series we find that a constant C exists such that, for any in ], [, and thus Then let us choose such that Then we have that j v L R + ;L Cc j E 1 e + E 1 1 v L R + ;L C E e + E 1 1 = 1 loge + E 1 and utting 3. and 3.6 together roves Theorem 3. v L R + ;L CE loge + E 1, 3.6 This theorem will enable us to infer the following useful corollary. Corollary 3.1 Let ], + [ and let u be a vector field in I A, B. Then u = u F +u D satisfies u L R + ;L A 1 + A loge + A

9 Proof of Corollary 3.1 As in the roof of 3. above, we have clearly by Definition 1.1 and H, Then by Theorem 3 we have where by inition of E and by H1, u F L R + ;L ũ B 1, A. u D L R + ;L E 1 + E log e + E 1, E = u L + MPu F u F L 1 R + ;L A. As a result we get and the corollary is roved. u L R + ;L A + A 1 + A loge + A 4 Global wellosedness of the erturbed system In this section we shall study the global wellosedness of the system P NS. The result is the following. Theorem 4 Let ]3, + [ be given. There is a constant C > such that for any R in B 1+ 3,, F in L 1 R + ; B 1+ 3, and u in L R + ; L satisfying R B 1+ 3, + F 3 C 1 e C u L R + ;L, 4.1, there is a unique, global solution R to P NS associated with R and F, such that R C b R + ; B 1+ 3, L R + 3 ; B Proof of Theorem 4 Using Duhamel s formula, the system P NS turns out be R t L Rt B NS R, Rt,. R = R + L R + B NS R, R with = e t R + = = e t t F t dt, e t t Qu t, Rt dt and e t t P div Rt Rt dt. The roof of the global wellosedness of P NS relies on the following classical fixed oint lemma in a Banach sace, the roof of which is omitted. 9

10 Lemma 4.1 Let X be a Banach sace, let L be a continuous linear ma from X to X, and let B be a bilinear ma from X X to X. Let us ine L LX = su Lx and B BX = su Bx, y. x =1 x = y =1 If L LX < 1, then for any x in X such that x X < 1 L LX 4 B BX, the equation x = x + Lx + Bx, x has a unique solution in the ball of center and radius 1 L LX B BX Solving system P NS consists therefore in finding a sace X in which we shall be able to aly Lemma 4.1. Let us ine, for any ositive real number λ and for any in ]3, ], the following sace. Definition 4.1 The sace X λ is the sace of distributions a on R + T 3 such that a X λ = j j 1 3 j a λ L R + ;L + j j a λ < with L R + ;L a λ t = ex λ a L R + ;B a, L R + 3 ;B u t L dt at. Remark If a belongs to X λ, then a λ belongs to L R + ; B 1+ 3, L R + 3 ; B, and, as u is in L R + ; L, we have λ u. L R + ;L, a Xλ ex The fact that X λ equied with this norm is a Banach sace is a routine exercise left to the reader. The introduction of this sace is justified by the following roosition which we shall rove at the end of this section. Proosition 4.1 For any in ]3, [, a constant C exists such that, for any ositive λ, L LXλ C λ 1 and B NS BXλ Ce λ u L R + ;L. Conclusion of the roof of Theorem 1 In order to aly Lemma 4.1, let us choose λ such that L LXλ 1/. Then, the condition required to aly Lemma 4.1 is R Xλ 1 u e 4C L R + ;L C In order to ensure this condition, let us recall Lemma.1 of [4]. 1

11 Lemma 4. A constant c exists such that, for any integer j, any ositive real number t and any in [1, ], j e t a L 1 c e cjt j a L. This lemma and the Cauchy-Schwarz inequality for the measure F t B 1+ 3, j R,λ t L Ce cjt j R L + C e cj t t j F t L dt 1 C j 3 e cjt c j R B e cj t t c j t F t, C j 1 3 e cjt c j R B e cj t t F t, e cj t t c j t F t dt give B 1+ 3, B 1+ 3, B 1+ 3, dt dt 1 dt 1. Then we infer immediately that j R,λ L R + ;L j 1 3 c j R B 1+ 3, + j 1 3 j R,λ L R + ;L j 3 c j R B 1+ 3, + j 3 c j t F t B 1+ 3 dt, c j t F t B 1+ 3 dt, 1 F 1 1 F 1 L 1 R + ;B 1+ 3, L 1 R + ;B 1+ 3,. and This gives R Xλ R B 1+ 3, + F 3., It follows that the smallness condition 4.1 imlies recisely condition 4.. So we can aly Lemma 4.1 which gives a global, unique solution R to P NS such that R L R + ; B 1+ 3, L R + 3 ; B We leave the classical roof of the continuity in time to the reader. Theorem 4 is roved, rovided we rove Proosition 4.1. Proof of Proosition 4.1 It relies mainly on Lemma 4. and in a Bony tye decomosition. In order to rove the estimate on B NS, let us observe that Lemma 4. imlies that j B NS R, R λ t L e λ u t L dt,. e cj t t j P divr λ t R λ t L dt. 11

12 Proosition 3.1 of [4] imlies that j P divr λ R λ L R + ;L Cc j j 1+ 3 R Xλ R Xλ. Young s inequality in time ensures the estimate on B NS. The study of L follows the ideas of [4]. Let us decomose L a λ = L a λ as a sum of two oerators L 1,λ and L,λ ined by L n,λ Rt T 1 a, b = = j e t t λ t u t L dt P div T n u t, R λ t dt j a S j 1 b + S j 1 b j a and with T a, b = j S j+ a j b + j b S j+ a. As we have Noticing that we obtain j T 1 a, b = j j 5 j T 1 a, b L C j j a S j 1b + S j 1b j a, j j 5 j a L S j 1b L. S j 1 R λ L R + ;L c j j 1 3 R Xλ, j T 1 u t, R λ t L Cc j j 1 3 R Xλ u t L. Using Bernstein s inequality and Lemma 4., we have therefore j L 1,λ Rt L C j Cc j j 3 e cj t t λ t u t L dt T 1 u t, R λ t L dt R Xλ e cj t t λ t u t L dt u t L dt. Thus we get, by Young s inequality, j L 1,λ R L R + ;L + j j L 1,λ R L R + ;L C 1 c λ 1 j j 3 R Xλ. 4.3 Let us now estimate L,λ R. As we have j T a, b = j j N j j T a, b L C j a S j 1b + S j 1b j a, S j +a L j b L j j N C a L j b L. j j N 1

13 As for the estimate of L 1,λ we get that j L,λ Rt L C j j j N The Cauchy-Schwarz inequality imlies that j L,λ Rt L C j j j N e cj t t λ t u t L dt u t L j R λ t L dt. e cj t t j R λ t L dt 1 Then we infer that j 3 j L,λ R L R + ;L + j j L,λ R L R + ;L C λ 1 e λ 1 t t u t L dt u t L dt. j j N j j 3 j 3 j R λ L R + ;L. Young s inequality on series and 4.3 allow to conclude the roof of Proosition End of the roof of Theorem 1 Now we are ready to rove Theorem 1. The idea, as resented in the introduction, is to write u = u + R, where R satisfies P NS with R = and F = Id MPu F u F Qu F, u D, and where u = u F +u D. According to the assumtions of Theorem 1, we know that u belongs to I A, B, so in articular by H3 we have Moreover by Corollary 3.1 we have F 3 B., u L R + ;L A 1 + A loge + A. Due to Theorem 4, the global wellosedness of P NS is guaranteed if F 3 C 1 e C u L R + ;L., Clearly the smallness assumtion 1.1 imlies directly that inequality, so under the assumtions of Theorem 1, we have R C b R + ; B 1+ 3, L R + 3 ; B 13,.

14 To end the roof of Theorem 1 we still need to rove that u is in C b R + ; H 1 L R + ; H 3. It is well known see for instance [3] that the blow u condition for H 1 T 3 data is the blow u of the norm L in time with values in H 3. As u is in H 1, so are u and ũ. Then thanks to the roagation of regularity in NSD see for instance [3] and the roerties of the heat flow, u F and u D belong to L R + ; H 1 L R + ; H 3 and thus to L R + ; B 1+ 3, L R + 3 ; B by the embedding recalled in.. Thus as R belongs also to this sace, it is enough to rove the following blow u result, which we rove for the reader s convenience. Proosition 5.1 If the maximal time T of existence in L loc R+ ; H 1 L loc R+ ; H 3 of a solution u of NS is finite, then for any, T ut 4 dt = +. B 1 + 3, Proof of Proosition 5.1 An energy estimate in H 1 gives, for some ositive c, ut H 1 + c ut dt u H 3 H 1 +, divut ut ut H 1 dt. We can assume that > 6. Laws of roduct in Besov saces imly that ut ut H 1 C ut B 1 + 3, ut H 1. Thus by interolation we infer that divut ut ut H 1 C ut B 1 + 3, Using the convexity inequality ab 3/4a /4b 4 gives ut 1 ut 3 H 1. H 3 ut H 1 + c ut dt u H 3 H 1 + C ut 4 ut dt. B H 1, A Gronwall lemma concludes the roof of Proosition 5.1, and therefore of Theorem 1. 6 Proof of Theorem In this final section we shall rove Theorem. In order to do so, two oints must be checked: first, that the initial data ined in the statement of the theorem satisfies the assumtions of Theorem 1, namely the nonlinear smallness assumtion 1.1, in which case the global wellosedness will follow as a consequence of that theorem. Second, that the initial data satisfies the lower bound 1.. Those two oints are dealt with in Sections 6.1 and 6. resectively. 14

15 6.1 The nonlinear smallness assumtion Let us check that the initial data ined in the statement of Theorem belongs to the sace I A, B with the smallness condition 1.1. Recall that A and B are chosen so that H1 H H3 u L T + MPu F u F L 1 R + ;L T A ũ B 1 A, Id MPu F u F + Qu D, u F 3 B., Let us start with Assumtion H1. We first notice directly that u =, so we just have to check that MPu F u F belongs to L 1 R + ; L T, and to comute its bound. We have u F u F = divu F u F hence Mu F u j F = M div hu j F uh F for j {1,, 3}. On the one hand, we have div h u 3 F uh F x = N div h div h e t h v h et h v h x h e t 3 sinnx3 e t 3 cosnx3 = N e tn div h div h e t h v h et h v h x h sinnx 3, which imlies that Mu F u 3 F =. Notice that in articular, since u =, we infer that On the other hand, we have t, u 3 D t =. 6.1 div h u h F u h F x = N div h e t h v h e t h v h x h e t 3 cosnx3 = N e tn div h e t h v h et h v h x h 1 + cosnx 3. Using the frequency localization of v h Mu F u h F L T and Bernstein s inequality.1, we get N e tn N e t h v h L 4 T CN N e tn v h L T. Finally we infer that Mu F u h F L 1 R + ;L T CN v h L T 6. C N log N 9. Let us now consider Assumtion H. Since u =, it simly consists in comuting the B 1, norm of u. We have u h x = Nv h x h cosnx 3, 15

16 and by inition of Besov norms, u h B 1 =, It is easy to see that It follows that τ 1 e τ u h L L R +, dτ τ = eτ u h L R + ;L. e τ u h L = N eτ h v h x he τ 3 cosnx3 L CN Ne τn v h L. u h B 1, CN N v h L e τn L R + CN v h L. The comutation is similar for u 3, so we get, for N large enough, Thus one can choose for the arameter A in H1 and H u B 1 C N log N , A = C N log N Finally let us consider Assumtion H3. We shall start with Id MPu F u F. We have Id Mu F u F = Id Mu h F h u F + Id Mu 3 F 3u F, and we shall concentrate on the first term, as both are treated in the same way. We comute Id Mu h F h u h F x = N e t h v h h e t h v h x h e tn cosnx 3 and Id Mu h F h u 3 F = N e t h v h h e t h div h v h x h e tn sinnx 3. So Id Mu h F h u h F B 1+ 3, = τ 1 3 e τ Id Mu h F h u h F L L R +, dτ τ N C N e tn 1 τ 3 e τn L R +, dτ τ vh L C N N e tn N 3 1 v h L. It follows that Id Mu h F h u h F 3 C N N 3 1 v h L, 6.5, and similarly Id Mu h F h u 3 F 3 C N N 3 v h L. 6.6, 16

17 Finally let us estimate the term Qu D, u F. Since by 6.1, u 3 D is identically equal to zero, we have Qu D, u F = P div h u D u F + u F u D so Qu D, u h F 3 N e tn div h e t h v h uh D x h cosnx 3, 3., we shall only comute that term, as Qu D, u 3 F is estimated similarly and contributes in fact one ower less in N. Sobolev embeddings imly that H s T L T for s = 1 So div h e t h v h u h D L e t h v h h u h D L + u h D h e t h v h L e t h v h L h u h D L + u h D L e t h v h L CN v h L u h D H s+1 + CN v h L u h D H s. Proagation of regularity for the two dimensional Navier-Stokes equations is exressed by u D L R + ;H Mu F u F L 1 R + ;H ec u D L R + ;H 1. Using 6.3 and that the Fourier transform of Mu F u F is suorted in [ N, N ], we get Therefore we obtain u D L R + ;H CN Mu F u F L 1 R + ;L ec N v h 4 L C N v h L e C N v h 4 L. Qu D, u F t B 1+ 3, C N Ne tn 1 τ 3 e τn L R + ; dτ τ vh 3 L e C N vh 4 L C N N 3 e tn v h 3 L e C N v h 4 L. Finally Qu D, u F 3 C N N 3 v h 3 L e C, N v h 4 L. Together with 6.5 and 6.6, this gives Id MPu F u F + Qu D, u F L 1 R + ;B 1+ 3, C N N 3 1 v h L 1 + N 1 v h L e C N v h 4 L. Using that v h L T log N1 9, we infer that, for N large enough, Id MPu F u F + Qu D, u F 3 C N N 3 1 log N 9., Choosing 6 gives, still for N large enough, Id MPu F u F + Qu D, u F 3 N 1 4., 17

18 We can therefore choose for the arameter B in H3 the value B = N 1 4. Let us check that with such choices of A and B, the smallness assumtion 1.1 holds. With the choice of A = C N log N 9 made in 6.4, we have, for N large enough, ex C A 1 + A log A ex C N log 8 9 Nlog log N 1 ex 8 log N N 1 8. Since B = N 1 4, the smallness assumtion 1.1 is guaranteed for large enough N, and Theorem 1 yields the global wellosedness of the system with that initial data. 6. The lower bound Let us now check that the initial data u h the B, 1 norm is ined by satisfies the lower bound 1.. We recall that u h B, 1 = su t 1 e t u h L T 3. An easy comutation, using the exlicit formulation of u h, enables us to write that It follows that t e t u h x = Net h v h x he t 3 cosnx3 = Ne t h v h x he tn cosnx 3. e t u h L T 3 = Ne tn e t h v h L T N π e tn e t h v h L T N π e tn v h L T, for N N, using the fact that the frequencies of v h are smaller than N. Finally we have and Theorem follows. u h B, 1 N π vh L T t su 1 tn e t 1 4π e vh L T, References [1] A. Mahalov and B. Nicolaenko, Global solvability of three-dimensional Navier-Stokes equations with uniformly high initial vorticity, Russian. Russian summary Usekhi Mat. Nauk 58, 3, ages 79 11; translation in Russian Math. Surveys 58, 3, ages

19 [] M. Cannone, Y. Meyer et F. Planchon, Solutions autosimilaires des équations de Navier- Stokes, Séminaire Équations aux Dérivées Partielles de l École olytechnique, Exosé VIII, [3] J.-Y. Chemin, Remarques sur l existence our le système de Navier-Stokes incomressible, SIAM Journal of Mathematical Analysis, 3, 199, ages 8. [4] J.-Y. Chemin, Théorèmes d unicité our le système de Navier-Stokes tridimensionnel. Journal d Analyse Mathématique, 77, 1999, ages 7 5. [5] H. Fujita and T. Kato, On the Navier-Stokes initial value roblem I, Archive for Rational Mechanics and Analysis, 16, 1964, ages [6] I. Gallagher, The tridimensional Navier Stokes equations with almost bidimensional data: stability, uniqueness and life san, International Mathematical Research Notices, 18, 1997, ages [7] D. Iftimie, The 3D Navier-Stokes equations seen as a erturbation of the D Navier- Stokes equations, Bulletin de la Société Mathématique de France, 17, 1999, ages [8] H. Koch and D. Tataru, Well osedness for the Navier Stokes equations, Advances in Mathematics, 157, 1, ages 35. [9] J. Leray, Essai sur le mouvement d un liquide visqueux emlissant l esace, Acta Matematica, 63, 1933, ages [1] J. Leray, Étude de diverses équations intégrales non linéaires et de quelques roblèmes que ose l hydrodynamique. Journal de Mathématiques Pures et Aliquées, 1, 1933, ages 1 8. [11] G. Raugel and G.R. Sell, Navier-Stokes equations on thin 3D domains. I. Global attractors and global regularity of solutions, Journal of the American Mathematical Society, 6, 1993, ages