Other constructions are available using dynamical systems methods, such as the reduction to a symplectic map and the homoclinic trajectory method. The stability of such solutions has been studied using both analytic and numerical techniques and they have been shown in many cases to be robust under perturbations. They can be appplied to the study of diverse physical and biological phenomena such as lattice dynamics of solids, selective bond excitations, localization of electromagnetic waves in photonic crystals with nonlinear response etc. For detailed reviews on this theme we refer to [4] , [14] , [18] . There have also been recent interesting works on more complicated solutions arising in higher dimensions than one, such as discrete vortex solutions (see eg. [24] or [27] ).

In this work we mainly consider the asymptotic behavior of solutions for the following complex lattice dynamical system (LDS)

$$\begin{array}{ccc}i{\dot{u}}_n+\frac{1}{\epsilon }(u_{n-1}-2u_n+u_{n+1})& +& i\delta u_n+F\left(u_n\right)=g_n,n\in \mathbb{Z},\epsilon >0,\end{array}$$

(1)

$$\begin{array}{ccc}{u}_n\left(0\right)& =& u_{n,0},n\in \mathbb{Z}\end{array}$$

(2)

The real parameter $\delta >0$  introduces weak damping, while the case $\delta =0$  and $g_n=0,$  for all $n\in \mathbb{Z}$  , corresponds to a conservative (NLS) lattice system.

Using techniques from the theory of infinite dimensional systems, we are able to show the global in time existence of solutions to both the conservative and the dissipative DNLS equation. This ensures the well posedeness of the model. This result is interesting as it provides a rigorous proof of the fact that blow up is not expected to occur in the discrete models as it may happen in the continuous model, a fact that has been observed numerically by a number of authors [7] . Futhermore, for a finite lattice (assuming Dirichlet boundary conditions), and by using a discrete version of the mountain pass Theorem, we prove the existence of nontrivial standing waves, in the conservative case. For the infinite dimensional case, we show non-existence of nontrivial standing waves for certain values of energy, by using a fixed point argument. For the dissipative case we may further prove a more strong result; the existence of a global attractor, that attracts all bounded sets of the infinite dimensional phase space. It can further be shown that the dynamics on this global attractor may be approximated by the dynamics of finite dimensional systems. Results of this kind, for lattice dynamical systems of first and second order are presented in the recent works [8, 38, 39] .

Many of the physically interesting solutions of the DNLS equation present strong spatial localization properties.

This is true for instance for soliton solutions or breathers. To cover such situations, we study the DNLS equation in weighted spaces, with properly chosen weight functions. For the dissipative case we may prove global existence of solutions in weighted spaces as well as the existence of a global attractor. Finally, we comment on possible generalizations of the above results in higher spatial dimensions and for more general models.

2 Formulation of the problem

Problem ( 1 )-( 2 ) is an infinite system of ordinary differential equations (infinite dimensional dynamical system). We will formulate the problem in an appropriate functional setting. In what follows, a complex Hilbert space $X$  with the sesquilinear form $B_X(\cdot ,\cdot )$  and the norm $\left|\right|\cdot |{|}_X$  , will be considered as a real Hilbert space with the scalar product $(\cdot ,\cdot {)}_X=Re{B}_X(\cdot ,\cdot )$  .Let $\mathbf{T}:D(\mathbf{T})\subseteq X\to X$  a $\mathbb{C}$  -linear, self-adjoint $\le 0$  operator with dense domain $D(\mathbf{T})$  on the Hilbert space $X$  , equipped with the scalar product $(\cdot ,\cdot {)}_X$  . The space $X_{\mathbf{T}}$  is the completion of $D(\mathbf{T})$  in the norm $\left|\right|u|{|}_{\mathbf{T}}^2=|\left|u\right|{|}_X^2-(\mathbf{T}u,u{)}_X$  , for $u\in X_{\mathbf{T}}$  , and we denote by $X_{\mathbf{T}}^{*}$  its dual and by ${\mathbf{T}}^{*}$  the extension of $\mathbf{T}$  to the dual of $D\left(T\right)$  , denoted by $D(T{)}^{*}$  . A function $F:X\to X$  is Lipschitz continuous on bounded subsets of $X$  , if for all $M>0$  there exists a constant $L\left(M\right)$  such that $\left|\right|F\left(u\right)-F\left(v\right)|{|}_X\le L(R\left)\right||u-v|{|}_X$  , for all $u,v\in B_M$  the closed ball of $X$  , of center $0$  and of radius $R$  .

For the treatment of ( 1 )-( 2 ), we shall use complexifications of the usual real sequence spaces denoted by

$$\begin{array}{ccc}{\ell }^p:=\left\{u=(u_n{)}_{n\in \mathbb{Z}}\in \mathbb{C}:|\left|u\right|{|}_{{\ell }^p}:={\left({\sum }_{n\in \mathbb{Z}}|u_n{|}^p\right)}^{\frac{1}{p}}<\infty \right\}.& & \end{array}$$

(3)

Let us recall that between ${\ell }^p$  , spaces the following elementary embedding relation [19,pg.145] holds,

$$\begin{array}{ccc}{\ell }^q\subset {\ell }^p,\left|\right|u|{|}_{{\ell }^p}\le |\left|u\right|{|}_{{\ell }^q}1\le q\le p\le \infty .& & \end{array}$$

(4)

We will see in the sequel that relation ( 4 ) has important effects concerning the global in time solvability of DNLS equation, especially in the conservative case. For $p=2$  we get the usual Hilbert space of square-summable (complex) sequences endowed with the real scalar product

$$\begin{array}{ccc}(u,v{)}_{{\ell }^2}=Re{\sum }_{n\in \mathbb{Z}}{u}_n\overline{v_n},u,v\in {\ell }^2.& & \end{array}$$

(5)

We describe next the discrete differential operators employed. For any $u,v\in {\ell }^2$  we consider the linear operators $A,B,B^{*}:{\ell }^2\to {\ell }^2$  ,

$$\begin{array}{ccc}(Bu{)}_{n\in \mathbb{Z}}& =& u_{n+1}-u_n,(B^{*}u{)}_{n\in \mathbb{Z}}=u_{n-1}-u_n,\end{array}$$

(6)

$$\begin{array}{ccc}(Au{)}_{n\in \mathbb{Z}}& =& (u_{n-1}-2u_n+u_{n+1}).\end{array}$$

(7)

Moreover it holds that

$$\begin{array}{ccc}(Bu,v{)}_{{\ell }^2}& =& (u,B^{*}v{)}_{{\ell }^2},\end{array}$$

(8)

$$\begin{array}{ccc}(Au,v{)}_{{\ell }^2}& =& -(Bu,Bv{)}_{{\ell }^2},u,v\in {\ell }^2.\end{array}$$

(9)

The functional set up will also include (see [38] ) the following bilinear form and induced norm

$$\begin{array}{ccc}(u,v{)}_{{\ell }_1^2}& :=& (Bu,Bv{)}_{{\ell }^2}+(u,v{)}_{{\ell }^2},\end{array}$$

(10)

$$\begin{array}{ccc}\left|\right|u|{|}_{{\ell }_1^2}^2& :=& \left|\right|Bu|{|}_{{\ell }^2}^2+|\left|u\right|{|}_{{\ell }^2}^2.\end{array}$$

(11)

We denote by ${\ell }_1^2$  the Hilbert space with scalar product ( 10 ) and norm ( 11 ). The usual norm of ${\ell }^2$  and ( 11 ) are equivalent, since

$$\begin{array}{ccc}\left|\right|u|{|}_{{\ell }^2}^2\le |\left|u\right|{|}_{{\ell }_1^2}^2\le c\left|\right|u|{|}_{{\ell }^2}^2,c>0.& & \end{array}$$

(12)

For local existence, we examine the following examples of nonlinearities $F:\mathbb{C}\to \mathbb{C}$  :

$\left(N_1\right)$  $F\left(0\right)=0$  and there exist constants $c>0$  , $\beta \ge 0$  such that $\left|F\right(z_1)-F(z_2\left)\right|\le c\left(\right|z_1{|}^{\beta }+\left|z_2{|}^{\beta }\right)|z_1-z_2|$  , or alternatively $\left(N_2\right)$  $F\left(z\right)=f\left(\right|z{|}^2)z$  where $f,f^{\prime }:\mathbb{R}\to \mathbb{R}$  , are continuous.

Both cases include the power-law nonlinearity $F\left(z\right)=|z{|}^{2\sigma }z$  (for $\left(N_2\right)$  we must have $1<\sigma <\infty$  ). Since we intend to apply the general theory of abstract Schrödinger equations [11, 12] , the following Lemma will be useful.

Lemma 2.1 Let $F:\mathbb{C}\to \mathbb{C}$  satisfy $\left(N_1\right)$  or $\left(N_2\right)$  . Then the function $F$  defines an operator (still denoted by $F$  ) $$F:{\ell }^2\to {\ell }^2,\left(F\right(u){)}_{n\in \mathbb{Z}}:=F(u_n),$$  which is Lipschitz continuous on bounded sets of ${\ell }^2$  .

Proof: We consider first the case $\left(N_1\right)$  . Let $u\in B_R$  a closed ball in ${\ell }^2$  of center $0$  and radius $R$  . We have from ( 3 ) that

$$\begin{array}{ccc}\left|\right|F\left(u\right)|{|}_{{\ell }^2}^2& \le & c^2{\sum }_{n\in \mathbb{Z}}|u_n{|}^{2\beta +2}=c^2|\left|u\right|{|}_{{\ell }^{2\beta +2}}^{2\beta +2}\le c^2\left|\right|u|{|}_{{\ell }^2}^{2\beta +2}\end{array}$$

(13)

hence $F:{\ell }^2\to {\ell }^2$  , is bounded on bounded sets of ${\ell }^2$  .

For $u,v\in B_R$  , we observe that

$$\begin{array}{ccc}\left|\right|F\left(u\right)-F\left(v\right)|{|}_{{\ell }^2}^2& \le & c^2{\sum }_{n\in \mathbb{Z}}\left(\right|u_n{|}^{\beta }+\left|v_n{|}^{\beta }{)}^2\right|u_n-v_n{|}^2\end{array}$$

(14)

$$\begin{array}{ccc}& \le & c^2{sup}_{n\in \mathbb{Z}}\left[\left(\right|u_n{|}^{\beta }+|v_n{|}^{\beta }{)}^2\right]{\sum }_{n\in \mathbb{Z}}|u_n-v_n{|}^2\le c^{2}4R^{2\beta }||u-v|{|}_{{\ell }^2}^2,\end{array}$$

(15)

justifying that the map $F:{\ell }^2\to {\ell }^2$  is Lipschitz continuous on bounded sets of ${\ell }^2$  with Lipschitz constant $L\left(R\right)=c2R^{\beta }$  .

For the case $\left(N_2\right)$  we have

$$\begin{array}{ccc}\left|\right|F\left(u\right)|{|}_{{\ell }^2}^2={\sum }_{n\in \mathbb{Z}}|f\left(\right|u_n{|}^2\left){|}^2\right|u_n{|}^2.& & \end{array}$$

(16)

Since $f:\mathbb{R}\to \mathbb{R}$  is continuous, there exists a monotone increasing $C^1$  -function $g:\mathbb{R}\to \mathbb{R}$  such that

$$\begin{array}{ccc}\left|f\right(\rho \left)\right|\le g\left(\right|\rho \left|\right),\text{for all}\rho \in \mathbb{R}.& & \end{array}$$

(17)

(see e.g [37,p.g796] ). Note also that $|u_n{|}^2\le |\left|u_n\right|{|}_{{\ell }^2}^2$  for all $n\in \mathbb{Z}$  . Now ( 16 ) and ( 17 ) imply the inequality

