arxiv: v2 [math.ap] 2 Sep 2016

Size: px

Start display at page:

Download "arxiv: v2 [math.ap] 2 Sep 2016"

Egbert Haynes
6 years ago
Views:

1 LOWER BOUNDS FOR POSSIBLE SINGULAR SOLUTIONS FOR THE NAVIER STOKES AND EULER EQUATIONS REVISITED arxiv: v [mathap] Sep 06 JEAN C CORTISSOZ AND JULIO A MONTERO Abtract In thi paper we give optimal lower boun for the blow-up rate of the Ḣ T 3) -norm, < < 5, of a putative ingular olution of the Navier- Stoe equation, an we alo preent an elementary proof for a lower boun on blow-up rate of the Sobolev norm of poible ingular olution to the Euler equation when > 5 Introuction The Navier-Stoe equation for an incompreible vicou flui of vicoity ν = are given by { ut u+u u+ p = 0 in X 0, ) NS) ux,0) = ψ, ivu = 0 where, in thi paper, X = R 3 or X = T 3 It i nown that given an initial conition of finite energy an which belong to Ḣ X) there i an interval of time 0,η), ) η > 0, for which there i a unique mooth olution to NS) in C [0,T];Ḣ X) Let then T > 0 be the larget η > 0 for which the unique olution with initial ata ψ Ḣ X) remain mooth It i unnown whether T < or T = In the cae that T <, there i the intereting quetion of etimating a rate at which the Ḣ - norm blow-up In [5] the author, bae on iea preente by Robinon, Saowi an Silva in [], howe an almot optimal lower boun for the blow up rate of olution of the Navier Stoe equation with perioic bounary conition on a boune maximal interval of exitence 0, T), T <, when thi olution belong to Ḣ T 3 3 T 3 ) To be more precie, it wa hown that a regular olution of ) Ḣ5 the Navier Stoe equation whoe maximal interval of exitence or regularity) i 0,T), mut atify ut) 3 c H, T3 ) T t) logt t) for a contant c > 0 In thi paper we go a little further an give a proof of the expecte optimal lower blow up rate Namely, we prove the following the following etimate on the blow up rate of putative ingular olution to the Navier Stoe equation: C ut t) Ḣ 3, C > 0 T3 ) t The proof of thi reult require a etaile inpection of the boun on the nonlinear term of the Navier Stoe equation foun in [], an the application of an 00 Mathematic Subject Claification Primary 35Q30, Seconary 35B44 Key wor an phrae Navier Stoe, Euler, blow up, homogeneou Sobolev pace

2 JEAN C CORTISSOZ AND JULIO A MONTERO interpolation technique inpire by the metho ue by Hary to prove Carlon inequality ee [6]) We mut a that thi problem uing ifferent technique ha been treate in the paper [] an [0] The lower blow up rate for putative ingular olution to the Navier Stoe equation can be interprete a a regularity criterion for olution of the equation a they give a lower boun on the ize of the maximal interval of exitence) Thee blow upetimate werefirt tate forthe L p pace, p > 3, without proofby Leray in hi remarable paper [9], an prove by Giga in [7] via emigroup theory In thi paper, we rather follow the elementary, an improve on, the proof on homogeneou Sobolev pace given by Robinon, Saowi an Silva for their blow up etimate On the other han, there exit the relate problem of invetigating the poible blow-up behavior of olution to the incompreible Euler equation: { ut +u u+ p = 0 in X 0, ) E) ux,0) = ψ, ivu) = 0 In fact, recently in a very nice paper [], Chen an Pavlović howe the following although they tate their reult in R 3 an we o in T 3, our argument apply in both cae, ee Remar ) Theorem Let ux,t) be a olution of the perioic Euler equation in the cla ) C [0,T],Ḣ 3+δ T 3)) C [0,T],Ḣ 5+δ T 3)), δ > 0, an let T > 0 be the minimum time for which u cannot be continue ) in the cla ) Then, there exit a finite, poitive contant C δ, u0) L T 3 ) uch that + 5 δ ut) ḢT3 ) 5 C δ, u0) +δ L T 3 ) T t The proof of thi theorem given in [] relie on obtaining a ingle exponential boun on the H norm of a olution of the Euler equation via a lenght parameter introuce by P Contantin in [3] In thi paper we follow the approach uggete in [] in conjunction with ome iea preente in [5], to give a le involve proof of Theorem Part of thi paper wa written while the econ author wa viiting the Mathematic Department at Cornell Univerity, an he i quite grateful for their warm hopitality -an in particular to Prof Tim Healy for hi encouragement He alo mut acnowlege the upport of Colciencia an hi home intitution, the Univeria e lo Ane for maing thi viit poible, an hi avior the firt name author of thi paper) for hi encouragement, an hi almot alway inightful obervation Thefirt authorwantto thanthe econauthorforbeing agreattuent an colleague, an for all thee wonerful year of hare mathematical enthuiam He alo want to than hi home intitution, the Univeria e lo Ane, for proviing an excellent reearch environment an economic upport Proyecto Semilla P ) The blow up rate for the Navier-Stoe equation The next tatement i eentially the ame given in [] The main ifference i that we how a proof which inclue the cae when the olution belong to

