THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NONLINEAR WAVE EQUATION IN R +5 arxiv:04.2002v [math.ap] Apr 20 AYNUR BULUT Abstract. In this work, we consider the energy-supercritical defocusing cubic nonlinear wave equation in dimension d = 5 for radially symmetric initial data. We prove that an a priori bound in the critical space implies global wellposedness and scattering. The main tool that we use is a frequency localized version of the classical Morawetz inequality, inspired by recent developments in the study of the mass and energy critical nonlinear Schrödinger equation.. Introduction In this paper, we continue our study of the energy-supercritical defocusing cubic nonlinear wave equation, initiated in [2]. In that work, our goal was to prove that an a priori bound in the critical space leads to global well-posedness and scattering for solutions to the initial value problem { utt u+ u 2 u = 0, (IVP) (u(0),u t (0)) = (u 0,u ) Ḣ sc(rd ) Ḣ sc (R d ), in dimensions d 6, where s c = d 2 2 and u : I R d R with 0 I R. There is a natural scaling associated to (IVP). That is to say, if we define u λ (t,) := λu(λt,λ) then the map u u λ carries the set of solutions of (IVP) to itself. Moreover, this map preserves the Ḣsc Ḣsc norm of the initial data, and therefore the space Ḣ sc Ḣsc is referred to as the critical space with respect to the scaling. We also recall that solutions to (IVP) conserve the energy, E(u(t),u t (t)) = R 2 u(t) 2 + 2 u t(t) 2 + 4 u(t) 4 d, d which is finite for solutions to (IVP) when s c =. In view of this, we call (IVP) energy-supercritical when s c >, that is d 5. In [2], our study to prove global well-posedness for (IVP) proceeded by making use of the concentration compactness approach introduced by Kenig and Merle [8, 9], reducing the question to an analysis of three specific blowup scenarios as in [7, 8]. The key part of this analysis was to show that in each of these scenarios solutions have finite energy, for which a major tool was the double Duhamel technique [4, 4, 6]. This was the source of the restriction in our considerations to dimensions d 6. December 5, 207.
2 AYNUR BULUT In the present work, we etend this result to include dimension d = 5 in the case of radial initial data. More precisely, we consider (NLW) { utt u+ u 2 u = 0, (u(0),u t (0)) = (u 0,u ) Ḣ3/2 (R 5 ) Ḣ/2 (R 5 ), where u : I R 5 R, 0 I R, and (u 0,u ) is radially symmetric. We will use the following notion of solution to (NLW): Definition.. We say that u : I R 5 R with 0 I R is a solution to (NLW) if (u,u t ) belongs to C t (K;Ḣ3/2 Ḣ/2 ) L 6 t,(k R 5 ) for every K I compact and u satisfies the Duhamel formula for every t I. u(t) = cos(t )u 0 + sin(t ) u + t We now state the main result of this paper: 0 sin((t t ) ) F(u(t ))dt Theorem.2. Suppose u : I R 5 R is a solution to (NLW) with radial initial data, maimal interval of eistence I R, and satisfying the a priori bound Then u is global and (u,u t ) L t (I;Ḣ3/2 Ḣ/2 ). u L 6 t, (R R 5 ) C for some constant C = C( (u,u t ) L ). Furthermore, u scatters both t (Ḣ3/2 Ḣ/2 ) forward and backward in time. As in the high dimensional case treated in [2], our proof of Thoerem.2 is a proof by contradiction following the concentration compactness approach of Kenig and Merle. The key ingredient which allows us to work in dimension five is the use of a frequency localized version of the Morawetz estimate, inspired by recent progress in the study of the global well-posedness problem for the mass and energy critical nonlinear Schrödinger equation [5, 9, 22]. Equipped with this inequality and the assumption of radial symmetry, we bypass the need to prove the finiteness of energy. We plan to address the case of general initial data in dimension five in a future work. We note that the problem (IVP) in the radial energy-supercritical setting has recently been treated by Killip and Visan in [8], for a range of nonlinearities u p u dependent on the dimension. In that work, the restriction on p corresponding to five spatial dimensions is 4 3 < p < 2, ecluding the cubic case treated in the present work. We also recently learned that Kenig and Merle have treated the defocusing energy-supercritical NLW with the quintic nonlinearity and radial data in all odd dimensions []. We now recall the definition of the class of almost periodic solutions.
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 3 Definition.3. A solution u to (NLW) with time interval I is said to be almost periodic modulo symmetries if (u,u t ) L t (I;Ḣ3/2 Ḣ/2 ) and there eist functions N : I R +, : I R 5 and C : R + R + such that for all t I and η > 0, 3/2 u(t,) 2 + /2 u t (t,) 2 d η, and (t) C(η)/N(t) ξ C(η)N(t) ξ 3 û(t,ξ) 2 + ξ û t (t,ξ) 2 dξ η. We net remark a consequence of the notion of almost periodicity. Remark.4. The property of almost periodicity is equivalent to the following condition: there eist functions N : I R + and : I R 5 such that the set K = {( N(t) u(t,(t)+ N(t) ), N(t) 2u t(t,(t)+ )) : t I}, (.) N(t) has compact closure in Ḣ 3/2 (R 5 ) Ḣ /2 (R 5 ). In particular, if u is almost periodic, then for every η > 0 there eists C(η) > 0 such that for all t I, u(t,) 5/2 d+ u t (t,) 5/2 d η. (t) C(η)/N(t) (t) C(η)/N(t) With this definition in hand, we are now ready to outline our strategy for proving Theorem.2. We first recall the following result due to Kenig and Merle [0], which shows that the failure of Theorem.2 gives the eistence of a minimal countereample which belongs to the class of almost periodic solutions. Theorem.5. [0] Suppose that Theorem.2 failed. Then there eists a radial solution u : I R 5 R to (NLW) with maimal interval of eistence I, (u,u t ) L t (I;Ḣ3/2 Ḣ/2 ), and u L 6 t, (I R5 ) = such that u is a minimal blow-up solution in the following sense: for any solution v with maimal interval of eistence J such that v L 6 t, (J R d ) =, we have sup t I (u(t),u t (t)) Ḣ3/2 Ḣ/2 sup t J Moreover, u is almost periodic modulo symmetries. (v(t),v t (t)) Ḣ3/2. Ḣ/2 We will also use the following refinement of Theorem.5, which shows that the almost periodic solution u and associated function N(t) can be chosen so that N(t) is piecewise constant on I + := I [0, ) and N(t) for all t in this set. Theorem.6. Suppose that Theorem.2 failed. Then there eists a radial solution u : I R 5 R to (NLW) with maimal interval of eistence I such that u is almost periodic modulo symmetries, (u,u t ) L t (I;Ḣ3/2 Ḣ/2 ), u L 6 t, (I R 5 ) =, and there eists δ > 0 and a family of disjoint intervals {J k } k with I + = J k, Moreover, either N(t) = N k for t J k, and J k = δn k. I + < or I + =.
4 AYNUR BULUT This theorem is proved by applying a rescaling argument to the function obtained in Theorem.5 to find another almost periodic solution with N(t) for t I + (see Theorem 7. in [9]). One then observes that the function N(t) obeys N(s) u N(t) for s t δn(t) and δ suitably chosen, as a consequence of the scaling symmetry and local theory for (NLW). This property is proved in the NLS setting in [3, Corollary 3.6]; however, the arguments apply equally to (NLW). After a suitable modification of N(t) and C(t), the desired result is obtained. In Theorem.6 we divide the solutions of (NLW) into two classes depending on the control granted by the frequency localized Morawetz estimate, Lemma 4.3. This is inspired by recent worksin the mass and energy critical NLS settings [5, 22]. In the present contet, this corresponds to distinguishing the cases I + < and I + = ; we also note that this distinction is also present in [9]. We net give a quick remark concerning the decay of norms of the Littlewood- Paley projections of u. Remark.7. Suppose that u is as in Theorem.6. The property inf t I + N(t) = inf k N k along with the definition of almost periodicity implies lim [ u N N 0 L t (I + ;Ḣ3/2 ) + P Nu t L t (I + ;Ḣ/2 ) ] = 0. The proof of Theorem.2 is therefore reduced to the task of showing that solutions satisfying the properties given in Theorem.6 cannot occur. This is accomplished in Sections 5 and 6 below, corresponding to the cases I + < and I + =, respectively. To handle the case I + <, we show that the solution at time t must be supported in space inside a ball centered at the origin with radius shrinking to 0 as t approaches the blowup time. This is then shown to be incompatible with the conservation of energy. On the other hand, the case I + = requires significantly more analysis. For this case, we observe that, given η > 0, the frequency localized Morawetz estimate obtained in Section 4 implies the bound R5 u N (t) 4 ddt u η(n + ) for N sufficiently small and all I + compact. We then obtain a bound from below on the left hand side of this inequality by a multiple of (up to a small error term). Choosing η sufficiently small then gives the desired contradiction. We now conclude this section by giving an outline of the remainder of the paper. In Section 2, we recall some preliminaries and establish our notation. Section 3 is then devoted to the proof of a frequency localized version of the Strichartz inequality which will be essential to obtain the frequency localized Morawetz estimate. This estimate is then proved in Section 4. Sections 5 and 6 then preclude the eistence of the finite time and infinite time blowup solutions identified in Theorem.6, completing the proof of Theorem.2... Acknowledgements. The author would like to thank M. Visan as well as N. Pavlović and W. Beckner for many enlightening and valuable discussions concerning the content of this paper. The author also wishes to thank M. Visan for her careful reading and comments on the manuscript. The author was supported by a Graduate
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 5 School Continuing Fellowship from the University of Teas at Austin during the preparation of this work. 2. Preliminaries In this section, we introduce the notation and some standard estimates that we use throughout the paper. We write L q t Lr to indicate the space-time norm ( ) /r u L q = u(t) r t Lr L qdt R with the standard convention when q or r is equal to infinity. If q = r, we shorten the notation and write L q t,. We write X Y to mean that there eists a constant C > 0 such that X CY, while X u Y indicates that the constant C = C(u) may depend on u. We use the symbol for the derivative operator in only the space variables. Throughout the eposition, we define the Fourier transform on R 5 by f(ξ) = (2π) 5/2 R 5 e i ξ f()d. We also denote the homogeneous Sobolev spaces by Ḣs (R5 ), s R, equipped with the norm f Ḣs = s f L 2 where the fractional differentiation operator is given by s f(ξ) = ξ s f(ξ). For s 0, we say that a pair of eponents (q,r) is Ḣs -wave admissible if q,r 2, r < and it satisfies q + 2 r, q + 5 r = 5 2 s. We also define the following Strichartz norms. For each I R and s 0, we set u Ss(I) = u Ns(I) = sup (q,r)ḣs wave admissible u L q t Lr (I R5 ), inf (q,r)ḣs wave admissible u L q t Lr (I R5 ). Suppose u : I R 5 R with time interval 0 I R is a solution to the nonlinear wave equation { utt u+f = 0 (u,u t ) t=0 = (u 0,u ) Ḣµ Ḣµ (R d ), µ R. Then for all s, s R we have the inhomogeneous Strichartz estimates [6, 7], s u Sµ s(i) + s u t Sµ s(i) (u 0,u ) Ḣµ Ḣµ + s F N+ s µ(i). (2.)
6 AYNUR BULUT We also note that our assumption u L 6 t, (K R5 ) on the solution in Definition., combined with the local theory and the Strichartz estimates, implies s u S32 s (K) < for s [0, 3 2 ] and K I compact. Moreover, for every almost periodic solution u to (NLW) there eists C(u) > 0 such that for every compact K I C(u) K N(t)dt u 6 L (+ 6 t (K;L6 ) C(u) together with the bound ( N(t)dt 3/4 u 2 L C(u) 2 t (K;L4 ) C (u) + K K K ) N(t)dt, ) N(t)dt. (2.2) The above bounds are consequences of almost periodicity and the Strichartz estimates (2.). In the NLS setting, we refer to the analogous estimates in [5, Lemma 5.2] and [22, Lemma.7], while for solutions to (NLW) these bounds are obtained in a similar manner, after accounting for the difference in scaling between the equations. We net recall some basic facts from the Littlewood-Paley theory that will be used frequently in the sequel. Let φ(ξ) be a real valued radially symmetric bump function supported in the ball {ξ R d : ξ 0 } which equals on the ball {ξ R d : ξ }. For any dyadic number N = 2 k, k Z, we define the following Littlewood-Paley operators: P N f(ξ) = φ(ξ/n)ˆf(ξ), P >N f(ξ) = ( φ(ξ/n)ˆf(ξ), Similarly, we define P <N and P N with and also whenever M N. P N f(ξ) = (φ(ξ/n) φ(2ξ/n))ˆf(ξ). P <N = P N P N, P N = P >N +P N, P M< N := P N P M = M<N N These operators commute with one another and with derivative operators. Moreover, they are bounded on L p for p and obey the following Bernstein inequalities, with s 0 and p. s P N f L p N s P N f L p, P N P >N f L p N s P >N s f L p, ±s P N f L p N ±s P N f L p,
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 7 3. Frequency localized Strichartz estimate We now obtain a frequency localized version of the Strichartz estimates that we will use as a main ingredient in proving the frequency localized Morawetz estimate in Section 4. The proof of this result is inspired by analogous results for the mass and energy critical nonlinear Schrödinger equation due to Dodson [5] and Visan [22]. Theorem 3. (Frequency localized Strichartz estimate.). Suppose that u is an almost periodic solution to (NLW) with maimal interval of eistence I, (u,u t ) L t (I;Ḣ 3/2 Ḣ/2 ), and such that there eist disjoint intervals {J k } k with I + = J k and for every k, N(t) = N k [, ) on J k, J k = δn k. Then there eists C = C(u) > 0 such that for all dyadic N and compact intervals = J k I + we have 3/4 u N L 2 t (;L 4 ) C(u)(+(N ) /2 ) (3.) Moreover, for every η > 0 there eists N 0 > 0 such that for N < N 0 we have 3/4 u N L 2 t (;L 4 ) C(u)η(+(N ) /2 ). (3.2) Before we proceed with the proof of the theorem, we record the following related estimates, derived by interpolating (3.) and (3.2) with the a priori bound on L t (Ḣ3/2 Ḣ/2 ). Corollary 3.2. Let u be as in Theorem 3.. Then there eists C(u) > 0 such that for each dyadic N > 0 and compact interval = J k I + we have u >N L 3 t (;L 30/7 ) C(u)N /2 (+N ) /3, u >N L 4 t (;L 20/7 ) C(u)N (+N ) /4, and for each η > 0 there eists N 0 > 0 such that for N < N 0 we have u N L 3 t (;L 3 ) C(u)η(+N ) /3, u N L 4 t (;L 20/7 ) C(u)η(+N ) /4. Proof of Theorem 3.. We begin by showing (3.). Let I + be given as stated and observe that the bound (2.2) implies that (3.) holds with C (u) for all I N 0 N(t)dt. For general dyadic numbers N, we proceed by induction. Fi C(u) > ma{c (u),} to be determined, and suppose that (3.) holds for all N larger than some N 0. Our goal is to show that (3.) holds for N = N := N 0 /2 (with C(u) unchanged). Toward this end, we apply the Strichartz inequality to obtain 3/4 u N L 2 t (;L 4 ) inf (u N (t), t u N (t)) Ḣ3/2 t Ḣ/2 + 5/4 P N [u(t) 3 ] L 2 t (;L 4 3 ). (3.3)
8 AYNUR BULUT In the remainder of the proof, all space-time norms will be over the set R 5, unless otherwise indicated. To estimate the nonlinear term in (3.3), we fi 0 < η 0 2 (to be determined later in the argument) and use the almost periodicity of u to choose c 0 = c 0 (η 0 ) such that Then, writing and using the identity we obtain 3/2 u c0n(t)(t) L t L 2 + /2 t u c0n(t)(t) L t L 2 η 0. (3.4) (u >N/η 0 (t)+u N/η 0 (t)) 3 u(t) = u N/η 0 (t)+u >N/η 0 (t) = u >N/η 0 (t) 3 +3u >N/η 0 (t)u N/η 0 (t)u(t)+u N/η 0 (t) 3, 3/4 u N L 2 t L inf (u 4 N (t), t u N (t)) Ḣ3/2 t Ḣ/2 + 5/4 P N [u >N/η 0 (t) 3 ] L 2 t L 4 3 (3.5) + 5/4 P N [u >N/η 0 (t)u N/η 0 (t)u(t)] L 2 t L 4 3 (3.6) + 5/4 P N [u N/η 0 (t) 3 ] 4 L 2 t L 3. Furthermore, we bound the last term by a multiple of ( 5/4 P N u N/η 0 (t) [ P u ] ) 2 <c0n(t)(t) L 2 t L 4 (3.7) 3 + 5/4 P N (u N/η 0 (t) [ P u ][ c0n(t)(t) P u ]) c0n(t)(t) L 2 t L 4 (3.8) 3 ( + 5/4 P N u N/η 0 (t) [ P u ] ) 2 c0n(t)(t) L 2 t L 3 4, (3.9) where we have set P = P N/η 0 and used the decomposition and where c 0 is chosen in (3.4). P u(t) = P u c0n(t)(t)+p u >c0n(t)(t) Thus, it suffices to bound (3.5) through (3.9). Before estimating each of these terms, we will need the following estimate, which is obtained via Hölder s inequality in time and interpolation: for each dyadic M > 0, 5/4 u M L 2 (M ) /4 u M L 4 (M ) /2 + u M 2 L 4 t L20/7 (M ) /2 + 3/4 u M L 2 t L 4 5/4 u M L t L 20/9 u (M ) /2 + 3/4 u M L 2 t L 4. (3.0) With this bound in hand, we are now ready to estimate the above terms. For (3.5), we note that an application of Bernstein s inequality gives (3.5) N 5/4 u >N/η 0 (t) 3 L 2 t L 4/3
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 9 N 5/4 u N 5/4 u M (t) L 2 M>N /η 0 u >N/η 0 (t) 2 L t L5 M 5/4 5/4 u M L 2 M>N /η 0 η 3/4 0 C 2 (u)c(u)(n ) 2 +η 5/4 0 C 2 (u)c(u), where to obtain the last line we have used (3.0) and the induction hypothesis. We may use the same argument to estimate (3.6), obtaining (3.6) η 3/4 0 C 2 (u)c(u)(n ) /2 +η 5/4 0 C 2 (u)c(u). On the other hand, to estimate (3.7), we apply the fractional product rule [3, 2] and the Sobolev embedding to obtain (3.7) 5/4 u N/η 0 L 2 [P u c0n(t)(t)] 2 L t L 5/2 u η 2 0 + u N/η 0 L 2 t L 0 5/4( [P u c0n(t)(t)] 2) L t L 20/3 ( 5/4 u N/η 0 L 2 + 3/4 u N/η 0 L 2 t L 4 where c 0 is chosen in (3.4). Then, using (3.0) and the induction hypothesis once again, we get (3.7) η 2 0C 3 (u)(η /2 0 C(u)(N ) /2 +C(u)). We now turn our attention to the two remaining terms. In what follows, we will use the notation v(t) to refer to either of the function P N/η 0 u c0n(t)(t) and P N/η 0 u >c0n(t)(t). In particular, using Bernstein s inequalities combined with the fractional product rule, we obtain the preliminary bound 5/4 P N [ u N/η 0 (t)v(t)p u >c0n(t)(t) ] L 2 t (J k ;L 4 3 ) N /2 3/4[ u N/η 0 (t)v(t) ] L P t L 20/ u >c0n(t)(t) L 2 t (J k ;L 5 ) +N /2 u N/η 0 L 6 t (J k ;L 6 ) u L 6 t (J k ;L 6 ) 3/4 P u >c0n(t) L 6 t (J k ;L 2/5 ). (3.) We then use the fractional product rule again to bound the factor 3/4 [u N/η 0 v] L t L 20/ Invoking this bound in (3.), we obtain ma{(3.8),(3.9)} ( 3/4 u N/η 0 L v L t L 5 ), + u N/η 0 L t L 5 3/4 v L u. J k 5/4 P N [ u N/η 0 (t)v(t)p u >c0n(t)(t) ] 2 L 2 t (J k;l 4/3 ) u N /2 ( J K ) /2 { } ) /2 u >c0n k 2 L 2 t (J k;l 5 ) + 3/4 u >c0n k 2 L 6 t (J k;l 2/5 ) where in the second term of (3.) we use the bound (2.2) in the form (3.2) u L 6 t (J k ;L 6 ) C(u)(+δ) u. (3.3)
0 AYNUR BULUT Moreover, using Bernstein s inequalities and the bounds /2 u L 2 t (J k ;L 5 ) u and 5/4 u L 6 t (J k ;L 2/5 ) u (these bounds are obtained from the same argument used to prove (2.2)), (3.2) u N /2 ( J k c 0 N k { /2 u >c0n k 2 L 2 t (J k;l 5 ) ( ) /2 u N /2 c 0 N k J k C 4(u) (N c /2 ) /2. 0 + 5/4 u >c0n k 2 L 6 t (J k;l 2/5 Combining the estimates of (3.5) through (3.9), we obtain ) }) /2 3/4 u N L 2 t L 4 C 0 inf (u N (t), t u N (t)) Ḣ3/2 t Ḣ/2 +2η 3/4 0 C 2 (u)c(u)((n ) /2 +η /2 0 ) +η0c 2 3 (u)c(u)(η /2 0 (N ) /2 +)+ C 4(u) (N ) /2. (3.4) c /2 0 We now choose η 0 sufficiently small (depending on C 2 (u) and C 3 (u)) to ensure that 3/4 u N L 2 t L C 4 0 inf (u N (t), t u N (t)) Ḣ3/2 t + 2C(u) 3 We now choose C(u) large enough so that + C 4(u) (N c /2 ) /2. 0 Ḣ/2 C(u) > ma{ 3C 4(u) c 0 (η 0 ) /2,3C 0 (u,u t ) L t (I;Ḣ3/2 With such a choice of C(u) we obtain completing the induction. + 2C(u) (N ) /2 3 Ḣ/2 ) } 3/4 u N L 2 t L 4 C(u)(+(N ) /2 ), (3.5) We now turn to (3.2). Let η > 0 be given and fi N 0 = N 0 (η) > 0 to be determined later in the argument. Let N N 0 be given and recall that (3.) is satisfied for all N > 0. As a consequence, (3.4) is satisfied for any η 0 (0, 2 ] with N replaced by N. More precisely, after setting we have f(n) = (u N, t u N ) L t (Ḣ3/2 Ḣ/2 3/4 u N L 2 t L 4 u f(n)+η 3/4 0 ((N ) /2 +η /2 0 ) ) + sup u N L 6 t (J k ;L 6 J k I ),
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 +η0(η 2 /2 0 (N ) /2 +)+ f(n) (N ) /2 (3.6) c /2 0 for any η 0 (0, 2 ]. We net show that f(n) 0 as N 0. Indeed, invoking the Strichartz inequality (2.) and using the decomposition u = u N /2 +u >N /2 followed by the Bernstein inequalities, f(n) (u N, t u N ) L t (Ḣ3/2 (u N, t u N ) L t (Ḣ3/2 ( + sup J k I Ḣ/2 Ḣ/2 ) 5/4 P N [u >N /2(t) 3 ] L 2 t (J k ;L 4/3 ) + 5/4 P N [u >N /2u N /2u] L 2 t (J k ;L 4/3 ) + 5/4 P N [u 3 N ] /2 L 2 t (J k ;L 4/3 ) (u N, t u N ) L t (Ḣ3/2 ( + sup J k I Ḣ/2 ) ) + sup 5/4 P N [u(t) 3 ] L 2 J k I t (J k ;L 4/3 ) ) N 5/4 u 2 L 6 t (J k;l 6) u >N /2 L 6 t (J k;l 2/5 ) ) + u 2 L 4 t (J k;l 20/3 ) 5/4 u <N /2 L t L 20/9 for any N > 0. We then bound the second term by using the Bernstein inequalities followed by (3.3) and the analogous bounds 5/4 u L 6 t (J k ;L 2/5 ) u and u L 4 t (J k ;L 20/3 ) u to obtain f(n) u (u N, t u N ) L t (Ḣ3/2 Ḣ/2 ) +N5/8, whichtends to 0asN 0 asaconsequenceofremark.7. With this limit in hand, we choose η 0 small enough to ensure η 3/4 0 < η and N 0 small enough to guarantee that N < N 0 implies f(n) < min{η,ηc 0 (η 0 ) /2 }. The inequality (3.6) then gives as desired. 3/4 u N L 2 t L 4 u η(+(n ) /2 ) Proof of Corollary 3.2. We note that interpolation gives and u >N L 3 t L 30/7 u >N L 4 u >N /3 L u >N 2/3 t L5 L 2 t L4 5/4 u >N /2 L t L20/9 (3.7) 5/4 u >N /2 L 2 t L4. (3.8) The Sobolev inequality followed by the boundedness of the Littlewood-Paley projection then yields 5/4 u >N L t L 20/9 (u,u t ) L t (Ḣ3/2 Ḣ/2 ). On the other hand, the Bernstein inequalities along with Lemma 3. give the bounds u >N L 2 t L 4 M>N M 3/4 3/4 u M L 2 t L 4
2 AYNUR BULUT and (by an identical argument) Thus, we obtain as desired. M 3/4 3/4 u 2M L 2 t L 4 M>N u M 3/4 (+(M ) /2 ) M>N u N 3/4 (+N ) /2 5/4 u >N L 2 t L 4 u N 2 (+N ) /2. (3.7) u N /2 (+N ) /3, (3.8) u N (+N ) /4 The bounds on u N L 3 t, and u N L 4 (3.2) with the a priori bound (u,u t ) L t (Ḣ3/2 are obtained by interpolating Ḣ/2 ). 4. Frequency-localized Morawetz estimate In this section, we obtain a frequency localized Morawetz estimate. The proof of this result is inspired by the recent work of Visan [22] on the energy critical NLS. We begin by deriving a general form of the classical Morawetz estimate; for the classical form, see [20, 2]. To obtain this, when u is a solution to u tt u+n = 0, we set M(t) = a j ()u t (t,)u j (t,) R 2 a jj()u(t,)u t (t,)d, 5 where a : R 5 R, subscripts indicate partial derivatives, and we have used the summation convention. A brief calculation then yields the identity dm dt (t) = a jk ()u j (t,)u k (t,)+ R 2 a j(){n,u} j 4 a jjkk()u(t,) 2 d, 5 with {f,g} := f g g f, where the subscript on {N,u} denotes the jth component. Taking a() =, integrating in time, and using the fundamental theorem of Calculus, we then have I R 5 ( δjk j k 3 ) u j (t,)u k (t,)+ j{n,u} j + 8 2 3u(t,)2 ddt sup M(t) (4.) t I for every I R. Moreover, the triangle inequality followed by the Cauchy-Schwartz and Hardy inequalities give M(t) u t L t L 2 u L t L2 (4.2) for all t I. Combining (4.) with (4.2), observing that the first term on the left hand side of (4.) is non-negative and invoking an approimation argument, we obtain
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 3 Lemma 4. (Morawetzestimate). Suppose u : I R 5 R solves u tt u+n = 0. Then, {N,u} ddt u t L I R t L 2 u 5 L. (4.3) t L2 We also recall the following Hardy-type bound, which will be used to estimate the error terms resulting from the frequency localization. Proposition 4.2 (Hardy-type bound, []). Fi < p <, and 0 α < 5. Then there eists C = C(α,p) > 0 such that for every g S(R 5 ), α/p g L p (R 5 ) C(α,p) α/p g L p (R 5 ). (4.4) In particular, we prove the following: Lemma 4.3 (Frequency localized Morawetz estimate). If u : I R 5 R is an almost periodic solution to (NLW) on I + = J k R with N(t) = N k on each J k and (u,u t ) L t (Ḣ3/2 Ḣ/2 ), then for any η > 0 there eists N 0 = N 0 (η) > 0 such that for all N N 0 one has R5 u N (t) 4 ddt ηc(u)(n + ) on any compact interval = J k. Proof. Fi a compact time interval = J k I +. In what follows, all spacetime norms will be taken over R 5, unless otherwise indicated. Let η > 0 be given, and fi N 0 > 0 to be determined later in the argument. Let N N 0 be given. We begin by observing that the Morawetz estimate (4.3) applied to u N yields {P N[u(t) 3 ],u N} ddt t u N L R t L 2 u 5 N L t L 2 (4.5) Note that by Remark.7, we may choose N > 0 so that N N implies (u N, t u N ) L t (I;Ḣ3/2 Ḣ/2 ) < η/2. Now, by choosing N 0 small enough so that N 0 < ηn, we may estimate the right hand side of (4.5) by ( t u N <N L t L 2 + tu N L t L 2 ) ( u N <N L t L 2 + u N L t L 2 ) (N /2 t u <N L t Ḣ /2 (N /2 u <N L t Ḣ 3/2 t u N L ) t Ḣ /2 +N /2 +N /2 u L ) t Ḣ 3/2 u η 2 N. (4.6) We now estimate the left hand side of (4.5). For this, we use the identity to obtain {P N [u(t) 3 ],u N (t)} = {u(t) 3,u(t)} {u <N (t) 3,u <N (t)} {u(t) 3 u <N (t) 3,u <N (t)} {P <N [u(t) 3 ],u N (t)} {P N[u(t) 3 ],u N(t)} ddt R 5
4 AYNUR BULUT {u(t) 3,u(t)} = {u <N(t) 3,u <N (t)} ddt R 5 {u(t) 3 u <N(t) 3,u <N(t)} ddt R 5 {P <N[u(t) 3 ],u N(t)} ddt. (4.7) R 5 A simple calculation then shows {f 3,f} = 2 [f4 ], so that integrating the first two terms in (4.7) by parts gives {P N[u(t) 3 ],u N(t)} ddt R 5 2( u(t) 4 u <N(t) 4 ) = ddt R 5 {u(t) 3 u <N(t) 3,u <N(t)} ddt R 5 {P <N[u(t) 3 ],u N(t)} ddt. (4.8) R 5 On the other hand, applying the decomposition u = u <N +u N gives R5 u N (t) 4 R5 u(t) 4 u <N (t) 4 ddt ddt 3 R5 u <N (t) 4 i u N (t) i + ddt. In view of (4.5) and (4.8), we therefore obtain the bound R5 u N (t) 4 3 ddt ηn + (I) i +(II)+(III), where we have set R5 u <N (t) 4 i u N (t) i (I) i = ddt, i =,,3, (II) = {u(t) 3 u <N(t) 3,u <N(t)} ddt R, and 5 (III) = {P <N[u(t) 3 ],u N(t)} ddt R. 5 i= We estimate each of these terms individually. For (I) i, we use the Hölder inequality with the Hardy-type bound (4.4), along with the Sobolev embedding and Corollary 3.2 (after choosing N 0 sufficiently small) to obtain 3. to obtain the bounds (I) u N L 4 u N L 4 i= u <N /3 3 L 4 t L60/3 /3 u <N 3 L 4 t L 60 3
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 5 u N L 4 u <N 3 L 4 t L20/7 u η 3 (N + ). For the (I) 2, we write u <N(t) u N(t) (I) 2 ( u <N (t) 2 + u N (t) 2 )ddt R 5 (I) +(I) 3, while for the term (I) 3, we note that for each ǫ > 0, u <N (t) u N (t) 3 (I) 3 ddt {: u <N(t,) ǫ u N (t,) } u <N (t) u N (t) 3 + ddt {: u <N(t,) >ǫ u N (t,) } R5 u N (t) 4 ǫ ddt+ ǫ (I). We now estimate term (II). Using the identity {u 3 u 3 <N,u <N} = 2(u 3 u 3 <N ) u <N ((u 3 u 3 <N )u <N), we apply the triangle inequality and integrate by parts in the second term of the resulting integral to obtain (II) (u(t) 3 u <N (t) 3 ) u <N (t) ddt R 5 (u(t) 3 u <N(t) 3 ) u <N(t) + ddt R 5 3 3 u N (t) i u <N (t) 3 i u <N (t) ddt+ (I) i R 5 i= We now use the Hölder inequality, Sobolev embedding, and Corollary 3.2 to estimate the first term, u N u 2 <N u <N L t, u N L 4 u <N L 2 t L u <N 0 L t L 5 u <N L 4 i= the second term, u u N L 4 3/4 u <N L 2 t L u <N 4 L 4 u ηn (+N ), u 2 N u <N u <N L t, u N L 4 u N L t L 5 u <N L 2 t L u <N 0 L 4 and the third term, u u N L 4 3/4 u <N L 2 t L u <N 4 L 4 u ηn (+N ), u 3 N u <N u N 2 u L 3 N L t L30/7 t L 5 u <N L 3 t, u ηn (+N ).
6 AYNUR BULUT Combining these estimates then gives (II) u ηn (+N )+ 3 (I) i. To continue, we estimate the remaining term, (III). In a similar manner as above, we use the identity {P <N [u(t) 3 ],u N (t)} = (P <N [u(t) 3 ]u N (t)) 2u N (t) P <N [u(t) 3 ] and integrate by parts in the first term of the resulting integral to obtain P <N[u(t) 3 ]u N(t) (III) ddt+ u N (t) P <N [u(t) 3 ] ddt R 5 R 5 3 P <N [u <N (t) i u N (t) 3 i ]u N + u N P <N [u i <N u3 i N ] L t, L t, i=0 We estimate the terms containing the gradient and remark that the other terms may then be bounded through the use of the Hardy-type inequality (4.4). In particular, we apply the Hölder, Bernstein, and Sobolev inequalities along with Corollary 3.2 to obtain, for the first term (using the bound from (4.6)), u N P <N [u 3 N ] L u N t, L P t L 0/3 <N [u 3 N ] L t L0/7 i= for the second term, N u N L t Ḣ u N 3 L 3 t L30/7 u ηn (+N ), u N P <N [u <N u 2 N ] L t, u N L t L 5 P <N[u <N u 2 N ] L t L5/4 for the third term, u N u <N L 2 t L 0 u N 2 L 4 t L20/7 u N 3/4 u <N L 2 t L 4 u N 2 L 4 t L20/7 u ηn (+N ), u N P <N [u 2 <Nu N ] L t, u N L 4 P <N [u 2 <Nu N ] 4/3 L t L 20/3 N u N 2 u L 4 <N 2 t L20/7 L 4 t L20/3 and for the fourth term, N u N 2 u L 4 <N 2 t L20/7 L 4 t L20/7 u ηn (+N ), u N P <N [u 3 <N] L t, u N L 4 P <N [u 3 <N] 4/3 L t L 20/3 = u N L 4 u 2 t L <N u 20/7 <N 4/3 L t L 20/3 u N L 4 u <N L t L 5 u <N L 2 t L u <N 0 L 4 u ηn (+N ).
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 7 Combining these estimates, we obtain R5 u N (t) 4 ddt u η(n + )+C ǫ (I) +ǫ Choosing ǫ sufficiently small, we obtain R5 u N (t) 4 ddt u 3η(N + ) as desired. R5 u N (t) 4 ddt. 5. Finite time blow-up solution In this section, we rule out the eistence of finite time blow-up solutions satisfying the properties stated in Theorem.6. Arguing as in [2, 0, 7, 8], this is accomplished by showing that such solutions must have zero energy, which in the defocusing case implies that the solution must be identically zero, contradicting its blow up. In particular, we have the following theorem: Theorem 5.. Suppose that u is an almost periodic solution to (NLW) with maimal interval of eistence I, satisfying the properties given in Theorem.6. Then the case I + < cannot occur. Proof. Let u be given as stated and suppose to the contrary that I + <. By the time reversal and scaling symmetries we may assume that supi =. We first show that supp u(t, ), supp u t (t, ) B(0, t), 0 < t <. (5.) Indeed, the almost periodicity of u in the form of Remark.4 gives that for all ǫ > 0 there eists R = R(ǫ) > 0 such that for every 0 < s < we have u(s,) 5/2 + u t (s,) 5/2 d < ǫ. R N(s) An invocation of the finite speed of propagation (see, for instance, [2, Proposition 5.]) then gives u(t,) 5/2 + u t (t,) 5/2 d ǫ (5.2) R N(s) +s t whenever 0 < t < s <, yielding lim sup u(t,) 5/2 + u t (t,) 5/2 d ǫ s R N(s) +s t for t (0,). On the other hand, recalling N(t) as t (a consequence of the local theory and the almost periodicity), for all t (0,) and η > 0 we have { : t+η} { : R N(s) +s t}. when s = s(t,η) is sufficiently close to. Combining this inclusion with (5.2) and letting η and ǫ tend to zero, we obtain u(t) 5/2 + u t (t) 5/2 d = 0, t
8 AYNUR BULUT which in turn yields that (u(t, ) is constant a.e. on { : t} as well as supp u t (t, ) B(0, t). To bound the support of u, we note that u belongs to L L d, which gives (5.). To continue, by (5.), we write the energy by E(u,u t ) = 2 u(t) 2 + 2 u t(t) 2 + 4 u(t) 4 d t ( t)[ u(t) 2 L 5/2 (R 5 ) + u t(t) 2 L 5/2 (R 5 ) + u(t) 4 L d (R5 ) ] u t where we have used the a priori bound (u,u t ) L t (Ḣ3/2 Ḣsc ). Letting t andusing the conservationofenergy, we obtainu 0, contradictingits blowup. 6. Infinite time blow-up solution In this section, we consider the second class of solutions identified in Theorem.6, almost periodic solutions to (NLW) which blow up in infinite time. By making use of a frequency localized variant of the concentration of potential energy along with the frequency localized Morawetz estimate obtained in Section 4, we obtain a bound on the length of the maimal interval of eistence, contradicting the assumption of infinite time blowup. When combined with the results of the previous section, this completes the proof of Theorem.2. In particular, we prove the following theorem: Theorem 6.. There is no solution u to (NLW) satisfying the properties of Theorem.6 with I + =. Proof. Suppose to the contrary that such a solution u eisted. We begin by showing that there eists C > 0 and N 0 > 0 such that for all N N 0 and every k, u N (t,) 4 ddt u N 2 k. (6.) C/N k J k To show this claim, we recall that [8, Lemma 2.6] gives the eistence of C > 0 such that for every k, u(t,) 4 ddt u N 2 k. C/N k J k An application of Minkowski s inequality then gives ( ) /4 u N (t) 4 ddt J k C/N k ( = J k u(t) u N/2 (t) 4 ddt C/N k ) /4 ( ) /4 ) /4 u(t) 4 ddt ( u N/2 (t) 4 ddt J k C/N k J k C/N k ( ) /4 u N /2 k u N/2 (t) 4 ddt. C/N k (6.2) J k
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NLW IN R +5 9 On the other hand, fiing η > 0 and applying Hölder s inequality along with Remark.7, we obtain that for N sufficiently small ( ) 4/5 u N/2 (t) 4 d u N k u N/2 (t) 5 d C/N k C/N k This implies the bound J k u N k u N/2 4 η 4 L t Ḣ 3/2 u. N k C/N k u N/2 (t,) 4 ddt δη4 N 2 k so that, after choosing η sufficiently small and substituting this bound into (6.2), we obtain (6.). We now fi η > 0 to be determined later in the argument and recall that Lemma 4.3 implies the eistence of N (0,N 0 ) such that for all N N and = J k I compact, R5 u N (t) 4 ddt u η(n + ). (6.3) Combining (6.3) with (6.) then gives ( ) η N + u J k u J k J k N k u N k J k u N (t) C/Nk 4 ddt J k C/N k u N (t) 4 ddt u 2δ (6.4) for all N N. Choosing η sufficiently small (depending on the constant in (6.4)), we obtain the bound u N + for all N N and all. Fiing N and letting tend to I + then gives the desired contradiction. References [] W. Beckner, Pitt s inequality with sharp convolution estimates. Proc. Amer. Math. Soc. 36 (2008), 87-885. [2] A. Bulut, Global Well-Posedness and Scattering for the Defocusing Energy-Supercritical Cubic Nonlinear Wave Equation. Preprint (200) arxiv:006.468. [3] F.M. Christ and M. Weinstein, I. Dispersion of small amplitude solutions of the generalized Korteweg-de Vries equation. J. Funct. Anal. 00 (99), no., 87 09. [4] J. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Tao, Global well-posedness and scattering for the energy-critical nonlinear Schrödinger equation in R 3. Ann. Math. 67 (2008), 767-865. [5] B. Dodson, Global Well-Posedness and Scattering for the Defocusing, L 2 -critical, Nonlinear Schrödinger Equation When d 3. Preprint (2009). arxiv:092.2467.,
20 AYNUR BULUT [6] J. Ginibre and G. Velo, Generalized Strichartz inequalities for the wave equation. J. Funct. Anal. 33 (995), no, 50-68. [7] M. Keel and T. Tao, Endpoint Strichartz estimates. Amer. J. Math. 20 (998), no. 5, 955 980. [8] C. Kenig and F. Merle, Global well-posedness, scattering and blow-up for the energycritical, focusing, non-linear Schrödinger equation in the radial case, Invent. Math. 66 (2006), 645-675. [9] C. Kenig and F. Merle, Global well-posedness, scattering and blow-up for the energy critical focusing non-linear wave equation. Acta Math. 20 (2008), 47-22. [0] C. Kenig and F. Merle, Nondispersive radial solutions to energy supercritical non-linear wave equations, with applications. Amer. J. Math. (2008) [] C. Kenig and F. Merle. Radial solutions to energy supercritical wave equations in all odd dimensions. Preprint. (20) [2] C. Kenig and G. Ponce, and L. Vega, Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle. Comm. Pure Appl. Math., 46(4):527-620, 993. [3] R. Killip, T. Tao and M. Visan, The cubic nonlinear Schrödinger equation in two dimensions with radial data. J. Eur. Math. Soc. (JEMS) (2009), no. 6, 203 258. [4] R. Killip and M. Visan, The focusing energy-critical nonlinear Schrodinger equation in dimensions five and higher. Amer. J. Math. 32 (2009), pp. 36-424. [5] R. Killip and M. Visan, Nonlinear Schrödinger Equations at Critical Regularity. Clay Mathematics Institute Lecture Notes. (2009) [6] R. Killip and M. Visan, Energy-supercritical NLS: critical Ḣ s -bounds imply scattering. Comm. Par. Diff. Eq. (200). [7] R. Killip and M. Visan, The defocusing energy-supercritical nonlinear wave equation in three space dimensions. Trans. Amer. Math. Soc. 363 (20), 3893-3934. [8] R. Killip and M. Visan, The radial defocusing energy-supercritical nonlinear wave equation in all space dimensions. Proc. Amer. Math. Soc. 39 (20), 805-87. [9] R. Killip and M. Visan, Global well-posedness and scattering for the defocusing quintic NLS in three dimensions. Preprint. (20) arxiv:02.92. [20] C. Morawetz, Notes on time decay and scattering for some hyperbolic problems. Regional Conference Series in Applied Mathematics, No. 9. Society for Industrial and Applied Mathematics, Philadelphia, PA, 975. [2] C. Morawetz and W. Strauss, Decay and scattering of solutions of a nonlinear relativistic wave equation. Comm. Pure Appl. Math. 25 (972), -3. [22] M. Visan, Global well-posedness and scattering for the defocusing cubic NLS in four dimensions. Int. Math. Res. Not. (20) The University of Teas at Austin, University Station C200, Austin, TX 7872 E-mail address: abulut@math.uteas.edu