ILL-POSEDNESS OF BASIC EQUATIONS OF FLUID DYNAMICS IN BESOV SPACES arxiv:94.2196v1 [math.ap] 14 Apr 29 A. CHESKIDOV AND R. SHVYDKOY ABSTRACT. We give a construction of a divergence-free vector field u H s B,, 1 for all s < 1/2, such that any Leray-Hopf solution to the Navier-Stokes equation starting from u is discontinuous at t = in the metric of B, 1. For the Euler equation a similar result is proved in all Besov spaces Br, s where s > if r > 2, and s > n(2/r 1) if 1 r 2. 1. INTRODUCTION In recent years numerous results appear in the literature on well-posedness theory of the Euler and Navier-Stokes equations in Besov spaces (see for example, [1, 4, 5, 1, 13] and references therein). The best local existence and uniqueness result known for the Euler equation states that for any initial condition u B n r +1 r,1 with 1 < r, where n is the dimension of the fluid domain, there exists a unique weak solution u in space C([, T]; B n r +1 r,1 ), for some T >, such that u(t) u in B n r +1 r,1. The case of r = 2, n = 3 is especially interesting for it constitutes the borderline space for applicability of the standard energy method in proving local well-posedness (see [9]). Notice that B 5/2 2,1 is a proper subspace of the Sobolev space H5/2 = B 5/2 2,2, where local existence is an outstanding open problem. As a part of a construction presented here in Proposition 2.1 we show that the Euler equation is illposed in the opposite extreme space with respect to summation, namely in B 5/2 2,. Specifically, there exists a u B 5/2 2, such that any energy bounded weak solution to the Euler equation that starts from u does not converge back to u is the metric of B 5/2 2, as time goes to zero. Another particular case of Proposition 2.1 demonstrates similar ill-posedness result in B, 1 thus precluding a possible extension of Pak and Park s result in B,1 1 (see [1]). 2 Mathematics Subject Classification. Primary: 76D3 ; Secondary: 35Q3. Key words and phrases. Euler equation, Navier-Stokes equation, ill-posedness, Besov spaces. The work of A. Cheskidov is partially supported by NSF grant DMS 87827. The work of R. Shvydkoy was partially supported by NSF grant DMS 645. 1
2 A. CHESKIDOV AND R. SHVYDKOY In the second part of this note we address the question of ill-posedness for the Navier-Stokes equations in the critical Besov space X = B, 1. We recall that the homogeneous space Ẋ = Ḃ 1, is invariant with respect to the natural scaling of the equation in R n. Moreover it is the largest such space [4]. The non-homogeneous space considered in this note is even larger although (quasi-)invariant only with respect to the small scale dialations. In a recent work of Bourgain and Pavlovic [3] the authors constructed a mild solution to NSE with initial condition u Ẋ < δ such that at a time t < δ the solution satisfies u(t) Ẋ > 1/δ. This shows the evolution under NSE is not continuous from Ẋ to C([, T]; Ẋ). In our Proposition 3.2, similar to the case of the Euler equation, we construct an initial condition U which belongs to all Besov spaces Br, 3/r 1 in the range 1 < r, in particular U has finite energy such that any Leray-Hopf weak solution starting from U does not return to U in the metric of inhomogeneous space X. This demonstrates an even more dramatic breakdown of NSE evolution in X as there is no continuous trajectory in X at all. More importantly our construction gives a simple model for the forward energy cascade, which is typically observed in turbulent flows [8]. Incidentally, the result proved in [7] shows that any left-continuous Leray-Hopf solution in X is necessarily regular. We consider periodic boundary conditions for two main reason. Firstly, we do not make use of lower frequencies in our analysis, and secondly, our constructions become much more transparent. However with the technique developed in [6] the results can be carried over to the open space too. Let us now introduce the notation and spaces used in this paper. We will fix the notation for scales λ q = 2 q in some inverse length units. Let us fix a nonnegative radial function χ C (R n ) such that χ(ξ) = 1 for ξ 1/2, and χ(ξ) = for ξ 1. We define ϕ(ξ) = χ(λ 1 1 ξ) χ(ξ), and ϕ q (ξ) = ϕ(λ 1 q ξ) for q, and ϕ 1 = χ. For a tempered distribution vector field u on the torus T n we consider the Littlewood-Paley projections (1) u q (x) = k Z n û(k)ϕ q (k)e ik x, q 1. So, we have u = q= 1 u q in the sense of distributions. We also use the following notation u q = q p= 1 u p, and ũ q = u q 1 + u q + u q+1. Let us recall the definition of Besov spaces. A tempered distribution u belongs to Br,l s for s R, 1 l, r iff ( ) 1/l u B s r,l = (λ s q u q r ) l <. q 1
ILL-POSEDNESS IN BESOV SPACES 3 2. INVISCID CASE The Euler equation for the evolution of ideal fluid is given by (2) u t + (u )u = p, where u is a divergence free field on T n. By a weak solution to (2) we understand an L 2 -valued weakly continuous field u satisfying (2) in the distributional sense. Let us recall that all such solutions have absolutely continuous in time Fourier coefficients (see for example [11]). Our construction below is two-dimensional. So, we denote by e 1, e 2 the vectors of the standard unit basis and define 1 u (x, y) = e 1 cos(y) + e 2 cos(λ q x). λ s q= q Proposition 2.1. If u is a weak solution to the Euler equation (2) with initial condition u() = u. Then there is δ = δ(n, r, s) > independent of u such that we have (3) lim sup t + u(t) u B s r, δ, where s > if r > 2, and s > n(2/r 1) if 1 r 2. The rest of the section is devoted to the proof of Proposition 2.1. Let us denote X = Br, s. We can make the assumption that for some t >, u L ([, t ]; X). Indeed, otherwise (3) follows immediately. Further proof is based on the fact that u produces a strong forward energy transfer which forces u to actually escape from Br, s unless (3) is met. To this end, let us consider frequencies ξ q = (λ q, 1). Let p(ξ) be the symbol of the Leray-Hopf projection. By a direct computation we have (4) f q = p(ξ q )(u u ) (ξ q ) = iλ 1 s q e 2 + O(1/λ s q ). We will prove the following estimate for the nonlinear term (5) (u v) q 1 λ 1 s q u X v X, for all u, v X and q 1. First, let us assume that r 2. Using the identity div(u v) = u v and the Bernstein inequality we obtain (6) div(u v) q 1 λ q (u v) q 1 λ q u p r v p r (7) Using that p,p q + λ q u q r v p r + λ q v q r u p r. p q w p r λ n(2/r 1) p w p r, p q
4 A. CHESKIDOV AND R. SHVYDKOY we have for the first sum u p r v p r λ q λ q p,p q p,p q For the second sum we obtain λ q u q r v p r λq 1 s λ s q u q r p q p q u p r λ s p v p rλ s p λn(2/r 1) 2s p λ 1+n(2/r 1) 2s q u X v X. v p r λ s pλ n(2/r 1) s p λ 1 s q u X v X. Similar estimate holds for the third term. We thus obtain (5). In the case r > 2, we use the basic embedding L r L r instead of Bernstein s inequalities in (6) (7). The rest of the argument is similar. We have (8) û(ξ q, t) = û(ξ q, ) + t p(ξ q )(u u) (ξ q, s)ds, for all t >. By our construction, û(ξ q, ) =. On the other hand we can estimate using (5) p(ξ q )(u u) (ξ q, s) f q (u u) (ξ q, s) (u u ) (ξ q ) Thus, from (8) we obtain = (u u) q (ξ q, s) (u u ) q (ξ q) (u u) q (s) (u u ) q 1 λ 1 s q ( u(s) X + u X ) u(s) u X. t λ s q û(ξ q, t) tλ q to(1) Cλ q ( u(s) X + u X ) u(s) u X ds. We can see that if the limit in (3) does not exceed δ = 1/(1C) then the integral becomes less than t/2. This implies that u(t) / X. 3. ILL-POSEDNESS OF NSE Now we turn to the analogous question for the viscous model. Navier-Stokes equation is given by (9) u t + (u )u = ν u p. The Here u is a three dimensional divergence free field on T 3. We refer to [12] for the classical well-posedness theory for this equation. Let us recall that for every field U L 2 (T 3 ) there exists a weak solution u C w ([, T); L 2 ) L 2 ([, T); H 1 ) to (9) such that the energy inequality (1) u(t) 2 2 + 2ν t u(s) 2 2ds U 2 2,
ILL-POSEDNESS IN BESOV SPACES 5 holds for all t > and u(t) U strongly in L 2 as t. In what follows we do not actually use inequality (1) which allows us to formulate a more general statement below in Proposition 3.2. Let us fix a small ǫ >. Let us choose a sequence q 1 < q 2 <... with elements sufficiently far apart so that λ 2 q i /λ qi+1 < ǫ. Let us fix a small c > and consider the following integer lattice blocks: A j = [(1 c)λ qj, (1 + c)λ qj ] [ cλ qj, cλ qj ] 2 Z 3 B j = [ cλ qj 1, cλ qj 1] 2 [(1 c)λ qj 1, (1 + c)λ qj 1] Z 3 C j = A j + B j A j = A j, B j = B j, C j = C j. Thus, A j, C j and their conjugates lie in the λ qj -th shell, while B j, B j lie in the contiguous λ qj 1-th shell. Let us denote We define e 1 (ξ) = p(ξ) e 1 and e 2 (ξ) = p(ξ) e 2. (11) U = j 1(U qj + U qj 1), where Û qj = 1 λ 2 ( e 2 (ξ)χ Aj A j + i( e 2(ξ) e 1 (ξ))χ Cj i( e 2 (ξ) e 1 (ξ))χ C j ), and Û qj 1 = e 1 (ξ)χ Bj B j. Since U has no modes in the ( + 1)-st shell, Ũ = U qj 1 + U qj. Lemma 3.1. We have U B 3 r 1 r,, for all 1 < r. Proof. We give the estimate only for one block. Using boundedness of the Leray-Hopf projection, we have for 1 < r < λ 2 ( e 2 ( )χ Aj ) r λ 2 (χ Aj ) r λ 2 D cλqj 3 r, where D N denote the Dini kernel. By a well-known estimate, we have D N r N 1 1 r, which implies the lemma. If r =, we simply use the triangle inequality to obtain U qj λ qj.
6 A. CHESKIDOV AND R. SHVYDKOY Let us now examine the trilinear term. We will use the following notation for convenience (12) u v : w = v i i w j u j dx. T 3 Using the antisymmetry we obtain U U : U qj = Ũ qk Ũq k : U qj + Ũ Ũ : U qj k j+1 + U qj 1 Ũ : U qj + Ũ U qj 1 : U qj = Ũ qk Ũq k : U qj + U qj 1 U qj : U qj U qj U qj : U qj 1 k j+1 = A + B + C. Using Bernstein s inequalities we estimate A λ qj U qj C U qj 2 2 k j 1 k j+1 Ũq k 2 2 λ2 λ qj+1 ǫ, λ qk Ũq k λ2 1 λ qj ǫ. On the other hand, a straightforward computation show that (13) B λ qj. Proposition 3.2. Let u C w ([, T); L 2 ) L 2 ([, T); H 1 ) be a weak solution solution to the NSE with initial condition u() = U. Then there is δ = δ(u) > such that (14) lim sup u(t) U B 1 δ., t + If in addition u is a Leray-Hopf solution satisfying the energy inequality (1), then c can be chosen independent of u. Proof. Using u qj as a test function we can write t (ũ qj u qj ) = ν ũ qj u qj + u u : u qj. Denoting E(t) = t u 2 2ds we obtain (15) ũ qj (t) 2 2 U 2 2 νe(t) + c 1λ qj t t c 2 u u : uqj U U : U qj ds, for some positive constants c 1 and c 2. We now show that if the conclusion of the proposition fails then for some small t > the integral term is less
ILL-POSEDNESS IN BESOV SPACES 7 than c 1 λ qj t/2 uniformly for all large j. This forces ũ qj (t) 2 2 λ t for all large j. Hence u has infinite energy, which is a contradiction. So suppose that for every δ > there exists t = t (δ) > such that u(t) U B 1, < δ for all < t t. Denoting w = u U we write u u : u qj U U : U qj = w U : U qj + u w : U qj + u u : w qj = A + B + C. We will now decompose each triplet into three terms according to the type of interaction (c.f. Bony [2]) and estimate each of them separately. A = w p U p : U qj + w qj Ũ : U qj p,p + w qj U qj : U qj repeated = A 1 + A 2 + A 3. Using Lemma 3.1 along with Hölder and Bernstein inequalities we obtain A 1 U qj 4 wp U p 4/3 λ 5/4 q wp j λ 5/4 p δλ qj, A 2 = U qj Ũ : w qj Ũ 2 2 w qj λ 1 A 3 λ qj U qj 2 U qj 2 w qj w qj < δλ qj. We have shown the following estimate: (16) A δλ qj. As to B we decompose analogously, B = u p w p : U qj + u qj w qj : U qj p,p p λ 2 pλ 1 p w p < δλ qj, + ũ qj w qj : U qj repeated = B 1 + B 2 + B 3. Again, using Lemma 3.1, Bernstein and Hölder inequalities we obtain B 1 λ qj U qj 2 up 2 w p δλ 1/2 u 2. B 2 = Uqj w qj : u qj Uqj 2 w qj u qj 2 λq 1/2 j w qj u 2 δλ 1/2 u 2. B 3 ũ qj 2 w qj U qj 2 λ 1/2 ũ qj 2 λ 1 p w p λ p p δλ 1/2 u 2. We thus obtain (17) B δλ 1/2 u 2.
8 A. CHESKIDOV AND R. SHVYDKOY Continuing in a similar fashion we write C = u p u p : w qj + u qj ũ qj : w qj p,p C 1 w qj + ũ qj u qj : w qj repeated = C 1 + C 2 + C 3. p 2 ũ p 2 2 λ 1 w qj λ 2 u 2 2 δ u 2 2, C 2 u 2 ũ qj 2 w qj λ 1 u 2 2 w qj r δ u 2 2. Now using a uniform bound on the energy u(t) 2 2 1 for almost all t, we estimate Thus, C 3 λ qj w qj ũ qj 2 δλ qj ũ qj 2. (18) C δ u 2 2 + δλ qj ũ qj 2. Now combining estimates (16), (17), (18) along with the boundedness of E(t ) we obtain (19) t Using that u u : uqj U U : U qj ds δλqj t + δλ 1/2 t 1/2 t ũ qj (s) 2 ds t + δ + δλ qj ũ qj (s) 2 ds. as j we can chose δ small enough and j large enough so that the left hand side of the (19) is less than c 1 2c 2 λ qj t for all j j. Going back to (15) this implies ũ qj (t ) 2 2 U 2 2 νe(t ) + c 1 λ qj t /2, for all j > j, which shows that u(t ) has infinite energy, a contradiction. The last statement of the proposition follows from the fact that we have the bounds on u(t) 2 U 2 and E(t ) (2ν) 1 U 2 2 which remove dependence of the constants on u.
ILL-POSEDNESS IN BESOV SPACES 9 REFERENCES [1] Herbert Amann. On the strong solvability of the Navier-Stokes equations. J. Math. Fluid Mech., 2(1):16 98, 2. [2] J-M Bony. Calcul symbolique et propagation des singularité pour leséquations aux dérivées partielles non linéaires. Ann. Ecole Norm. Sup., 14:29 246, 1981. [3] Jean Bourgain and Nataša Pavlović. Ill-posedness of the Navier-Stokes equations in a critical space in 3D. J. Funct. Anal., 255(9):2233 2247, 28. [4] Marco Cannone. Harmonic analysis tools for solving the incompressible Navier- Stokes equations. In Handbook of mathematical fluid dynamics. Vol. III, pages 161 244. North-Holland, Amsterdam, 24. [5] Dongho Chae. Local existence and blow-up criterion for the Euler equations in the Besov spaces. Asymptot. Anal., 38(3-4):339 358, 24. [6] A. Cheskidov, P. Constantin, S. Friedlander, and R. Shvydkoy. Energy conservation and Onsager s conjecture for the Euler equations. Nonlinearity, 21(6):1233 1252, 28. [7] Alexey Cheskidov and Roman Shvydkoy. On the regularity of weak solutions of the 3D Navier-Stokes equations in B, 1. to appear in Archive for Rational Mechanics and Analysis. [8] Uriel Frisch. Turbulence. Cambridge University Press, Cambridge, 1995. The legacy of A. N. Kolmogorov. [9] Andrew J. Majda and Andrea L. Bertozzi. Vorticity and incompressible flow, volume 27 of Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge, 22. [1] Hee Chul Pak and Young Ja Park. Existence of solution for the Euler equations in a critical Besov space B,1 1 (Rn ). Comm. Partial Differential Equations, 29(7-8):1149 1166, 24. [11] Roman Shvydkoy. On the energy of inviscid singular flows. J. Math. Anal. Appl., 349(2):583 595, 29. [12] Roger Temam. Navier-Stokes equations, volume 2 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam, third edition, 1984. Theory and numerical analysis, With an appendix by F. Thomasset. [13] Misha Vishik. Hydrodynamics in Besov spaces. Arch. Ration. Mech. Anal., 145(3):197 214, 1998. (A. Cheskidov and R. Shvydkoy) DEPARTMENT OF MATHEMATICS, STAT. AND COMP. SCI., M/C 249,, UNIVERSITY OF ILLINOIS, CHICAGO, IL 667 E-mail address: acheskid@math.uic.edu E-mail address: shvydkoy@math.uic.edu