arxiv: v2 [math.ap] 8 Dec 2016

Transcription

1 Ill-poseness for the incompressible Euler equations in critical Sobolev spaces Tarek Mohame Elgini an In-Jee Jeong arxiv: v2 [math.ap] 8 Dec 2016 March 27, 2018 Abstract For the 2D Euler equation in vorticity formulation, we construct localize smooth solutions whose critical Sobolev norms become large in a short perio of time, an solutions which initially belong to L H 1 but escapes H 1 immeiately for t > 0. Our main observation is that a localize chunk of vorticity boune in L H 1 with o-o symmetry is able to generate a hyperbolic flow with large velocity graient at least for a short perio of time, which stretches the vorticity graient. 1 Introuction an the Main Statement We consier the vorticity formulation of 2D incompressible Euler equation on the torus T 2 = [ 1, 1) 2 : t ω + u ω = 0, 1) where the velocity u is etermine from ω by the Biot-Savart law ut, x) = 1 2π [ 1,1)2 x y 2n) ωt, y)y, 2) x y 2n 2 n Z 2 with the convention v 1, v 2 ) = v 2, v 1 ). It is well known that 1) is well-pose in C[0, ); H s T 2 )) for s > 1 an in C [0, ) T 2 ) when the initial ata is smooth. If ωt, ) H s T 2 ) for s > 1 then ut, ) is Lipschitz in x an the following orinary ifferential equation t Φt, x) = ut, Φt, x)) an Φ0, x) = x 3) efines the area-preserving flow maps Φt, ) : T 2 T 2 along which the vorticity is transporte; ωt, Φt, x)) = ω 0 x). 4) In this note, we will provie a simple proof of the strong illposeness of the Euler equation 1) in the critical Sobolev space H 1 T 2 ), which was obtaine recently by Bourgain an Li [3]. The following result shows that so-calle norm inflation occurs in H 1 for smooth initial ata. Theorem 1. For any ɛ > 0, there exists an initial ata ω 0 C T 2 ) an a time moment 0 < t < ɛ such that ω 0 H 1 L < ɛ, suppω 0) B 0 ɛ) an ωt, ) H 1 > ɛ 1, where B 0 ɛ) is the ball of raius ɛ aroun the origin. 1

2 Next, we show that a localize solution which is initially small in L H 1 can immeiately escape H 1 for t > 0, which have also appeare in [3]: Theorem 2. For any s, p such that sp = 2 an 1 s < 6/5, there is ω 0 L T 2 ) W s,p T 2 ) which is C away from the origin that for any 0 < t 0 1, ess-sup 0<t t0 ωt, ) W s,p ess-sup 0<t t0 ωt, ) H 1 = +. Therefore, for 1 s < 6/5 an sp = 2, there are initial ata in W s,p which escapes not only W s,p but also H 1 for t > 0. Actually our proof of Theorem 2 can be moifie a little bit to prove ill-poseness statements in W s,p for all values of 1 s < 2: there exists ω 0 L T 2 ) W s,p T 2 ) whose W s,p -norm becomes instantaneously infinite for t > 0. In the work of Bourgain-Li [3], the existence of localize initial ata which escapes H 1 was obtaine by carefully patching together an infinite sequence {ω n) 0 } n=1 of C ata whose support becomes smaller but grows in H 1 with a larger rate in a shorter perio of time as n. It is possible that the C solutions that we construct in Theorem 1 can be patche together to obtain the esire statement as well. However, this seems to require a rather involve analysis, an we have chosen to establish Theorem 2 via exhibiting a simple explicit initial ata in L H 1, see 14). The problem of well-poseness will not be an issue in the above statements as there is a unique, global-in-time solution of the extene system 2) 4) in L [0, ) L T 2 )) so-calle Yuovich solutions) for ω 0 just in L T 2 ), even though in this case, ut, ) is only log-lipschitz in general. A simple proof of this fact may be foun in [9], for instance. The space H 1 is calle critical since we barely cannot close the stanar energy estimate t ω L 2 T 2 ) u L T 2 ) ω L 2 T 2 ), as ω H 1 T 2 ) or even ω H 1 T 2 ) L T 2 ) oes not guarantee that u is Lipschitz. This failure of Lipschitz regularity is at the heart of the possibility of rapi growth of vorticity graient. It is explicit in the Bahouri-Chemin example [1]: Take ωx) = 1 on [0, 1] 2 an exten it to [ 1, 1] 2 as an o function in both variables. This efines a stationary solution of 2D Euler in the sense of equations 2) 4), an the flow near the origin is hyperbolic in the following specific sense: for 0 < x 1 < x 2 small, it can be compute that for some absolute constant c > 0 see Denissov [5]) ux 1, x 2 ) = c x 1 ln 1 ) + r 1 x 1, x 2 ), x 2 ln 1 )) + r 2 x 1, x 2 ) 5) x 2 x 2 with some smooth functions r 1, r 2. Certain perturbations of this stationary solution were utilize in the works of Denissov [5], Kiselev-Šverák [8], an Zlatoš [10] in chronological orer) to obtain growth of vorticity graient in the maximum norm L. The growth rates of ω L T 2 ) obtaine in [5] an [10] were ouble exponential for arbitary long but finite time an exponential for all time, respectively. The grounbreaking work [8] settle the possibility of ouble exponential growth of ω L D) for all time, when the omain is a isc. The Key Lemma of Kiselev an Šverák which was also utilize in [10]) is an essential tool in our arguments as well see below Lemma 1). While our basic strategy to obtain growth of ω in H 1 T 2 ) is similar to that of the aforementione works, there are a number of notable ifferences in our setting. First, while the iea of linearizing aroun the Bahouri-Chemin stationary solution makes sense when consiering only boune vorticities, this solution oes not belong to H 1 T 2 ). Hence, 2