$$\begin{array}{ccc}\left|\right|F\left(u\right)|{|}_{{\ell }^2}^2\le {\sum }_{n\in \mathbb{Z}}g(\left|u_n{|}^2{)}^2\right|u_n{|}^2& \le & {\sum }_{n\in \mathbb{Z}}g\left(\right|\left|u\right|{|}_{{\ell }^2}^2{)}^2|u_n{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & \{ma{x}_{\rho \in [0,R^2]}g(\rho \left){\}}^2{\sum }_{n\in \mathbb{Z}}\right|u_n{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & K\left(R{)}^2\right|\left|u\right|{|}_{{\ell }^2}^2.\end{array}$$

(18)

with $K\left(R\right)=g\left(R^2\right)$  .

To check the Lipschitz property, we may argue as for the proof of ( 18 ). For some $\theta \in (0,1)$  and an appropriate $C^1$  -function $g_1:\mathbb{R}\to \mathbb{R}$  , we get the inequality

$$\begin{array}{ccc}\left|\right|F\left(u\right)-F\left(v\right)|{|}_{{\ell }^2}^2& \le & 2{\sum }_{n\in \mathbb{Z}}\left|f\right(\left|u_n{|}^2\right){|}^2|u_n-v_n{|}^2+2{\sum }_{n\in \mathbb{Z}}|f\left(\right|u_n{|}^2)-f(\left|v_n{|}^2\right){|}^2|v_n{|}^2,\end{array}$$

(19)

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}\left|f\right(\left|u_n{|}^2\right)-f\left(\right|v_n{|}^2\left){|}^2\right|v_n{|}^2& =& {\sum }_{n\in \mathbb{Z}}\left|f^{\prime }\right(\theta |u_n{|}^2+(1-\theta \left)\right|v_n{|}^2\left){|}^2\right(\left|u_n\right|+\left|v_n\right|{)}^2\left(\right|u_n|-|v_n\left|{)}^2\right|v_n{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & \{ma{x}_{\rho \in [0,2R^2]}{g}_1(\rho \left){\}}^2{sup}_{n\in \mathbb{Z}}\left[\left(\right|u_n|+|v_n\left|{)}^2\right|v_n{|}^2\right]{\sum }_{n\in \mathbb{Z}}\right|u_n-v_n{|}^2.\end{array}$$

(20)

A combination of ( 19 ) and ( 20 ), implies that there exists a constant $L\left(R\right)=\left(2g^2\right(R^2)+8R^4{g}_1(2R^2){)}^{1/2}$  such that

$$\begin{array}{ccc}\left|\right|F\left(u\right)-F\left(v\right)|{|}_{{\ell }^2}\le L(R\left)\right||u-v|{|}_{{\ell }^2}.& & \end{array}$$

(21)

The Lemma is proved. $\diamond$  We observe by ( 9 ), that the operator $A$  satisfies the relations

$$\begin{array}{ccc}(Au,u{)}_{{\ell }^2}& =& -\left|\right|Bu|{|}_{{\ell }^2}^2\le 0,\end{array}$$

(22)

$$\begin{array}{ccc}(Au,v{)}_{{\ell }^2}& =& (u,Av{)}_{{\ell }^2},\end{array}$$

(23)

therefore defines a self-adjoint operator on $D\left(A\right)=X={\ell }^2$  and $A\le 0$  . Note that the graph norm $$\left|\right|u|{|}_{D\left(A\right)}=|\left|Au\right|{|}_{{\ell }^2}^2+\left|\right|u|{|}_{{\ell }^2}^2,$$  is also an equivalent norm with the ${\ell }^2$  -norm since $$\left|\right|u|{|}_{{\ell }^2}^2\le {\sum }_{n\in \mathbb{Z}}|u_{n+1}-2u_n+u_{n-1}{|}^2+{\sum }_{n\in \mathbb{Z}}|u_n{|}^2\le c|\left|u\right|{|}_{{\ell }^2}^2.$$  In our case, as it is indicated by ( 10 )-( 22 )-( 23 ), we may choose $X_A={\ell }_1^2$  equipped with the norm $\left|\right|u|{|}_A^2=|\left|u\right|{|}_X^2-(Au,u{)}_X\equiv |\left|u\right|{|}_{{\ell }_1^2}$  , for $u\in {\ell }^2$  . Moreover, $D\left(A\right)=X={\ell }^2=D(A{)}^{*}$  . Obviously $A^{*}=A$  and the operator $iA:{\ell }^2\to {\ell }^2$  defined by $\left(iA\right)u=iAu$  for $u\in {\ell }^2$  , is $\mathbb{C}$  -linear and skew-adjoint and $iA$  generates a group $(\mathcal{T}(t){)}_{t\in \mathbb{R}}$  , of isometries on ${\ell }^2$  . It is easy to check that the same properties hold for the operator ${\epsilon }^{-1}A$  with $\epsilon >0$  (i.e., we may consider the equivalent norm ${\epsilon }^{-1}\left|\right|Bu|{|}_{{\ell }^2}^2+|\left|u\right|{|}_{{\ell }^2}$  ).

Thus, for fixed $T>0$  and $(u_{n,0}{)}_{n\in \mathbb{Z}}:=u_0\in {\ell }^2$  , a function $u\in C\left(\right[0,T],{\ell }^2)$  is a solution of ( 1 )-( 2 ) if and only if

$$\begin{array}{ccc}u\left(t\right)=\mathcal{T}\left(t\right)u_0+i{\int }_0^t\mathcal{T}(t-s)F_1\left(u\right(s\left)\right)ds,\left(F_1\right(u){)}_{n\in \mathbb{Z}}:=F_1(u_n)=i\delta u_n+F(u_n)-g_n.& & \end{array}$$

(24)

Our local existence result can be stated as follows:

Theorem 2.1 Let assumptions $\left(N_1\right)$  or $\left(N_2\right)$  be satisfied, assume that $g:=(g_n{)}_{n\in \mathbb{Z}}\in {\ell }^2$  . Then there exists a function $T^{*}:{\ell }^2\to (0,\infty ]$  with the following properties:

(a) For all $u_0\in {\ell }^2$  , there exists $u\in C\left(\right[0,T^{*}\left(u_0\right)),{\ell }^2)$  such that for all $0<T<T^{*}\left(u_0\right)$  , $u$  is the unique solution of ( 1 )-( 2 ) in $C\left(\right[0,T],{\ell }^2)$  (well posedeness).

(b) For all $t\in [0,T^{*}(u_0\left)\right)$  ,

$$\begin{array}{ccc}{T}^{*}\left(u_0\right)-t\ge \frac{1}{2\left(L_1\right(R)+1)}:=T_R,R=\left|\right|g|{|}_{{\ell }^2}+2|\left|u\right(t\left)\right|{|}_{{\ell }^2},L_1\left(R\right)=\delta +L\left(R\right),& & \end{array}$$

(25)

where $L\left(R\right)$  is the Lipschitz constant for the map $F:{\ell }^2\to {\ell }^2$  . Moreover the following alternative holds: (i) $T^{*}\left(u_0\right)=\infty$  , or (ii) $T^{*}\left(u_0\right)<\infty$  and ${lim}_{t\uparrow T^{*}\left(u_0\right)}\left|\right|u\left(t\right)|{|}_{{\ell }^2}=\infty$  (maximality).

(c) $T^{*}:{\ell }^2\to (0,\infty ]$  is lower semicontinuous. In addition, if $\{u_{n0}{\}}_{n\in \mathbb{N}}$  is a sequence in ${\ell }^2$  such that $u_{n0}\to u_0$  and if $T<T^{*}\left(u_0\right)$  , then $S\left(t\right)u_{0n}\to S\left(t\right)u_0$  in $C\left(\right[0,T],{\ell }^2)$  , where $S\left(t\right)u_0=u\left(t\right)$  , $t\in [0,T^{*}(u_0\left)\right)$  , denotes the solution operator (continuous dependence on initial data).

Proof: Since the result is an application of the results in [11,p.g.56-59] , we present only an outline of the proof, for the sake of completeness. It follows from Lemma  2.1 that $F_1:{\ell }^2\to {\ell }^2$  is Lipschitz continuous on bounded sets of ${\ell }^2$  with Lipschitz constant $L_1\left(R\right)=\delta +L\left(R\right)$  . For all $u_0\in {\ell }^2$  with $\left|\right|u_0|{|}_{{\ell }^2}\le M$  we set $R=2M+\left|\right|F_1\left(0\right)|{|}_{{\ell }^2}=2M+|\left|g\right|{|}_{{\ell }^2}$  . Following closely the lines of [11,Lemma4.3.2-Proposition4.3.3] and using ( 24 ) we may show that the map $${\Phi }_u\left(t\right):=\mathcal{T}\left(t\right)u_0+i{\int }_0^t\mathcal{T}(t-s)F_1\left(u\right(s\left)\right)ds,$$  is a contraction on the complete metric space $(X_R,d)$  where $$X_R:=\left\{u\in C\left(\right[0,T_R],{\ell }^2):\left|\right|u\left(t\right)|{|}_{{\ell }^2}\le R,\forall t\in [0,T_R]\right\},T_R=\frac{1}{2L_1\left(R\right)+1},d={max}_{t\in [0,T_R]}\left|\right|u\left(t\right)-v\left(t\right)|{|}_{{\ell }^2}.$$  For $u_0\in {\ell }^2$  we define  24  $T^{*}\left(u_0\right)=sup\left\{T>0:\exists S\left(t\right)u_0=u\left(t\right)\in C\left(\right[0,T],{\ell }^2)\text{solution of}\left(\right)\right\}$  . Inequality ( 25 ) follows by the contradiction argument of [11,Theorem4.3.4] : We assume instead of ( 25 ), that for $R=\left|\right|u\left(t\right)|{|}_{{\ell }^2}$  , $T^{*}\left(u_0\right)-t<T_R$  and we consider the solution $v\in C\left(\right[0,T_R],{\ell }^2)$  of $$v\left(s\right)=\mathcal{T}\left(s\right)u\left(t\right)+i{\int }_0^s\mathcal{T}(s-\sigma )F_1\left(v\right(\sigma \left)\right)d\sigma ,s\in [0,T_R].$$  Then we can define a solution $w\in C\left(\right[0,t+T_R],{\ell }^2)$  of ( 24 ) at $T=t+T_R$  , defined by

$$\begin{array}{ccc}w\left(s\right)=\{\begin{array}{cc}u\left(s\right),& s\in [0,t],\\ v(s-t),& s\in [t,t+T_R].\end{array}& & \end{array}$$

which is in contradiction with the assumption $T^{*}\left(u_0\right)<t+T_R$  . To prove (c), as in [11,Proposition4.3.7] , we set $R=2{sup}_{t\in [0,T]}\left|\right|u\left(t\right)|{|}_{{\ell }^2}$  and define ${\tau }_n=sup\left\{t\in [0,T^{*}(u_{0n}\left)\right):\left|\right|S\left(s\right)u_{0n}|{|}_{{\ell }^2}\le 2R,\forall s\in [0,t]\right\}$  . Since $u_{0n}\to u_0$  in ${\ell }^2$  , it follows that for sufficiently large $n$  , $\left|\right|u_{0n}|{|}_{{\ell }^2}<R$  . Therefore ${\tau }_n>T_R>0$  . Moreover, for all $t\le T$  and $t\le {\tau }_n$  , we get from ( 24 ) and Gronwall's Lemma the inequality

$$\begin{array}{ccc}\left|\right|S\left(t\right)u_{0n}-S\left(t\right)u_0|{|}_{{\ell }^2}\le e^{L_1\left(2R\right)T}||u_{0n}-u_0|{|}_{{\ell }^2}.& & \end{array}$$

Letting $n\to \infty$  , we get that $S\left(t\right)u_{0n}\to S\left(t\right)u_0$  in ${\ell }^2$  and ${\tau }_n>T$  , which implies that $T^{*}\left(u_{0n}\right)>T$  . $\diamond$ 

3 Global existence for the conservative case

In this section we discuss the global in time solvability of ( 1 )-( 2 ) for the case $\delta =0$  and $g_n=0$  , for all $n\in \mathbb{Z}$  (conservative case). We consider as a model problem, the following DNLS equation with arbitrary power nonlinearity

$$\begin{array}{ccc}i{\dot{u}}_n+\frac{1}{\epsilon }(u_{n-1}& -& 2u_n+u_{n+1})+|u_n{|}^{2\sigma }{u}_n=0,n\in \mathbb{Z},0\le \sigma <\infty ,\epsilon >0,\end{array}$$

(26)

$$\begin{array}{ccc}{u}_n\left(0\right)& =& u_{n,0},n\in \mathbb{Z}\end{array}$$

(27)

We also consider the (NLS) partial differential equation

$$\begin{array}{ccc}i{\partial }_{t}u+u_{xx}& +& |u{|}^{2\sigma }u=0,x\in \mathbb{R},t>0,\end{array}$$

(28)

$$\begin{array}{ccc}u(x,0)& =& u_0\left(x\right).\end{array}$$

We will show that there is a vast difference concerning the global solvability of the discrete (NLS) equation ( 26 ) with $\epsilon >0$  and its continuum limit as $\epsilon \to 0$  given by ( 28 ). Concerning ( 26 ), we have the following Theorem.

Theorem 3.1 Let $u_0\in {\ell }^2$  . For any $\epsilon >0$  , and $0\le \sigma <\infty$  , there exists a unique solution of ( 26 ) such that $u\left(t\right)\in C^1\left(\right[0,\infty ),{\ell }^2)$  .

Proof: The result is a consequence of discrete conservation laws satisfied by the solutions of ( 26 )-( 27 ). We take the scalar product of ( 26 ) with $iu$  . By using ( 22 ) we obtain

$$\begin{array}{ccc}\frac{d}{dt}\left|\right|u\left(t\right)|{|}_{{\ell }^2}^2=0,\text{or}|\left|u\right(t\left)\right|{|}_{{\ell }^2}^2=\left|\right|u_0|{|}_{{\ell }^2}^2,\text{for every}t\in [0,T^{*}\left(u_0\right)),& & \end{array}$$

(29)

i.e. $\left|\right|u\left(t\right)|{|}_{{\ell }^2}$  is uniformly bounded on the maximal interval of existence. It follows then by Theorem  2.1 (b)-(c) that $T^{*}\left(u_0\right)=\infty$  and $sup\left\{\left|\right|u\left(t\right)|{|}_{{\ell }^2},t\in [0,\infty )\right\}<\infty$  . $\diamond$ 

Remark 3.1 Theorem  3.1 can be also established by a discrete version of the conservation of energy, satisfied by solutions of ( 26 ). This approach elucidates the role of the nonlinearity exponent, in the global in time solvability of DNLS: It can be easily checked that

$$\begin{array}{ccc}E\left(u\right(t\left)\right)=E\left(u_0\right),E\left(u\right(t\left)\right):=\frac{1}{\epsilon }\left|\right|u\left(t\right)|{|}_{{\ell }_1^2}^2-\frac{1}{\sigma +1}|\left|u\right(t){|}_{{\ell }^{2\sigma +2}}^{2\sigma +2},t\in [0,T^{*}\left(u_0\right)).& & \end{array}$$

(30)

Then, by using ( 4 ) and ( 30 ) we may derive the estimate

$$\begin{array}{ccc}\left|\right|u\left(t\right)|{|}_{{\ell }_1^2}^2\le |\left|u_0\right|{|}_{{\ell }_1^2}^2+\frac{2\epsilon }{\sigma +1}\left|\right|u_0|{|}_{{\ell }^2}^{2\sigma +2}.& & \end{array}$$

(31)

As a consequence of ( 31 ) we obtain once again that $T^{*}\left(u_0\right)=\infty$  and $sup\left\{\left|\right|u\left(t\right)|{|}_{{\ell }_1^2},t\in [0,\infty )\right\}<\infty$  .

Clearly, Theorem  3.1 , covers the case of DNLS with a nonlinearity satisfying $\left(N_2\right)$  . The case of a globally Lipschitz continuous function $F:[0,\infty )\to \mathbb{R}$  with $F\left(0\right)=0$  is also included. Following [11,Section7.2] , [12,p.g53] , such a function can be extended to the complex function $F:\mathbb{C}\backslash \left\{0\right\}\to \mathbb{C}$  by setting $F\left(z\right)=\frac{z}{\left|z\right|}F\left(\right|z\left|\right)$  . It can be shown as in Lemma  2.1 that $F:{\ell }^2\to {\ell }^2$  is locally Lipschitz and $\left(F\right(u),iu{)}_{{\ell }^2}=0$  which implies ( 29 ). Setting $F_{*}\left(z\right)={\int }_0^{\left|z\right|}F\left(s\right)ds$  it can be shown as in Section 4, Lemma  4.2 that the functional $\left(V\right(u){)}_n:=-{\sum }_{n\in \mathbb{Z}}{F}_{*}(u_n)$  is a $C^1$  -functional on ${\ell }^2$  and $V^{\prime }\left(u\right)=-F\left(u\right)$  . In this case, we observe conservation of energy defined by $E\left(u\right(t\left)\right):=\frac{1}{\epsilon }\left|\right|u\left(t\right)|{|}_{{\ell }_1^2}^2+V(u)$  . $\bullet$ 

For a comparison between the discrete (NLS) equation ( 26 ) and its continuous counterpart ( 28 ), we refer to the main results concerning ( 28 ) (see [11, 12, 28] ).

For $u_0\in H^1(\mathbb{R})$  and $0\le \sigma <\infty$  there exists a unique maximal solution of ( 28 ), $u\left(t\right)\in C\left(\right[0,T_{max}),H^1(\mathbb{R}\left)\right)\cap C^1\left(\right[0,T_{max}),L^2(\mathbb{R}\left)\right)$  . In addition: If $\sigma <2$  then $T_{max}=\infty$  and $u$  is bounded in $H^1(\mathbb{R})$  . Let $\sigma \ge 2$  . Assume that $u_0\in H^1(\mathbb{R})$  such that ${\int }_{\mathbb{R}}\left|x{|}^2\right|u_0{|}^{2}dx<\infty$  (initial data with finite variance) and $E\left(u_0\right)<\infty$  . Then $T_{max}<\infty$  .

On the other hand if $\left|\right|u_0|{|}_{H^1}$  is sufficiently small, $T_{max}=\infty$  and $u$  is bounded in $H^1(\mathbb{R})$  .

It follows from Theorem  3.1 , that solutions of ( 26 ) with $\epsilon >0$  , exist globally in ${\ell }_1^2$  -norm unconditionally with respect to the degree of the nonlinearity the size of the initial data and the sign of the initial energy $E\left(u_0\right)$  . This is in agreement with the numerical observations in [7] : According to [7] , for a discrete system of the form ( 26 ), numerical simulations provide evidence that the solution of the discrete equation still exists after localization, while the solution of the continuum system blows-up in finite time. Note that the discrete version of initial data with finite variance reads as ${\sum }_{n\in \mathbb{Z}}{n}^2|u_{n,0}{|}^2<\infty$  and such data belong to ${\ell }^2$  .

4 Existence of standing wave solutions for the conservative DNLS

We conclude the discussion on the conservative DNLS, with a discussion on the existence of standing wave solutions. The standing wave solution for fixed ${\omega }^2$  is given by the ansatz

$$\begin{array}{ccc}{u}_n\left(t\right)=e^{i{\omega }^{2}t}{\phi }_n,n\in \mathbb{Z},{\phi }_n\text{independent of}t.& & \end{array}$$

(32)

We do not restrict ${\phi }_n$  to be real. We are focused on DNLS ( 26 ). It can be easily seen, that any standing wave solution of ( 26 ), satisfies the following equation

$$\begin{array}{ccc}-\frac{1}{\epsilon }({\phi }_{n-1}-2{\phi }_n+{\phi }_{n+1})+{\omega }^2{\phi }_n=|{\phi }_n{|}^{2\sigma }{\phi }_n,n\in \mathbb{Z}.& & \end{array}$$

(33)

We will study in this section two related problems. The first problem we will study is given by equation ( 33 ), with $n$  taking finite values. We consider the finite dimensional subspace of ${\ell }^2$  $${\mathbb{C}}^{2m+1}:=\left\{{\psi }_n\in {\ell }^2:{\psi }_{-(m+1)}={\psi }_{m+1}=0\right\}.$$  We consider the following nonlinear system in ${\mathbb{C}}^{2m+1}$  ,

$$\begin{array}{ccc}-\frac{1}{\epsilon }({\phi }_{n-1}-2{\phi }_n& +& {\phi }_{n+1})+{\omega }^2{\phi }_n=|{\phi }_n{|}^{2\sigma }{\phi }_n,\left|n\right|\le m,\end{array}$$

(34)

$$\begin{array}{ccc}{\phi }_{-(m+1)}& =& {\phi }_{m+1}=0.\end{array}$$

(35)

This is a finite dimensional problem, and is related to the problem of existence of standing wave solutions for the DNLS equation in a finite lattice with Dirichlet boundary conditions. Although this problem is finite dimensional, it is still of interest as any numerical approximation of the continuous space NLS, or even of the infinite dimensional DNLS will necessarily lead to a finite dimensional problem of the above type.

The set ${\mathbb{C}}^{2m+1}$  endowed with the discrete inner product and induced norm

$$\begin{array}{ccc}(\phi ,\psi {)}_2:=Re{\sum }_{n=-m}^{n=m}{\phi }_n\overline{{\psi }_n},|\left|\psi \right|{|}_2:={\sum }_{n=-m}^{n=m}|{\psi }_n{|}^2,\phi ,\psi \in {\mathbb{C}}^{2m+1},& & \end{array}$$

(36)

is a (finite dimensional) Hilbert space. We consider now the operators $$(A_1\psi {)}_{\left|n\right|\le m}:={\psi }_{n-1}-2{\psi }_n+{\psi }_{n+1},(B_1\psi {)}_{\left|n\right|\le m}={\psi }_{n+1}-{\psi }_n.$$  It can be easily checked (see also [3,pg.117] ) that

$$\begin{array}{ccc}(-A_1\psi ,\psi {)}_2={\sum }_{n=-m}^{n=m}|{\psi }_{n+1}-{\psi }_n{|}^2,(-A_1\phi ,\psi {)}_2=(B_1\phi ,B_1\psi {)}_2.& & \end{array}$$

(37)

Hence, we may also consider the inner product and the corresponding norm in ${\mathbb{C}}^{2m+1}$ 

$$\begin{array}{ccc}(\phi ,\psi {)}_{1,2}:=(B_1\phi ,B_1\psi {)}_2+(\phi ,\psi {)}_2,|\left|\psi \right|{|}_{1,2}:={\sum }_{n=-m}^{n=m}\left(\right|{\psi }_{n+1}-{\psi }_n{|}^2+\left|{\psi }_n{|}^2\right).& & \end{array}$$

(38)

The norm in ( 38 ) is equivalent with ( 36 ), and the constants in the equivalence inequality, can be chosen in order to be independent of $m$  .

The second is the problem given by equation ( 33 ), which is an infinite dimensional system. This is related with the problem of existence of standing wave solutions of the conservative DNLS equation in the infinite lattice.

In what follows we will use a variational principle to show existence of nontrivial standing wave solutions for ( 34 )-( 35 ) and a fixed point argument to show non-existence of non-trivial standing waves, for certain parameter values for the infinite dimensional problem ( 33 ).

4.1 Existence of non trivial standing wave solutions for the finite dimensional problem

We will treat this problem using a variational approach. We start with some observations and results which are common to both problems. Unless the opposite is explicitly stated, everything that follows will hold for both the finite dimensional and the infinite-dimensional system.

Solutions of ( 33 ) are critical points of the functional

$$\begin{array}{ccc}\mathbf{E}\left(\phi \right)=\frac{1}{2\epsilon }{\sum }_{n\in \mathbb{Z}}\left|\right(B\phi {)}_n{|}^2+\frac{{\omega }^2}{2}{\sum }_{n\in \mathbb{Z}}|{\phi }_n{|}^2-\frac{1}{2\sigma +2}{\sum }_{n\in \mathbb{Z}}|{\phi }_n{|}^{2\sigma +2}.& & \end{array}$$

(39)

To establish differentiability of the functional $\mathbf{E}:{\ell }^2\to \mathbb{R}$  , we shall use the following discrete version of the dominated convergence Theorem, provided by [9] .

Lemma 4.1 Let $\left\{{\psi }_{i,k}\right\}$  be a double sequence of summable functions (i.e ${\sum }_{i\in \mathbb{Z}}\left|{\psi }_{i,k}\right|<\infty$  ) and ${lim}_{k\to \infty }{\psi }_{i,k}={\psi }_i$  , for all $i\in \mathbb{Z}$  . If there exists a summable sequence $\left\{g_i\right\}$  such that $\left|{\psi }_{i,k}\right|\le g_i$  for all $i,k$  's, we have that ${lim}_{k\to \infty }{\sum }_{i\in \mathbb{Z}}{\psi }_{i,k}={\sum }_{i\in \mathbb{Z}}{\psi }_i$  .

We then have the following Lemma.

Lemma 4.2 Let $({\phi }_n{)}_{n\in \mathbb{Z}}=\phi \in {\ell }^{2\sigma +2}$  for some $0<\sigma <\infty$  . Then the functional $$\mathbf{V}\left(\phi \right)={\sum }_{n\in \mathbb{Z}}|{\phi }_n{|}^{2\sigma +2},$$  is a $C^1({\ell }^{2\sigma +2},\mathbb{R})$  functional and

$$\begin{array}{ccc}<{\mathbf{V}}^{\prime }\left(\phi \right),\psi >=(2\sigma +2)Re{\sum }_{n\in \mathbb{Z}}|{\phi }_n{|}^{2\sigma }{\phi }_n\overline{{\psi }_n},\psi =({\psi }_n{)}_{n\in \mathbb{Z}}\in {\ell }^{2\sigma +2}.& & \end{array}$$

(40)

Proof: We assume that $\phi ,\psi \in {\ell }^{2\sigma +2}$  . Then for any $n\in \mathbb{Z}$  , $0<s<1$  , we get from the mean value Theorem

$$\begin{array}{ccc}\frac{\mathbf{V}(\phi +s\psi )-\mathbf{V}\left(\psi \right)}{s}& =& \frac{1}{s}Re{\sum }_{n\in \mathbb{Z}}{\int }_0^1\frac{d}{d\theta }|{\phi }_n+\theta s{\psi }_n{|}^{2\sigma +2}d\theta \end{array}$$

$$\begin{array}{ccc}& =& (2\sigma +2)Re{\sum }_{n\in \mathbb{Z}}{\int }_0^1|{\phi }_n+s\theta {\psi }_n{|}^{2\sigma }({\phi }_n+s\theta {\psi }_n)\overline{{\psi }_n}d\theta .\end{array}$$

(41)

For the rhs of ( 41 ), we have the estimate

$$\begin{array}{ccc}(2\sigma +2){\sum }_{n\in \mathbb{Z}}|{\phi }_n+\theta s{\psi }_n{|}^{2\sigma +1}|{\psi }_n|\le (2\sigma +2\left){\sum }_{n\in \mathbb{Z}}{\left(\left|{\phi }_n\right|+\left|{\psi }_n\right|\right)}^{2\sigma +1}\right|{\psi }_n|={\sum }_{n\in \mathbb{Z}}{z}_n& & \end{array}$$

The sequence $(z_n{)}_{n\in \mathbb{Z}}$  is summable since

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}\left|z_n\right|\le c{\left({\sum }_{n\in \mathbb{Z}}\left(\right|{\phi }_n|+|{\psi }_n|{)}^{2\sigma +2}\right)}^{\frac{2\sigma +1}{2\sigma +2}}{\left({\sum }_{n\in \mathbb{Z}}|{\psi }_n{|}^{2\sigma +2}\right)}^{\frac{1}{2\sigma +2}}.& & \end{array}$$

Letting $s\to 0$  , the existence of the Gateaux derivative ( 40 ) of the functional $\mathbf{V}:{\ell }^{2\sigma +2}\to \mathbb{R}$  , follows from Lemma  4.1 (discrete dominated convergence).

We show next that the functional ${\mathbf{V}}^{\prime }:{\ell }^{2\sigma +2}\to {\ell }^{\frac{2\sigma +2}{2\sigma +1}}$  is continuous. For $({\phi }_n{)}_{n\in \mathbb{Z}}=\phi \in {\ell }^{2\sigma +2}$  , we set $F_1\left({\phi }_n\right)=|{\phi }_n{|}^{2\sigma }{\phi }_n$  . We consider a sequence ${\phi }^m\in {\ell }^{2\sigma +2}$  such that ${\phi }^m\to \phi$  in ${\ell }^{2\sigma +2}$  . We get then the inequality

$$\begin{array}{ccc}\left|\langle {\mathbf{V}}^{\prime }\left({\phi }_m\right)-{\mathbf{V}}^{\prime }\left(\phi \right),\psi \rangle \right|\le c\left|\right|F_1\left({\phi }_m\right)-F_1\left(\phi \right)\left|{|}_{{\ell }^q}\right|\left|\psi \right|{|}_{{\ell }^p},q=\frac{2\sigma +2}{2\sigma +1},p=2\sigma +2.& & \end{array}$$

(42)

We denote by $({\phi }_m{)}_n$  the $n$  -th coordinate of the sequence ${\phi }_m\in {\ell }^2$  . Since $F_1$  satisfies condition $\left(N_1\right)$  with $\beta =2\sigma$  , by setting ${\Phi }_n=\left|\right({\phi }_m{)}_n{|}^{2\sigma }+|{\phi }_n{|}^{2\sigma }$  , we get from Hölder's inequality that

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}\left|F_1\right(\left({\phi }_m{)}_n\right)-F_1\left({\phi }_n\right){|}^q& \le & c{\sum }_{n\in \mathbb{Z}}\left({\Phi }_n{)}^q\right|({\phi }_m{)}_n-{\phi }_n{|}^q\end{array}$$

$$\begin{array}{ccc}& \le & c{\left({\sum }_{n\in \mathbb{Z}}\left|\right({\phi }_m{)}_n-{\phi }_n{|}^{2\sigma +2}\right)}^{\frac{1}{2\sigma +1}}{\left({\sum }_{n\in \mathbb{Z}}({\Phi }_n{)}^{\frac{\sigma +1}{\sigma }}\right)}^{\frac{2\sigma }{2\sigma +1}}\to 0,\text{as}m\to \infty .\diamond \end{array}$$

By ( 22 ),( 23 ) and Lemma ( 4.2 ), it follows that the functional $\mathbf{E}$  defined by ( 39 ) is $C^1({\ell }^2,\mathbb{R})$  . For convenience, we recall [13,Definition4.1,pg.130] (PS-condition) and [13,Theorem6.1,pg.140] or [31,Theorem6.1,pg. 109] (Mountain Pass Theorem of Ambrosseti-Rabinowitz [1] ).

Definition 4.1 Let $X$  be a Banach space and $\mathbf{E}:X\to \mathbb{R}$  be $C^1$  . We say that $\mathbf{E}$  satisfies condition $\left(PS\right)$  if, for any sequence $\left\{u_n\right\}\in X$  such that $|\mathbf{E}(u_n\left)\right|$  is bounded and ${\mathbf{E}}^{\prime }\left(u_n\right)\to 0$  as $n\to \infty$  , there exists a convergent subsequence. If this condition is only satisfied in the region where $\mathbf{E}\ge \alpha >0$  (resp $\mathbf{E}\le -\alpha <0$  ) for all $\alpha >0$  , we say $\mathbf{E}$  satisfies condition $\left(P{S}^{+}\right)$  (resp.

$\left(P{S}^{-}\right)$  ).

Theorem 4.1 Let $\mathbf{E}:X\to \mathbb{R}$  be $C^1$  and satisfy (a) $\mathbf{E}\left(0\right)=0$  , (b) $\exists \rho >0$  , $\alpha >0:\left|\right|u|{|}_X=\rho$  implies $\mathbf{E}\left(u\right)\ge \alpha$  , (c) $\exists u_1\in X:\left|\right|u_1|{|}_X\ge \rho$  and $\mathbf{E}\left(u_1\right)<\alpha$  . Define $$\Gamma =\left\{\gamma \in C^0\left(\right[0,1],X):\gamma \left(0\right)=0,\gamma \left(1\right)=u_1\right\}.$$  Let $F_{\gamma }=\left\{\gamma \right(t)\in X:0\le t\le 1\}$  and $\mathcal{ℒ}=\{F_{\gamma }:\gamma \in \Gamma \}$  . If $\mathbf{E}$  satisfies condition $\left(PS\right)$  , then $$\beta :={inf}_{F_{\gamma }\in \mathcal{ℒ}}sup\{\mathbf{E}(v):v\in F_{\gamma }\}\ge \alpha$$  is a critical point of the functional $\mathbf{E}$  .

We shall verify definition  4.1 and the assumptions of Theorem  4.1 to show that problem ( 34 )-( 35 ), has a nontrivial solution.

Theorem 4.2 Consider the finite dimensional problem ( 34 )-( 35 ). Let $0<\sigma <\infty$  and $\epsilon >0$  . Then for any $\omega \ne 0$  , there exists a non-trivial solution of ( 34 )-( 35 ).

Proof (Condition $\left(PS\right)$  ) We observe that the norm

$$\begin{array}{ccc}\left|\right|\phi |{|}_{{\ell }_{\epsilon }^2}={\left(\frac{1}{\epsilon }\left|\right|B\phi |{|}_{{\ell }^2}^2+{\omega }^2|\phi \left|\right|{|}_{{\ell }^2}^2\right)}^{\frac{1}{2}},& & \end{array}$$

(43)

is equivalent with the norm of ${\ell }_1^2$  defined by ( 11 ) since

$$\begin{array}{ccc}min\left\{\frac{1}{\epsilon },{\omega }^2\right\}\left|\right|\phi |{|}_{{\ell }_1^2}^2\le |\left|\phi \right|{|}_{{\ell }_{\epsilon }^2}^2\le max\left\{\frac{1}{\epsilon },{\omega }^2\right\}\left|\right|\phi |{|}_{{\ell }_1^2}^2,& & \end{array}$$

(44)

and is also equivalent with the usual norm of ${\ell }^2$  , as it follows from ( 12 ). Now we let a sequence ${\phi }_m$  of ${\ell }^2$  be such that $|\mathbf{E}({\phi }_m\left)\right|<M$  for some $M>0$  and ${\mathbf{E}}^{\prime }\left({\phi }_m\right)\to 0$  as $m\to \infty$  . By using ( 39 ) and Lemma  4.2 , we observe that for $m$  sufficiently large

$$\begin{array}{ccc}M\ge \mathbf{E}\left({\phi }_m\right)-\frac{1}{2\sigma +2}\langle {\mathbf{E}}^{\prime }\left({\phi }_m\right),{\phi }_m\rangle =\left(\frac{1}{2}-\frac{1}{2\sigma +2}\right)\left|\right|{\phi }_m|{|}_{{\ell }_{\epsilon }^2}^2.& & \end{array}$$

(45)

Therefore the sequence ${\phi }_m$  is bounded. Thus, we may extract a subsequence, still denoted by ${\phi }_m$  , such that

$$\begin{array}{ccc}{\phi }_m\rightharpoonup \phi in{\ell }^2,\text{as}m\to \infty .& & \end{array}$$

(46)

Focusing now on ( 34 )-( 35 ), we observe that since in the finite dimensional space ${\mathbb{C}}^{2m+1}$  the weak convergence coincides with the strong, ${\phi }_m$  converges strongly to $\phi$  in ${\mathbb{C}}^{2m+1}$  . Therefore the functional $\mathbf{E}$  associated with the boundary value problem ( 34 )-( 35 ), satisfies condition $\left(PS\right)$  .

(Mountain Pass assumptions) We now check the conditions for the validity of the Mountain Pass Theorem for the functional $\mathbf{E}$  . We use the same notations for the equivalent norms in the finite dimensional space ${\mathbb{C}}^{2m+1}$  , with those of the norms of the infinite dimensional spaces, having in mind that we deal with finite dimensional sums.

For every $\phi \in {\mathbb{C}}^{2m+1}$  it holds that

$$\begin{array}{ccc}\left|\right|\phi |{|}_{{\ell }^{2\sigma +2}}\le {\kappa }_1|\left|\phi \right|{|}_{{\ell }_{\epsilon }^2},{\kappa }_1=\frac{1}{min\{1/\epsilon ,\omega \}}.& & \end{array}$$

The following inequality holds

$$\begin{array}{ccc}\mathbf{E}\left(\phi \right)& =& \frac{1}{2}\left|\right|\phi |{|}_{{\ell }_{\epsilon }^2}^2-\frac{1}{2\sigma +2}|\left|\phi \right|{|}_{{\ell }^{2\sigma +2}}^{2\sigma +2}\end{array}$$

$$\begin{array}{ccc}& \ge & \frac{1}{2}\left|\right|\phi |{|}_{{\ell }_{\epsilon }^2}^2-\frac{{\kappa }_1^{2\sigma +2}}{2\sigma +2}|\left|\phi \right|{|}_{{\ell }_{\epsilon }^2}^{2\sigma +2}.\end{array}$$

Choosing $\phi \in {\mathbb{C}}^{2m+1}$  such that $\left|\right|\phi |{|}_{{\ell }_{\epsilon }^2}=r$  , we observe that if $0<r<{\left(\frac{\sigma +1}{{\kappa }_1^{2\sigma +2}}\right)}^{\frac{1}{2\sigma }}$  , then

$$\begin{array}{ccc}\mathbf{E}\left(\phi \right)\ge \alpha >0,\alpha =r^2\left(\frac{1}{2}-\frac{{\kappa }_1^{2\sigma +2}}{2\sigma +2}{r}^{2\sigma }\right).& & \end{array}$$

This establishes the first condition for the validity of the Mountain Pass Theorem, for the functional $\mathbf{E}$  . To check the behaviour of $\mathbf{E}$  at infinity, let us consider $\phi =te$  where $t\in \mathbb{R}$  and $e\in {\mathbb{C}}^{2m+1}$  , $\left|\right|e|{|}_{{\ell }_{\epsilon }^2}=1$  . We have that

$$\begin{array}{ccc}\mathbf{E}\left(te\right)=\frac{t^2}{2}-\frac{1}{2\sigma +2}{t}^{2\sigma +2}\left|\right|e|{|}_{{\ell }^{2\sigma +2}}^{2\sigma +2}\to -\infty ,& & \end{array}$$

as $t\to +\infty$  . This ensures the validity of the second condition of the Mountain Pass Theorem. For fixed $\phi \ne 0$  and choosing $t$  sufficiently large, we may set $u_1=t\phi$  to obtain the existence of a non-trivial solution for ( 34 )-( 35 ).

$\diamond$ 

Remark 4.1 In theorem  4.2 we have to state explicitly that we deal with the finite dimensional problem, since otherwise we may not prove the validity of the PS condition. In the infinite dimensional case, due to the lack of the Schur property for the space ${\ell }^2$  (in contrast with the space ${\ell }^1$  which posses this property-weak convergence coincides with strong convergence), we may not conclude the strong convergence of the sequence, from its weak convergence. The generalization of the mountain pass argument in the case of the infinite dimensional conservative system is a subject of future research, and will be considered elsewhere. $\bullet$ 

4.2 Non-existence of non trivial standing waves

We now provide some non-existence results for nontrivial standing waves. The results that follow are valid for both problems ( 34 )-( 35 ) and ( 33 ).

We recall [37,Theorem18.E,pg.68] (Theorem of Lax and Milgram), which will be used to establish existence of solutions for an auxiliary linear, non-homogeneous problem, related to ( 33 ).

Theorem 4.3 Let $X$  be a Hilbert space and $A:X\to X$  be a linear continuous operator. Suppose that there exists $c^{*}>0$  such that

$$\begin{array}{ccc}Re(Au,u{)}_X\ge c^{*}|\left|u\right|{|}_X^2,\text{for all}u\in X.& & \end{array}$$

(47)

Then for given $f\in X$  , the operator equation $Au=f,u\in X$  , has a unique solution

Theorem 4.4 There exist no nontrivial standing waves of energy less than $E_c(\omega ,\sigma ):={\left(\frac{{\omega }^4}{4}\right)}^{1/4\sigma }$  .

Proof: Let $\omega \in \mathbb{R}$  , $\omega \ne 0$  , be fixed. For any $\epsilon >0$  , the operator $A_{\omega }:{\ell }^2\to {\ell }^2$  , defined by

$$\begin{array}{ccc}(A_{\omega }\phi {)}_{n\in \mathbb{Z}}& =& -\frac{1}{\epsilon }({\phi }_{n-1}-2{\phi }_n+{\phi }_{n+1})+{\omega }^2{\phi }_n,\end{array}$$

(48)

is linear and continuous and satisfies assumption ( 47 ) of Theorem  4.3 : Using ( 44 ) and ( 11 ) we get that

$$\begin{array}{ccc}(A_{\omega }\phi ,\phi {)}_{{\ell }^2}=\frac{1}{\epsilon }|\left|B\phi \right|{|}_{{\ell }^2}^2+{\omega }^2\left|\right|\phi |{|}^2\ge {\omega }^2|\left|\phi \right|{|}_{{\ell }^2}^2\text{for all}\phi \in {\ell }^2.& & \end{array}$$

(49)

For given $z\in {\ell }^2$  , we consider the linear operator equation

$$\begin{array}{ccc}(A_{\omega }\phi {)}_{n\in \mathbb{Z}}=|z_n{|}^{2\sigma }{z}_n,\phi \in {\ell }^2.& & \end{array}$$

(50)

The function $F_1:\mathbb{C}\to \mathbb{C}$  , $F_1\left(z\right)=|z_n{|}^{2\sigma }{z}_n$  satisfies Lemma  2.1 , with $\beta =2\sigma$  . Therefore assumptions of Theorem  4.3 are satisfied, and ( 50 ) has a unique solution $\phi \in {\ell }^2$  . For some $R>0$  , we consider the closed ball of ${\ell }^2$  , $B_R:=\{z\in {\ell }^2:|\left|z\right|{|}_{{\ell }^2}\le R\}$  , and we define the map $\mathcal{P}:{\ell }^2\to {\ell }^2$  , by $\mathcal{P}\left(z\right):=\phi$  where $\phi$  is the unique solution of the operator equation ( 50 ). Clearly the map $\mathcal{P}$  is well defined.

Let $z$  , $\xi \in B_R$  such that $\phi =\mathcal{P}\left(z\right)$  , $\psi =\mathcal{P}\left(\xi \right)$  . The difference $\chi :=\phi -\psi$  satisfies the equation

$$\begin{array}{ccc}(A_{\omega }\chi {)}_{n\in \mathbb{Z}}=F_1(z)-F_1(\xi ).& & \end{array}$$

(51)

Taking now the scalar product of ( 51 ) with $\chi$  and using ( 14 ), we derive

$$\begin{array}{ccc}\frac{1}{\epsilon }\left|\right|B\chi |{|}_{{\ell }^2}^2+{\omega }^2|\left|\chi \right|{|}_{{\ell }^2}^2& \le & \left|\right|F_1\left(z\right)-F_1\left(\xi \right)\left|{|}_{{\ell }^2}\right|\left|\chi \right|{|}_{{\ell }^2}\end{array}$$

$$\begin{array}{ccc}& \le & 2R^{2\sigma }\left|\right|z-\xi \left|{|}_{{\ell }^2}\right|\left|\chi \right|{|}_{{\ell }^2}\end{array}$$

$$\begin{array}{ccc}& \le & \frac{{\omega }^2}{2}\left|\right|\chi |{|}_{{\ell }^2}^2+\frac{2}{{\omega }^2}{R}^{4\sigma }||z-\xi |{|}_{{\ell }^2}^2.\end{array}$$

(52)

From ( 52 ), ( 11 ), ( 44 ), we obtain the inequality

$$\begin{array}{ccc}\left|\right|\chi |{|}_{{\ell }^2}^2=||\mathcal{P}(z)-\mathcal{P}(\xi \left)\right|{|}_{{\ell }^2}^2\le \frac{4}{{\omega }^4}{R}^{4\sigma }\left|\right|z-\xi |{|}_{{\ell }^2}^2.& & \end{array}$$

(53)

Since $\mathcal{P}\left(0\right)=0$  , from inequality ( 53 ), we derive that for $R<({\omega }^4/4{)}^{1/4\sigma }:=E_c(\omega ,\sigma )$  , the map $\mathcal{P}:B_R\to B_R$  and is a contraction. Therefore $\mathcal{P}$  , satisfies the assumptions of Banach Fixed Point Theorem and has a unique fixed point, the trivial one. Hence, for $R<E_c(\omega ,\sigma )$  the only standing wave is the trivial. $\diamond$ 

Remark 4.2 The above theorem is interesting when viewed in the following way: The ${\ell }^2$  norm corresponds to the energy of the excitations of the lattice. If the energy of the excitation is less that $E_c(\omega ,\sigma )$  the lattice may not support a standing wave of frequency $\omega$  . This relation may be seen as some kind of dispersion relation of frequency vs energy for the standing wave solutions. It contains information on the type of nonlinearity, through its dependence on the nonlinearity exponent $\sigma$  . Let us note that a similar computation to ( 52 ) shows that $\mathcal{P}$  maps also the ball $B_R$  with $R\le ({\omega }^4{)}^{1/4\sigma }:=R_1$  , to itself and obviously $E_c<R_1$  , but wthin this range, the map is not essentially a contraction. $\bullet$ 

Remark 4.3 Arguments of the same type as above, may be used for the proof of existence of unique steady states for the case of nonlinearities that do not vanish when $\phi =0$  (see the end of Remark  3.1 ). $\bullet$ 

5 Existence of global attractor in ${\ell }^2$  for the dissipative case

In this section we study the asymptotic behavior of solutions of ( 1 )-( 2 ) in the dissipative case, $\delta >0$  and $g_n\ne 0$  , i.e. taking into account the effect of a weak dissipation and of an external excitation. This time, as a model problem we shall employ the dissipative case of ( 26 )-( 27 )

$$\begin{array}{ccc}i{\dot{u}}_n+\frac{1}{\epsilon }(u_{n-1}-2u_n+u_{n+1})& +& i\delta u_n+|u_n{|}^{2\sigma }{u}_n=g_n,n\in \mathbb{Z},0\le \sigma <\infty ,\epsilon >0,\end{array}$$

(54)

$$\begin{array}{ccc}{u}_n\left(0\right)& =& u_{n,0},n\in \mathbb{Z}.\end{array}$$

(55)

We also consider the weakly damped driven NLS partial differential equation

$$\begin{array}{ccc}i{\partial }_{t}u+u_{xx}+i\delta u& +& |u{|}^{2\sigma }u=g,x\in \mathbb{R},t>0,\end{array}$$

(56)

$$\begin{array}{ccc}u(x,0)& =& u_0\left(x\right).\end{array}$$

It is well known that the dissipation and forcing terms have important effects in the long-time behavior of ( 56 ). As an example, we refer to the case $\sigma =2$  , for which has been observed numerically the existence of chaotic attractors [10, 29] , in constrast with the conservative case which is completely integrable by the inverse scattering theory, for sufficiently smooth initial data. We refer to [15, 16, 21, 22, 34] for results on the existence, finite dimensionality, and regularity of global attractors for ( 56 ).

5.1 Existence of absorbing set

This subsection is devoted to the existence of an absorbing set in ${\ell }^2$  . We have the following Lemma.

Lemma 5.1 Let $(u_{0,n}{)}_{n\in \mathbb{Z}}=u_0,(g_n{)}_{n\in \mathbb{Z}}=g\in {\ell }^2$  . For any $\epsilon >0$  and $0\le \sigma <\infty$  , the dynamical system defined by ( 54 )-( 55 )

$$\begin{array}{ccc}S\left(t\right):u_0\in {\ell }^2\to u\left(t\right)\in {\ell }^2,& & \end{array}$$

(57)

possesses a bounded absorbing set ${\mathcal{ℬ}}_0$  in ${\ell }^2$  : For every bounded set $\mathcal{ℬ}$  of ${\ell }^2$  , there exists $t_0(\mathcal{ℬ},{\mathcal{ℬ}}_0)$  such that for all $t\ge t_0(\mathcal{ℬ},{\mathcal{ℬ}}_0)$  , it holds $S\left(t\right)\mathcal{ℬ}\subset {\mathcal{ℬ}}_0$  .

Proof: Ẇe take the scalar product of ( 54 ) with $iu\left(t\right)$  and we get

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|u|{|}_{{\ell }^2}^2+\delta |\left|u\right|{|}_{{\ell }^2}^2=Im{\sum }_{n\in \mathbb{Z}}{\overline{u}}_n{g}_n\le \frac{\delta }{2}\left|\right|u|{|}_{{\ell }^2}^2+\frac{1}{2\delta }|\left|g\right|{|}_{{\ell }^2}^2.& & \end{array}$$

(58)

and therefore

$$\begin{array}{ccc}\frac{d}{dt}\left|\right|u|{|}_{{\ell }^2}^2+\delta |\left|u\right|{|}_{{\ell }^2}^2\le \frac{1}{\delta }\left|\right|g|{|}_{{\ell }^2}^2.& & \end{array}$$

(59)

From ( 59 ) we derive that $u\in L^{\infty }\left(\right[0,\infty ),{\ell }^2)$  : Gronwall's Lemma implies that

$$\begin{array}{ccc}\left|\right|u\left(t\right)|{|}_{{\ell }^2}^2\le |\left|u_0\right|{|}_{{\ell }^2}^{2}exp(-\delta t)+\frac{1}{{\delta }^2}\left|\right|g\left|{|}_{{\ell }^2}^2\right\{1-exp(-\delta t)\}.& & \end{array}$$

(60)

Letting $t\to \infty$  we infer that

$$\begin{array}{ccc}{limsup}_{t\to \infty }\left|\right|u\left(t\right)|{|}_{{\ell }^2}^2\le \frac{1}{{\delta }^2}|\left|g\right|{|}_{{\ell }^2}^2.& & \end{array}$$

Setting ${\rho }^2=\left|\right|g|{|}_{{\ell }^2}^2/{\delta }^2$  , it follows that for any number ${\rho }_1>\rho$  the ball ${\mathcal{ℬ}}_0$  of ${\ell }^2$  centered at $0$  of radius ${\rho }_1$  is an absorbing set for the semigroup $S\left(t\right)$  : If $\mathcal{ℬ}$  is a bounded set of ${\ell }^2$  included in a ball of ${\ell }^2$  centered at $0$  of radius $R$  , then for $t\ge t_0(\mathcal{ℬ},{\mathcal{ℬ}}_0)$  where

$$\begin{array}{ccc}{t}_0=\frac{1}{\delta }log\frac{R^2}{{\rho }_1^2-{\rho }^2},& & \end{array}$$

(61)

it holds $\left|\right|u\left(t\right)|{|}_{{\ell }^2}^2\le {\rho }_1^2$  , i.e. $S\left(t\right)\mathcal{ℬ}\subset {\mathcal{ℬ}}_0$  . Note that in the absence of external excitation, the dynamical system exhibits trivial dynamics, in the sense that ${limsup}_{t\to \infty }\left|\right|u\left(t\right)|{|}_{{\ell }^2}^2=0$  , as ( 60 ) clearly shows. $\diamond$ 

Remark 5.1 The existence of the absorbing set, can be shown again by working in a different way, in the equivalent norm of ${\ell }_1^2$  : By taking the scalar product of ( 54 ) with $-\dot{u}-\delta u$  we may derive the energy equation

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}J\left(u\right(t\left)\right)& +& \delta J\left(u\right(t\left)\right)=\Lambda \left(u\right(t\left)\right),J\left(u\right):=\left|\right|u|{|}_{{\ell }_1^2}^2-\epsilon \left\{\frac{1}{\sigma +1}\left|\right|u|{|}_{{\ell }^{2\sigma +2}}^{2\sigma +2}-2(g,u)\right\},\end{array}$$

