Critical SQG in Bounded Domains

Transcription

1 Ann. PDE 26 2:8 DOI.7/s Criical SQG in Bounded Domains Peer Consanin Mihaela Ignaova Received: 3 July 26 / Acceped: 8 Ocober 26 / Published online: 3 November 26 Springer Inernaional Publishing AG 26 Absrac We consider he criical dissipaive SQG equaion in bounded domains, wih he square roo of he Dirichle Laplacian dissipaion. We prove global a priori inerior C α and Lipschiz bounds for large daa. Keywords SQG Global regulariy Nonlinear maximum principle Bounded domains Mahemaics Subjec Classificaion 35Q35 35Q86 Inroducion The Surface Quasigeosrophic equaion SQG of geophysical origin [8] was proposed as a wo dimensional model for he sudy of inviscid incompressible formaion of singulariies [5,9]. While he global regulariy of all soluions of SQG whose iniial daa are smooh is sill unknown, he original blow-up scenario of [9] has been ruled ou analyically [3] and numerically [], and nonrivial examples of global smooh soluions have been consruced [4]. Soluions of SQG and relaed equaions wihou dissipaion and wih non-smooh piece-wise consan iniial daa give rise o inerface dynamics [3,7] wih poenial finie ime blow up [5]. The addiion of fracional Laplacian dissipaion produces globally regular soluions if he power of he Laplacian is larger or equal han one half. When he linear dissipa- B Peer Consanin cons@mah.princeon.edu Mihaela Ignaova ignaova@mah.princeon.edu Deparmen of Mahemaics, Princeon Universiy, Princeon, NJ 8544, USA

2 8 Page 2 of 42 P. Consanin, M. Ignaova ive operaor is precisely he square roo of he Laplacian, he equaion is commonly referred o as he criical dissipaive SQG, or criical SQG. This acive scalar equaion [5] has been he objec of inensive sudy in he pas decade. The soluions are ranspored by divergence-free velociies hey creae, and are smoohed ou and decay due o nonlocal diffusion. Transpor and diffusion do no add size o a soluion: he soluion remains bounded, if i sars so [22]. The space L R 2 is no a naural phase space for he nonlinear evoluion: he nonlineariy involves Riesz ransforms and hese are no well behaved in L. Unforunaely, for he purposes of sudies of global in ime behavior of soluions, L is unavoidable: i quanifies he mos imporan informaion freely available. The equaion is quasilinear and L -criical, and here is no wiggle room, nor a known beer smaller space which is invarian for he evoluion. One mus work in order o obain beer informaion. A pleasan aspec of criicaliy is ha soluions wih small iniial L norm are smooh []. The global regulariy of large soluions was obained independenly in [2] and [2] by very differen mehods: using harmonic exension and he De Georgi mehodology of zooming in, and passing from L 2 o L and from L o C α in [2], and consrucing a family of ime-invarian moduli of coninuiy in [2]. Several subsequen proofs were obained please see [2] and references herein. All he proofs are dimension-independen, bu are in eiher R d or on he orus T d. The proofs of [7] and [2] were based on an exension of he Córdoba Córdoba inequaliy [4]. This inequaliy saes ha f f f poinwise. Here = is he square roo of he Laplacian in he whole space R d, is a real valued convex funcion of one variable, normalized so ha = and f is a smooh funcion. The fracional Laplacian in he whole space has a very singular inegral represenaion, and his can be used o obain. In [7] specific nonlinear maximum principle lower bounds were obained and used o prove he global regulariy. A ypical example is D f = f f 2 f 2 c θ L f 3 2 poinwise, for f = i θ a componen of he gradien of a bounded funcion θ. This is a useful cubic lower bound for a quadraic expression, when θ L θ L is known o be bounded above. The criical SQG equaion in R 2 is θ + u θ + θ = 3 where u = θ = R θ 4 and = 2, is he gradien roaed by π 2. Because of he conservaive naure of ranspor and he good dissipaive properies of following from, all L p norms of θ are nonincreasing in ime. Moreover, because of properies of Riesz ransforms, u is essenially of he same order of magniude as θ. Differeniaing he equaion we obain he sreching equaion

3 Criical SQG in Bounded Domains Page 3 of u + θ = u θ. 5 In he absence of his is he same as he sreching equaion for hree dimensional voriciy in incompressible Euler equaions, one of he main reasons SQG was considered in [5], [9] in he firs place. Taking he scalar produc wih θ we obain for q 2 = θ 2, wih 2 + u +q 2 + Dq = Q 6 Q = u θ θ u q 2. The operaor + u + is an operaor of advecion and fracional diffusion: i does no add size. Using he poinwise bound 2 we already see ha he dissipaive lower bound is poenially capable of dominaing he cubic erm Q, bu here are wo obsacles. The firs obsacle is ha consans maer: he wo expressions are cubic, bu he useful dissipaive cubic lower bound Dq K q 3 has perhaps oo small a prefacor K if he L norm of θ is oo large. The second obsacle is ha alhough u = R θ has he same size as θ modulo consans in all L p spaces < p <, i fails o be bounded in L by he L norm of θ. In order o overcome hese obsacles, in [7] and [2], insead of esimaing direcly gradiens, he proof proceeds by esimaing finie differences, wih he aim of obaining bounds for C α norms firs. In fac, in criical SQG, once he soluion is bounded in any C α wih α>, i follows ha i is C.More generally, if he equaion has a dissipaion of order s, i.e., is replaced by s wih < s hen if θ is bounded in C α wih α> s, hen he soluion is smooh [8]. This condiion is sharp, if one considers general linear advecion diffusion equaions, [23]. In [2] he smallness of α is used o show ha he erm corresponding o Q in he finie difference version of he argumen is dominaed by he erm corresponding o Dq. In his paper we consider he criical SQG equaion in bounded domains. We ake a bounded open domain R d wih smooh a leas C 2,α boundary and denoe by he Laplacian operaor wih homogeneous Dirichle boundary condiions and by D is square roo defined in erms of eigenfuncion expansions. Because no explici kernel for he fracional Laplacian is available in general, our approach, iniiaed in [6] is based on bounds on he hea kernel. The criical SQG equaion is θ + u θ + D θ = 7 wih u = D θ = R D θ 8

