Bound state solutions of sublinear Schrödinger equations with lack of compactness

We consider the following nonlinear Schrödinger equation − u + V (x)u = a(x) |u|q−1 u + f (x), x ∈ RN , where V is a non-symmetric bounded potential, a is an indefinite weight, 0 < q < 1 and f = 0 is a nonnegative perturbation such that f ∈ L2(RN ) ∩ L 2N N+2 (RN ). Using variational methods, we prove the existence of two solutions with negative and positive energies, one of these solutions being nonnegative.


Introduction
The Schrödinger equation is central in quantum mechanics and it plays the role of Newton's laws and conservation of energy in classical mechanics, that is, it predicts the future behaviour Bucharest, Romania of a dynamical system. It is striking to point out that talking about his celebrating equation, Erwin Schrödinger said: "I don't like it, and I'm sorry I ever had anything to do with it". The linear Schrödinger equation is a central tool of quantum mechanics, which provides a thorough description of a particle in a non-relativistic setting. Schrödinger's linear equation is where ψ is the Schrödinger wave function, m is the mass of the particle,h denotes Planck's renormalized constant, E is the energy, and V stands for the potential energy. Schrödinger also established the classical derivation of his equation, based upon the analogy between mechanics and optics, and closer to de Broglie's ideas. He developed a perturbation method, inspired by the work of Lord Rayleigh in acoustics, proved the equivalence between his wave mechanics and Heisenberg's matrix, and introduced the time dependent Schrödinger's equation In physical problems, a cubic nonlinearity corresponding to p = 3 in equation (1.1) is common; in this case problem (1.1) is called the Gross-Pitaevskii equation. In the study of equation (1.1), Floer and Weinstein [26] and Oh [36] supposed that the potential V is bounded and possesses a non-degenerate critical point at x = 0. More precisely, it is assumed that V belongs to the class (V a ) (for some real number a) introduced in Kato [31]. Taking γ > 0 andh > 0 sufficiently small and using a Lyapunov-Schmidt type reduction, Oh [36]  The change of variable y =h −1 x (and replacing y by x) yields where Let us also recall that in his 1928 pioneering paper, Gamow [27] proved the tunneling effect, which lead to the construction of the electronic microscope and the correct study of the alpha radioactivity. The notion of "solution" used by him was not explicitly mentioned in the paper but it is coherent with the notion of weak solution introduced several years later by other authors such as Leray, Sobolev and Schwartz. Most of the study developed by Gamow was concerned with the bound states ψ(x, t) defined in (1.2), where u solves the stationary equation for a given potential V (x). Gamow was particularly interested in the Coulomb potential but he also proposed to replace the resulting potential by a simple potential that keeps the main properties of the original one. In this way, if is a subdomain of R N , Gamow proposed to use the finite well potential It seems that the first reference dealing with the limit case, the so-called infinite well potential, was the book by the 1977 Nobel Prize Mott [35]. The more singular case in which V 0 is the Dirac mass δ 0 is related with the so-called Quantum Dots, see Joglekar [29]. In contrast with classical mechanics, in quantum mechanics the incertitude appears (the Heisenberg principle). For instance, for a free particle (i.e. with V (x) ≡ 0), in nonrelativistic quantum mechanics, if the wave function ψ(·, t) at time t = 0 vanishes outside some compact region then at an arbitrarily short time later the wave function is nonzero arbitrarily far away from the original region . Thus, the wave function instantaneously spreads to infinity and the probability of finding the particle arbitrarily far away from the initial region is nonzero for all t > 0. We refer to Díaz [25] for more details.