3 we neee to consier a ifferent type of backgroun vorticity, an our choice was to take a suitably localize version of the following function: ω 0 x 1, x 2 ) = x 1 x 2 ln x α ) with 0 < α < 1/2. The avantage of this initial vorticity is that it belongs to H 1 L an the corresponing velocity u 0 satisfies u 0 / L. Secon, since we want localize solutions, it is not clear if the specific hyperbolic picture of the type 5) near the origin will be sustaine, even for a very short perioic of time. In view of this, our strategy is to take an initial vorticity which extens over two ifferent length scales N 1 an N 1/2, an to show that vorticity outsie the ON 1 )-region, in the special time scale of ln ln N/ ln N, is sufficient to generate a hyperbolic flow which stretches the vorticity graient on the ON 1 )-region. Here, a caveat is that we coul not exclue the possibility of our initial vorticity chunk getting squeeze in the angular irection even earlier than the scale ln ln N/ ln N, in which case we o not have a goo lower boun on u. Hence our actual proof is base on a contraiction argument. This ifficulty vanishes when the omain has a bounary: see Remark 1. Closing the introuction, let us mention that similar ill-poseness statements were recently establishe for the integer base C k spaces with k 1 of the velocity fiel u, inepenently in the works of Elgini-Masmoui [7] an Bourgain-Li [4]. We refer the intereste reaers to the works [3], [4], an [7] for an extensive list of references on the problem of well-poseness of the Euler equations. Notation. Let us use the notation f p = f L p T 2 ) for p [1, ] for simplicity. We use letters C, C 1, c, to enote various absolute positive constants, an their values may change from line to line. When a constant epens on some parameters, we explicitly inicate epenence as subscripts. We use superscripts to refer to components of a vector: for example, u = u 1, u 2 ) an Φ = Φ 1, Φ 2 ). 2 Proof of Theorem 1 Our initial vorticity ω 0 will be o both in the variables x 1 an x 2. Since this symmetry persists for all time, we may view ωt, ) as efine just on [0, 1] 2. Pick a large integer N, an let us efine the initial vorticity on [0, 1] 2 as follows: ω 0 r, θ) := χr)ψθ), 6) where χ an ψ are smooth bump functions. More specifically, they satisfy {1 for r [ N 1, N 1/2] { χr) := 0 for r / [ 1 for θ [π/4, π/3] N 1 /2, 2N 1/2] an ψθ) :=, 0 for θ / [π/6, 5π/12]. Since ω = 1 r r ω 0 2 rθ + r θω 0 2 rθ, the main contribution of ω 0 2 comes from the angular variation: ω 0 2 cln N) 1/2 as N. As mentione in the introuction, we nee to work with a special time scale. Given τ > 0 an N, we set t τ, N) = τ ln ln N/ ln N an we shall track the evolution of initial ata 6) on the time interval [0, t ]. To get an iea of how this scale appears, recall that the main iea is to stretch vorticity in the ON 1 ) region using the chunk of vorticity behin. Since initially 3

