- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 436919, 6 pages
On Standing Wave Solutions for Discrete Nonlinear Schrödinger Equations
Department of Applied Mathematics, Yuncheng University, Yuncheng, Shanxi 044000, China
Received 13 June 2013; Revised 14 July 2013; Accepted 14 July 2013
Academic Editor: Juan J. Nieto
Copyright © 2013 Guowei Sun. 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.
The purpose of this paper is to study a class of discrete nonlinear Schrödinger equations. Under a weak superlinearity condition at infinity instead of the classical Ambrosetti-Rabinowitz condition, the existence of standing waves of the equations is obtained by using the Nehari manifold approach.
The discrete nonlinear Schrödinger (DNLS) equation was first derived in the context of nonlinear optics by Christodoulides and Joseph ; see also [2–5]. DNLS equation is one of the most important inherently discrete models, having a crucial role in the modeling of a great variety of phenomena, ranging from solid state and condensed matter physics to biology [6–10]. For example, Davydov  studied the equation in molecular biology and Su et al.  considered the equation in condensed matter physics. Eilbeck et al.  firstly pointed out the universal nature of the discrete nonlinear Schrödinger equation and reported a number of applications.
For the analytical study, many authors studied the existence results of standing wave solutions for DNLS equations. Much of the works concerns the periodic DNLS equations [12–14]. Recently, some authors considered the DNLS equations with infinitely growing potential. Zhang and Pankov [15, 16] devoted their efforts to the case of infinitely growing potential and power-like nonlinearity. In all these results, the nonlinearity is supposed to be either positive (self-focusing), or negative (defocusing). Pankov  studied the DNLS equatifvons with infinitely growing potential and sign-changing nonlinearity (a mixture of self-focusing and defocusing ones). Pankov and Zhang were concerned with the DNLS equations with infinitely growing potential and saturable nonlinearity in .
In this paper, we consider higher-dimensional generalizations of DNLS equation where and . The parameter characterizes the focusing properties of the following equation: if , the equation is self-focusing, while corresponds to the defocusing equation.
We assume that the nonlinearity is gauge invariant, that is, Then we can consider the special solutions of the form , for any . These solutions are called breather solutions or standing waves, due to their periodic time behavior. Inserting the ansatz of a breather solution into (1), it follows that satisfies the nonlinear system of algebraic equations We need the following assumptions.
The discrete potential satisfies
where is the length of multi-index .
, and there exists , such that
uniformly for .
uniformly for , where is the primitive function of , that is,
is strictly increasing on and .
We are concerned with the existence of ground state solutions, that is, solutions corresponding to the least positive critical value of the variational functional. To obtain the existence of ground states, usually besides the growth condition on the nonlinearity and a Nehari type condition, the following classical Ambrosetti-Rabinowitz superlinear condition (see, e.g., ) is assumed: It is easy to see that (8) implies that , for some constant and .
In this paper, instead of (8) we assume the super-quadratic condition . It is easy to see that (8) implies . It is well known that many nonlinearities such as do not satisfy (8). A crucial role that (8) plays is to ensure the boundedness of Palais-Smale sequences.
This paper is organized as follows. In Section 2, we establish the variational framework associated with (4). We then present the main results of this paper and compare them with the existing ones. Section 3 is devoted to prove some useful lemmas, and the proof of the main results is completed in Section 4.
In order to apply the critical point theory, we will establish the corresponding variational framework associated with (4).
For some positive integer , we consider the real sequence spaces Then the following embedding between spaces holds:
Let which is a self-adjoint operator defined on (see ).
Define the space Then is a Hilbert space equipped with the norm
Now we consider the variational functional defined on by where is the inner product in . Then . And for the derivative of , we have the following formula: Equation (16) implies that (4) is the corresponding Euler-Lagrange equation for . Thus, we have reduced the problem of finding a nontrivial solution of (4) to that of seeking a nonzero critical point of the functional on .
The following lemma plays an important role in this paper; it was established in .
Lemma 1. If satisfies the condition , then(1)for any , the embedding map from E into is compact,(2)the spectrum is discrete and consists of simple eigenvalues accumulating to .
By Lemma 1, we may assume that is the smallest eigenvalue of , that is
Now we are ready to state the main results.
Theorem 2. Suppose that conditions () and ()–() are satisfied. Then one has the following conclusions. (1)If , , (4) has no nontrivial solution.(2)If , , (4) has a nontrivial ground state solution.(3)If , , and is odd in for each , (4) has infinitely many pairs of solutions in .
Remark 3. In , the author considered the following DNLS equation:
where there exists a positive constant , such that for any , . Clearly, (18) corresponds (4) if we let . Therefore, (18) is a special case of (4).
In , the nonlinearity satisfies the following condition: which implies (8). So it is a stronger condition than . Therefore, our results generalize the corresponding ones.
Remark 4. In , the authors also considered (18) and assumed that the nonlinearity satisfies the classical Ambrosetti-Rabinowitz superlinear condition (8). Clearly, it is a stronger condition than .
Since , we may introduce an equivalent norm in by setting and then the functional can be rewritten as
To prove the multiplicity results, we need the following lemma.
Lemma 5 (see ). Let . If is a infinite-dimensional Hilbert space, is even and bounded below and satisfies the Palais-Smale condition. Then has infinitely many pairs of critical points.
3. Some Lemmas
In this section, we always assume that .
We define the Nehari manifold
To prove the main results, we need some lemmas.
Lemma 6. Suppose that conditions () and ()–() are satisfied. Then one has(1) and for all ,(2), for all .
Proof. (1) From and , it is easy to get that
By , we have
So for all .
(2) For all , by (1), we have
Lemma 7. Suppose that conditions () and ()–() are satisfied, and let Then one has the following.(1) as .(2) is strictly increasing for all and .(3) uniformly for on the weakly compact subsets of , as .
Proof. (1) and (2) are easy to be shown from and , respectively. Next, we verify (3). Let be weakly compact and let . It suffices to show that if as , then so does a subsequence of . Passing to a subsequence if necessary, and for every , as .
Since and , by and (23), we have
Lemma 8. Under the assumptions () and ()–(), for each , there exists a unique such that .
Proof. Let ,. Note that and from (2) of Lemma 7, then there exists a unique , such that whenever , whenever , and . So .
Remark 9. By (1) and (3) of Lemma 7, for small and for large. Together with Lemma 8, we have that is a unique maximum of and is the unique point on the ray () which intersects with . That is, is the unique maximum of on the ray. Therefore, we may define the mapping and by setting where .
Lemma 10. For each compact subset , there exists a constant such that for all .
Proof. Suppose that, by contradiction, as . By Lemma 6 and , we have This is a contradiction.
Lemma 11. (1) The mapping is continuous.
(2) The mapping is a homeomorphism between and , and the inverse of is given by .
Proof. (1) Suppose that . Since for each , we may assume that for all . Write . By Lemmas 8 and 10, is bounded, and hence after passing to a subsequence if needed. Since is closed and . Hence by the uniqueness of of Lemma 8. (2) This is an immediate consequence of .
Lemma 12. satisfies the Palais-Smale condition on .
Proof. Let be a sequence such that for some and as .
Firstly, we prove that is bounded. In fact, if not, we may assume by contradiction that as . Let . Then there exists a subsequence, still denoted by the same notation, such that in as .
Suppose that . For every , from Remark 9, we have This is a contradiction if . Therefore, .
According to Lemma 7(3), we have a contradiction again. Thus, is bounded.
Finally, we show that there exists a convergent subsequence of . Actually, there exists a subsequence, still denoted by the same notation, such that . By Lemma 1, for any , then Note that
The first term as because of the weak convergence.
By and , it is easy to show that for any , there exists , such that Then, Combining (32) and the boundedness of , the above inequality implies It follows from (33) that in ; that is, satisfies Palais-Smale condition.
The proof is complete.
Now we define the functional and by
Lemma 13. (1) , and
(2) , and
(3) is a Palais-Smale sequence for if and only if is a Palais-Smale sequence for .
(4) is a critical point of if and only if is a nontrivial critical point of . Moreover, the corresponding values of and coincide and .
Proof. (1) Let and . By Remark 9 and the mean value theorem, we obtain
where is small enough and . Similarly,
where . From the proof of Lemma 11, the function is continuous, combining these two inequalities that
Hence the Gâteaux derivative of is bounded linear in and continuous in . It follows that is a class of (see [19, Proposition 1.3]).
(2) follows from (1). Note only that since , .
(3) Let be a Palais-Smale sequence for , and let . Since for every we have an orthogonal splitting , using (2) we have Using (2) again, then Therefore, According to Lemma 6, for , , so there exists a constant such that . And since , . Together with Lemma 12, . Hence is a Palais-Smale sequence for if and only if is a Palais-Smale sequence for .
(4) By (45), if and only if . The other part is clear.
4. Proof of Main Results
Proof of Theorem 2. (1) If , , we suppose that (4) has a nontrivial solution . Then is a nonzero critical point of in and . But
This is a contradiction.
(2) If , . We firstly show that satisfies the Palais-Smale condition.
Let be a Palais-Smale sequence for ; then is a Palais-Smale sequence for by Lemma 13(3), where :. From Lemma 12, after passing to a subsequence and , so satisfies the Palais-Smale condition.
Let be a minimizing sequence for . By Ekeland's variational principle, we may assume that as , so is a Palais-Smale sequence for . By Palais-Smale condition, after passing to a subsequence if needed. Hence is a minimizer for and therefore a critical point of , and then is a critical point of and is also a minimizer for by Lemma 13. Therefore, is a ground state solution of (4).
(3) If , , and is odd in for each , then is even and so is . Since and satisfies the Palais-Smale condition, has infinitely many pairs of critical points by Lemma 5. It follows that (4) has infinitely many pairs of solutions in from Lemma 13.
This completes Theorem 2.
This work is supported by Program for the National Natural Science Foundation of China (no. 11071283) and Yuncheng University Science Foundation (nos. JY-2011026, JY-2011038, JY-2011039, and JC-2009024).
- D. Christodoulides and R. Joseph, “Discrete self-focusing in nonlinear arrays of coupled waveguides,” Optics Letters, vol. 13, pp. 794–796, 1988.
- A. B. Aceves, “Optical gap solitons: past, present, and future; theory and experiments,” Chaos, vol. 10, no. 3, pp. 584–589, 2000.
- J. C. Bronski, M. Segev, and M. I. Weinstein, “Mathematical frontiers in optical solitons,” Proceedings of the National Academy of Sciences of the United States of America, vol. 98, no. 23, pp. 12872–12873, 2001.
- A. A. Sukhorukov and Y. S. Kivshar, “Generation and stability of discrete gap solitons,” Optics Letters, vol. 28, no. 23, pp. 2345–2347, 2003.
- M. I. Weinstein, “Excitation thresholds for nonlinear localized modes on lattices,” Nonlinearity, vol. 12, no. 3, pp. 673–691, 1999.
- A. S. Davydov, “The theory of contraction of proteins under their excitation,” Journal of Theoretical Biology, vol. 38, no. 3, pp. 559–569, 1973.
- S. Flach and A. V. Gorbach, “Discrete breathers—advances in theory and applications,” Physics Reports, vol. 467, no. 1–3, pp. 1–116, 2008.
- S. Flach and C. R. Willis, “Discrete breathers,” Physics Reports, vol. 295, no. 5, pp. 181–264, 1998.
- D. Hennig and G. P. Tsironis, “Wave transmission in nonlinear lattices,” Physics Reports, vol. 307, no. 5-6, pp. 333–432, 1999.
- W. Su, J. Schieer, and A. Heeger, “Solions in polyacetylene,” Physical Review Letters, vol. 42, pp. 1698–1701, 1979.
- J. C. Eilbeck, P. S. Lomdahl, and A. C. Scott, “The discrete self-trapping equation,” Physica D. Nonlinear Phenomena, vol. 16, no. 3, pp. 318–338, 1985.
- A. Mai and Z. Zhou, “Ground state solutions for the periodic discrete nonlinear Schrödinger equations with superlinear nonlinearities,” Abstract and Applied Analysis, vol. 2013, Article ID 317139, 11 pages, 2013.
- A. Pankov, “Gap solitons in periodic discrete nonlinear Schrödinger equations,” Nonlinearity, vol. 19, no. 1, pp. 27–40, 2006.
- A. Pankov, “Gap solitons in periodic discrete nonlinear Schrödinger equations. II. A generalized Nehari manifold approach,” Discrete and Continuous Dynamical Systems. Series A, vol. 19, no. 2, pp. 419–430, 2007.
- G. Zhang and A. Pankov, “Standing waves of the discrete nonlinear Schrödinger equations with growing potentials,” Communications in Mathematical Analysis, vol. 5, no. 2, pp. 38–49, 2008.
- G. Zhang and A. Pankov, “Standing wave solutions of the discrete non-linear Schrödinger equations with unbounded potentials. II,” Applicable Analysis, vol. 89, no. 9, pp. 1541–1557, 2010.
- A. Pankov, “Standing waves for discrete nonlinear Schrödinger equations: sign-changing nonlinearities,” Applicable Analysis, vol. 92, no. 2, pp. 308–317, 2013.
- A. Pankov and G. Zhang, “Standing wave solutions for discrete nonlinear Schrödinger equations with unbounded potentials and saturable nonlinearity,” Journal of Mathematical Sciences, vol. 177, no. 1, pp. 71–82, 2011.
- M. Willem, Minimax Theorems, Progress in Nonlinear Differential Equations and their Applications, 24, Birkhäuser, Boston, Mass, USA, 1996.
- G. Zhang, “Breather solutions of the discrete nonlinear Schrödinger equations with unbounded potentials,” Journal of Mathematical Physics, vol. 50, pp. 1–12, 2009.
- P. H. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65 of CBMS Regional Conference Series in Mathematics, American Mathematical Society, Washington, DC, USA, 1986.