Abstract and Applied Analysis

Abstract and Applied Analysis / 2014 / Article
Special Issue

Control, Stability, and Qualitative Theory of Dynamical Systems 2014

View this Special Issue

Research Article | Open Access

Volume 2014 |Article ID 514850 | 6 pages | https://doi.org/10.1155/2014/514850

Asymptotic Behavior of the Coupled Nonlinear Schrödinger Lattice System

Academic Editor: Yong Ren
Received20 Jul 2014
Accepted11 Aug 2014
Published19 Aug 2014

Abstract

This paper studies asymptotic behavior of solutions for the coupled nonlinear Schrödinger lattice system. We obtain the existence and stability of compact attractor by means of tail estimates method and finite-dimensional approximations.

1. Introduction

In the present paper, we consider the following dissipative coupled Schrödinger lattice system: with initial condition where ; ,   denotes a bounded positive potential with ; , denote external forces.

Nonlinear coupled Schödinger lattice system (1) can be seen as a discretization model of the two-component system of time-dependent nonlinear Gross-Pitaevskii equations. Gross-Pitaevskii equation arises quite naturally in a binary mixture of Bose-Einstein condensates with two different hyperfine states [1]. There are many analytical and numerical results on solitary wave solutions for this system (see [211]).

The study of the existence of compact attractor for general infinite lattice system can date back to Bates et al. [12], who used the tail estimates method to prove the asymptotic compactness of dissipative lattice system and the existence of compact attractor. For more general results on the existence of compact attractor for infinite lattice system, one can see [13]. Karachalios and Yannacopoulos [14] studied the asymptotic behavior of single nonlinear discrete Schrödinger equations.

We state our main results in this paper.

Theorem 1. The semigroup generated by system (4) possesses a global attractor which is compact, connected, and maximal among the functional invariant sets in .

Theorem 2. The global attractor converges in the sense of the Hausdorff semidistance related to ; that is, where , for any nonempty compact subsets and in a metric space .

This paper is organized as follows. In the next section, we prove the global existence of the dissipative coupled Schrödinger lattice system (1). In Section 3, we show the stability of the global attractor.

2. Existence of the Global Attractor

This section shows the existence of compact attractor of system (1) in . We denote a Hilbert space by with the scalar product , .

Firstly, we prove the global existence of solution of system (1). For convenience, we take the scalar form of system (1): with initial condition , .

Let and . Then system (4) can be rewritten as Then we get the mild solution of (5) as where the semigroup generated by the operator , and

In order to prove the existence of compact attractor, we need the following proposition.

Proposition 3 (Hale [15], Temam [16]). Assume that is a metric space and is a semigroup of continuous operators in . If has an absorbing set and is asymptotically compact, then process a global attractor.

It is easy to verify that and satisfy the Lipschitz continuous property on any bounded set in . Using the same method in [14], we obtain the following result.

Theorem 4. Let . Then system (1) possesses a unique solution for some . If , then

Lemma 5. Let and . Assume that holds. Then there exists a bounded absorbing ball of the semigroup generated by system (4) in . The radius of is . Therefore, there exists depending on such that

Proof. Taking the imaginary part of the inner product of the first equation and second equation of (4) with and , respectively, we have Summing up (10), Let . By Young inequality, we have Applying Gronwall Lemma to (12), we have It implies that the semigroup possesses a bounded absorbing ball centered at with radius .

Lemma 6. Assume that , , and . Then, there exist and such that the solution of system (4) satisfies

Proof. Define by where is a positive constant number.
Taking the imaginary part of the inner product of the first equation and second equation of (4) with and in , respectively, where is large enough, we have Summing up (16), we get Let . By Cauchy-Schwartz inequality and (17), we have Applying Gronwall Lemma, we can obtain where and are the time of entry of initial data bounded in and radius of the absorbing ball in .
Since , then, for any given and , there exist and such that where denote a constant number depending on .

Lemma 7. The semigroup is asymptotically compact in ; that is, if sequences , are bounded in and , then is precompact in .

Proof. Define . Our purpose is to prove that has finite covering balls of radii .
By Lemma 6, we know that, for all , there exist and such that We consider the set in . Note that is bounded in , so it is precompact in ; that is, there exists a family of balls of radii , which covers . This together with (21) implies that the set has finite covering balls of radii . This completes the proof.

Therefore, by Lemmas 6 and 7 and Proposition 3, we conclude that Theorem 1 holds.

3. Finite Approximation of the Global Attractor

In this section, we study the stability of global attractor of lattice dynamical system generated by (1)-(2) under its approximation by a global attractor of an appropriate infinite dimensional dynamical system.

We consider the following finite dimensional boundary value problem: In similar process with infinite dimensional problem (1)-(2), we have the following well-posedness and asymptotic behavior of finite dimensional system (22).

Lemma 8. Let , . Assume that holds. Then there exists a unique solution . The dynamical system generated by (22) possesses a bounded absorbing set and global attractor .

In order to verify the global attractor of semigroup being approximated by the global attractor of semigroup as , we extend the solution of (22) to infinite dimensional space , as