4 ω 0 L 2 ON 1 )) = O1) while ω 0 2 cln N) 1/2, we nee to stretch the H 1 -norm in the local region by a factor of ln N) 1/2+ɛ to obtain norm inflation. In view of u 0 c ln N, we achieve this goal once we sustain this lower boun on the velocity graient uring an interval of time [0, t ]. It is important that in this time scale, flui particles can move only up to a factor of ln N, see 9) an 12) below. Our main technical tool is the following expression for the velocity ue to Kiselev an Šverák [8]; we use a version by Zlatoš [10, Lemma 2.1] which works in the case of the torus T 2 = [ 1, 1) 2. Lemma 1 Key Lemma). Let ωt, ) be o in x 1 an x 2. Then for x [0, 1/2) 2, we have u i t, x) = 1) i 4 y 1 y 2 x i π y 4 ωt, y)y + B it, x) 7) [2x 1,1) [2x 2,1) with B i C ω 1 + ln1 + x 3 i /x i )) for i {1, 2}. There are several striking features of this lemma, which we woul like to emphasize. First, the expression 7) essentially gives a pointwise control over the velocity graient, just uner the assumption that ωt, ) L. It is surprising that such a control is available, especially because the formula is applicable even in situations where u is unboune. Next, the integral in 7) is monotone in ωt, ), so that for the purpose of obtaining a lower boun on the velocity graient, it suffices to fin a region in space where vorticity is uniformly boune from below. On the other han, one shoul note that Lemma 1 is applicable only when the integral term in 7) ominates the remainer term B i. The following estimates are stanar cf. [2, 9]) an will play a complementary rôle of the previous lemma. Lemma 2. Let ω, u, Φ) to be the solution triple for the 2D Euler equations in T 2 with initial ata ω 0. The velocity is log-lipschitz ut, x) ut, y) C ω 0 x y 1 + ln4/ x y )), 8) an the flow maps Φt, ) : T 2 T 2 for 0 t C ω 0 ) 1 satisfy quasi-lipschitz estimates of the form c x y expct ω ) Φt, x) Φt, y) C x y exp Ct ω ). 9) Note that the argument of the logarithm in 8) is always greater than 1 since x y 2 in our torus [ 1, 1) 2. Proof. Although these estimates are well-known, we provie a proof of 9) assuming the boun in 8)), as it appears throughout the arguments given below. For simplicity, we set t) := Φt, x) Φt, y), an from the efinition of flow we have Φt, x) Φt, y)) = ut, Φt, x)) ut, Φt, y)), t an applying the estimate 8) gives a boun t t) C ω 0 t) 1 + ln 4 ), t) which implies t ln 4 t) C ω ln 4 ). t) 4

5 1/2 V 1/2 Φt, V ) 1 1 Rt) N 1 N 1/2 N 5/6 N 4/6 Figure 1: The figure on the left escribes the initial ata ω N) 0, where the two rectangles represent the region where ω N) 0 1 inner) an V outer). The right figure shows possible evolution of the set V uner the flow. The shae region represents Rt). Denoting ft) an gt) as the unique solution of the respective ODE system t ln 4 ft) = C ω ln 4 ), ft) t ln 4 gt) = C ω ln 4 ) gt) on the time interval [0, C ω 0 ) 1 ] with initial ata f0) = g0) = 0) = x y, we obtain the esire estimates as gt) t) ft). Given lemmas above, we present the proof of Theorem 1. Proof of Theorem 1. We will instea show the following statement: Claim. For any M > 0, there exists some N 0, τ > 0 epening only on M such that for all N N 0, the solution associate with the initial ata as in 6) satisfies, with an absolute constant C, ωt N, ) 2 CM 1/2 ln ln N for some 0 < t N τ ω 0 2 ln N. 10) Once it is establishe, we simply use the scaling symmetry of the Euler equation: given a solution ωt, x) an λ > 0, ω λ t, x) := λωλt, x) is another solution with initial ata λω 0, an we can pick λ = ln N) 1/2 M 1/4 to achieve the statements of the theorem. Given M > 0, we fix τ = α M, where α M > 0 is a constant epening only on M to be efine below. In several places of the following argument, it is implicitly assume that N is sufficiently large with respect to M an some absolute constants appearing in the proof. Consier the annulus A = {r : N 5/6 r N 4/6 }. During the time interval [0, t ], particles starting from the arc {r, θ) : r = N 1, π/4 θ π/3} remain in the region {r < N 5/6 } uner the flow Φt, ). Similarly, particles from {r, θ) : r = N 1/2, π/4 θ π/3} cannot escape {r > N 4/6 }. Both statements follow from 9) applie with y = 0 an x = N m where 1/2 m 1): we have c x expct ω ) Φt, x) C x exp Ct ω ), 11) 5