4 8 Page 4 of 42 P. Consanin, M. Ignaova and smooh iniial daa. We obain global regulariy resuls, in he spiri of he ones in he whole space. There are quie significan differences beween he wo cases. Firs of all, he fac ha no explici formulas are available for kernels requires a new approach; his yields as a byproduc new proofs even in he whole space. The main difference and addiional difficuly in he bounded domain case is due o he lack of ranslaion invariance. The fracional Laplacian is no ranslaion invarian, and from he very sar, differeniaing he equaion or aking finie differences requires undersanding he respecive commuaors. For he same reason, he Riesz ransforms R D are no specral operaors, i.e., hey do no commue wih funcions of he Laplacian, and so velociy bounds need a differen reamen. In [6] we proved using he hea kernel approach he exisence of global weak soluions of 7 inl 2. A proof of local exisence of smooh soluions is provided in he presen paper in d = 2. The local exisence is obained in Sobolev spaces based on L 2 and uses Sobolev embeddings. Because of his, he proof is dimension dependen. A proof in higher dimensions is also possible bu we do no pursue his here. We noe ha for regular enough soluions e.g. θ H he normal componen of he velociy vanishes a he boundary R D θ N = because he sream funcion ψ = D θ vanishes a he boundary and is gradien is normal o he boundary. Le us remark here ha even in he case of a half-space and θ C, he angenial componen of he velociy need no vanish: here is angenial slip. In order o sae our main resuls, le dx = disx, 9 denoe he disance from x o he boundary of. We inroduce he C α space for inerior esimaes: Definiion Le be a bounded domain and le <α<befixed.wesayha θ C α if θ L and [ f ] α = sup x dx α sup h =, h <dx f x + h f x h α <. The norm in C α is f C α = f L +[f ] α. Our main resuls are he following: Theorem Le θx, be a smooh soluion of 7 on a ime inerval [, T, wih T, wih iniial daa θx, = θ x. Then he soluion is uniformly bounded, sup θ L θ L. 2 <T There exiss α depending only on θ L and, and a consan Ɣ depending only on he domain and in paricular, independen of T such ha

5 Criical SQG in Bounded Domains Page 5 of 42 8 sup θ C α Ɣ θ C α 3 <T holds. The second heorem is abou global inerior gradien bounds: Theorem 2 Le θx, be a smooh soluion of 7 on a ime inerval [, T, wih T, wih iniial daa θx, = θ x. There exiss a consan Ɣ depending only on such ha sup x, <T holds. dx x θx, Ɣ [sup dx x θ x + ] 4 + θ L x Remark Higher inerior regulariy can be proved also. In fac, once global inerior C α bounds are obained for any α >, he inerior regulariy problem becomes subcriical, meaning ha here is room o spare. This is already he case for Theorem 2 and jusifies hinking ha he equaion is L inerior-criical. However, we were no able o obain global uniform C α bounds. Moreover, we do no know he implicaion C α C uniformly, and hus he equaion is no L criical up o he boundary. This is due o he fac ha he commuaor beween normal derivaives and he fracional Dirichle Laplacian is no conrolled uniformly up o he boundary. The example of half-space is insrucive because explici kernels and calculaions are available. In his example odd reflecion across he boundary permis he consrucion of global smooh soluions, if he iniial daa are smooh and compacly suppored away from he boundary. The suppor of he soluion remains compac and canno reach he boundary in finie ime, bu he gradien of he soluion migh grow in ime a an exponenial rae. The proofs of our main resuls use he following elemens. Firs, he inequaliy which has been proved in [6] for he Dirichle D is shown o have a lower bound D f x = f D f 2 D f 2 x c f 2 x dx wih c > depending only on. Noe ha in R d, dx =, which is consisen wih. This lower bound valid for general convex, wih c independen of,see46 provides a srong damping boundary repulsive erm, which is essenial o overcome boundary effecs coming from he lack of ranslaion invariance. The second elemen of proofs consiss of nonlinear lower bounds in he spiri of [7]. A version for derivaives in bounded domains, proved in [6] is modified for finie differences. In order o make sense of finie differences near he boundary in a manner suiable for ranspor, we inroduce a family of good cuoff funcions depending on a scale l in Lemma 3. The finie difference nonlinear lower bound is 4 5 D f x c h θ L f x 3 + c f x 2 dx 6

6 8 Page 6 of 42 P. Consanin, M. Ignaova when f = χδ h θ is large see 48, where χ belongs o he family of good cuoff funcions. Once global inerior C α bounds are obained, in order o obain global inerior bounds for he gradien, we use a differen nonlinear lower bound, D f = f D f 2 D f 2 x c f x 3+ α α dx α θ α α + c f 2 x dx C α for large f = χ θ see 6. This is a super-cubic bound, and makes he gradien equaion look subcriical. Similar bounds were obained in he whole space in [7]. Proving he bounds 6 and 7 requires a differen approach and new ideas because of he absence of explici formulas and lack of ranslaion invariance. The hird elemen of proofs are bounds for R Dθ based only on global a priori informaion on θ L and he nonlinear lower bounds on D f for appropriae f. Such an approach was iniiaed in [7] and [2]. In he bounded domain case, again, he mehod of proof is differen because he kernels are no explici, and reference is made o he hea kernels. The boundaries inroduce addiional error erms. The bound for finie differences is ρ h δ h R D θx C D f x + θ L dx + h + δ h θx 8 ρ for ρ cdx, wih f = χδ h θ and wih C a consan depending on see 9. The bound for gradien is R D θx C ρ D f x + θ L dx + + θx ρ for ρ cdx wih f = χ θ wih a consan C depending on see 7. These are remarkable poinwise bounds clearly no valid for he case of he Laplacian even in he whole space, where D f x = f x 2. The fourh elemen of he proof are bounds for commuaors. These bounds for l dx, see2, and 7 9 [χδ h, D ] θx C h dx 2 θ L, 2 [χ, D ] θx C dx 2 θ L, 2 for l dx, see5, reflec he difficulies due o he boundaries. They are remarkable hough in ha he only price o pay for a second order commuaor in L is dx 2. Noe ha in he whole space his commuaor vanishes χ =. This nonrivial siuaion in bounded domains is due o cancellaions and bounds on he hea kernel represening ranslaion invariance effecs away from boundaries see 37, 38.

7 Criical SQG in Bounded Domains Page 7 of 42 8 Alhough he hea kernel in bounded domains has been exensively sudied, and he proofs of 37 and 38 are elemenary, we have included hem in he paper because we have no found hem readily available in he lieraure and for he sake of compleeness. The paper is organized as follows: afer preliminary background, we prove he nonlinear lower bounds. We have separae secions for bounds for he Riesz ransforms and he commuaors. The proof of he main resuls are hen provided, using nonlinear maximum principles. We give some of he explici calculaions in he example of a half-space and conclude he paper by proving he ranslaion invariance bounds for he hea kernel 37, 38, and a local well-posedness resul in wo appendices. 2 Preliminaries The L 2 - normalized eigenfuncions of are denoed w j, and is eigenvalues couned wih heir mulipliciies are denoed λ j : w j = λ j w j. 22 I is well known ha <λ λ j and ha is a posiive selfadjoin operaor in L 2 wih domain D = H 2 H. The ground sae w is posiive and c dx w x C dx 23 holds for all x, where c, C are posiive consans depending on. Funcional calculus can be defined using he eigenfuncion expansion. In paricular β f = λ β j f jw j 24 j= wih f j = f yw j ydy for f D β ={f λ β j f j l 2 N}. We will denoe by s D = s 2, 25 he fracional powers of he Dirichle Laplacian, wih s 2 and wih f s,d he norm in D s D : f 2 s,d = λ s j f j I is well-known and easy o show ha j= D D = H.

8 8 Page 8 of 42 P. Consanin, M. Ignaova Indeed, for f D we have f 2 L 2 = f fdx = D f 2 L 2 = f 2,D. 27 We recall ha he Poincaré inequaliy implies ha he Dirichle inegral on he lefhand side above is equivalen o he norm in H and herefore he ideniy map from he dense subse D of H o D D is an isomery, and hus H D D.BuD is dense in D D as well, because finie linear combinaions of eigenfuncions are dense in D D. Thus he opposie inclusion is also rue, by he same isomery argumen. Noe ha in view of he ideniy λ s 2 = cs e λ 2 s d, 28 wih = c s e 2 s d, valid for s < 2, we have he represenaion D s f [ x = c s f x e f x ] 2 s d 29 for f D D s. We use precise upper and lower bounds for he kernel H D, x, y of he hea operaor, e f x = H D, x, y f ydy. 3 These are as follows [6,24,25]. There exiss a ime T > depending on he domain and consans c, C, k, K, depending on T and such ha w x c min x y, H D, x, y C min w y min x y, w x x y, min d 2 e x y 2 k w y x y, d 2 e x y 2 K 3 holds for all T. Moreover x H D, x, y H D, x, y C dx, if dx, + x y, if dx 32

9 Criical SQG in Bounded Domains Page 9 of 42 8 holds for all T. Noe ha, in view of H D, x, y = e λ j w j xw j y, 33 j= ellipic regulariy esimaes and Sobolev embedding which imply uniform absolue convergence of he series if is smooh enough, we have ha β H D, y, x = β 2 H D, x, y = e λ j y β w jyw j x 34 j= for posiive, where we denoed by β and β 2 derivaives wih respec o he firs spaial variables and he second spaial variables, respecively. Therefore, he gradien bounds 32 resul in y H D, x, y H D, x, y We also use a bound C dy, if dy, + x y, if dy. 35 x x H D x, y, C d 2 e x y 2 K 36 valid for cdx 2 and < T, which follows from he upper bounds 3, 32. Imporan addiional bounds we need are x + y H D x, y, dy C 2 e dx2 K 37 and x x + y H D x, y, dy C e dx2 K 38 valid for cdx 2 and < T. These bounds reflec he fac ha ranslaion invariance is remembered in he soluion of he hea equaion wih Dirichle boundary daa for shor ime, away from he boundary. We skech he proofs of 36, 37 and 38 in Appendix. 3 Nonlinear Lower Bounds We prove bounds in he spiri of [7]. The proofs below are based on he mehod of [6], bu hey concern differen objecs finie differences, properly localized or differen assumpions C α. Nonlinear lower bounds are an essenial ingredien in proofs of global regulariy for drif-diffusion equaions wih nonlocal dissipaion.

10 8 Page of 42 P. Consanin, M. Ignaova We sar wih a couple lemmas. In wha follows we denoe by c and C generic posiive consans ha depend on. When he logic demands i, we emporarily manipulae hem and number hem o show ha he argumens are no circular. There is no aemp o opimize consans, and heir numbering is local in he proof, meaning ha, if for insance C 2 appears in wo proofs, i need no be he same consan. However, when emphasis is necessary we single ou consans, bu hen we avoid he leers c, C wih or wihou subscrips. Lemma The soluion of he hea equaion wih iniial daum equal o and zero boundary condiions, x, = H D x, y, dy 39 obeys x,, because of he maximum principle. There exis consans T, c, C depending only on such ha he following inequaliies hold: { } dx d x, c min, 4 for all T, and x, C dx 4 for all T. Le < s < 2. There exiss a consan c depending on and s such ha 2 s x, d cdx s 42 holds. Remark 2 s D is defined by dualiy by he lef hand side of 42 and belongs o H. Proof Indeed, x, = H D, x, ydy x y dx 2 H D, x, ydy because H D is posiive. Using he lower bound in 23 we have ha x y dx 2 implies w x x y 2c, w y x y c, and hen, using he lower bound in 3 we obain H D, x, y 2cc 2 d 2 e x y 2 k.

11 Criical SQG in Bounded Domains Page of 42 8 Inegraing i follows ha x, 2cc 2 ω d k d 2 dx 2 k ρ d e ρ2 dρ. If dx 2 hen he inegral is bounded below by k ρd e ρ2 dρ. If dx 2 hen k ρ implies ha he exponenial is bounded below by e and so 4 holds. Now 4 holds immediaely from 23 and he upper bound in 3 because he inegral if d 2. Regarding 42 weuse R d ξ e ξ 2 K dξ< T 2 s x, d 2 s x, d and choose appropriaely. Inviewof4, if hen, when T we have dx 2C x, 2, and herefore T 2 s x, d s 2 s s 2 T holds. The choice dx = 2C implies 42 provided 2 T which is he same as dx 2C. On he oher hand, 2 is exponenially small if is large enough, so he conribuion o he inegral in 42 is bounded below by a nonzero consan. This ends he proof of he lemma. Lemma 2 Le α<. There exiss consan C depending on and α such ha y H D, x, y x y α dy C α 2 43 holds for T. T

12 8 Page 2 of 42 P. Consanin, M. Ignaova Indeed, he upper bounds 3 and 35 yield dy y H D, x, y x y α dy C 2 2 R d + x y d 2 e x y 2 K x y α dy = C 3 α 2 and, in view of he upper bound in 23, dy w y C and he upper bound in 3, we have dy y H D, x, y x y α dy C 4 R d x y d 2 e x y 2 K x y α dy = C 5 α 2. This proves 43. We inroduce now a good family of cuoff funcions χ depending on a lengh scale l. Lemma 3 Le be a bounded domain wih C 2 boundary. For l>small enough depending on here exis cuoff funcions χ wih he properies: χ, χy = if dy 4 l, χy = for dy 2 l, k χ Cl k wih C independen of l and χy dy C x y d+ j dx j 44 and χy x y d α Cdx α 45 hold for j > d, α<d and dx l. We will refer o such χ as a good cuoff. Proof There exiss a lengh l such ha if P is a poin of he boundary, and if P y 2l, hen y if and only if afer a roaion and a ranslaion y d > Fy, where y = y,...,y d and F is a C 2 funcion wih F =, F =, F. We ook hus wihou loss of generaliy coordinaes such ha P =, and he normal o a P is,...,,. Nowifl<l and dx l and y P l 2 saisfies dy 2 l, hen here exiss a poin Q BP,l such ha x y 2 6 y Q 2 + dx 2 6 y Q 2 + dx 2 Indeed, if x P l we ake Q = P because hen x y = x P + P y l l 2,so x y y Q 2. Bu also x y dx 2 because here exiss a poin P = p, Fp such ha y P =dy 2 l while obviously x P dx l. If, on he oher hand x P <l, hen x is in he neighborhood of P and we ake Q = x. Because y P = y p, y d Fp we have dy y d Fy dy

13 Criical SQG in Bounded Domains Page 3 of 42 8 for y BP,l. We ake a pariion of uniy of he form = ψ + N j= ψ j wih ψ k C Rd, subordinaed o he cover of he boundary wih neighborhoods as above, and wih ψ suppored in dx l 4, idenically for dx l 2, ψ j suppored near he boundary in balls of size 2l and idenically on balls of radius l. The cuoff will be aken of he form χ = α + N j= χ j y d Fy l α j y, where of course he meaning of y changes in each neighborhood. The smooh funcions χ j z, are idenically zero for z 4 and idenically for z 22. The inegrals in 44 and 45 reduce o inegrals of he ype y χ d Fy l y d >Fy, y l x y d+ j C dy χ ul du R d dy Cldx j Cdx j y Q 2 +dx 2 d+ j 2 and y d >Fy, y l yχ y d Fy l x y d α C χ z dz Cdx α. dy dy R d y Q 2 +dx 2 d α 2 This complees he proof. We recall from [6] ha he Córdoba-Córdoba inequaliy [4] holds in bounded domains. In fac, more is rue: here is a lower bound ha provides a srong boundary repulsive erm: Proposiion Le be a bounded domain wih smooh boundary. Le s < 2. There exiss a consan c > depending only on he domain and on s, such ha, for any,ac 2 convex funcion saisfying =, and any f C, he inequaliy f s D f s D f c f dx s f f 46 holds poinwise in. The proof follows in a sraighforward manner from he proof of [6] using convexiy, approximaion, and he lower bound 42. We prove below wo nonlinear lower bounds for he case f = f 2 2, one when f is a localized finie difference, and one when f is a localized firs derivaive. The proof of Proposiion can be lef as an exercise, following he same paern as below.

14 8 Page 4 of 42 P. Consanin, M. Ignaova Theorem 3 Le f L be smooh enough C 2, e.g. and vanish a he boundary, f D s D wih s < 2. Then D f = f s D f 2 s D f 2 = γ 2 s d H D x, y, f x f y 2 dy + γ f 2 x 2 s [ e ] xd = γ 2 s d H D x, y, f x f y 2 dy + f 2 x 2 s D. 47 holds for all x. Hereγ = c s 2 wih c s of 29. Le l> be a small number and le χ C, χ be a good cuoff funcion, wih χy = for dy l 2, χy = for dy l 4 and wih χy C l. There exis consans γ > and M > depending on such ha, if qx is a smooh funcion in L hen if hen f x = χxδ h qx = χxqx + h qx D f = f s D f x 2 s D f 2 x γ h s f dx 2+s q s L + γ f 2 x dx s 48 holds poinwise in when h 6 l, and dx l wih f d x = Proof We sar by proving 47: f x, if f x M q L h dx,, if f x M q L h dx. 49 f x s D f x 2 s D f 2 x = c s 2 s {[ ] f x 2 f xh D, x, y f y } 2 f 2 x + 2 H D, x, y f 2 y dy = c s 2 s d { 2 [ [ HD, ]} x, y f x f y 2] + 2 f 2 x H D, x, y dy = c s 2 s d { 2 [ HD, x, y f x f y 2] dy+ 2 f 2 x [ e ] x } = c s 2 s d 2 [ HD, x, y f x f y 2] dy + 2 f 2 x s D. I follows ha f s D f 2 s D f 2 x 2 c s ψ 2 s d H D, x, y f x f y 2 dy + 2 f 2 x s D 5

15 Criical SQG in Bounded Domains Page 5 of 42 8 where >isarbirary and ψs is a smooh funcion, vanishing idenically for s and equal idenically o for s 2. We resric o T, f s D f 2 s D f 2 x 2 c s T ψ 2 s d H D, x, y f x f y 2 dy + 2 f 2 x s D 5 and open brackes in 5: f s D f 2 s D f 2 x 2 f 2 T xc s ψ 2 s d H D, x, ydy T f xc s ψ 2 s d H D, x, y f ydy + 2 f 2 x s D 52 f x [ 2 f x I x Jx ] + 2 f 2 x s D wih and T I x = c s ψ 2 s d H D, x, ydy, 53 Jx = c s T ψ 2 s d H D, x, y f ydy = c s T ψ 2 s d H D, x, yχyδ h qydy. 54 We proceed wih a lower bound on I and an upper bound on J. For he lower bound on I we noe ha, in view of 4 and he fac ha T I x = c s ψ 2 s x, d we have mint,d 2 x I x c ψ = c s 2 mint,d 2 x s 2 d ψuu s 2 du. Therefore we have ha I x c 2 2 s 55 2 wih c 2 = c ψuu 2 s du, a posiive consan depending only on and s, provided is small enough, 2 mint, d2 x. 56

16 8 Page 6 of 42 P. Consanin, M. Ignaova In order o bound J from above we use 43 wih α =. Now We have ha Indeed, J c s T ψ 2 s d δ h H D, x, yχyqydy + c s T ψ 2 s d H D, x, y hδ h χyqydy T J 2 = c s ψ 2 s d C 6 h dx q L s 2. H D, x, y hδ h χyqydy d 2 e x y 2 K C K x y d so he bound follows from 3 and 45. On he oher hand, J = c s T ψ 2 s d δ h H D, x, yχyqydy q L h T ψ 2 s d y H D, x, y dy and herefore, in view of 43 J C h q L T ψ s d and herefore wih J C 7 h q L 2 s 2 57 C 7 = C ψuu s du a consan depending only on and s. In conclusion J C 8 2 s h 2 + dx q L. 58 Now, because of he lower bound 52, if we can choose so ha Jx f x I x 4

17 Criical SQG in Bounded Domains Page 7 of 42 8 hen i follows ha [ f s D f ] 2 s D f 2 x 4 f 2 xi x + 2 f 2 x s D. 59 Because of he bounds 55, 58, if f x 8C 8 c 2 h dx q L, hen a choice x 2 = C9 q L f x h 6 wih C 9 = c 2 8C 8 achieves he desired bound. This concludes he proof. We are providing now a lower bound for D f for a differen siuaion. Theorem 4 Le l>be a small number and le χ C, χ be a good cuoff funcion, wih χy = for dy 2 l, χy = for dy 4 l and wih χy C l. There exis consans γ 2 > and M > depending on such ha, if qx is a smooh funcion in C α wih <α<and f x = χx qx, hen D f = f s D f x 2 s D f 2 x γ 2 f d x 2+ s α holds poinwise in when dx l, wih q s α C α dx sα α +γ f 2 x dx s 6 { f x, if f x M q L f d x = dx,, if f x M q L dx. 62 Proof We follow exacly he proof of Theorem 3 up o, and including he definiion of I x given in 53. In paricular, he lower bound 55 is sill valid, provided is small enough 56. The erm J sars ou he same, bu is reaed slighly differenly, Jx = c s T ψ 2 s d H D, x, y f ydy = c s T ψ 2 s d H D, x, yχy y qy qxdy. 63

18 8 Page 8 of 42 P. Consanin, M. Ignaova In order o bound J we use 45 and 43. Jx c s T ψ 2 s d y H D, x, yχyqy qxdy + c s T ψ 2 s d H D, x, y χyqy qxdy = J x + J 2 x We have from 3 and 45, as before, T J 2 x = c s ψ 2 s d Cdx q L s 2. H D, x, y χyqy qxdy On he oher hand, T J x = c s ψ 2 s d y H D, x, yχyqy qxdy T c s dx α q C α ψ 2 s d y H D, x, y x y α dy In view of 43 x y dx T + c s q L = J x + J 2 x. ψ J x C dx α q C α 2 s d y H D, x, y dy x y dx T ψ 3 α 2 2 s d and so wih J x C 2 dx α q C α α 2 s 2 64 C 2 = C ψzz 3 α 2 s 2 dz a consan depending only on and s. Regarding J 2 x we have in view of 35 T J 2 x C q L ψ s 2 + e dx2 2K d dx C 3 2 s dx q L

19 Criical SQG in Bounded Domains Page 9 of 42 8 because, in view of 23 w y x y C dy x y C dy dx on he domain of inegraion. In conclusion Jx C 3 s 2 ] [ α 2 dx α q C α + dx q L. 65 The res is he same as in he proof of Theorem 3:If f x Mdx q L for suiable M,M = 8C 3 c2 hen we choose such ha f x q C α = M α 2 dx α, and his yields f x I 4 Jx, and consequenly, in view of 59 which is hen valid, he resul 6 is proved. We specialize from now on o s =. 4 Bounds for Riesz Transforms We consider u given in 8, u = D θ. We are ineresed in esimaes of u in erms of θ, and in paricular esimaes of finie differences and he gradien. We fix a lengh scale l and ake a good cuoff funcion χ C which saisfies χx = ifdx 2 l, χx = ifdx 4 l, χx Cl,44 and 45. We ake h 4 l. In view of he represenaion we have on he suppor of χ δ h ux = c D = c 2 e d 66 2 d δ x h x H Dx, y, θydy. 67 We spli wih δ h u = δ h u in + δ h u ou 68 ρ 2 δ h ux in = c 2 d δh x x H Dx, y, θydy 69

20 8 Page 2 of 42 P. Consanin, M. Ignaova and ρ = ρx, h > a lengh scale o be chosen laer bu i will be smaller han he disance from x o he boundary of : ρ cdx. 7 We represen δ h u in x = u h x + v h x 7 where ρ 2 u h x = c 2 d x Hx, y, χyδ hθy χxδ h θxdy 72 and where v h x = e x + e 2 x + e 3 x + χxδ h θxe 4 x 73 wih ρ 2 e x = c 2 d x H Dx + h, y, H D x, y, χyθydy, 74 ρ 2 e 2 x = c 2 d x H Dx + h, y, H D x, y h, χyθydy, 75 ρ 2 e 3 x = c 2 d x H Dx, y, χy + h χyθy + hdy, 76 and ρ 2 e 4 x = c 2 d x H Dx, y, dy. 77 We used here he fac ha χθ and χθ +h are compacly suppored in and hence x H Dx, y h, χyθydy = x H Dx, y, χy + hθy + hdy. The following elemenary lemma will be used in several insances: Lemma 4 Le ρ>, p>. Then ρ 2 m 2 p j e p2 K d CK,m, j p m 78 if m, j, m+ j >, and ρ 2 e p2 K ρ K d CK + 2log + p 79

21 Criical SQG in Bounded Domains Page 2 of 42 8 if m = and j =, wih consans C K,m, j and C K independen of ρ and p. Noe ha when m + j >, ρ = is allowed. We sar esimaing he erms in 73. For e we use he inequaliy 36, and i hen follows from Lemma 4 wih m = d + ha e x C h θ L dλ χydy x + λh y d+ and herefore we have from 44 ha h e x C θ L dx 8 holds for dx l. Concerning e 3 we use Lemma 4 wih m = d and j =, in conjuncion wih 32 and obain e 3 x C h θ L χy x y d dy and herefore we obain from 45 h e 3 x C θ L dx 8 holds for dx l. Regarding e 4 we can spli i ino e 4 x = e 5 x + e 6 x wih and e 5 x = e 6 x = ρ 2 2 ρ 2 2 x H Dx, y, χydy x H Dx, y, χydy. Now e 6 is bounded using he Lemma 4 wih m = d and j =, in conjuncion wih 32 and 44 and obain e 6 x C χy x y d dy C 82 for dx l, wih a consan independen of l.fore 5 we use he fac ha χ is a fixed smooh funcion which vanishes a he boundary.

22 8 Page 22 of 42 P. Consanin, M. Ignaova In order o bound he erms e 2 and e 5 we need o use addiional informaion, namely he inequaliies 37 and 38. For e 5 we wrie e 5 x = ρ2 2 d x H Dx, y, + y H Dx, y, χydy + ρ2 2 d H D x, y, y χydy, and using 37 and Lemma 4 wih m =, j = and 45 we obain he bound e 5 x C ρ χy + log + + Cρ dx x y d dy and herefore, in view of 45 and ρ dx we have e 5 x C 83 for dx l, wih C depending on bu no on l. Consequenly, we have e 4 x C 84 for dx l, wih a consan C depending on only. In order o esimae e 2 we wrie H D x + h, y, H D x, y h, = h x + y H D x +λh, y +λ h, dλ 85 and use 38 and Lemma 4 wih m =, j = o obain e 2 x h θ L dλ ρ2 2 d x x + y H D x + λh, y + λ h χy dy C h θ L dλ ρ2 2 3 e dx2 4K d and hus h e 2 x C θ L dx holds for dx l. Summarizing, we have ha 86 h v h x C θ L dx + C δ hθx 87 for dx l. We now esimae u h using 32 and a Schwarz inequaliy u h x c ρ2 x y + H D x, y, χδ h θy χδ h θxdy } ρ { ρ2 2 3 d H D x, y, χδ h θy χδ h θ 2 2 dy

23 Criical SQG in Bounded Domains Page 23 of 42 8 We have herefore u h x C ρ D f x. 88 where f = χδ h θ and D f is given in Theorem 3. Regarding δ h u ou we have δ h u ou h x C θ L ρ 89 in view of 36. Puing ogeher he esimaes 87, 88 and 89 wehave Proposiion 2 Le χ be a good cuoff, and le u be defined by 8. Then δ h ux C ρ D f x + θ L h dx + h + δ h θx ρ 9 holds for dx l, ρ cdx, f= χδ h θ and wih C a consan depending on. Now we will obain similar esimaes for u. We sar wih he represenaion ux = u in x + u ou x 9 where ρ 2 u in x = c 2 x x H Dx, y, θydy 92 and ρ = ρx cdx. Inviewof36 wehave u ou x C ρ θ L 93 We spli now u in x = gx + g x + g 2 x + g 3 x + g 4 x f x 94 where and wih and f x = χx θx 95 ρ 2 gx = c 2 x H Dx, y, f y f xdy, 96 ρ 2 g x = c g 2 x = c g 3 x = c 2 ρ 2 2 ρ 2 2 x x H Dx, y, χyθydy, 97 x x + y H D x, y, χyθydy, 98 x H Dx, y, y χyθydy, 99

24 8 Page 24 of 42 P. Consanin, M. Ignaova and ρ 2 g 4 x = c 2 x H Dx, y, dy. Now g x C dx θ L holds for dx l because of 36, ime inegraion using Lemma 4 and hen use of 44. For g 2 x we use 38 and hen Lemma 4 o obain g 2 x C dx θ L 2 for dx l. Now g 3 x C dx θ L 3 holds because of 32, Lemma 4 and hen use of 45. Regarding g 4,inviewof we have ρ 2 g 4 x = c 2 x y H Dx, y, dy = 4 + y H D x, y, dy and, we hus obain from 37 and from Lemma 4 wih m = j = because ρ cdx. Finally we have using a Schwarz inequaliy like for 88 Gahering he bounds we have proved g 4 x C 5 gx C ρ D f. 6 Proposiion 3 Le χ be a good cuoff wih scale l and le u be given by 8. Then ux C ρ D f + θ L dx + + θx ρ 7 holds for dx l, ρ cdx and f = χ θ wih a consan C depending on.

25 Criical SQG in Bounded Domains Page 25 of Commuaors We consider he finie difference δ h D θx = D θx + h D θx 8 wih dx l and h 6 l. We use a good cuoff χ again and denoe We sar by compuing δ h D θx = D f x + c f x = χxδ h θx d H D x, y, H D x + h, y, χyθydy C 2 3 d H D x + h, y, H D x, y h, χyθydy c 2 3 d H D x, y, δ h χyθy + hdy = D f x + E x + E 2 x + E 3 x. Lemma 5 There exiss a consan Ɣ such ha he commuaor C h θ = δ h D θ D χδ h θ obeys h C h θx Ɣ dx 2 θ L 2 for dx l, h 6 l,f= χδ hθ and θ H L. Proof We use. For E x we use a similar argumen as for e leading o 8, namely he inequaliy 3 and Lemma 4 wih m = d + 2, j =, and 44 o obain E x C h dx 2 θ L. For E 2 we proceed in a manner analogous o he one leading o he bound 86, by using 85, 37, Lemma 4 wih m = d + 2, j =, and 45 o obain E 2 x C h dx 2 θ L. For E 3 we use E 3 x h θ L 3 2 d H D x, y, χy dy

26 8 Page 26 of 42 P. Consanin, M. Ignaova and using Lemma 4 wih m = d +, j = and 45 we obain E 3 x C h dx 2 θ L, concluding he proof. We consider now he commuaor [, D ]. Lemma 6 There exiss a consan Ɣ 3 depending on such ha for any smooh funcion f vanishing a and any x we have [, D ] f x Ɣ 3 dx 2 f L. 3 If χ is a good cuoff wih scale l and if θ is a smooh bounded funcion in D D, hen C χ θ = D θ D χ θ 4 obeys C χ θx = D θ D χ θx Ɣ 3 dx 2 θ L 5 for dx l, wih a consan Ɣ 3 independen of l. Proof We noe ha [, D ] f x = c 2 3 x H D x, y, f y H D x, y, y f y dy 6 and herefore [, D ] f x = c 2 3 x + y HD x, y, f ydy. 7 The inequaliy 3 follows from 37 and Lemma 4. For he inequaliy 5 we need also o esimae Cx = c s 2 3 H D x, y, χyθydy by he righ hand side of 5, and his follows from 45 inviewof3. 6 SQG: Hölder Bounds We consider he equaion 7 wih u given by 8 and wih smooh iniial daa θ compacly suppored in. We noe ha by he Córdoba-Córdoba inequaliy we have We prove he following uniform inerior Hölder bound: θ L θ L. 8

27 Criical SQG in Bounded Domains Page 27 of 42 8 Theorem 5 Le θx, be a smooh soluion of 7 in he smooh bounded domain. There exiss a consan <α< depending only on θ L, and a consan Ɣ> depending on he domain such ha, for any l> sufficienly small θx + h, θx, sup dx l, h 6 l, h α θ C α + Ɣl α θ L 9 holds. Proof We ake a good cuoff χ used above, h 6 l and observe ha, from he SQG equaion we obain he equaion + u +δ h u h δ h θ+ D χδ h θ+ C h θ = 2 where C h θ is he commuaor given above in. Denoing as before in 9 f = χδ h θ we have afer muliplying by δ h θ and using he fac ha χx = for dx l, 2 L χ δ h θ 2 + D f + δ h θc h θ = 2 where L χ g = g + u x g + δ h u h g + D χ 2 g 22 and D f is given in Theorem 3. Muliplying by h 2α where α> will be chosen small o be small enough we obain δh θx 2 + h 2α D f 2α δ hu h δh θx 2 + C h θ δ h θ h 2α. 2 L χ h 2α h 2α The facor 2α comes from he differeniaion δ h u h h 2α and is smallness will be crucial below. Le us record here he inequaliy 47 in he presen case: D f γ h θ L δ h θ d 3 + γ dx δ h θ 2, 24 valid poinwise, when h 6 l and dx l, where δ h θ d = δ h θ, h if δ h θx M θ L dx, and δ h θ d = oherwise.

28 8 Page 28 of 42 P. Consanin, M. Ignaova We use now he esimaes 9, 2 and a Young inequaliy for he erm involving ρ D f o obain 2 L χ δh θx 2 h 2α + 2 h 2α D f C α 2 h 2 2α ρ δ h θ 4 dx + ρ + C α θ L h 2α δ h θ 2 + C α δ h θ h 2α δ h θ 2 + Ɣ h dx 2 θ L δ hθ h 2α 25 for dx l, h 6 l. Le us choose ρ now. We se ρ = δ h θx h θ L, if δ h θx M θ L h dx, dx, if δ h θx M θ L h dx, 26 where we pu M = M + 8Ɣ γ +, 27 where M is he consan from Theorem 3, Ɣ is he consan from 2 and γ is he consan from 24. This choice was made in order o use he lower bound on D f o esimae he conribuion due o he inner piece u h see 72 of δ h u and he conribuion from he commuaor C h θ. We disinguish wo cases. The firs case is when δ h θx M θ L h. Then we have dx 2 L δh θx 2 χ h 2α + 2 h 2α D f C [α θ L ] α θ L M δ h θ 3 h 2α θ L + Ɣ h dx 2 θ L δ hθ h 2α. 28 The choice of M was such ha, in his case Ɣ h dx 2 θ L δ hθx h 2α γ 8 δ hθx 3 h 2α θ L. We choose now α by requiring ɛ = α θ L 29 o saisfy C M 2 ɛ M ɛ γ 8 3

29 Criical SQG in Bounded Domains Page 29 of 42 8 and obain from 28 2 L χ δh θx 2 h 2α + 4 h 2α D f 3 for dx l, h 6 l, in he case f M θ L h dx. The second case is when he opposie inequaliy holds, i.e, when δ h θx M θ L h. Then, using ρ = dx we obain from 25 2 L χ dx δh θx 2 h 2α + 2 h 2α D f C M 2 ɛ2 + M + 2ɛ dx δ hθx 2 h 2α + Ɣ dx 2 θ L δ h θ h 2α δh θx 2 γ 8dx h 2α + 2Ɣ M θ 2 L dx 3 h 2 2α. 32 Summarizing, in view of he inequaliies 3 and 32, he damping erm γ dx δ hθx 2 in 24 and he choice of small ɛ in 3, we have ha δh θx 2 L χ h 2α + γ 4dx holds for dx l and h l 6 where δh θx 2 h 2α B 33 B = α Ɣ M θ 2 L dx 2α = Ɣ γ 4 θ 2 L dx 2α 34 wih Ɣ depending on. Wihou loss of generaliy we may ake Ɣ > 46 2α so ha δ h θ 2 h 2α <Ɣ l 2α θ 2 L when h 6 l. We noe ha δh θx 2 L χ h 2α + γ δh θx 2 4dx h 2α Ɣ l 2α θ 2 L 35 holds for any, x wih dx l and h l 6. We ake δ>, T >. We claim ha, for any δ> and any T > holds. δ h θx 2 ] sup dx l, h 6 l, T h 2α + δ [ θ C 2 α + Ɣ l 2α θ 2 L

30 8 Page 3 of 42 P. Consanin, M. Ignaova The res of he proof is done by conradicion. Indeed, assume by conradicion ha here exiss T, x and h wih d x l and h 6 l such ha θ x + h, θ x, 2 ] h 2α > + δ [ θ C 2 α + Ɣ l 2α θ 2 L = R holds. Because he soluion is smooh, we have δ h θx, 2 h 2α + δ θ 2 C α for a shor ime. Noe ha his is no a saemen abou well-posedness in his norm: may depend on higher norms. Also, because he soluion is smooh, i is bounded in C, and δ h θx 2 sup dx l, h 6 l h 2 C on he ime inerval [, T ]. I follows ha here exiss δ > such ha δ h θx 2 sup dx l, h δ h 2α Cδ 2 2α R 2. In view of hese consideraions, we mus have >, h δ. Moreover, he supremum is aained: here exiss x wih d x l and h = such ha δ h 6 l such ha θ x + h, θ x, 2 Because of 35 we have ha h 2α = s = sup dx l, h l 6 d θ x + h, θ x, 2 d h 2α < = δ h θ 2 h 2α > R. and herefore here exiss < such ha s >s. This implies ha inf{ > s >R} = which is absurd because we made sure ha s <R.Nowδ and T are arbirary, so we have proved δ h θx 2 ] sup dx l, h 6 l, h 2α [ θ C 2 α + Ɣ l 2α θ 2 L 36 which finishes he proof of he heorem.

31 Criical SQG in Bounded Domains Page 3 of 42 8 Proof of Theorem The proof follows from 36 because Ɣ does no depend on l. For any fixed x we may ake l such ha l dx 2l. Then 36 implies dx 2α δ hθx, 2 h 2α [ θ 2 C α + Ɣ 2 2α θ 2 L ] Gradien Bounds We ake he gradien of 7. We obain + u θ + u θ + D θ = where u is he ransposed marix. Le us ake a good cuoff χ. Then g = θ obeys everywhere g + u g + D χg + C χ θ + u g = 38 wih C χ given in 4. We muliply by g and, using he fac ha χx = when dx l we obain 2 L χ g 2 + D f + gc χ θ + g u g = 39 when dx l, where L χ is similar o he one defined in 22: L χ φ = φ + u φ + D χ 2 φ 4 and f = χg. Recall ha D f = f D f f 2 D 2. Then, using 5 and 7 we deduce 2 L χ g 2 + D f Ɣ 3 ρ dx 2 g θ L +C D f + θ L dx + + θx g 2 ρ 4 for dx l. Using a Young inequaliy we deduce L χ g 2 + D f 2Ɣ 3 dx 2 θ L g +C 4 ρg 4 +C 4 θ L dx + g 2 +C 4 g 3 ρ 42 for dx l.now g = f when dx l.if gx M θ L dx hen, in view of 6 D f γ 2 θ α C α g 3+ α α dx α α + γ dx g2 43

32 8 Page 32 of 42 P. Consanin, M. Ignaova which is a super-cubic lower bound. We choose in his case ρ = C 5 gx, 44 and he righ hand side of 42 becomes a mos cubic in g: [ L χ g 2 + D f g 3 2Ɣ 3 M 2 +C 4 + ] θ L C 5 M +C 5 θ L + = K g In view of 43 we see ha L χ g 2 + g 3 γ 2 θ α α C α gx dx α K 46 holds for dx l, if g M θ L dx. In he opposie case, gx M θ L dx we choose and obain from 42 ρx = dx 47 L χ g 2 + D f [C dx 3 4 M 4 θ 4 L + C 4M 3 θ 3 L ] 48 +2C 4 M 2 θ 3 L + 2MƔ 3 θ 2 L = K dx 3 and using he convex damping inequaliy 6 we obain in his case D f γ g 2 dx L χ g 2 + γ g 2 x K dx dx Puing ogeher 46 and 49 and 9 we obain Theorem 6 Le θ be a smooh soluion of 7. Then [ sup θx, C θ L + P θ ] L dx l l 5 where P θ L is a polynome of degree four. Proof of Theorem 2 The proof follows by choosing l depending on x, because he consans in 5 do no depend on l.

33 Criical SQG in Bounded Domains Page 33 of Example: Half Space The case of he half space is ineresing because global smooh soluions of 7 are easily obained by reflecion: If he iniial daa θ is smooh and compacly suppored in = R d + and if we consider is odd reflecion θ x = { θ x,...x d, if x d >, θ x,..., x d if x d < 5 hen he soluion of he criical SQG equaion in he whole space, wih iniial daa θ is globally smooh and is resricion o solves 7 here. This follows because of reflecion properies of he hea kernel and of he Dirichle Laplacian. The hea kernel wih Dirichle boundary condiions in = R d + is Hx, y, = c d 2 e x y 2 4 e x ỹ 2 4 where ỹ = y,...,y d, y d. More precisely, Hx, y, = G d x y [G x d y d G x d + y d ] 52 wih x = x,...,x d, and Le us noe ha d G d x 2 = e x π G ξ = x H = H 2 e ξ π x d y d 2 x y 2 + y d e x d y d e x d y d 55 We check ha 32 is obeyed. Indeed, because e p p 2 when p i follows ha y d x d y d e e x d y d y d 2 x d y d if x d y d, and if p = x d y d hen y d x d y d e e x d y d e y d x d y d e e.

34 8 Page 34 of 42 P. Consanin, M. Ignaova In his case, if x d hen y d y d = 2 y d x d + x d and hus we obain: 2 p and pe p is bounded; if x d we wrie [ x y x H CH + + ] x d 56 We check 37: Firs we have x + y H = x d +y d G x d + y d G d x y 57 and hen x + y Hx, y, dy C 2 e x2 d Indeed, he only nonzero componen occurs when he differeniaion is wih respec o he normal direcion, and hen Therefore xd + yd Hx, y, = c d 2 e x y 2 4 x + y Hx, y, dy C 2 We check 38: firs xd + y d xd + y d = C 2 xd ξe ξ2 4 dξ x x + y H = x d + y d G x d + y d x y 2 xd x + y H = x d + y d e x d +y d e x d +y d 2 4 dy d = C 2 e x2 d 4. 6 G d x y G x d + y d G d x y 6 Consequenly x x + y Hx, y, C d 2 + x y + x d +y d 2 e x y 2 4 e x d +y d and 38 follows: x x + y Hx, y, dy C + z 2 e z 2 2 x dz. d 2

35 Criical SQG in Bounded Domains Page 35 of 42 8 We compue and D : and herefore x, = e x = Hx, y, dy = 2π 2 3 e d = d 2π e x d 2 xd 2 e x d 2 ξ 2 2 dξ 63 ξ 2 2 dξ = 4 x d π. Remark 3 We noe here ha s D = C s yd s is calculaed by dualiy: s D,φ =, s D φ = c s dx 2 s [ d φx Hx, y, φydy ] = c s 2 s [ d φxdx y d, φydy ] = c s 2 s d y d, φydy = 2c s 2π φy = C s yd s φydy 2 s d yd e ξ2 2 dξ 2 where we used he symmery of he kernel H and 63. We observe ha if we consider horizonal finie differences, i.e. h d = hen C h θ vanishes, and we deduce ha sup h α θx + h, x d, θx, x d, C,α 64 x,h, wih C,α he parial C α norm of he iniial daa. This inequaliy can be used o prove ha u 2 is bounded when d = 2. Indeed u 2 x, = c x y 3 x ỹ 3 x y θy, dy 65 and he bound is obained using he parial Hölder bound on θ 64 and he uniform bounds θ L p for p =,. The ouline of he proof is as follows: we spli he inegral wih u in 2 x = c x y δ, x 2 y 2 δ u 2 = u in 2 + uou 2 66 x y 3 x ỹ 3 x y θy, y 2, θx, y 2, dy 67

36 8 Page 36 of 42 P. Consanin, M. Ignaova and u ou 2 x = c max{ x y, x 2 y 2 } δ x y 3 x ỹ 3 x y θy, y 2, dy 68 where in 67 we used he fac ha he kernel is odd in he firs variable. Then, for u in we use he bound 64 o derive u in 2 x C,αC 2δ ρ +α dρ = CC,α δ α 69 and for u ou, if we have no oher informaion on θ we jus bound L u ou 2 x C log θ L + CL 2 θ δ L 7 wih some L δ.bohδ and L are arbirary. Finally, le us noe ha even if θ C, he angenial componen of he velociy need no vanish a he boundary because i is given by he inegral 2y 2 u x,, = c θy, dy. R 2 + x y 2 + y Acknowledgemens The work of PC was parially suppored by NSF Gran DMS Appendix We skech here he proofs of 3637 and 38. We ake a poin x, a poin y and disinguish beween wo cases, if d x < x y 4 and if d x x y 4. In he firs d x case we ake a ball B of radius δ = 8 cenered a x and in he second case we ake d x also a ball B cenered a x bu wih radius δ = 2. We noe ha in boh cases he radius δ is proporional o d x.weakex B x, 2 δ,wefixy, ake he funcion hz, = H D z, y,, and apply Green s ideniy in he domain U = B,. We obain [ = U s z hz, sg s x z + hz, s s + z G s x z ] dzds [ ] = hx, G x y + G s x z hz, s B hz, s G s x z n n and hus [ G s x z H D x, y, = G x y hz, s B n ] hz, s G s x z n

37 Criical SQG in Bounded Domains Page 37 of 42 8 We noe ha he x dependence is only via G, and x z is bounded away from zero. We differeniae wice under he inegral sign, and use he upper bounds 3, 32. We have x x H D x, y, x x G x y C s d+3 x z 2 p 3 e x z 2 4 s s d 2 e y z 2 Ks dzds B s min{;d 2 y} + s d+2 x z 2 p 2 e x y 2 4 s s d+ 2 p y z B s s + s d+2 x z 2 p 2 e x y 2 4 s s d w y 2 s dy y z min{;d 2 y} B e y z 2 Ks dzds y z 2 e Ks dzds where p k ξ are polynomials of degree k. The inegrals are no singular. In boh cases x z 2 δ, and any negaive power s k 2 can be absorbed by e x z 2 8 s a he price x z k Cδ k, sill leaving e x z 2 8 s available. Similarly, in he firs case y z x y δ δ and in he second case y z x z x y 2 δ.any power s k 2 e y z 2 2Ks can be absorbed by e y z 2 2Ks a he price y z k Cδ k sill leaving available. We noe ha if dy <dx so ha dy 2 < is possible, hen, in w view of 23 wehave y y z dy Cδ. We also noe ha view of he fac ha we have a bound s x y 2 2 x z 2 s + s y z 2 s e x z 2 8 s y z 2 2Ks e x y 2 K wih K = 6 + 4K. Pulling his exponenial ou and esimaing all he res in erms of δ we obain, in boh cases, all he inegrals bounded by Cδ d 4 and herefore we have, in boh cases, x x H D x, y, x x G x y Ce x y 2 K δ d 4 C d x y 2 2 e K because cδ 2. This proves 36. For 37 and 38 we sar by noicing ha i is enough o prove he esimaes x + y H D x, y, dy C 2 e dx2 K 7 Bx, dx 4

38 8 Page 38 of 42 P. Consanin, M. Ignaova and x x + y H D x, y, dy C e dx 2 K 72 Bx, dx 4 for < cd 2 x. Indeed, if x y dx 4, individual Gaussian upper bounds for up o wo derivaives of H D suffice here is no need for cancellaions. In order o prove 7 and 72 we use a good cuoff χ wihascalel = dx dx.weakey Bx, 4. Boh x and y are fixed for now. We noe ha he funcion solves z hz = χzg z y hz, = [χzg z y + 2 χz G z y] = Fz, y,, vanishes for z, and has iniial daum h = χzδz y, so, by Duhamel hz, = e h + e s Fsds, which, in view of e f z = H Dz,w, f wdw yields χzg z y = χyh D z, y, + H D z,w, sfw, sdwds for all z, and recalling ha χx = χy =, and reading a z = x we have H D x, y, = G x y + H D x,w, s [χwg s w y + 2 χw G s w y] dwds. 73 The righ hand side inegral is no singular and can be differeniaed because he suppor of χ is far from he ball Bx, dx 4. Differeniaion x + y cancels he Gaussian G x y. The esimaes of he righ hand side d+ x + y H D x,w, sfw, y, sdwds C 2 e dx2 K and x x + y H D x,w, sfw, y, sdwds d+2 C 2 e dx2 K for < cd 2 x follow from Gaussian upper bounds. Inegraion dy on he ball B dx 4 picks up he volume of he ball, and hus 7 and 72 are verified.

39 Criical SQG in Bounded Domains Page 39 of 42 8 Appendix 2 We skech here he proof of local wellposedness of he equaion 7. We sar by defining a Galerkin approximaion. We consider he projecors P n P n f = n f j w j 74 j= wih f j = f xw jxdx. We consider for fixed n he approximae sysem where wih θ n + P n u n θ n + D θ n = 75 u n = D θ n = R D θ n 76 P n θ n x, = θ n x, = n θ n, j w j x 77 j= and wih iniial daa θ n = P n θ where θ is a fixed smooh funcion belonging o H H 2. Alhough i was wrien as a PDE, he sysem 75 is a sysem of ODEs for he coefficiens θ n, j = θ nw j dx. Le us noe ha P n does no commue wih bu does commue wih and funcions of i. The funcion u n is divergence-free and i is a finie sum of divergence-free funcions, u n x = n j= λ 2 j θ n, j w j x. 78 Noe however ha u n / P n L 2. The normal componen of u n vanishes a he boundary because w j ν =. Moreover, because P n u n θ n θ n dx = u n θ n θ n dx = i follows ha θ n L 2 is bounded in ime and herefore he soluion exiss for all ime. The following upper bound for higher norms is uniform only for shor ime, and i is he bound ha is used for local exisence of smooh soluions. We apply 2 D = o 75 and use he fac ha i is a local operaor, i commues wih P n and wih derivaives: 2 D θ n + P n u n 2 D θ n 2 u n θ n + 2 D u n θ n + 3 D θ n = 79

40 8 Page 4 of 42 P. Consanin, M. Ignaova We ake he scalar produc wih 2 D θ n. Because his is finie linear combinaions of eigenfuncions, i vansihes a and inegraion by pars is allowed. We obain d 2d 2 D θ n 2 L D θ n 2 L 2 2 D u n 2 L 2 2 D θ n L 2 θ n L We noe now ha + 2 u n L θ L 2 2 D θ L D u n = n j= θ n, j λ 2 j w j = D 2 D θ n = R D 2 D θ n. 8 Now R D is bounded in L 2 I is in fac an isomery on componens; his follows from 27, herefore 2 D u n L 2 2 D θ n L The fac ha R D is bounded in L 4 is also rue [9]. Then 2 D u n L 4 2 D θ n L Moreover, i is known see for insance [] ha in d = 2wehave and herefore f L 4 C 2 D f L 2 and θ n L D θ n L u n L 4 C 5 2 D θ n L Now we use he Sobolev embedding φ L C φ L 4 + φ L 2 86 and deduce, using also a Poincaré inequaliy d d 2 D θ n 2 L D θ n 2 L 2 C 2 D θ n 2 L D θ L 2. 87

41 Criical SQG in Bounded Domains Page 4 of 42 8 Thus, afer a Young inequaliy we deduce ha T sup 2 D θ n 2 L T D θ n 2 L 2 d C 2 D θ 2 L 2 88 holds for T depending only on 2 D θ L 2, wih a consan independen of n. The following resul can now be obained by assing o he limi in a subsequence and using a Aubin-Lions lemma [2]: Proposiion 4 Le θ H H 2 in d = 2. There exiss T > a unique soluion of 7 wih iniial daum θ saisfying θ L, T ; H H 2 L 2, T ; D 2.5 D. 89 Higher regulariy can be obained as well. Because he proof uses L 2 - based Sobolev spaces and Sobolev embedding, i is dimension dependen. A proof in higher dimensions is also possible, bu i requires using higher powers of, and will no be pursued here. References. Cabre, X., Tan, J.: Posiive soluions of nonlinear problems involving he square roo of he Laplacian. Adv. Mah. 2245, Caffarelli, L.A., Vasseur, A.: Drif diffusion equaions wih fracional diffusion and he quasigeosrophic equaion. Ann. Mah. 73, Casro, A., Córdoba, D., Gomez-Serrano, J., Marin, A.: Remarks on geomeric properies of he SQG sharp fron and he alpha-paches. Discre. Conin. Dyn. Sys. 342, Casro, A., Córdoba, D., Gomez-Serrano, J.: Global smooh soluions for he inviscid SQG equaion. Preprin 26. arxiv: Consanin, P.: Geomeric saisics in urbulence. SIAM Rev. 36, Consanin, P., Ignaova, M.: Remarks on he fracional Laplacian wih Dirichle boundary condiions and applicaions. In. Mah. Res. No. 26. doi:.93/imrn/rnw98 7. Consanin, P., Vicol, V.: Nonlinear maximum principles for dissipaive linear nonlocal operaors and applicaions. GAFA 22, Consanin, P., Wu, J.: Regulariy of Hölder coninuous soluions of he supercriical quasi-geosrophic equaion. Ann. Ins. H. Poincaré Anal. Non Linéaire 256, Consanin, P., Majda, A.J., Tabak, E.: Formaion of srong frons in he 2-D quasigeosrophic hermal acive scalar. Nonlineariy 76, Consanin, P., Córdoba, D., Wu, J.: On he criical dissipaive quasi-geosrophic equaion. Indiana Univ. Mah. J. 5Special Issue, Consanin, P., Lai, M.-C., Sharma, R., Tseng, Y.-H., Wu, J.: New numerical resuls for he surface quasi-geosrophic equaion. J. Sci. Compu. 5, Consanin, P., Tarfulea, A., Vicol, V.: Long ime dynamics of forced criical SQG. Commun. Mah. Phys. 335, Córdoba, D.: Nonexisence of simple hyperbolic blow-up for he quasi-geosrophic equaion. Ann. Mah , Córdoba, A., Córdoba, D.: A maximum principle applied o quasi-geosrophic equaions. Commun. Mah. Phys. 249, Córdoba, D., Fonelos, M.A., Mancho, A.M., Rodrigo, J.L.: Evidence of singulariies for a family of conour dynamics equaions. Proc. Nal Acad. Sci. U.S.A. 27,