(62)

$$\begin{array}{ccc}\Lambda \left(u\right)& :=& \epsilon \delta \left\{\frac{\sigma }{\sigma +1}\left|\right|u|{|}_{{\ell }^{2\sigma +2}}^{2\sigma +2}+(g,u{)}_{{\ell }^2}\right\}+Im{\sum }_{n\in \mathbb{Z}}{\overline{u}}_n{g}_n.\end{array}$$

(63)

From ( 4 ) and ( 61 ) we obtain the following estimate for $\Lambda \left(u\right)$ 

$$\begin{array}{ccc}\Lambda \left(u\right)\le \epsilon \delta \left\{\frac{\sigma }{\sigma +1}{\rho }_1^{2\sigma +2}+\left|\right|g|{|}_{{\ell }^2}{\rho }_1\right\}+\left|\right|g|{|}_{{\ell }^2}{\rho }_1={\lambda }_1.& & \end{array}$$

(64)

Gronwall's inequality applied in ( 62 ) implies that

$$\begin{array}{ccc}J\left(u\right(t\left)\right)\le J\left(u_0\right)exp(-2\delta t)+\frac{{\lambda }_1}{\delta }\left\{1-exp(-2\delta t)\right\}& & \end{array}$$

(65)

Letting $t\to \infty$  we get ${limsup}_{t\to \infty }J\left(u\right(t\left)\right)\le {\lambda }_1/\delta$  . Hence, for $t\ge t_0$ 