6 an since t = τ ln ln N/ ln N for some 0 τ τ, we obtain cln N) cτ Φt, x) x Cln N) Cτ 12) with constants c, C > 0 uniform over 1/2 m 1. In particular, it implies that any line segment {r, θ 0 ) : N 1 r N 1/2 } shoul evolve in a way that it intersects each circle {r = r 0 } for N 5/6 r 0 N 4/6. Take the omain V := {r, θ) : ω 0 r, θ) 1/2} an consier the region Rt) := Φt, V ) A which is a curvilinear rectangle whose two opposite eges are boune by A see Figure 1). Note that ωt, ) 1/2 on Rt). For each r 0 [N 5/6, N 4/6 ], consier the close set It, r 0 ) := {0 θ π/2 : r 0, θ) Rt)}, an let us enote its Lebesgue measure by It, r 0 ). To show that the H 1 -norm grows, we are le to consier two ifferent scenarios. Case I. Assume that there exists a time moment 0 < t cr t such that for more than half with respect to the Haar measure r 1 r) of r 0 [N 5/6, N 4/6 ], we have It cr, r 0 ) M 1. If r 0 [N 5/6, N 4/6 ] is such that It cr, r 0 ) M 1, then we can efinitely pick some θ 0 = θ 0 r 0 ) such that the points r 0, θ 0 ) an r 0, θ 0 + δ) with 0 < δ M 1 satisfy ωt cr, r 0, θ 0 ) = 1 an ωt cr, r 0, θ 0 + δ) = 1/2. This implies a lower boun 1/2 θ0 M 1/2 θ ωt cr, r 0, θ) 2 +δ θ) θ ωt cr, r 0, θ)θ = 1/2 It cr,r 0 ) θ 0 which in turn gives that ωt cr, ) 2 2 N 4/6 N 5/6 It cr,r) θ ωt cr, r, θ) 2 θ r r CM ln N, with some absolute constant C > 0. We have establishe the Claim in this case, recalling that ω Cln N). Case II. For all t [0, t ], for at least half again with respect to the measure r 1 r) of r 0 [N 5/6, N 4/6 ], we have It, r 0 ) M 1. In this scenario, we will track the evolution of the following segment S = {h, h) : N 1 h ln N) Kτ N 1 } for the time interval [0, t ], where K > 0 is an absolute constant to be etermine below. Since ωt, Φt, S)) 1 for all t 0, to show growth of the H 1 -norm of ω, it is enough to emonstrate that Φt, S) is close enough to the vertical segment where ω vanishes). In the remaining part of the proof, we will always assume that x S an t [0, t ]. As a first step, we collect simple bouns on the trajectory of x = h, h) S, which will in particular guarantee the applicability of Lemma 1. To begin with, applying 9) with y = 0, 0) gives Φ 2 t, x) Φt, x) hln N) Cτ 6

7 recall that t an τ are relate by t = τ ln ln N/ ln N). Φ 1 t, x), we use the log-lipschitz estimate: an since u 1 t, Φt, x)) = u 1 t, Φt, x)) u 1 t, 0, Φ 2 t, x)) CΦ 1 t, x) t Φ1 t, x) = u 1 t, Φt, x)), proceeing exactly as in the proof of the estimate 9) of Lemma 2 gives that Hence, for x S, we have Φ 1 t, x) h ln N) Cτ. Φ 2 t, x) Φ 1 Cln N)2Cτ t, x) Next, to obtain a lower boun on ) ln Φ 1 t, x) for 0 < t < t. On the other han, with our assumption on It, r), we estimate the integral appearing in Lemma 1 at the point ˆx = N 7/8, N 7/8 ): an upon setting we obtain y 1 y 2 Qt, ˆx) := [2N 7/8,1) 2 y 4 ωt, y)y 1 2 c M := N 4/6 N 5/6 min sin θ cos θθ, I =1/2M I I [0,π/2] It,r) sin θ cos θ θr r Qt, ˆx) c 1 c M ln N 13) for some c 1 > 0, whenever 0 t t. Therefore, we conclue that the B i t, x)-term can be neglecte in Lemma 1 by possibly ajusting the value of c 1 in 13)) as long as we apply it to the trajectory of S. That is, u 1 t, Φt, x)) Φ 1 CQt, ˆx) C M ln N, t, x) for x S an 0 t t for some constant C M > 0 epening only on M. Similarly, we euce that u 2 t, Φt, x)) 0 on the same time interval for x S. From these bouns, it follows that the curve Ŝ := Φt, S) is containe in the region {y 1, y 2 ) : y 2 /y 1 ln N) C M τ }. The flow estimate 12) further gives that Ŝ intersects the circles {r = ln N)Cτ /N} an {r = ln N) K c)τ /N}. We coul have taken K so that K c > C where c, C are constants from the estimate 12)). Then, for each ln N) Cτ /N r ln N) K c)τ /N, we may fin a point in polar coorinates) of the form r, θ r)) on Ŝ such that π/2 θ r) Cln N) C M τ. Therefore, we euce that 1 C ln N)C M τ 0 θ π/2 7 θ ωt, r, θ) 2 θ

