International Journal of Analysis

Volume 2016, Article ID 8350396, 10 pages

http://dx.doi.org/10.1155/2016/8350396

## Multiplicity of Solutions for Schrödinger Equations with Concave-Convex Nonlinearities

^{1}School of Mathematics and Statistics, Southwest University, Chongqing 400715, China^{2}College of Science, Southwest Petroleum University, Chengdu, Sichuan 610500, China

Received 10 July 2016; Accepted 1 November 2016

Academic Editor: Dong Ye

Copyright © 2016 Dong-Lun Wu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study the multiplicity of solutions for a class of semilinear Schrödinger equations: where satisfies some kind of coercive condition and involves concave-convex nonlinearities with indefinite signs. Our theorems contain some new nonlinearities.

#### 1. Introduction and Main Results

In this paper, we consider the multiplicity of solutions for the following semilinear Schrödinger equations:Equation (1) has many applications in mathematical physics. For instance, in finding the standing wave solutions for the following nonlinear Schrödinger equationwe can see that a standing wave solution of (2) is a solution of the form where . The function solves (2) if and only if solves (1) with and .

The existence and multiplicity of solutions for problem (1) have been studied by many mathematicians in last two decades [1–36]. In 1992, Coti Zelati and Rabinowitz [7] obtained the existence of infinitely many solutions for problem (1) when and are both periodic in and is supposed to satisfy the following so-called Ambrosetti-Rabinowitz superlinear condition.(AR)there exists such that Condition (AR) provided a global growth condition of at both origin and infinity, which plays an important role in showing the boundedness of Palais-Smale sequences and the geometrical structure for the corresponding functional. But (AR) is so strict that many functions do not satisfy this condition. An usual and weaker superlinear condition is(SQ) as uniformly in ,which is first introduced by Liu and Wang [20] to obtain multiple solutions for superlinear elliptic equations and has been used by many mathematicians. Via a Nehari-type argument, Li et al. [19] obtained a ground state solution for problem (1) with the help of the following Nehari type assumption:(Ne) is strictly increasing on and .

In a recent paper, (Ne) is weakened by Liu [17] when the author treated a class of periodic Schrödinger equations. He made the following assumption:(WN) is increasing on and .

After then, there are some papers [28, 35, 36] that obtained existence and multiplicity of nontrivial solutions for problem (1) with condition (WN). Recently, Tang [26] introduced a new superlinear condition.(Ta)there exists a such that

With (Ta), Tang obtained the existence of ground state solutions for a class of superlinear Schrödinger equation involving some new nonlinearities. Motivated by the above works, in this paper, we shall study the multiplicity of solutions of problem (1) with concave-convex nonlinearities and the superlinear term satisfies some different growth assumptions from above. There are only few papers considering the concave-convex nonlinearities for problem (1). In [30], Wu considered problem (1) in a bounded domain with concave-convex nonlinearities and obtained two positive solutions when the weight function is indefinite in sign. After then, Wu [31] considered problem (1) in the entire space with sign-changing weight and obtained multiple positive solutions for problem (1). The results on multiple solutions for problem (1) with concave-convex nonlinearities can be also found in [10, 13]. But in [10, 13, 30, 31], the authors only considered the specific nonlinearities. In this paper, we consider a more general case. The potential satisfies the following coercive condition which is introduced by Bartsch and Wang in [4]:(), . There exists such that

The main purpose of this paper is to obtain multiplicity of solutions for problem (1) with some new nonlinearities. The nonlinear term is considered to satisfy the following form:Let and . Now we state our main results.

Theorem 1. *Suppose that , (7), and the following conditions hold:*()* and .*()*There exit , , and such that for all .*()*For any , there exist such that**where and for .*()*, where and .*()*There exits such that in with .**Then, there exists such that for any , problem (1) possesses at least two solutions.*

*Remark 2. *Since , we can see that , which implies that , where for .

*Remark 3. *It is easy to see that does not satisfy (AR), (SQ), (WN), and (Ta) since can change sign.

*Remark 4. *In 2005, Liu and Wang [21] also considered problem (1) with concave-convex nonlinearities. But in their theorems, the nonlinear term was assumed to be a specific form, which is different from our theorem. Furthermore, it was required that in [21], which is not needed in .

*Theorem 5. Suppose that , (7), , , and the following condition hold:() for all .Then, for any , problem (1) possesses infinitely many solutions.*

*Remark 6. *It is easy to see that and are both indefinite in signs. The sign-changing nonlinear terms have been studied by Tang [25]. But in [25], the author only considered the case and is positive when is large enough which is different from .

*Theorem 7. Suppose that , (7), , , , , and the following conditions hold:(), for all .() as uniformly in .()There exist and such that ()There exist and such that () as uniformly in .Then, there exists such that for any , problem (1) possesses at least two solutions.*