3 BLOW UP NAVIER STOKES REVISITED 3 Ḣ 3 T 3 ) Ḣ5 T 3 ) From now on, in thi paper we hall ue the notation u := u Ḣ T 3 ), an û refer to the Fourier wavenumber of wavevector of the function u Theorem Let ux,t) = u,u,u 3 ) be a olution Navier Stoe equation whoe maximum interval of exitence i 0,T), 0 < T <, an uch that u C0,T),Ḣ T 3 ) Ḣ+ T 3 )), with < < 5 Then the following etimate hol ) C t ) ut ) Ḣ T 3 ) Proof Firt, we mut recall the energy inequality foun in []: 3) t ut) )+4π ut) + C û ) ut) r u + r, with 0 r For the ae of completene we will give a proof of thi inequality below Now we pic r = ), an apply the interpolation technique employe by Hary in hi proof of Carlon inequality ee [6]), to the firt factor on the right han ie of 3), to obtain: a û ) = û ) + +b +5 a + +b +5 a u +b u + a u +b u + a + +b +5 )3 4π a ab b 0 ) ) y 3 +y y, if we chooe a = ut) + an b = ut) then the energy inequality 3) become 4) t ut) )+4π ut) + C ut) +3 4 ut) ut) +5 4 Now, oberve that = ) ) + ), o by interpolation between homogeneou Sobolev pace, we get Therefore, from inequality 4) we obtain u u u t ut) )+4π ut) + C ut) + ut) 5 +

4 4 JEAN C CORTISSOZ AND JULIO A MONTERO It i time to ue Young inequality ab ap p + bq q, p + q p = + ) an q = 5 We thu get t ut) ) c ut) + =, with the choice Finally, by integrating between T t an T the previou etimate, inequality ) follow Remar Theorem i alo vali when we conier the cae of the whole pace, ie, for olution ut) Ḣ 3 R 3 ) Ḣ 5 R 3 ), thi becaue all the calculation leaing to it proof are vali on R 3 if we change um by integral Apromie, wegiveaproofofinequality3) Itiaconequenceofthe following lemma ee the proof of Lemma 3 in []) which give an etimate of the nonlinear term where an P i the Leray projector Bu,u),u)Ḣ, Bu,u) = P u u), Lemma For any > an 0 r, we have û q )û q û ) c Z 3 q r û Z 3 u u + r, for all u Ḣ+ r T 3 ) F r Here û enote the Fourier wavenumber of u with wavevector, an z enote the complex conjugate of z Proof Since P i elf-ajoint an ux,t) i ivergence free, we have that ee [4], chapter 6 p 53) q û q q)û q û ) = 0 q Ż3 Ż3 Uing the inequality ee [8], p39) x y ) x y x y + y ), > ; an the well now inequality x + y ) r x r + y r if 0 r,

5 BLOW UP NAVIER STOKES REVISITED 5 we obtain: û q )û q û ) q Z 3 = û q )û q û ) q û q q)û q û ) q Z 3 Ż3 q Ż3 q û q ) û q û q q û q ) û q û q q + q ) q q û q û q û q q r q r û q û q û q q r q r + r ) û q û q û + q r û q q û q + r û Z 3 + r û u u + r, which i what we wante to prove The previou proof give u alo an lower boun on ize on the maximal interval of exitence Inee, the following reult hol Corollary Let ux, t) be a olution of the Navier Stoe equation with initial conition u 0 x) Ḣ T 3 ), < < 5, an let T > 0 be the minimum time for blow up Then 5) K u 0 ) 4 T 3 The blow up rate for the Euler equation Etimate 3) can be ue to provie the promie elementary proof of Theorem But before we preent our proof we will nee the following etimate Lemma 3 Let u F = Z 3 û There i a contant c > 0 which only epen on uch that u F c u 5 L T 3 ) u 5

