Abstract and Applied Analysis

Volume 2014, Article ID 607078, 7 pages

http://dx.doi.org/10.1155/2014/607078

## Nehari-Type Ground State Positive Solutions for Superlinear Asymptotically Periodic Schrödinger Equations

^{1}Department of Mathematics, Huaihua College, Huaihua, Hunan 418008, China^{2}School of Mathematics and Statistics, Central South University, Changsha, Hunan 410083, China

Received 3 January 2014; Revised 23 May 2014; Accepted 11 June 2014; Published 29 June 2014

Academic Editor: Marco Squassina

Copyright © 2014 Xiaoyan Lin and X. H. Tang. 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 deal with the existence of Nehari-type ground state positive solutions for the nonlinear Schrödinger equation . Under a weaker Nehari condition, we establish some existence criteria to guarantee that the above problem has Nehari-type ground state solutions by using a more direct method in two cases: the periodic case and the asymptotically periodic case.

#### 1. Introduction

Consider the following semilinear Schrödinger equation: where and .

The Schrödinger equation has found a great deal of interest last years because not only it is important in applications but also it provides a good model for developing mathematical methods. Many authors have studied the existence of entire solutions of Schrödinger equations under various stipulations (cf., e.g., [1–28] and the references quoted in them).

When and is periodic, Li et al. [12] made use of a combination of the techniques in [13, 14] with applications of Lions’ concentration compactness principle [26, 29, 30] to establish the following theorem.

Theorem 1 (see [12]). *Assume that and satisfy the following assumptions:*(V0)* and ;*(V1)* is 1-periodic in each of ;*(S0)*, is a Caratheodory function, and there exists a constant such that
*(S1)* is 1-periodic in each of ;*(S2)*, as , uniformly in ;*(S3)*, uniformly in ;*(S4)* is strictly increasing in on for every .**Then problem (1) has a solution such that , where
**
with , and
*

The set is the Nehari manifold, which contains infinitely many elements of . In fact, for any , there exists such that ; see Lemma 9. Since is a solution at which has least “energy” in set , we will call it a Nehari-type ground state solution.

We must point out that “the least energy solution” (which is sometimes also called the ground state solution in some references) is in fact a nontrivial solution which satisfies , where is a very small subset of ; it may contain only one element. In general, it is much more difficult to find a solution for problem (1) with a constraint condition than with one .

To establish the existence of Nehari-type ground state solutions, the so-called Nehari-type condition (S4) seems to be always necessary in the proof of the existence of ground states solutions for problem (1).

In recent paper [15, 20], Theorem 1 has been extended to the case where is in the gap of the spectrum , but an additional assumption on the nonlinearity is assumed in [15].

Motivated by [12, 17, 20], in the present paper, we will develop a more direct method to generalize Theorem 1 by relaxing assumptions (V0), (S3), and (S4) in two cases: the periodic case and the asymptotically periodic case.

In the periodic case, we establish the following two theorems.

Theorem 2. *Assume that and satisfy (V0), (V1), (S1), (S2), and the following assumptions:*()*, and there exists a constant such that
*()*, .;*()* is nondecreasing in on for every .**Then problem (1) has a solution such that .*

Theorem 3. *Assume that and satisfy (), (), (), (), (), (), and (). Then problem (1) has a positive solution such that , where
**
with and , and
*

In the asymptotically periodic case, is allowed to be negative in some bounded domain in . Precisely, we use the following condition instead of (V0).(), for all and there exists a constant such that ()Was first introduced by Deng et al. [6]; it is satisfied if the following assumption holds (see Lemma 7):(), and there exist two constants and a bounded measurable set such that , and where .

In this case, we establish the following two theorems.

Theorem 4. *Assume that and satisfy (), (), (), (), (), and the following assumptions:*(V2)*, , is 1-periodic in each of , for , and for , ;*()*; satisfies (S1), (S2), and (); satisfies that
* *where and with .**Then problem (1) has a solution such that .*

Theorem 5. *Assume that and satisfy (), (), (), (), (), (), and (). Then problem (1) has a positive solution such that .*

In our theorems, we give a new condition () which weakens Nehari-type condition (S3) considerably.

#### 2. Preliminaries

Lemma 6 (see [6, Lemma 2.3]). *Assume that satisfies (). Then there exist two positive constants such that
**
where is the usual norm of *

By Lemma 6, we define an inner product associated with the norm Then is a Hilbert space with this inner product. Moreover, under assumptions () and (), the functional defined by (3) is of class .

Lemma 7. *If () holds, then () does.*

*Proof. *By virtue of (), the Hölder inequality, and the Sobolev inequality, we have
This shows that () holds with .

Lemma 8. *Let be a Banach space. Let be a closed subspace of the metric space and . Define
**
If satisfies
**
then there exists a sequence satisfying
*

*Proof. *For any , define set in and the collection . Let ,
For any and , let and . Then and . Hence,
that is, . Therefore,
These show that the collection is a minimax system for . Since (19) implies
it follows from Theorem 2.4 in [18] that the result is true.