$$\begin{array}{ccc}\left|\right|u\left(t\right)|{|}_{{\ell }_1^2}^2\le \epsilon {\rho }_1^{2\sigma +2}+3\epsilon |\left|g\right|{|}_{{\ell }^2}{\rho }_1+\frac{1}{\delta }\left|\right|g|{|}_{{\ell }^2}{\rho }_1:={\rho }_2^2& & \end{array}$$

(66)

Relation ( 66 ), gives an estimate of the radius of the absorbing ball, involving the degree of the nonlinearity and lattice spacing. Note for example, that for sufficiently small $$0<\epsilon <\frac{{\rho }_1-\left|\right|g|{|}_{{\ell }^2}{\delta }^{-1}}{{\rho }_1^{2\sigma +1}+3\left|\right|g|{|}_{{\ell }^2}},$$  we get that ${\rho }_2<{\rho }_1$  . $\bullet$ 

Throughout the rest of the paper, for simplicity reasons we set $\epsilon =1$  .

5.2 Asymptotic compactness of the semigroup and existence of global attractor

We now prove the asymptotic compactness of the semigroup generated by the DNLS equation ( 54 )-( 55 ).

To establish this property, we follow the approach introduced in [8] and applied also in [38] for a second order lattice dynamical system. This approach is based on the derivation of estimates on the tail ends of solutions of ( 54 )-( 55 ).

