GOING BEYOND THE THRESHOLD: SCATTERING AND BLOW-UP IN THE FOCUSING NLS EQUATION THOMAS DUYCKAERTS AND SVETLANA ROUDENKO arxiv:09.8v [math.ap] 6 Sep 0 Abstract. We study the focusing nonlinear Schrödinger equation i tu+ u+ u p u = 0, x R N, in the L -supercritical regime with finite energy and finite variance initial data. We investigate solutions above the energy (or mass-energy) threshold. In our first result, we extend the known scattering versus blow-up dichotomy above that threshold for finite variance solutions in the energy-subcritical and energy-critical regimes, obtaining scattering and blow-up criteria for solutions with arbitrarily large mass and energy. As a consequence, we characterize the behavior of the ground state initial data modulated by a quadratic phase. Our second result gives two blow up criteria, which are also applicable in the energy-supercritical NLS setting. We finish with various examples illustrating our results.. Introduction Consider the focusing nonlinear Schrödinger (NLS) equation on R N : (.) i t u+ u+ u p u = 0, (x,t) R N R, where u = u(x,t) is complex-valued and the nonlinearity p > + N. The solutions of this equation conserve mass, energy and momentum: M[u](t) = u(x,t) dx = M[u](0), E[u](t) = P[u](t) = Im u(x,t) p+ u(x,t)ū(x,t)dx = P[u](0). u(x,t) p+ dx = E[u](0), The equation (.) has scaling: u λ (x,t) = λp u(λx,λ t) is a solution if so is u(x,t). This scaling produces a scale-invariant Sobolev norm Ḣsc with s c = N p. The nonlinearity restriction p > + N implies that we only consider the case s c > 0... Scattering and blow up in the energy subcritical and critical cases. For p >, N such that 0 s c <, we let Q = Q p,n be the unique H radial positive solution of (.) Q ( s c ) Q+ Q p Q = 0. If s c =, i.e., N 3 and p = N N, since the equation (.) is invariant by scaling, the radial positive solution equation (.) is no longer unique. In this case, we let Q N N,N = ( + x N(N ) )N,
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO which is often denoted by W, see []. In both cases, Q p,n is smooth. If s c <, Q p,n and all its derivatives decay exponentially at infinity. If s c =, Q p,n = W belongs to the homogeneous space Ḣ. It is in L if and only if N 5. In all cases, (.3) u Q (x,t) = e i( sc)t Q(x) is a solution of (.). Let us emphasize that the choice of the constant s c in front of (.) is for convenience. If s c <, we can replace this constant by any positive constant by scaling. Similarly, if s c =, the choice Q p,n = W is arbitrary, and we could replace W by λ N W(λx) for any λ > 0. We will state all our results using scale invariant quantities that do not depend on these choices. One useful constant scaling quantity is M[u] sc E[u] sc, which we renormalize (for s c > 0) as (.) ME = M[u] sc sc E[u] M[Q] sc sc E[Q] and call it the mass-energy. As it turns out, it is important to know its size relative to. We refer to ME = as the mass-energy threshold (or the energy threshold, E =, when s c = ). The other useful scaling quantities (changing in time) are u sc L (R N ) u(t) sc and u(t) p+ L (R N u sc ) L (R N sc ) L p+ (R N ), for the purpose of this paper we use the last one. (.5) The case 0 < s c < (the mass-supercritical and energy-subcritical NLS), or N + < p < when N =, and N + < p < + when N 3. N A physically important equation in this range (s c = ) is the 3d cubic NLS equation, for which the behavior of solutions was studied in series of papers [,,, 5, 3]. It was later extended in [5] to the d quintic NLS (also s c = ) and then generalized to other dimension and nonlinearities (0 < s c < ) in [7] (see also [8], and [], [8]). When ME <, the global behavior of solutions is completely understood, which we summarize in the following Theorem.. Let u(x,t) be a solution of (.), 0 < s c <, with u 0 H (R N ). Assume 0 < ME <. (a) If M[u 0 ] sc ( u 0 p+) s c < M[Q] sc ( Q p+) s c, then u(t) exists globally and, in fact, scatters in both time directions, in H, to a linear solution. (b) If M[u 0 ] sc ( u 0 p+) s c > M[Q] sc ( Q p+) s c, either u(t) blows-up in finite positive time or there exists a sequence t n ր + such that lim n u(t n ) L =. A similar statement holds for negative time. Furthermore, if u 0 has finite variance or u 0 is radial, then u(t) blows-up in finite positive time and finite negative time. Remark.. Theabove theorem is usuallyformulated withthegradient u L instead of the u L p+ norm, we show the equivalence in Claim.3. Behavior of solutions at the mass-energy threshold ME = is completely classified in [5] in the case N = 3, p = 3, see Theorems and 3 there. The case s c = (the energy-critical NLS), or (.6) p = +, N 3. N In this case instead of ME we simply use the notation E = E[u]/E[W]. In the case of E < the behavior of solutions is also completely understood and is summarized in Theorem.3. Let s c = and u(x,t) be a solution of (.) with u 0 Ḣ (R N ). Assume 0 < E <. (a) If u 0 p+ < W p+ and u is radial if N = 3,, then u(t) exists globally and, in fact, scatters in Ḣ in both time directions.
COLLAPSE AND SCATTERING FOR NLS 3 (b) If u 0 p+ > W p+ and either u 0 is radial with u 0 L or xu 0 L, then u(t) blows-up in finite positive time and finite negative time. The above results in both cases 0 < s c use the concentration compactness - rigidity method, first introduced in the energy-critical case by Kenig-Merle [], where they proved Theorem.3 in dimensions N = 3,, 5. The higher dimensions extensions and non-radial assumption are in [8]. Behavior of radial solutions at the energy threshold E = is classified in [3], see Theorem there. Above the mass-energy threshold, i.e., ME >, the question about the global behavior of solutions is mostly open. For the radial 3d cubic NLS (s c < ), in [3] Nakanishi and Schlag described the global dynamics of H solutions slightly above the mass-energy threshold, ME < +ǫ. Beceanu in [] constructs a co-dimension manifold invariant by the flow of Ḣ / solutions close to u Q. The only other result which also works above the threshold is the two blow up criteria in [0] (for the 3d cubic NLS). In this paper we investigate solutions above this threshold, in particular, we improve the results of Theorems. and.3 for the finite variance solutions, where for globally existing solutions we also show scattering. Note that we can now describe solutions which are not necessarily ǫ-close to the threshold. Before we state the main results of the paper, we define the variance as (.7) V(t) = x u(x,t) dx. Assuming V(0) < (referred to as finite variance), the following virial identities hold: (.8) V t (t) = Im x u(x,t)u(x,t)dx, and V tt (t) = 8 u(t) (.9) u(t) p+ p+ (.0) We abbreviate Q = Q p,n from (.). E[u] (p )s c u(t) L (R N ). Theorem.. Let u be a solution of (.), where p satisfies (.5) or (.6). Assume V(0) <, u 0 H (R N ), and (.) ME[u] ( (V t(0)) ). 3E[u]V(0) Part (Blow up) If (.) M[u 0 ] sc ( u 0 p+ ) sc > M[Q] sc ( Q p+ ) sc and (.3) V t (0) 0, then u(t) blows-up in finite positive time, T + (u) <. Part (Boundedness and scattering) If (.) M[u 0 ] sc ( u 0 p+ ) sc < M[Q] sc ( Q p+ ) sc and (.5) V t (0) 0,
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO then (.6) lim sup t T + (u) M[u 0 ] sc ( u(t) p+ ) sc < M[Q] sc ( Q p+ ) sc, in particular, in the energy-subcritical case when p < N+ N, we get T + = +. Furthermore, if s c <, u scatters forward in time in H ; if s c =, u scatters forward in time in Ḣ provided N 5 or u is radial. Remark.5. If ME <, the conclusion of Theorem. follows from Theorems. (if s c < ) and.3 (s c = ). Theorem. is new only in the case when ME. Remark.6. Let Σ = {f H, x f < }. The proof of Theorem. shows that the two subsets of Σ: Σ Bup defined by the conditions (.), (.) and (.3), and Σ sc defined by the conditions (.), (.), (.5) are stable by the forward flow of (.). These two sets contain solutions with zero momentum and arbitrary large mass and energy (see Remark. below). Remark.7. We prove in Section 3 that any solution of (.) with property (.6) scatters for positive time (see Theorems 3. and 3.7). Note that if the L p+ norm is replaced by the gradient norm, the result is known, for example see [, Cor 5.6] in the energy-critical case. Our assumption (.6) is weaker, due to the one side implication in (.7), thus, Theorems 3. and 3.7 improve known results. Remark.8. The statement of Theorem. is not symmetric in time as the statements in Theorems. and.3. Remark.9. The scattering statement (Part ) of Theorem. is optimal in the following sense: if u 0 H has finite variance, and u scatters forward in time, then there exists t 0 such that (.), (.) and (.5) are satisfied by u(t), V(t) and V t (t) for all t t 0. Indeed, if u(t) scatters forward in times, then E[u] > 0, u(t) L p+ 0 V(t) 8E[u]t, V t (t) 6E[u]t, as t +, which proves these three conditions. As a consequence of Theorem., we obtain the behavior of solutions that are obtained by multiplying a finite-variance solutions with ME by e iγ x, γ R: Corollary.0. Let γ R\{0}, v 0 H with finite variance be such that ME[v 0 ], and u γ be the solution of (.) with initial data u γ 0 = eiγ x v 0. If M[u γ 0 ] sc ( u γ 0 p+) s c > M[Q] sc ( Q p+) s c, then γ < 0, T + (u γ ) <. If M[u γ 0 ] sc ( u γ 0 p+) s c < M[Q] sc ( Q p+) s c, then for all γ > 0, u γ satisfies (.6). Furthermore, if s c <, u γ scatters forward in time in H. If s c =, u γ scatters forward in time in Ḣ provided N 5, or u is radial. Remark.. The above corollary implies that we can predict the behavior of some solutions with arbitrary large energy: for example, if v 0 is such that ME[v 0 ] and γ > 0 is large, then E[u γ 0 ] = E[v 0]+γ xv 0 L +γim x v 0 v 0, and E[u γ 0 ] ր as γ ±. Note that we can have P[uγ 0 ] = 0 for all γ (this is the case for example if v 0 is radial): in particular, our results cannot be obtained from Theorem. by Galilean invariance as for example in [5, Theorem ].
COLLAPSE AND SCATTERING FOR NLS 5 The second part of Corollary.0 is in accordance with the observation, made in [9], that if v 0 H has finite variance, then the solution of (.) with initial data e iγ x v 0 scatters forward in time for large, positive γ. Let us also mention that in the mass-critical case s c = 0, the solution with initial data e iγ x v 0 can be obtained explicitly, by the pseudo-conformal transformation from the solution with initial data e iγ x. This transformation is not available if s c 0. Another consequence of Theorem. is that we now understand the behavior of the ground state modulated by a quadratic phase in both time directions (which is important in studying blow up solutions, for example, see [9]). Corollary.. Subcritical case: Let p be as in (.5) (i.e., 0 < s c < ). Let γ R and Q γ be the solution of (.) with initial data Q γ 0 = eiγ x Q(x), where Q = Q p,n is as in (.). If γ > 0, then Q γ is globally defined, bounded and scatters forward in time and blows up backward in time. If γ < 0, then Q γ blows up forward in time and is globally defined, bounded and scatters backward in time. Critical case: Let p be as in (.6) (i.e., s c = ) with N 7. Let W γ be the solution of (.) with initial data W γ 0 = eiγ x W(x), where W = Q p,n as in (.) for p,n such that s c =. If γ > 0, then W γ is globally defined, bounded and scatters forward in time and blows up backward in time. If γ < 0, then W γ blows up forward in time and is globally defined, bounded and scatters backward in time. Remark.3. In the case p = 3, N = 3, Nakanishi and Schlag has proved in [3] the existence of an open subset of initial data such that the corresponding solutions scatters forward in time and blows up in finite negative time. Corollary. gives an explicit family of examples of such solutions for all mass-supercritical energy-subcritical nonlinearities. See also discussion after Conjecture in [0], where such solutions (not necessarily close to Q) were exhibited. Another consequence of Theorem. is the behavior of the initial data with V t (0) = 0 (e.g., realvalued data) at the threshold ME =. Corollary.. Let u(x,t) be a solution of (.), 0 < s c, with V(0) <, V t (0) = 0 and u 0 H (R N ). Assume ME =. (a) If M[u 0 ] sc ( u 0 p+) s c < M[Q] sc ( Q p+) s c, then the solution u(t) is bounded in H (Ḣ if s c = ). Moreover if s c <, then u is global and scatters in H in both time directions; if s c =, then u is global and scatters in Ḣ in both time directions, provided u is radial in dimensions N = 3,. (b) If M[u 0 ] sc ( u 0 p+) s c > M[Q] sc ( Q p+) s c, then u(t) blows-up in both time directions. Note that this result is a consequence of the classification of the solutions at the threshold in the energy-critical case [3] and in the 3d cubic case [5]... Blow up criteria in the mass-supercritical case. We next consider any mass-supercritical NLS (s c > 0), including the energy-supercritical case: (.7) p > +, N 3. N There is not much known in this case. For the focusing NLS one has small data theory in the critical Sobolev space for global-in-time solutions and negative energy finite variance criteria for blow up in
6 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO finite time solutions. In the defocusing case (when the sign in front of the nonlinearity is changed to minus), in [9] it is shown that the a priori boundedness of solutions in the critical Sobolev norm implies scattering in high dimensions (N 5), with additional technical assumptions on p, and numerical simulations in [0] confirm boundedness of the corresponding invariant Sobolev norm (H in that case) for the 5d quintic NLS equation (s c = ). The motivation for these papers came from similar results in the energy-subcritical case (see [5]) as well as results in the energy-supercritical regime for the nonlinear wave equation, initiated in [6] (see also [] and references therein). We refer to [] for the description of a stable blow-up in this context. The classical blow up criterion of Vlasov-Petrishev-Talanov [3], Zakharov [36], Glassey [6] use the convexity argument on the variance V(t) to show that finite variance, negative energy solutions break down in finite time. In [30], the second time derivative of the variance is used as well, however, it is expressed in a dynamic way, which with a classical mechanics approach gives a more refined blow-up criterion. In [0] that and another criteria were shown for the 3d cubic NLS equation; in particular, it was shown that there is an open set of blow up solutions above the mass-energy threshold ME >. We extend this argument to any focusing mass-supercritical NLS equation in all dimensions and show that these conditions indeed produce new blow up solutions; for example, in the energy-critical case see 5. and Figures 5. and 5., and in the energy-supercritical case refer to 5.. and Figure 5.3. If s c >, equation (.) is not well-posed in H. To prove local well-posedness in the critical Sobolev space Ḣsc, one needs the nonlinearity to be at least C sc, i.e. (.8) p is an odd integer or N 7 or p > N ++ N N 8 (note that the condition N 7 or p > N++ N N 8 is equivalent to p > s c ). We abbreviate M = M[u] and E = E[u], and state the following two criteria: Theorem.5. Suppose that u 0 H and V(0) <. If s c >, assume furthermore (.8) and u 0 Ḣ sc. The following is a sufficient condition for blow-up in finite time for (.) with s c > 0 and E[u] > 0: V t (0) (.9) M < ( ) EV(0) 8Ns c g Ns c M, where +x ( + ) kx (.0) g(x) = k k +x ( + ) kx k k if 0 < x if x and the function g is graphed in Figure. for various values of k. with k = (p )s c, Theorem.6. Suppose that u 0 H and V(0) <. If s c >, assume furthermore (.8) and u 0 Ḣsc. The following is a sufficient condition for blow-up in finite time for NLS (.) with s c > 0 and E[u] > 0: (.) where (.) C = V t (0) M < (M s c E sc ) N C g (C E V(0) (p+) + M ( ) (p+) s c (p ) (C p,n) +(p+) and C p,n is a sharp constant in the interpolation inequality (.8), given by (.), the function g is defined in (.0) and graphed in Figure.. ),
COLLAPSE AND SCATTERING FOR NLS 7 y 3.5.5 k = k =3 k =0 k g k ( x) = sgn ( x) ( x ) k + ( x ) 0.5 k =0 0 0 0.5.5.5 x 3-0.5 - -.5 Figure.. A plot of the function g(x) defined in (.0) for various values of k, where k = (p )sc. This function appears in Theorems.5 and.6. The two limiting cases, k 0 (corresponding to p + N ) and k (correspondingto p or N ), are also indicated on the graph, for details refer to (.7). Let us emphasize that in both Theorems, the additional assumption in the supercritical case s c > is only needed to ensure local well-posedness of the solution (see [9, Theorem 3.]). Observe that both conditions deal with the normalized first derivative of the variance V t(0) and the scaling-invariant quantities: V(0)E M in Theorem.5 and V(0)E (p+) + M M in Theorem.6. For different values of p and N, each criterion produces a different range of blow up solutions. For example, for the real-valued data that depends on the size of M[u] sc E[u] sc, see (.30). A simplified version of Theorems.5 and.6 for real data is given in Section.. The structure of this paper is as follows: in Section we consider the energy-critical and energysubcritical NLS equations and prove the boundedness and blow up in finite time parts of Theorem., then in Section 3 we show scattering for the bounded solutions (in the same range 0 < s c ). In Section we investigate other blow up criteria, which are also valid for the energy-supercritical NLS equation. A sharp interpolation inequality is discussed in Section., which is the key for Theorem.6. We conclude the paper with Section 5, where we illustrate Theorems.5 and.6 on the gaussian initial data in the energy-critical, supercritical and subcritical cases..3. Acknowledgements. S.R. was partially supported by the NSF grants DMS-037 and CAREER- 568. T.D. was partially supported by ERC Grant Dispeq, ERC Avanced Grant no. 9, BLOWDISOL and ANR Grant SchEq.. Boundedness and Blow-up in the case 0 < s c. We start with recalling the Gagliardo-Nirenberg inequality from [35] which is valid for values p and N such that 0 s c (when s c = it is the critical Sobolev inequality): (.) f p+ L p+ (R N ) c GN f f (N )(p ) L (R N, ) L (R N )
8 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO with equality when f = Q, where Q is the ground state solution of (.). Rewriting (.) as (.) we have ( f p+ ) cq M[f] κ (.3) c Q = (c GN ) = f, ( Q p+ ) M[Q] κ Q. κ = (p+), Note that κ > 0 if 0 s c < and κ = 0 if s c =. Using the Pohozhaev identity: (.) Q = Q p+, (p+) we get the following expressions for c Q (.5) c Q = (p+) ( Q p+ ) M[Q] κ = where ( 8(p+) (.6) A = ( ). A ) sc N (E[Q]) M[Q] κ, Our next observation is the following inequality, a consequence of (.) and Cauchy-Schwarz inequality in the spirit of Lemma., from the work of V. Banica [3]: Lemma.. Let f H such that xf L. Then ( f) [ ( Im x f x f f c Q M[f] κ ) ] f p+. Proof. The proof is similar to the one in [3]. We provide it for the sake of completeness. We apply (.) to e iλ x f, λ R. Using that ( e iλ x f ) = λ x f +λim x f f + f, and using the Gagliardo-Nirenberg inequality (.), we get λ R, c Q M[f] κ [ λ x f +λim x f f + ( f ] f p+ ) 0, where the left-hand side is a polynomial in λ. The discriminant of this polynomial in λ must be negative, which yields the conclusion of the Lemma. Remark.. Assume f = e iλ x Q for some λ R. Then the polynomial in the proof of Lemma. admits λ as a double root, and its discriminant is 0. As a consequence, the inequality in the conclusion of Lemma. is an equality. Combining with (.5), we get f = e iλ x Q = ( Im x ff) = x f ( f (p+) f p+ ). We next show a variational result which is a consequence of Gagliardo-Nirenberg (or Sobolev) inequality (.).
COLLAPSE AND SCATTERING FOR NLS 9 Claim.3. Let f be in H (f in Ḣ if s c = ). Then ( ) sc ( ) sc (.7) f M[f] sc < Q M[Q] sc ( ) sc ( = f p+ M[f] sc < Assume furthermore that (.8) M[f] sc sc E[f] M[Q] sc sc E[Q], or ME. Then the reverse implication to (.7) holds, and we obtain ( ) sc ( ) sc (.9) f M[f] sc < Q M[Q] sc ( ) sc ( f p+ M[f] sc < Q p+ ) sc M[Q] sc. Q p+ ) sc M[Q] sc. Moreover, (.9) also holds with non-strict inequalities (in the case of equality, f is equal to Q up to space translation, scaling and phase.) Proof. Using the inequality (.) with the value of c Q as in (.3), we write it in the renormalized form: (.0) ( M[f] sc sc M[Q] sc sc f p+ Q p+ ) M[f] sc M[Q] sc sc f. Q The implication (.7) follows immediately. Assume (.8). In view of (.7), we only have to show the implication from right to left in (.9). Assume ( ) sc ( ) sc f M[f] sc > Q M[Q] sc. Then E[Q]M[Q] sc sc E[f]M[f] sc sc > Q M[Q] sc sc p+ f p+ M[f] sc sc, and the desired inequality ( ) sc ( f p+ M[f] sc > Q p+ ) sc M[Q] sc follows... Proof of Theorem.. In this part we prove Theorem., except for the scattering statement in the end of this theorem which is proved in Section 3. The conclusion of Theorem. is known if ME (see Remark.5). We will thus assume (.) ME >. Recalling the variance V(t) from (.7) and its second derivative (.0), we obtain (.) u p+ = (p+)(6e[u] V tt), u = E[u] V tt, A A where A is defined in (.6). Note that the first expression in (.) implies that V tt 6E[u] for all t.
0 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO Using the definition of V t from (.8) and Lemma., we get ( (.3) (V t (t)) 6V(t)[ u(t) c Q M[u] κ Substituting (.) into (.3) and abbreviating E = E[u], we obtain (.) (z t ) ϕ(v tt ), where and (.5) ϕ(σ) = σ A + E A is defined for σ (,6E]. We have z(t) = V(t) ϕ (σ) = A + c Q M[u] κ c Q M[u] κ ) ] u(t) p+. ( (p+)(6e σ) A ) ( ) p+ (6E σ). A Since < 0 (s c > 0), ϕ is decreasing on (,σ m ), increasing on (σ m,6e], where σ m is given by the equation (.6) Note that this implies that A = c Q M[u] κ ( ) p+ A (.7) ϕ(σ m ) = σ m 8. Furthermore, using (.5), we can rewrite (.6) as (.8) ( M[u] M[Q] As a consequence, (.) is equivalent to ) sc ( E[u] 6 σ m E[Q] (.9) σ m 0, and (.) is equivalent to (6E σm ) ) sc =. (.0) z t (0) ϕ(σ m ) = σ m. First case: we assume (.3) and (.). Note that (.3) means exactly (.) z t (0) 0. In view of (.5), the assumption (.) is equivalent to ( ) ( M[u] sc A 8(p+) u0 p+ ) sc > = M[Q] E[Q] that is, by (.), (.) V tt (0) < σ m. We will show by contradiction that ( M[u] M[Q] (.3) t [0,T + (u)), z tt (t) < 0.. ) sc ( E[u] σ m ) sc 6, E[Q]
Note that (.) z tt = z COLLAPSE AND SCATTERING FOR NLS ( ) Vtt (z t), and that z tt is continuous on [0,T + (u)). By (.0) and (.), z tt (0) < 0. Assume that (.3) does not hold. Then there exists t 0 (0,T + (u)) such that By (.0) and (.), t [0,t 0 ), z tt (t) < 0 and z tt (t 0 ) = 0. (.5) t (0,t 0 ], z t (t) < z t (0) ϕ(σ m ). Hence, (z t ) > ϕ(σ m ), which, combined with (.), implies that t (0,t 0 ], ϕ(v tt ) > ϕ(σ m ). As a consequence, V tt (t) σ m for t (0,t 0 ], and by (.) and continuity of V tt, (.6) t [0,t 0 ], V tt (t) < σ m. Combining (.5) and (.6), we obtain z tt (t 0 ) = ( ) Vtt (t 0 ) (z t (t 0 )) z(t 0 ) < z(t 0 ) contrary to the definition of t 0. Thus, the proof of (.3) is complete. Assume that T + (u) = +. Then by (.) and (.3), t, z t (t) z t () < 0, ( σm σ ) m = 0, a contradiction with the fact that z(t) is positive. Second case: we now assume, in addition to (.) and (.), that (.5) and (.) hold. In other words, in addition to (.9) and (.0), we also assume the following inequalities (.7) (.8) We first notice that there exists t 0 0 such that z t (0) 0 V tt (0) > σ m. (.9) z t (t 0 ) > ϕ(σ m ). Indeed, by (.0) and (.7), z t (0) ϕ(σ m ). If the inequality is strict, then we are done with t 0 = 0. If not, then by (.) and (.8), z tt (0) > 0 and (.9) follows for small t 0 > 0. Let ǫ 0 > 0 be a small parameter and assume (.30) z t (t 0 ) ϕ(σ m )+ǫ 0. We will prove by contradiction (.3) t t 0 z t (t) > ϕ(σ m )+ǫ 0. Assume that (.3) does not hold, and let (.3) t = inf{t t 0 : z t (t) ϕ(σ m )+ǫ 0 }. By (.30) t > t 0. By continuity (.33) z t (t ) = ϕ(σ m )+ǫ 0 and (.3) t [t 0,t ] z t (t) ϕ(σ m )+ǫ 0.
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO By (.) (.35) t [t 0,t ] ( ϕ(σ m )+ǫ 0 ) (z t (t)) ϕ(v tt (t)). As a consequence, ϕ(v tt (t)) > ϕ(σ m ) for all t [t 0,t ], thus, V tt (t) σ m and by continuity V tt (t) > σ m for t [t 0,t ]. We prove that there exists a universal constant D > 0 such that ǫ0 (.36) t [t 0,t ] V tt (t) σ m + D. Indeed, by the Taylor expansion of ϕ around σ = σ m, there exists a > 0 such that (.37) σ σ m ϕ(σ) ϕ(σ m )+a(σ σ m ). If V tt (t) σ m +, then (.36) holds (taking D large). If σ m < V tt (t) σ +, then by (.35) and (.37), we obtain thus ( ϕ(σ m )+ǫ 0 ) (z t (t)) ϕ(v tt (t)) ϕ(σ m )+a(v tt (t) σ m ), ϕ(σ m )ǫ 0 +ǫ 0 a(v tt σ m ), and we get (.36) with D = a(ϕ(σ m )) /. However, by (.) and (.33) we have z tt (t ) = ( ) Vtt (t ) (z t (t )) z(t ) ( ) σm z(t ) + ǫ0 D ( ϕ(σ m )+ǫ 0 ) ( ) ǫ0 z(t ) D ǫ 0 ϕ(σm ) ǫ 0 > 0, if ǫ 0 is small enough, thus, contradicting (.33) and (.3). Therefore, we obtain (.3). Note that we have also shown that the inequality (.36) holds for all t [t 0,T + (u)). Hence (using the first equality in (.), Pohozhaev identity (.) and the characterization (.8) of σ m ), ( ) sc ( p+ M[u] sc u(t) p+ M[u] sc A (6E σ m ) sc ( p+ ε 0 M) < M[u] sc A (6E σ m) ( ) sc = M[Q] sc Q p+, which gives (.6). This concludes the proof of Theorem., except for the fact that (.6) implies that the solution u scatters forward in time, which is proved in Section 3... Dichotomy for quadratic phase initial data. We next study the behavior of solutions with data modulated by a quadratic phase, proving Corollary.0 except for the scattering statement which will follow from (.38) and Section 3: Corollary.. Let γ R \ {0}, v 0 be such that ME[v 0 ], and u γ be the solution of (.) with initial data u γ 0 = eiγ x v 0. If ( v 0 p+) s c M[v 0 ] sc > ( Q p+) s c M[Q] sc, then γ < 0, T + (u γ ) <. ) sc
COLLAPSE AND SCATTERING FOR NLS 3 If ( v 0 p+) s c M[v 0 ] sc < ( Q p+) s c M[Q] sc, then ( ) sc ( (.38) γ > 0, limsup M[u 0 ] sc u γ (t) p+ < M[Q] sc t T + (u) Q p+ ) sc. Proof. Let v 0 satisfy ME[v 0 ], γ R \{0} and u be the solution with initial data u 0 = e iγ x v 0 (we drop the superscripts γ to simplify the notation). If ME[u 0 ], then (.9) in Claim.3 and the usual blow-up/scattering dichotomy implies the result (see [] or Theorem.3 for the energy-critical case, [], [7] or Theorem. for a general energy-subcritical case). We thus assume (.39) ME[u 0 ], or, E[u 0 ]M[u 0 ] sc sc E[Q]M[Q] sc sc. We will show that u 0 satisfies the assumptions of Theorem.. We have (.0) E[u 0 ] = E[v 0 ]+γim x v 0 v 0 +γ x v 0 and (.) Im u 0 x u 0 = Im v 0 x v 0 +γ x v 0. As a consequence, (.) E[u 0 ] ( Im x u0 u 0 ) x u 0 = E[v 0 ] ( Im x v0 v 0 ) x v 0, and the assumption (.) follows from writing out explicitly ME[v 0 ]. We will only treat the case when (.3) γ > 0 and M[v 0 ] sc sc v 0 p+ < M[Q] sc sc Q p+, the proof of the other case is similar and is left to the reader. Of course, (.) M[u 0 ] sc sc u 0 p+ = M[v 0 ] sc sc v 0 p+ < M[Q] sc sc Q p+, which shows that (.) is satisfied. Since γ is positive, we see by (.0) that (.39) implies that γ γ c +, where γ c + is the unique positive solution of ) (E[v 0 ]+γ +c Im x v 0 v 0 +(γ c + ) x v 0 M[v 0 ] sc sc = E[Q]M[Q] sc sc. Since ME[v 0 ] <, or equivalently, M[v 0 ] sc sc E[v 0 ] M[Q] sc sc E[Q], the above line implies Im x v 0 v 0 +γ c + x v 0 0. Using that γ γ c +, we see that Im x u 0 u 0 = Im x v 0 v 0 +γ x v 0 > γ x v 0 > 0, which yields the assumption (.5). Theorem. applies, which concludes the proof of Corollary.0. We now consider the ground state with the quadratic phase and prove Corollary.. Proof of Corollary.. Denoting Q = W, the proof is the same in the energy-critical case as in the energy-subcritical case and we shall not distinguish the two cases. Note that xw L (R N ) if and only if N 7, hence our assumption on the dimension in the energy-critical case. Usingthatifu(x,t) isasolution, thenu(x, t)isalsoasolution, itissufficienttoprovetheassertions on Q γ for positive times. Assume that γ is positive. Then Q γ almost satisfies the assumptions of
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO Theorem., in the sense that it satisfies (.), (.5) and the equality corresponding to the strict inequality in (.). We will show that the solution Q γ t 0 (x,t) = Q γ (t 0 +t,x) satisfies the assumptions (.), (.5) and (.) for small positive t 0, which will imply by Theorem. that Q γ is bounded for positive time t > 0. We first note that Im x Q γ 0 Qγ 0 = γ x Q, so that (.5) Im x Q γ t 0 Q γ t 0 > 0 for small t 0, which shows that Q γ t 0 satisfies (.5) for small t 0. Now using that Q γ satisfies (.), we get d Q γ p+ = (p+)re Q γ p Q dt γ t Q γ = (p+)im Since, at t = 0, we get [ d dt As Q γ p+ ] t=0 Q γ 0 = eiγ x ( NiγQ+iγx Q γ x Q+ Q ), = γn(p+) M [Q γ 0 ] sc sc Q p+ γ(p+) Q γ 0 p+ = M[Q] sc sc Q γ p Q γ Q γ. Q p x Q = γ Q p+, we obtain that Q γ t 0 satisfies assumption (.) for small t 0. It remains to check (.). Let ( ( F(t) = M[Q γ ] sc Im x Q sc E[Q γ γ (t)q γ (t) ) ) ] x Q γ (t) M[Q] sc sc E[Q]. Q p+ < 0. By (.) with v 0 = Q, F(0) = 0. We must check that F(t) 0 for small positive t. We will use the same notations as in the proof of Theorem.: V(t) = x Q γ (x,t) dx, z(t) = V(t). Then F(t) = M[Q γ ] sc sc ( E[Q γ ] ) 8 (z t(t) ) M[Q] sc sc E[Q]. Thus, and F t (t) = M[Qγ ] sc sc z t (t)z tt (t), F tt (0) = ( M[Qγ ] sc sc z t (0)z ttt (0)+(z tt (0)) ). By Remark. and (.9), z tt (0) = 0, and thus, F t (0) = 0 and F tt (0) = M[Qγ ] sc sc z t (0)z ttt (0). Using that V tt = (z t ) +zz tt, V ttt = 6z t z tt +zz ttt,
COLLAPSE AND SCATTERING FOR NLS 5 we obtain that V ttt (0) = z(0)z ttt (0), and (since, by (.5), z t (0) > 0) the sign of F tt (0) and V ttt (0) is the same. By (.), we get that this sign is the same as the one of [ ] d Q γ p+. dt Hence, F tt (0) < 0, which shows that F(t) is negative for small t 0, thus, completing the proof. If γ < 0, one shows by a very close proof to the above that Q γ (t 0 +t,x) satisfies the assumptions (.), (.3) and (.) for small positive t 0, implying the blow-up result and concluding the proof of Corollary.. t=0 3. Scattering In this section, we show that the bound from above (.6), obtained in the previous section for the boundedness part of Theorem., implies scattering of the solution. Subsection 3. is devoted to the energy-critical case, and subsection 3. to the energy-subcritical case. Proofs rely on a compactnessrigidity argument of the type initiated in []. A refinement of this argument is necessary since smallness of the L p+ norm of the initial data does not insure global well-posedness and scattering of the corresponding solution. 3.. Energy-critical case. Recall the NLS equation (.) when s c = or (.6), i.e., in dimension N 3 we have (3.) i t u+ u+ u N u = 0, u t=0 = u 0 Ḣ (R N ). In this part we show the scattering result of Theorem., namely, Theorem 3.. Let u be a solution of (3.) with maximal time of existence T + (u), and assume (3.) lim sup u(x,t) N N dx < W(x) N N dx. t T + (u) R N Assume furthermore that u is radial if N = 3,. Then T + (u) = + and u scatters forward in time. If I is a real interval, we define S(I) = L (N+) N (I R N ), noting that the pair ( (N+) N, (N+) N ) is Ḣ -admissible. Recall (see e.g. Cazenave s book [7]) that if u is a solution of (3.) such that u S(0,T+ (u)) <, then T + (u) = + and u scatters forward in time. If A > 0, E 0 R, we let S(E 0,A) be the supremum of u S(I), where I is a real interval, and u a solution of (3.) on I R N such that (3.3) (3.) (3.5) E[u] E 0 sup u(x,t) N N A t I if N = 3,, u is radial. We deduce Theorem 3. from a slightly stronger result: Theorem 3.. Assume that 0 < A < W N N and E0 R. Then S(E 0,A) is finite. Of course, Theorem 3. implies Theorem 3.. Theorem 3. is a variant of the scattering part of the main Theorem of [] (see also Corollary 5.8). We also refer to Theorem.7 of [8], which states that if A < W and T (A) = sup u S(I), where
6 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO the supremum is taken over all solutions on I R N such that sup t I u(t) A, then T (A) <. Note that by the critical Sobolev embedding, u < W = u N N < W N N, which shows that Theorem 3. is slightly stronger than Theorem.7 of [8]. The proof of Theorem 3. follows the general strategy initiated in [], and is very close to the proof of [], with the extra argument given in [8] to deal with nonradial solutions in dimension N 5. We only sketch the proof, highlighting the differences. We start by a purely variational result: Claim 3.3. Let a,a R such that 0 < a < A < W N N. Then there exists ε0 = ε 0 (a,a) > 0 such that for all f Ḣ (R N ) with a f N N A one has (3.6) f f N N ε0 (3.7) Proof. By Sobolev inequality f f N N ( E[f] ε 0. )N ( ) f N N N W N N N f N N. Observing that the function is continuous and strictly positive on consequence of (3.6). ( ϕ : y ) W N N N N y N y We divide the proof of Theorem 3. into two propositions. (0, ) W N N, weget (3.6). Theinequality (3.7) is an immediate Proposition 3.. Assume that there exists E 0 R and a positive number A < W N N such that S(E 0,A) = +. Then there exists a solution u c of (3.) with maximal interval of existence I max, and functions t λ(t) (0,+ ) and t x(t) R N, defined on I max such that { (3.8) K = λ(t) N ( x x(t) u c,t λ(t) ) }, t I max has compact closure in Ḣ (R N ) and satisfies sup t Imax R u N c (t) N N A and E[uc ] > 0. If N = 3,, then one can assume that u c is radial and x(t) = 0 for all t. Proposition 3.5. There exist no solution u c of (3.) satisfying the conclusion of Proposition 3.. Sketch of proof of Proposition 3.. Step. We first notice that by purely variational arguments and the small data theory, if A < W N N and E0 > 0 is small, then S(E 0,A) is finite. Indeed, if u is a solution of (3.) such that E[u] E 0 < E[W] and u 0 N N N < W N, then by Claim.3, u0 < W, which, combined with the inequality E[u] E 0 < E[W], implies, by Claim.6 of [3] that u 0 NE 0, and the fact that S(E 0,A) is finite follows from the small data theory.
COLLAPSE AND SCATTERING FOR NLS 7 Step. We nextconstruct the critical element u c. Let A < W N N and assumethat S(E0,A) = + for some E 0 R. Consider E c = E c (A) = inf{e 0 R s.t. S(E 0,A) = + }. Note that by the preceding step, E c is well defined and positive. We will prove the existence of u c as a consequence of the following lemma, analogous to Proposition 3. of [8]: Lemma 3.6. Let I n = (T n,t + n ) be a sequence of intervals containing 0. Let {u n } n be a sequence of solutions of (3.) on I n, with initial data u 0,n Ḣ (R N ) at t = 0, such that u n is radial if N = 3, and (3.9) lim u n n + S(T n,0) = lim u n n S(0,T + n ) = + (3.0) lim E[u n] = E c n (3.) u n (x,t) N N dx A. { λ / n sup t I n Then there exists a subsequence )} of {u 0,n } n (still denoted by {u 0,n } n ) and sequences {x n } n, {λ n } n such ( xn that u 0,n λ n converges in Ḣ. n (Of course, if N = 3, in the lemma, we can assume x n = 0 for all n). We omit the proof of Lemma 3.6, which is close to the one of [, section 3] and the proof of Proposition 3. of [8]. The main ingredients of the proof are the critical profile decomposition of Keraani [7], long-time perturbation arguments and the criticality of E c. We note that by Claim 3.3, any nonzero profile in a profile decomposition of {u 0,n } n has strictly positive energy, which is crucial in the argument. Let us assume Lemma 3.6 and conclude the proof of Proposition 3.. By the definition of E c, there exists a sequence of intervals {I n } n and a sequence of solutions {u n } n of (3.) on I n such that (3.) (3.3) (3.) n, t I n, lim E[u n] = E c n lim u n S(In) = + n u n (x,t) N N dx A. Time translating u n if necessary, we may assume by (3.3) that I n = (θ n,θ + n) with θ n < 0 < θ + n and (3.5) lim n u n S(θ n,0) = lim n u n S(0,θ + n ) = +. ByLemma3.6(withTn = θ n, T+ n = θ+ n )extractingasubsequenceinn, rescalingandspace-translating u n, we can assume that there exists u 0,c Ḣ(RN ) such that (3.6) lim n u 0,n u 0,c Ḣ = 0. Let (T,T + ) be the maximal interval of existence of u c. Then by the continuity of the flow of (3.), (3.7) liminf θ + n T +, limsupθ n T. Furthermore, (3.8) u c S(0,T+ ) = u c S(T,0) = +. Indeed, assume for example that u c S(0,T+ ) is finite. Then T + = + and for large n, u n is globally defined forward in time and satisfies u n S(0,+ ) + u c S(0,+ ), a contradiction with (3.5). By (3.), we get (3.9) E[u c ] = E c E[W].
8 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO Furthermore, by (3.) and (3.7), (3.0) sup t (T,T + ) u c (x,t) N N dx A. Let {t n } n beasequence in (T,T + ). By (3.8),(3.9) and (3.0), thesequence of solutions {u c (t n + )} n satisfies the assumptions of Lemma 3.6 with Tn = T { and T n + = T +, which )} shows that there exist sequences {λ n } n and {x n } n such that a subsequence of u λ / c (t n, x xn λ n converges in Ḣ. By a n n standard lifting Lemma (e.g., see [, Appendix A]), one can deduce the existence of λ(t) and x(t) such that K (defined by (3.8)) has compact closure, which concludes the proof of Proposition 3.. Proof of Proposition 3.5. We divide the proof into three parts, following again very closely [] and, in Part 3, [8]. For simplicity, we will often omit the subscript c and write u = u c. Part. We show in this step that u c is global. Assume, for example, that T + (u c ) is finite. Let ϕ C0 (RN ) such that ϕ(x) = if x and ϕ(x) = 0 if x. Let ( x M R (t) = ϕ u(x,t) R) dx. Then using that u is bounded in Ḣ and Hardy s inequality, ( x ) M R (t) = Im R ϕ uudx R C u(t) C, where C is independent of t and R. Thus, if 0 s < t < T + (u), R, (3.) M R (s) M R (t) C t s. We next notice that there exists t n T + (u) such that (3.) lim n M R(t n ) = 0. Indeed, if x(t) +λ(t)+λ(t) is bounded as t T + (u), then by the compactness of K, there exists a sequencet n T + (u) such that u(t n ) converges in Ḣ, contradicting the fact that T + (u) is themaximal time of existence of u. Thus, there exists a sequence t n T + (u) such that one of the following holds: lim x(t n) = + or lim λ(t n) = 0 or lim λ(t n) = +. n n n In each case, (3.) follows easily. Combining (3.) and (3.), we see that for all R and for all s [0,T + (u)), M R (s) C T + (u) s. Letting R, we get by conservation of mass that u 0 L and that M(u 0 ) C T + (u) s. Letting s T + (u), we get that u 0 = 0, contradicting the fact that the energy of u is positive. Note that to show T + (u c ) = +, we only used that { (3.3) K + = has compact closure in Ḣ (R N ). We next treat the global case. Let λ(t) N ( x x(t) u c,t λ(t) a = inf t R ) u(x,t) N N. }, t [0,T + (u c )) We note that by compactness of K, a > 0. We let ε 0 = ε 0 (a,a) given by Claim 3.3. We distinguish between space dimensions N = 3, and N 5. Part. Global radial case, N = 3,. Here, x(t) = 0 for all t.
We first assume (3.) inf λ(t) > 0. t [0,+ ) COLLAPSE AND SCATTERING FOR NLS 9 Let R be a large constant to be specified later, and ( x (3.5) z R (t) = R χ u(x,t) R) dx, where χ is smooth, χ(x) = x if x and χ(x) = 0 if x. Then ( x (3.6) z R (t) = Im R χ uudx R). Since u is bounded in Ḣ, there exists C > 0 such that (3.7) t [0, + ), z R (t) CR. By an explicit computation, using that u is a solution of (3.), we get ( ) (3.8) z R (t) 8 u(t) u N N C u + u N + u N. x R x }{{}}{{} (A) (B) By Claim 3.3, the term (A) in (3.8) is greater than 8ε 0. By the compactness of K, one can chose R large so that (B) ε 0. Combining, we get that if R is large, (3.9) t 0, z R(t) 7ε 0. Integrating (3.9) between 0 and T > 0, we get CR z R (T) 7ε 0T +z R (0), a contradiction if T +, R being fixed. This concludes the proof when (3.) holds. Again we only used that K + defined by (3.3) has compact closure in Ḣ. We next assume that (3.) does not hold. Using the compactness of K, one can construct another solution ũ c of (3.) such that 0 I max (ũ c ), and there exists λ(t) such that E[u c ] = E[ũ c ], K + = has compact closure in Ḣ and sup t [0,T + (ũ c)) ũ c N N A { ( ) } x λ N (t)ũc λ(t),t, t [0,T + (ũ c )) inf λ(t) > 0. t [0,T + (ũ c)) We refer to the proof of Theorem 5. in [] for the construction of ũ c and λ. By Part of the proof, T + (ũ c ) = +. We are thus reduced to the case where (3.) holds, concluding this part. Part 3. Global case, N 5, without radial assumption. By Part of the proof, we can assume again that u is globally defined. By Section of [8], we can assume that one of the following holds: (3.30) (3.3) t R, λ(t) = supλ(t) < and lim λ(t) 0 t R t +
0 THOMAS DUYCKAERTS AND SVETLANA ROUDENKO By Theorem 6. of [8], in both cases (3.3) u 0 L (R N ). According to Theorem 7. of [8], (3.3) does not hold. In this case we do not need the assumption N N that sup t u(t) N < W N. We next assume that (3.30) holds. By Lemma 8. of [8], K defined by (3.8) (with λ(t) = ) has compact closure in H (R N ). Applying the Galilean transform u(x,t) e ix ξ 0 e it ξ 0 u(x ξ 0 t,t), with asuitable choice of ξ 0, one can assumethat theconserved momentum Im uu is zero. Following [], one can deduce x(t) (3.33) lim = 0. t t Let C 0 > 0 be a large constant (depending only on a and A). Let T > 0 and R = C 0 + max 0 t T x(t). Consider z R (t) defined by (3.5). Using that u(t) is bounded in H (R N ) we obtain that there is a constant C > 0 independent of R such that (3.3) t R, z R (t) CR. Furthermore, as before (3.35) z R (t) 8 ( u(t) ) u N N C } {{ } (A) u + u N + u N x R x }{{} (B) Using Claim 3.3, the compactness of K in Ḣ and the choice of R, we get, for C 0 large (independently of 0 and T), Integrating between 0 and T, we deduce that is C t [0,T], z R(t) 7ε 0. CR 7ε 0 T, ( ) C 0 + max x(t) 7ε 0 T, 0 t T which contradicts (3.33), which concludes this sketch of proof. We note that we could have (as in Part ) reduced to a critical solution u satisfying inf λ(t) > 0, t 0 however, such a solution does not necessarily satisfy sup t λ(t) <, a condition that is needed in [8] to prove that u 0 L..
COLLAPSE AND SCATTERING FOR NLS 3.. Energy-subcritical case. Now we consider the NLS equation (.) when 0 < s c < and obtain scattering for bounded solutions in Theorem.: Theorem 3.7. Let u be a solution of (.), where p satisfies (.5), and assume that T + (u) = + and ( ) sc ( ) sc lim sup u(t) p+ M[u] sc < Q p+ M[Q] sc. t + Then u scatters forward in time in H. As in the previous subsection, we first state a slightly stronger result. Define u S(I) = u L α (I,L p+ (R N )), where α = (p )(p+) (N )(p ). Observe that (α,p+) is Ḣsc -admissible, i.e., α + N p+ = N s c. We note that if u is a solution of (.) which is bounded in H on [0,+ ) and such that u S(0,+ ) is finite, then u scatters forward in time (see [7]). For L R, A > 0, we let S(L,A) be the supremum of all u S(I), where I is a real interval, and u a solution of (.) on I R N such that ( sup t I u(t) p+ ) sc M[u] sc A and E[u] sc M[u] sc L. Theorem 3.8. If (.5) holds and A < ( Q p+) s c M[Q] sc, then for all L in R, S(L,A) <. The proof is very close to the one of Subsection 3., but two things are simpler in the subcritical setting: all solutions that are bounded in H are global, and there is no need for the scaling parameter λ(t). The adaptation of the arguments of [] in the critical case to a radial subcritical setting (cubic equation in dimension 3), was done in []. The radiality assumption was removed in []. We refer to [7] (and also to [8]) for a general energy-subcritical and mass-supercritical NLS equation. We start by proving the analog of Claim 3.3, which is the only new ingredient of the proof. We will then state the analogs of Proposition 3. and 3.5. Claim 3.9. Let a,a be such that ( 0 < a < A < Q p+ ) sc M[Q] sc. Then there exists ε 0 = ε 0 (a,a) such that, for all f H (R N ), if ( ) sc a f p+ M[f] sc A, the two following properties hold: f (3.36) (p+) (3.37) f p+ ε 0 M[f] sc E[f] ε 0 M[f] sc. In [7, section..], S(I) is defined as the intersection of all L q (I,L r ) spaces with (q,r) Ḣ sc -admissible. It is sufficient for this paper to use just one such admissible paper, as in [8] for example.
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO Proof. By Pohozhaev equality (.), Q = (p+) inequality (.), we have (3.38) M[f] sc c Q M[f] sc κ ( f (p+) M[f] sc f p+ f p+ ) (p+) M[f] sc where y = f p+ M[f] sc. The function y y c Q such that y equality when f = Q, we get and (3.36) follows. Noting that Q p+. Recalling the Gagliardo-Nirenberg f p+ = y c Q (p+) y, (p+) y has only one zero y on (0, ), = (p+) c Q, and is positive between 0 and y. Since the inequality (3.38) is an E[f] y = M[Q] sc ( Q p+, f (p+) f p+ ) (indeed ), we get (3.37). The following propositions are the energy-subcritical analogs of Propositions 3. and 3.5. Proposition 3.0. Assume that there exists A < ( Q p+) s c M[Q] sc, and L R such that S(L,A) = +. Then there exists a global solution u c of (.), and a function t x(t) defined on R such that K = {u c (x x(t),t), t R} has a compact closure in H. Proposition 3.. There exist no solution u c satisfying the conclusion of Proposition 3.0. The proof of Proposition 3.0 goes along the same lines as the proof of Proposition 3.: first, ( by purely variational arguments and the small data theory, one notice that S(L,A) is finite if A < Q p+ ) s c M[Q] sc and L is small. Then, using a suitable profile decomposition (see [7] or [7]), one shows the analog of Lemma 3.6 to prove the existence of u c and the compactness of its trajectory up to the translation parameter x(t). We note that the fact that u c is bounded in H implies (since nonlinearity is energy-subcritical) that it is a global solution. The proof of Proposition 3. is very close to Part 3 of the proof of Proposition 3. in the case where (3.30) holds. Let us just mention the analog of (3.35): z R (t) 8 ( u (p+) u ) C p+ x R u + x u + u N N, which yields a contradiction in the same way as in the above proof, replacing Claim 3.3 by Claim 3.9.. Blow up criteria In this section we obtain two criteria for blow up in finite time: the first one is a generalization of Lushnikov s criteria [30] and the second one is the modification of the first approach where the generalized uncertainty principle is replaced by an interpolation inequality (.8). Note that both criteria are applicable in the case of the energy-supercritical NLS equations with positive energy. For a specific case of the focusing 3d cubic NLS equation see [0, Sections 3. and 3.].
COLLAPSE AND SCATTERING FOR NLS 3.. Proof of Theorem.5. We first obtain a version of an uncertainty principle. By integration by parts u L = ( x) u dx = N N Re (x u)ūdx. Since z = Rez + Imz, we have N u L + Im (x u)ūdx = (x u)ūdx xu L u L, where the last one is by Cauchy-Schwarz. Recalling the variance and its first derivative from (.7), we obtain the uncertainty principle N (.) u L + V t (t) V(t) u L. Recalling the second (time) derivative of the variance (.) V tt (t) = E[u] (p )s c u(t) L (R N ), we substitute the bound on u L from (.) into (.) to obtain (.3) V tt (t) E[u] N (p )s c (M[u]) V(t) (p )s c V t (t) V(t). We rewrite the equation (.3) to remove the last term with V t by making the substitution (.) V = B (p )s α+ c, α = and thus, which gives or equivalently, V t = α α+ B α+ Bt and V tt = = +, 8 α (α+) B α+ α+ B t + α α+ B α+ Btt, B tt (α+)e[u]b α α+ (α+)n (p )s c (M[u]) B α α+, (.5) B tt (+) We rescale B as follows: let B(t) = B max b(at), where ( Nsc (M[u]) (.6) B max = E[u] Then letting s = at, we get ( E[u]B + Ns ) c (M[u]) B +, t [0,T + ). ) + 8 (.7) ωb ss b γ b δ, s [0,T + /a), where, a = 8 N sc E[u] M[u]. γ = +, δ = + γ, ω = 6 (+). Note that, since p > + N, (.8) 0 < γ <, < δ < γ.
THOMAS DUYCKAERTS AND SVETLANA ROUDENKO To analyze equation (.7), a mechanical analogy of a particle moving in a field with a potential barrier is used as it was adapted in [0] from work of Lushnikov [30]. We rewrite (.7) as (.9) ωb ss + U b 0, t [0,T+ /a), where U(b) = bδ+ δ+ bγ+ γ+. The analogy from mechanics is as follows: Let b = b(t) be a coordinate of a U B, and F = g (t) particle (of mass ) with a motion under forces: b tt = F +F, where F = ω is some unknown external force which pulls the particle towards zero. The collapse occurs when this particle reaches the origin in a finite period of time, i.e., when b(t) = 0 for some 0 < t <. If the particle reaches the origin without the force g (t), then it should also reach the origin in the situation when this force is applied. We are thus lead to consider equation: (.0) ωb ss + U b = 0. Define the energy of the particle (.) E(s) = ω b s(s)+u(b(s)), which is conserved for solutions of (.0). Note that U b = bδ b γ. Thus, in terms of dependence of U on the particle s coordinate b, it is a bell-shaped function near (for positive b) with the local attained at b =. Using conservation of the energy for (.), we obtain immediately two blow-up criteria for solutions of (.0): (a) If E(0) < U max and b(0) < (to the left of the bump), then (it does not matter what b s (0) is, since there in not enough energy to escape this region) the particle fall onto the origin, and collapse occurs. (b) If E(0) > U max, then the particle can overcome the energy barrier. Indeed, by energy conservation the sign of b t does not change, and the condition b t (0) < 0 is sufficient to produce collapse. Proposition. shows that these two sufficient conditions for blow-up in finite time remains valid in case of the equation (.7) (as well as a third condition corresponding to the limit case E = U max ). maximum U max = δ+ γ+ Proposition.. Let b be a nonnegative solution of (.9) such that one of the following holds: (A) E(0) < U max and b(0) <, (B) E(0) > U max and b s (0) < 0. (C) E(0) = U max, b s (0) < 0 and b(0) <. Then T + <. Proof. Multiplying equation (.9) by b s, we get (.) b s (s) > 0 = E s (s) < 0 b s (s) < 0 = E s (s) > 0. We argue by contradiction, assuming T + = T + (u) = +. We first assume (A). Let us prove by contradiction: (.3) s > 0, b s (s) < 0. If not, b s (s) 0 for all s, and (.) implies that the energy decay. By (A), E(s) E(0) < U max for all s. Thus, b(s) ε 0 (where ε 0 > 0 depends on E(0)) for all t. Since by (A) b(0) <, we obtain by continuity of b that b(s) ε 0 for all s. By equation (.7), we deduce b ss (s) ε for all s, where ε > 0 depends on ε 0. Thus, b is strictly concave, a contradiction with the fact that b is positive and T + = +. We have proved that there exists s 0 such that b s (s) 0. Letting t = inf { s 0 : b s (s) 0 },