Remarks on the global regularity for the super-critical 2D dissipative quasi-geostrophic equation

Σχετικά έγγραφα
2 Composition. Invertible Mappings

Every set of first-order formulas is equivalent to an independent set

Example Sheet 3 Solutions

Homework 8 Model Solution Section

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Uniform Convergence of Fourier Series Michael Taylor

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

ST5224: Advanced Statistical Theory II

Partial Differential Equations in Biology The boundary element method. March 26, 2013

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

4.6 Autoregressive Moving Average Model ARMA(1,1)

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Concrete Mathematics Exercises from 30 September 2016

D Alembert s Solution to the Wave Equation

Section 8.3 Trigonometric Equations

C.S. 430 Assignment 6, Sample Solutions

Statistical Inference I Locally most powerful tests

Problem Set 3: Solutions

Math221: HW# 1 solutions

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Homework 3 Solutions

Fractional Colorings and Zykov Products of graphs

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Finite Field Problems: Solutions

Areas and Lengths in Polar Coordinates

Approximation of distance between locations on earth given by latitude and longitude

Lecture 2. Soundness and completeness of propositional logic

Matrices and Determinants

derivation of the Laplacian from rectangular to spherical coordinates

SOME PROPERTIES OF FUZZY REAL NUMBERS

A Note on Intuitionistic Fuzzy. Equivalence Relation

Solutions to Exercise Sheet 5

EE512: Error Control Coding

Second Order Partial Differential Equations

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

Other Test Constructions: Likelihood Ratio & Bayes Tests

Areas and Lengths in Polar Coordinates

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

The Pohozaev identity for the fractional Laplacian

Inverse trigonometric functions & General Solution of Trigonometric Equations

6.3 Forecasting ARMA processes

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

New bounds for spherical two-distance sets and equiangular lines

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Section 7.6 Double and Half Angle Formulas

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Reminders: linear functions

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Second Order RLC Filters

Congruence Classes of Invertible Matrices of Order 3 over F 2

Tridiagonal matrices. Gérard MEURANT. October, 2008

CRASH COURSE IN PRECALCULUS

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

5. Choice under Uncertainty

Lecture 34 Bootstrap confidence intervals

Lecture 13 - Root Space Decomposition II

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Space-Time Symmetries

Srednicki Chapter 55

Numerical Analysis FMN011

Chapter 3: Ordinal Numbers

Appendix S1 1. ( z) α βc. dβ β δ β

Appendix to Technology Transfer and Spillovers in International Joint Ventures

Commutative Monoids in Intuitionistic Fuzzy Sets

( y) Partial Differential Equations

1 String with massive end-points

Arithmetical applications of lagrangian interpolation. Tanguy Rivoal. Institut Fourier CNRS and Université de Grenoble 1

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

12. Radon-Nikodym Theorem

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

MA 342N Assignment 1 Due 24 February 2016

Solution Series 9. i=1 x i and i=1 x i.

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Lecture 21: Properties and robustness of LSE

= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y

Section 9.2 Polar Equations and Graphs

Global nonlinear stability of steady solutions of the 3-D incompressible Euler equations with helical symmetry and with no swirl

The Simply Typed Lambda Calculus

Finite difference method for 2-D heat equation

Higher Derivative Gravity Theories

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