*Remark 8. *There are functions satisfying the conditions of , but not the condition . For example, let

*Theorem 9. Suppose that , (7), , , , and the following condition hold:()There exists such that for all .() for all .Then, for any , problem (1) possesses infinitely many solutions.*

*Remark 10. *In Theorem 9, we only need to hold when is large enough, which is different from the results in [25], in which the author required to hold in the entire space.

*Remark 11. *Obviously, it can be, respectively, deduced from (AR), (WN), and (Ta) that(WSQ) for all However, (WSQ) cannot be deduced from the conditions of our theorems and there are functions to show this difference. For example, let andIt is easy to see that (12) satisfies the conditions , but not (WSQ).

In this paper, we will use the variational methods to prove our theorems. First, we introduce the definition of the condition and condition.

*Definition 12. *Let be a Hilbert space. A functional is said to satisfy the condition with respect to , , if any sequence satisfying implies a convergent subsequence, where is a sequence of linear subspace of with finite dimensional.

*Definition 13. *Let be a Hilbert space. A functional is said to satisfy the condition if for any sequence satisfying which is bounded and as possesses a convergent subsequence.

In our proof, the Mountain Pass Theorem and the following critical points theorems are employed.

*Lemma 14 (Lu [37]). Let be a real reflexive Banach space and be a closed bounded convex subset of . Suppose that is a weakly lower semicontinuous (w.l.s.c. for short) functional. If there exists a point such that then there must be a such that *

*Lemma 15 (Chang [6]). Suppose that is even with and that()there are constants and a finite dimensional linear subspace such that ,()there is a sequence of linear subspace , , and there exists such that If, further, satisfies the condition with respect to , then possesses infinitely many distinct critical points corresponding to positive critical values.*

*2. Preliminaries*

*2. Preliminaries*

*In this paper, we let with the inner product and the norm . Then, is a Hilbert space. For any , we denote The embedding theorem shows that continuously for , which implies that there exists a constant such thatfor all . The corresponding functional is defined on asWith condition , we have the following compact embedding theorem.*

*Lemma 16 (see [33]). Under assumption , the embedding from into is compact for .*

*Lemma 17. Suppose that , , , and hold; then, the functional is well defined and of class withfor all , where and . Moreover, the critical points of in are solutions for problem (1).*

*Proof. *By , , and , we havefor all . It follows from and (20) that there exists such thatThen, we can deduce that which implies that is well defined. Similar to the proof of Proposition in [34], we can see that and is compact. Obviously, is also of class and is compact, which means is of class and (22) holds. Finally, since is continuously embedded into , a standard argument shows that all critical points of on are solutions of (1). We finish the proof of this lemma.

*Remark 18. *Lemma 17 still holds with and since the functions in satisfy and .

By Lemma 17, we can easily obtain

*3. Proof of Theorem 1*

*3. Proof of Theorem 1*

*Subsequently, we show possesses the conditions of the Mountain Pass Theorem.*

*Lemma 19. Suppose the conditions of Theorem 1 hold; then, there exist such that for all , where .*

*Proof. *It follows from (21), (25), , , and (20) thatIt is easy to see that there exist positive constants , , and such that for all . We finish the proof of this lemma.

*Lemma 20. Suppose the conditions of Theorem 1 hold; then, there exists such that and , where is defined in Lemma 19.*

*Proof. *By Lusin’s Theorem and , there exists such that is continuous in with with . We choose . Then, by (21), (25), , and , for any , we obtain where , which implies that Therefore, there exists such that . Let , we can see , which proves this lemma.

*Lemma 21. Suppose the conditions of Theorem 1 hold; then, satisfies the condition.*

*Proof. *Assume that is a sequence such that is bounded and as . Then, there exists a constant such thatSubsequently, we show that is bounded in . Arguing in an indirect way, we assume that as . It follows from (31), (27), (21), (23), , and that there exist such that which is a contradiction. Hence, is bounded in . Then, there exists a subsequence, still denoted by , such that in . Therefore, Let and satisfying , where . By , we can see that for . It follows from (20) and Lemma 16 that Similarly, we have It follows from (27) that which implies that as . Then, satisfies the condition.

*Lemma 22. Suppose that the conditions of Theorem 1 hold; then, there exists a critical point of corresponding to negative critical value.*

*Proof. *By Lemma 19, we can see that there exists a local minimizer of in , the following proof is to show this minimizer is not zero. By and , there exists such thatfor all and , where . Choosing , it follows from (21), (37), and that for small enough. By Lemmas 19 and 14, there exists such that The proof of this lemma is finished.

*From Lemmas 19–22, we can see that problem (1) possesses at least two solutions.*

*4. Proof of Theorem 5*

*4. Proof of Theorem 5*

*Lemma 23. Suppose the conditions of Theorem 5 hold; then, I satisfies .*

