SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI Abstract. We investigate existence and asymptotic completeness of the wave operators for nonlinear Schrödinger equations with a defocusing exponential nonlinearity in two space dimensions. A certain threshold is defined based on the value of the conserved Hamiltonian, below which the exponential potential energy is dominated by the kinetic energy via a Trudinger-Moser type inequality. We prove that if the Hamiltonian is below to the critical value, then the solution approaches a free Schrödinger solution at the time infinity.. Introduction We study the scattering theory in the energy space for nonlinear Schrödinger equation (NLS): { i u + u = f(u), u : R + C, (.) u(0, x) = u 0 (x) H (R ), where the nonlinearity f : C C is defined by ) (.) f(u) = (e 4π u 4π u u. Solutions of (.) satisfy the conservation of mass and Hamiltonian (.3) M(u, t) := u dx, R ( ) (.4) H(u, t) := u + F (u) dx. Also we define (.5) E(u, t) := H(u, t) + M(u, t). R Date: August 8, 0. 000 Mathematics Subject Classification. 35L70, 35Q55, 35B40, 35B33, 37K05, 37L50. Key words and phrases. Nonlinear Schrödinger equation, scattering theory, Sobolev critical exponent, Trudinger-Moser inequality. S. Ibrahim is partially supported by NSERC# 37637-009 grant and a start up fund from the University of Victoria. M. Majdoub is grateful to the Laboratory of PDE and Applications at the Faculty of Sciences of Tunis. N. Masmoudi is partially supported by an NSF Grant DMS-070345.
S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI The exponential type nonlinearities appear in several applications, as for example the self trapped beams in plasma. (See [3]). From the mathematical point of view, Cazenave in [4] considered the Schrödinger equation with decreasing exponential and showed the global well-posedness and scattering. With increasing exponentials, the situation is much more complicated (since there is no a priori L control of the nonlinear term). The two dimensional case is particularly interesting because of its relation to the critical Sobolev (or Trudinger-Moser) embedding. On the other hand, we have subtracted the cubic part from our nonlinearity f in order to avoid another critical exponent related to the decay property of solutions. To explain these issues, we start with a brief review of the more familiar power case... The energy critical NLS. Recall the monomial defocusing semilinear Schrödinger equation in space dimension d (.6) i u + u = u p u, u : R +d C, which has the critical exponents p = d+ (only for d 3) and p d = + 4. d For the energy subcritical case (p < p ), an iteration of the local-in-time wellposedness result using the a priori upper bound on u(t) H implied by the conservation laws establishes global well-posedness for (.6) in H. Those solutions scatter when p > p [0, 5]. The energy critical case (p = p ) was actually harder than the nonlinear Klein- Gordon equation, for which the finite propagation property was crucial to exclude possible concentration of energy, whereas there is no upper bound on the propagation speed for the Schrödinger. Nevertheless, based on new ideas such as induction on the energy size and frequency split propagation estimates, Bourgain [3] proved the global well-posedness and the scattering for radially symmetric data, and it was extended to the general case by [8] using a new interaction Morawetz inequality. For the exponential nonlinearity in two spatial dimensions, small data global wellposedness together with the scattering was worked out by Nakamura-Ozawa in [4]. Later on, the size of the initial data for which one has local existence was quantified for (.) in [9], and a notion of criticality was proposed: Definition.. The Cauchy problem (.) is said to be subcritical if H(u 0 ) <, critical if H(u 0 ) = and supercritical if H(u 0 ) >. Indeed, one can construct a unique local solution if u 0 L <, and the time of existence depends only on η := u 0 L and u 0 L. Hence the maximal local solutions are indeed global in the subcritical case. The critical case is more delicate due to the possible concentration of the Hamiltonian. The following result is proved in [9]. Theorem. (Global well-posedness [9]). Assume that H(u 0 ), then the problem (.) has a unique global solution u in the class C(R, H (R )). Moreover, u L 4 loc (R, C/ (R )) and satisfies the conservation laws (.3) and (.4).
SCATTERING FOR THE TWO-DIMENSIONAL NLS... 3 Recall that C / (R ) denotes the space of /-Hölder continuous functions... Main result. The main goal in this paper is to show that every global solution of (.) with H(u) approaches solutions to the associated free equation (.7) i v + v = 0, in the energy space H as t ±. Unfortunately, we have not succeeded to handle the critical case H(u) = and we have to restrict ourselves to the subcritical one. The reason is that to trace the concentration radius, as defined in [], the finite speed of propagation of energy is essential in our argument for NLKG, which is not available for NLS. The main ingredient for the subcritical NLS is a new interaction Morawetz estimate, proved independently by Colliander et al. and Planchon-Vega [7, 6]. This estimate gives a priori global bound of u in L 4 t (L 8 x). Hence, by complex interpolation we deduce that some of the Strichartz norms used in the nonlinear estimate go to zero for large time and the scattering in the subcritical case follows. More precisely, we have Theorem.3. For any global solution u of (.) in H satisfying H(u) <, we have u L 4 (R, C / ) and there exist unique free solutions u ± of (.7) such that Moreover, the maps (u u ± )(t) H 0 u(0) u ± (0) (t ± ). are homeomorphisms between the unit balls in the nonlinear energy space and the free energy space, namely from {ϕ H ; H(ϕ) < } onto {ϕ H ; ϕ L < }. This paper is organized as follows. In Section, we recall some useful lemmas from the literature. Section is devoted to the proof of our main result (Theorem.3). In Section 4, we show the optimality of our nonlinear estimate with respect to the H norm.. Background Material In this section, we introduce some notation and recall several lemmas we use to prove the main result. First, recall the sharp Trudinger-Moser inequality on R [, 7]. It is the limit case of the Sobolev embedding. For any µ > 0 we have (.) sup ϕ Hµ (e 4π ϕ )dx <, where H µ is defined by the norm u H µ := u L +µ u L. We can change µ > 0 just by scaling ϕ(x) ϕ(x/µ). It is known that the H (R ) functions are not generally in L. The following lemma shows that we can estimate the L norm by a stronger norm but with a weaker growth (namely logarithmic).
4 S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI Lemma. (Logarithmic inequality [], Theorem.3). Let 0 < α <. For any real number λ >, a constant C πα λ exists such that for any function ϕ H0 C α ( x < ), one has ( ϕ L λ ϕ L log C λ + ϕ ) C (.) α. ϕ L We also recall the whole space version of the above inequality. Lemma. ([], Theorem.3). Let 0 < α <. For any λ > and any πα 0 < µ, a constant C λ > 0 exists such that, for any function u H (R ) C α (R ) (.3) u L λ u H µ log ( C λ + 8α µ α u C α u Hµ Finally, we recall the Strichartz estimate for the free Schrödinger equation. (See [5]). Proposition.3. Let I R be a time slab, t 0 I and (q, r), ( q, r) two admissible Strichartz couples, i.e., r, β < and q + r = α + β =. There exists a positive constant C such that if u := u(t, x) a solution in C(I, H (R )) of the linear problem then (.4) u L q (I,W,r ) C i u + u = G(t, x), u(t 0 ) H (R ), ). ( ) u(t 0 ) H + G L q (I,W, r ). In particular, note that (q, r) = (4, 4) is an admissible Strichartz couple and W,4 (R ) C / (R ). 3. Proof of Theorem.3 For a time slab I R, we define S (I) via By the Strichartz estimates we have (3.) u S (I) = u L (I,H x) + u L 4 (I,W,4 ). u S u(0) H + (i u + u) L +η η (Lx ) for any 0 < η /. The scattering result Theorem.3 is easily proved by the following two lemmas: First we have the Strichartz-type estimate on the nonlinearity Here p stands for the Lebesgue conjugate exponent of p, that is p + p =.,
SCATTERING FOR THE TWO-DIMENSIONAL NLS... 5 Lemma 3.. For any H (0, ), there exists δ (0, ), such that for any time slab I, any T I and any H solution u of (.) with H(u) H, we have u S (I) u(t ) H + u 4δ L 4 (I,L 8 ) u 5 4δ S (I), Next we have a global a priori bound. It was proved independently by Planchon- Vega [6] and Colliander et al. [7] Lemma 3.. Let u be a global solution of (.) in H. Then u L 4 (R,L 8 ) u 3/4 L (R;L ) u /4 L (R;L ) M(u)3/8 H(u) /8. Actually both of them gave a priori bound on some Sobolev norm on u. The above is a consequence of it via the Sobolev embedding. By the above global bound, we can decompose R into a finite number of intervals on which the u L 4 L8 norm is sufficiently small. Then the first lemma gives a uniform bound on u S on each interval, and hence by summing it up for all intervals, we obtain a priori bound (3.) and thereby the scattering for u. u S (R R ) C(E(u)) <, Proof of Lemma 3.. It suffices to estimate the nonlinear term in some dual Strichartz norm as in (3.). Choose 0 < δ < and λ > 0 such that (3.3) K := H + <, π( + δ)λk =, λ > π( δ). We estimate only f(u), since the same estimate on f(u) is easier. Note that In the case u L x (3.4) f(u) f(u) u u (e 4π u ). K, we have by the Hölder inequality, δ Lx u L δ u L 4 δ e 4π u / δ L e 4π u /+δ L. The third term on the right is bounded by the Trudinger-Moser (.). For the last term we use the H µ version of the logarithmic inequality (.3) with µ := min(, ( H)/M) > 0. Since u H µ = u L + µ u L H + µ M H + <, that term is bounded by (3.5) e 4π(/+δ) u L ( + u C / δ// u Hµ ) π(+δ) u Hµ u C, / δ/ where we used (3.3) as well as u C / δ/ u L K. The case u L K is easy, since then f(u) u u 4. Now we integrate in time using the Hölder to obtain f(u) L +δ (L δ ) u L δ (L δ ) u L δ (L 4 δ ) u L 4 δ (C / δ/ ).
6 S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI Finally, the complex interpolation and the Sobolev embedding imply that (3.6) u u δ L δ (L δ ) L L u δ L 4 L u 4 S, u L δ (L 4 δ ) u δ L L u δ L 4 L 8, u L 4 δ (C / δ/ ) u L 4 δ (H, 4 +δ ) u δ L H u δ L 4 H,4 u S. Plugging them into the above, we deduce the result as desired. 4. Criticality of the nonlinear estimate by the Strichartz norms We see that the linear energy and the Strichartz estimate are not sufficient to control the nonlinearity in the critical case. Proposition 4.. For any δ > 0, there exists a sequence of radial free Schrödinger solutions v N (N ) such that v N + v N dx <, H(v N, 0) + δ, (4.) R f(v N ) L p t Lq x( t N, x N ) C δ (log N) /, for any (p, q) [, ] satisfying /p + /q = 3/. The above norm on f(v N ) is the dual Strichartz norm in Hx for the linear Schrödinger equation. Similar result was shown for the critical Klein-Gordon equation []. Proof. We take the same initial data as in ([], Proposition 7.): π (4.) v N (0) = ξ e iξx dξ. log N (π) By the Plancherel theorem, (4.3) v N (0) L = v N (0) L = π log N π log N (π) (π) < ξ <e a N < ξ <e a N < ξ <e a N ξ dξ = log N a log N, ξ 4 dξ < log N. By the sharp Trudinger-Moser inequality (.), there exists M > 0 such that for any µ > 0 (4.4) sup ψ L +µ ψ L F (ψ)dx M/µ, where µ can be removed or inserted by rescaling. Then (4.3) implies that F (v N (0))dx M a R (4.5), v N + v N dx <, H(v N, 0) < + M a, so that we get the desired nonlinear energy bound on v N by choosing a M/δ.
SCATTERING FOR THE TWO-DIMENSIONAL NLS... 7 The free solution is given by π (4.6) v N (t, x) = ξ e it ξ +iξx dξ, log N (π) < ξ <e a N we have in the region where t ε N and x εn for some small fixed ε > 0 and large N N, log N (4.7) Rv N (t, x) π a + ε, e 4π v v N log N. π log N We have to estimate v. By the radial symmetry, it suffices to consider the case x = (x, 0) and v N = ( v N, 0). Then ξ v N = r v N +iξx log N ξ e it ξ dξ (4.8) = i N log N < ξ <e a N π e itρ cos θ sin(rρ cos θ)dθdρ, since 0 < tρ < ε and 0 < rρ cos θ < ε, we get (4.9) r v N N log N π rρdρ rn log N εn log N. Thus we conclude inf e4π v N v N v N L q t ε N x ( x εn ) N log N εn (εn ) /q, (4.0) log N f(v N ) L p t Lq x(t ε N, x εn ) ε /p+/q N 3 /q /p log N ε 3 log N. References [] S. Adachi and K. Tanaka, Trudinger type inequalities in R N and their best exponents, Proc. Amer. Math. Soc. 8 (000), no. 7, 05 057. [] J. Bourgain, Scattering in the energy space and below for 3D NLS, J. Anal. Math. 75 (998) 67 97. [3] J. Bourgain, Global wellposedness of defocusing critical nonlinear Schrödinger equation in the radial case, J. Amer. Math. Soc. (999), no., 45 7. [4] T. Cazenave, Equations de Schrödinger non linéaires en dimension deux. Proc. Roy. Soc. Edinburgh Sect. A 84 (979), no. 3-4, 37 346. [5] T. Cazenave: Semilinear Schrödinger equations, Courant Lecture Notes in Mathematics, 0. New York University, Courant Institute of Mathematical Sciences, AMS, 003. [6] T. Cazenave and F.B. Weissler, Critical nonlinear Schrödinger Equation, Non. Anal. TMA, 4 (990), 807 836. [7] J. Colliander, M. Grillakis and N. Tzirakis, Tensor products and correlation estimates with applications to nonlinear Schrödinger equations, Communications on pure and applied mathematics, 6 (009), 90 968. [8] J. Colliander, M. Keel, G. Staffilani, H. Takaoka and T. Tao, Global well-posedness and scattering in the energy space for the critical nonlinear Schrödinger equation in R 3, Annals of Math., 67 (008), 767 865.
8 S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI [9] J. Colliander, S. Ibrahim, M. Majdoub and N. Masmoudi, Energy critical NLS in two space dimension, Journal of Hyperbolic Differential Equations, 6 (009), 549 575. [0] J. Ginibre and G. Velo, Scattering theory in the energy space for a class of nonlinear Schrödinger equations, J. Math. Pures Appl. (9) 64 (985), no. 4, 363 40. [] S. Ibrahim, M. Majdoub and N. Masmoudi, Double logarithmic inequality with a sharp constant, Proc. Amer. Math. Soc. 35 (007), 87 97. [] S. Ibrahim, M. Majdoub, N. Masmoudi, K. Nakanishi, Scattering for the two-dimensional energy-critical wave equation, Duke Mathematical Journal, 50 (009), 87 39. [3] J. F. Lam, B. Lippman, and F. Tappert, Self trapped laser beams in plasma, Phys. Fluid 0 (977), 76-79. [4] M. Nakamura and T. Ozawa, Nonlinear Schrödinger equations in the Sobolev space of critical order, J. Funct. Anal. 55 (998), 364 380. [5] K. Nakanishi, Energy scattering for nonlinear Klein-Gordon and Schrödinger equations in spatial dimensions and, J. Funct. Anal. 69 (999), 0 5. [6] F. Planchon and L. Vega, Bilinear virial identities and applications, Ann. Sci. Ec. Norm. Super., 4 (009), 6 90. [7] B. Ruf, A sharp Trudinger-Moser type inequality for unbounded domains in R. J. Funct. Anal., 9 (005), 340 367. Department of Mathematics and Statistics,, University of Victoria, PO Box 3060 STN CSC, Victoria, BC, V8P 5C3, Canada E-mail address: ibrahim@math.uvic.ca URL: http://www.math.uvic.ca/~ibrahim/ Faculty of Sciences of Tunis, Department of Mathematics E-mail address: Mohamed.Majdoub@fst.rnu.tn New York University, The Courant Institute for Mathematical Sciences, E-mail address: masmoudi@courant.nyu.edu Department of Mathematics, Kyoto University E-mail address: n-kenji@math.kyoto-u.ac.jp