8 an integrating over ln N) Cτ /N r ln N) K c)τ /N against r 1 r with the choice τ := 1/C M gives ) 1 K c C 1 ln N) ln ln N C C M r θωt, r, θ) 2 θr ωt ) 2 2 which gives the esire lower boun in 10). Remark 1. This construction carries over to the setting of the whole omain an a boune open set, with minor moifications. In the case when the flui omain is a isc or more generally, a boune open set with an axis of symmetry), we can utilize the bounary to achieve Theorem 1 without relying on a contraiction argument. To be more specific, assume for simplicity that our omain is the upper half-plane {r, θ) : 0 θ π}. Take ω 0 which is o in x 1 an equals a smoothe out version of the inicator function on the polar rectangle [N 1, N 1/2 ] [0, π/4] in the positive quarant. Then it can be shown that for the time interval that we consier, we o not run out of angles; i.e. Case I oes not happen. The same can be sai for the proof of Theorem 2, an actually one can even show continuous-in-time loss of regularity of the solution. We expan on this point in our forthcoming work [6]. Remark 2. Inspecting the proof, one can check that C M = CM 2 works, an so that we may choose N CM expcm 2 ) as M. In other wors, the initial ata in 6) grows at least by a multiple of ln N) 1/2 ɛ in both scenarios). Again, when we have a bounary available, it is not necessary to introuce M an we obtain growth by a factor of ln N) K for any K > 0 as long as N is sufficiently large. 3 Proof of Theorem 2 This time, we consier an o initial vorticity efine on [0, 1) 2 by ω 0 r, θ) = ln 1 ) α ψθ)ξr), 14) r where ψ ) is the same angular bump function as in 6) an ξr) is a smooth bump function which ientically equals 1 for 0 r ɛ/2 an vanishes for r 2ɛ/3. Clearly, ω 0 is a boune continuous function an by choosing ɛ > 0 small enough, we may assume that ω 0, ω Given s an p satisfying sp = 2 an 1 s < 6/5, we can fin a value of 1/2 < α < 3/5 so that ω 0 W s,p < + : note that s ω 0 r, θ) 1 r s ln 1 r ) α ψ θ)ξr), r 1, so that given sp = 2, ω 0 W s,p T 2 ) if an only if αp > 1. It can be shown that the solution associate with the initial ata 14) remains C -smooth away from the origin for all time see Proposition 1 below). Hence, if we enote the solution by ωt, ), its H 1 -norm can be unambiguously efine by lim δ 0 + y >δ ωt, y) 2 y, 8

9 which can take the value +. We will show that there exists a sequence of positive time moments {t M } M 1 an a sequence of raii {r M } M 1, such that t M 0 +, r M 0 +, an for a fixe absolute constant c > 0, y >r M ωt M, y) 2 y > cm 1/2. For each fixe r > 0, the function y >r ωt, y) 2 y is continuous in time an provies a lower boun for ωt, ) 2 2. Therefore, the existence of sequences satisfying above gives the statement in Theorem 2. The proof we present is strictly analogous to that of Theorem 1, as ω 0 in 14) can be viewe as a continuum version of ata from our previous proof. To be more specific, pick some large number N an raially truncate the function 14) at length scales N 1 an N 1/2. Then this is essentially a scalar multiple of the smooth initial ata ω N) 0 from the previous section, an recalling the scaling symmetry of the Euler equation, it follows that this truncate initial ata grows in H 1 by a factor which iverges with N at some time moment 0 < t N) which converges to 0 as N +. Therefore it is intuitively clear that the ata 14) woul escape H 1 immeiately. Proof of Theorem 2. Given M > 0, we consier the time moment t = τ ln ln N ln N) 1 5α/3 where τ = τ M) is to be etermine later. It will be implicitly assume that N is sufficiently large with respect to M an a few absolute constants. In particular, as 1 5α/3 > 0, it guarantees that t 1. Throughout the proof, it will be always assume that the variable t take values in the interval [0, t ]. The outline of the argument is as follows: we ientify a bulk region which initially extens over length scales N 1/2 an O1), an a local region near N 1. In the special time interval that we consier, if there is too much angular squeezing of the bulk, then we are one. Otherwise, the bulk region has enough mass which stretches vorticity in the local region. We note in avance that, compare to the situation of Theorem 1, we have less precise information on the local particle trajectories, so we shoul apply Lemma 1 in a very careful manner. To begin with, using the basic estimate 11) recall that ω 1), we take 0 < a 0 < ɛ/2 such that the flui particles starting from x > a 0 at t = 0 cannot cross the circle x = a 0 /2 within [0, t ], as t can be taken to be much smaller than a few absolute constants. Similarly using the same estimate, we can ensure that the particles starting on the circle x = N 5/10 cannot escape the annulus {N 6/10 < x < N 4/10 } in the same time interval. enough), Inee, taking the logarithms of 11) assuming x, Φt, x) small e ct ln 1 x c 1 1 ln Φt, x) e Ct ln 1 x C 1 so that in the time interval that we consier, ln1/ Φt, x) ) is equivalent to ln1/ x ) up to absolute constants which can be assume arbitrarily close to 1, uniformly in t an x. Given these bouns, take the polar rectangle V := {r, θ) : N 1/2 r a 0, π/4 θ 3π/8} 9