*Proof. *Let be a completely orthogonal basis of and , where . For any , we setIt follows from Lemma in [25] that as for any . SetThen, there exists such that for all . Then, for any with , it follows from (21), , (23), , and (40) thatHence, (42) shows that there exist and such that . We finish the proof of this lemma.

*Lemma 24. Suppose the conditions of Theorem 5 hold; then, I satisfies .*

*Proof. *Let and be as defined in Lemma 20. Then, it is easy to see that and is a Hilbert space. We can choose a sequence completely orthogonal basis . Let and . Then, for any , we have , where . Since , there exists a constant such thatfor all . We can deduce from (21), (25), , and (43) that Then, there exists such that for all , which proves this lemma.

*The proof of the following lemma is similar to Lemma 21; we omit it here.*

*Lemma 25. Suppose the conditions of Theorem 5 hold; then, satisfies the condition.*

*Then, by Lemma 15, we can deduce that possesses infinitely many critical points, which implies that problem (1) has infinitely many solutions.*

*5. Proof of Theorem 7*

*5. Proof of Theorem 7*

*Lemma 26. Suppose the conditions of Theorem 7 hold; then, there exist such that for all .*

*Proof. *By , , and , for any , there exists such thatIt follows from (21), (45), (25), , and (20) thatLetting , there exist positive constants , , and such that for all .

*Lemma 27. Suppose the conditions of Theorem 7 hold; then, there exists such that and , where is defined in Lemma 26.*

*Proof. *Set such that , where is defined in Lemma 22. For , it follows from that there exist such that for all and . It follows from and that there exists such thatfor all and . It follows from and (48) that there exists such thatfor all . Then, we can deduce from (47) and (49) thatfor all . By (21), (50), (20), and (25), for every , we have which implies that Therefore, there exists such that and . Let , we can see , which proves this lemma.

*Lemma 28. Suppose the conditions of Theorem 7 hold; then, satisfies the condition.*

*Proof. *Assume that is a sequence such that Then, there exists a constant such thatSubsequently, we show that is bounded in . Set where is defined in . Arguing in an indirect way, we assume that as . Set ; then, , which implies that there exists a subsequence of , still denoted by , such that in and uniformly on as . The following discussion is divided into two cases.*Case 1 (**)*. Let . Then, we can see that . Since as and ; then, we have as for a.e. . On one hand, it follows from (21), (25), and (54) that which implies thatOn the other hand, by , (49), and Fatou’s Lemma, we can obtain which contradicts (57).*Case 2 (**)*. By , we can deduce that for all , which implies thatfor all . It follows from (54), (21), (25), , , (20), (60), and Sobolev’s embedding theorem that which is a contradiction. Hence, is bounded in . The following proof is similar to Lemma 21. Then, satisfies the condition.

*It follows from the Mountain Pass Theorem that there exists a critical point such that and , where is defined in Lemma 26. Subsequently, we look for the second critical point of by Lemma 14.*

*Lemma 29. Suppose that the conditions of Theorem 7 hold; then, there exists a critical point of corresponding to negative critical value.*

*Proof. *Since we have (45), the proof of this lemma is similar to Lemma 22.

*Then, problem (1) possesses at least two solutions. The proof of Theorem 7 is finished.*

*6. Proof of Theorem 9*

*6. Proof of Theorem 9*

*In this section, we use Lemma 15 to prove Theorem 9.*

*Lemma 30. Suppose the conditions of Theorem 9 hold; then, satisfies .*

*Proof. *Let and be as defined in Lemma 23. For any with , it follows from (21), (23), (45), (20), and (40) that The following proof is similar to Lemma 23. Hence, satisfies . We finish the proof of this lemma.

*Lemma 31. Suppose the conditions of Theorem 9 hold; then, satisfies .*

*Proof. *Set , where is defined in Lemma 23. For any and , set Similar to Lemma in [34], there exists such thatfor all . By , there exist such thatfor all and with , where is defined in . Choosing , then for any , it follows from (21), (20), , (25), (64), , and (65) that Since , there exists such that for all , which proves this lemma.

*Lemma 32. Suppose the conditions of Theorem 9 hold; then, satisfies the condition.*

*Proof. *Since we have , the proof is similar to Lemma 28, we omit it here.

*Proof of Theorem 9. *By Lemmas 30–32 and 15, possesses infinitely many distinct critical points corresponding to positive critical values.

*Competing Interests*

*Competing Interests*

*The authors declare that they have no competing interests.*

*Acknowledgments*

*Acknowledgments*

*This paper is supported by the National Natural Science Foundation of China (no. 11471267) and the Young scholars development fund of Southwest Petroleum University (SWPU) (Grant no. 201599010116).*

*References*

*References*

