Strichartz estimate and nonlinear Klein-Gordon on non-trapping scattering space

We study the nonlinear Klein-Gordon equation on a product space $M=\R\times X$ with metric $\tilde{g}=dt^2-g$ where $g$ is the scattering metic on $X$. We establish the global-in-time Strichartz estimate for Klein-Gordon equation without loss of derivative by using the microlocalized spectral measure of Laplacian on scattering manifold showed in \cite{HZ} and a Littlewood-Paley squarefunction estimate proved in \cite{Zhang}. We prove the global existence and scattering for a family of nonlinear Klein-Gordon equations for small initial data with minimum regularity on this setting.


Introduction and Statement of Main Results
In this paper we consider the evolution of a semilinear Klein-Gordon equations with power-type nonlinearities on a non-trapping scattering manifold. More specifically, we consider the following family of nonlinear Klein-Gordon equation ✷gu + m 2 u = F (u, Du), (t, z) ∈ R × X, u(0) = u 0 (z), ∂ t u(0) = u 1 (z).
Here ✷g = ∂ 2 t − ∆ g denotes the d'Alembertian in the metricg = dt 2 − g and ∆ g is the Laplacian on the manifold X with scattering metric g introduced by Melrose [35]. We focus on the questions of the minimum regularity for which local well-posedness and small nonlinear scattering hold true. One of the motivation for this study is that in lowdimensional case, we can achieve the level of regularity corresponding to a conserved quantity (such as, e.g. the energy) and thus get global existence for large initial data.
On more general class of physical manifolds, Hintz and Vasy [15,16,26] studied the semilinear and quasilinear wave and Klein-Gordon equation on the physically cosmological spacetimes as solutions to Einstein's field equations; In particular they gave a detailed analysis of the long-time behavior of linear and nonlinear waves on Kerr-de Sitter space and non-trapping Lorentzian scattering spaces for large regularity and small initial data. The recent development of [47] allowed them to set up the analysis of the associated linear problem in a framework of Fredholm problem, in which they used Melrose's philosophy [34,35] of studying differential operators P = ✷g on a non-compact space M by compactifying M to a manifold M with boundary or even corners. The concrete choice of compactification is connected to the geometric structure of M near infinity. In our less complicated product setting, we use the same Melrose's idea with P = ∆ g on X in the study of the spectral measure of the Laplacian [15,27] and then analyze the propagator e it √ 1−∆g , thus we expect better result on the lowest regularity due to the establishment of the global-in-time Strichartz estimate.
In the simplest flat Euclidean space, there is a large number of literature to study the nonlinear Klein-Gordon equation. In the flat Euclidean space, where X = R n and g jk = δ jk , the dispersive properties of the Klein-Gordon and other dispersive equations have been proved to be powerful in the study of nonlinear problems. The Strichartz estimate for the solution of the homogenous and inhomogeneous Klein-Gordon equation in the form of space time integrability properties gives u(t, z) L q t (I;L r z (R n )) + u(t, z) C(I;H s (R n )) u 0 H s (R n ) + u 1 H s−1 (R n ) + F Lq ′ t (I;Lr ′ z (R n )) , (1.1) where the pairs (q, r), (q,r) ∈ [2, ∞] 2 satisfy the admissible condition for 0 θ 1 (1.2) 2 q + n − 1 + θ r n − 1 + θ 2 , (q, r, (n − 1 + θ)/2) = (2, ∞, 1). and the gap condition We refer to Brenner [3], Ginibre-Velo [18] and Keel-Tao [30] for more details. In particular θ = 0, these estimates corresponding to wave equation serves as a tool for existence results about the nonlinear wave equation. For example, Lindblad-Sogge [33] answered the problem of finding minimal regularity conditions on the initial data ensuring local well-posedness for semilinear wave equations. Similarly analogous results for the Klein-Gordon equation can be carried out as same as for the wave equation even thought the sharpness of well-posedness results is not known. There is too many reference to cite all here, we refer the reader to [28,37] and the reference therein.
In view of the rich Euclidean theory due to the Strichartz estimate, it is natural to consider the corresponding equations on more general manifolds. However it is difficult or impossible to establish the same Strichartz-type estimates as in Euclidean space on the large class of manifold due to the influence of qualitative geometric properties. On asymptotically de Sitter spaces Baskin [4,5,6] established a family of local (in time) weighted Strichartz estimates with derivative losses for the Klein-Gordon equation on asymptotically de Sitter spaces and provided a heuristic argument for the non-existence of a global dispersive estimate on these spaces. The Strichartz estimates are local-intime or loss of derivatives on the compact manifold with or without boundary, see [11,8,29,40,45] and references therein. On noncompact manifold with nontrapping condition, one can obtain global-in-time Strichartz estimates. For example, the global Strichartz estimates on a exterior manifold in R n to a convex obstacle, for metrics g which agrees with the Euclidean metric outside a compact set with nontrapping assumption, are obtained by Smith-Sogge [41] for odd dimension, and Burq [10] and Metcalfe [36] for even dimension. Blair-Ford-Marzuola [9] established global Strichartz estimates for the wave equation on flat cones C(S 1 ρ ) by using the explicit representation of the fundamental solution. Anker-Pierfelice [2] study the problem on minimal regularity condition on the initial data ensuring well-posedness for wave and Klein-Gordon on hyperbolic space. On the non trapping scattering manifold, the same setting considered here, Hassell, Tao, and Wunsch first established an L 4 t,z -Strichartz estimate for Schrödinger equation in [22] and then they [23] extended the estimate to full admissible local-in-time Strichartz estimate except endpoint q = 2. More recently, Hassell-Zhang [27] improved the local-in-time one to global-in-time one and fixed the endpoint q = 2 by analyzing the microlocalized spectral measure. Following this Zhang [49] extended the global-in-time result for the wave equation.  generalized the Schrödinger result to the setting with mild trapping and with more general ends.
In this paper, we will establish the global-in-time Strichartz estimate for the Klein-Gordon and apply it to study the minimal regularity problem for nonlinear Klein-Gordon on the non-trapping scattering manifold (asymptotically conic manifold) which is the same as in [23,27,49] including the asymptotically Euclidean space. The scattering manifold means that X can be compactified to a manifold with boundary X such that g becomes a scattering metric on X; see more about this next section. For geometric reasons, we expect the same dispersive properties of Klein-Gordon as in the Euclidean setting. The key ingredient is to establish global-in-time Strichartz estimate for Klein-Gordon. It is known that Klein-Gordon behaviors like Schrödinger at low frequency and wave equation at high frequency. As same as the Euclidean space, we introduce a parameter θ for Klein-Gordon admissible pair which is wave admissible at θ = 0 and Schrödinger pair at θ = 1. More precisely, we have the result about Strichartz estimates in the following.
Let H s (X) = (1 − ∆ g ) − s 2 L 2 (X) be the inhomogeneous Sobolev space over X. Throughout this paper, pairs of conjugate indices are written as r, r ′ , where 1 r + 1 r ′ = 1 with 1 r ∞. Theorem 1.1 (Global-in-time Strichartz estimate). Let (X, g) be non-trapping scattering manifold of dimension n 3. Suppose that u is the solution to the Cauchy problem for some initial data u 0 ∈ H s , u 1 ∈ H s−1 , and the time interval I ⊆ R, then u(t, z) L q t (I;L r where the pairs (q, r), (q,r) ∈ [2, ∞] 2 satisfy the KG-admissible condition with 0 θ 1 (1.6) 2 q + n − 1 + θ r n − 1 + θ 2 , (q, r, n, θ) = (2, ∞, 3, 0). and the gap condition Remark 1.2. We remark that the estimates here are the same as the Strichartz estimates for Klein-Gordon on Euclidean space which are global-in-time and have no loss of derivatives.
We sketch the proof as follows. As same as [27,49], our strategy is to use the abstract Strichartz estimate proved in Keel-Tao [30]. Thus, with U (t) denoting the (abstract) propagator, we need to show uniform L 2 → L 2 estimate for U (t), and L 1 → L ∞ type dispersive estimate on the U (t)U (s) * with a bound of the form O((1+|t−s|) −(n−1+θ)/2 ) with 0 θ 1. In the flat Euclidean setting, the estimates are usually obtained by using stationary phase argument. One point is to write the propagator in the form of oscillatory integral. Since the Laplacian in our general setting is degenerate when it is close to the compactified boundary, the formulate turns out to be more complicated. On the other hand, the conjugate point occuring in this non-flat setting may lead to the failure of the dispersive estimate. For example, [25] showed that the Schrödinger propagator e it∆g failed to satisfy such a dispersive estimate at any pair of conjugate points (z, z ′ ) ∈ X × X (i.e. pairs (z, z ′ ) where a geodesic emanating from z has a conjugate point at z ′ ). Fortunately, we can localize the propagator to separate the conjugating points and write the propagator in a form of oscillatory integral by using a microlocalized spectral measure. The microlocalized spectral measure Q j (λ)dE √ −∆g (λ)Q j (λ) * constructed in [27] not only has a size estimate in but captures its oscillatory behavior, where Q j (λ) is a member of a partition of the identity operator in L 2 (X). In the stationary phase argument, the Klein-Gordon multiplier e it √ 1+λ 2 behaviors like wave at high frequency and Schrödinger at low frequency. We establish the dispersive estimate with norm O((1+|t−s|) −n/2 ) at low frequency and O((1+|t−s|) −(n−1+θ)/2 ) at high frequency. We finally show the Strichartz estimate from a frequency-localized Strichartz estimate by a square function estimate proved in [49]. The inhomogeneous Strichartz estimates follow from the homogeneous estimates and the Christ-Kiselev lemma.
Having the Strichartz estimate, we first consider the well-posedness and nonlinear scattering problem of the Cauchy problem on this setting In the case of flat Euclidean space, there are many results on the understanding of the global existence and scattering. We refer the readers to [33,43] and references therein. We here are mostly interested in the range of exponents p ∈ [p conf , 1 + 4 n−2 ] and the initial data is in H sc (X) × H sc−1 (X), where p conf = 1 + 4 n and s c = n 2 − 2 p−1 . The critical power 1 + 4/n, which is different from wave equation's 1 + 4 n−1 in [49], is related to the dispersive estimate decay rate and it appears in the theorem because of the fact that NLKG is conformally invariant only if F (u) = u 1+4/n ; see [39]. The other power 1 + 4/(n − 2) is related to the energy-critical index.
Our first main result is about the well-posedness and nonlinear scattering with smallest regularity.
Furthermore if (u 0 , u 1 ) ∈ H 1 (X) × L 2 (X) and p ∈ [p conf , 1 + 4 n−2 ), there exists a global solution to (1.8) with minus sign in the nonlinearity. Remark 1.4. On local well posedenss and small scattering with the minimal regularity result, we have to restrict ourself with p ∈ [1 + 4 n−1 , 1 + 4 n−2 ], that is, s c 1/2 and we can extend the similar result to p ∈ [p conf , 1 We next specially consider the well-posedness of the following Yang-Mills-type equations on this setting with dimension n = 3.
The derivative Du is measured relative to the metric structure, more precisely, D is a first order scattering differential operator. If dropping the linear term u, this equation has the same scaling as cubic NLW, but is more difficult technically because of the derivative term uDu. In the Euclidean space, this Yang-Mills-type wave equation was proved to be local well-posedness when s > 1 in [38] and was showed to be ill-posedness when s 1 in [32].
This paper is organized as follows. In Section 2 we review the background of scattering manifold, the results of the microlocalized spectral measure for the Laplacian and the square function inequalities on this setting. Section 3 is devoted to the proofs of the microlocalized dispersive estimates and L 2 -estimates. In Section 4, we prove the homogeneous and inhomogeneous Strichartz estimates. Finally, we apply the Strichartz estimates to show Theorem 1.3 and Theorem 1.5.

Some analysis tools on scattering manifold
In this section, we briefly recall the key elements of the microlocalized spectral measure and a fundamental Littlewood-Paley squarefunction estimate. The first one was constructed by Hassell-Zhang [27] to capture both its size and the oscillatory behavior. The second one was proved in [49].
2.1. Geometry setting. Let us recall the manifold with scattering metric introduced by Melrose [35]. There is many work to analyze the Laplacian operator on the scattering manifold, that is, asymptotically conic geometric setting; see [20,21,25,23,27]. Let (X, g) be a complete noncompact Riemannian manifold of dimension n 2 with one end, diffeomorphic to (0, ∞) × Y where Y is a smooth compact connected manifold without boundary. Moreover, we assume (X, g) is scattering manifold which means that X allows a compactification X with boundary, with ∂X = Y , such that the metric g becomes an asymptotically conic metric on X. In details, the metric g in a collar neighborhood [0, ǫ) x × ∂X near Y takes the form of where x ∈ C ∞ (X) is a boundary defining function for ∂X and h is a smooth family of metrics on Y . Here we use y = (y 1 , · · · , y n−1 ) for local coordinates on Y = ∂M , and the local coordinates (x, y) on X near ∂X. Away from ∂X, we use z = (z 1 , · · · , z n ) to denote the local coordinates. If h jk (x, y) = h jk (y) is independent of x, we say X is perfectly conic near infinity. Moreover if every geodesic z(s) in X reaches Y as s → ±∞, we say X is nontrapping. The function r := 1/x near x = 0 can be thought of as a "radial" variable near infinity and y can be regarded as the n − 1 "angular" variables; the metric is asymptotic to the exact conic metric ((0, ∞) r × Y, dr 2 + r 2 h(0)) as r → ∞. The Euclidean space X = R n is an example of an asymptotically conic manifold with Y = S n−1 and the standard metric.
2.2. The Laplacian on scattering manifold. Our setting is on the scattering manifold, we turn to the concepts of "scattering geometry". For a full discussion of scattering geometry, we refer the reader to Melrose [35]. The space of sc-vector fields is defined as is the Lie algebra of all smooth vector fields on XX which are tangent to the boundary. The sc-vector field also forms a Lie algebra. These sc-vector field can be realized as the sections of a vector bundle sc T X, called the sc-tangent bundle. That means V sc (X) = C ∞ (X; sc T X), i.e. V sc (X) is a space of sections of sc T X the sc-tangent bundle over X. Using above notation in which x is the boundary defining function of X and y are coordinates in ∂X, we have V sc (X) = V, i.e. all C ∞ -vector fields, in the interior X; span{x 2 ∂ x , x∂ y 1 · · · , x∂ y n−1 }, near the boundary ∂X.
We denote by Diff * sc (X) the 'enveloping algebra' of V sc (X), meaning the ring of differential operator on C ∞ (X) generated by V sc (X) and C ∞ (X). In particular, near the boundary ∂X, the k-order scattering differential operator is given by If α ∈ R, the α b-density bundle, denoted by sc Ω α , is defined by In particular α = 1/2, it is convenient to regard such operators as acting on sc-half densities, that is, multiples of a half-density taking the form dx . Correspondingly, the Schwartz kernels of such operators can be written as a distribution tensored with a scattering half density in each of the left and right variables.
Define sc T * X, the scattering cotangent bundle over X, to be the dual vector bundle to sc T X. Locally near the boundary, in the coordinate (x, y), we have Thus for any α ∈ sc T * X can be written and this gives a linear coordinates (τ, µ) ∈ R × R n−1 on each fiber of sc T * X. Thus this also gives a linear coordinates (x, y; τ, µ) on sc T * X near the boundary ∂X. On the other hand, if (ξ, η) is the dual cotangent variables to (x, y), then We say (τ, µ) as rescaled cotangent variables. Hence this space of operators can be microlocalized by introducing scattering pseudodifferential operators which are formally objects given by b(x, y, x 2 ∂ x , x∂ y ) with b(x, y, τ, µ) a Kohn-Nirenberg symbol on the bundle sc T * X.
In the above coordinates, the Laplacian can be written where |g| is the determinant of the metric g jk . To compare with the Euclidean space near the boundary, we write the metric near the boundary in the form dr 2 +r 2 h(x, y, dy, r −2 dr) with respect to the local coordinates r = 1/x and y. Then the metric components satisfy whereh is the induced metric on the boundary. Note that the cross term, with j = 0 and k = 0 or j = 0 and k = 0 vanish as x 3 when expressed in terms of x∂ x and ∂ y (the components in V b ). Hence near the boundary we write where Diff 2 b is the second order differential b-operator. In this sense, the Laplacian on this setting is a sc-differential operator. To see more results about its resolvent and calculus, we refer to [26,34].
2.3. The microlocalized spectral measure. In the free Euclidean space, the Klein-Gordon propagator can be written in an explicit formula by using the Fourier transform, but in our setting it turns out to be quite complicated. From the results of [20,24], we have known that the Schwartz kernel of the spectral measure can be described as a Legendrian distribution on the compactification of the space X × X uniformly with respect to the spectral parameter λ. As pointed out in introduction, we really need to choose an operator partition of unity to microlocalize the spectral measure such that the spectral measure can be expressed in a formula capturing not only the size also the oscillatory behavior. This was constructed and proved in [27]. For convenience, we recall it here.
with N independent of λ, such that for each 1 j N we can write with estimates Here d(·, ·) is the Riemannian distance on X.
From this proposition, we can exploit the oscillations both in the multiplier e i(t−s) and in e ±iλd(z,z ′ ) to obtain the required dispersive estimate for the T T * version of the microlocalized propagator.
2.4. The Littlewood-Paley squarefunction estimate. In [49], we showed the Gaussian upper bounds on the heat kernel by using the local-in-time heat kernel bounds in Cheng-Li-Yau [12], and Guillarmou-Hassell-Sikora's [21] The result about the Littlewood-Paley squarefunction estimate reads as follows: Proposition 2.2. Let (X, g) be a scattering manifold, trapping or not, and H = −∆ g is the Laplace-Beltrami operator on (X, g). Then for 1 < p < ∞, there exist constants c p and C p depending on p such that One important application of the traditional Littlewood-Paley theory is the proof of Leibniz (=product) and chain rules for differential operators of non-integer order. For example, if 1 < p, p j < ∞ with j = 1, · · · 4 and s > 0, then For a textbook presentation of these theorems and original references, see [46]. The Leibniz chain rules is a basic tool in the proof of well-posedness. Since we have heat kernel estimate with Gaussian upper bounds and the Littlewood-Paley squarefunction estimate, the Leibniz chain rules can be obtained by similar argument in Euclidean space and it also was proved in [14,Theorem 27]. We record here be the inhomogeneous Sobolev space over X. Then we have for 0 s 1

L 2 -estimates and dispersive estimates
In this section, we prove the L 2 -estimates for U j,k (t) and dispersive estimates for U j,k (t)U * j,k (s) where U j,k (t) is a micro-localized Klein-Gordon propagator. The L 2estimate is showed by the spectral theory on Hilbert space. The conjugate points are separated in the microlocalized propagators, and hence we can prove the T T * version dispersive estimates. Since the abstract Klein-Gordon propagator U (t) = e it √ 1−∆g behaviors likely the Schrödinger at low frequency and likes the wave at high frequency, we need to establish dispersive estimate by using different arguments at different frequency.
3.1. Microlocalized propagator. We start by dividing the Klein-Gordon propagator into a low-energy piece and a high-energy piece. Using the dyadic partition of unity 1 = k∈Z φ(2 −k λ) we further define Further using scattering psedodifferential operator partition of identity operator in Proposition 2.1, we define We divide the microlocalized Klein-Gordon propagator into low frequency and high frequency 3.2. L 2 -estimate for U j,k (t). In this subsection we show this definition is well-defined and prove U j,k (t) is a bounded operator on L 2 (X). Essentially this has been proved in [49,Proposition 3.2]. For convenience, we sketch it here. Indeed it suffices to show the above integrals are well defined over any compact interval in (0, ∞). Let . Then A(λ) is a family of bounded operators on L 2 (X), compactly supported in [2 k−1 , 2 k+1 ] and C 1 in λ ∈ (0, ∞). Integrating by parts, the integral of Hence the operators U j,k (t) are well-defined by using the following lemma which is the consequence of [27, Lemma 2.3, Lemma 3.1].
Since U j,k L 2 →L 2 C is equivalent to U j,k U * j,k L 2 →L 2 C, we compute by [27, Lemma 5.3], We observe that this is independent of t and we also note that the integrand is a bounded operator on L 2 , with an operator bound of the form C/λ where C is uniform, as we see from Lemma 3.1 and the support property of φ. The integral is therefore uniformly bounded, as we are integrating over a dyadic interval in λ. Hence we have shown that Proposition 3.2 (L 2 -estimates). Let U j,k (t) be defined in (3.2). Then there exists a constant C independent of t, z, z ′ such that U j,k (t) L 2 →L 2 C for all j 1, k ∈ Z.
Since there is no difference between e itλ 2 and e it  . Then there exists a constant C independent of t, z, z ′ such that U low j (t) L 2 →L 2 C for all j 1. 3.3. Dispersive estimates. In this subsection, we use stationary phase argument and Proposition 2.1 to establish the microlocalized dispersive estimates. Before doing this, we prove a fundamental result on decay estimate. Proposition 3.4 (Microlocalized dispersive estimates for low frequency). Let Q j (λ) be in Proposition 2.1. Then for all integers j 1, the kernel estimate holds for a constant C independent of points z, z ′ ∈ X.
Proof. The key things in the proof are to use the property of spectral measure in Proposition 2.1 and stationary phase argument. When |t| 1, it is easy to show it due to the compact support of φ 0 . From now on, we only need to consider the case t ≫ 1 by symmetry. Let r = d(z, z ′ ) andr = rt − 1 2 . In this case, we write the kernel using where a ± satisfies estimates ∂ α λ a ± (λ, z, z ′ ) C α λ −α (1 + λd(z, z ′ )) − n−1 2 , and therefore First, we show the contribution of the above term with b(λ, z, z ′ ). We can use the estimate (2.7) to obtain Let δ be a small constant to be chosen later. Recall that we We use integration by parts N times to obtain, using (3.9) Now we consider first term in RHS of (3.7). We divide it into two pieces using the partition of unity above. It suffices to prove that there exists a constant C independent ofr such that The estimate for I ± is obvious, since λ 1. For II + , we use integration by parts. Notice that Note that if 0 < λ < √ t, we have for k 0 by induction and integrating by parts, we gain a factor of λ −2N thanks to (3.16) and (3.11). Thus II + can be estimated by To treat II − , we introduce a further decomposition, based on the size ofrλ. We write II − = II − 1 + II − 2 , where (dropping the − superscripts and subscripts from here on) Let Φ(λ,r) = √ t 2 + tλ 2 −rλ. We first consider II 1 . Since the integral for II 1 is supported where λ (8r) −1 and λ 1/2, the integrand is only nonzero whenr 1/4.
By (3.16) and using integration by parts, we obtain for N > n/2 Finally we consider II 2 . Here, we replace the decomposition m φ(2 −m λ) with a different decomposition, based on the size of ∂ λ Φ.
Ifr 10, note λ < √ t again, then for the integrand of II 1 2 to be nonzero we must have λ 100, due to the second φ 0 factor in II 1 2 . Then it is easy to see that II 1 2 is uniformly bounded. Ifr 10, by | tλ √ t 2 +tλ 2 −r| 1 and λ < √ t, we haver ∼ λ. Hence, using (3.16) with α = 0, Now we consider the second term. We write then we have the rough estimate, due to the support of b |∂ α λ b| C α λ n−1 (1 +rλ) −(n−1)/2 . Hence we obtain Therefore we obtain by using integrating by parts and (3.16) Ifr 2 m+1 , then λ 2 m+2 on the support of the integrand.
Ifr 2 m+1 , we have λ ∼r, thus which is summable for N > 1. Therefore we have completed the proof of Proposition 3.4.
Proposition 3.5 (Microlocalized dispersive estimates for high frequency). Let Q j (λ) be in Proposition 2.1. Then for all integers j 1 and k 0, the kernel estimate holds for 0 θ 1 and a constant C independent of k and points z, z ′ ∈ X.
Proof. Let h = 2 −k 1. The key to the proof is to use the estimates in Proposition 2.1. If |t| h, it is easy to see (3.13) due to From now on, we only consider |t| h = 2 −k . By the scaling, this is a directly consequence of (3.14) Indeed if we have done this, we have for 0 θ 1 where a ± satisfies estimates ∂ α λ a ± (λ, z, z ′ ) C α λ −α (1 + λd(z, z ′ )) − n−1 2 , and therefore Consider the terms with the 'b' term, then we can use the estimate (2.7) to obtain Let δ be a small constant to be chosen later.
We use integration by parts N times to obtain, using (3.9), Choosing δ = (|t|/h) − 1 2 and noting |t| h, we have thus proved Next we consider the terms with a ± . Without loss of generality, we consider t ≫ h. Let Φ ± (λ, h, r, t) = √ h 2 + λ 2 ± λr t , it suffices to show there exists a constant C independent of r, t and h such that If r < t/4 or r > 2t, a simpler computation gives It is not difficult to use the Leibniz rule to prove Lemma 3.6. Let L = ( it h ∂ λ Φ) −1 ∂ λ and let L * be its adjoint operator. Suppose that b(λ) satisfies |∂ α λ b(λ)| λ n−1−|α| . Then we have for any N 0 By integrating by parts and using this lemma, we obtain for r < t 4 or r > 2t |I ± h (t, r)| C(|t|/h) −N , ∀N 0 (3.22) which implies (3.19) since t h. Therefore we only need consider the case t ∼ r. A rought estimate gives by using the same stationary phase argument again, we obtain To estimate I − h (t, r), we need the following Van der Corput lemma, see [42] Lemma 3.7 (Van der Corput). Let φ be real-valued and smooth in (a, b), and that |φ (k) (x)| 1 for all x ∈ (a, b). Then holds when (i) k 2 or (ii)k = 1 and φ ′ (x) is monotonic. Here c k is a constant depending only on k.
It is easy to check for h 1 and λ ∼ 1 By using the Van der Corput lemma with λ = th, we show (3.26) This together with (3.23), we prove (3.19).
As two consequences of Proposition 3.4 and Proposition 3.5 respectively, we immediately have Proposition 3.8. Let U low j (t) be defined in (3.3). Then there exists a constant C independent of t, z, z ′ for all j 1, such that Proposition 3.9. Let U j,k (t) be defined in (3.2). Then there exists a constant C independent of t, z, z ′ for all j 1, k ∈ Z + such that

Strichartz estimates
In this section, we show the Strichartz estimates in Theorem 1.1. To obtain the Strichartz estimates for high frequency, we need a variant of Keel-Tao's abstract Strichartz estimate.

Semiclassical Strichartz estimates.
We recall a variety of the abstract Keel-Tao's Strichartz estimates theorem proved in [49], which is an analogue of the semiclassical Strichartz estimates for Schrödinger in [31,48].
Proposition 4.1. Let (X, M, µ) be a σ-finite measured space and U : R → B(L 2 (X, M, µ)) be a weakly measurable map satisfying, for some constants C, α 0, σ, h > 0, Then for every pair q, r ∈ [1, ∞] such that (q, r, σ) = (2, ∞, 1) and there exists a constantC only depending on C, σ, q and r such that Then the frequency localized solutions {u m } m∈Z solves the family of Cauchy problems Notice that we can write By the squarefunction estimates (2.9) and Minkowski's inequality, we obtain for q, r 2 To prove the homogeneous estimates in Theorem 1.1, that is F = 0, we need where the K-G admissible pair (q, r) ∈ [2, ∞] 2 and s satisfy (1.6) and (1.7).

Wellposedness and small nonlinear scattering
In this section, we prove Theorem 1.3 and Theorem 1.5. We prove the results by a contraction mapping argument. The key point is the application of Strichartz estimates. where F (u) = ±|u| p−1 u. We claim the map Φ : Y → Y is contracting. We first note that the Sobolev embedding L q 0 t H α r 0 ֒→ L q 0 t,z where r 0 = ( α n + 1 q 0 ) −1 . Since p 1 + 4/(n − 1), thus s c 1/2. On the other hand, it is easy to check that the pairs (q 0 , r 0 ), (q 1 , q 1 ) satisfy (1.6) and (1.7) with s = 1/2 and θ = 0. By Theorem 1.1, we obtain u hom Ct(H sc )∩L q 0 (R;L q 0 (X))∩L q 1 (R;H α q 1 (X)) C u 0 H sc + u 1 H sc −1 . for T = ∞ if the initial data has small norm ǫ(p), or, if not, this inequality will be satisfied for some T > 0 by the dominated convergence theorem. Applying Theorem 1.1 withq ′ =r ′ = 2(n+1) n+3 , one has u inh Ct(H sc )∩L q 0 ([0,T ];L q 0 (X))∩L q 1 ([0,T ];H α q 1 (X)) C F (u) Lq Therefore the solution map Φ is a contraction map on Y under the metric d(u 1 , u 2 ) = u 1 − u 2 L q 1 ([0,T ];H α q 1 (X))∩L q 0 ([0,T ];L q 0 (X)) . The standard contraction argument proves the first part of Theorem 1.3. Noting that the above argument needs the condition p ∈ [1 + 4 n−1 , 1 + 4 n−2 ] in (5.2). If (u 0 , u 1 ) ∈ H 1 (X) × L 2 (X), we extend the local wellposedness for p ∈ [p conf , 1 + 4 n−2 ]. By energy conservation law, we obtain the global existence for large data and finish the final part of Theorem 1.3.  The standard contraction argument on Y completes the proof of Theorem 1.5.