10 an consier intersections of the form Rt) := Φt, V ) {r, θ) : N 4/10 r a 0 /2}. Note that on the angular sies of V, ω 0 takes the values ln r 1 ) α an βln r 1 ) α respectively, for some 0 < β < 1. For each t [0, t ] an r [N 1/4, a 0 /2], we consier the non-empty) set of angles It, r) := {0 θ π/2 : r, θ) Rt)}. We again consier two cases; introucing the set of raii with enough angles At) := {r [N 1/4, a 0 /2] : It, r) M 1 ln 1 r ) α/3 } note the power α/3) an first, assume that there exists some 0 < t cr < t such that r At cr) ln 1 ) 5α/3 r r r 1 ln 1 ) 5α/3 r 2 r [N 1/4,a 0 /2] r r C ln N)1 5α/3. In this case, we argue exactly as Case I of the previous proof: whenever r / At cr ), we integrate over angle to get π/2 θ ωt cr, r, θ) 2 θ CM ln 1 ) 5α/3, r 0 where we have use that when r = Φt, y), ωt, Φt, y)) = ω 0 y) = ln y 1 ) α for y having the form r, π/4) in polar coorinates an similarly ωt, Φt, y)) = βln y 1 ) α when y = r, 3π/8), an that ln1/ y ) an ln1/ Φt, y) ) are equivalent up to some absolute constants arbitrarily close to 1 relative to the ifference between 1 an β). Integrating the above lower boun over r / At cr ) gives the esire estimate ωt cr, y) 2 y CM ln 1 ) 5α/3 r y N 4/10 [N 4/10,a 0 /2]\At cr) r r cmln N)1 5α/3. Therefore, we may assume that for all t [0, t ], we have a lower boun r At) ln 1 ) 5α/3 r r r cln N)1 5α/3. Uner this hypothesis, we shall track the evolution of the iagonal segment in the local region: S := {h, h) : N 1 h N 7/10 }. We may assume that the trajectories of the two enpoints of S are trappe in the annuli {N 11/10 < r < N 9/10 } an {N 8/10 < r < N 6/10 }, respectively. Assume for a moment that we have Φt, S) {y 1, y 2 ) : y 2 ln N)y 1 }, 15) see Figure 2. On the set Φt, S), ωt, ) Cln N) α, an on the vertical line, ωt, ) 0. Therefore, for each N 9/10 < r < N 8/10, we have a lower boun π 2 θ r) 1/2 1/2 θ ωt, r, θ) θ) 2 10 π/2 θ r) θ ωt, r, θ) θ Cln N) α,

11 y 2 = ln N)y 1 Φt, S) S N N 9 N 8 N Figure 2: Evolution of the local iagonal segment where r, θ r)) is a point on Φt, S). This gives π/2 0 θ ωt, r, θ) 2 θ Cln N) 1 2α, an integrating over N 9/10 < r < N 8/10 against r 1 r, y N 1 ωt, y) 2 y N 8/10 π/2 N 9/10 0 θ ωt, r, θ) 2 θ r r Cln N)21 α). Since α < 1, we obtain the esire lower boun. Hence our goal now consists of establishing the containment in 15). Let us begin by obtaining a lower boun on the integral term appearing in Lemma 1. We fix a reference point ˆx = N 6/10, N 6/10 ). Then, y 1 y 2 Qt, ˆx) := ωt, y)y C [2N 6/10,1) 2 y 4 a0 /2 N 1/4 It,r) sin θ cos θθ ln 1 ) α r r r, where we have again use the observation that ln Φt, x) 1 an ln x 1 are comparable. Now recalling that for r At) we have an estimate It, r) M 1 ln 1 r ) α/3, r At), It,r) sin θ cos θθ cm 2 ln 1 ) 2α/3 r which gives uner our hypothesis on the size of At)) Qt, ˆx) C M At) ln 1 ) 5α/3 r r r C Mln N) 1 5α/3. 11