The main results
In this paper, we consider Schrödinger equations with sublinear nonlinearity and nonsymmetric potentials, which are affected by a nonnegative perturbation. We are interested in the multiplicity of solutions and we establish several sufficient conditions for the existence of two solutions.
We point out that sublinear problems on the whole space do not have necessarily a solution. In fact, the existence of solutions is in relationship not only with the nonlinearity but also with the behaviour of a certain potential. Brezis and Kamin [18] pointed out a striking phenomenon, which asserts that a sublinear problem on the whole space has a solution if and only if a linear equation depending only on the potential has a solution. They considered the nonlinear problem , ρ ≥ 0. Brezis and Kamin [18] proved that the nonlinear problem (2.1) has a bounded positive solution if and only if the linear equation has a bounded solution. Their analysis showed that such a solution exists for potentials like while no solution exists if Consider the following class of sublinear Schrödinger equations 2) arises in the study of solitary waves in nonlinear equations of the Klein-Gordon or Schrödinger type.
We look for the existence of two solutions for problem (2.2), where the potential V (x) and the weight a(x) are indefinite, that is, they are sign-changing functions in R N . Such problems, with indefinite linear and nonlinear terms, present challenging mathematical difficulties.
In 2008, using the Nehari manifold method, Chabrowski and Costa [21] proved the existence of two solutions of problem ( 2), see [3,5,17,19,28,30,32,34] and the references therein. In a pioneering paper, Ahmad, Lazer and Paul [3] considered the resonant problem where λ k denotes the kth eigenvalue of the Laplace operator. They proved that a sufficient condition for the existence of a solution is where G(x, s) = s 0 g(x, t)dt and E 0 = Ker (− − λ k ). Brown [19] proved the existence of two solutions of problem (2.2) when V = f = 0 and a(x) changes sign.
In the case of unbounded domains, many authors have studied the existence of solutions of problem (2.2) with superlinear subcritical nonlinearity (1 < q < 2 * = 2N N −2 ), see [1,2,4,33]. For instance, Li and Wu [33] treated problem (2.2) where f = μh, V = λ and a(x) ∈ (0, 1). The authors proved the existence of positive numbers > 0 and λ 0 , μ > 0 such that for any λ > λ 0 and μλ 2) admits multiple positive solutions. For the sublinear case and especially for the whole space R N , to our best knowledge, few results are known. We can for example quote the papers [5,[14][15][16]. For instance, Benrhouma [14] proved the existence of at least three solutions of problem (2.2), provided that a(x) < 0 and V changes sign. As far as we know, the only existence result for problem (2.2) where both a and V change sign in R N , is obtained by Tehrani [37]. He considered the equation under the following assumptions: Under these assumptions, by using bounded domain approximation techniques, Tehrani [37] proved the existence of at least one solution.
In this paper, we prove the existence of two solutions for problem (2.2), provided that both a(x) and V (x) change sign in R N . We consider two classes of assumptions on the indefinite non-symmetric potentials a(x) and V (x).
First class: We suppose that V satisfies (H 1 ) and the following hypotheses: has not a nontrivial solution.
We suppose that a satisfies: and there exist α, R 1 > 0 such that Second class: We assume that a and V satisfy (H 1 ), (H 3 ), N ± and the following conditions: The main results in this paper are the following.
then problem (2.2) has two solutions U 1 , U 2 ∈ E with I (U 1 ) < 0 and I (U 2 ) > 0. One of these solutions is nonnegative. (H 3 ) and N ± hold. Then there exists m 1 > 0 such that if One of these solutions is nonnegative. Remark 2.3 In fact, the assumptions are necessary only to guarantee that I (u) ≥ c > 0 on the sphere in Y (see Lemmas 3.3 and 3.4). Thus these hypotheses can be removed if there are other ways to get I (u) ≥ c > 0 on the sphere in Y .
We divide our paper into four sections. In Sect. 2, we give some notations and preliminary results. In Sects. 3 and 4, we prove Theorems 2.1 and 2.2.
The main difficulties that arise in treating this class of nonhomogeneous Schrödinger equations (2.2) are the following: (i) the lack of compactness due to the unboundedness of the domain; (ii) the sign-changing of potentials a(x) and V (x). To avoid the first difficulty, we employ the Del Pino and Felmer method [23]. To overcome the second difficulty, we control the positive mass in relation to the negative mass of the potentials a(x) and V (x). The key tool for obtaining the multiplicity of solutions is a suitable recurrent variational method.

Notations and preliminaries
We will use the following notations: If we equip E with the norm then E becomes a reflexive Banach space. On the Sobolev space H 1 (R N ) we consider the usual norm Define the following energy functional on Y (Y = E or H 1 (R N )): Under suitable assumptions on a, V and f (to be fixed later), the functional I is well defined, of class C 1 on Y and any critical point of I is a weak solution of problem (2.2).
We recall that a Palais-Smale sequence for the functional I , for short we write (PS)sequence, is a sequence (u n ) n ∈ Y such that The functional I is said to satisfy the Palais-Smale condition if any (PS)-sequence has a convergent subsequence in Y .
In the sequel we need the following auxiliary results.
Proof If x = 0, the inequality (3.2) is trivial. Then Multiplying by |x| q+1 , we obtain the desired result.

Lemma 3.2
Assume that A 1 holds. If u n u weakly in H 1 (R N ), then there exists a subsequence of (u n ) ∈ H 1 (R N ), also denoted (u n ), such that Proof Since a ∈ L 2 1−q (R N ), then for every > 0 there exists R 2 > 0 such that Observe that by Hölder's inequality we have

Proof of Theorem 2.1
We split the proof into several steps. We first establish the existence of first solution with negative energy. Next, we show that problem (2.2) has a weak solution with positive energy.

Existence of a nonnegative solution
Consider the minimization problem where ρ 0 is defined in Lemma 3.3.

Lemma 4.1 Assume that hypotheses
Hence M 1 < 0. Thus we conclude the proof.

Theorem 4.2 Assume that hypotheses (F) , (A 1 ) and (H 3 ) hold. Then there exists a weak nonnegative solution U
Proof Let (u n ) n be a minimizing sequence of problem (4.1). Since (u n ) ∈ B(0, ρ 0 ), we can extract a subsequence, also denoted by (u n ), such that u n U 1 in E, u n → U 1 in L m loc (R N ) for all 1 ≤ m < 2 * and u n → U 1 a.e. in R N .

Existence of a second solution with positive energy solution
We start this subsection by showing that the functional I satisfies the Palais-Smale condition.
For this purpose, we need the following auxiliary properties.

Lemma 4.3 Assume that hypotheses (A 1 ), (H 3 ), (H 4 ) and (F) hold. Then any (PS)-sequence of I is bounded in E.
Proof Let (u n ) ∈ E be a (PS)-sequence of I . We argue by contradiction, assuming that u n = t n → +∞. Re-normalizing, we set v n = u n t n . Thus up to a subsequence, v n v in E.
We claim that v = 0. For this purpose, we take ϕ ∈ C ∞ c (R N ). Since (u n ) is a (P S)sequence of I , we have Dividing relation (4.7) by t n , we obtain (4.8) Using (A 1 ) and Hölder's inequality, we deduce that Thus since 0 < q < 1, we have As a consequence of hypothesis (F), we have From (4.9), (4.10) and passing to the limit in relation (4.8), we infer that Using now (H 4 ), we conclude that v = 0 a.e. in R N . This proves our claim. Substituting ϕ = v n in relation (4.8), we obtain It follows that Using now (A 1 ), (H 3 ) and (F), we obtain On the other hand, since (u n ) is a (PS)-sequence of I , we have Therefore (4.14) From (A 1 ), (F) and (4.14), we infer that lim n→+∞ v n q+1 = 0. (4.15) Combining (4.13) and (4.15), we conclude that v n → 0 in E as n → +∞, which contradicts v n = 1. The proof is completed. Proof Let (u n ) ∈ E be a (P S) sequence such that Using Lemma 4.3, (u n ) is bounded in E. Then up to a subsequence, u n U 2 in E, u n → U 2 in L m loc (R N ) for all 1 ≤ m < 2 * and u n → U 2 a.e. in R N . According to [23], it is sufficient to prove that for any > 0, there exist R 2 > 0 and n 0 ∈ N * such that |x|≥R 2 |∇u n | 2 + |u n | q+1 dx ≤ , for all R ≥ R 2 and n ≥ n 0 .
This ends the proof.

Proof of Theorem 2.2
We first observe that (H 2 ) and (H 3 ) imply that the Schrödinger operator L = − + V (x) is defined on H 2 (R N ) and 0 is an isolated eigenvalue of finite multiplicity.
Let H − , H 0 and H + denote the negative, null and positive spaces of the quadratic form associated to the operator L. More precisely, We have the orthogonal decomposition For u ∈ E, we denote by u ∓ , u 0 the orthogonal projections of u on H ∓ , H 0 respectively. Then u = u − + u 0 + u + . Moreover, there is an equivalent norm · X on H 1 (R N ) such that For more details, we refer the reader to Costa and Tehrani [22].

Existence of a nonnegative solution of problem (2.2)
Consider the problem where ρ 1 is defined in Lemma 3.4. Proof It is sufficient to replace Lemma 3.1 by Lemma 3.2 in the proof of Theorem 4.2.

Lemma 5.3 Suppose that hypotheses A 1 , (H 2 ), (H 3 ), (F) and N ∓ hold. Then any (P-S)-sequence of I is bounded in H
Proof Let (u n ) be a (PS)-sequence of I . Case 1. We suppose that a satisfies N + . Arguing by contradiction, suppose that u n X → +∞. Then there exist c > 0 and d > 0 such that for n large enough we have Indeed, from A 1 and for n large enough we obtain Similarly, from A 1 , we have for n sufficiently large. Therefore  Therefore min (β, 1) R N |∇u n | 2 + u 2 n φ R dx ≤ R N V − + χ B(0,R 0 ) (x)φ R u 2 n dx + R N a(x)φ R |u n | q+1 dx + R N f (x)φ R (x)u n dx − R N u n ∇u n ∇φ R dx + 3 , The rest of the proof is similar to the second step of the proof of Lemma 4.4.

Concluding remarks
The content of this paper is in relationship with the recent contributions of Bégout and Díaz [9][10][11][12][13] for the understanding of the nonlinear stationary Schrödinger equation. We expect that the methods developed by Díaz [24,25] in the case of an unbounded potential V (x) of Hardy type can be applied to show that the nonnegative solutions of problem (2.2) established in Theorems 2.1 and 2.2 have a compact support (if f (x) is also with compact support). This case corresponds to the abstract setting of infinite well type potentials.