Lemma 9. *Under assumptions (), (), (), and (), for any , there exists such that .*

*Proof. *Let be fixed and define the function on . Clearly we have
It is easy to verify, using (S2) and (), that , for small and for large. Therefore is achieved at a so that and .

Lemma 10. *Under assumptions (), (), and (),
*

*Proof. *For , () yields
It follows that
Note that
Thus, by (3), (28), and (29), one has
This shows that (26) holds.

Corollary 11. *Under assumptions (), (), and (), for ,
*

We define where

Lemma 12. *Under assumptions (), (), (), (), and (), one has that and there exists a sequence satisfying
*

*Proof. *(1) Both Lemma 9 and Corollary 11 imply that . Next, we prove that . By the definition of , we choose a sequence such that
Since for and large, there exist and such that
Let for . Then , and it follows from (35) and (36) that
which implies that . On the other hand, the manifold separates into two components and . By (), one has
It follows that for . By () and (S2), contains a small ball around the origin. Thus every has to cross , because and , and so .

(2) In order to prove the second part of Lemma 12, we apply Lemma 8 with , , and
By () and (S2), there exists such that
Hence we obtain
These show that all assumptions of Lemma 8 are satisfied. Therefore there exists a sequence satisfying (34).

Lemma 13. *Under assumptions (), (), (), (), and (), any sequence satisfying (34) is bounded in .*

*Proof. *To prove the boundedness of , arguing by contradiction, suppose that . Let . Then . By Sobolev embedding theorem, there exists a constant such that
Passing to a subsequence, we may assume that in , in , , and a.e. on .

If , then by Lions’ concentration compactness principle [23, Lemma 1.21], in for . Fix and . By () and (S2), for there exists such that
It follows that
Hence, by using (34), (44), and Lemma 10, one has
which is a contradiction. Thus, .

Going if necessary to a subsequence, we may assume the existence of such that . Let . Then it follows that
Now we define , then , and for some . Passing to a subsequence, we have in , in , , and a.e. on . Thus, (46) implies that . Hence, it follows from (34), (S3), and Fatou’s lemma that
which is a contradiction. Thus is bounded in .

*Remark 14. *In the proof of Lemma 13, (S3) is used only in (47). Hence, it can be weakened to () if is 1-periodic in each of .

#### 3. The Proofs of Theorems

*Proof of Theorem 2. *Lemma 12 implies the existence of a sequence satisfying (34), by a standard argument; we can prove Theorem 2.

*Proof of Theorem 3. *In view of the proofs of Lemmas 12 and 13, we can show that the conclusions of Lemmas 12 and 13 still hold if and are replaced by and , respectively. Hence, there exists a bounded sequence satisfying
where . The rest of the proof is standard, so we omit it.

To prove Theorems 4 and 5, we define functional and as follows: where . Then (), (), and () imply that and

*Proof of Theorem 4. *Lemma 12 implies the existence of a sequence satisfying (34). By Lemma 13, is bounded in . Passing to a subsequence, we have in . Next, we prove .

Arguing by contradiction, suppose that ; that is, in , and so in , , and a.e. on . For any , it follows from (V2) that there exists such that for . Hence,
Since is arbitrary, we have
Similarly, by (), one has
Note that
From (34) and (53)–(55), one has

By a standard argument, we may prove that there exists , going if necessary to a subsequence, such that
Let . Then , and
Since and are periodic, we have
Since is bounded in , passing to a subsequence, we have in , in , , and a.e. on . Obviously, (58) implies that for . By a standard argument, we can prove that and by using (59).

Since , it follows from Lemma 9 that there exists such that , and so . On the other hand, from (49), (51), (V2), (), and (), we have
This contradiction implies that . By a standard argument, we can prove that and . This shows that is a solution for problem (1) with .

*Proof of Theorem 5. *Similar to the proof of Theorem 3, there exists a bounded sequence satisfying (48). Passing to an appropriate subsequence, we have that in . Next, we prove .

Arguing by contradiction, suppose that ; that is, in . Then, in , , and a.e. on . Analogous to the proof of Theorem 4, we can demonstrate that there exists a with for such that and . By a standard argument, we can show that .

Since , it follows from Lemma 9 that there exists such that , and so . On the other hand, from (49), (51), (V2), (), and (), we have
This contradiction shows that . In the same way as the last part of the proof of Theorem 1, we can deduce that and . By a standard argument, we can demonstrate that . Therefore, is a positive solution for problem (1) with .

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

This work is partially supported by the NNSF (no. 11171351) of China.

#### References