Proof of Theorem 2. We denote global attractors generated by semigroups and by and , respectively. By Lemma 7, we can get that is also an absorbing set for . Then, we have where denotes an open neighborhood of absorbing ball . In light of Theorem 6.1 in [14], for obtaining (3), we only need to verify that, for every compact interval of , Let be a solution of problem (22). Since , for every . If we denote as the radius of absorbing ball , by (23) and (22), we have which implies that, for every , there exists a subsequence of (still denoted by itself) such that Next, according to Theorem 6.1 in [14], for proving (25), it suffices to show that solution of system (22) converges to solution of system (1) in any compact interval of and in a bounded set of .
By (26), we can define differentiable functions Then, It follows from the mean-value theorem that there exist such that, for any fixed , Hence, there exists a constant (independent of ) such that which implies that the sequences are equicontinuous. This combines with (26) and Ascoli-Arzelá theorem; we get that the weak convergence in (27) is actually strong convergence.
We define where and are defined in (5). Similar to Lemma 5, we can get that are Lipschitz continuous on any bounded sets in ; that is, there exists constant such that Then, by (27), , we have By the formula in [17, page 59], for , we get Since is arbitrary, (36) holds for all . By (27) and (36), we obtain that is a bounded solution of (1) and , which implies that . If the convergence holds for any other subsequence satisfying (36), then it contradicts uniqueness of the solution. Therefore, we deduce that the convergence holds for original sequence , which implies that (25) holds. This completes the proof.

Remark 9. We have discussed the existence of compact attractor for the one dimensional coupled Schrödinger lattice. By the same method, we also can obtain the same result for spatial discretization of coupled Schrödinger system in higher dimensional , . It takes the following form: where is a small parameter, , , are constant potential , and is the discrete Laplacian operator defined as Define operators as Then the operator satisfies

Conflict of Interests

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

References

  1. L. Pitaevskii and S. Stingari, Bose-Einstein Condensation, Oxford Univeristy Press, Oxford, UK, 2003.
  2. A. Ambrosetti and E. Colorado, “Standing waves of some coupled nonlinear Schrödinger equations,” Journal of the London Mathematical Society, vol. 75, no. 1, pp. 67–82, 2007. View at: Publisher Site | Google Scholar | MathSciNet
  3. K. W. Chow, “Periodic solutions for a system of four coupled nonlinear Schrödinger equations,” Physics Letters A, vol. 285, no. 5-6, pp. 319–326, 2001. View at: Publisher Site | Google Scholar | MathSciNet
  4. F. T. Hioe, “Solitary waves and N coupled nonlinear equations,” Journal of Physics A, vol. 32, no. 7, pp. 1217–1223, 1999. View at: Publisher Site | Google Scholar | MathSciNet
  5. F. T. Hioe and T. S. Salter, “Special set and solutions of coupled nonlinear Schrödinger equations,” Journal of Physics A: Mathematical and General, vol. 35, no. 42, pp. 8913–8928, 2002. View at: Publisher Site | Google Scholar | MathSciNet
  6. G. M. N'Guérékata and A. Pankov, “Global well-posedness for discrete non-linear Schrödinger equation,” Applicable Analysis, vol. 89, no. 9, pp. 1513–1521, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  7. P. Panayotaros and D. Pelinovsky, “Periodic oscillations of discrete NLS solitons in the presence of diffraction management,” Nonlinearity, vol. 21, no. 6, pp. 1265–1279, 2008. View at: Publisher Site | Google Scholar | MathSciNet
  8. A. Pankov, “Gap solitons in periodic discrete no nlinear schrodinger equations,” Nonlinearity, vol. 19, no. 1, pp. 27–40, 2006. View at: Publisher Site | Google Scholar | MathSciNet
  9. A. Pankov and V. Rothos, “Periodic and decaying solutions in discrete nonlinear Schrödinger with saturable nonlinearity,” Proceedings of The Royal Society A, vol. 464, no. 2100, pp. 3219–3236, 2008. View at: Publisher Site | Google Scholar | MathSciNet
  10. V. M. Rothos and T. C. Bountis, “The dynamics of coupled perturbed discretized NLS equations,” Physica D: Nonlinear Phenomena, vol. 113, no. 2–4, pp. 326–330, 1998. View at: Publisher Site | Google Scholar | MathSciNet
  11. G. Zhang, “Breather solutions of the discrete nonlinear Schrödinger equations with unbounded potentials,” Journal of Mathematical Physics, vol. 50, no. 1, Article ID 013505, 12 pages, 2009. View at: Publisher Site | Google Scholar | MathSciNet
  12. P. W. Bates, K. Lu, and B. Wang, “Attractors for lattice dynamical systems,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 11, no. 1, pp. 143–153, 2001. View at: Publisher Site | Google Scholar | MathSciNet
  13. B. X. Wang, “Dynamics of systems on infinite lattices,” Journal of Differential Equations, vol. 221, no. 1, pp. 224–245, 2006. View at: Publisher Site | Google Scholar | MathSciNet
  14. N. I. Karachalios and A. N. Yannacopoulos, “Global existence and compact attractors for the discrete nonlinear Schrödinger equation,” Journal of Differential Equations, vol. 217, no. 1, pp. 88–123, 2005. View at: Publisher Site | Google Scholar | MathSciNet
  15. J. K. Hale, Asymptotic Behavior of Dissipative Systems, vol. 25 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, USA, 1998. View at: MathSciNet
  16. R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, vol. 68 of Applied Mathematical Sciences, Springer, New York, NY, USA, 2nd edition, 1997. View at: Publisher Site | MathSciNet
  17. T. Cazenave, An Introduction to Nonlinear Schrödinger Equations, vol. 26 of Textos des Metodos Matematicos, I.M.U.F.R.J., Rio de Janeiro, Brazil, 1996.

Copyright © 2014 Hengyan Li and Xin Zhao. 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.

667 Views | 415 Downloads | 0 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19.