Lemma 5.2 Let $(u_{0,n}{)}_{n\in \mathbb{Z}}=u_0\in \mathcal{ℬ}$  where $\mathcal{ℬ}$  is a bounded set of ${\ell }^2$  and $(g_n{)}_{n\in \mathbb{Z}}=g\in {\ell }^2$  . For any $0\le \sigma <\infty$  , and $\eta >0$  , there exist $T\left(\eta \right)$  and $K\left(\eta \right)$  such that the solution $(u_n{)}_{n\in \mathbb{Z}}=u$  of ( 54 )-( 55 ) satisfies for all $t\ge T\left(\eta \right)$  , the estimate

$$\begin{array}{ccc}{\sum }_{\left|n\right|>2M}\left|u_n\right(t){|}^2\le \frac{2\eta }{\delta },\text{for any}M>K(\eta ).& & \end{array}$$

(67)

Proof: Choose a smooth function $\theta \in C^1({\mathbb{R}}^{+},\mathbb{R})$  satisfying the following properties

$$\begin{array}{ccc}\{\begin{array}{cc}\theta \left(s\right)=0,& 0\le s\le 1\\ 0\le \theta \left(s\right)\le 1,& 1\le s\le 2\\ \theta \left(s\right)=1,& s\ge 2.\end{array}& & \end{array}$$

and

$$\begin{array}{ccc}\left|{\theta }^{{}^{\prime }}\right(s\left)\right|\le C_0,s\in {\mathbb{R}}^{+},& & \end{array}$$

(68)

for some $C_0\in \mathbb{R}$  . We shall use the shorthand notation ${\theta }_n=\theta \left(\frac{\left|n\right|}{M}\right)$  and $Re\left(u_n\right)=u_{1,n}$  , $Im\left(u_n\right)=u_{2,n}$  We now multiply the DNLS equation with the function ${\theta }_n{\overline{u}}_n$  , $n\in \mathbb{Z}$  , and we sum over all sites and keep the imaginary part. The effect of the function $\theta$  on $u_n$  is to cut-off all sites within a ball of radius comparable to $M$  and to take into account only the remote sites. This results to

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2+\delta {\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2-{\sum }_{n\in \mathbb{Z}}\left\{\right(B{u}_2{)}_n(B\theta u_1{)}_n-(B{u}_1{)}_n\left(B\theta u_2{)}_n\right\}=Im{\sum }_{n\in \mathbb{Z}}{g}_n{\theta }_n{\overline{u}}_n.& & \end{array}$$

(69)

The nonlinear term contributes a purely real term so it drops out of the above equality. We must now estimate the remaining terms. Using the Cauchy-Schwartz inequality we find for the term containing the forcing that

$$\begin{array}{ccc}Im{\sum }_{n\in \mathbb{Z}}{g}_n{\theta }_n{\overline{u}}_n\le \frac{\delta }{2}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2+\frac{1}{2\delta }{\sum }_{\left|n\right|\ge M}|g_n{|}^2.& & \end{array}$$

We now estimate the last term on the lhs of equation ( 69 ). After some algebra we obtain

$$\begin{array}{ccc}{I}_1={\sum }_{n\in \mathbb{Z}}\left\{\right(B{u}_2{)}_n(B\theta u_1{)}_n-(B{u}_1{)}_n\left(B\theta u_2{)}_n\right\}={\sum }_{n\in \mathbb{Z}}\left\{\right({\theta }_{n+1}-{\theta }_n\left)\right(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}\left)\right\}.& & \end{array}$$

We may further estimate $I_1$  as follows,

$$\begin{array}{ccc}\left|I_1\right|& \le & {sup}_{n\in \mathbb{Z}}|{\theta }_{n+1}-{\theta }_n|{\sum }_{n\in \mathbb{Z}}\left|(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1})\right|\end{array}$$

$$\begin{array}{ccc}& \le & \frac{C_1}{M}\left|\right|u|{|}_{{\ell }^2}^2\le \frac{C_1}{M}{\rho }_1^2,\end{array}$$

where $C_1$  depends only on $C_0$  . For the last inequality we applied the mean value theorem and ( 68 ) and the restriction of the solution to the absorbing ball in ${\ell }^2$  ( ${\rho }_1$  is the radius of the absorbing ball of Lemma  5.1 ).

Therefore we obtain the following differential inequality

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2+\frac{\delta }{2}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2\le \frac{C_1}{M}{\rho }_1^2+\frac{1}{2\delta }{\sum }_{\left|n\right|>M}|g_n{|}^2.& & \end{array}$$

Using the Gronwall inequality we obtain the following estimate

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2\le e^{-\delta (t-t_0)}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n\left(t_0\right){|}^2+\frac{1}{\delta }\left(\frac{2C_1}{M}{\rho }_1^2+\frac{1}{\delta }{\sum }_{\left|n\right|>M}|g_n{|}^2\right),& & \end{array}$$

for $t>t_0$  where $t_0$  is the time of entry of initial data bounded in ${\ell }^2$  , to the absorbing ball of radius ${\rho }_1$  in ${\ell }^2$  .

Since $g\in {\ell }^2$  , then for all $\eta >0$  , there exists $K\left(\eta \right)$  such that

$$\begin{array}{ccc}\frac{2C_1}{M}{\rho }_1^2+\frac{1}{\delta }{\sum }_{\left|n\right|>M}|g_n{|}^2\le \eta ,\forall M>K(\eta ).& & \end{array}$$

Therefore, for all $\eta$  and for $t>t_0$  and $M>K\left(\eta \right)$  we obtain that

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2\le e^{-\delta (t-t_0)}{\rho }_1^2+\frac{1}{\delta }\eta & & \end{array}$$

Choosing $t$  large enough we may then obtain

$$\begin{array}{ccc}{\sum }_{\left|n\right|>2M}|u_n{|}^2\le {\sum }_{n\in \mathbb{Z}}{\theta }_n|u_n{|}^2\le \frac{2\eta }{\delta }.& & \end{array}$$

This estimate holds as long as $t\ge T\left(\eta \right)$  where $$T\left(\eta \right)=t_0+\frac{1}{\delta }ln\left(\frac{\delta {\rho }_1^2}{\eta }\right)$$  and $M>K\left(\eta \right)$  . This concludes the proof of the Lemma. $\diamond$  Remark The above Lemma has an additional implication, since it allows us to obtain an estimate for the time scales required for the localization of the energy to the part of the lattice with $\left|n\right|\le M$  . $\bullet$ 

Proposition 5.1 Let $0\le \sigma <\infty$  . The semigroup $S\left(t\right)$  is asymptotically compact in ${\ell }^2$  , that is, if the sequence ${\phi }_n$  is bounded in ${\ell }^2$  and $t_n\to \infty$  , then $S\left(t_n\right){\phi }_n$  is precompact in ${\ell }^2$  .

Proof: Let us consider a bounded sequence ${\phi }_n\in {\ell }^2$  , such that $\left|\right|{\phi }_n|{|}_{{\ell }^2}\le r$  , $r>0$  , $n=1,2,...$  By Lemma  5.1 , there exists $T\left(r\right)>0$  such that $S\left(t\right){\phi }_n\subset {\mathcal{ℬ}}_0$  , $\forall t\ge T\left(r\right)$  .

As $t_n\to \infty$  there exists an integer $N_1\left(r\right)$  such that $t_n\ge T\left(r\right)$  for $n\ge N_1\left(r\right)$  and

$$\begin{array}{ccc}S\left(t_n\right){\phi }_n\subset {\mathcal{ℬ}}_0,\forall n\ge N_1\left(r\right).& & \end{array}$$

(70)

Therefore $S\left(t_n\right){\phi }_n$  is weakly relatively compact. Thus, there exists ${\phi }_0\in {\mathcal{ℬ}}_0$  and a subsequence of $S\left(t_n\right){\phi }_n$  (not relabelled) such that $S\left(t_n\right){\phi }_n\to {\phi }_0$  weakly in ${\mathcal{ℬ}}_0$  . To ensure precompactness we need to show that the above convergence is strong, that is for all $\eta >0$  , there exists $N\left(\eta \right)\in \mathbb{N}$  such that $$\left|\right|S\left(t_n\right){\phi }_n-{\phi }_0|{|}_{{\ell }^2}\le \eta ,\forall n\ge N(\eta ).$$  From ( 70 ) and the tail estimates provided by Lemma  5.2 , we may conclude the existence of some $K_1\left(\eta \right)$  and $T_1\left(\eta \right)$  such that

$$\begin{array}{ccc}{\sum }_{\left|i\right|\ge K_1\left(\eta \right)}\left|\right(S\left(t\right)S\left(T_r\right){\phi }_n{)}_i{|}^2\le \frac{{\eta }^2}{8},t\ge T_1\left(\eta \right),& & \end{array}$$

where by $\left(S\right(t){\phi }_n{)}_i$  we denote the $i$  -th coordinate of the infinite sequence $S\left(t\right){\phi }_n\in {\ell }^2$  . Since $t_n\to \infty$  we may find $N_2(r,\eta )\in \mathbb{N}$  such that $t_n\ge T_r+T\left(\eta \right)$  if $n\ge N_2(r,\eta )$  . Hence,

$$\begin{array}{ccc}{\sum }_{\left|i\right|\ge K_1\left(\eta \right)}\left|\right(S\left(t_n\right){\phi }_n{)}_i{|}^2={\sum }_{\left|i\right|\ge K_1\left(\eta \right)}\left|\right(S(t_n-T_r)S\left(T_r\right){\phi }_n{)}_i{|}^2\le \frac{{\eta }^2}{8}& & \end{array}$$

where we used the semigroup property for $S\left(t\right)$  .

Since ${\phi }_0\in {\ell }^2$  we have the following tail estimate $${\sum }_{\left|i\right|\ge K_2\left(\eta \right)}\left|\right({\phi }_0{)}_i{|}^2\le \frac{{\eta }^2}{8}.$$  Let us now choose $K\left(\eta \right)=max\left(K_1\right(\eta ),K_2(\eta \left)\right)$  . Since $S\left(t_n\right){\phi }_n\rightharpoonup {\phi }_0$  in ${\ell }^2$  , we may see that $\left(S\right(t_n){\phi }_n{)}_i\to ({\phi }_0{)}_i$  strongly in ${\mathbb{C}}^{2K\left(\eta \right)+1}$  . To prove the strong convergence we will break $\left|\right|\cdot |{|}_{{\ell }^2}$  into two distinct parts, the finite dimensional part (corresponding to ${\mathbb{C}}^{2K\left(\eta \right)+1}$  ) and the infinite dimensional part corresponding to the tails. Thus,

$$\begin{array}{ccc}\left|\right|S\left(t_n\right){\phi }_n-{\phi }_0|{|}_{{\ell }^2}^2={\sum }_{\left|i\right|\le K\left(\eta \right)}|\left(S\right(t_n){\phi }_n-{\phi }_0{)}_i{|}^2+{\sum }_{\left|i\right|>K\left(\eta \right)}|\left(S\right(t_n){\phi }_n-{\phi }_0{)}_i{|}^2& & \end{array}$$