Online Appendix I. 1 1+r ]}, Bψ = {ψ : Y E A S S}, B W = +(1 s)[1 m (1,0) (b, e, a, ψ (0,a ) (e, a, s); q, ψ, W )]}, (29) exp( U(d,a ) (i, x; q)

Generating Set of the Complete Semigroups of Binary Relations

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

1. Introduction and Preliminaries.

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

Research Article Existence of Positive Solutions for m-point Boundary Value Problems on Time Scales

= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

Transcript:

J. Math. Anal. Appl. 339 (28) 359 371 www.elsevier.com/locate/jmaa emarks on the global regularity for the super-critical 2D dissipative quasi-geostrophic equation Xinwei Yu Mathematics Department, UCLA, Box 951555, Los Angeles, CA 995-1555, USA eceived 5 June 27 Available online 18 July 27 Submitted by Goong Chen Abstract In this article we apply the method used in the recent elegant proof by Kiselev, Nazarov and Volberg of the well-posedness of critically dissipative 2D quasi-geostrophic equation to the super-critical case. We prove that if the initial value satisfies θ L 1 2s θ 2s L <c s for some small number c s >, where s is the power of the fractional Laplacian, then no finite time singularity will occur for the super-critically dissipative 2D quasi-geostrophic equation. 27 Elsevier Inc. All rights reserved. Keywords: Quasi-geostrophic equation; egularity conditions; Super-critically dissipative 1. Introduction The study of global regularity or finite-time singularity of the two-dimensional dissipative/non-dissipative quasigeostrophic equation (subsequently referred to as 2D QG equation for convenience) has been an active research area in recent years. The 2D QG equation reads θ t + u θ κ( ) s θ, ( ) 2 u θ, 1 θ t θ. (1) where i xi ( ) 1/2, i 1, 2, are the iesz transforms. When κ the system (1) becomes the 2D nondissipative QG equation. When κ>, (1) is called sub-critical when s>1/2, critical when s 1/2 and supercritical when s<1/2. Ever since the pioneering works by Constantin, Majda and Tabak [7 and Constantin and Wu [9, which revealed close relations between dissipative/non-dissipative 2D QG equation and the 3D Navier Stokes/Euler equations regarding global regularity or finite-time singularity, many results have been obtained by various researchers. See e.g. [2 6, 9,1,17 2,22 25,27 29 for the dissipative case, and [8,11 13 for the non-dissipative case. Among them, [9 settled E-mail address: xinweiyu@math.ucla.edu. 22-247X/$ see front matter 27 Elsevier Inc. All rights reserved. doi:1.116/j.jmaa.27.6.64

36 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 the global regularity for the sub-critical case and [2,23 showed that smooth solutions for the critically dissipative QG equation will never blowup ([23 requires periodicity). On the other hand, whether solutions for the super-critically dissipative QG equation and the non-dissipative QG equation are globally regular is still unknown. For the super-critical case, several small initial data results have been obtained. More specifically, global regularity with r>2 2s [27, and when the product θ β H r θ 1 β L p with r 2 2α, and certain p [1, and β (, 1 is small [22. In this article, we derive a new global regularity result for smooth and periodic initial data which is small in certain sense using the method in [23 combined with a new representation formula for fractional Laplacians discovered by Caffarelli and Silvestre [1. Our main theorem is the following. has been shown when the initial data is small in spaces B 2 2s 2,1 [5, H r with r>2 [1, or B r 2, Theorem 1. For each s (, 1/2), there is a constant c s > such that the solution to the dissipative QG equation (1) with smooth periodic initial data remains smooth for all times when the initial data is small in the following sense: θ L 1 2s θ 2s L <c s. (2) Furthermore, when (2) is satisfied, we have the following uniform bound θ L < 2 θ L for all t>. emark 1. Our result is independent of previous small initial data results [5,1,22,27 in the sense that Theorem 1 can neither imply nor be implied by any of them. Furthermore the smallness condition (2) only involves the first derivative of θ while the smallness conditions in previous works all involve at least 2 2s derivatives. On the other hand, all previous results apply to the case s as well as non-periodic initial data too while our result does not. emark 2. It has been shown [26 that as long as T θ L (t) dt <, the smooth solution θ can be extended beyond T. Therefore all we need to do is to show the uniform bound (3). emark 3. It can be shown that the conclusions of Theorem 1 remains true even if the initial data θ is not smooth and periodic. More specifically, we can show that Theorem 1 remains true for θ H 2 2s. See emark 5 in Section 8 for more explanation. Our proof uses the same idea as [23. More specifically, we show that for any smooth and periodic initial value θ, there exists a modulus of continuity ω(), such that ω() remains a modulus of continuity for θ(x,t) for all t>. Once this is shown, the uniform bound of θ L (t) can simply be taken as ω (). Since our proof uses the same method as [23, and since the only difference between the critically and the supercritically dissipative QG equations is in the dissipation term, many arguments in [23 still work here. However we choose to repeat the main steps of these arguments for completeness and better readability of this paper. 2. Preliminaries 2.1. Modulus of continuity Definition 1 (Modulus of continuity). A modulus of continuity is a continuous, increasing and concave function ω :[, + ) [, + ) with ω(). If for some function f : n m f(x) f(y) ω ( x y ) holds for all x, y n, we call ω a modulus of continuity for f. (3)

X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 361 emark 4. There is another definition of modulus of continuity for a function f in the context of classical Fourier analysis, referring to a specific function ω M () sup f(x) f(y). x y See e.g. [3. ω M () is increasing but not necessarily concave so may not satisfy the conditions in Definition 1. It turns out that when f is periodic there is always a function ω satisfying 1 2 ω() ω M() ω(), and furthermore the conditions in Definition 1 hold for ω. See [16. Note that when ω is a modulus of continuity of θ : n, we always have θ (x) ω () for all x n. To see this, we take an arbitrary unit vector e. By definition we have θ(x + he) θ(x) ω(h) for any h>. ecalling ω(), we have e θ (x) lim θ(x + he) θ(x) h h ω(h) ω() lim ω (). h h The conclusion follows from the arbitrariness of e. An important class of modulus of continuity is ω() C α for α (, 1). It is easy to see that for a fixed α (, 1), a function f has a modulus of continuity C α for some C> if and only if f is C,α continuous. Therefore moduli of continuity can be seen as generalizations of Hölder continuity. In [23 it is shown that, similar to the Hölder seminorms, moduli of continuity also enjoy nice properties under singular integral operators. In particular, we can obtain the following estimate for u ( 2 1 ) θ in the 2D QG equation. Lemma 1 (Estimate for iesz transform [23). If the function θ has modulus of continuity ω, then u ( 2 1 ) θ has modulus of continuity Ω() A [ d + with some universal constant A>. 2 d (4) Proof. See Appendix of [23. 2.2. epresentation of the fractional Laplacian A key observation in [23 is the following representation formula ( ) 1/2 θ P 2,h θ, where P 2,h is the 2D Poisson kernel. It turns out that the fractional Laplacian operators ( ) s for s 1/2 also have similar representations, which have just been discovered by Caffarelli and Silvestre [1. We summarize results from [1 that will be useful to our proof here. Consider the fractional Laplacian ( ) s in n for s (, 1). We define the following kernel h P n,h (x) C n,s ( x 2 + 4s 2 h 1/s ) n 2 +s (5)

362 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 where C n,s is a normalization constant making P n,h (x) dx 1. Then we have [ ( ) s θ (x) C d dh [P n,h θ(x) where C is a positive constant depending only on the dimension n and the power s. The exact value of this constant C is not important to our proof. 3. The breakthrough scenario In [23, it is shown that if ω is a modulus of continuity for θ before some time T but ceases to be so after T, then there exist two points x, y 2 such that θ(x,t) θ(y,t) ω ( x y ) when ω satisfies (a) ω () finite, and (b) ω (+), and (c) ω() + as. We repeat the argument in [23 here for the completeness of this paper. Since ω is a modulus of continuity for θ for t<t, we have the uniform estimate θ L (t) ω () for all t<t. Thus θ remains smooth for a short time beyond T, and therefore ω remains a modulus of continuity for θ at t T due to the continuity of θ(x,t) θ(y,t) with respect to t. Now assume θ(x,t) θ(y,t) <ω( x y ) for any x y. There are three cases. Let >beaverysmall number to be fixed. 1. x y > 1. Since ω() is unbounded, we can take so small that ω ( x y ) >ω ( 1) > 2 θ L (T ) + ε θ(x,t) θ(y,t) + ε for some small ε >. Thus there is T 1 >T such that θ(x,t) θ(y,t) ω( x y ) for all t T 1 for all x y > 1. 2. x y <. We first show that ω ()> θ L (T ).Letx be an arbitrary point and e be an arbitrary direction, we have θ(x + he,t) θ(x,t) <ω(h) ω ()h + 1 2 ω ()h 2. Note that the left-hand side is bounded from below by e θ(x,t) h 1 2 θ 2 L (T )h 2. Since ω (+), taking h small enough gives e θ(x) <ω (). Now taking e θ(x,t ) θ(x,t ) we conclude θ(x,t) <ω () for any x. Since θ is periodic, we have ω ()> θ L (T ). Thus there is T 2 >T such that ω ()> θ L (t) for all t T 2.Take so small that ω () > θ L (t) for all t T 2. This gives ω ( x y ) ω () x y > θ L (t) x y θ(x,t) θ(y,t) for all t T 2, where the first inequality is due to the concavity of ω. 3. x y 1. Since θ(x,t) θ(y,t) is a periodic function in 4, there is M>such that for any x, y, there are x, y M, x y such that θ(x,t) θ(y,t) θ(x,t) θ(y,t). Thus there is ε > such that θ(x,t) θ(y,t) θ(x,t) θ(y,t) <ω ( x y ) ε ω ( x y ) ε due to the compactness of the region x, y M, x y in 2 2.

X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 363 Therefore there is T 3 >T such that θ(x,t) θ(y,t) <ω( x y ) for all t<t 3. In summary, when θ(x,t) θ(y,t) <ω( x y ) for any x y, ω will remain a modulus of continuity for θ for a short time beyond T. Therefore, if ω is a modulus of continuity for t T but ceases to be so for t>t, there must be two points x, y such that θ(x,t) θ(y,t) ω ( x y ). By switching x and y if necessary, we reach θ(x,t) θ(y,t) ω ( x y ). (6) We now set out to prove d [ θ(x,t) θ(y,t) < dt which implies θ(x,t) θ(y,t)>ω ( x y ) for some t<t but very close to T. This gives a contradiction. Since d [ [ [ θ(x,t) θ(y,t) (u θ)(x,t) (u θ)(y,t) + ( ) s θ (x,t) [ ( ) s θ (y,t) dt all we need are good upper bounds of the convection term [(u θ)(y,t) (u θ)(x,t) and the dissipation term [ ( ) s θ(x,t) [ ( ) s θ(y,t). We perform such estimates in the following two sections. In the following analysis we will suppress the time dependence since all estimates are independent of time. 4. Estimate of the convection term We estimate the convection term in the same way as [23. For completeness we repeat what they did here. Denote x y. We have Thus θ ( x hu(x) ) θ ( y hu(y) ) ω ( x y +h u(x) u(y) ) ω ( + hω() ). [ (u θ)(x) (u θ)(y) d dh[ θ ( x hu(x) ) θ ( y hu(y) ) h To summarize, we have the estimate 1 {[ ( ) ( ) [ } lim θ x hu(x) θ y hu(y) θ(x) θ(y) h h 1 {[ ( ) ( ) } lim θ x hu(x) θ y hu(y) ω() h h 1 [ ( ) lim ω + hω() ω() h h Ω()ω (). [ (u θ)(x) (u θ)(y) Ω()ω () (7) for the convection term at the two particular points x, y chosen in Section 3.

364 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 5. Estimate of the dissipation term Now we estimate the dissipation term. Without loss of generality let x ( 2, ), y ( 2, ) as in [23 ( ) 2 (P 2,h θ)(x) (P 2,h θ)(y) [P 2,h, ν P 2,h ( 2 ), ν θ(,ν)ddν 2 dν + dν dν ( ) 2 [P 2,h, ν P 2,h ( 2 ), ν θ(,ν)d + dν dν [P 2,h ( 2, ν ) P 2,h ( 2, ν ) θ(,ν)d ( ) 2 [P 2,h, ν P 2,h ( 2 ), ν θ(,ν)d dν dν dν ( ) 2 [P 2,h +, ν P 2,h ( 2 ) +, ν θ(,ν)d ( ) 2 [P 2,h, ν P 2,h ( 2 ), ν θ(,ν)d [P 2,h ( 2 ) ( ) 2 +, ν P 2,h +, ν θ(,ν)d ( ) ( 2 [P 2,h, ν P 2,h ) [θ(,ν) 2, ν θ(,ν) d ( ) 2 [P 2,h, ν P 2,h ( 2 ), ν ω(2)d ( ) 2 [P 1,h P 1,h ( 2 ) ω(2)d where we have used the symmetry of the kernel P n,h and the fact that ( ) ( P 2,h 2, ν P 2,h ) 2, ν because 2 2 for,. The last equality is because P n,h (x 1,...,x n ) dx n P n 1,h (x 1,...,x n 1 ) which can be checked directly. Following the same argument as in [23 we have [ ( ) s θ (x) [ ( ) s θ (y) d [ (P2,h θ)(x) (P 2,h θ)(y) dh

Now we simplify I We have I X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 365 {[(P 2,h θ)(x) (P 2,h θ)(y) [θ(x) θ(y)} lim h h {[(P 2,h θ)(x) (P 2,h θ)(y) ω()} lim h h 1 lim h h { ( ) 2 [P 1,h P 1,h ( 2 ) ω(2)d. ( ) ( ) 2 2 [P 1,h P 1,h + ω(2)d On the other hand, ω() P 1,h ( 2 )ω(2)d + P 1,h ()ω( 2)d + [P 1,h ( 2 ) P 1,h ( 2 ) ω(2)d ω() P 1,h ( 2 )ω(2)d P 1,h ()ω( + 2)d P 1,h () [ ω( 2) + ω( + 2) d + P 1,h () [ 2ω() d P 1,h () [ 2ω() d + P 1,h ()ω(2 )d P 1,h ()ω(2 )d P 1,h () [ ω(2 + ) ω(2 ) d. P 1,h () [ 2ω() d due to the fact that P 1,h () d 1 2 P 1,h() d 1 2. Combining the above, and recalling the explicit formula (5) of P n,h,wehave [ ( ) s θ (x) [ ( ) s θ 1 (y) lim h h 1 + lim h h C + C P 1,h () [ ω( 2) + ω( + 2) 2ω() d P 1,h () [ ω(2 + ) ω(2 ) 2ω() d ω( 2) + ω( + 2) 2ω() 1+2s for some positive constant C depending on s only. d ω(2 + ) ω(2 ) 2ω() 1+2s d }.

366 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 Thus we obtain the following upper bound for the dissipation term: Cκ [ ω( + 2) + ω( 2) 2ω() 1+2s d + ω(2 + ) ω(2 ) 2ω() 1+2s d, (8) where κ is the dissipation constant in (1). Note that since ω is taken to be strictly concave, both terms are negative. 6. Construction of the modulus of continuity The task now is to choose a special ω() such that dissipation dominates, that is A [ + Cκ [ d + 2 d ω () ω( + 2) + ω( 2) 2ω() 1+2s d + ω(2 + ) ω(2 ) 2ω() 1+2s d < for all. We construct ω in the following way ω() r when, (9) and ω () γ (/) α when >, (1) where r (1, 1+2s) and α (2s,1) are arbitrary constants. The other two constants < 1and <γ <1 r r 1 are taken to be small enough. We first check that ω satisfies the conditions in Definition 1. It is clear that ω is continuous and increasing. It is also clear that ω(). Since ω () is decreasing in [, and (, ) respectively, ω is concave as long as ω ( ) ω (+). We compute ω ( ) 1 r r 1 and ω (+) γ. Thus the concavity of ω is guaranteed when γ<1 r r 1. We notice that ω () 1 for all, therefore ω() for all. Also note that for the simplicity of formulas our γ corresponds to the quantity γ/ in [23. We would also like to remark that our construction here does not extend to the critical case or the case s. We discuss the cases and >separately. 6.1. The case Convection term. We have and d 1 r r,

2 d 2 d + log + ω() + X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 367 2 d ω () log + 1 + γ α log + 2 r d 2 d log + 1 + ( ) 1 d γ α 1+α d if we take γ α (2s,1). Thus the convection term A [ d + 2 can be estimated from above by ( A 3 + log ) d ω () (11) since <ω () 1. Dissipation term. We have ω( + 2) + ω( 2) 2ω() 1+2s C 2 2s ω () C r (1+2s) for some constant C> when is small enough, where the first inequality comes from Taylor expansion and the fact that ω is increasing for the ω defined by (9) (1). Since the other term is always negative, the dissipation term Cκ [ ω( + 2) + ω( 2) 2ω() 1+2s d + can be estimated from above by κ r (1+2s). ω(2 + ) ω(2 ) 2ω() 1+2s Now combining the above, we see that the sum of the convection and the dissipation terms for can be estimated from above by [ ( A 3 + log ) κ r (1+2s). This is negative when and consequently is small enough since r (1 + 2s) <. 6.2. The case > Convection term. We have d (12)

368 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 d d + d + ω() d + ω()log where in the last step we have used ω() ω() r >/2 when is small enough. On the other hand, 2 d ( ) 1 d ω() + 1 [ω()+ γα α 1 α. Note that for >we have ω() r + [ 1 2 γ 1 α ω () d ω() γ α α d r + γ 1 α α 1 α γ 1 α + γ 1 α α 1 α γ 1 α α 1 α if we take γ to be less than 1 α 2 > so that 1 2 γ 1 α >. Thus we have α 1 α 1 α ω(). γ Therefore 2 d 1 [ω()+ γα α 1 α 1 α Now we can estimate the convection term [ A d + 2 d ω () as follows: A [ d + The dissipation term. 2 To estimate the dissipation term we notice that ω(). ( d ω () ω() C + log ω(2 + ) ω(2 ) ω(2) ω()+ 2 γ α ( ω() 2 + log ) + γ α 1 ω() d 1+α ) ( ω () γω() C + log α d ω()+ γ(21 α 1) 1 α ω()+ ( 2 1 α 1 ) ω() 2 1 α ω(), α 1 α + γ α α α (13) )( ) α. (14) where we have used (13). Notice that 2 1 α < 2 since α (2s,1), there is C> such that ω(2) 2ω() Cω() for all >.

X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 369 Thus the dissipation term Cκ [ is bounded from above by Cκ ω( + 2) + ω( 2) 2ω() 1+2s d + ω(2 + ) ω(2 ) 2ω() 1+2s d Cκ ω(2 + ) ω(2 ) 2ω() 1+2s Cκω() ω(2) 2ω() 1+2s ( d 1+2s Cκ 2s ω(). (15) for some positive constant C. Combining the above, we see that the sum of the convection and the dissipation terms for >is [ ( ω() γ C + log )( ) α [ ( κc 2s ω() γ C + log )( ) α ( ) 2s κc 2s which is negative if γ κc 2s and is small enough since α>2s.hereweusec for the constant in the convection estimate. Note that since the constants are all independent of γ,wearefreetomakeγ small. 7. Global regularity We have shown that the if θ has a modulus of continuity ω() as defined by (9) (1), then ω() will remain to be a modulus of continuity for θ for all t. We now show that, due to the special scaling invariance θ(x,t) μ 2s 1 θ(μx,μ 2s t) of the super-critically dissipative QG equation, there is c s > such that whenever (2) is satisfied, i.e., θ L 1 2s θ 2s L <c s, we can find μ such that a re-scaling of θ has modulus of continuity ω(), thus proving Theorem 1. 7.1. Scaling invariance of super-critical dissipative QG equation We first recall that the super-critical dissipative QG equation has the following scaling invariance: θ(x,t) μ 2s 1 θ ( μx,μ 2s t ). More specifically, if θ (x) μ 2s 1 θ (μx,μ 2s t), and θ solves θ t + ũ θ ( ) s θ for some s (, 1 2 ) with initial data θ, then θ(x,t) μ 2s 1 θ ( μx,μ 2s t ) solves the same equation with initial data θ. Thus in particular, if θ is globally regular, so is θ. On the other hand, if ω() is a modulus of continuity for θ (x), then ω() μ 2s 1 ω(μ) is a modulus of continuity for θ (x) μ 2s 1 θ (μx,μ 2s t). Therefore, to establish global regularity for certain smooth and periodic initial data θ, it suffices to find a scaling constant μ such that ω μ () μ 2s 1 ω(μ) is a modulus of continuity for θ (x), where ω() is the particular modulus of continuity defined by (9) (1). d ) d

37 X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 7.2. escaling ω() and ecall that ω() is defined by ω() r when ω () γα α when >. We can easily compute { ( ) μ 2s x y μ 2s 1+r x y r when μ x y, ω μ x y γ α 1 α μ2s α x y 1 α + μ 2s 1 [ γ 1 α r when μ x y >. Now we take μ 2s 2 θ L. Then for x, y such that x y /μ,wehave θ (x) θ (y) θ L x y 2 θ L x y 1 2 μ2s x y 1 2 μ 2s x y ( 1 r 1) μ 2s x y ( 1 μ r 1 x y r 1) ( ) ω μ x y according to our choice of. On the other hand, for any x, y with x y >/μ,wehave θ (x) θ (y) 2 θ L. So it is clear that ω μ is a modulus of continuity of θ as long as ( ) 2 θ L ω μ μ 2s 1( r) 2 2s 1 2s θ 2s 1 ( 2s L r ) μ. This can be simplified to θ L 1 2s θ 2s L 1 r 2( ) 2s. Now taking c s 1 ( r ) 2s 2 we see that θ L 1 2s θ 2s L c s is sufficient for θ to stay smooth for all time. 8. Final remarks Theorem 1 can be generalized to the case with non-periodic initial data. The smallness condition can also be improved slightly when the level sets are smooth around the breakthrough points. emark 5. In [14, the author proved that when the initial data θ H 2 2s, the solution exists at least for finite time [,T), and furthermore the following decay estimates hold: sup <t<t t β/(2s) θ H 2 2s+β < + β. Using this and similar argument as in [15, one can prove that the breakthrough scenario as in Section 3 remains true for general non-periodic θ. With the breakthrough scenario true, the conclusions of Theorem 1 can be established for general non-periodic initial data with the same argument as for the periodic case.

X. Yu / J. Math. Anal. Appl. 339 (28) 359 371 371 emark 6. When the level sets around the two breakthrough points x, y, which satisfy (6), stay smooth, for example, when the unit tangent vector field around x, y stays Lipschitz continuous, we can show that no finite singularity can occur when the Hölder semi-norm θ Ċ1 2s is small, thus weakening the smallness condition (2). Very recently Ju [21 proved global regularity for the 2D QG equation with critical dissipation under similar Lipschitz assumption on the unit tangent vector field in regions with large θ. Although the result there holds for all initial data including non-periodic ones, the method there cannot be applied to the super-critical case. Acknowledgments The author would like to thank Professor Thomas Y. Hou, Professor Congming Li and Professor ussel E. Caflisch, and the reviewers for valuable comments on this paper. This research is partially supported by NSF grant DMS-354488. eferences [1 Luis Caffarelli, Luis Silvestre, An extension problem related to the fractional Laplacian, preprint, arxiv: math.ap/6864 v1, August 26. [2 Luis Caffarelli, Alexis Vasseur, Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, preprint, arxiv: math.ap/68447 v1, August 26. [3 Dongho Chae, The quasi-geostrophic equation in the Triebel Lizorkin spaces, Nonlinearity 16 (23) 479 495. [4 Dongho Chae, On the regularity conditions for the dissipative quasi-geostrophic equations, SIAM J. Math. Anal. 37 (26) 1649 1656. [5 Dongho Chae, Jihoon Lee, Global well-posedness in the super-critical dissipative quasi-geostrophic equations, Comm. Math. Phys. 233 (23) 297 311. [6 Peter Constantin, Diego Cordoba, Jiahong Wu, On the critical dissipative quasi-geostrophic equation, Indiana Univ. Math. J. 5 (21) 97 17. [7 Peter Constantin, Andrew J. Majda, Esteban Tabak, Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar, Nonlinearity 7 (1994) 1495 1533. [8 Peter Constantin, Qing Nie, Norbert Schörghofer, Nonsingular surface quasi-geostrophic flow, Phys. Lett. A 241 (3) (1998) 168 172. [9 Peter Constantin, Jiahong Wu, Behavior of solutions of 2d quasi-geostrophic equations, SIAM J. Math. Anal. 3 (1999) 937 948. E-HOST3 [1 Antonio Cordoba, Diego Cordoba, A maximum principle applied to quasi-geostrophic equations, Comm. Math. Phys. 249 (24) 511 528. [11 Diego Cordoba, Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation, Ann. of Math. 148 (3) (1998) 1135 1152. [12 Diego Cordoba, Charles Fefferman, Growth of solutions for QG and 2D Euler equations, J. Amer. Math. Soc. 15 (3) (22) 665 67 (electronic). [13 Jian Deng, Thomas Y. Hou, uo Li, Xinwei Yu, Level set dynamics and the non-blowup of the 2D quasi-geostrophic equation, Methods Appl. Anal. (26), in press. [14 Hongjie Dong, Higher regularity for the critical and super-critical dissipative quasi-geostrophic equations, preprint, arxiv: math/71826, 27. [15 Hongjie Dong, Dapeng Du, Global well-posedness and a decay estimate for the critical quasi-geostrophic equation, preprint, arxiv: math/71828, 27. [16 A.V. Efimov, Linear methods for the approximation of continuous periodic functions, Mat. Sb. 54 (1961) 51 9 (in ussian). [17 Sadek Gala, Amina Lahmar-Benbernou, Dissipative quasi-geostrophic equations with initial data, preprint, arxiv: math.ap/57492 v1, July 25. [18 Ning Ju, Existence and uniqueness of the solution to the dissipative 2D quasi-geostrophic equations in the Sobolev space, Comm. Math. Phys. 251 (2) (24) 365 376. [19 Ning Ju, The maximum principle and the global attractor for the dissipative 2D quasi-geostrophic equations, Comm. Math. Phys. 255 (1) (25) 161 181. [2 Ning Ju, On the two-dimensional quasi-geostrophic equations, Indiana Univ. Math. J. 54 (3) (25) 897 926. [21 Ning Ju, Geometric constrains for global regularity of 2D quasi-geostrophic flows, J. Differential Equations 226 (26) 54 79. [22 Ning Ju, Global solutions to the two-dimensional quasi-geostrophic equation with critical or super-critical dissipation, Math. Ann. 334 (26) 627 642. [23 A. Kiselev, F. Nazarov, A. Volberg, Global well-posedness for the critical 2d dissipative quasi-geostrophic equation, Invent. Math. 167 (27) 445 453. [24 Hideyuki Miura, Dissipative quasi-geostrophic equation for large initial data in the critical Sobolev space, Comm. Math. Phys. 267 (26) 141 157. [25 Atanas Stefanov, Global well-posedness for the 2d quasi-geostrophic equation in a critical Besov space, preprint, arxiv: math.ap/6732 v1, July 26. [26 Jiahong Wu, Dissipative quasi-geostrophic equations with L p data, Electron. J. Differential Equations 21 (56) (21) 1 13. [27 Jiahong Wu, Global solutions of the 2D dissipative quasi-geostrophic equation in Besov spaces, SIAM J. Math. Anal. 36 (25) 114 13. [28 Jiahong Wu, Solutions of the 2D quasi-geostrophic equation in Hölder spaces, Nonlinear Anal. 62 (25) 579 594. [29 Jiahong Wu, The two-dimensional quasi-geostrophic equation with critical or supercritical dissipation, Nonlinearity 18 (25) 139 154. [3 Antoni Zygmund, Trigonometric Series, vol. 1, Cambridge Univ. Press, 1959.