arxiv: v1 [math.ap] 28 Aug 2018

Transcription

1 Note on semiclassical states for the Schrödinger equation with nonautonomous nonlinearities Bartosz Bieganowski Nicolaus Copernicus University, Faculty of Mathematics and Computer Science, ul. Chopina 12/18, Toruń, Poland arxiv: v1 [math.ap] 28 Aug 2018 Jarosław Mederski Institute of Mathematics, Polish Academy of Sciences, ul. Śniadeckich 8, Warsaw, Poland, CRC 1173 Wavephenomena: Analysis and Numerics, Departement of Mathematics, Karlsruhe Institute of Technology (KIT), D Karlsruhe, Germany Abstract We consider the following Schrödinger equation ħ 2 u + V (x)u = Γ(x)f(u) in R N, u H 1 (R N ), u > 0, ħ > 0 and f is superlinear and subcritical nonlinear term. We show that if V attains local minimum and Γ attains global maximum at the same point or V attains global minimum and Γ attains local maximum at the same point, then there exists a positive solution for sufficiently small ħ > 0. Keywords: semiclassical limit, variational methods, bounded potential, nonautonomous nonlinearity 2010 MSC: 35Q55, 35A15, 35J20 1. Introduction We consider the following semilinear elliptic problem ħ 2 u + V (x)u = Γ(x)f(u) in R N, N 1, (1.1) u H 1 (R N ) and u > 0. Equation (1.1) describes the so-called standing waves of the nonlinear, time-dependent Schrödinger equation of the form iħ Ψ t = ħ2 Ψ + V (x)ψ h(x, Ψ). 2m Solutions of (1.1) for sufficiently small ħ > 0 are called semiclassical states. Recently many papers have been devoted to study semiclassical states, see eg. [1 5, 9, 10] and references therein and most of the concentrate on the case Γ = 1. Our aim is to show that the method introduced by del Pino and Felmer in [4] can be also applied to a general class of problems with nonautonomous nonlinearities. Moreover, contrary to [4], we do not need the Hölder continuity of the potential V, since we do not use the regularity of solutions to show e.g. Lemma 2.3 below. We impose the following condition on the potential V. (V) V L (R N ) is continuous and there is a constant α > 0 such that V (x) α for all x R N. We assume that f : R + R is of C 1 -class and satisfies the following conditions. (F1) f(u) = o(u) as u 0 +. f(u) (F2) lim u u = 0 for some 2 < p < 2, 2 = 2N p 1 N 2 for N 3 and 2 = + otherwise. f(s) ds. (F3) There is 2 < θ p such that 0 < θf (u) f(u)u for u > 0, F(u) := u 0 (F4) The function u f(u) u is nondecreasing. addresses: bartoszb@mat.umk.pl (Bartosz Bieganowski), jmederski@impan.pl (Jarosław Mederski) Preprint submitted to Elsevier August 29, 2018