$$\begin{array}{ccc}\le \frac{{\eta }^2}{2}+2{\sum }_{\left|i\right|>K\left(\eta \right)}\left(\right|\left(S\right(t_n){\phi }_n{)}_i{|}^2+|\left({\phi }_0{)}_i{|}^2\right)\le {\eta }^2& & \end{array}$$

where the first estimate comes from the strong convergence in the finite dimensional space ${\mathbb{C}}^{2K\left(\eta \right)+1}$  . $\diamond$  Using Proposition  5.1 and Theorem 1.1.1 of [33] , we may arrive at the main result of this section which can be stated as follows:

Theorem 5.1 Let $0\le \sigma <\infty$  . The semigroup $S\left(t\right)$  associated to ( 54 )-( 55 ) possesses a global attractor $\mathcal{A}=\omega \left({\mathcal{ℬ}}_0\right)\subset {\mathcal{ℬ}}_0\subset {\ell }^2$  which is compact, connected and maximal among the functional invariant sets in ${\ell }^2$  .

6 Finite dimensional approximation of the global attractor

This section is devoted to a result of stability of the global attractor of the dynamical system generated by ( 54 )-( 55 ) under its approximation by a global attractor of an appropriate finite dimensional dynamical system.

Let us note first that problem ( 54 )-( 55 ) could be viewed as a boundary value problem satisfying the boundary condition that the solutions are bounded at infinity. Since $u\left(t\right)\in C^1({\mathbb{R}}^{+},{\ell }^2)$  clearly $${lim}_{n\to \infty }{u}_n\left(t\right)=0,t\ge 0.$$  We seek for an approximation of ( 54 )-( 55 ) by a finite dimesional system of ordinary differential equations.

We consider the boundary value problem in ${\mathbb{C}}^{2m+1}$  ,

$$\begin{array}{ccc}i{\dot{\psi }}_n+({\psi }_{n-1}-2{\psi }_n+{\psi }_{n+1})& +& i\delta {\psi }_n+|{\psi }_n{|}^{2\sigma }{\psi }_n=g_n,|n|\le m,0\le \sigma <\infty ,\end{array}$$

(71)

$$\begin{array}{ccc}{\psi }_{-(m+1)}(\cdot )& =& {\psi }_{(m+1)}(\cdot )=0,\end{array}$$

(72)

$$\begin{array}{ccc}{\psi }_n\left(0\right)& =& {\psi }_{n,0},\left|n\right|\le m.\end{array}$$

(73)

In a similar manner to the infinite dimensional system we may show that for the well posedness and asymptotic behavior of solutions of ( 71 ) the following result holds.

Proposition 6.1 Let ${\psi }_0:=({\psi }_{n,0}{)}_{\left|n\right|\le m}\in {\mathbb{C}}^{2m+1}$  . For $0\le \sigma <\infty$  , there exists a unique solution of ( 71 )-( 73 ) such that $\psi \in C^1\left(\right[0,\infty ),{\mathbb{C}}^{2m+1})$  . The dynamical system defined by ( 71 )-( 73 )

$$\begin{array}{ccc}{S}_m\left(t\right):{\psi }_0\in {\mathbb{C}}^{2m+1}\to \psi \left(t\right)\in {\mathbb{C}}^{2m+1},& & \end{array}$$

(74)

possesses a bounded absorbing set ${\mathcal{O}}_0$  in ${\mathbb{C}}^{2m+1}$  and a global attractor ${\mathcal{A}}_m\subset {\mathcal{O}}_0\subset {\mathbf{C}}^{2m+1}$  : For every bounded set $\mathcal{O}$  of ${\ell }^2$  , there exists $t_1(\mathcal{O},{\mathcal{O}}_0)$  such that for all $t\ge t_1(\mathcal{O},{\mathcal{O}}_0)$  , it holds that $S_m\left(t\right)\mathcal{O}\subset {\mathcal{O}}_0$  and for every $t\ge 0$  $S_m\left(t\right){\mathcal{A}}_m={\mathcal{A}}_m$  .

Note that the estimates used for the proof of Proposition  6.1 (similar to those used in the proof Lemma  5.1  are independent of $m$  .

Following [38, 39] (see also [6, 20] for a similar idea applied to pdes considered in all of ${\mathbb{R}}^N$  ), we observe that the ${\mathbb{C}}^{2m+1}$  -solution of ( 71 )-( 73 ) can be extended naturally in the infinite dimensional space ${\ell }^2$  , as

$$\begin{array}{c}\left({\phi }_m\right(t){)}_{m\in \mathbb{Z}}:=\{\begin{array}{cc}\psi \left(t\right):=\left({\psi }_n\right(t){)}_{\left|n\right|\le m},& \left|n\right|\le m,\\ 0,& \left|n\right|>m.\end{array}\end{array}$$

(75)

The extension ( 75 ) will be used in order to verify that the global attractor $\mathcal{A}$  of the semigroup $S\left(t\right)$  associated with ( 54 )-( 55 ), can be approximated by the global attractor ${\mathcal{A}}_m$  of $S_m\left(t\right)$  associated to ( 71 )-( 73 ) as $m\to \infty$  .

We recall that the semidistance of two nonempty compact subsets of a metric space $X$  endowed with the metric $d_X(\cdot ,\cdot )$  is defined as

$$\begin{array}{ccc}d({\mathcal{ℬ}}_1,{\mathcal{ℬ}}_2)={sup}_{x\in {\mathcal{ℬ}}_1}{inf}_{y\in {\mathcal{ℬ}}_2}{d}_X(x,y).& & \end{array}$$

Theorem 6.1 For any $0\le \sigma <\infty$  , the global attractor ${\mathcal{A}}_m$  converges to $\mathcal{A}$  in the sense of the semidistance related to ${\ell }^2$  : ${lim}_{m\to \infty }d({\mathcal{A}}_m,\mathcal{A})=0$  .

Proof: We denote by $\mathcal{U}$  an open-neighborhood of the absorbing ball ${\mathcal{ℬ}}_0$  of $S\left(t\right)$  . Obviously $\mathcal{A}$  attracts $\mathcal{U}$  . For arbitrary $m\in \mathbb{Z}$  , we consider the semigroup $S_m\left(t\right)$  defined by Proposition  6.1 and its global attractor ${\mathcal{A}}_m$  . Exactly as in Lemma  5.1 , it can be shown that ${\mathcal{ℬ}}_0\cap {\mathbb{C}}^{2m+1}$  is also an absorbing set for $S_m\left(t\right)$  . Therefore $${\mathcal{A}}_m\subset {\mathcal{ℬ}}_0\cap {\mathbb{C}}^{2m+1}\subset \mathcal{U}\cap {\mathbb{C}}^{2m+1},$$  and ${\mathcal{A}}_m$  attracts $\mathcal{U}\cap {\mathbb{C}}^{2m+1}$  . In the light of Proposition  6.1 and [33,TheoremI1.2,pg.28] , it remains to verify that for every compact interval $I$  of ${\mathbb{R}}^{+}$  ,

$$\begin{array}{ccc}{\delta }_m(I):={sup}_{{\psi }_0\in \mathcal{U}\cap {\mathbb{C}}^{2m+1}}{sup}_{t\in I}d\left(S_m\right(t){\psi }_0,S(t\left){\psi }_0\right)\to 0,\text{as}m\to \infty .& & \end{array}$$

(76)

We consider the corresponding solution $\psi \left(t\right)=S_m\left(t\right){\psi }_0$  , $\psi \left(0\right)={\psi }_0$  , in ${\mathbb{C}}^{2m+1}$  through ( 71 )-( 73 ). Then by Proposition  6.1 , it follows that $\psi \left(t\right)\in {\mathcal{A}}_m$  for any $t\in {\mathbb{R}}^{+}$  . Therefore, if $\rho >0$  is the $m$  -independent radius of the absorbing ball ${\mathcal{O}}_m$  in ${\mathbb{C}}^{2m+1}$  , then for every $t\in {\mathbb{R}}^{+}$  , $\left|\right|\psi \left(t\right)|{|}_2^2\le {\rho }^2$  . Using ( 75 ), we clearly observe that ${\phi }_m\left(t\right)$  also satisfies the estimates

$$\begin{array}{ccc}\left|\right|{\phi }_m\left(t\right)|{|}_{{\ell }^2}^2\le {\rho }^2,|\left|{\dot{\phi }}_m\right(t\left)\right|{|}_{{\ell }^2}^2\le C(\rho ,|\left|g\right|\left|\right),& & \end{array}$$

(77)

the latter derived by ( 71 ). According to [33,Theorem10.1pg.331-332] or [39,Lemma4,pg.60] , for the justification of ( 76 ) it suffices to show that ${\phi }_m\left(t\right)$  converges to a solution $\phi \left(t\right)$  of ( 54 )-( 55 ) in an arbitrary compact interval of ${\mathbb{R}}^{+}$  , and ${\phi }_0=\phi \left(0\right)$  in a bounded set of ${\ell }^2$  . Let $I$  be an arbitrary compact interval of ${\mathbb{R}}^{+}$  .

From estimates ( 77 ), we may extract a subsequence ${\phi }_{\mu }$  of ${\phi }_m$  , such that

$$\begin{array}{ccc}{\phi }_{\mu }\left(t\right)\rightharpoonup \phi \left(t\right),\text{in}{\ell }^2,\text{as}\mu \to \infty ,\text{for every}t\in D,& & \end{array}$$

(78)

where $D$  denotes a countable dense subset of $I$  .

For any $t\in I$  we consider the sequence $${\gamma }_m\left(t\right):=\left({\phi }_m\right(t),z{)}_{{\ell }^2},z\in {\ell }^2,$$  which is diferrentiable by ( 77 ) as a function of $t$  and ${\gamma }_m^{\prime }\left(t\right)=\left({\dot{\phi }}_m\right(t),z{)}_{{\ell }^2}$  . By the mean-value Theorem, there exists $\xi \in I$  such that, for fixed $t,s\in I$ 

$$\begin{array}{ccc}\left|\right({\phi }_m\left(t\right)-{\phi }_m\left(s\right),z{)}_{{\ell }^2}|=|{\gamma }_m\left(t\right)-{\gamma }_m\left(s\right)|& =& \left|\right({\dot{\psi }}_m\left(t\right),z{)}_{{\ell }^2}\left|\right|t-s|\end{array}$$

$$\begin{array}{ccc}& \le & {sup}_{\xi \in I}\left|\right|{\dot{\phi }}_m\left(\xi \right)\left|{|}_{{\ell }^2}\right|\left|z\right|{|}_{{\ell }^2}|t-s|\le C|t-s|.\end{array}$$

It follows then, that there exists an $m$  -independent constant $C_1$  such that

$$\begin{array}{ccc}\left|\right|{\phi }_m\left(t\right)-{\phi }_m\left(s\right)|{|}_{{\ell }^2}\le C_1|t-s|,& & \end{array}$$

(79)

i.e the sequence ${\gamma }_m$  is equicontinuous. Hence by Ascoli's Theorem, it follows that the convergence ( 78 ), holds uniformly on $I$  as $\mu \to \infty$  . Summarizing, we obtain that for the subsequence ${\phi }_{\mu }$  hold the convergence relations

$$\begin{array}{ccc}& & {\phi }_{\mu }\to \phi \text{in}C(I,{\ell }^2),\end{array}$$

$$\begin{array}{ccc}& & {\phi }_{\mu }\stackrel{*}{\rightharpoonup }\phi \text{in}{L}^{\infty }(I,{\ell }^2),\end{array}$$

(80)

$$\begin{array}{ccc}& & {\dot{\phi }}_{\mu }\stackrel{*}{\rightharpoonup }\dot{\phi }\text{in}{L}^{\infty }(I,{\ell }^2).\end{array}$$

For every $z\in {\ell }^2$  and $\omega \left(t\right)\in C_0^{\infty }(I)$  we consider the formula (see [12,p.g.59] )

$$\begin{array}{ccc}{\int }_I\left(i{\dot{\phi }}_{\mu }\right(t),z{)}_{{\ell }^2}\omega (t)dt-{\int }_I(B{\phi }_{\mu }\left(t\right),Bz{)}_{{\ell }^2}\omega \left(t\right)dt& +& \delta {\int }_I\left(i{\phi }_{\mu }\right(t),z{)}_{{\ell }^2}\omega (t)dt\end{array}$$

$$\begin{array}{ccc}& +& {\int }_I\left(f\right({\phi }_{\mu }\left(t\right)),z{)}_{{\ell }^2}\omega (t)dt={\int }_I(g,z{)}_{{\ell }^2}\omega \left(t\right)dt,\end{array}$$

(81)

where $f\left({\phi }_{\mu }\right):=|{\phi }_{\mu }{|}^{2\sigma }{\phi }_{\mu }$  . Needless to say that any solution of ( 81 ), is in our case, a solution of ( 54 )-( 55 ) and vice versa. Using ( 80 ) we may pass to the limit in ( 81 ) . Note for example, that since $f:{\ell }^2\to {\ell }^2$  is Lipschitz continuous on bounded sets of ${\ell }^2$  , there exists from ( 77 ), a constant $c\left(\rho \right)$  such that $\left|\right|f\left({\phi }_{\mu }\right)-f\left(\phi \right)|{|}_{{\ell }^2}\le c(\rho \left)\right||{\phi }_{\mu }-\phi |{|}_{{\ell }^2}$  . Then from ( 80 ) we infer

$$\begin{array}{ccc}\left|{\int }_I\left(f\right({\phi }_{\mu }\left(t\right))-f(\phi \left(t\right)),z)\omega \left(t\right)dt\right|& \le & {\int }_I\left|\right|f\left({\phi }_{\mu }\right(t\left)\right)-f\left(\phi \right(t\left)\right)\left|{|}_{{\ell }^2}\right|\left|z\right|{|}_{{\ell }^2}\omega \left(t\right)dt\end{array}$$

$$\begin{array}{ccc}& \le & c{\int }_I\left|\right|{\phi }_{\mu }\left(t\right)-\phi \left(t\right)\left|{|}_{{\ell }^2}\right|\left|z\right|{|}_{{\ell }^2}\omega \left(t\right)\end{array}$$

$$\begin{array}{ccc}& \le & c{sup}_{t\in I}\left|\right|{\phi }_{\mu }\left(t\right)-\phi \left(t\right)\left|{|}_{{\ell }^2}\right|\left|z\right|{|}_{{\ell }^2}{\int }_I\left|\omega \right(t\left)\right|dt\to 0,\text{as}\mu \to \infty .\end{array}$$

Now we conclude by the same arguments as in [39,Lemma4,pg.61] : Since $I$  is arbitrary, ( 81 ) is satisfied for all $t\in {\mathbb{R}}^{+}$  , i.e. $\phi \left(t\right)$  solves ( 54 )-( 55 ). Moreover by ( 80 ) we get that $\phi \left(t\right)$  is bounded in ${\ell }^2$  for all $t\in {\mathbb{R}}^{+}$  . Therefore $\phi \left(t\right)\in \mathcal{A}$  , which implies that ${\phi }_{\mu }\left(0\right)\to \phi \left(0\right)$  and ${\phi }_0$  , is at least, in a bounded set of ${\ell }^2$  . Since the convergence holds for any other subsequence having the above formulated properties, by a contradiction argument using uniqueness, we may deduce that the convergence holds for the original sequence ${\phi }_m$  . Condition ( 76 ) is proved.

$\diamond$  .

7 The case of weighted spaces: Existence of spatially exponentially localized solutions

We now turn to the properties of the solutions of the DNLS ( 54 )-( 55 ), in weighted spaces. We consider weight function $w_n$  which is an increasing function of $\left|n\right|$  , satisfying for all $n\in \mathbb{Z}$  , the following condition:

$$\begin{array}{ccc}(W)\{\begin{array}{cc}& 1\le w_n\\ & |w_{n+1}-w_n|\le d_1{w}_n\\ & {\underline{d}}_2{w}_n\le w_{n+1}.\end{array}& & \end{array}$$

the space ${\ell }_w^2$  , $${\ell }_w^2=\{u_n\in \mathbb{C}:|\left|u\right|{|}_{{\ell }_w^2}^2:={\sum }_{n\in \mathbb{Z}}{w}_n|u_n{|}^2<\infty \}.$$  It can easily be seen that the space ${\ell }_w^2$  is a Hilbert space with the norm $\left|\right||{|}_{{\ell }_w^2}$  . Such spaces are the discrete analogue of weighted $L^2$  spaces. A choice for such a function may be the exponential function $w_n=exp\left(\lambda \right|n\left|\right)$  for $\lambda >0$  . Existence of solutions in such spaces will provide us with the existence of (exponentially) localized solutions for the DNLS equation ( 54 )-( 55 ). The use of such spaces is important in the study of existence of soliton solutions or breathers. An instance where such spaces have been used is in [5] where the existence of exponentially localized solutions has been studied in conservative lattices using a continuation argument, related to the anti-integrable limit.

Since the operator $A$  is not symmetric in the space ${\ell }_w^2$  we cannot apply Theorem  2.1 for the local existence in such spaces. We thus have to resort to general existence Theorems in Banach spaces. To this end we need to show that the operators involved are Lipschitz. This time as a model case we consider ( 1 )-( 2 ) with a nonlinearity satisfying $\left(N_2\right)$  .

We have the following,

Lemma 7.1 Let condition $\left(N_2\right)$  be fulfilled. The operator $T:{\ell }_w^2\to {\ell }_w^2$  , defined by $T\left(z\right)=f\left(\right|z{|}^2)z$  satisfies the following properties:

• (i) $T$  is bounded on bounded sets of ${\ell }_w^2$  and
• (ii) $T$  is locally Lipschitz continuous.

Proof: (i) Let $u\in B_R$  , a closed ball of ${\ell }_w^2$  of radius $R$  . It follows from condition $(W)$  that $|z_n{|}^2\le |\left|z\right|{|}_{{\ell }_w^2}^2$  for all $n\in \mathbb{Z}$  . Since $f$  is continuous, we may argue as for the proof of Lemma  2.1 , in order to get the inequality

$$\begin{array}{ccc}\left|\right|T\left(z\right)|{|}_{{\ell }_w^2}^2& =& {\sum }_{n\in \mathbb{Z}}{w}_n\left|f\right(\left|z_n{|}^2\right){|}^2|z_n{|}^2\le {\sum }_{n\in \mathbb{Z}}{w}_{n}g(\left|z_n{|}^2{)}^2\right|z_n{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & {\sum }_{n\in \mathbb{Z}}{w}_{n}g\left(\right|\left|z\right|{|}_{{\ell }_w^2}^2{)}^2|z_n{|}^2\le \{{max}_{\rho \in [0,R^2]}g\left(\rho \right){\}}^2{\sum }_{n\in \mathbb{Z}}{w}_n|z_n{|}^2\le c(R\left)\right|\left|z\right|{|}_{{\ell }_w^2}.\end{array}$$

for some positive constant $c\left(R\right)$  . Thus we conclude that the operator $T$  is bounded on bounded sets of ${\ell }_w^2$  .

(ii) Since $\left(N_2\right)$  holds, for some $\theta \in (0,1)$  we have

$$\begin{array}{ccc}\left|\right|T\left(z\right)-T\left(z^{{}^{\prime }}\right)|{|}_{{\ell }_w^2}& \le & 2{\sum }_{n\in \mathbb{Z}}{w}_n\left|f\right(\left|z_n{|}^2\right){|}^2|z_n-z_n^{{}^{\prime }}{|}^2\end{array}$$

$$\begin{array}{ccc}& & +2{\sum }_{n\in \mathbb{Z}}{w}_n\left|f^{{}^{\prime }}\right(\theta |z_n{|}^2+(1-\theta \left)\right|z_n^{{}^{\prime }}{|}^2\left){|}^2\right(\left|z_n\right|+\left|z_n^{{}^{\prime }}\right|{)}^2\left|z_n^{{}^{\prime }}{|}^2\right|z_n-z_n^{{}^{\prime }}{|}^2.\end{array}$$

A similar inequality to ( 19 ) should be obtained: We may see that

$$\begin{array}{ccc}\left|\right|T\left(z\right)-T\left(z^{{}^{\prime }}\right)|{|}_{l_w^2}^2& \le & 2{\sum }_{n\in \mathbb{Z}}{w}_n\left|f\right(\left|\right|z\left|{|}_{{\ell }_w^2}^2\right){|}^2|z_n-z_n^{{}^{\prime }}{|}^2\end{array}$$

$$\begin{array}{ccc}& & +2\left\{{max}_{\rho \in [0,2R^2]}{g}_1\right(\rho \left){\}}^{2}c\right(R\left){\sum }_{n\in \mathbb{Z}}{w}_n\right|z_n-z_n^{{}^{\prime }}{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & c_1\left(R\right)\left(\right||z-z^{{}^{\prime }}|{|}_{{\ell }_w^2}^2.\end{array}$$

This concludes the proof of the Lemma. $\diamond$ 

Lemma 7.2 The operator $A:{\ell }_w^2\to {\ell }_w^2$  , defined by $(Au{)}_n=u_{n+1}-2u_n+u_{n-1}$  is globally Lipschitz on ${\ell }_w^2$  .

Proof: Let $u,v\in B_R$  . Then $(Au{)}_{n\in \mathbb{Z}}-(Av{)}_{n\in \mathbb{Z}}=(u_{n+1}-v_{n+1})-2(u_n-v_n)+(u_{n-1}-v_{n-1})$  and it follows that $\left|\right|Au-Av|{|}_{{\ell }_w^2}\le 4||u-v|{|}_{{\ell }_w^2}$  . $\diamond$  Using the above two Lemmas we may restate the local existence result, in the case of weighted spaces.

Theorem 7.1 Let assumption $\left(N_2\right)$  be satisfied, assume that $u_0\in {\ell }_w^2$  . There exists $T^{*}\left(u_0\right)>0$  , such that for all $0<T<T^{*}\left(u_0\right)$  , there exists a unique solution of the problem ( 1 )-( 2 ), $u\left(t\right)\in C^1\left(\right[0,T],{\ell }_w^2)$  .

Proof: This time, we write ( 1 )-( 2 ), as an ordinary differential equation in ${\ell }_w^2$ 

$$\begin{array}{ccc}\dot{u}\left(t\right)& +& \Phi \left(u\right(t\left)\right)=0,\end{array}$$

$$\begin{array}{ccc}u\left(0\right)& =& u_0,\end{array}$$

where $\Phi \left(u\right)=T\left(u\right)+A\left(u\right)+i\delta u-g$  and $u\left(t\right)$  lies in ${\ell }_w^2$  . Lemmas  7.1 - 7.2 suffice for the application of standard existence and uniqueness Theorems for ordinary differential equations in Banach spaces [37,pg.78-82] . $\diamond$  In order to prove the existence of global solutions we need to obtain some a priori estimates for the solution. In the dissipative case this is achieved by proving the existence of a globally attracting ball of finite radius in ${\ell }_w^2$  .

Lemma 7.3 Assume condition $(W)$  on the weight function and that the damping coefficient satisfies

$$\begin{array}{ccc}\frac{\delta }{2}-2d_1{\underline{d}}_2^{-1/2}\ge 0.& & \end{array}$$

(82)

Let $(u_{0,n}{)}_{n\in \mathbb{Z}}=u_0,(g_n{)}_{n\in \mathbb{Z}}=g\in {\ell }_w^2$  and condition $\left(N_2\right)$  be satisfied. A dynamical system can be defined by ( 1 )-( 2 ),

$$\begin{array}{ccc}S\left(t\right):u_0\in {\ell }_w^2\to u\left(t\right)\in {\ell }_w^2,& & \end{array}$$

(83)

possessing a bounded absorbing set ${\mathcal{ℬ}}_0$  in ${\ell }_w^2$  : For every bounded set $\mathcal{ℬ}$  of ${\ell }_w^2$  , there exists $t_0(\mathcal{ℬ},{\mathcal{ℬ}}_0)$  such that for all $t\ge t_0(\mathcal{ℬ},{\mathcal{ℬ}}_0)$  , it holds $S\left(t\right)\mathcal{ℬ}\subset {\mathcal{ℬ}}_0$  .

Proof: We multiply ( 1 ) with $w_n{\overline{u}}_n$  , $n\in \mathbb{Z}$  add over all lattice sites and keep the imaginary part. Working similarly as in Lemma  5.2 , we obtain

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}{\sum }_{n\in \mathbb{Z}}{w}_n|u_n{|}^2& -& {\sum }_{n\in \mathbb{Z}}(w_{n+1}-w_n)(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1})+\delta {\sum }_{n\in \mathbb{Z}}{w}_n|u_n{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & \frac{\delta }{2}{\sum }_{n\in \mathbb{Z}}{w}_n|u_n{|}^2+\frac{1}{2\delta }{\sum }_{n\in \mathbb{Z}}{w}_n|g_n{|}^2\end{array}$$

Using the assumptions on the weight function $(W)$  , we find that

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}\left|\right(w_{n+1}-w_n\left)\right(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}\left)\right|& \le & d_1{\sum }_{n\in \mathbb{Z}}{w}_n\left|\right(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}\left)\right|\end{array}$$

$$\begin{array}{ccc}& \le & d_1\left({\sum }_{n\in \mathbb{Z}}{w}_n\left|u_{1,n}{u}_{2,n+1}\right|+{\sum }_{n\in \mathbb{Z}}{w}_n\left|u_{2,n}{u}_{1,n+1}\right|\right)\end{array}$$

(84)

We now estimate the sums in the above inequality as follows:

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}{w}_n\left|u_{1,n}{u}_{2,n+1}\right|& =& {\sum }_{n\in \mathbb{Z}}{w}_n^{1/2}{w}_n^{1/2}\left|u_{1,n}{u}_{2,n+1}\right|\le {\left({\sum }_{n\in \mathbb{Z}}{w}_n|u_{1,n}{|}^2\right)}^{1/2}{\left({\sum }_{n\in \mathbb{Z}}{w}_n|u_{2,n+1}{|}^2\right)}^{1/2}\end{array}$$

$$\begin{array}{ccc}& \le & {\underline{d}}_2^{-1/2}{\left({\sum }_{n\in \mathbb{Z}}{w}_n|u_{1,n}{|}^2\right)}^{1/2}{\left({\sum }_{n\in \mathbb{Z}}{w}_{n+1}|u_{2,n+1}{|}^2\right)}^{1/2}\le {\underline{d}}_2^{-1/2}\left|\right|u|{|}_{{\ell }_w^2}^2,\end{array}$$

and similarly,

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}{w}_n\left|u_{2,n}{u}_{1,n+1}\right|\le {\underline{d}}_2^{-1/2}\left|\right|u|{|}_{{\ell }_w^2}^2.& & \end{array}$$

