ANALYSIS & PDE Volume 5 No. 4 2012
msp Analysis & PDE msp.berkeley.edu/apde
EDITORS
EDITOR-IN-CHIEF Maciej Zworski University of California Berkeley, USA
BOARDOF EDITORS
Michael Aizenman Princeton University, USA Nicolas Burq Université Paris-Sud 11, France [email protected] [email protected] Luis A. Caffarelli University of Texas, USA Sun-Yung Alice Chang Princeton University, USA [email protected] [email protected] Michael Christ University of California, Berkeley, USA Charles Fefferman Princeton University, USA [email protected] [email protected] Ursula Hamenstaedt Universität Bonn, Germany Nigel Higson Pennsylvania State Univesity, USA [email protected] [email protected] Vaughan Jones University of California, Berkeley, USA Herbert Koch Universität Bonn, Germany [email protected] [email protected] Izabella Laba University of British Columbia, Canada Gilles Lebeau Université de Nice Sophia Antipolis, France [email protected] [email protected] László Lempert Purdue University, USA Richard B. Melrose Massachussets Institute of Technology, USA [email protected] [email protected] Frank Merle Université de Cergy-Pontoise, France William Minicozzi II Johns Hopkins University, USA [email protected] [email protected] Werner Müller Universität Bonn, Germany Yuval Peres University of California, Berkeley, USA [email protected] [email protected] Gilles Pisier Texas A&M University, and Paris 6 Tristan Rivière ETH, Switzerland [email protected] [email protected] Igor Rodnianski Princeton University, USA Wilhelm Schlag University of Chicago, USA [email protected] [email protected] Sylvia Serfaty New York University, USA Yum-Tong Siu Harvard University, USA [email protected] [email protected] Terence Tao University of California, Los Angeles, USA Michael E. Taylor Univ. of North Carolina, Chapel Hill, USA [email protected] [email protected] Gunther Uhlmann University of Washington, USA András Vasy Stanford University, USA [email protected] [email protected] Dan Virgil Voiculescu University of California, Berkeley, USA Steven Zelditch Northwestern University, USA [email protected] [email protected]
PRODUCTION [email protected] Silvio Levy, Scientific Editor Sheila Newbery, Senior Production Editor
See inside back cover or msp.berkeley.edu/apde for submission instructions. The subscription price for 2012 is US $140/year for the electronic version, and $240/year for print and electronic. Subscriptions, requests for back issues from the last three years and changes of subscribers address should be sent to Mathematical Sciences Publishers, Department of Mathematics, University of California, Berkeley, CA 94720-3840, USA. Analysis & PDE, at Mathematical Sciences Publishers, Department of Mathematics, University of California, Berkeley, CA 94720-3840 is published continuously online. Periodical rate postage paid at Berkeley, CA 94704, and additional mailing offices.
APDE peer review and production are managed by EditFLOW™ from Mathematical Sciences Publishers. PUBLISHED BY mathematical sciences publishers http://msp.org/ A NON-PROFIT CORPORATION Typeset in LATEX Copyright ©2012 by Mathematical Sciences Publishers ANALYSIS AND PDE Vol. 5, No. 4, 2012 dx.doi.org/10.2140/apde.2012.5.705 msp
ON THE GLOBAL WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES
ALEXANDRU D.IONESCU, BENOIT PAUSADER AND GIGLIOLA STAFFILANI
In this paper we present a method to study global regularity properties of solutions of large-data critical Schrödinger equations on certain noncompact Riemannian manifolds. We rely on concentration compact- ness arguments and a global Morawetz inequality adapted to the geometry of the manifold (in other words we adapt the method of Kenig and Merle to the variable coefficient case), and a good understanding of the corresponding Euclidean problem (a theorem of Colliander, Keel, Staffilani, Takaoka and Tao). As an application we prove global well-posedness and scattering in H 1 for the energy-critical defocus- ing initial-value problem 4 .i@t g /u u u ; u.0/ ; C D j j D on hyperbolic space ވ3.
1. Introduction 705 2. Preliminaries 709 3. Proof of the main theorem 718 4. Euclidean approximations 721 5. Profile decomposition in hyperbolic spaces 725 6. Proof of Proposition 3.4 735 References 744
1. Introduction
The goal of this paper is to present a somewhat general method to prove global well-posedness of critical1 nonlinear Schrödinger initial-value problems of the form
.i@t g/u ᏺ.u/; u.0/ ; (1-1) C D D ij k on certain noncompact Riemannian manifolds .M; g/. Here g g .@ij @ / is the (negative) D ij k Laplace–Beltrami operator of .M; g/. In Euclidean spaces, the subcritical theory of such nonlinear Schrödinger equations is well established; see for example the books [Cazenave 2003; Tao 2006] for many references. Many of the subcritical methods extend also to the study of critical equations with small
Ionescu was supported in part by a Packard Fellowship, and Staffilani by NSF Grant DMS 0602678. Pausader and Staffilani thank the MIT/France program during which this work was initiated. MSC2000: 35Q55. Keywords: global well-posedness, energy-critical defocusing NLS, nonlinear Schrödinger equation, induction on energy. 1 3 Here critical refers to the fact that when .M; g/ .ޒ ; ıij /, the equation and the control (here the energy) are invariant D under the rescaling u.x; t/ 1=2u.x; 2t/. !
705 706 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI data. The case of large-data critical Schrödinger equations is more delicate, and was first considered in [Bourgain 1999] and [Grillakis 2000] for defocusing Schrödinger equations with pure power nonlinearities and spherically symmetric data. The spherical symmetry assumption was removed in dimension d 3 D in [Colliander et al. 2008]; global well-posedness was then extended to higher dimensions d 4 in [Ryckman and Visan 2007; Visan 2007]. A key development in the theory of large-data critical dispersive problems was the article [Kenig and Merle 2006], on spherically symmetric solutions of the energy-critical focusing NLS in ޒ3. The methods developed in this paper found applications in many other large-data critical dispersive problems, leading to complete solutions or partial results. We adapt this point of view in our variable coefficient setting as well. To keep things as simple as possible on a technical level, in this paper we consider only the energy- critical defocusing Schrödinger equation
4 .i@t g/u u u (1-2) C D j j 3 in hyperbolic space ވ . Suitable solutions of (1-2) on the time interval .T1; T2/ satisfy mass and energy conservation, in the sense that the functions Z Z Z 0 2 1 1 2 1 6 E .u/.t/ u.t/ d; E .u/.t/ gu.t/ d u.t/ d (1-3) WD ވ3 j j WD 2 ވ3 jr j C 6 ވ3 j j are constant on the interval .T1; T2/. Our main theorem concerns global well-posedness and scattering in H 1.ވ3/ for the initial-value problem associated to (1-2). Theorem 1.1. (a) (Global well-posedness.) If H 1.ވ3/2 then there exists a unique global solution 2 u C.ޒ H 1.ވ3// of the initial-value problem 2 W 4 .i@t g/u u u ; u.0/ : (1-4) C D j j D In addition, the mapping u is a continuous mapping from H 1.ވ3/ to C.ޒ H 1.ވ3//, and the ! W quantities E0.u/ and E1.u/ defined in (1-3) are conserved. (b) (Scattering.) We have the bound
u L10.ވ3 ޒ/ C. H 1.ވ3//: (1-5) k k Ä k k As a consequence, there exist unique u H 1.ވ3/ such that ˙ 2 itg u.t/ e u H 1.ވ3/ 0 as t : (1-6) k ˙k D ! ˙1 It was observed by Banica [2007] that hyperbolic geometry cooperates well with the dispersive nature of Schrödinger equations, at least in the case of subcritical problems. In fact the long time dispersion of solutions is stronger in hyperbolic geometry than in Euclidean geometry. Intuitively, this is due to the fact that the volume of a ball of radius R 1 in hyperbolic spaces is about twice as large as the volume C 2 d R 2 R 2 Unlike in Euclidean spaces, in hyperbolic spaces ވ one has the uniform inequality d f d . d f d for any ވ j j ވ jr j f C .ވd /. In other words H 1.ވd /, L2.ވd /. 2 01 P ! WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 707 of a ball of radius R, if R 1; therefore, as outgoing waves advance one unit in the geodesic direction they have about twice as much volume to disperse into. This heuristic can be made precise; see [Anker and Pierfelice 2009; Banica 2007; Banica et al. 2008; 2009; Banica and Duyckaerts 2007; Bouclet 2011; Christianson and Marzuola 2010; Ionescu and Staffilani 2009; Pierfelice 2008] for theorems concerning subcritical nonlinear Schrödinger equations in hyperbolic spaces (or other spaces that interpolate between Euclidean and hyperbolic spaces). The theorems proved in these papers are stronger than the corresponding theorems in Euclidean spaces, in the sense that one obtains better scattering and dispersive properties of the nonlinear solutions. We remark, however, that the global geometry of the manifold cannot bring any improvements in the case of critical problems. To see this, consider only the case of data of the form
1=2 1 N .x/ N .N ‰ .x//; (1-7) D 3 3 3 where C01.ޒ / and ‰ ޒ ވ is a suitable local system of coordinates. Assuming that is fixed 2 W ! 3 1 and letting N , the functions N C .ވ / have uniformly bounded H norm. For any T 0 and ! 1 2 01 fixed, one can prove that the nonlinear solution of (1-4) corresponding to data N is well approximated by 1=2 1 2 N v.N ‰ .x/; N t/ on the time interval . TN 2; TN 2/, for N sufficiently large (depending on T and ), where v is the solution on the time interval . T; T / of the Euclidean nonlinear Schrödinger equation 4 .i@t /v v v ; v.0/ : (1-8) C D j j D See Section 4 for precise statements. In other words, the solution of the hyperbolic NLS (1-4) with data 2 2 N can be regular on the time interval . TN ; TN / only if the solution of the Euclidean NLS (1-8) is regular on the interval . T; T /. This shows that understanding the Euclidean scale invariant problem is a prerequisite for understanding the problem on any other manifold. Fortunately, we are able to use the main theorem of Colliander et al. [2008] as a black box (see the proof of Lemma 4.2). The previous heuristic shows that understanding the scaling limit problem (1-8) is part of understanding the full nonlinear evolution (1-4), at least if one is looking for uniform control on all solutions below a certain energy level. This approach was already used in the study of elliptic equations, first in the subcritical case (where the scaling limits are easier) by Gidas and Spruck [1981] and also in the H 1 critical setting, see for example Druet, Hebey and Robert [Druet et al. 2004], Hebey and Vaugon [1995], Schoen [1989] and (many) references therein. Note however that in the dispersive case, we have to contend with the fact that we are looking at perturbations of a linear operator i@t g whose kernel is C infinite dimensional. Other critical dispersive models, such as large-data critical wave equations or the Klein–Gordon equation have also been studied extensively, both in the case of the Minkowski space and in other Lorentz manifolds. See, for example, [Bahouri and Gérard 1999; Bahouri and Shatah 1998; Burq et al. 2008; Burq and Planchon 2009; Grillakis 1990; 1992; Ibrahim and Majdoub 2003; Ibrahim et al. 2009; 2011; Kapitanski 1994; Kenig and Merle 2008; Killip et al. 2012; Laurent 2011; Shatah and Struwe 1993; 1994; 708 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
Struwe 1988; Tao 2006] for further discussion and references. In the case of the wave equation, passing to the variable coefficient setting is somewhat easier due the finite speed of propagation of solutions. Nonlinear Schrödinger equations such as (1-1) have also been considered in the setting of compact Riemannian manifolds .M; g/; see [Bourgain 1993a; 1993b; Burq et al. 2004; 2005; Colliander et al. 2010; Gérard and Pierfelice 2010]. In this case the conclusions are generally weaker than in Euclidean spaces: there is no scattering to linear solutions, or some other type of asymptotic control of the nonlinear evolution as t . We note however the recent result of Herr, Tataru and Tzvetkov [Herr et al. 2011] ! 1 on the global well-posedness of the energy critical NLS with small initial data in H 1.ޔ3/. To simplify the exposition, we use some of the structure of hyperbolic spaces; in particular we exploit the existence of a large group of isometries that acts transitively on ވd . However the main ingredients in the proof are more basic, and can probably be extended to more general settings3. These main ingredients are:
(1) a dispersive estimate such as (2-24), which gives a good large-data local well-posedness/stability theory (Propositions 3.1 and 3.2); (2) a good Morawetz-type inequality (Proposition 3.3) to exploit the global defocusing character of the equation; (3) a good understanding of the Euclidean problem, provided in this case by a result of Colliander, Keel, Staffilani, Takaoka and Tao [Colliander et al. 2008, Theorem 4.1]; (4) some uniform control of the geometry of the manifold at infinity.
The rest of the paper is organized as follows: in Section 2 we set up the notations, and record the main dispersive estimates on the linear Schrödinger flow on hyperbolic spaces. We prove also several lemmas that are used later. In Section 3 we collect all the necessary ingredients described above, and outline the proof of the main theorem. The only component of the proof that is not known is Proposition 3.4 on the existence of a suitable minimal energy blow-up solution. In Section 4 we consider nonlinear solutions of (1-4) corresponding to data that contract at a point, as in (1-7). Using the main theorem in [Colliander et al. 2008] we prove that such nonlinear solutions extend globally in time and satisfy suitable dispersive bounds. In Section 5 we prove our main profile decomposition of H 1-bounded sequences of functions in hyperbolic spaces. This is the analogue of Keraani’s theorem [2001] in Euclidean spaces. In hyperbolic spaces we have to distinguish between two types of profiles: Euclidean profiles which may contract at a point, after time and space translations, and hyperbolic profiles which live essentially at frequency4 N 1. D Hyperbolic geometry guarantees that profiles of low frequency N 1 can be treated as perturbations.
3Two of the authors have applied a similar strategy to prove global regularity of the defocusing energy-critical NLS in other settings, such as ޔ3 [Ionescu and Pausader 2012a] and ޒ ޔ3 [Ionescu and Pausader 2012b], where other issues arise due to the presence of trapped geodesics or the lower power in the nonlinearity. 4Here we define the notion of frequency through the heat kernel, see (2-28). WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 709
Finally, in Section 6 we use our profile decomposition and orthogonality arguments to complete the proof of Proposition 3.4.
2. Preliminaries
In this subsection we review some aspects of the harmonic analysis and the geometry of hyperbolic spaces, and summarize our notations. For simplicity, we will use the conventions in [Bray 1994], but one should keep in mind that hyperbolic spaces are the simplest examples of symmetric spaces of the noncompact type, and most of the analysis on hyperbolic spaces can be generalized to this setting (see, for example, [Helgason 1994]).
Hyperbolic spaces: Riemannian structure and isometries. For integers d 2 we consider the Minkowski space ޒd 1 with the standard Minkowski metric .dx0/2 .dx1/2 ::: .dxd /2 and define the bilinear C C C C form on ޒd 1 ޒd 1, C C Œx; y x0y0 x1y1 xd yd : D Hyperbolic space ވd is defined as
ވd x ޒd 1 Œx; x 1 and x0 > 0 : D f 2 C W D g Let 0 .1; 0;:::; 0/ denote the origin of ވd . The Minkowski metric on ޒd 1 induces a Riemannian D C metric g on ވd , with covariant derivative D and induced measure d. We define އ SO.d; 1/ SOe.d; 1/ as the connected Lie group of .d 1/ .d 1/ matrices that WD D C C leave the form Œ ; invariant. Clearly, X SO.d; 1/ if and only if 2 tr X I X I ; det X 1; X00 > 0; d;1 D d;1 D where I is the diagonal matrix diagŒ 1; 1;:::; 1 (since Œx; y t x I y). Let ދ SO.d/ denote d;1 D d;1 D the subgroup of SO.d; 1/ that fixes the origin 0. Clearly, SO.d/ is the compact rotation group acting on the variables .x1;:::; xd /. We define also the commutative subgroup ށ of އ,
8 2 ch s sh s 0 3 9 < = ށ as 4 sh s ch s 0 5 s ޒ ; (2-1) WD : D W 2 ; 0 0 Id 1 and recall the Cartan decomposition
އ ދށ ދ; ށ as s Œ0; / : (2-2) D C C WD f W 2 1 g The semisimple Lie group އ acts transitively on ވd and hyperbolic space ވd can be identified with the homogeneous space އ=ދ SO.d; 1/= SO.d/. Moreover, for any h SO.d; 1/ the mapping D 2 L ވd ވd , L .x/ h x, defines an isometry of ވd . Therefore, for any h އ, we define the h W ! h D 2 isometries L2.ވd / L2.ވd /; .f /.x/ f .h 1 x/: (2-3) h W ! h D 710 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
We fix normalized coordinate charts which allow us to pass in a suitable way between functions defined on hyperbolic spaces and functions defined on Euclidean spaces. More precisely, for any h SO.d; 1/ 2 we define the diffeomorphism p ‰ ޒd ވd ;‰ .v1; : : : ; vd / h . 1 v 2; v1; : : : ; vd /: (2-4) h W ! h D C j j Using these diffeomorphisms we define, for any h އ, 2 C.ޒd / C.ވd /; .f /.x/ f .‰ 1.x//: (2-5) zh W ! zh D h d We will use the diffeomorphism ‰I as a global coordinate chart on ވ , where I is the identity element of އ. We record the integration formula Z Z 2 1=2 f .x/ d.x/ f .‰I .v//.1 v / dv (2-6) ވd D ޒd C j j d for any f C0.ވ /. 2 The Fourier transform on hyperbolic spaces. The Fourier transform (as defined by Helgason [1965] in the more general setting of symmetric spaces) takes suitable functions defined on ވd to functions defined on ޒ ޓd 1. For ! ޓd 1 and ރ, let b.!/ .1;!/ ޒd 1 and 2 2 D 2 C h ވd ރ; h .x/ Œx; b.!/i ; ;! W ! ;! D where .d 1/=2: D It is known that 2 2 gh . /h ; (2-7) ;! D C ;! d d where g is the Laplace–Beltrami operator on ވ . The Fourier transform of f C0.ވ / is defined by 2 the formula Z Z i f .; !/ f .x/h;!.x/ d f .x/Œx; b.!/ d: (2-8) Q D ވd D ވd This transformation admits a Fourier inversion formula: if f C .ވd / then 2 01 Z Z 1 i 2 f .x/ f .; !/Œx; b.!/ c./ d d!; (2-9) D d 1 Q j j 0 ޓ where, for a suitable constant C , .i/ c./ C D . i/ C d d 1 is the Harish-Chandra c-function corresponding to ވ , and the invariant measure of ޓ is normalized to 1. It follows from (2-7) that
2 2 gf .; !/ . /f .; !/: (2-10) D C Q
A WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 711
We record also the nontrivial identity Z Z i i f .; !/Œx; b.!/ d! f . ; !/Œx; b.!/ d! d 1 Q D d 1 Q ޓ ޓ d d for any f C01.ވ /, ރ, and x ވ . 2 2 2 2 d According to the Plancherel theorem, the Fourier transform f fQ extends to an isometry of L .ވ / 2 d 1 2 ! onto L .ޒ ޓ ; c./ d d!/; moreover C j j Z Z 1 2 f1.x/f2.x/ d f1.; !/f2.; !/ c./ d d!; (2-11) ވd D 2 ޒ ޓd 1 z z j j 2 d for any f1; f2 L .ވ /. As a consequence, any bounded multiplier m ޒ ރ defines a bounded 2 2 d W C ! operator Tm on L .ވ / by the formula
Tm.f /.; !/ m./ f .; !/: (2-12) D Q The question of Lp boundedness of operators defined by multipliers as in (2-12) is more delicate if p d p 2. A necessary condition for boundedness on L .ވ / of the operator Tm is that the multiplier m ¤ extends to an even analytic function in the interior of the region ᐀p ރ < 2=p 1 [Clerc D f 2 W j= j j j g and Stein 1974]. Conversely, if p .1; / and m ᐀p ރ is an even analytic function which satisfies 2B1 W ! the symbol-type bounds
˛ ˛ @ m./ C.1 / for any ˛ Œ0; d 2 ޚ and ᐀p; (2-13) j j Ä C j j 2 C \ 2 p d then Tm extends to a bounded operator on L .ވ / [Stanton and Tomas 1978]. As in Euclidean spaces, there is a connection between convolution operators in hyperbolic spaces and multiplication operators in the Fourier space. To state this connection precisely, we normalize first the Haar measures on ދ and އ such that R 1 dk 1 and ދ D Z Z f .g 0/ dg f .x/ d އ D ވd d for any f C0.ވ /. Given two functions f1; f2 C0.އ/ we define the convolution 2 2 Z 1 .f1 f2/.h/ f1.g/f2.g h/ dg: (2-14) D އ A function K އ ރ is called ދ-biinvariant if W ! K.k1gk2/ K.g/ for any k1; k2 ދ: (2-15) D 2 Similarly, a function K ވd ރ is called ދ-invariant (or radial) if W ! K.k x/ K.x/ for any k ދ and x ވd : (2-16) D 2 2 d If f; K C0.ވ / and K is ދ-invariant then we define (compare to (2-14)) 2 Z 1 .f K/.x/ f .g 0/K.g x/ dg: (2-17) D އ 712 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
If K is ދ-invariant then the Fourier transform formula (2-8) becomes Z K.; !/ K./ K.x/ˆ .x/ d; (2-18) z D z D ވd where Z i ˆ.x/ Œx; b.!/ d! (2-19) D d 1 ޓ is the elementary spherical function. The Fourier inversion formula (2-9) becomes Z 1 2 K.x/ K./ˆ.x/ c./ d; (2-20) D 0 z j j for any ދ-invariant function K C .ވd /. With the convolution defined as in (2-17), we have the 2 01 important identity .f K/.; !/ f .; !/ K./ (2-21) D Q z d 5 for any f; K C0.ވ /, provided that K is ދ-invariant . 2 We define now the inhomogeneous Sobolev spaces on ވd . There are two possible definitions: using the Riemannian structure g or using the Fourier transform. These two definitions agree. In view of (2-10), for s ރ we define the operator . /s=2 as given by the Fourier multiplier .2 2/s=2. For 2 B ! C p .1; / and s ޒ we define the Sobolev space W p;s.ވd / as the closure of C .ވd / under the norm 2 1 2 01 s=2 f p;s d . / f p d : k kW .ވ / D k kL .ވ / For s ޒ let H s W 2;s. This definition is equivalent to the usual definition of the Sobolev spaces 2 D s=2 on Riemannian manifolds (this is a consequence of the fact that the operator . g/ is bounded on Lp.ވd / for any s ރ, s 0, since its symbol satisfies the differential inequalities (2-13)). In particular, 2 < Ä for s 1 and p .1; /, D 2 1 Â Z Ã1=p 1=2 p f W p;1.ވd / . / f Lp.ވd / p gf d ; (2-22) k k D k k ވd jr j where ˛ 1=2 gf D f D˛f : jr j WD j Nj We record also the Sobolev embedding theorem
W p;s , Lq if 1 < p q < and s d=p d=q: (2-23) ! Ä 1 D Dispersive estimates. Most of our perturbative analysis in the paper is based on the Strichartz estimates for the linear Schrödinger flow. For any H s.ވd /, s ޒ, let eitg C.ޒ H s.ވd // denote the 2 2 2 W solution of the free Schrödinger evolution with data , i.e.,
2 2 eitg .; !/ .; !/ e it. /: D z C 5Unlike in Euclidean Fourier analysis, there is no simple identity of this type without the assumption that K is ދ-invariant.
B WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 713
The main inequality we need is the dispersive estimate6 (see [Anker and Pierfelice 2009; Banica 2007; Banica et al. 2008; Ionescu and Staffilani 2009; Pierfelice 2008])
itg d.1=p 1=2/ e p p . t ; p Œ2d=.d 2/; 2; p p=.p 1/; (2-24) L L 0 0 k k ! j j 2 C D for any t ޒ 0 . The Strichartz estimates below then follow from a general theorem from [Keel and 2 n f g Tao 1998]. Proposition 2.1 (Strichartz estimates). Assume that d 3 and I .a; b/ ޒ is a bounded open interval. D  (i) If L2.ވd / then 2 itg . e 2 2 2d=.d 2/ d L2 : (2-25) .L1t Lx Lt Lx /.ވ I/ k k \ k k 1 2 2 2d=.d 2/ d (ii) If F .L L L Lx C /.ވ I/ then 2 t x C t Z t i.t s/g . e F.s/ ds F .L1L2 L2L2d=.d 2//.ވd I/: (2-26) 2 2 2d=.d 2/ d k k t x t x C a .L1t Lx Lt Lx /.ވ I/ C \ To exploit these estimates in dimension d 3, for any interval I ޒ and f C.I H 1.ވ3// we D  2 W define f Z.I/ f 10 3 ; Lt;x .ވ I/ k k WD k k k=2 f k . / f 2 2 6 3 ; k Œ0; /; (2-27) S .I/ .L1t Lx Lt Lx /.ވ I/ k k WD k k \ 2 1 k=2 f N k .I/ . / f 1 2 2 6=5 3 ; k Œ0; /: .Lt Lx Lt Lx /.ވ I/ k k WD k k C 2 1 We use the S 1 norms to estimate solutions of linear and nonlinear Schrödinger equations. Nonlinearities are estimated using the N 1 norms. The L10 norm is the “scattering” norm, which controls the existence of strong solutions of the nonlinear Schrödinger equation, see Proposition 3.1 and Proposition 3.2 below.
Some lemmas. In this subsection we collect and prove several lemmas that will be used later in the paper. 2 3 2 3 For N > 0 we define the operator PN L .ވ / L .ވ /, W ! 2 2 N g PN N ge ; WD (2-28) 2 2 N 2.2 1/ PN f .; !/ N . 1/e f .; !/: D C C Q One should think of PN as a substitute for the usual Littlewood–Paley projection operator in Euclidean spaces that restricts to frequencies of size N ; this substitution is necessary in order to have a suitable Lp theory for these operators, since only real-analytic multipliers can define bounded operators on Lp.ވ3/ [Clerc and Stein 1974]. InA view of the Fourier inversion formula we have Z PN f .x/ f .y/PN .d.x; y// d.y/; D ވ3
6In fact this estimate can be improved if t 1, see [Ionescu and Staffilani 2009, Lemma 3.3]. This leads to better control j j of the longtime behavior of solutions of subcritical Schrödinger equations in hyperbolic spaces, compared to the behavior of solutions of the same equations in Euclidean spaces (see [Banica 2007; Banica et al. 2008; Ionescu and Staffilani 2009; Anker and Pierfelice 2009]). 714 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI where 3 5 4r PN .r/ . N .1 N r/ e : (2-29) j j C The estimates in the following lemma will be used in Section 5. 3 1 3 Lemma 2.2. (i) Given .0; 1 there is R 1 such that for any x ވ , N 1, and f H .ވ /, 2 2 2 1=2 PN f .x/ . N . f 1B.x;R N 1/ L6.ވ3/ f L6.ވ3// j j k k C k k where B.x; r/ denotes the ball B.x; r/ y ވ3 d.x; y/ < r . D f 2 W g (ii) For any f H 1.ވ3/, 2 1=3 1=2 2=3 f 6 3 . f sup N P f .x/ : L .ވ / L2.ވ3/ N k k kr k N 1 j j x ވ3 2 Proof. (i) The inequality follows directly from (2-29): Z Z PN f .x/ . f .y/ PN .d.x; y// d.y/ f .y/ PN .d.x; y// d.y/ j j 1 j j j j C c 1 j j j j B.x;RN / B.x;RN / . f 1B.x;R N 1/ L6.ވ3/ AN;0;6=5 f L6.ވ3/ AN;R;6=5; k k C k k where, for R Œ0; /, N Œ1; / and p Œ1; 2 2 1 2 1 2 ÂZ Ã1=p ÂZ Ã1=p p 1 p 2 AN;R;p PN .d.0; y// d.y/ . PN .r/ .sh r/ dr WD d.0;y/ RN 1 j j RN 1 j j ÂZ Ã1=p 3 1 5p 2 3 3=p 1 . N .1 N r/ r dr . N .1 R/ : 1 C C RN The inequality follows if R 1=. D (ii) Such improved Sobolev embeddings in various settings have been used before, for example, in [Bahouri and Gérard 1999; Keraani 2001]. For any f H 1.ވ3/ we have the identity 2 Z 1 1 f c N PN .f / dN: (2-30) D N 0 D 1=2 Thus, with A supN 0 N PN f L .ވ3/ WD k k 1 Z Z Z dN dN 6 . 1 6 f d PN1 f ::: PN6 f ::: d 3 3 ވ j j ވ 0 N1 ::: N6 j j j j N1 N6 Ä Ä Ä Z Z dN dN . 4 2 5 6 A N5 PN5 f PN6 f d 3 ވ 0 N5 N6 j jj j N5 N6 Z Z Ä Ä 4 1 2 . A N PN f dNd; ވ3 0 j j where the last inequality follows by Schur’s lemma. The claim follows since Z Z 1 2 1=2 2 N PN f dNd c . / f L2.ވ3/; ވ3 0 j j D k k WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 715 as a consequence of the Plancherel theorem and the definition of the operators PN , and, for any N Œ0; 1/, 2
1=2 N PN f 3 . P2f 3 : (2-31) L1.ވ / L1.ވ / k k k k We will also need the following technical estimate: Lemma 2.3. Assume H 1.ވ3/ satisfies 2 1=2 itg H 1.ވ3/ 1; sup K PK e .x/ ı; (2-32) k k Ä K 1 j j Ä t ޒ x 2ވ3 2 for some ı .0; 1. Then, for any R > 0 there is C.R/ 1 such that 2 1=2 itg 1=20 N ge 5 15=8 1 2 2 2 2 C.R/ı (2-33) Lt Lx .B.x0;RN / .t0 R N ;t0 R N // kr k C Ä 3 for any N 1, any t0 ޒ, and any x0 ވ . 2 2 Proof. We may assume R 1, x0 0, t0 0. It follows from (2-32) that for any K > 0 and t ޒ D D D 2 itg 1=2 itg PK e L .ވ3/ . ıK ; PK e L6.ވ3/ . 1 k k 1 k k I therefore, by interpolation, itg 1=2 1=4 PK e 12 3 . ı K : k kL .ވ / Thus, for any K > 0 and t ޒ, 2 itg 1=2 1=4 g.PK e / 12 3 . ı K .K 1/; kr kL .ވ / C which shows that, for any K > 0 and N 1, 1=2 itg 1=2 1=4 5=4 N g.PK e / 5 15=8 1 2 2 . ı K .K 1/N : (2-34) Lt Lx .B.0;N / . N ;N // kr k C We will prove below that, for any N 1 and K N , itg 1=2 g.PK e / 2 1 2 2 . .NK/ : (2-35) Lx;t .B.0;N / . N ;N // kr k Assuming this and using the energy estimate
itg g.PK e / 2 3 . 1; L1t Lx .ވ ޒ/ kr k we have, by interpolation,
itg 1=5 g.PK e / 5 2 1 2 2 . .NK/ : Lt Lx .B.0;N / . N ;N // kr k Therefore, for any N 1 and K N 1=2 itg 1=5 1=5 N g.PK e / 5 15=8 1 2 2 . N K : (2-36) Lt Lx .B.0;N / . N ;N // kr k The desired bound (2-33) follows from (2-34), (2-36), and the identity (2-30). It remains to prove the local smoothing bound (2-35). Many such estimates are known in more general settings; see, for example, [Doi 1996]. We provide below a simple self-contained proof specialized to 716 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
3 our case. Assuming N 1 fixed, we will construct a real-valued function a aN C .ވ / with the D 2 1 properties
˛ 3 D aD˛a . 1 in ވ ; j j 3 3 g.ga/ . N in ވ ; (2-37) j j ˛ ˛ ˇ 3 3 X X˛ N 1B.0;N 1/ . X X D˛Dˇa in ވ for any vector-field X T .ވ /: 2 Assuming such a function is constructed, we define the Morawetz action Z ˛ Ma.t/ 2 D a.x/ u.x/D˛u.x/ d.x/; D = ވ3 N
itg where u PK e . A formal computation (see [Ionescu and Staffilani 2009, Proposition 4.1] for a WD complete justification) shows that Z Z ˛ ˇ 2 @t Ma.t/ 4 D D a D˛uDˇu d g.ga/ u d: D < ވ3 N ވ3 j j Therefore, by integrating on the time interval Œ N 2; N 2 and using the first two properties in (2-37), 2 Z N Z ˛ ˇ 4 .D D a D˛uDˇu/ d dt N 2 ވ3 < N 2 Z N Z 2 2 sup Ma.t/ g.ga/ u d dt Ä 2 j j C N 2 ވ3 j j j j t N j jÄ 2 Z N . 3 2 . 1 2 sup u.t/ L2.ވ3/ u.t/ H 1.ވ3/ N u.t/ L2.ވ3/ dt K NK : 2 k k k k C 2 k k C t N N j jÄ The desired bound (2-35) follows, in view of the inequality in the last line of (2-37) and the assumption K N since a is real valued. Finally, it remains to construct a real-valued function a C .ވ3/ satisfying (2-37). We are looking 2 1 for a function of the form
a.x/ a.ch r.x//; r d.0; x/; a C .Œ1; //: (2-38) WD Q D Q 2 1 1 To prove the inequalities in (2-37) it is convenient to use coordinates induced by the Iwasawa decomposition of the group އ: we define the global diffeomorphism
ˆ ޒ2 ޒ ވ3; ˆ.v1; v2; s/ tr.ch s e s v 2=2; sh s e s v 2=2; e sv1; e sv2/; W ! D C j j C j j and fix the global orthonormal frame
s s e3 @s; e1 e @ 1 ; e2 e @ 2 : WD WD v WD v With respect to this frame, the covariant derivatives are
De e ı e3; De e3 e˛; De e˛ De e3 0 for ˛; ˇ 1; 2: ˛ ˇ D ˛ˇ ˛ D 3 D 3 D D WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 717
See [Ionescu and Staffilani 2009, Section 2] for these calculations. In this system of coordinates we have
ch r ch s e s v 2=2: (2-39) D C j j Therefore, for a as in (2-38), we have
s 2 1 2 D3a .sh s e v =2/ a .ch r/; D1a v a .ch r/; D2a v a .ch r/: D j j Q0 D Q0 D Q0 Using the formula
D˛D a e˛.e .a// .De e /.a/; ˛; ˇ 1; 2; 3; ˇ D ˇ ˛ ˇ D we compute the Hessian:
1 2 2 2 D1D1a .v / a .ch r/ ch ra .ch r/; D2D2a .v / a .ch r/ ch ra .ch r/; D Q00 C Q0 D Q00 C Q0 1 2 s 2 2 D1D2a D2D1a v v a .ch r/; D3D3f .sh s e v =2/ a .ch r/ ch ra .ch r/; D D Q00 D j j Q00 C Q0 1 s 2 D1D3a D3D1a v .sh s e v =2/a .ch r/; D D j j Q00 2 s 2 D2D3a D3D2a v .sh s e v =2/a .ch r/: D D j j Q00 Therefore, using again (2-39),
˛ 2 2 2 D aD˛a .sh r/ .a .ch r// ; ga ..ch r/ 1/a .ch r/ 3.ch r/a .ch r/; (2-40) D Q0 D Q00 C Q0 and
˛ ˇ 2 1 1 2 2 3 s 2 2 X X D˛D a ch ra .ch r/ X a .ch r/.X v X v X .sh s e v =2// : (2-41) ˇ D Q0 j j CQ00 C C j j We fix now a such that Q a .y/ .y2 1 N 2/ 1=2; y Œ1; /: Q0 WD C 2 1 The first identity in (2-37) follows easily from (2-40). To prove the second identity in (2-37), we use again (2-40) to derive
2 2 1=2 2 2 2 3=2 ga b.ch r/; where b.y/ 3y.y 1 N / y.y 1/.y 1 N / : D D C C Using (2-40) again, it follows that
2 2 2 3=2 g.ga/ . y .y 1 N / where y ch r; j j C D which proves the second inequality in (2-37). Finally, using (2-41),
˛ ˇ 2 2 2 X X D˛D a ch ra .ch r/ X ..ch r/ 1/ a .ch r/ X ˇ Q0 j j jQ00 j j j N 2 ch r..ch r/2 1 N 2/ 3=2 X 2; D C j j which proves the last inequality in (2-37). This completes the proof of the lemma. 718 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
3. Proof of the main theorem
In this section we outline the proof of Theorem 1.1. The main ingredients are a local well-posedness and stability theory for the initial-value problem, which in our case relies only on the Strichartz estimates in Proposition 2.1, a global Morawetz inequality, which exploits the defocusing nature of the problem, and a compactness argument, which depends on the Euclidean analogue of Theorem 1.1 proved in [Colliander et al. 2008]. We start with the local well-posedness theory. Let
ᏼ .I; u/ I ޒ is an open interval and u C.I H 1.ވ3// D f W Â 2 W g with the natural partial order
.I; u/ .I ; u / if and only if I I and u .t/ u.t/ for any t I: Ä 0 0  0 0 D 2 Proposition 3.1 (local well-posedness). Assume H 1.ވ3/. Then there is a unique maximal solution 2 .I; u/ .I./; u.// ᏼ, 0 I, of the initial-value problem D 2 2 4 .i@t g/u u u ; u.0/ (3-1) C D j j D 3 0 1 on ވ I. The mass E .u/ and the energy E .u/ defined in (1-3) are constant on I, and u 1 < k kS .J / 1 for any compact interval J I. In addition,  u Z.I / if I I Œ0; / is bounded; k k C D 1 C WD \ 1 (3-2) u Z.I / if I I . ; 0 is bounded: k k D 1 WD \ 1 In other words, local-in-time solutions of the equation exist and extend as strong solutions as long as 10 their spacetime Lx;t norm does not blow up. We complement this with a stability result. Proposition 3.2 (stability). Assume I is an open interval, Œ 1; 1, and u C.I H 1.ވ3// satisfies 2 Q 2 W the approximate Schrödinger equation
4 3 .i@t g/u u u e on ވ I: C Q D Qj Qj C Assume in addition that
u 10 3 sup u.t/ 1 3 M; (3-3) Lt;x .ވ I/ H .ވ / k Qk C t I k Q k Ä 2 1 3 for some M Œ1; /. Assume t0 I and u.t0/ H .ވ / is such that the smallness condition 2 1 2 2 u.t0/ u.t0/ 1 3 e 1 (3-4) k Q kH .ވ / C k kN .I/ Ä holds for some 0 < < 1, where 1 1 is a small constant 1 1.M / > 0. Ä D Then there exists a solution u C.I H 1.ވ3// of the Schrödinger equation 2 W 4 3 .i@t g/u u u on ވ I; C D j j and
u S 1.ވ3 I/ u S 1.ވ3 I/ C.M /; u u S 1.ވ3 I/ C.M /: (3-5) k k C k Qk Ä k Qk Ä WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 719
Both Proposition 3.1 and Proposition 3.2 are standard consequences of the Strichartz estimates and Sobolev embedding theorem (2-23); see, for example, [Colliander et al. 2008, Section 3]. We will use Proposition 3.2 with 0 and with 1 to estimate linear and nonlinear solutions on hyperbolic spaces. D D We next state the global Morawetz estimate: Proposition 3.3 [Ionescu and Staffilani 2009, Proposition 4.1]. Assume that I ޒ is an open interval,  and u C.I H 1.ވ3// is a solution of the equation 2 W 4 3 .i@t g/u u u on ވ I: C D j j Then, for any t1; t2 I, 2 6 u 6 3 . sup u.t/ 2 3 u.t/ 1 3 : (3-6) L .ވ Œt1;t2/ L .ވ / H .ވ / k k t Œt1;t2 k k k k 2 Next, recall the conserved energy E1.u/ defined in (1-3). For any E Œ0; / let S.E/ be defined by 2 1 S.E/ sup u ; E1.u/ E ; D fk kZ.I/ Ä g where the supremum is taken over all solutions u C.I H 1.ވ3// defined on an interval I and of energy 2 W less than E. We also define
Emax sup E; S.E/ < : D f 1g Using Proposition 3.2 with u 0; e 0, I ޒ, M 1, 1, one checks that Emax > 0. It follows Q Á Á D D from Proposition 3.1 that if u is a solution of (1-2) and E.u/ < Emax, then u can be extended to a globally defined solution which scatters.
If Emax , then Theorem 1.1 is proved, as a consequence of Propositions 3.1 and 3.2. If we D C1 assume that Emax < , then, there exists a sequence of solutions satisfying the hypothesis of the C1 following key proposition, to be proved later. Proposition 3.4. Let u C.. T ; T k / H 1.ވ3//, k 1; 2;::: , be a sequence of nonlinear solutions k 2 k W D of the equation 4 .i@t g/u u u ; C D j j k k defined on open intervals . T ; T / such that E.u / Emax. Let t . T ; T / be a sequence of k k ! k 2 k times with
k lim uk Z. Tk ;tk / lim uk Z.tk ;T / : (3-7) k k k D k k k D C1 !1 !1 1 3 Then there exists w0 H .ވ / and a sequence of isometries hk އ such that, up to passing to a 21 1 2 subsequence, u .t ; h x/ w0.x/ H strongly. k k k ! 2 Using these propositions we can now prove our main theorem.
Proof of Theorem 1.1. Assume for contradiction that Emax < . Then, we first claim that there exists a 1 C1 solution u C.. T ; T / H / of (1-2) such that 2 W E.u/ E and u u : (3-8) max Z. T ;0/ Z.0;T / D k k D k k D C1 720 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
Indeed, by hypothesis, there exists a sequence of solutions u defined on intervals I . T ; T k / k k D k satisfying E.u / Emax and k Ä u : k k kZ.Ik / ! C1 But this is exactly the hypothesis of Proposition 3.4, for suitable points t . T ; T k /. Hence, up to k 2 k a subsequence, we get that there exists a sequence of isometries hk އ such that hk .uk .tk // w0 1 1 3 2 ! strongly in H . Now, let u C.. T ; T / H .ވ // be the maximal solution of (3-1) with initial 2 W data w0, in the sense of Proposition 3.1. By the stability theory Proposition 3.2, if u Z.0;T / < , k k C1 then T and uk Z.tk ; / C. u Z.0; // which is impossible. Similarly, we see that D C1 k k C1 Ä k k C1 u Z. T ;0/ , which completes the proof of (3-8). k k D C1 We now claim that the solution u obtained in the previous step can be extended to a global solution.
Indeed, using Proposition 3.1, it suffices to see that there exists ı > 0 such that, for all times t . T ; T /, 2 u 1: Z..t ı;t ı/ . T ;T // k k C \ Ä
If this were not true, there would exist a sequence ık 0 and a sequence of times tk . T ık ; T ık / ! 2 C such that
u Z.tk ık ;tk ık / 1: (3-9) k k C Applying Proposition 3.4 with u u, we see that, up to a subsequence, .u .t // w strongly in k D hk k k ! H 1 for some translations h އ. We consider z the maximal nonlinear solution with initial data w, then k 2 by the local theory Proposition 3.1, there exists ı > 0 such that
1 z Z. ı;ı/ 2 : k k Ä
Proposition 3.2 gives that u Z.tk ı;tk ı/ 1=2 ok .1/, which again contradicts our hypothesis (3-9). k k C Ä C 1 In other words, we proved that if Emax < then there is a global solution u C.ޒ H / of (1-2) such 1 2 W that
E.u/ Emax and u Z. ;0/ u Z.0; / : D k k 1 D k k 1 D C1 We claim now that there exists ı > 0 such that for all times,
u.t/ 6 ı: (3-10) k kL Indeed, otherwise, we can find a sequence of times t .0; / such that u.t / 0 in L6. Applying k 2 1 k ! again Proposition 3.4 to this sequence, we see that, up to a subsequence, there exist h އ such that k 2 .u.t // w in H 1 with w 0. But this contradicts conservation of energy. hk k ! D But now we have a contradiction with the Morawetz estimate (3-6), which shows that Emax as D C1 desired. Propositions 3.1 and 3.2 are standard consequences of the Strichartz estimates, while Proposition 3.3 was proved in [Ionescu and Staffilani 2009]. Therefore it only remains to prove Proposition 3.4. We collect the main ingredients in the next two sections and complete the proof of Proposition 3.4 in Section 6. WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 721
4. Euclidean approximations
In this section we prove precise estimates showing how to compare Euclidean and hyperbolic solutions of both linear and nonlinear Schrödinger equations. Since the global Euclidean geometry and the global hyperbolic geometry are quite different, such a comparison is meaningful only in the case of rescaled data that concentrate at a point. We fix a spherically symmetric function C .ޒ3/ supported in the ball of radius 2 and equal to 1 2 01 in the ball of radius 1. Given H 1.ޒ3/ and a real number N 1 we define 2 P 3 1=2 =N QN C .ޒ /; .QN /.x/ .x=N / .e /.x/; 2 01 D 3 1=2 N C .ޒ /; N .x/ N .QN /.N x/; (4-1) 2 01 D 3 1 fN C .ވ /; fN .y/ N .‰ .y//; 2 01 D I 7 where ‰I is defined in (2-4). Thus QN is a regularized, compactly supported modification of the profile , is an H 1-invariant rescaling of Q , and f is the function obtained by transferring N P N N N to a neighborhood of 0 in ވ3. We define also Z Z 1 1 2 1 6 Eޒ3 ./ dx dx: D 2 ޒ3 jr j C 6 ޒ3 j j We will use the main theorem of [Colliander et al. 2008], in the following form. Theorem 4.1. Assume H 1.ޒ3/. Then there is a unique global solution v C.ޒ H 1.ޒ3// of the 2 P 2 W P initial-value problem 4 .i@t /v v v ; v.0/ ; (4-2) C D j j D and 1 v 2 2 6 3 C .E 3 . //: (4-3) L1t Lx Lt Lx .ޒ ޒ/ z ޒ jr j \ Ä This solution scatters in the sense that there exists H 1.ޒ3/ such that ˙1 2 P it v.t/ e ˙1 H 1.ޒ3/ 0 (4-4) k k P ! 5 3 5 3 as t . If H .ޒ /, then v C.ޒ H .ޒ // and sup v.t/ 5 3 . 1: H .ޒ / H 5.ޒ3/ ! ˙1 2 2 W t ޒ k k k k 2 The main result in this section is the following lemma:
1 3 Lemma 4.2. Assume H .ޒ /, T0 .0; /, and 0; 1 are given, and define fN as in (4-1). 2 P 2 1 2 f g (i) There is N0 N0.; T0/ sufficiently large such that for any N N0 there is a unique solution D 2 2 1 3 UN C.. T0N ; T0N / H .ވ // of the initial-value problem 2 W 4 .i@t g/UN UN UN ; UN .0/ fN : (4-5) C D j j D 7This modification is useful to avoid the contribution of coming from the Euclidean infinity, in a uniform way depending on the scale N . 722 ALEXANDRUD.IONESCU,BENOITPAUSADER AND GIGLIOLA STAFFILANI
Moreover, for any N N0,
1 2 2 . 1 UN S . T0N ;T0N / E ./ 1: (4-6) k k ޒ3 (ii) Assume " .0; 1 is sufficiently small (depending only on E1 ./), and let H 5.ޒ3/ satisfy 1 ޒ3 0 2 5 2 0 H 1.ޒ3/ "1. Let v0 C.ޒ H / denote the solution of the initial-value problem k k P Ä 2 W 4 .i@t /v v v ; v .0/ : C 0 D 0j 0j 0 D 0 For R; N 1 we define 3 v .x; t/ .x=R/v .x; t/; .x; t/ ޒ . T0; T0/; R0 D 0 2 1=2 2 3 2 2 v .x; t/ N v .N x; N t/; .x; t/ ޒ . T0N ; T0N /; (4-7) R0 ;N D R0 2 1 3 2 2 VR;N .y; t/ v .‰ .y/; t/.y; t/ ވ . T0N ; T0N /: D R0 ;N I 2 Then there is R0 1 (depending on T0 and and "1) such that, for any R R0, 0
1 2 2 . 1 lim sup UN VR;N S . T0N ;T0N / E ./ "1: (4-8) N k k ޒ3 !1 Proof. All of the constants in this proof are allowed to depend on E1 ./; for simplicity of notation we ޒ3 will not track this dependence explicitly. Using Theorem 4.1 we have
v0 2 2 6 3 . 1; sup v0.t/ 5 3 . 1: (4-9) .L1t Lx Lt Lx /.ޒ ޒ/ H .ޒ / 0 H 5.ޒ3/ kr k \ t ޒ k k k k 2
We will prove that for any R0 sufficiently large there is N0 such that VR0;N is an almost-solution of (4-5), for any N N0. We will then apply Proposition 3.2 to upgrade this to an exact solution of the initial-value problem (4-5) and prove the lemma. Let x Á x Á5Á e .x; t/ .i@ /v v v 4.x; t/ v .x; t/ v .x; t/ 4 R t R0 R0 R0 R R 0 0 WD C j j D j 3 j 2 x Á 1 X x Á R v .x; t/./ 2R @j v .x; t/@j : C 0 R C 0 R j 1 D . Since v0.x; t/ 5 3 1, see (4-9), it follows that j j k 0kH .ޒ / 3 Â 3 3 Ã X . X X @k eR.x; t/ 3 3 1ŒR;2R. x / v0.x; t/ @k v0.x; t/ @k @j v0.x; t/ : j j k 0kH .ޒ / j j j j C j j C j j k 1 k 1 k;j 1 D D D Therefore
lim eR 2 2 3 0: (4-10) R jr j Lt Lx .ޒ . T0;T0// D !1 Letting 4 5=2 2 eR;N .x; t/ .i@t /v v v .x; t/ N eR.N x; N t/; WD C R0 ;N R0 ;N j R0 ;N j D WELL-POSEDNESS OF ENERGY-CRITICAL SCHRÖDINGER EQUATIONS IN CURVED SPACES 723 it follows from (4-10) that there is R0 1 such that, for any R R0 and N 1,
eR;N 1 2 3 2 2 "1: (4-11) Lt Lx .ޒ . T0N ;T0N // jr j Ä
1 With VR;N .y; t/ v .‰ .y/; t/ as in (4-7), let D R0 ;N I