2 Now Γ satisfies the following condition. (Γ) Γ L (R N ) is continuous and there is a constant β > 0 such that Γ(x) β > 0 for all x R N. We introduce the following relation between V and Γ. (Λ) Assume that there is a bounded, nonempty domain (i.e. open and connected set) Λ R N such that (Λ 1 ) Γ is Z N -periodic and there is x min Λ such that V (x min ) = inf V < min V and Γ(x min) = sup Γ Λ Λ or (Λ 2 ) V is Z N -periodic and there is x max Λ such that Γ(x max ) = sup Λ R N Γ > max Γ and V (x max) = inf V. Λ R N Remark 1.1. Without loss of generality we may assume that Γ = 1, k denotes the usual L k -norm with k 1 or k =. Indeed, see that Γ(x)f(u) = Γ(x) Γ Γ f(u). Taking ˆΓ(x) := Γ(x) Γ and ˆf(u) := Γ f(u) we see that all conditions are still satisfied and ˆΓ = 1. Hence in the rest of the paper we take Γ = 1. Our main result reads as follows. Theorem 1.2. Suppose that (V), (F1) (F4), (Γ) and (Λ) are satisfied. Then there is ħ 0 > 0 such that for any ħ (0,ħ 0 ) the problem (1.1) has a positive solution u H 1 (R N ) C(R N ) and there are constants C, α > 0 such that u(x) C exp( α x ). Define the energy functional J ħ : H R J ħ (u) := 1 ħ 2 u 2 + V (x)u 2 dx Γ(x)F(u) dx, H = H 1 (R N ). Note that for any fixed ħ > 0 the quadratic form H u Q ħ (u) := ħ 2 u 2 + V (x)u 2 dx R R N is positive definite. Hence for any ħ > 0, u Q ħ (u) is well-defined norm on H and equivalent to the classic one in H. Let θ be given by (F3) and fix k > > 1. In view of (F3) and (F4) there is a > 0 such θ θ 2 that f(a) a = α k. We define f(u) := { f(u) for u a, α has beed introduced in (V) and α k u for u > a, g(x, u) := χ Λ (x)γ(x)f(u) + (1 χ Λ (x))γ(x) f(u). In what follows we will consider f as a function f : R R satisfying (F1)-(F4) for on R + and defined as 0 for u 0. Then g : R N R R is a Carathéodory function. Moreover the following conditions hold. (G1) g(x, u) = o(u) for u 0 + uniformly in x R N. g(x,u) (G2) lim u u = 0 for some 2 < p < 2 uniformly in x R N. p 1 (G3) There is 2 < θ p such that 0 < θg(x, u) g(x, u)u for x Λ, u > 0 and 0 2G(x, u) g(x, u)u 1 k V (x)u2 for x Λ, u > 0. 2

3 (G4) The function u g(x,u) u is nondecreasing on (0, ) for all x R N. Moreover, if x R N \ Λ, the function u g(x,u) u is constant on [a, ). Indeed, (G1), (G2) and (G4) are obvious and we need to check (G3). For x Λ we have g(x, u) = Γ(x)f(u) and G(x, u) = Γ(x)F(u), so the statement follows from (F3). Fix x Λ. From (G4) we have G(x, u) = u Hence 0 2G(x, u) g(x, u)u. Moreover g(x, u)u = Γ(x) f(u)u = 0 g(x, s) g(x, u) s ds s u u 0 s ds = 1 g(x, u)u. 2 { Γ(x) f(u) u u2 Γ(x) α k u2, for u a, Γ(x) α k u2, for u > a. Thus g(x, u)u Γ(x) α k u2 1 k Γ(x)V (x)u2 1 k V (x)u2 and the proof of (G3) is completed. Let Φ ħ : H R be given by Φ ħ (u) := ħ2 u 2 dx + 1 V (x)u 2 dx G(x, u) dx. N From [4, Lemma 2.1] we obtain the following. Lemma 1.3. The functional Φ ħ possesses a positive critical point u ħ H such that Φ ħ (u ħ ) = c ħ, c ħ := inf sup Φ ħ (tu). u H\{0} Applying [8, Theorem 4.2] we see that u ħ is continuous and exponentially decays at infinity. Define 2. Case (Λ 1 ) t 0 m ħ := max Λ u ħ. (1.2) Put V 0 := min Λ V. Let w H be a least energy solution to w + V 0 w = Γ(x)f(w), in particular c := I 0 (w) = inf sup I 0 (tv), v H\{0} I 0 (v) = 1 v 2 + V 0 v 2 dx Γ(x)F(v) dx. Under (Λ 1 ) we have that Γ is Z N -periodic, hence the solution exists (see e.g. [8, 9]). Lemma 2.1. There holds Φ ħ (u ħ ) ħ N (c + o(1)) as ħ 0 +. Proof. Let x 0 Λ be such that V (x 0 ) = V 0. Let u(x) := w ( ) x x 0 ħ. Then Φħ (u ħ ) sup t>0 Φ ħ (tu) = Φ ħ (t 0 u) for some t 0 > 0. See that Φ ħ (t 0 u) = t2 0 ħ2 u 2 dx + t2 0 V (x)u 2 dx G(x, t 0 u) dx N R N R ( N ) = ħ N I 0 (t 0 w) + t2 0 [V (x 0 +ħx) V 0 ]w 2 dx + Γ(x)F(t 0 w) G(x 0 +ħx, t 0 w) dx. From the Lebesgue s dominated convergence theorem we have R [V (x N 0 + ħx) V 0 ]w 2 dx 0. Note that G(x, t 0 w) F(t 0 w). Again, from the Lebesgue s dominated convergence theorem the following convergence hold G(x 0 +ħx, t 0 w) dx Γ(x 0 )F(t 0 w) dx. Hence R Γ(x)F(t N 0 w) G(x 0 +ħx, t 0 w) dx R Γ(x)F(t N 0 w) Γ(x 0 )F(t 0 w) dx 0 and finally t 0 Φ ħ (t 0 u) ħ N (I 0 (t 0 w) + o(1)) ħ N (c + o(1)). 3

4 Lemma 2.2. There is C > 0 such that R N ħ 2 u ħ 2 + V (x) u ħ 2 dx Cħ N. Proof. Indeed, we have Φ ħ (u ħ)(u ħ ) = 0, i.e. R ħ 2 u N ħ 2 + V (x) u ħ 2 dx = R g(x, u N ħ )u ħ dx. On the other hand 1 ħ 2 u ħ 2 + V (x) u ħ 2 dx = Φ ħ (u ħ ) + G(x, u ħ ) dx ħ N (c + o(1)) + 1 g(x, u ħ )u ħ dx + 1 V (x) u ħ 2 dx θ Λ 2k R ( N 1 C 1 ħ N + θ + 1 ) ħ 2 u ħ 2 + V (x) u ħ 2 dx. 2k R N Hence ( θ 1 ) ħ 2 u ħ 2 + V (x) u ħ 2 dx C 1 ħ N. 2k R N Moreover θ 1 2k = ( 1 θ 2 2 θ k) 1 > 0 and the proof is finished. Lemma 2.3. If ħ n 0 + and (x n ) Λ are such that u ħn (x n ) b > 0, then lim n V (x n ) = V 0. Proof. Assume by contradiction, passing to a subsequence, that x n x Λ and V (x) > V 0. Put v n (x) := u ħn (x n +ħ n x). Obviously, v n H satisfies the equation v n + V (x n +ħ n x)v n = g(x n +ħ n x, v n ) in R N. From Lemma 2.2 it follows easily that (v n ) is bounded in H and therefore v n v in H for some v H. Take any ϕ C0 (RN ) and see that v n ϕ dx v ϕ dx. Moreover V (x n +ħ n x)v n ϕ dx V (x)vϕ dx. Functions χ n (x) := χ Λ (x n + ħ n x) are bounded in L t loc (RN ) for any 1 < t <, and therefore χ n χ in L t loc (RN ), 0 χ 1. Hence v H is a weak solution to v + V (x)v = g(x, v) in R N, g(x, u) = χ(x)γ(x)f(u) + (1 χ(x))γ(x) f(u). The associated energy functional is given by J (u) := 1 u 2 + V (x) u 2 dx G(x, u) dx for u H 1 (R N ) and G(x, u) := u 0 g(x, s) ds. Since v is a weak solution, we have J (v) = 0. Set J n (u) := 1 u 2 + V (x n +ħ n x) u 2 dx G(x n +ħ n x, u) dx for u H 1 (R N ) and obviously J n(v n ) = 0. See that Define J n (v n ) = J n (v n ) 1 2 J n(v n )(v n ) = 1 2 R N g(x n +ħ n x, v n )v n 2G(x n +ħ n x, v n ) dx. h n := g(x n +ħ n, v n )v n 2G(x n +ħ n, v n ). 4

5 In view of (G3) we have h n 0. Fix R > 0. In view of compact embedding we have v n v in L t (B(0, R)) for t [2, 2 ). Moreover χ n χ in any L t (B(0, R)). Then h n dx g(x, v)v 2G(x, v) dx B(0,R) B(0,R) Hence, for every δ > 0 there is R > 0 large enough such that 1 h n dx 1 h n dx 1 g(x, v)v 2G(x, v) dx N B(0,R) 2 B(0,R) 1 g(x, v)v 2G(x, v) dx δ = J (v) 1 J (v)(v) δ = J (v) δ. N Therefore lim inf n J n (v n ) J (v). On the other hand J n (v n ) = ħ N n Φ ħn (u ħn ) c+o(1). Hence J (v) c. Taking into account that f(u) f(u) we have J (v) = max τ 0 J (τv) inf u H 1 (R N ), u 0 τ>0 sup I(τu) =: c, I(u) := 1 u 2 + V (z)u 2 dx Γ(x)F(u) dx. On the other hand, taking into account that V (x) > V 0, there is c > c a contradiction. Lemma 2.4. There holds lim ħ 0 + m ħ = 0, m ħ is given by (1.2). Proof. Assume by contradiction that m ħ 0. Let x ħ Λ Λ be such that u ħ (x ħ ) = m ħ. Then, up to a subsequence we have u ħn (x ħn ) b > 0 and x ħn x 0 Λ. Hence, in view of Lemma 2.3 we gets which is a contradiction. 3. Case (Λ 2 ) min Λ V V (x 0) = V 0 = inf Λ V < min Λ V, Put Γ 0 := max Λ Γ. Let w H be a least energy solution to w + V (x)w = Γ 0 f(w), in particular c := I 0 (w) = inf sup I 0 (tv), v H\{0} I 0 (v) = 1 v 2 + V (x)v 2 dx Γ 0 F(v). Under (Λ 2 ) we have that V is Z N -periodic, hence the solution exists (see e.g. [8, 9]). Lemma 3.1. There holds Φ ħ (u ħ ) ħ N (c + o(1)) as ħ 0 +. Proof. Let x max Λ be such that Γ(x max ) = Γ 0. Let u(x) := w ( x x max ) ħ. Then Φħ (u ħ ) sup t>0 Φ ħ (tu) = Φ ħ (t 0 u) for some t 0 > 0. See that Φ ħ (t 0 u) = t2 0 ħ2 u 2 dx + t2 0 V (x)u 2 dx G(x, t 0 u) dx N R N R ( N ) = ħ N I 0 (t 0 w) + t2 0 [V (x max +ħx) V (x)]w 2 dx + Γ 0 F(t 0 w) G(x max +ħx, t 0 w) dx. From the Lebesgue s dominated convergence theorem we have [V (x max +ħx) V (x)]w 2 dx [V (x max ) V (x)]w 2 dx 0. Note that G(x, t 0 w) F(t 0 w). Again, from the Lebesgue s dominated convergence theorem the following convergence hold Γ 0 F(t 0 w) G(x max +ħx, t 0 w) dx Γ 0 F(t 0 w) Γ(x max )F(t 0 w) dx = 0. Finally Φ ħ (t 0 u) ħ N (I 0 (t 0 w) + o(1)) ħ N (c + o(1)). Now we can repeat the proof of Lemma 2.2, 2.3 and 2.4. t 0 5

6 4. Conclusion Proof of Theorem 1.2. Let u ħ be a positive critical point for Φ ħ. In view of Lemma 2.4 there is ħ 0 such that for any ħ (0,ħ 0 ) there holds m ħ < a. Therefore u ħ (x) < a for x Λ. Hence, in view of the maximum principle, we have u ħ (x) a for x Λ. Take (u ħ a) + := max{u ħ a, 0} as a test function for Φ ħ, i.e. we have Φ ħ (u ħ) ((u ħ a) + ) = 0. Thus we get ħ 2 (u ħ a) c(x)(u ħ a) c(x)a(u ħ a) + dx = 0, (4.1) R N \Λ c(x) = V (x) g(x,u ħ(x)). Moreover, for x R N \ Λ, taking into account that Γ = 1, we obtain g(x,u ħ (x)) u ħ (x) u ħ (x) α k. Therefore c(x) > 0 for x RN \ Λ. Hence all summands in (4.1) are zero. In particular (u ħ a) + = 0 and u ħ (x) a for x R N \ Λ. Hence g(x, u ħ (x)) = Γ(x)f(u ħ (x)) and u ħ is a solution of (1.1). Acknowledgements. Bartosz Bieganowski was partially supported by the National Science Centre, Poland (Grant No. 2017/25/N/ST1/00531). Jarosław Mederski was partially supported by the National Science Centre, Poland (Grant No. 2014/15/D/ST1/03638) and by the Deutsche Forschungsgemeinschaft (DFG) through CRC References References [1] J. Byeon, L. Jeanjean: Standing Waves for Nonlinear Schrödinger Equations with a General Nonlinearity, Arch. Rational Mech. Anal. 185 (2007), [2] J. Byeon, K. Tanaka: Semi-classical standing waves for nonlinear Schrödinger equations at structurally stable critical points of the potential, J. Eur. Math. Soc. 15 (2013), [3] P. d Avenia, A. Pomponio, D. Ruiz: Semiclassical states for the nonlinear Schrödinger equation on saddle points of the potential via variational methods, J. Funct. Anal. 262 (2012), [4] M. del Pino, P.L. Felmer: Local mountain passes for semilinear elliptic problems in unbounded domains, Calc. Var. 4 (1996), [5] M. del Pino, P.L. Felmer: Semi-classical States for Nonlinear Schroödinger Equations, Journal of Functional Analysis 149 (1997), [6] Y. Ding, C. Lee, F. Zhao: Semiclassical limits of ground state solutions to Schrödinger systems, Calc. Var. 51 (2014), [7] Y. Ding, J. Wei: Semiclassical states for nonlinear Schrödinger equations with sign-changing potentials, J. Funct. Anal. 251 (2007), [8] J. Mederski: Ground states of a system of nonlinear Schrödinger equations with periodic potentials, Comm. Partial Differential Equations 41 (2016), no. 9, [9] P. Rabinowitz: On a class of nonlinear Schrödinger equations, Z. Angew. Math. Phys. 43 (1992), [10] X. Wang: On Concentration of Positive Bound States of Nonlinear Schrödinger Equations, Commun. Math. Phys. 153 (1993),