Therefore,

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}\left|\right(w_{n+1}-w_n\left)\right(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}\left)\right|\le 2d_1{\underline{d}}_2^{-1/2}\left|\right|u|{|}_{{\ell }_w^2}^2.& & \end{array}$$

Thus, we obtain the differential inequality

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}\left|\right|u|{|}_{{\ell }_w^2}^2+\left(\frac{\delta }{2}-2d_1{\underline{d}}_2^{-1/2}\right)|\left|u\right|{|}_{{\ell }_w^2}^2\le \frac{1}{2\delta }\left|\right|g|{|}_{{\ell }_w^2}^2& & \end{array}$$

Using the Gronwall inequality, if $\frac{\delta }{2}-2d_1{\underline{d}}_2^{-1/2}\ge 0$  we obtain the existence of the attracting ball in ${\ell }_w^2$  .

This concludes the proof of the Proposition. $\diamond$ 

Remark 7.1 In the case of exponential weight $w_n=exp\left(\lambda n\right)$  , it appears that $d_1=exp\left(\lambda \right)-1$  and ${\underline{d}}_2=exp\left(\lambda \right)$  . The condition for existence of attracting ball becomes $8sinh(\lambda /2)\le \delta$  .

We may further prove the existence of a global attractor attracting all bounded sets of ${\ell }_w^2$  . The next Lemma provides us with tail estimates in the weighted space.

Lemma 7.4 Let $(u_{0,n}{)}_{n\in \mathbb{Z}}=u_0\in \mathcal{ℬ}$  where $\mathcal{ℬ}$  is a bounded set of ${\ell }_w^2$  and $(g_n{)}_{n\in \mathbb{Z}}=g\in {\ell }_w^2$  . Under assumptions $\left(N_2\right)$  on the nonlinearity, $(W)$  on the weight function and assumption ( 82 ) on the dissipation, for any $\eta >0$  , there exist $T\left(\eta \right)$  and $K\left(\eta \right)$  such that the solution $(u_n{)}_{n\in \mathbb{Z}}=u$  of ( 1 )-( 2 ) satisfies for all $t\ge T\left(\eta \right)$  , the estimate

$$\begin{array}{ccc}{\sum }_{\left|n\right|>2M}{w}_n|u_n{|}^2\le \frac{2\eta }{\delta },\text{for any}M>K(\eta ).& & \end{array}$$

(85)