- A. Ambrosetti, M. Badiale, and S. Cingolani, “Semiclassical states of nonlinear Schrödinger equations,”
*Archive for Rational Mechanics and Analysis*, vol. 140, no. 3, pp. 285–300, 1997. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - N. Ackermann, “A nonlinear superposition principle and multibump solutions of periodic Schrödinger equations,”
*Journal of Functional Analysis*, vol. 234, no. 2, pp. 277–320, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H. Berestycki and P.-L. Lions, “Nonlinear scalar field equations. I. Existence of a ground state,”
*Archive for Rational Mechanics and Analysis*, vol. 82, no. 4, pp. 313–345, 1983. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - T. Bartsch and Z. Q. Wang, “Existence and multiplicity results for some superlinear elliptic problems on R
*N*,”*Partial Differential Equations*, vol. 20, no. 9-10, pp. 1725–1741, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - T. Bartsch and Y. H. Ding, “On a nonlinear Schrödinger equation with periodic potential,”
*Mathematische Annalen*, vol. 313, no. 1, pp. 15–37, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K.-C. Chang,
*Infinite-Dimensional Morse Theory and Multiple Solution Problems*, Birkhäuser, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - V. Coti Zelati and P. H. Rabinowitz, “Homoclinic type solutions for a semilinear elliptic PDE on ${\mathbb{R}}^{\text{n}}$,”
*Communications on Pure and Applied Mathematics*, vol. 45, no. 10, pp. 1217–1269, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - Y. H. Ding and S. X. Luan, “Multiple solutions for a class of nonlinear Schrödinger equations,”
*Journal of Differential Equations*, vol. 207, no. 2, pp. 423–457, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. H. Ding and C. Lee, “Multiple solutions of Schrödinger equations with indefinite linear part and super or asymptotically linear terms,”
*Journal of Differential Equations*, vol. 222, no. 1, pp. 137–163, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. F. Furtado, R. Ruviaro, and J. P. da Silva, “Two solutions for an elliptic equation with fast increasing weight and concave-convex nonlinearities,”
*Journal of Mathematical Analysis and Applications*, vol. 416, no. 2, pp. 698–709, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - X.-D. Fang and A. Szulkin, “Multiple solutions for a quasilinear Schrödinger equation,”
*Journal of Differential Equations*, vol. 254, no. 4, pp. 2015–2032, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H.-P. Heinz, T. Küpper, and C. A. Stuart, “Existence and bifurcation of solutions for nonlinear perturbations of the periodic Schrödinger equation,”
*Journal of Differential Equations*, vol. 100, no. 2, pp. 341–354, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - T.-S. Hsu, “Multiple positive solutions for a class of concave-convex semilinear elliptic equations in unbounded domains with sign-changing weights,”
*Boundary Value Problems*, vol. 2010, Article ID 856932, 18 pages, 2010. View at Publisher · View at Google Scholar - P. H. Rabinowitz, “On a class of nonlinear Schrödinger equations,”
*Zeitschrift für Angewandte Mathematik und Physik*, vol. 43, no. 2, pp. 270–291, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - L. Jeanjean, “On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer-type problem set on ${\mathbb{R}}^{N}$,”
*Proceedings of the Royal Society of Edinburgh Section A: Mathematics*, vol. 129, no. 4, pp. 787–809, 1999. View at Publisher · View at Google Scholar - W. Kryszewski and A. Szulkin, “Generalized linking theorem with an application to a semilinear Schrödinger equation,”
*Advances in Differential Equations*, vol. 3, no. 3, pp. 441–472, 1998. View at Google Scholar · View at MathSciNet · View at Scopus - S. B. Liu, “On superlinear Schrödinger equations with periodic potential,”
*Calculus of Variations and Partial Differential Equations*, vol. 45, no. 1-2, pp. 1–9, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - P. L. Lions, “The concentration-compactness principle in the calculus of variations: the locally compact cases, Part II,”
*Annales de l'I.H.P. Analyse non Linéaire*, vol. 1, no. 4, pp. 223–283, 1984. View at Google Scholar - Y. Q. Li, Z.-Q. Wang, and J. Zeng, “Ground states of nonlinear Schrödinger equations with potentials,”
*Annales de l'Institut Henri Poincare (C) Non Linear Analysis*, vol. 23, no. 6, pp. 829–837, 2006. View at Publisher · View at Google Scholar - Z. Liu and Z.-Q. Wang, “On the Ambrosetti-Rabinowitz superlinear condition,”
*Advanced Nonlinear Studies*, vol. 4, no. 4, pp. 563–574, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Z. Liu and Z.-Q. Wang, “Schrödinger equations with concave and convex nonlinearities,”
*Zeitschrift für Angewandte Mathematik und Physik ZAMP*, vol. 56, no. 4, pp. 609–629, 2005. View at Publisher · View at Google Scholar · View at MathSciNet ·