Asymptotic Analysis 1 (16) 1 39 1 DOI 1.333/ASY-161384 IOS Press Scattering for NLS with a potential on the line David Lafontaine Laboratoire de Mathématiques J.A. Dieudonné, UMR CNRS 7351, Université de Nice Sophia Antipolis, 618 Nice Cedex, France E-mail: david.lafontaine@unice.fr Abstract. We show the H 1 scattering for a one dimensional nonlinear Schrödinger equation with a non-negative, repulsive potential V such that V,xV W 1,1, and a mass-supercritical non-linearity. We follow the approach of concentrationcompacity/rigidity first introduced by Kenig and Merle. Keywords: nonlinear Schrödinger equation, scattering, potential perturbation 1. Introduction We consider the following one dimensional defocusing, non linear Schrödinger equation with a potential i t u + u Vu= u u α, u() = ϕ H 1 (R). (1.1) If V L 1, + V is essentially self-adjoint, so by Stones theorem the equation is globally well posed in L (R) and e it( +V) is an L -isometry. Goldberg and Schlag obtained in [7] the dispersive estimate e it( +V) ψ L 1 ψ t 1 L 1 under the assumption that V belongs to L 1 1 (R), i.e. V(x) (1 + x )dx <, andthat + V has no resonance at zero energy. In particular, we will consider a non-negative potential, which always verifies this no-resonance hypothesis as we will see in Section. This estimate gives us usual Strichartz estimates described below in the paper. Because of the energy conservation law E ( u(t) ) := 1 u(t) + V u(t) + 1 u(t) α+ = E ( u() ) α + the L -well-posedness result extends to the global well-posedness of the problem (1.1) inh 1 (R): for every ϕ H 1 (R), there exists a unique, global solution u C(R,H 1 (R)) of (1.1). Finally, let us recall that the mass M(u(t)) := u(t) is conserved too. 91-7134/16/$35. 16 IOS Press and the authors. All rights reserved
D. Lafontaine / Scattering for NLS with a potential on the line For the mass-supercritical (α >4) homogeneous equation i t u + u = u u α, u() = ϕ H 1 (R) (1.) it is well known since Nakanishi s paper [1] that the solutions scatter in H 1 (R), that is, for every solution u C(R,H 1 (R)) of (1.), there exists a unique couple of data ψ ± H 1 (R) such that u(t) e it ψ H ±. 1 (R) t ± Alternative proofs of this result can be found in [,5,13]and[14]. We prove the scattering of solutions of (1.1) in dimension one for sufficiently regular, non-negative and repulsive potential V. Theorem 1. Let α > 4 and V L 1 1 (R) be such that V L 1 1 (R). We suppose moreover that V is non-negative and repulsive: V and xv. Then, every solution u C(R,H 1 (R)) of (1.1) with potential V scatters in H 1 (R). We use the strategy of concentration-compacity/rigidity first introduced by Kenig and Merle in [11], and extented to the intercritical case by Holmer and Roudenko in [8], Duyckaerts, Holmer and Roudenko in [3]. In the case of a potential, the main difficulty is the lack of translation invariance of the equation. Notice that Hong obtained in [9] the same result in the three dimensional case for the focusing equation. However, his approach cannot be extended to lower dimensions, as it requires endpoint Strichartz estimates which are not available. Banica and Visciglia treated in [1] the case of the non linear Schrödinger equation with a Dirac potential on the line, and we follow their approach. The Dirac potential is more singular, but it allows the use of explicit formulas that are not available in the present more general framework. Remark 1. In dimension one or two, assume that V is smooth and compactly supported, and such that V <. Then the operator + V has a negative eigenvalue: as a consequence, the hypothesis of positivity of V cannot be relaxed as in dimension three, where [9] only supposes that the potential has a small negative part, and, in the same way, the hypothesis of repulsivity, which is needed for the rigidity, cannot be relaxed to xv having a small positive part. Remark. The hypothesis V,V L 1 are needed to show that the operator A = + V verifies the hypothesis of the abstract profile decomposition of [1], whereas the hypothesis xv L 1 and xv are needed in the rigidity part. Remark 3. The same proof holds in dimension two up to the numerology and some changes in the Hölder inequalities used in Propositions 6, 7,and8 to deal with the fact that H 1 (R ) is not embedded in L (R ). Remark 4. In the focusing, mass-supercritical case i t u + u Vu+ u u α = the same arguments could be used to prove the scattering up to the natural threshold given by the ground state associated to the equation, in the spirit of [5].
D. Lafontaine / Scattering for NLS with a potential on the line 3 1.1. Notations We will denote by V a potential on the line satisfying the hypothesis of Theorem 1, α will be a real number such that α>4. We set H 1 = H 1 (R), C ( H 1) = C ( R,H 1 (R) ), L p L r = L p( R,L r (R) ), L p (I)L r = L p( I,L r (R) ) for any interval I of R. We will denote by τ y the translation operator defined by τ y u = u( y). Finally, we will use A B for inequalities of the type A CB where C is a universal constant.. Preliminaries From now on, we will fix the four following Strichartz exponents r = α +, q =.1. Strichartz estimates α(α + ) α(α + ), p =, γ = α α α 4 α + 4 α. Recall that we assume all along the paper that V is in L 1 1 (R) and non negative. Goldberg and Schlag obtained in particular in [7] the dispersive estimate for the Schrödinger operator + V under these assumptions. Indeed, they require the hypothesis of absence of resonances at zero energy. We claim that for V this hypothesis is satisfied: by the definition of [7], if there is a resonance at zero, the solutions u ± of u = Vu (.1) such that u ± (x) 1asx ± have a null Wronskian. Therefore u ± are proportional, so they are both non trivial bounded solutions of (.1). But such solutions cannot exist: indeed, if u is such a solution, integrating (.1) one deduces that u has limits at ±. These limits are both zero otherwise u is not bounded. Now, multiplying (.1) by u, integrating it on [ R,R], and letting R going to infinity, we obtain R u + V u =. Therefore u =, a contradiction. Proposition 1 (Dispersive estimate [7]). Let V L 1 1 (R) be such that V. Then, for all ψ L1 (R), we have e it( +V) ψ L 1 ψ t 1 L 1. (.) Note that, interpolating the previous dispersive estimate (.) with the mass conservation law, we obtain immediately for all a [, ] e it( +V) ψ L a 1 ψ t 1 ( 1 a a 1 ) La. (.3)
4 D. Lafontaine / Scattering for NLS with a potential on the line Because of (.), we obtain by the classical TT method (see for example [1]) the Strichartz estimates e it( +V) ϕ t L q 1 L r 1 + e i(t s)( +V) F(s)ds ϕ L + F q L q L r L (.4) 3 L r 3 for all pairs (q i,r i ) satisfying the admissibility condition in dimension one, that is q i + 1 r i = 1. We will need moreover the following Strichartz estimates associated to non admissible pairs: Proposition (Strichartz estimates). For all ϕ H 1,allF L q L r,allg L q L r and all H L γ L 1 e it( +V) ϕ L ϕ p L r H 1 (.5) e it( +V) ϕ L ϕ α L H 1 (.6) t e i(t s)( +V) F(s)ds F L q Lr (.7) L α L t e i(t s)( +V) G(s) ds G L q Lr (.8) L p L r t e i(t s)( +V) H(s)ds H L γ L1. (.9) L p L r Proof. The estimates (.5) (.8) are exactly the same as (3.1) (3.4) of [14], with the operator + V instead of H q. As the proof of [14] relies only on the admissible Strichartz estimates (.4) that are given by Proposition 1, the same proof holds here. Finally, (.9) enters on the frame of the non-admissible inhomogeneous Strichartz estimates of Theorem 1.4 of Foschi s paper [6]... Perturbative results We will need the three following classical perturbative results, which follow immediately from the previous Strichartz inequalities: Proposition 3. Let u C(H 1 ) be a solution of (1.1). If u L p L r,thenu scatters in H 1. Proposition 4. There exists ɛ >, such that, for every data ϕ H 1 such that ϕ H 1 ɛ,the corresponding maximal solutions of (1.1) and (1.) both scatter in H 1. Proof of Propositions 3 and 4. The proof is the same as for Propositions 3.1 and 3. of [1], using the Strichartz estimates of our Proposition instead of their estimates (3.1), (3.), (3.3), (3.4).
D. Lafontaine / Scattering for NLS with a potential on the line 5 Proposition 5. For every M > there exists ɛ>and C>such that the following occurs. Let v C(H 1 ) L p L r be a solution of the following integral equation with source term e(t, x) t v(t) = e it( V) ϕ i e i(t s)( V)( v(s) v(s) α) ds + e(t) with v L p L r <Mand e L p L r <ɛ. Assume moreover that ϕ H 1 is such that e it( V) ϕ L p L r <ɛ. Then, the solution u C(H 1 ) to (1.1) with initial condition ϕ + ϕ satisfies u L p L r, u v L p L r <C. Proof. It is the same as for Proposition 4.7 in [5], using Strichartz estimates (.8) instead of Strichartztype inequality (4.3) of their paper. 3. Profile decomposition The aim of this section is to show that we can use the abstract profile decomposition obtained by [1], and inspired by [4]: Theorem (Astract profile decomposition [1]). Let A : L D(A) L be a self adjoint operator such that: for some positive constants c, C and for all u D(A), c u H 1 (Au, u) + u L C u H 1, (3.1) let B : D(A) D(A) (u, v) (Au, v) + (u, v) L (u, v) H 1 C. Then, as n goes to infinity B(τ xn ψ, τ xn h n ) ψ H 1 (3.) as soon as x n ±, sup h n H 1 < or x n x R, h n H 1, let (t n ) n 1, (x n ) n 1 be sequences of real numbers, and t, x R.Then t n = e it na τ xn ψ L p, <p<, ψ H 1, (3.3) t n t,x n ± = ψ H 1, ϕ H 1, τ xn e it na τ xn ψ H 1 ϕ, (3.4) t n t,x n x = ψ H 1, e it na τ xn ψ H 1 e i ta τ x ψ. (3.5)
6 D. Lafontaine / Scattering for NLS with a potential on the line And let (u n ) n 1 be a bounded sequence in H 1. Then, up to a subsequence, the following decomposition holds where u n = J e itn j A τ j xn ψ j + Rn J J N, j=1 t n j R, xn j R, ψ j H 1 are such that for any fixed j, t n j = x n j = n, or t j n n, or xj n ± (3.6) ±, (3.7) orthogonality of the parameters: t j n t k n + x j n xn k, j k, (3.8) decay of the reminder: ɛ >, J N, lim supe ita Rn J L ɛ, (3.9) L orthogonality of the Hilbert norm: u n L = u n H = J j=1 ψ j L + R J n L + o n (1), J N (3.1) J τ j xn ψ j H + Rn J + o H n(1), J N (3.11) j=1 where (u, v) H = (Au, v), and u n p L p = J e itj na τ j xn ψ j p + L R J p p n + o L p n (1), <p<, J N. (3.1) j=1 We will see that the self-adjoint operator A := +V verifies the hypothesis of the previous theorem. Proposition 6. Let A := + V.ThenA satisfies the assumptions (3.1), (3.), (3.3), (3.4), (3.5).
D. Lafontaine / Scattering for NLS with a potential on the line 7 Proof. Assumption (3.1). Because V is positive and by the Sobolev embedding H 1 (R) L, u H (Au, u) + u 1 L = u + V u + u ( ) 1 + V L 1 u H 1 and (3.1) holds. Assumption (3.). We have B(τ xn ψ, τ xn h n ) = Vτ xn ψτ xn h n. If x n x R, h n, then τ xn ψ τ x ψ strongly in L and Vτ xn h n weakly in L (indeed, H 1 note that V W 1,1 (R) L ), so B(τ xn ψ, τ xn h n ). Now, let us assume that x n ± and sup h n H 1 <. For example assume that x n +. ψ H 1 (R) and therefore decays at infinity: ɛ>been fixed, we can choose Λ>large enough so that sup ψ(x) ɛ. x Λ Because V L 1, Λ can also be chosen large enough so that V ɛ. x Λ Then, by the Cauchy Schwarz inequality, and because of the Sobolev embedding H 1 (R) L B(τ xn ψ, τ xn h n ) h n L Vτ xn ψ ( sup h j H 1 Vψ( xn ) + Vψ( xn ) ). j 1 x x n Λ x x n Λ Now, let n be large enough so that for all n n, x n Λ. Then, for all n n x x n Λ x Λ and, for all n n B(τxn ψ, τ xn h n ) ( ) M ɛ V L 1 + ɛ ψ L so (3.) holds. Assumption (3.3). It is an immediate consequence of the dispersive estimate and the translation invariance of the L p norms. Indeed, because H 1 (R) = H 1 (R), ifɛ>, there exists a C, compactly supported function ψ such that ψ ψ H 1 ɛ. (3.13)
8 D. Lafontaine / Scattering for NLS with a potential on the line But ψ L p, so by the dispersive estimate (.3) e it na τ xn ψ L p 1 t n 1 ( 1 p 1 p ) τ x n ψ L p = 1 t n 1 ( 1 p 1 p ) ψ L p as n. Therefore, for n big enough e itna τ xn ψ L p ɛ. To achieve the proof, note that e ita f verifies e ita f H 1 f H 1. (3.14) (3.15) Indeed, as V is positive and in L 1, by the Sobolev embedding H 1 (R) L we get f L ( + V) 1 f = L u + V u f H 1. So, as e ita commute with ( + V) 1 andisanisometryonl, e ita f H 1 e ita f L + ( + V) 1 e ita f L = e ita f L + e ita ( + V) 1 f L = f L + ( + V) 1 f L f H 1. Now, because of the Sobolev embedding H 1 L p we obtain using (3.13), (3.14) and(3.15), for n big enough e itna τ xn ψ L p e itna τ xn (ψ ψ) L p + e itna τ xn ψ L p e it na τ xn (ψ ψ) H 1 + e it na τ xn ψ L p ψ ψ H 1 + e it na τ xn ψ L p ɛ which achieves the proof of (3.3). Assumption (3.4). We will show that t n t, x n ± τ xn e it n( +V) τ xn ψ e i t ψ H 1 and hence (3.4) will hold with ϕ = e i t ψ.asτ xn is an H 1 isometry and commute with e i t,itis sufficient to show that, if t n t and x n ±,wehave e it n( +V) τ xn ψ e i t τ xn ψ H 1.
D. Lafontaine / Scattering for NLS with a potential on the line 9 For example, if x n +. Let us first remark that, as τ xn commutes with e i t and e itn,isanh 1 isometry, and because e it ψ C(H 1 ) e i t τ xn ψ e itn τ xn ψ H 1 = e i t ψ e itn ψ H 1. Hence, decomposing e itn( +V) τ xn ψ e i t τ xn ψ = ( e itn( +V) τ xn ψ e itn τ xn ψ ) + ( e itn τ xn ψ e i t τ xn ψ ) we see that it is sufficient to show that e it n ( +V) τ xn ψ e itn τ xn ψ H 1. (3.16) Note that e it τ xn ψ e it( +V) τ xn ψ is a solution of the following linear Schrödinger equation with zero initial data i t u u + Vu= Ve it τ xn ψ. Therefore, by the inhomogenous Strichartz estimates, as (4, ) is admissible in dimension one, and because the translation operator commutes with e it,wehavefornlarge enough so that t n (, t + 1) e itn( +V) τ xn ψ e itn τ xn ψ L e it( +V) τ xn ψ e it τ xn ψ L (, t+1)l Ve it τ xn ψ L 4 3 (, t+1)l 1 = (τ xn V)e it ψ L 4 3 (, t+1)l 1 ( t + 1) 3 4 (τ xn V)e it ψ L. (, t+1)l 1 Hence, estimating in the same manner the gradient of these quantities, it is sufficient to obtain (3.16) to show that, as n goes to infinity (τ xn V)e it ψ L. (3.17) (, t+1)w 1,1 Let us fix ɛ>. e it ψ C([, t + 1],H 1 ) and the functions of H 1 (R) vanish at infinity, so, using the compacity in time, there exists Λ>suchthat e it ψ L ɛ. (, t+1)l ( x Λ) On the other hand, as V L 1, Λ can also be taken large enough so that V(x) dx ɛ. x Λ
3 D. Lafontaine / Scattering for NLS with a potential on the line Let n be large enough so that for all n n, x n Λ. Then, for n n x + x n Λ x Λ and for all t (, t + 1) and all n n we obtain (τ xn V)e it ψ L 1 = V( +x n )e it ψ + x+x n Λ ɛ e it ψ L (, t+1)l + ɛ V L 1 C( t,ψ,v)ɛ x+x n Λ V( +x n )e it ψ thus (τ xn V)e it ψ L (, t+1)l 1. With the same argument, because V L 1, we can show that (τ xn V) e it ψ L (, t+1)l1. To obtain (3.17), it only remain to show that τ xn V ( e it ψ ) L. (, t+1)l 1 To this purpose, let ψ be a C, compactly supported function such that (recall that we are in dimension one) ψ ψ H 1 ɛ. We have, by the Cauchy Schwarz inequality τ xn V ( e it ψ ) L 1 τ xn V ( e it ψ ) L 1 + τ xn V ( e it (ψ ψ) ) L 1 τ xn V ( e it ψ ) L 1 + V L ( e it (ψ ψ) ) L τ xn V ( e it ψ ) L 1 + ɛ V L, where V L because of the Sobolev embedding W 1,1 (R) L (R). Then, as (e it ψ) H 1, τ xn V(e it ψ) L (, t+1)l 1 can be estimated as (τ x n V)e it ψ L (, t+1)l1,so(3.17) holds and the proof of (3.4) is completed. Assumption (3.5). We decompose e it na τ xn ψ e i ta τ x ψ = ( e it na τ xn ψ e it na τ x ψ ) + ( e it na τ x ψ e i ta τ x ψ ). On the one hand, using the estimate (3.15) e it na τ xn ψ e it na τ x ψ H 1 τ xn ψ τ x ψ H 1 by the Lebesgue s dominated convergence theorem. On the other hand, e it n A τ x ψ e i ta τ x ψ H 1 because e i A τ x ψ C(H 1 ), and the last assumption is verified.
D. Lafontaine / Scattering for NLS with a potential on the line 31 4. Non linear profiles In this section, we will see that for a data which escapes to infinity, the solutions of (1.1)and(1.)are the same, in the sense given by the three following Propositions. Propositions 7, 8 and 9 are the analogous of Propositions 3.4 and 3.6 of [1]. The non linear Schrödinger equation with a Dirac potential is more singular, but it allows the use of explicit formulas that are not available in the present more general framework. Proposition 7. Let ψ H 1, (x n ) n 1 R N be such that x n. Then, up to a subsequence e it τ xn ψ e it( V) τ xn ψ L (4.1) p L r as n. Proof. Up to a subsequence, we can assume that x n + or x n. Let us assume for example x n +. As a first step, we will show that supe it( +V) τ xn ψ L (4.) n N p (T, )L r as T.Pickɛ>. There exists a C, compactly supported function ψ such that ψ ψ H 1 ɛ. By Strichartz estimates e it( +V) (τ xn ψ τ xn ψ) L τ p L r xn ψ τ xn ψ H 1 = ψ ψ H 1 ɛ. On the other hand, as τ xn ψ L r the dispersive estimate (.3) givesus e it( +V) τ xn ψ L r 1 t τ 1 ( 1 r 1 r ) x n ψ L r = 1 t ψ 1 (1 r ) L r but p (1 r ) = α α+4 > 1andt 1 t 1 (1 r ) supe it( +V) τ xn ψ L ɛ. n N p ( t T)L r L q (1, ). So, there exists T> such that Taking τ xn ψ = τ xn ψ + (τ xn ψ τ xn ψ), we then obtain for T>large enough supe it( +V) τ xn ψ L ɛ n N p ( t T)L r and (4.) holds.
3 D. Lafontaine / Scattering for NLS with a potential on the line To obtain (4.1), we are now reduced to show that for T>fixed e it τ xn ψ e it( +V) τ xn ψ L p (,T )L r as n.letɛ>. e it τ xn ψ e it( +V) τ xn ψ is a solution of the following linear Schrödinger equation with zero initial data i t u u + Vu= Ve it τ xn ψ. So, by the inhomogenous Strichartz estimate (.9) e it τ xn ψ e it( +V) τ xn ψ p L t (,T )L Ve it τ r xn ψ L γ t (,T )L 1 T 1 γ Ve it τ xn ψ L (,T )L 1 = T 1 γ (τ xn V)e it ψ L (,T )L 1 because the translation operator τ xn commutes with the propagator e it.but (τ xn V)e it ψ L (,T )L 1 as seen in the proof of Proposition 6, point (3.4). Proposition 8. Let ψ H 1, (x n ) n 1 R N be such that x n, U C(H 1 ) L p L r be the unique solution to (1.) with initial data ψ, and U n (t, x) := U(t,x x n ). Then, up to a subsequence t e i(t s) ( U n U n α) t (s) ds e i(t s)( V)( U n U n α) (s) ds (4.3) L p L r as n. Proof. We follow the same spirit of proof as for Proposition 7. We begin to show that t sup e i(t s)( V)( U n U n α) (s) ds (4.4) L p ([T, ))L r n N as T goes to infinity. We decompose t e i(t s)( V)( U n U n α) (s) ds L p ([T, ))L r T t + e i(t s)( V)( U n U n α) (s) ds T e i(t s)( V)( U n U n α) (s) ds L p ([T, ))L r L p ([T, ))L r
D. Lafontaine / Scattering for NLS with a potential on the line 33 where, by the inhomogenous Strichartz estimates t e i(t s)( V)( U n U n α) (s) ds U n U n α L q = U U α ([T, )L r ) L q ([T, )L r ) L p ([T, )L r ) T and, by the Hölder inequality U U α L q ([T, )L r U α+1 ) L p ([T, )L r ) T independently of n. On the other hand, by the dispersive estimate (.3) T e i(t s)( V)( U n U n α) (s) ds L p [T, )L r T ( e i(t s)( V) U n U n α) (s) L r ds T T = R L p ([T, )) (t s) 1 (1 r ) ( U n U n α) (s) L r ds L p ([T, )) (t s) 1 (1 r ) ( U U α) (s) L r ds L p ([T, )) t s 1 (1 r ) ( U U α) (s) L r ds L p ([T, )) as T goes to infinity. Indeed, note that by the Hardy Littlewood Sobolev inequality t s 1 (1 ) r ( U U α) (s) L L r ds U U α L q L r U α+1 L p L r < p R so (4.4) holds. The same estimate is obviously valid for the propagator e it. It remains to show that for T>fixed, t e i(t s) ( U n U n α) t ds e i(t s)( V)( U n U n α) ds L p (,T )L r as n. The difference t e i(t s) ( U n U n α) ds t e i(t s)( V)( U n U n α) ds is the solution of the following linear Schrödinger equation, with zero initial data i t u u + Vu= V t e i(t s) ( U n U n α) ds.
34 D. Lafontaine / Scattering for NLS with a potential on the line As a consequence, by the Strichartz estimate (.9) t e i(t s) ( U n U n α) t ds e i(t s)( V)( U n U n α) ds t V e i(t s) ( U n U n α) ds L γ (,T )L 1 T 1 t γ (τ xn V) e i(t s) ( U U α) ds. L (,T )L 1 L p (,T )L r But t e i(t s) (U U α )ds C([,T],H 1 ) and the functions of H 1 (R) vanish at infinity, so there exists Λ>such that t e i(t s) ( U U α) ds ɛ L (,T )L ( x Λ) so (τ x n V) t e i(t s) ( U U α) ds L (,T )L 1 in the same way as in the proof of Proposition 6, point (3.4). Proposition 9. Let ψ H 1, (x n ) n 1, (t n ) n 1 R N be such that x n and t n ±, U be a solution to (1.) such that U(t) e it ψ H 1 t ± and U n (t, x) := U(t t n,x x n ). Then, up to a subsequence e i(t tn) τ xn ψ e i(t tn)( V) τ xn ψ L (4.5) p L r and t e i(t s) ( U n U n α) t ds e i(t s)( V)( U n U n α) ds (4.6) L p L r as n. Proof. The proof is the same as for Proposition 7 and Proposition 8, decomposing the time interval in { t t n >T} and its complementary. Finally, we will need the following Proposition of non linear scattering:
D. Lafontaine / Scattering for NLS with a potential on the line 35 Proposition 1. Let ϕ H 1. Then there exists W ± C(H 1 ) L p R ± L r, solution of (1.1) such that W± (t, ) e it( V) ϕ H 1 moreover, if t n and (4.7) t ± ϕ n = e it n( V) ϕ, W ±,n (t) = W ± (t t n ) (4.8) then t W ±,n (t) = e it( V) ϕ n + e i(t s)( V)( W ±,n W ±,n α) (s) ds + f ±,n (t) (4.9) where f ±,n L p R ± Lr. (4.1) Proof. The same proof as [1], Proposition 3.5, holds, as it involves only the analogous Strichartz estimates. 5. Construction of a critical element We have now all the tools to extract a critical element following the approach of [5]. Let E c = sup { E> ϕ H 1,E(ϕ)<E the solution of (1.1) with data ϕ is in L p L r}. We will suppose that the critical energy E c is finite, and deduce the existence of a solution of (1.1) with a relatively compact flow in H 1. Proposition 11. If E c <, then there exists ϕ c H 1, ϕ c, such that the corresponding solution u c of (1.1) verifies that {u c (t), t } is relatively compact in H 1. Proof. Because of Proposition 4, E c >. Therefore, if E c <, there exists a sequence ϕ n of non-zero elements of H 1, such that, if we denote by u n C(H 1 ) the corresponding solution of (1.1), we have and E(ϕ n ) E c u n / L q L r. Thanks to the Proposition 6, we can apply the abstract profile decomposition of [1] totheh 1 -bounded sequence ϕ n and the operator A = + V. Up to a subsequence, ϕ n writes, for all J N: ϕ n = J e itn j ( +V) τ x n j ψ j + Rn J, j=1
36 D. Lafontaine / Scattering for NLS with a potential on the line where t n j, xn j, ψ j, R J n verifies (3.6) (3.1). From (3.11) and(3.1), we have E c lim sup J E ( e itn j ( +V) ) τ x n j ψ j. j=1 We show that there is exactly one non trivial profile, that is J = 1. By contradiction, assume that J>1. To each profile ψ j we associate family of non linear profiles (U j,n ) n.letj {1,...,J}. Wearein exactly one of the following situations: (1) If (tj n,xn j ) = (, ). By the orthogonality condition, notice that this can happen only for one profile. Because J > 1, we have E(ψ j )<E c, so the solution of (1.1) with data ψ j scatters. If this case happens, let N C(H 1 ) L p L r be this solution, otherwise, we set N =. () If tj n = and xn j.letu j C(H 1 ) L p L r be the unique solution to (1.) with initial data ψ j.wesetu n,j (x, t) := U(x xj n,t). (3) If xj n = andt j n ±. By Proposition 1, there exists U j C R± (H 1 ) L p R ± L r a solution to (1.1) such that U j (t) e it( V) ψ j H 1 t ± and verifying (4.7), (4.8), (4.9), (4.1). We have E(U j ) = lim E( e itn j ( +V) τ x n j ψ j ) <Ec so U j L q L r.wesetu j,n (t, x) := U j (t t n j,x). (4) If x n j and t n j ±.LetU j C(H 1 ) L p L r be a solution to (1.) such that U j (t) e it ψ j H 1. t ± We set U j,n (t, x) := U j (t tj n,x xn j ). Now, let Z n,j := N + j U n,j. By the results of the non linear profiles section Propositions 7 and 8 in situation (), Proposition 9 in situation (3) and Proposition 1 in situation (4), we have t Z n,j = e it( V) (ϕ n R n,j ) + + j t e i(t s)( V)( N N α) (s) ds e i(t s)( V)( U j,n U j,n α) (s) ds + r n,j (5.1)
D. Lafontaine / Scattering for NLS with a potential on the line 37 with r n,j L p L r as n. The decomposition (5.1) is the same as obtained in the proof of Proposition 4.1 of [1], and we therefore obtain the critical element following their proof, using our perturbative result of Proposition 5 instead of their Proposition 3.3, and the Strichartz inequalities of our Proposition instead of estimates (3.1), (3.), (3.3), (3.4) of their paper. 6. Rigidity In this section, we will show that the critical solution constructed in the previous one assuming the fact that E c < cannot exist. We will need the following classical result concerning the compact families of H 1 Proposition 1. Suppose that {u(t), t } is relatively compact in H 1. Then, for any ɛ >, there exists R>such that ( sup u(t, x) + u(t, x) + u(t, x) α+ ) dx ɛ. t x R Proof. Classic, see e.g. [5]. Now, we can show the rigidity Proposition needed to end the proof: Proposition 13. Suppose that u C(H 1 ) is a solution of (1.1) such that {u(t), t } is relatively compact in H 1.Thenu =. Proof. By a classical elementary computation, we get the following virial identities: Lemma 1. Let u C(H 1 ) be a solution to (1.1) and χ be a compactly supported, regular function. Then t χ u = Im χ u ū (6.1) t χ u = 4 χ u + α α + χ u α+ χ V u χ (4) u. (6.) Now, we assume by contradiction that u. Let χ Cc χ(x) = for x, set χ R := R χ( R ) and z R (t) = χ R u(t) be such that χ(x) = x for x 1and
38 D. Lafontaine / Scattering for NLS with a potential on the line we have, by (6.1), the Cauchy Schwarz inequality and the conservation of energy z R (t) χ R u ū CE(u) 1 M(u) 1 R. (6.3) Moreover, by (6.) z R (t) = 4 8 χ R x R u + α χ R α + u α+ χ R V u χ (4) R u u + 4α ( u α+ C u + u α+ + u ) α + x R x >R χ R V u χ (4) u (6.4) but, because of conservation of the mass χ (4) u C u() L R (6.5) and, because V is repulsive (i.e. xv ), using the Cauchy Schwarz inequality, the Sobolev injection H 1 L and the conservation laws χ R V u = xv u + χ R V u C x R x >R x >R xv u C xv L 1 ( x >R) u L C xv L 1 ( x >R) u H 1 C ( u() ) xv L 1 ( x >R). (6.6) Let R be large enough so that u α+ 1 u α+ := δ. (6.7) x R We have δ>because we suppose that u is non zero. For R R, we obtain combining (6.4) with (6.5), (6.6), and (6.7) z R (δ (t) C ( u + u α+ + u ) 1 u() L x >R R ) xv L. (6.8) 1 ( x >R) Because xv L 1 and using the compacity hypothesis combined with Proposition 1, there exists R R large enough so that ( u + u α+ + u ) 1 + u() R L + xv δ L 1 ( x >R) x >R
D. Lafontaine / Scattering for NLS with a potential on the line 39 then, (6.8) gives z R Cδ (t) >. Integrating this last inequality contradicts (6.3) ast. We are now in position to end the proof of Theorem 1: Proof of Theorem 1. If E c <, then the Proposition 11 allows us to extract a critical element ϕ c H 1, ϕ c, such that the corresponding solution u c of (1.1) verifies that {u c (t), t } is relatively compact in H 1. By Proposition 13, such a critical solution cannot exist, so E c = and by Proposition 3, all the solutions of (1.1) scatter in H 1. Acknowledgements The author thanks N. Visciglia for having submitted him this problem, enlighting discussions and his warm welcome in Pisa, J. Zheng for his helpfull comments, his Ph.D. advisor F. Planchon for his disponibility and advices, and the referee for his careful reading and his constructive criticism. References [1] V. Banica and N. Visciglia, Scattering for NLS with a delta potential, J. Differential Equations 6(5) (16), 441 4439. doi:1.116/j.jde.15.11.16. [] J. Colliander, M. Grillakis and N. Tzirakis, Tensor products and correlation estimates with applications to nonlinear Schrödinger equations, Comm. Pure Appl. Math. 6(7) (9), 9 968. doi:1.1/cpa.78. [3] T. Duyckaerts, J. Holmer and S. Roudenko, Scattering for the non-radial 3D cubic nonlinear Schrödinger equation, Math. Res. Lett. 15(6) (8), 133 15. doi:1.431/mrl.8.v15.n6.a13. [4] L. Fanelli and N. Visciglia, The lack of compactness in the Sobolev Strichartz inequalities, J. Math. Pures Appl. (9) 99(3) (13), 39 3. doi:1.116/j.matpur.1.6.15. [5] D. Fang, J. Xie and T. Cazenave, Scattering for the focusing energy-subcritical nonlinear Schrödinger equation, Sci. China Math. 54(1) (11), 37 6. doi:1.17/s1145-11-483-9. [6] D. Foschi, Inhomogeneous Strichartz estimates, J. Hyperbolic Differ. Equ. (1) (5), 1 4. doi:1.114/ S1989165361. [7] M. Goldberg and W. Schlag, Dispersive estimates for Schrödinger operators in dimensions one and three, Comm. Math. Phys. 51(1) (4), 157 178. doi:1.17/s-4-114-5. [8] J. Holmer and S. Roudenko, A sharp condition for scattering of the radial 3D cubic nonlinear Schrödinger equation, Comm. Math. Phys. 8() (8), 435 467. doi:1.17/s-8-59-y. [9] Y. Hong, Scattering for a nonlinear Schrödinger equation with a potential, Commun. Pure Appl. Anal. 15 (16), 1571 161, doi:1.3934/cpaa.163. [1] M. Keel and T. Tao, Endpoint Strichartz estimates, Amer.J.Math.1(5) (1998), 955 98, available at: http://muse.jhu. edu/journals/american_journal_of_mathematics/v1/1.5keel.pdf. doi:1.1353/ajm.1998.39. [11] C.E. Kenig and F. Merle, Global well-posedness, scattering and blow-up for the energy-critical, focusing, non-linear Schrödinger equation in the radial case, Invent. Math. 166(3) (6), 645 675. doi:1.17/s-6-11-4. [1] K. Nakanishi, Energy scattering for nonlinear Klein Gordon and Schrödinger equations in spatial dimensions 1 and, J. Funct. Anal. 169(1) (1999), 1 5. doi:1.16/jfan.1999.353. [13] F. Planchon and L. Vega, Bilinear virial identities and applications, Ann. Sci. Éc. Norm. Supér. (4) 4() (9), 61 9. [14] N. Visciglia, On the decay of solutions to a class of defocusing NLS, Math. Res. Lett. 16(5) (9), 919 96. doi:1.431/ MRL.9.v16.n5.a14.