- S. Alama and Y. Y. Li, “On “multibump” bound states for certain semilinear elliptic equations,”
*Indiana University Mathematics Journal*, vol. 41, no. 4, pp. 983–1026, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - S. Angenent, “The shadowing lemma for elliptic PDE,” in
*Dynamics of Infinite Dimensional Systems*, vol. 37 of*NATO ASI Series*, pp. 7–22, Springer, Berlin, Germany, 1986. View at Publisher · View at Google Scholar - T. Bartsch and Y. Ding, “Homoclinic solutions of an infinite-dimensional Hamiltonian system,”
*Mathematische Zeitschrift*, vol. 240, no. 2, pp. 289–310, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - T. Bartsch, A. Pankov, and Z. Wang, “Nonlinear Schrödinger equations with steep potential well,”
*Communications in Contemporary Mathematics*, vol. 3, no. 4, pp. 549–569, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - J. Chabrowski and A. Szulkin, “On a semilinear Schrödinger equation with critical Sobolev exponent,”
*Proceedings of the American Mathematical Society*, vol. 130, no. 1, pp. 85–93, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Deng, L. Jin, and S. Peng, “Solutions of Schrödinger equations with inverse square potential and critical nonlinearity,”
*Journal of Differential Equations*, vol. 253, no. 5, pp. 1376–1398, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Ding and A. Szulkin, “Bound states for semilinear Schrödinger equations with sign-changing potential,”
*Calculus of Variations and Partial Differential Equations*, vol. 29, no. 3, pp. 397–419, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. 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. 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 - 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 - W. Kryszewski and A. Szulkin, “Infinite-dimensional homology and multibump solutions,”
*Journal of Fixed Point Theory and Applications*, vol. 5, no. 1, pp. 1–35, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Y. Q. Li, Z. Q. Wang, and J. Zeng, “Ground states of nonlinear Schrödinger equations with potentials,”
*Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire*, vol. 23, no. 6, pp. 829–837, 2006. View at Google Scholar - J. Q. Liu, Y. Q. Wang, and Z. Q. Wang, “Solutions for quasilinear Schrödinger equations via the Nehari method,”
*Communications in Partial Differential Equations*, vol. 29, no. 5-6, pp. 879–901, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Z. Liu and Z.-Q. Wang, “On the Ambrosetti-Rabinowitz superlinear condition,”
*Advanced Nonlinear Studies*, vol. 4, pp. 561–572, 2004. View at Google Scholar - A. Pankov, “Periodic nonlinear Schrödinger equation with application to photonic crystals,”
*Milan Journal of Mathematics*, vol. 73, pp. 259–287, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - P. H. Rabinowitz,
*Minimax Methods in Critical Point Theory with Applications to Differential Equations*, vol. 65 of*Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics*, American Mathematical Society, Providence, RI, USA, 1986. - 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 - M. Schechter,
*Minimax Systems and Critical Point Theory*, Birkhäuser, Boston, Mass, USA, 2009. View at MathSciNet - M. Schechter and W. Zou, “Double linking theorem and multiple solutions,”
*Journal of Functional Analysis*, vol. 205, no. 1, pp. 37–61, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Szulkin and T. Weth, “Ground state solutions for some indefinite variational problems,”
*Journal of Functional Analysis*, vol. 257, no. 12, pp. 3802–3822, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - X. H. Tang, “Infinitely many solutions for semilinear Schrödinger equations with sign-changing potential and nonlinearity,”
*Journal of Mathematical Analysis and Applications*, vol. 401, no. 1, pp. 407–415, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - X. H. Tang, “New super-quadratic conditions on ground state solutions for superlinear Schrödinger equation,”
*Advanced Nonlinear Studies*, vol. 14, pp. 349–361, 2014. View at Google Scholar · View at MathSciNet - X. H. Tang, “New conditions on nonlinearity for a periodic Schrödinger equation having zero as spectrum,”
*Journal of Mathematical Analysis and Applications*, vol. 413, no. 1, pp. 392–410, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - C. Troestler and M. Willem, “Nontrivial solution of a semilinear Schrödinger equation,”
*Communications in Partial Differential Equations*, vol. 21, no. 9-10, pp. 1431–1449, 1996. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - F. A. van Heerden, “Homoclinic solutions for a semilinear elliptic equation with an asymptotically linear nonlinearity,”
*Calculus of Variations and Partial Differential Equations*, vol. 20, no. 4, pp. 431–455, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Willem,
*Minimax Theorems*, Birkhäuser, Boston, Mass, USA, 1996. View at Publisher · View at Google Scholar · View at MathSciNet - M. Yang, “Ground state solutions for a periodic Schrödinger equation with superlinear nonlinearities,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 72, no. 5, pp. 2620–2627, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Yang, W. Chen, and Y. Ding, “Solutions for periodic Schrödinger equation with spectrum zero and general superlinear nonlinearities,”
*Journal of Mathematical Analysis and Applications*, vol. 364, no. 2, pp. 404–413, 2010. 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 case. I,”
*Annales de l'Institut Henri Poincaré. Analyse Non Linéaire*, vol. 1, pp. 109–145, 1984. View at Google Scholar - M. Struwe,
*Variational Methods. Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems*, Springer, Berlin, Germany, 2000. View at Publisher · View at Google Scholar · View at MathSciNet