CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation. If the resolvent estimate has a loss when compared to the optimal, non-trapping estimate, there is a corresponding loss in regularity in the local smoothing estimate. As an application, we apply well-known techniques to obtain well-posedness results for the semi-linear Schrödinger equation. 1. Introduction In this short note we show how cutoff semiclassical resolvent estimates for the Laplacian on a non-compact manifold, with spectral parameter on the real axis, lead to well-posedness results for the semilinear Schrödinger equation. Motivated by the requirements of [Chr3] and [BGT], and the microlocal inverse estimates of [Chr1, Chr], we first prove a general theorem for a large class of resolvents. Following the recent work of Nonnenmacher-Zworski [NoZw], we apply the general theorem in the case there is a hyperbolic fractal trapped set. Let M, g) be a Riemannian manifold of dimension n without boundary, with non-negative) Laplace-Beltrami operator acting on functions. The Laplace- Beltrami operator is an unbounded, essentially self-adjoint operator on L M) with domain H M). We assume M, g) is asymptotically Euclidean in the sense of [NoZw, 3.7)-3.9)] and that the classical resolvent λ + iɛ)) 1 obeys a limiting absorption principle as ɛ +, λ. Our first result is that if we have cutoff semiclassical resolvent estimates with a sufficiently small loss, then we have weighted smoothing for the Schrödinger propagator with a loss. Let ρ s be a smooth, non-vanishing weight function satisfying 1.1) ρ s x) d g x, x ) s, for some fixed x and x outside a compact set. Theorem 1. Suppose for each compactly supported function χ Cc M) with sufficiently small support, there is h > such that the semi-classical Laplace- Beltrami operator satisfies 1.) χ h E) 1 χu L M) gh) h u L M), E > uniformly in < h h, where gh) c >, gh) = oh 1 ). Then for each T > and s > 1/, there is a constant C = C T,s > such that ρs e it u H 1/ η M) dt C u L M), 1.3) 1
HANS CHRISTIANSON where η satisfies 1.4) and ρ s is given by 1.1). gh)h η = O1), The assumption that M, g) is asymptotically Euclidean is that there exists R > sufficiently large that, on each infinite branch of M \ B, R ), the semiclassical Laplacian h takes the form h M\B,R) = a α x, h)hd x ) α, α with a α x, h) independent of h for α =, a α x, h)hd x ) α C 1 ξ, < C <, and α = a α x, h)hd x ) α ξ, as x uniformly in h. α In order to quote the results of [NoZw] we also need the following analyticity assumption: θ [, π) such that the a α x, h) are extend holomorphically to {rω : ω C n, dist ω, S n ) < ɛ, r C, r R, arg r [ ɛ, θ + ɛ)}. As in [NoZw], the analyticity assumption immediately implies a α x, h)ξ α ξ = o x β ) ξ, x. β x α Recall the free Laplacian λ ) 1 on R n has a holomorphic continuation from Im λ > to λ C for n 3 odd, and to the logarithmic covering space for n even. This motivates the limiting absorption assumption, that exists as a bounded operator lim ɛ +, λ ρ s λ + iɛ)) 1 ρ s L M, dvol g ) L M, dvol g ), provided s > 1/. As in the free case, we allow a possible logarithmic singularity at λ =. The problem of local smoothing estimates for the Schrödinger equation has a long history. The sharpest results to date are those of Doi [Doi] and Burq [Bur]. Doi proved if M is asymptotically Euclidean, then one has the estimate 1.5) χe it u H 1/ M) dt C u L M) for χ Cc M) if and only if there are no trapped sets. Burq s paper showed if there is trapping due to the presence of several convex obstacles in R n satisfying certain assumptions, then one has the estimate 1.5) with the H 1/ norm replaced by H 1/ η for η >. In [Chr3], the author considered an arbitary, single trapped hyperbolic orbit. One of the goals of this paper is to use estimates obtained by Nonnenmacher-Zworski [NoZw] for fractal hyperbolic trapped sets to obtain similar results to [Chr3] for the semilinear Schrödinger equation. To that end we have the following corollary to Theorem 1.
RESOLVENTS AND SLS 3 Corollary 1.1. Assume M, g) admits a hyperbolic fractal trapped set, K E, in the energy level E > and that the topological pressure P E 1/) <. Then h E satisfies 1.) for some E > with gh) = C log1/h), and for every η >, T >, and s > 1/, there exists a constant C = C PE,η,T,s > such that ρs e it u H 1/ η M) dt C u L M). We remark that the assumption P E 1/) < implies the trapped set K E filamentary or thin see [NoZw] for definitions). We consider the following semilinear Schrödinger equation problem: { i t u + u = F u) on I M; 1.6) u, x) = u x), where I R is an interval containing. Here the nonlinearity F satisfies is F u) = G u )u, and G : R R is at least C 3 and satisfies G k) r) C k r β k, for some β 1. In 3 we prove a family of Strichartz-type estimates which will result in the following well-posedness theorem. Theorem. Suppose M, g) satisfies the assumptions of the introduction, and set 1.7) Then for each 1.8) δ = 4η η + 1. s > n max{β, } + δ and each u H s M) there exists p > max{β, } and < T 1 such that 1.6) has a unique solution 1.9) u C[ T, T ]; H s M)) L p [ T, T ]; L M)). Moreover, the map u x) ut, x) C[ T, T ]; H s M)) is Lipschitz continuous on bounded sets of H s M), and if u H s is bounded, T is bounded from below. If, in addition, M, g) satisfies the assumptions of Corollary 1.1, n 3, β < 3, and Gr) + as r +, then u in 1.9) extends to a solution u C, ); H 1 M)) L p, ); L M)). Remark 1.. In particular, the cubic defocusing non-linear Schrödinger equation is globally H 1 -well-posed in three dimensions with a fractal trapped hyperbolic set which is sufficiently filamentary. Of course other nonlinearities can be considered, but for simplicity we consider only these in this work. Acknowledgments. This research was partially conducted during the period the author was employed by the Clay Mathematics Institute as a Liftoff Fellow.
4 HANS CHRISTIANSON ɛ C ɛ Figure 1. The curve C ɛ in the complex plane.. Proof of Theorem 1 Since we are assuming z) 1 obeys a limiting absorption principle, we have ρ s τ iɛ)) 1 ρ s L L C ɛ for < ɛ τ C. For σ C for some C >, σ C in a neighbourhood of the real axis, write for Now σ = z h = h h z), z [E α, E + α] + i[ c h, c h]. h z) is a Fredholm operator for z in the specified range, and hence the gluing techniques from [Vod] and [Chr3, ] can be used to conclude for s > 1/, ρ s h z) 1 ρ s has a holomorphic extension to a slightly smaller neighbourhood in z, and in particular, Rescaling, we have.1) where see Figure 1) ρ s h E) 1 ρ s L L C gh) h. ρ s τ) 1 ρ s L L C g τ 1/ ) τ 1/, τ C ±ɛ, C ±ɛ = {τ R : τ ɛ} {τ C : τ = ɛ, ± Im τ }. As in [Chr3] and [Bur], the following lemma follows from integration by parts and interpolation, together with the condition on η, 1.4). Lemma.1. With the notation and assumptions above, we have ρ s τ) 1 ρ s L H 1 Cg τ 1/ ), τ C ±ɛ,
RESOLVENTS AND SLS 5 and for every r [ 1, 1], ρ s τ) 1 ρ s Hr H C, τ C ±ɛ. 1+r η/ Theorem 1 now follows from the standard T T argument, letting ɛ in.1) see [BGT], the references cited therein, and [Chr3]). The following Corollary uses interpolation with an H estimate to replace the H 1/ η norm on the left hand side of 1.3) with H 1/, and will be of use in 3. See [Chr3] for the details of the proof. Corollary.. Suppose M, g) satisfies the assumptions of Theorem 1. For each T > and s > 1/, there is a constant C > such that.) ρs e it u H 1/ M) dt C u H δ M), where δ is given by 1.7). In particular, if M, g) satisfies the assumptions of Corollary 1.1, then for any δ >, there is C = C δ > such that.) holds. 3. Strichartz-type Inequalities In this section we give several families of Strichartz-type inequalities and prove Theorem. The statements and proofs are mostly adaptations of similar inequalities in [BGT], so we leave out the proofs of these in the interest of space. If we view M \ U, where U is a neighbourhood of K E, as a manifold with nontrapping geometry, we may apply the results of [HTW] or [BoTz] to a solution of the Schrödinger equation away from the trapping region, resulting in perfect Strichartz estimates. For this section we need 1.3) only with a compact cutoff χ instead of with the more general weight ρ s. Proposition 3.1. For every < T 1 and each χ Cc M) satisfying χ 1 near U, there is a constant C > such that 3.1) 1 χ)u Lp [,T ])W s,q M) C u Hs M), where u = e it u, s [, 1], and p, q), p > satisfy p + n q = n. Remark 3.. In the sequel, wherever unambiguous, we will write and L p T W s,q := L p [, T ])W s,q M) H s := H s M). Proposition 3.3. Suppose M, g) satisfies the assumptions of the Introduction, u = e it u, and v = t e it τ) fτ)dτ. Then for each < T 1 and δ satisfying 1.7), we have the estimates 3.) u L p T W C u s δ,q H s
6 HANS CHRISTIANSON and 3.3) v L p T W C f s δ,q L 1 Hs, T where s [, 1] and p, q), p > satisfy the Euclidean scaling 3.4) p + n q = n. The proof uses a local WKB expansion localized also in time to the scale of inverse frequency, followed by summing over frequency bands see [Chr3] and [BGT1]). The only difference here is the explicit dependence of δ on η, which is related to the growth of the function gh). Proof of Theorem. The proof of Theorem is a slight modification of the proof of Proposition 3.1 in [BGT1], but we include it here in the interest of completeness. Fix s satisfying 1.8 and choose p > max{β, } satisfying s > n p + δ n 1 max{β, } where δ satisfies 1.7). Set σ = s δ and for equipped with the norm Y T = C[ T, T ]; H s M)) L p [ T, T ]; W σ,q M)) u YT Let Φ be the nonlinear functional p + n q = n, = max t T ut) H s M) + u L p T W σ,q. Φu) = e it u i t e it τ) F uτ))dτ. If we can show that Φ : Y T Y T and is a contraction on a ball in Y T centered at for sufficiently small T >, this will prove the first assertion of the Proposition, along with the Sobolev embedding 3.5) W σ,q M) L M), since σ > n/q. From Proposition 3.3, we bound the W σ part of the Y T norm by the H s norm, giving ) Φu) YT C C u H s + u H s + T T F uτ)) H sdτ 1 + uτ) ) β L ) uτ) H sdτ ), where the last inequality follows by our assumptions on the structure of F. Applying Hölder s inequality in time with p = p/β ) and q satisfying 1 q + 1 p = 1
RESOLVENTS AND SLS 7 gives Φu) YT where γ = 1/ q >. Thus ) C u H s + T γ u L T Hs 1 + u ) β ) L p T L Φu) YT C Similarly, we have for u, v Y T, 3.6) 3.7) Φu) Φv) YT ) u H s + T γ u YT + u β Y T ). CT γ u v L T Hs 1 + u ) β + 1 + v ) β ) L p T L L p T L CT γ u v YT 1 + u ) β Y T + 1 + v ) β Y T ), which is a contraction for sufficiently small T. This concludes the proof of the first assertion in the Proposition. To get the second assertion, we observe from 3.6 and the definition of Y T, if u and v are two solutions to 1.6) with initial data u and u 1 respectively, so we have max t T ut) vt) H s Φv) = e it u 1 i t = max Φu)t) Φv)t) H s t T C u u 1 H s e it τ) F vτ))dτ, +T γ max ut) vt) Hs 1 + u ) β + 1 + v ) β ) t T L p T L L p T L which, for T > sufficiently small gives the Lipschitz continuity. If M, g) satisfies the assumptions of Corollary 1.1, n 3, β < 3, and Gr) + as r +, we can take s and p satisfying p > max{β, } and s > n p + δ n max{β, } for any δ >. Then σ = s δ > q/n and the preceding argument holds. Finally, the proof of the global well-posedness now follows from the standard global wellposedness arguments from, for example, [Caz, Chapter 6]. References ), [BoTz] [Bur] [BGT1] [BGT] Bouclet, J-M. and Tzvetkov, N. Strichartz Estimates for Long Range Perturbations. preprint. http://arxiv.org/pdf/math/59489 Burq, N. Smoothing Effect for Schrödinger Boundary Value Problems. Duke Math. Journal. 13, No., 4, p. 43-47. Burq, N. Gérard, P., and Tzvetkov, N. Strichartz Inequalities and the Nonlinear Schrödinger Equation on Compact Manifolds. Amer. J. Math. 16, No. 3, 4, p. 569-65. Burq, N., Gérard, P., and Tzvetkov, N. On Nonlinear Schrödinger Equations in Exterior Domains. Ann. I H. Poincaré. 1, 4, p. 95-318.
8 HANS CHRISTIANSON [Caz] [Chr1] [Chr] [Chr3] [Doi] [HTW] [NoZw] [Vod] Cazenave, T. Semilinear Schrödinger Equations. Courant Lecture Notes in Mathematics, AMS, 3. Christianson, H. Semiclassical Non-concentration near Hyperbolic Orbits. J. Funct. Anal. 6, 7, no., p. 145-195. Christianson, H. Quantum Monodromy and Non-concentration near Semi-hyperbolic Orbits. in preparation. Christianson, H. Dispersive Estimates for Manifolds with one Trapped Orbit. preprint. 6. http://www.math.berkeley.edu/ hans/papers/sm.pdf Doi, S.-I. Smoothing effects of Schrödinger Evolution Groups on Riemannian Manifolds. Duke Mathematical Journal. 8, No. 3, 1996, p. 679-76. Hassell, A., Tao, T., and Wunsch, J. Sharp Strichartz Estimates on Non-trapping Asymptotically Conic Manifolds. preprint. 4. http://www.arxiv.org/pdf/math.ap/4873 Nonnenmacher, S. and Zworski, M. Quantum decay rates in chaotic scattering. preprint. 7. http://math.berkeley.edu/ zworski/nz3.ps.gz Vodev, G. Exponential Bounds of the Resolvent for a Class of Noncompactly Supported Perturbations of the Laplacian. Math. Res. Lett. 7 ), no. -3, 87 98. Department of Mathematics, University of California, Berkeley, CA 947 USA E-mail address: hans@math.berkeley.edu