12 We may now apply Lemma 1. From now on, we reserve the letter x for points in the iagonal segment S. To begin with, on the iagonal, the error terms B 1, B 2 in Lemma 1 are boune by an absolute constant, an since Qt, ˆx) 1, we can ensure that the trajectory of x stays in the region {y 1, y 2 ) : y 2 y 1 }. Then in turn, this information guarantees that u 2 t, Φt, x)) is positive, as B 2 is boune by an absolute constant whenever {y 1, y 2 ) : y 2 y 1 }, which gives in particular Φ 2 t, x) x 2. Fix some x S, an assume for the sake of contraiction that Φt, x) is not containe in the region {y 1, y 2 ) : y 2 ln N)y 1 }, for all 0 t t. It guarantees that B 1 t, Φt, x)) C )) 1 + ln 1 + Φ2 t, x) Φ 1 C ln ln N t, x) an in particular the B 1 term is ominate by Qt, ˆx). Hence, u 1 t, Φt, x)) Φ 1 t, x) CQt, ˆx) C M ln N) 1 5α/3, an therefore integrating in time over [0, t ] with the choice τ = c/c M for some absolute constant c > 0), we euce Φ 1 t, x) x 1 ln N) 1. Combine with Φ 2 t, x) x 2 = x 1, Φ 2 t, x) Φ 1 t ln N., x) This is a contraiction, so there must exist 0 t t for which Φ 2 t, x) Φ 1 t ln N., x) However, observe that for any point on the line y 2 = ln N)y 1, we have B 1 ln ln N, so that the trajectory of x for t t cannot escape the region {y 2 ln N)y 1 } unless Φt, x) becomes larger than ˆx, which is impossible uring the time interval [0, t ]. This finishes the proof. Remark 3. One oes not face the restriction α < 3/5 in the presence of a bounary. For the convenience of the reaer, we give a proof that ωt, ) in the case of Theorem 2 actually stays C away from the origin. Proposition 1. Consier ω 0 L T 2 ) which is C away from a close set A T 2. Then, the unique solution ωt, ) L T 2 ) of the 2D Euler equation stays C away from Φt, A) for all t > 0. Proof. We may assume that ω 0 L = 1. Once we show that ωt, ) is smooth away from Φt, A) for t [0, T ] with some absolute constant T > 0 then we may iterate the argument to exten the statement to any finite time moment. Take an open set O which is separate from A. It suffices to show that for t [0, T ], there exists some α > 0 that ωt, ) is uniformly C k,α in Φt, U k ), for any integer k 0 an some open set U k O. We euce this by inucting on k. For the base case of k = 0, take some open set U 0 clo) which is still separate away from A. Then we simply write ωt, ) C α Φt,U 0 )) = ωt, Φt, x)) ωt, Φt, x )) x x sup x,x U 0 Φt, x) Φt, x ) α ω 0 C 1 U 0 ) sup x,x U 0 Φt, x) Φt, x ) α 12

13 which is boune by an absolute constant via the Höler estimate 9) once we choose α e ct where c is the constant from 9). Now we assume that ωt, ) is C k,α in Φt, U k ) with some k 0, where U k clo) an U k, A) > 0. We first pick some open set U k+1 which satisfies U k+1 clo), U k clu k+1 ). In particular, U k+1 is separate away from A. For each 0 t T, take a smooth cutoff function 0 χ t 1 which equals 1 on Φt, U k+1 ) an vanishes outsie of Φt, U k ). Then, for x Φt, U k+1 ), with the Biot-Savart kernel K, we write ut, x) = K ω t )x) = K χ t ω t )x) + K 1 χ t )ω t )x). Regaring the first term, a classical singular integral estimate gives K χ t ω t ) C k+1,α T 2 ) C k χ t ω t ) C α Φt,U k )). The secon term is inee C in Φt, U k+1 ) simply because K ) is C away from the origin. Hence we euce that ut, ) is uniformly C k+1,α in Φt, U k+1 ). At this point we may exten ut, ) to be C k+1,α on the entire omain T 2 to obtain ũt, ). Then solving t Φt, x) = ũt, Φt, x)), gives that Φt, x) is a C k+1,α flow, which coincies with Φt, x) whenever x Φt, U k+1 ) an 0 t T. This can be one by obtaining an a priori estimate for Φt, ) C k+1,α an then argue along a smooth) sequence of approximate solutions. Note that Φt, x) exp t 0 ũτ, ) L τ) 1 Φ t ) is also a C k+1,α iffeo- so Φt, ) is invertible an the inverse function theorem gives that morphism of the omain. From ωt, z) = ω 0 Φ 1 t z)) = ω 0 Φ 1 t z)), z Φt, U k+1 ), ifferentiating both sies k + 1 times, on the right han sie we obtain terms which contains up to the k + 1th erivatives of ω 0 compose with Φ 1 t ) multiplie with some factors of Φ 1 t also up to the k + 1th erivatives. Since each such factor is C α, we conclue that ωt, ) is C k+1,α. This finishes the proof. 4 Open Problems In this section we iscuss a few interesting open problems. 4.1 Problem 1: Further Degeneration of Weak Solutions We have shown that there are Yuovich solutions of the 2D Euler equations on T 2 which are initially in the class H 1 but which o not belong to the class L [0, δ); H 1 ) for any δ > 0. One coul ask whether even worse behavior is possible. In fact, the existing estimates o not rule out the existence of Yuovich solutions with H 1 ata which leave W 1,p for every p > 1 in finite time. 13