6 6 JEAN C CORTISSOZ AND JULIO A MONTERO Proof We have that û = û a+b a+b û a+b )) c a u +b u c a u +b u ) 0 x x a+bx ) a ) 3 ) a b a+b We let a = u an b = u to obtain for a new contant c > 0) u F c u u u = c u 5 u 3 Now we ue the Sobolev interpolation inequality to obtain u F u u L T 3 ) u, c u 5 L T 3 ) u = c u 5 L T 3 ) u 5 ) We are reay to prove the etimate of Chen an Pavlović Inee, proceeing a we i in the proof of Theorem, for the Euler equation we obtain ie, by inequality 3) with r = ; the extra poitive term on the left-han ie oe not appear, ue to the lac of the iffuion term in the Euler equation) : t u c u F u, thi i jut equation 6) in []), an hence by the previou lemma we arrive at the ifferential inequality t u c u 5 L T 3 ) u 5 + For a regular olution to Euler equation, it i well-nown that for any t 0, ut) L T 3 ) u0) L T 3 ), o we obtain an inequality here the contant involve epen on u0) L T 3 ) ) t u c u0) L T 3 ), u 5 + Let = 5 +δ Then our inequality become t u 5 +δ c u0) L T 3 ),δ u δ 5 +δ ) )

7 BLOW UP NAVIER STOKES REVISITED 7 Integrating the previou ifferential inequality from t to T an auming blow up at T) we get ut) + 5 δ 5 +δ ct t), whereciacontantthatonlyepenon u0) L T 3 ) anδ Solvingfor ut) 5 +δ finihe the proof Remar A commente before in the cae of the Navier-Stoe equation, in the proof in thi ection it i poible to replace T 3 by R 3 4 Final comment: Some open quetion Theorem inclue the optimal lower boun for blow up rate when u Ḣ 3 T 3 ) Ḣ5 T 3 ); thi particular cae wa miing in the proof given in [], an in [5] a non optimal boun wa prove Thee boun raie the following quetion: If there exit ome C > 0 uch that ut t) Ct ), oe ut t) blow up? Furthermore, a lower blow-up rate for u Ḣ T 3 ), for putative blow up olution to the Navier Stoe equation, i yet unnown Reference [] Chen, Thoma; Pavlović, Nataša A lower boun on blowup rate for the 3D incompreible Euler equation an a ingle exponential Beale-Kato-Maja type etimate Comm Math Phy 34 0), no, [] Cheiov, Alexey; Zaya, Karen Lower boun of potential blow-up olution of the threeimenional Navier-StoeEquation in H 3/, arxiv: , 05) [3] Contantin, P Geometric tatitic in turbulence SIAM Rev 36), ) [4] Peter Contantin an Ciprian Foia, Navier-Stoe equation, Chicago Lecture in Mathematic, Univerity of Chicago Pre, Chicago, IL, 988 [5] Cortioz, Jean C; Montero, Julio A; Pinilla Carlo E On lower boun for poible blow up olution to the perioic Navier-Stoe equation Journal of Mathematical Phyic 55, ); oi: 0063\ [6] Laron, Leo; Maligrana, Lech; Pečarić, Joip; Peron, Lar-Eri Multiplicative inequalitie of Carlon type an interpolation Worl Scientific Publihing Co Pte Lt, Hacenac, NJ, 006 [7] Giga, Yohiazu Solution for emilinear parabolic equation in L p an regularity of wea olution of the Navier Stoe ytem J Differential Equation 6 986), no, 86 [8] G H Hary, J E Littlewoo, an G Pólya, Inequalitie, Cambrige, at the Univerity Pre, 934 [9] Leray, J Sur le mouvement un liquie viqueux empliant l epace Acta Math ), no, [0] McCormic, Davi; Olon, Eric; Robinon, Jame C; Rorigo, Joé L; Vial-lópez, Alejanro; Zhou, Yi Lower boun on blowing-up olution of the 3D Navier Stoe equation in Ḣ 3/, Ḣ 5/, an Ḃ5/,, arxiv: [] Robinon, Jame C; Saowi, Witol; Silva, Ricaro P Lower boun on blow up olution of the three-imenional Navier-Stoe equation in homogeneou Sobolev pacej Math Phy 53 0), no, 568, 5 pp Departamento e Matemática, Univeria e lo Ane, Bogotá DC, COLOMBIA

On the regularity to the solutions of the Navier Stokes equations via one velocity component

On the regularity to the solutions of the Navier Stokes equations via one velocity component On the regularity to the olution of the Navier Stoke equation via one velocity component Milan Pokorný and Yong Zhou. Mathematical Intitute of Charle Univerity, Sokolovká 83, 86 75 Praha 8, Czech Republic