Proof: The proof follows closely the proof of Lemma  5.2 for the corresponding tail estimates in the space ${\ell }^2$  , only that we now multiply the equation by $w_n{\theta }_n{\overline{u}}_n$  , instead of multiplying simply by ${\theta }_n{\overline{u}}_n$  . We obtain the following inequality

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}{\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|u_n{|}^2-I_2+\delta {\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|u_n{|}^2\le \frac{\delta }{2}{\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|u_n{|}^2+\frac{1}{2\delta }{\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|g_n{|}^2,& & \end{array}$$

(86)

where $$I_2={\sum }_{n\in \mathbb{Z}}\left\{\right({\theta }_{n+1}{w}_{n+1}-{\theta }_n{w}_n\left)\right(u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}\left)\right\}.$$  We rewrite $$({\theta }_{n+1}{w}_{n+1}-{\theta }_n{w}_n)=({\theta }_{n+1}-{\theta }_n)w_{n+1}+{\theta }_n(w_{n+1}-w_n).$$  Using arguments similar to those used in the proof of Lemma  5.2 and Lemma  7.3 we see that

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}|{\theta }_{n+1}-{\theta }_n|\left|w_{n+1}\right||u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}|\le \frac{C_2{\rho }_2^2}{M},& & \end{array}$$

(87)

where $C_2$  depends only on $d_1,{\underline{d}}_2$  and ${\rho }_2$  denotes the absorbing ball in ${\ell }_w^2$  . We also have the inequality

$$\begin{array}{ccc}{\sum }_{n\in \mathbb{Z}}{\theta }_n|w_{n+1}-w_n||u_{1,n}{u}_{2,n+1}-u_{2,n}{u}_{1,n+1}|\le d_1{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n\left|u_{1,n}{u}_{2,n+1}\right|+d_1{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n\left|u_{2,n}{u}_{1,n+1}\right|.& & \end{array}$$

(88)

For the first term of the rhs of ( 88 ), holds the estimate

$$\begin{array}{ccc}{d}_1{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n\left|u_{1,n}{u}_{2,n+1}\right|& \le & d_1{\left({\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{1,n}{|}^2\right)}^{1/2}{\left({\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{2,n+1}{|}^2\right)}^{1/2}\end{array}$$

$$\begin{array}{ccc}& \le & d_1{\underline{d}}_2^{-1/2}{\left({\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{1,n}{|}^2\right)}^{1/2}{\left({\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_{n+1}|u_{2,n+1}{|}^2\right)}^{1/2}.\end{array}$$

(89)

An application of Young's inequality to the rhs of ( 89 ), implies that

$$\begin{array}{ccc}{d}_1{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n\left|u_{1,n}{u}_{2,n+1}\right|& \le & \frac{1}{2}{d}_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{1,n}{|}^2+\frac{d_1^2{\underline{d}}_2^{-1}}{2d_1{\underline{d}}_2^{-1/2}}{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_{n+1}|u_{2,n+1}{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & \frac{1}{2}{d}_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{1,n}{|}^2+\frac{1}{2}{d}_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}{\theta }_{n+1}{w}_{n+1}|u_{2,n+1}{|}^2\end{array}$$

$$\begin{array}{ccc}& & +\frac{1}{2}{d}_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}({\theta }_n-{\theta }_{n+1})w_{n+1}|u_{2,n+1}{|}^2\end{array}$$

$$\begin{array}{ccc}& \le & d_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{1,n}{|}^2+\frac{C_3{\rho }_2^2}{M},\end{array}$$

(90)

and similarly for the second term of the rhs of ( 88 )

$$\begin{array}{ccc}{d}_1{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n\left|u_{2,n}{u}_{1,n+1}\right|\le d_1{\underline{d}}_2^{-1/2}{\sum }_{n\in \mathbb{Z}}{\theta }_n{w}_n|u_{2,n}{|}^2+\frac{C_4{\rho }_2^2}{M}.& & \end{array}$$

(91)

Using ( 86 )-( 91 ) we derive that

$$\begin{array}{ccc}\frac{1}{2}\frac{d}{dt}{\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|u_n{|}^2+\left(\frac{\delta }{2}-2d_1{\underline{d}}_2^{-1/2}\right){\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|u_n{|}^2\le +\frac{C{\rho }_2^2}{M}+\frac{1}{2\delta }{\sum }_{n\in \mathbb{Z}}{w}_n{\theta }_n|g_n{|}^2.& & \end{array}$$

with $C$  depending only on $d_1,{\underline{d}}_2$  . The rest follows by direct generalization of the arguments of Lemma  5.2 . $\diamond$  In complete analogy as before we may prove the asymptotic compactness of the semigroup in the weighted spaces,

Proposition 7.1 The semigroup $S\left(t\right)$  is asymptotically compact in ${\ell }_w^2$  , that is if the sequence ${\phi }_n$  is bounded in ${\ell }_w^2$  and $t_n\to \infty$  then $S\left(t_n\right){\phi }_n$  is precompact in ${\ell }_w^2$  .

This result leads to the existence of a global attractor in the weighted spaces.

Theorem 7.2 Let conditions $\left(N_2\right),(W)$  and ( 82 ) be fulfilled. The semigroup $S\left(t\right)$  associated to ( 1 )-( 2 ) possesses a global attractor $\mathcal{A}=\omega \left({\mathcal{ℬ}}_0\right)\subset {\mathcal{ℬ}}_0\subset {\ell }_w^2$  which is compact, connected and maximal among the functional invariant sets in ${\ell }_w^2$  .

8 Remarks on possible extensions

We conclude, by mentioning some other examples of DNLS-type equations for which, extensions of the results on the global solvability and the existence of global attractors, could be investigated.

A first example is provided by the DNLS with potential [35, 36] , i.e ( 1 )-( 2 ) with a nonlinearity of the form $F(u{)}_{n\in \mathbb{Z}}=F(u_n)+V(n)u$  , where $V:\mathbb{R}\to \mathbb{R}$  is a real valued potential $\left|V\right(s\left)\right|\le c$  for every $s\in \mathbb{R}$  . The potential function expresses the inhomogeneity properties of the medium.

Another interesting DNLS model, may be given by the spatial discretization of a modified NLS equation with viscocity

$$\begin{array}{ccc}i{u}_t+\frac{1}{2}{u}_{xx}-|u{|}^{2}u=i\delta u_{xx},\delta >0& & \end{array}$$

(92)

which describes the light propagation in an array of optical fibers in a weakly lossy medium. Taking into account some external excitation and considering a general nonlinearity, the discretized counterpart of ( 92 ) reads as (see [30] )

$$\begin{array}{ccc}i{\dot{u}}_n+(1-i\delta )(u_{n+1}-2u_n+u_{n-1})+f\left(\right|u_n{|}^2)u_n=g_n.& & \end{array}$$

(93)

Typical DNLS-models include equations of the form ([17, 25] )

$$\begin{array}{ccc}i{\dot{U}}_n+({\alpha }_{n+1}{U}_{n+1}+{\beta }_{n+1}{U}_{n+1})+i{\delta }_n{U}_n+{\gamma }_{n}f\left(\right|U_n{|}^2)U_n=g_n.& & \end{array}$$

For the coupling and nonlinear strength and dissipation parameter ${\alpha }_n,{\beta }_n,{\gamma }_n,{\delta }_n\in \mathbb{R}$  we assume that there exist some constants $c_1,c_2,c_3$  such that

$$\begin{array}{ccc}\left|{\alpha }_n\right|,\left|{\beta }_n\right|,\left|{\gamma }_n\right|\le c_1,c_2\le {\delta }_n\le c_3,n\in \mathbb{Z}.& & \end{array}$$

The validity of the results could be examined for DNLS-type equations considered in ${\mathbb{Z}}^N$  , $N>1$  ,

$$\begin{array}{ccc}i{\dot{u}}_n+(Au{)}_n& +& i{\delta }_n{u}_n+f\left(\right|u_n{|}^2)u_n=g_n,\end{array}$$

(94)

$$\begin{array}{ccc}{u}_n\left(0\right)& =& u_{n,0},n=(n_1,n_2,...n_N)\in {\mathbb{Z}}^N.\end{array}$$

(95)

where dissipation satisfies ( 94 ) and the linear operator $A$  has a decomposition introduced in ([39] ): It is assumed that

$$\begin{array}{ccc}A=A_1+A_2+...+A_N& & \end{array}$$

(96)

and

$$\begin{array}{ccc}{A}_j=B_j^{*}{B}_j=B_j^{*}{B}_j,\left|\right|B_j|{|}_{\mathcal{ℒ}\left({\ell }^2\right)}\le M,j=1,2,...,N,& & \end{array}$$

(97)

for some bounded linear operators $B_j:{\ell }^2\to {\ell }^2$  , and its adjoint $B_j^{*}$  , defined as

$$\begin{array}{ccc}(B_{j}u{)}_n& =& {\sum }_{l=-m_0}^{l=m_0}{C}_{j,l}{u}_{n_{jl}},\text{for all}u=(u_n{)}_{n\in {\mathbb{Z}}^N},j=1,2,...N\end{array}$$

(98)

$$\begin{array}{ccc}(B_j^{*}u{)}_n& =& {\sum }_{l=-m_0}^{l=m_0}{C}_{j,-l}{u}_{n_{jl}},n_{jl}=(n_1,n_2,...,n_{j-1},n_j+l,n_{j+1},...,n_N)\in {\mathbb{Z}}^N.\end{array}$$

(99)

Under assumptions ( 96 )-( 98 ) similar relations to ( 8 )-( 9 ) are satisfied,

$$\begin{array}{ccc}(Bu,v{)}_{{\ell }^2}=(u,B^{*}v{)}_{{\ell }^2},(Au,v{)}_{{\ell }^2}=-(Bu,Bv{)}_{{\ell }^2},u,v\in {\ell }^2.& & \end{array}$$

Especially for the conservative case, ${\delta }_n=0$  , $n\in {\mathbb{Z}}^N$  , and the power-law nonlinearity, ( 96 )-( 98 ) are sufficient for the extension of Theorem  3.1 to ( 94 )-( 95 ). Although this is a simple observation, it is important, since it is a rigorous verification that spatial dimension does not play a particular role on the global existence of the solutions as it happens in the continuous model [7] , [11, 12] . For a discussion on the existence of global attractors for ( 94 )-( 95 ), one could be based on the framework provided by [39] .

Acknowledgements We would like also to thank Professors D. Frantzeskakis, K. Hizanidis, and N. Stavrakakis for helpful discussions.

References

1. A. Ambrosetti and P. H. Rabinowitz, Dual Variational Methods in Critical Point Theory and Applications, J. Funct. Anal. 14, (1973), 349-381.
2. V. S. Afraimovich, S.N. Chow, J. K. Hale, Synchronization in lattices of coupled oscillators, Phys. D 103 (1997), no. 1-4, 442–451.
3. G. Akrivis, Finite Difference Discretization of the cubic Schrödinger equation, IMA J. Numer. Anal., 13, (1993), 115-124.
4. S. Aubry, Breathers in nonlinear lattices: Existence, linear stability and quantization, Physica D 103 (1997), 201-250.
5. C. Baesens and R. S. MacKay, Exponential localization of linear response in networks with exponentially decaying coupling, Nonlinearity 10, (1997) 931-940
6. A. V. Babin and M. I. Vishik, Attractors for Partial Differential Evolution Equations in an Unbounded Domain, Proc. Roy. Soc. Edinb., 116A, (1990), 221-243.
7. O. Bang, J. Rasmussen, P. Christiansen, Subcritical localization in the discrete nonlinear Schrödinger equation with arbitrary nonlinearity, Nonlinearity 7, (1994), 205-218.
8. P. W. Bates, K. Lu, B. Wang, Attractors for lattice dynamical systems, Internat. J. Bifur. Chaos Appl. Sci. Engrg. 11 (2001), no. 1, 143–153.
9. P. W. Bates, A. Chmaj, A Discrete Convolution Model for Phase Transitions, Arch. Rational Mech. Anal. 150 (1999) 281-305.
10. K. J. Blow, N. J. Doran, Global and Local Chaos in the Pumped Nonlinear Schrödinger Equation, Physical Review Letters, Vol. 52, No. 7, (1984), 526-539.
11. T. Cazenave, A. Haraux, Introduction to Semilinear Evolution Equations, Oxford Lecture Series in Mathematics and its Applications 13, 1998.
12. T. Cazenave, An introduction to Nonlinear Schrödinger equations, Textos des Métodos Matemáticos 26, I.M.U.F.R.J., Rio de Janeiro, 1996.
13. S. N. Chow, J. K. Hale Methods of Bifurcation Theory, Grundlehren der mathematischen Wissenschaften-A series of Comprehensive Studies in Mathematics 251, Springer-Verlag, New-York, 1982.
14. S. Flach and C. R. Willis Discrete Breathers Phys. Reports 295 (1998) 181-264
15. J M Ghidaglia, Finite Dimensional Behavior for Weakly Damped Driven Schrödinger Equation, Ann. Inst. Henri Poincaré, 5, (1988), 365-405.
16. O. Goubet, Regularity of the attractor for a weakly damped nonlinear Schrodinger equation, Appl. Anal. 60 (1996), no. 1-2, 99–119.
17. B. C. Gupta, K. Kundu, Localised states in a 1-D nonlinear chain, Phys. Lett. A 235, (1997), 176-182.
18. D. Hennig and G. P. Tsironis, Wave transmission in nonlinear lattices, Phys. Rep. 307 (1999) 333-432
19. F. Hirsch, G. Lacombe, Elements of Functional Analysis, Graduate Texts in Mathematics 192, Springer-Verlag, New-York, 1999.
20. N. Karachalios and N. Stavrakakis, Existence of Global Attractors for Semilinear Dissipative Wave Equations on ${\mathbb{R}}^N$  , J. Diff. Eqns, 157 (1999), 183-205.
21. N. Karachalios and N. Stavrakakis, Global Attractor for the Weakly Damped Driven Schrödinger Equation in $H^2(\mathbb{R})$  , NoDEA Nonlinear Differential Equations Appl., Birkhäuser, 9 (2002), 347-360.
22. P. Laurençot, Long Time Behavior for Weakly Damped Driven Nonlinear Schrödinger Equation in ${\mathbb{R}}^N,N\le 3$  , NoDEA Nonlinear Differential Equations Appl., Birkhäuser, 2 (1995), 357-369.
23. P. G. Kevrekidis, K. O. Rasmussen and A. R. Bishop, The discrete nonlinear Schrödinger equation: A survey of recent results, Int. Journal of Modern Physics B, 15 (2001), 2833-2900
24. P. G. Kevrekidis, B. A. Malomed, A. R. Bishop and D. J. Frantzeskakis, Localized vortices with a semi-integer charge in nonlinear dynamical lattices, Phys. Rev. E 65 (2002) 016605
25. S. W. Kim, S. Kim, The structure of eigenmodes and phonon scattering by discrete breathers in the discrete nonlinear Schrödinger chain, Phys. D 141, (2000), 91-103.
26. R. S. Mackay and S. Aubry, Proof of existence of breathers for time reversible or hamiltonian networks of weakly coupled oscillators Nonlinearity 7 (1994) 1623
27. B. A. Malomed, P. G. Kevrekidis, D. J. Frantzeskakis, H. E. Nistazakis and A. N. Yannacopoulos, 1 and 2-D solitons in second harmonic generating lattices, Phys. Rev. E 65 (2002) 056606
28. Y. Martel, Blow-up for the nonlinear equation in nonisotropic spaces, Nonlinear Analysis, TMA 28, no. 12, (1997), 1903-1908.
29. K. Nozaki, N. Bekki, Low Dimensional Chaos in a Driven Damped Nonlinear Schrödinger Equation, Physica D 21, (1986), 381-393.
30. M. Salerno, B. M. Malomed, V. Konotop, Shock wave dynamics in a discrete nonlinear Schrödinger equation with internal losses, Phys. Review E 62, No.6, (2000), 8651-8656.
31. M. Struwe, Variational Methods-Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems (2nd edition), A Series of Modern Surveys in Mathematics, Vol. 34, Springer-Verlag, (1996).
32. C. Sulem, P. L. Sulem, The Nonlinear Schrödinger Equation: Self-Focusing and Wave Collapse, Applied Mathematical Sciences 139, Springer-Verlag, New-York, 1999.
33. R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, 2nd edition, Springer-Verlag, New York, 1997.
34. X. Wang, An Energy Equation for the Weakly Damped Driven Nonlinear Schrödinger equation and its application to their Attractors, Physica D 88 (1995), 167-175.
35. A. N. Yannacopoulos, D. J. Frantzeskakis, C. Polymilis and K. Hizanidis, Conditions for soliton trapping in random potentials using Lyapunov exponents of stochastic ODEs, Phys. Lett. A 271 (2000) pp. 334-340
36. A. N. Yannacopoulos, D. J. Frantzeskakis, C. Polymilis and K. Hizanidis, Motion of Schrödinger solitary waves in the presence of random external potentials, Physica Scr. 65 (2002) pp. 363-368
37. E. Zeidler, Nonlinear Functional Analysis and its Applications, Vols I, II, (Fixed Point Theorems, Monotone Operators), Springer-Verlag, Berlin, 1990.
38. S. Zhou, Attractors for Second order Dynamical Systems, J. Diff. Eqns 179, (2002), 605-624.
39. S. Zhou, Attractors for first order dissipative lattice dynamical systems, Physica D 178 (2003), 51-61.