14 Lemma 3. Let ω 0 H 1 T 2 ) L T 2 ) be mean-zero. Then, the unique Yuovich solution satisfies the following estimate: ωt) W 1,p ω 0 H 1 for every p qt), with qt) solving the ODE: for some large universal constant C. Proof. By the John-Nirenberg lemma, t qt) = Cqt)2 ω 0, q0) = 2 T 2 e c u x C ω C ω 0 for some small universal constant c. By a generalize Young s inequality, u ω r 1 r e u 1 ω r ln ω 1. Now, by passing to the Lagrangian formulation an suppressing the composition with the flow maps) we see: t ω = u ω. Hence, t ω pt) ) = p t) ω pt) ln ω + pt) t ω ω ω pt) 2 = p t) ω pt) ln ω pt) u ω ω ω p 2. Now upon integrating an using our inequality for u ω r 1, we have: t ω pt) pt) p t) ω pt) ln ω x + C ω 0 pt) 2 ω pt) ln ω x. Finally, choosing we get p t) = C ω 0 L pt) 2, p0) = 2, t ω pt) pt) ) 0. Conjecture 1. The boun in Lemma 3 is sharp, in the sense that there exist Yuovich solutions which continuously lose regularity. It seems that proving the conjecture is true for a short time) is much more ifficult on T 2 than on a omain with a bounary. 4.2 Problem 2: Ill-poseness in W 2,1? Though there have recently been numerous results on ill-poseness for the Euler equations in critical spaces, it seems as though the case of W 2,1 vorticity or W 3,1 velocity) is still open. 14

15 4.3 Problem 3: Vanishing Viscosity Consier the 2D Euler equations with partial viscosity on T [0, 1]: t ω + u ω = ν x1 x 1 ω. Notice that we have put viscosity only in the horizontal variable an, hence, we only nee the no-slip bounary conition: u 2 = 0 on x 2 = 0 an x 1 = 1. When ν = 0, we see that H 1 ata can leave H 1 initially using a moification of the proof of Theorem 2. In fact, it can be shown that x1 ω 2 becomes infinite. When ν > 0 this is no longer possible ue to the energy equality: t ω 2 2 = 2ν x1 ω 2 x. There a few regimes where one coul stuy the behavior of the solutions of the partially viscous problem as ν 0. The first regime is when ν, t 0. Depening upon the relative sizes of ν an t, ifferent behaviours can be observe. In particular, one woul expect that if ν t that we coul see H 1 growth immeiately. On the other han, if t ν we shouln t see any growth. Determining the exact ynamics in this regime seems interesting. By the same token, one coul consier the inhomogenous problem an stuy the limit t an ν 0. Acknowlegments We thank the anonymous referee for numerous suggestions an comments, which have significantly improve the quality of this article. References [1] Hajer Bahouri an Jean-Yves Chemin. Équations e transport relatives á es champs e vecteurs non-lipschitziens et mécanique es fluies. Arch. Rational Mech. Anal., 1272): , [2] Hajer Bahouri, Jean-Yves Chemin, an Raphaël Danchin. Fourier analysis an nonlinear partial ifferential equations, volume 343 of Grunlehren er Mathematischen Wissenschaften [Funamental Principles of Mathematical Sciences]. Springer, Heielberg, [3] Jean Bourgain an Dong Li. Strong ill-poseness of the incompressible Euler equation in borerline Sobolev spaces. Invent. Math., 2011):97 157, [4] Jean Bourgain an Dong Li. Strong illposeness of the incompressible Euler equation in integer C m spaces. Geom. Funct. Anal., 251):1 86, [5] Sergei A. Denisov. Double exponential growth of the vorticity graient for the two-imensional Euler equation. Proc. Amer. Math. Soc., 143: , [6] Tarek M. Elgini an In-Jee Jeong. On singular vortex patches. In preparation. [7] Tarek M. Elgini an Naer Masmoui. L ill-poseness for a class of equations arising in hyroynamics. arxiv:

16 [8] Alexaner Kiselev an Vlaimir Šverák. Small scale creation for solutions of the incompressible two-imensional Euler equation. Ann. of Math. 2), 1803): , [9] Carlo Marchioro an Mario Pulvirenti. Mathematical theory of incompressible nonviscous fluis, volume 96 of Applie Mathematical Sciences. Springer-Verlag, New York, [10] Anrej Zlatoš. Exponential growth of the vorticity graient for the Euler equation on the torus. Av. Math., 268: ,