Skip to main content


Discrete Schrödinger equations in the nonperiodic and superlinear cases: homoclinic solutions

Article metrics

  • 632 Accesses

  • 2 Citations


Using variational methods, we study the existence and multiplicity of homoclinic solutions for a class of discrete Schrödinger equations in infinite m-dimensional lattices with nonlinearities being superlinear at infinity. Our results generalize some existing results in the literature by using some weaker conditions.

Introduction and main results

The discrete nonlinear Schrödinger equation is a very important discrete model, which has many important applications in many fields, such as nonlinear optics [1], biomolecular chains [2], Bose-Einstein condensates [3], and so on.

In general, discrete nonlinear Schrödinger equation can be divided into two different cases, the periodic and nonperiodic cases. So far, most results are all about the periodic cases, such as [416] and so on. Only a few results are about the nonperiodic cases, such as [1728]; in paticular, the papers [17, 21, 22, 24, 27] are only about the case of one-dimensional lattice (\(n\in\mathbb{Z}\)).

Inspired by the papers mentioned, we study homoclinic solutions (\(\lim_{\vert n \vert =\vert n_{1} \vert +\vert n_{2} \vert +\cdots+\vert n_{m} \vert \rightarrow\infty}u_{n}=0\)) of the following nonperiodic discrete nonlinear equation:

$$ -\Delta u_{n}+v_{n}u_{n}-\omega u_{n}= f_{n}(u_{n}),\quad n\in \mathbb{Z}^{m}, $$


$$\begin{aligned} \Delta u_{n}&=u_{(n_{1}+1,n_{2},\ldots ,n_{m})}+u_{(n_{1},n_{2}+1,\ldots,n_{m})}+\cdots +u_{(n_{1},n_{2},\ldots,n_{m}+1)}-2mu_{(n_{1},n_{2},\ldots,n_{m})} \\ &\quad{}+u_{(n_{1}-1,n_{2},\ldots,n_{m})}+u_{(n_{1},n_{2}-1,\ldots ,n_{m})}+u_{(n_{1},n_{2},\ldots,n_{m}-1)} \end{aligned}$$

is the discrete Laplace operator in the m-dimensional space, \(\omega \in\mathbb{R}\), \(V=\{v_{n}\}_{n\in\mathbb{Z}^{m}}\) and \(\{u_{n}\} _{n\in\mathbb{Z}^{m}}\) are sequences of real numbers, and the nonlinearities \(f_{n}\) satisfy

$$ f_{n} \bigl(e^{i\omega}s \bigr)=e^{i\omega}f_{n}(s), \quad\forall\omega\in\mathbb{R}, \forall(n,s)\in\mathbb{Z}^{m} \times \mathbb{R}. $$

Problem (1.1) comes from the study of standing waves for the discrete nonlinear Schrödinger equation

$$ i\dot{\psi}_{n}=-\Delta\psi_{n}+v_{n} \psi_{n}-f_{n}(\psi_{n}),\quad n\in \mathbb{Z}^{m}. $$

Clearly, (1.2) becomes (1.1) by the definition of standing waves (\(\psi_{n}=u_{n}e^{-i\omega t}\) with \(\lim_{\vert n \vert \rightarrow\infty}u_{n}=0\)). Therefore, the problem on the existence of standing waves of (1.2) reduces to that on the existence of homoclinic solutions of (1.1).

We use some suitable assumptions to overcome the difficulties caused by the unboundedness of \(\mathbb{Z}^{m}\) and the lack of periodic conditions. In particular, condition \((F_{3})\) is a new superquadratic condition introduced by Tang and Wu [29].

\(\mathbf{(V_{1})}\) :

\(V =\{v_{n}\}_{n\in\mathbb{Z}^{m}}\) satisfies

$$ \lim_{\vert n \vert \rightarrow+\infty }v_{n}=+\infty. $$
\(\mathbf{(F_{1})}\) :

\(f_{n}\in C(\mathbb{R}, \mathbb{R})\), \(\lim_{\vert s \vert \rightarrow0}\frac{f_{n}(s)}{s}=0\).

\(\mathbf{(F_{2})}\) :

\(\lim_{\vert s \vert \to+\infty}\frac {F_{n}(s)}{\vert s \vert ^{2}}=+\infty\) for all \(n\in\mathbb {Z}^{m}\), where \(F_{n}(s):=\int_{0}^{s}f_{n}(t)\,dt, (n,s)\in\mathbb {Z}^{m}\times\mathbb{R}\).

\(\mathbf{(F_{3})}\) :

\(\widetilde{F}_{n}(s)=f_{n}(s)s-2F_{n}(s)\geq 0\) for all \((n,s)\in\mathbb{Z}^{m}\times\mathbb{R}\), and there exist \(b>0\) and \(r_{\infty}>0\) such that

$$ \widetilde{F}_{n}(s)\geq b\frac{F_{n}(s)}{\vert s \vert ^{2}},\quad \forall n\in\mathbb{Z}^{m}, \forall \vert s \vert \geq r_{\infty}. $$
\(\mathbf{(F_{4})}\) :

\(F_{n}(0)\equiv0\) for all \(n\in\mathbb{Z}^{m}\).

\(\mathbf{(F_{5})}\) :

There is \(L>0\) such that \(\sup_{n\in\mathbb {Z}^{m},\vert s \vert =r_{\infty}}F_{n}(s)\leq L\).

Theorem 1.1

Equation (1.1) possesses at least one nontrivial homoclinic solution u if conditions \((V_{1})\) and \((F_{1})\)-\((F_{5})\) hold. Here, u is nontrivial, that is, \(u_{n}\not \equiv0\).

Theorem 1.2

Equation (1.1) has infinitely many nontrivial homoclinic solutions if conditions \((V_{1})\) and \((F_{1})\)-\((F_{5})\) hold and \(f_{n}(-s)=-f_{n}(s)\) for all \((n,s)\in \mathbb{Z}^{m}\times\mathbb{R}\).

Example 1.1

We give the following example to explain the rationality of the assumptions for the nonlinear terms \(f_{n}\). Let

$$ F_{n}(s)= \textstyle\begin{cases} a_{n}[c_{1}\vert s \vert ^{6}+c_{2}\vert s \vert ^{4}],& \vert s\vert \leq2, \\ a_{n}[\vert s \vert ^{2}\ln(1+\vert s \vert ^{2})+\sin \vert s \vert ^{2}-\ln(1+\vert s \vert ^{2})],& \vert s \vert >2, \end{cases} $$

where \(s \in\mathbb{R}\), \(0<\inf_{n\in\mathbb{Z}^{m}}a_{n}<\sup_{n\in \mathbb{Z}^{m}}a_{n}<+\infty\), and \(c_{1},c_{2}>0\) are two suitable constants. It is not hard to check that it satisfies our conditions \((F_{1})\)-\((F_{5})\).

Remark 1.1


We give detailed comparisons between our results and the results [1820, 23, 25, 26, 28] for infinite m-dimensional lattices. Our Theorems 1.1 and 1.2 generalize the results mentioned.

  1. (1)

    The results of [18, 20, 23, 25, 26, 28] are all based on conditions \((V_{1})\) and

    \(\mathbf{(F'_{1})}\) :

    \(f_{n}\in C(\mathbb{R}, \mathbb{R})\), \(\lim_{\vert s \vert \rightarrow0}\frac{f_{n}(s)}{s}=0\), and there are \(a_{1}>0\) and \(\nu>2\) such that

    $$ \bigl\vert f_{n}(s) \bigr\vert \leq a_{1} \bigl(1+\vert s \vert ^{\nu-1} \bigr), \quad\forall (n,s)\in\mathbb{Z}^{m}\times\mathbb{R}. $$

    However, we remove condition (1.5).

  2. (2)

    The authors of [25, 26] used the Ambrosetti-Rabinowitz superlinear condition

    $$ 0< \nu' F_{n}(s)\leq f_{n}(s)s \quad\mbox{for some } \nu'>2, \forall s\in\mathbb{R}\setminus\{0 \}. $$

    Obviously, (1.6) is stronger than our condition \((F_{2})\). Besides, the authors of [20, 23, 28] used the condition

    $$ \frac{f_{n}(s)}{s} \quad \mbox{ is increasing for } s>0 \mbox{ and decreasing for } s< 0, $$

    the authors of [18] used the condition

    $$ \liminf_{\vert s \vert \to+\infty}\frac {f_{n}(s)s-2F_{n}(s)}{\vert s \vert ^{\varrho}}\geq b \quad \mbox{for some } b>0, \varrho>\max\{1,\nu-2\}, \quad\forall n\in \mathbb{Z}^{m}, $$

    and the authors of [19] used the condition

    $$ \mu F_{n}(s)\leq f_{n}(s)s+\kappa s^{2},\quad\mu>2,\kappa>0, \forall(n,s)\in\mathbb{Z}^{m} \times\mathbb{R}. $$

    It is not hard to check that the functions in our Example 1.1 do not satisfy conditions (1.6)-(1.9), but they all satisfy our conditions \((F_{1})\)-\((F_{5})\). Therefore, our results extend those in the papers mentioned.

In Section 2, we establish the variational framework of (1.1) and give some preliminary lemmas. In Sections 3 and 4, we give detailed proofs of Theorems 1.1 and 1.2, respectively.

Variational structure and preliminary lemmas


$$\begin{aligned} l^{p}&\equiv l^{p} \bigl(\mathbb{Z}^{m} \bigr) \\ &:= \biggl\{ u=\{u_{n}\}: n\in\mathbb{Z}^{m}, u_{n}\in\mathbb{R}, \Vert u \Vert _{l^{p}}= \biggl( \sum _{n\in\mathbb{Z}^{m}}\vert u_{n} \vert ^{p} \biggr) ^{1/p}< \infty \biggr\} , \quad p\in[1,+\infty), \end{aligned}$$

be real sequence spaces. The following elementary embedding relations hold:

$$ l^{p}\subset l^{q}, \qquad \Vert u \Vert _{l^{q}}\leq \Vert u \Vert _{l^{p}}, \qquad1\le p\le q\le \infty, \quad\mbox{where } \Vert u \Vert _{l^{\infty}}:=\max_{n\in\mathbb{Z}^{m}} \vert u_{n} \vert . $$

Let \(L:=-\triangle+V\) be defined by \(Lu_{n}:=-\triangle u_{n}+v_{n} u_{n}\) for \(u\in l^{2}\). Let E be the form domain of L, that is, \(E:=\mathcal{D}(L^{1/2})\) (the domain of \(L^{1/2}\)). Under our assumptions, the operator L is an unbounded self-adjoint operator in \(l^{2}\). Since the operator − is bounded in \(l^{2}\), it is easy to see that \(E=\{u\in l^{2}: V^{1/2}u\in l^{2} \}\), where \(V^{1/2}u\) is defined by \(V^{1/2}u_{n}:= v^{1/2}_{n} u_{n}\) for \(u\in l^{2}\). We define respectively on E the inner product and norm by

$$ (u,v)_{E}:=(u,v)_{l^{2}}+ \bigl(L^{1/2}u,L^{1/2}v \bigr)_{l^{2}}\quad\mbox{and} \quad \Vert u \Vert _{E}=(u,u)_{E}^{1/2}, $$

where \((u,v)_{l^{2}}\) is the inner product in \(l^{2}\). Then E is a Hilbert space.

Lemma 2.1


If (1.3) holds, then we have:

  1. (1)

    The embedding maps from E into \(l^{p}\) are compact for all \(p\in[2,\infty]\), and there exist \(\gamma_{q}>0\) such that

    $$ \Vert u \Vert _{l^{q}}\leq\gamma_{q}\Vert u \Vert , \quad\forall u\in E. $$
  2. (2)

    The spectrum \(\sigma(L-\omega)\) consists of the eigenvalues:

    $$\lambda_{1}-\omega< \lambda_{2}-\omega< \cdots< \lambda_{k}-\omega< \cdots\to+\infty. $$

Let \(e_{k}\) be the eigenfunctions with \((L-\omega)e_{k} = (\lambda _{k}-\omega)e_{k}\) and \(\Vert e_{k} \Vert _{l^{2}}=1\), \(k = 1, 2,\ldots\) . Moreover, \(\{e_{k}: k = 1, 2,\ldots\}\) is an orthonormal basis of \(l^{2}\). Let \(\sharp(D)\) denote the number of i such that \(i\in D\). Let

$$ \begin{aligned} &k_{1}: = \sharp \bigl(\{i: \lambda_{i}- \omega< 0\} \bigr), \\ & k_{0}: = \sharp \bigl(\{i: \lambda _{i}-\omega=0\} \bigr), \\ & k_{2}: = k_{0}+k_{1} \end{aligned} $$


$$\begin{aligned}& E^{-}:=\operatorname{span}\{e_{1},\ldots,e_{k_{1}} \}, \\& E^{0}:=\operatorname{span}\{e_{k_{1}+1},\ldots ,e_{k_{2}} \}, \\& E^{+}:=\overline{\operatorname{span} \{e_{k_{2}+1},\ldots\}}, \end{aligned}$$

where the closure is taken with respect to the norm \(\Vert \cdot \Vert _{E}\). Then we have the orthogonal decomposition

$$ E=E^{-}\oplus E^{0}\oplus E^{+} $$

with respect to the inner product \((\cdot,\cdot)_{E}\). Now, we introduce respectively on E the following inner product and norm:

$$ (u,v):= \bigl(u^{0},v^{0} \bigr)_{l^{2}}+ \bigl(L^{\frac{1}{2}}u,L^{\frac{1}{2}}v \bigr)_{l^{2}},\quad \Vert u \Vert =(u,u)^{\frac{1}{2}}, $$

where \(u, v\in E=E^{-}\oplus E^{0}\oplus E^{+}\) with \(u=u^{-} + u^{0} + u^{+}\) and \(v=v^{-} +v^{0} + v^{+}\). Clearly, the norms \(\Vert \cdot \Vert \) and \(\Vert \cdot \Vert _{E}\) are equivalent, and the decomposition \(E=E^{-}\oplus E^{0}\oplus E^{+}\) is also orthogonal with respect to both inner products \((\cdot,\cdot)\) and \((\cdot ,\cdot)_{l^{2}}\).

In view of the above arguments, we consider the functional Φ on E defined by

$$\begin{aligned} \Phi(u)&=\frac{1}{2} \bigl((L-\omega)u,u \bigr)_{l^{2}}-\sum_{n\in\mathbb{Z}^{m}}F_{n}(u_{n}) \\ &=\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2} - \frac{1}{2} \bigl\Vert u^{-} \bigr\Vert ^{2} -\sum _{n\in\mathbb{Z}^{m}}F_{n}(u_{n}). \end{aligned}$$

Under our assumptions, \(\Phi\in C^{1}(E,\mathbb{R})\), and the derivative is given by

$$ \bigl\langle \Phi'(u),v \bigr\rangle = \bigl(u^{+},v^{+} \bigr)- \bigl(u^{-},v^{-} \bigr)-\sum_{n\in\mathbb{Z}^{m}}f_{n}(u_{n})v_{n}, $$

where \(u, v\in E=E^{-}\oplus E^{0}\oplus E^{+}\) with \(u=u^{-} + u^{0} + u^{+}\) and \(v=v^{-} +v^{0} + v^{+}\). The standard argument shows that nonzero critical points of Φ are nontrivial solutions of (1.1).

Definition 2.1

We say that

  1. (1)

    \(I\in C^{1}(X,\mathbb{R})\) satisfies \((C)\)-condition if any sequence \(\{u^{k}\}\) such that \(I(u^{k})\) is bounded and

    $$ \bigl\Vert I^{'} \bigl(u^{k} \bigr) \bigr\Vert \bigl(1+ \bigl\Vert u^{k} \bigr\Vert \bigr)\rightarrow0, \quad k\rightarrow\infty, $$

    has a convergent subsequence.

  2. (2)

    \(I\in C^{1}(X,\mathbb{R})\) satisfies \((PS)\)-condition if any sequence \(\{u^{k}\}\) such that \(I(u^{k})\) is bounded and

    $$ I' \bigl(u^{k} \bigr)\rightarrow0,\quad k\rightarrow \infty, $$

    has a convergent subsequence.

We shall use the following two lemmas to prove our main results:

Lemma 2.2


Let E be a real Banach space, and let \(I\in C^{1}(E,\mathbb{R})\) satisfy (PS)-condition. Suppose \(I(0)=0\) and

  1. (1)

    there are constants \(\rho, \alpha>0\) such that \(I|_{\partial B_{\rho}}\geq\alpha\);

  2. (2)

    there is \(e\in E\setminus B_{\rho}\) such that \(I(e)\leq0\). Then I possesses a critical value \(c\geq\alpha\). Moreover, c can be characterized as \(c=\inf_{g\in\Gamma}\max_{u\in g([0,1])}I(u)\), where \(\Gamma=\{g\in C([0,1],E)\mid g(0)=0,g(1)=e\}\).

Lemma 2.3


Let X be an infinite-dimensional Banach space such that \(X=Y\oplus Z\), where Y is finite-dimensional. Let \(I\in C^{1}(X,\mathbb{R})\) be an invariant functional. Suppose that, for any \(k\in N\), there exist \(\rho _{k}>r_{k}>0\) such that

  1. (1)

    I satisfies \((C)\)-condition for all \(c>0\);

  2. (2)

    \(a_{k}:=\max_{u\in Y_{k},\Vert u \Vert =\rho _{k}}I(u)\leq0\);

  3. (3)

    \(b_{k}:=\inf_{u\in Y_{k},\Vert u \Vert =\rho _{k}}I(u)\rightarrow\infty\), \(k\rightarrow\infty\).

Then I has an unbounded sequence of critical values.

Let \(\{e_{j}\}_{j=1}^{\infty}\) be an orthonormal basis of E, and let \(X_{j}:=\mathbb{R}e_{j}\). Then \(Y_{k}=\bigoplus_{j=1}^{k} X_{j}=\operatorname{span}\{e_{1},\ldots,e_{k}\}\) and \(Z_{k}=\overline {\bigoplus_{j=k}^{\infty}X_{j}}=\overline{\operatorname{span}\{ e_{k},\ldots\}}\) for all \(k\in\mathbb{N}\).

Lemma 2.4

If assumptions \((V_{1})\) and \((F_{1})\)-\((F_{5})\) hold, then Φ satisfies (C)-condition.


We assume that, for any sequence \(\{u^{k}\}\subset E\), \(\Phi (u^{k})\) is bounded and \(\Vert \Phi'(u^{k}) \Vert (1+\Vert u^{k} \Vert )\rightarrow0\). Then there exists a constant \(M>0\) such that

$$ \bigl\vert \Phi \bigl(u^{k} \bigr) \bigr\vert \leq M,\quad \bigl\Vert \Phi' \bigl(u^{k} \bigr) \bigr\Vert \bigl(1+ \bigl\Vert u^{k} \bigr\Vert \bigr)\leq M. $$

(i) First, we prove the boundedness of \(\{u^{k}\}\). If not, then \(\Vert u^{k} \Vert \rightarrow\infty\) as \(k\rightarrow\infty\). Let \(v^{k}=\frac{u^{k}}{\Vert u^{k} \Vert }\). Then \(\Vert v^{k} \Vert =1\). We can assume that \(v^{k}\rightharpoonup v=\{v_{n}\}_{n\in\mathbb {Z}^{m}}\) in E passing to a subsequence, which, together with Lemma 2.1, implies \(v^{k}\rightarrow v\) in \(l^{q}\) for \(2\leq q<\infty\) and \(v_{n}^{k}\rightarrow v_{n}\) for all \(n\in\mathbb {Z}^{m}\). By the space decomposition we have

$$ \Vert u \Vert ^{2}= \bigl\Vert u^{+} \bigr\Vert ^{2}+ \bigl\Vert u^{-}+u^{0} \bigr\Vert ^{2}. $$

Then, by (2.2), (2.5), and (2.6) we have

$$ \sum_{n\in\mathbb{Z}^{m}}\frac{F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}}= \frac{1}{2}-\frac{\Phi(u^{k})}{\Vert u^{k} \Vert ^{2}}-\frac {1}{2}\frac{\Vert (u^{k})^{-} \Vert ^{2}+\Vert (u^{k})^{-}+(u^{k})^{0} \Vert ^{2}}{\Vert u^{k} \Vert ^{2}}, $$

which implies that, for k large enough, we have

$$ \sum_{n\in\mathbb{Z}^{m}}\frac{F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}}\leq \frac{1}{2}+\frac{M}{\Vert u^{k} \Vert ^{2}}\leq1. $$

If \(v\neq0\), then we let \(A:=\{n\in\mathbb{Z}^{m}:\vert v_{n} \vert > 0\}\). For all \(n\in A\), by \(v_{n}^{k}=\frac {u_{n}^{k}}{\Vert u^{k} \Vert }\) and \(\Vert u^{k} \Vert \rightarrow\infty\) we have \(\lim_{k\rightarrow\infty} \vert u_{n}^{k} \vert =\infty\). It follows from \((F_{2})\) that \(F_{n}(s)\ge0\) for all \((n,s)\in\mathbb {Z}^{m}\times\mathbb{R}\) (see AX 1 in Appendix) and the Fatou lemma that

$$\begin{aligned} \lim_{k\rightarrow\infty}\sum_{n\in\mathbb{Z}^{m}} \frac {F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} &\geq\lim_{k\rightarrow\infty}\sum _{n\in A}\frac {F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} \\ &=\lim_{k\rightarrow\infty}\sum_{n\in A} \frac {F_{n}(u_{n}^{k})}{\vert u_{n}^{k} \vert ^{2}}\bigl\vert v_{n}^{k} \bigr\vert ^{2} \\ &=+\infty, \end{aligned}$$

which contradicts with (2.8). So, in this case, \(\{u^{k}\}\) is bounded in E.

If \(v=0\), then \(v^{k}\rightarrow0\) in \(l^{q}\), \(2\leq q<\infty\), and \(v_{n}^{k}\rightarrow0\) for all \(n\in\mathbb{Z}^{m}\). Since \(\dim (E^{-}\oplus E^{0})<\infty\), it follows from (2.5) and (2.7) that, for k large enough, there exists a constant \(l_{0}>0\) such that

$$\begin{aligned} \sum_{n\in\mathbb{Z}^{m}}\frac{F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} &\geq \frac{1}{2}-\frac{M}{\Vert u^{k} \Vert ^{2}}-\frac{l_{0}}{2}\sum _{n\in\mathbb{Z}^{m}} \biggl(\frac{\vert (u_{n}^{k})^{-} \vert ^{2}+\vert (u_{n}^{k})^{-}+(u_{n}^{k})^{0} \vert ^{2}}{\Vert u^{k} \Vert ^{2}} \biggr) \\ &=\frac{1}{2}-\frac{M}{\Vert u^{k} \Vert ^{2}}-\frac{l_{0}}{2}\sum _{n\in\mathbb{Z}^{m}} \bigl( \bigl\vert \bigl(v_{n}^{k} \bigr)^{-} \bigr\vert ^{2}+ \bigl\vert \bigl(v_{n}^{k} \bigr)^{-}+ \bigl(v_{n}^{k} \bigr)^{0} \bigr\vert ^{2} \bigr) \\ &\geq\frac{1}{4}. \end{aligned}$$

Then by \((F_{1})\), for any \(\varepsilon>0\), there exists \(\sigma>0\) such that

$$ \bigl\vert f_{n}(s) \bigr\vert \leq\varepsilon \vert s \vert , \quad \vert s \vert \leq\sigma, n\in\mathbb{Z}^{m}. $$

It follows from \(F_{n}(s)\ge0\) for all \((n,s)\in\mathbb{Z}^{m}\times \mathbb{R}\) (see AX 1 in Appendix) and \((F_{4})\) that, for all \(n\in\mathbb{Z}^{m}\) and \(\vert s \vert \leq\sigma\),

$$\begin{aligned} F_{n}(s)&= \bigl\vert F_{n}(s)-F_{n}(0) \bigr\vert \\ &= \biggl\vert \int_{0}^{1}f_{n}(ts)s\,dt \biggr\vert \\ &\leq \int_{0}^{1} \bigl\vert f_{n}(ts) \bigr\vert \vert s \vert \, dt \\ &\leq \int_{0}^{1}\varepsilon \vert ts \vert \vert s \vert \,dt \leq \varepsilon \vert s \vert ^{2}. \end{aligned}$$

Let \(\varepsilon=1\). Then there exists \(\sigma_{0}>0\) such that (2.10) holds for all \(n\in\mathbb{Z}^{m}\) and \(\vert s \vert \leq\sigma_{0}\). By \((F_{3})\) we have \(\frac{d}{d\vartheta} \vartheta^{-2}F_{n}(\vartheta s)\ge0\) for all \(\vartheta\geq1\), so \(\vartheta^{-2}F_{n}(\vartheta s)\) is nondecreasing in ϑ for \(\vartheta\geq1\). Then by \((F_{5})\), for all \(\vert s \vert \leq r_{\infty}\), we have

$$ F_{n}(s)\leq F_{n} \biggl( \frac{r_{\infty}s}{ \vert s \vert } \biggr) \biggl(\frac{\vert s \vert }{r_{\infty}} \biggr)^{2}\leq F_{n} \biggl(\frac{r_{\infty}s}{ \vert s \vert } \biggr)\leq L. $$

Then since \(F_{n}(s)\ge0\) for all \((n,s)\in\mathbb{Z}^{m}\times \mathbb{R}\) (see AX 1 in Appendix), by \((F_{3})\), (2.3), (2.5), (2.10), (2.11), and the Sobolev embedding theorem, for k large enough, we have

$$\begin{aligned} 0&\leq\sum_{n\in\mathbb{Z}^{m}}\frac{F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} \\ &\leq\sum_{\{n\in\mathbb{Z}^{m},\vert u^{k} \vert >r_{\infty}\} }\frac{F_{n}(u_{n}^{k})}{\vert u_{n}^{k} \vert ^{2}} \bigl\vert v_{n}^{k} \bigr\vert ^{2} +\sum _{\{n\in\mathbb{Z}^{m},\vert u^{k} \vert \leq\sigma_{0}\}}\frac {F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} \\ &\quad{}+\sum_{\{n\in\mathbb{Z}^{m},\sigma_{0}\leq \vert u^{k} \vert \leq r_{\infty}\}}\frac{F_{n}(u_{n}^{k})}{\Vert u^{k} \Vert ^{2}} \\ &\leq \bigl\Vert v^{k} \bigr\Vert _{l^{\infty}}^{2} \sum_{\{n\in\mathbb{Z}^{m},\vert u^{k} \vert >r_{\infty}\}}\frac {F_{n}(u_{n}^{k})}{\vert u_{n}^{k} \vert ^{2}} +\sum _{\{n\in\mathbb{Z}^{m},\vert u^{k} \vert \leq\sigma_{0}\}} \bigl\vert v_{n}^{k} \bigr\vert ^{2} \\ &\quad{}+\sum_{\{n\in\mathbb{Z}^{m},\sigma_{0}\leq \vert u^{k} \vert \leq r_{\infty}\}}\frac{F_{n}(u_{n}^{k})\vert u_{n}^{k} \vert ^{2}}{\sigma_{0}^{2}\Vert u^{k} \Vert ^{2}} \\ &\leq\frac{\Vert v^{k} \Vert _{l^{\infty}}^{2}}{b}\sum_{\{n\in \mathbb{Z}^{m},\vert u^{k} \vert >r_{\infty}\}} \widetilde{F}_{n}(u_{n}^{k}+ \biggl(1+ \frac{L}{\sigma_{0}^{2}} \biggr) \bigl\Vert v^{k} \bigr\Vert _{l^{2}}^{2} \\ &\leq\frac{\Vert v^{k} \Vert _{l^{\infty}}^{2}}{b} \bigl(2\Phi \bigl(u^{k} \bigr)- \bigl\langle \Phi' \bigl(u^{k} \bigr),u^{k} \bigr\rangle \bigr)+ \biggl(1+\frac{L}{\sigma_{0}^{2}} \biggr) \bigl\Vert v^{k} \bigr\Vert _{l^{2}}^{2} \\ &\leq\frac{3M}{b} \bigl\Vert v^{k} \bigr\Vert _{l^{\infty}}^{2}+ \biggl(1+\frac{L}{\sigma_{0}^{2}} \biggr) \bigl\Vert v^{k} \bigr\Vert _{l^{2}}^{2} \rightarrow0. \end{aligned}$$

Clearly, (2.12) contradicts with (2.9). Thus \(\Vert u^{k} \Vert \) is still bounded in this case.

(ii) Second, we prove that \(\{u^{k}\}\) has a convergent subsequence in E. The boundedness of \(\{u^{k}\}\) implies that \(u^{k}\rightharpoonup u\) in \(E^{+}\) passing to a subsequence, where \(u=\{u_{n}\}_{n\in\mathbb {Z}^{m}}\). Now we have

$$ \sum_{n\in\mathbb{Z}^{m}} \bigl[f_{n} \bigl(u_{n}^{k} \bigr) \bigl(u_{n}^{k}-u_{n} \bigr) \bigr]\rightarrow0,\quad k\rightarrow\infty. $$

Note that Lemma 2.1 implies that \(u^{k}\rightarrow u\) in \(l^{q}\) for all \(2\leq q<\infty\), so we have

$$ \bigl\Vert u^{k}-u \bigr\Vert _{l^{2}} \rightarrow0. $$

The boundedness of \(\{u^{k}\}\) and Lemma 2.1 imply that \(\Vert u^{k} \Vert _{q}<\infty\) for all \(2\leq q<\infty\). Then by \((F_{1})\), (2.14), and the Hölder inequality, for \(\varepsilon>0\), there exists \(\delta>0\) such that, for \(\vert s \vert <\delta\), we have

$$\begin{aligned} \biggl\vert \sum_{n\in\mathbb{Z}^{m}} \bigl[f_{n} \bigl(u_{n}^{k} \bigr) \bigl(u_{n}^{k}-u_{n} \bigr) \bigr] \biggr\vert &\leq\sum_{n\in\mathbb {Z}^{m}} \bigl\vert f_{n} \bigl(u_{n}^{k} \bigr) \bigl(u_{n}^{k}-u_{n} \bigr) \bigr\vert \\ &\leq\sum_{n\in\mathbb{Z}^{m}} \bigl(\varepsilon \bigl\vert u_{n}^{k} \bigr\vert \bigl\vert u_{n}^{k}-u_{n} \bigr\vert \bigr) \\ &=\varepsilon\sum_{n\in\mathbb{Z}^{m}} \bigl( \bigl\vert u_{n}^{k} \bigr\vert \bigl\vert u_{n}^{k}-u_{n} \bigr\vert \bigr) \\ &\leq\varepsilon \bigl\Vert u^{k} \bigr\Vert _{l^{2}} \bigl\Vert u^{k}-u \bigr\Vert _{l^{2}} \rightarrow0. \end{aligned}$$

So (2.13) holds. Therefore, since \(\Phi'(u^{k})\rightarrow0\), \(u^{k}\rightharpoonup u\) in \(E^{+}\), by (2.13) and the definition of \(\Phi'\) we have

$$\begin{aligned} 0&=\lim_{k\rightarrow\infty} \bigl\langle \Phi' \bigl(u^{k} \bigr),u^{k}-u \bigr\rangle \\ &=\lim_{k\rightarrow\infty} \bigl(u^{k},u^{k}-u \bigr)- \lim_{k\rightarrow\infty}\sum_{n\in\mathbb{Z}^{m}} \bigl(f_{n} \bigl(u_{n}^{k} \bigr) \bigl(u_{n}^{k}-u_{n} \bigr) \bigr) \\ &=\lim_{k\rightarrow\infty} \bigl\Vert u^{k} \bigr\Vert ^{2}-\Vert u \Vert ^{2}-0, \end{aligned}$$

that is,

$$ \lim_{k\rightarrow\infty} \bigl\Vert u^{k} \bigr\Vert =\Vert u \Vert . $$

Since \(u^{k}\rightharpoonup u\) in \(E^{+}\), it follows that

$$ \bigl\Vert u^{k}-u \bigr\Vert ^{2}= \bigl(u^{k}-u,u^{k}-u \bigr)\rightarrow0, $$

that is, \(\{u^{k}\}\) has a convergent subsequence in \(E^{+}\). Since \(\dim(E^{-}\oplus E^{0})<\infty\), it follows that \(\{u^{k}\}\) has a convergent subsequence in E. Thus Φ satisfies \((C)\)-condition. □

Proof of Theorem 1.1

Lemma 3.1

If assumptions \((V_{1})\), \((F_{1})\), \((F_{3})\), and \((F_{4})\) hold, then there exist constants \(\varrho,\alpha>0\) such that \(\Phi \vert _{S}\geq\alpha\), where \(S=\{u\in E^{+} \vert \Vert u \Vert =\varrho\}\).


In view of (2.9), let \(\varepsilon=\frac{1}{4\gamma_{2}^{2}}\), where \(\gamma_{2}\) is defined in Lemma 2.1. Then there exists \(\sigma_{1}>0\) such that \(F_{n}(s)\leq\varepsilon \vert s \vert ^{2}\) for all \(n\in\mathbb{Z}^{m}\) and \(\vert s \vert \leq\sigma_{1}\). Let

$$ \rho=\frac{\sigma_{1}}{\gamma_{\infty}},\qquad\alpha=\frac {1}{4}\varrho ^{2}>0, $$

where \(\gamma_{\infty}\) is defined in Lemma 2.1. This implies that \(0<\Vert u \Vert _{l^{\infty}}\leq\sigma_{1}\) for all \(u\in S\). Then by (2.2) we have

$$\begin{aligned} \Phi(u)&=\frac{1}{2}\Vert u \Vert ^{2}-\sum _{n\in\mathbb{Z}^{m}}F_{n}(u_{n}) \\ &\geq\frac{1}{2}\Vert u \Vert ^{2}-\frac{1}{4\gamma_{2}^{2}}\sum _{n\in\mathbb{Z}^{m}}\vert u_{n} \vert ^{2} \\ &\geq\frac{1}{2}\Vert u \Vert ^{2}-\frac{1}{4} \Vert u \Vert ^{2}=\frac{1}{4}\Vert u \Vert ^{2}. \end{aligned}$$

Thus, by (3.1) and the definitions of ϱ and α, the proof of the lemma is finished. □

Lemma 3.2

If assumptions \((V_{1})\) and \((F_{1})\)-\((F_{3})\) hold, then there exists \(\zeta>\varrho\) such that \(\Phi|_{\partial Q}\leq 0\) with ϱ defined in Lemma  3.1.


Let \(e\in E^{+}\) with \(\Vert e \Vert =1\) and \(K=E^{-}\oplus E^{0}\oplus \operatorname{span}\{e\}\). Then there exists a small enough constant \(\varepsilon_{1}>0\) such that

$$ \sharp \bigl( \bigl\{ n\in\mathbb{Z}^{m}:\vert u_{n} \vert \geq\varepsilon_{1}\Vert u \Vert \bigr\} \bigr)\geq1,\quad\forall u\in K\setminus\{0\}. $$

The detailed proof of (3.2) is given in the Appendix.

For \(u=u^{+}+u^{0}+u^{-}\in K\), let \(\Omega_{u}=\{n\in\mathbb {Z}^{m}\mid \vert u_{n}\vert \geq\varepsilon_{1}\Vert u \Vert \}\). By \((F_{2})\), for \(M=2/\varepsilon_{1}^{2}>0\), there exists \(L_{1}>0\) such that

$$ F_{n}(s)\geq M\vert s \vert ^{2},\quad\forall \vert s \vert \geq L_{1},\forall n\in\mathbb{Z}^{m}. $$

Thus we have

$$ F_{n}(u_{n})\geq M\vert u_{n} \vert ^{2}\geq M\varepsilon_{1}^{2}\Vert u \Vert ^{2},\quad\forall n\in\Omega_{u}, $$

where \(u\in K\) and \(\Vert u \Vert \geq L_{1}/\varepsilon_{1}\). It follows from \((F_{3})\) and (3.2) that

$$\begin{aligned} \Phi(u)&=\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2}-\frac{1}{2} \bigl\Vert u^{-} \bigr\Vert ^{2}-\sum_{n\in\mathbb{Z}^{m}}F_{n}(u_{n}) \\ &\leq\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2}-\sum_{n\in\Omega_{u}}F_{n}(u_{n}) \\ &\leq\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2}-M\varepsilon_{1}^{2}\Vert u \Vert ^{2}\cdot\sharp(\Omega_{u}) \\ &\leq\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2}-M\varepsilon_{1}^{2}\Vert u \Vert ^{2}\leq0 \end{aligned}$$

for all \(u\in K\) and \(\Vert u \Vert \geq L_{1}/\varepsilon_{1}\). Let \(Q=\{\eta e\vert 0\leq\eta\leq\zeta\}\oplus\{u\in E^{-}\oplus E^{0} \vert \Vert u \Vert \leq\zeta\}\). Then we have

$$ \partial Q=Q_{1}\cup Q_{2}\cup Q_{3}, $$


$$\begin{aligned}& Q_{1}= \bigl\{ u\in E^{-}\oplus E^{0}\mid \Vert u \Vert \leq\zeta \bigr\} , \\& Q_{2}=\zeta e\oplus \bigl\{ u\in E^{-}\oplus E^{0}\mid \Vert u \Vert \leq\zeta \bigr\} , \\& Q_{3}= \{\eta e \mid0\leq\eta\leq\zeta \} \oplus \bigl\{ u \in E^{-}\oplus E^{0} \mid \Vert u \Vert =\zeta \bigr\} . \end{aligned}$$

Then by (3.3), for all \(\zeta\geq L_{1}/\varepsilon_{1}\), we have \(\Phi(u)\leq0\) for all \(u\in Q_{2}\cup Q_{3}\). It follows from \((F_{3})\) that \(\Phi(u)\leq0\) for all \(u\in E^{-}\oplus E^{0}\), which implies that \(\Phi(u)\leq0\) for all \(u\in Q_{1}\). Thus, for all \(\zeta>\max\{\varrho,L_{1}/\varepsilon_{1}\}\), we have

$$ \Phi(u)\leq0,\quad\forall u\in\partial Q. $$

The proof is finished. □

Proof of Theorem 1.1

Similarly to Lemma 2.4, we can also prove that Φ satisfies (PS)-condition. Then by Lemmas 3.1 and 3.2 conditions (1) and (2) of Lemma 2.2 hold, so Lemma 2.2 implies that Φ possesses a critical point u such that \(\Phi(u)\geq\alpha\). Therefore u is a homoclinic solution of problem (1.1). □

Proof of Theorem 1.2


$$ \beta_{k}(p)=\sup_{u\in Z_{k},\Vert u \Vert =1}\Vert u \Vert _{l^{p}},\quad k\in N, q\in[2,+\infty]. $$

Lemma 4.1

If assumptions \((V_{1})\), \((F_{1})\), and \((F_{3})\)-\((F_{5})\) hold, then \(b_{k}\rightarrow\infty\) as \(k\rightarrow\infty\), where

$$ b_{k}=\inf_{u\in Z_{k},\Vert u \Vert =\tau_{k}}\Phi(u),\quad\tau _{k}=r_{\infty}/\beta_{k}(\infty). $$


By Lemma 2.1, E is embedded compactly into \(l^{p}\). Then \(\beta_{k}(p)\rightarrow0\) as \(k\rightarrow\infty\). For k large enough, we choose k such that \(Z_{k}\subset E^{+}\). Note that \(\tau_{k}\rightarrow+\infty\) as \(k\rightarrow\infty\), and so for any \(u\in Z_{k}\) with \(\Vert u \Vert =\tau_{k}\), we have

$$ \Vert u \Vert _{l^{\infty}}\leq r_{\infty}. $$

Then by (2.10), there exists \(r_{\infty}\geq\sigma_{2}>0\), for all \(\vert u_{n} \vert \leq\sigma_{2}\), we have

$$ F_{n}(u_{n})\leq \vert u_{n} \vert ^{2}. $$

Then by (2.2), (2.11), (4.1), and (4.2), for any \(u\in Z_{k}\) with \(\Vert u \Vert =\tau_{k}\), we have

$$\begin{aligned} \Phi(u)&=\frac{1}{2}\Vert u \Vert ^{2}-\sum _{n\in\mathbb{Z}^{m}}F_{n}(u_{n}) \\ &=\frac{1}{2}\Vert u \Vert ^{2}-\sum _{n\in\mathbb{Z}^{m},\vert u_{n} \vert \leq\sigma _{2}}F_{n}(u_{n})-\sum _{n\in\mathbb{Z}^{m},\sigma_{2}\leq \vert u_{n} \vert \leq r_{\infty}}F_{n}(u_{n}) \\ &\geq\frac{1}{2}\Vert u \Vert ^{2}-\sum _{n\in\mathbb{Z}^{m},\vert u_{n} \vert \leq\sigma_{2}}\vert u_{n} \vert ^{2}-\sum _{{n\in\mathbb{Z}^{m},\sigma_{2}\leq \vert u_{n} \vert \leq r_{\infty}}}\frac{\vert u_{n} \vert ^{2}}{\sigma_{2}^{2}}F_{n}(u_{n}) \\ &\geq\frac{1}{2}\Vert u \Vert ^{2}-\Vert u \Vert _{l^{2}}^{2}-L\sum_{n\in\mathbb{Z}^{m},\sigma_{2}\leq \vert u_{n} \vert \leq r_{\infty}} \frac{\vert u_{n} \vert ^{2}}{\sigma_{2}^{2}} \\ &=\frac{1}{2}\Vert u \Vert ^{2}-\Vert u \Vert _{l^{2}}^{2}-\frac{L}{\sigma_{2}^{2}}\sum _{n\in\mathbb{Z}^{m},\sigma_{2}\leq \vert u_{n} \vert \leq r_{\infty}} \vert u_{n} \vert ^{2} \\ &=\frac{1}{2}\Vert u \Vert ^{2}- \biggl(1+\frac{L}{\sigma_{2}^{2}} \biggr)\Vert u \Vert ^{2} \\ &\geq\frac{1}{2}\Vert u \Vert ^{2}- \biggl(1+ \frac{L}{\sigma_{2}^{2}} \biggr) \bigl(\beta_{k}(2) \bigr)^{2} \Vert u \Vert _{l^{2}}^{2} \\ &\geq\frac{1}{4}\Vert u \Vert ^{2}=\frac{1}{4}\tau _{k}^{2},\quad k>k_{0}, k_{0}\in N. \end{aligned}$$

Then we have

$$ b_{k}=\inf_{u\in Z_{k},\Vert u \Vert =\tau_{k}}\Phi(u)\geq\frac {1}{4}\tau _{k}^{2}\rightarrow+\infty,\quad k\rightarrow\infty. $$

So the lemma is proved. □

Lemma 4.2

If assumptions \((V_{1})\) and \((F_{2})\) hold, then we have \(a_{k}\leq0\) for all \(k\in N\), where

$$ a_{k}=\max_{u\in Y_{k},\Vert u \Vert =\rho_{k}}\Phi(u). $$


For any \(u\in Y_{k}/\{0\}, \delta>0\), where \(u=u^{-}+u^{0}+u^{+}\), let

$$ \Gamma_{\delta}(u)= \bigl\{ n\in\mathbb{Z}^{m}:\vert u_{n} \vert \geq\delta \Vert u \Vert \bigr\} . $$

By (3.2), for all \(u\in Y_{k}/\{0\}\), we obtain that there exists \(\varepsilon_{1}>0\) such that

$$ \sharp \bigl(\Gamma_{\varepsilon _{1}}(u) \bigr)\geq1. $$

By \((F_{2})\), there exists \(\gamma_{2}>0\) such that , for all \(u\in Y_{k}\) and \(n\in\Gamma_{\varepsilon_{1}}(u)\) with \(\Vert u \Vert \geq\gamma_{2}\), we have

$$ F_{n}(u_{n})\geq\frac{1}{\varepsilon_{1}^{2 }}\vert u_{n} \vert ^{2}\geq \Vert u \Vert ^{2}. $$

We choose \(\rho_{k}>\max\{\gamma_{2},\tau_{k}\}\). It follows from (2.2), (4.3), (4.4), and \(F_{n}(s)\ge0\) for all \((n,s)\in\mathbb{Z}^{m}\times\mathbb{R}\) (see AX 1 in Appendix) that, for any \(u\in Y_{k}\) with \(\Vert u \Vert =\rho_{k}\),

$$\begin{aligned} \Phi(u)&=\frac{1}{2} \bigl\Vert u^{+} \bigr\Vert ^{2}- \biggl(\frac{1}{2} \bigl\Vert u^{-} \bigr\Vert ^{2}+\sum_{n\in\mathbb{Z}^{m}}F_{n}(u_{n}) \biggr) \\ &\leq\frac{1}{2}\Vert u \Vert ^{2}-\sum _{n\in\Gamma_{\varepsilon_{1}}(u)}F_{n}(u_{n}) \\ &\leq\frac{1}{2}\Vert u \Vert ^{2}-\Vert u \Vert ^{2}\sharp \bigl(\Gamma_{\varepsilon_{1}}(u) \bigr) \\ &\leq-\frac{1}{2}\Vert u \Vert ^{2} \leq0, \end{aligned}$$

which means that \(a_{k}\leq0\) for all \(k\in N\), and the proof of the lemma is finished. □

Proof of Theorem 1.2

Let \(X=E\), \(Y=Y_{m}\), and \(Z=Z_{m}\). By Lemma 2.4, under our assumptions, Φ satisfies (C)-condition. Clearly, condition (1) of Lemma 2.3 holds. Besides, conditions (2) and (3) of Lemma 2.3 hold by Lemmas 4.1 and 4.2, respectively. So problem (1.1) possesses infinitely many nontrivial solutions by Lemma 2.3. Therefore, Theorem 1.2 is true. □


  1. 1.

    Christodoulides, DN, Lederer, F, Silberberg, Y: Discretizing light behaviour in linear and nonlinear waveguide lattices. Nature 424, 817-823 (2003)

  2. 2.

    Kopidakis, G, Aubry, S, Tsironis, GP: Targeted energy transfer through discrete breathers in nonlinear systems. Phys. Rev. Lett. 87, Article ID 165501 (2001). doi:10.1103/PhysRevLett.87.165501

  3. 3.

    Livi, R, Franzosi, R, Oppo, GL: Self-localization of Bose-Einstein condensates in optical lattices via boundary dissipation. Phys. Rev. Lett. 97, Article ID 060401 (2006). doi:10.1103/PhysRevLett.97.060401

  4. 4.

    Chen, G, Ma, S: Discrete nonlinear Schrödinger equations with superlinear nonlinearities. Appl. Math. Comput. 218, 5496-5507 (2012)

  5. 5.

    Chen, G, Ma, S: Ground state and geometrically distinct solitons of discrete nonlinear Schrödinger equations with saturable nonlinearities. Stud. Appl. Math. 131, 389-413 (2013)

  6. 6.

    Chen, G, Ma, S: Homoclinic solutions of discrete nonlinear Schrödinger equations with asymptotically or super linear terms. Appl. Math. Comput. 232, 787-798 (2014)

  7. 7.

    Chen, G, Ma, S, Wang, Z-Q: Standing waves for discrete Schrödinger equations in infinite lattices with saturable nonlinearities. J. Differ. Equ. 261, 3493-3518 (2016)

  8. 8.

    Pankov, A: Gap solitons in periodic discrete nonlinear equations. Nonlinearity 19, 27-40 (2006)

  9. 9.

    Pankov, A: Gap solitons in periodic discrete nonlinear Schrödinger equations. II. A generalized Nehari manifold approach. Discrete Contin. Dyn. Syst. 19, 419-430 (2007)

  10. 10.

    Pankov, A, Rothos, V: Periodic and decaying solutions in discrete nonlinear Schrödinger with saturable nonlinearity. Proc. R. Soc. A 464, 3219-3236 (2008)

  11. 11.

    Pankov, A: Gap solitons in periodic discrete nonlinear Schrödinger equations with saturable nonlinearities. J. Math. Anal. Appl. 371, 254-265 (2010)

  12. 12.

    Shi, H, Zhang, H: Existence of gap solitons in periodic discrete nonlinear Schrödinger equations. J. Math. Anal. Appl. 361, 411-419 (2010)

  13. 13.

    Shi, H: Gap solitons in periodic discrete Schrödinger equations with nonlinearity. Acta Appl. Math. 109, 1065-1075 (2010)

  14. 14.

    Yang, M, Chen, W, Ding, Y: Solutions for discrete periodic Schrödinger equations with spectrum 0. Acta Appl. Math. 110, 1475-1488 (2010)

  15. 15.

    Zhou, Z, Yu, J, Chen, Y: On the existence of gap solitons in a periodic discrete nonlinear Schrödinger equation with saturable nonlinearity. Nonlinearity 23, 1727-1740 (2010)

  16. 16.

    Zhou, Z, Yu, J, Chen, Y: Homoclinic solutions in periodic difference equations with saturable nonlinearity. Sci. China Math. 54, 83-93 (2011)

  17. 17.

    Chen, G, Schechter, M: Non-periodic discrete Schrödinger equations: ground state solutions. Z. Angew. Math. Phys. 67, 1-15 (2016)

  18. 18.

    Jia, L, Chen, G: Multiple solutions of discrete Schrödinger equations with growing potentials. Adv. Differ. Equ. 2016, Article ID 275 (2016). doi:10.1186/s13662-016-1003-3

  19. 19.

    Jia, L, Chen, G: Discrete Schrödinger equations with sign-changing nonlinearities: infinitely many homoclinic solutions. J. Math. Anal. Appl. 452, 568-577 (2017)

  20. 20.

    Ma, D, Zhou, Z: Existence and multiplicity results of homoclinic solutions for the DNLS equations with unbounded potentials. Abstr. Appl. Anal. 2012, Article ID 703596 (2012). doi:10.1155/2012/703596

  21. 21.

    Pankov, A, Zhang, G: Standing wave solutions for discrete nonlinear Schrödinger equations with unbounded potentials and saturable nonlinearity. J. Math. Sci. 177, 71-82 (2011)

  22. 22.

    Pankov, A: Standing waves for discrete nonlinear Schrödinger equations: sign-changing nonlinearities. Appl. Anal. 92, 308-317 (2013)

  23. 23.

    Sun, G: On standing wave solutions for discrete nonlinear Schrödinger equations. Abstr. Appl. Anal. 2013, Article ID 436919 (2013)

  24. 24.

    Zhang, G, Pankov, A: Standing waves of the discrete nonlinear Schrödinger equations with growing potentials. Commun. Math. Anal. 5, 38-49 (2008)

  25. 25.

    Zhang, G, Liu, F: Existence of breather solutions of the DNLS equations with unbounded potentials. Nonlinear Anal. 71, 786-792 (2009)

  26. 26.

    Zhang, G: Breather solutions of the discrete nonlinear Schrödinger equations with unbounded potentials. J. Math. Phys. 50, Article ID 013505 (2009)

  27. 27.

    Zhang, G, Pankov, A: Standing wave solutions of the discrete non-linear Schrödinger equations with unbounded potentials, II. Appl. Anal. 89, 1541-1557 (2010)

  28. 28.

    Zhou, Z, Ma, D: Multiplicity results of breathers for the discrete nonlinear Schrödinger equations with unbounded potentials. Sci. China Math. 58, 781-790 (2015)

  29. 29.

    Tang, CL, Wu, XP: Periodic solutions for a class of new superquadratic second order Hamiltonian systems. J. Math. Anal. Appl. 34, 65-71 (2014)

  30. 30.

    Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986)

  31. 31.

    Willem, M: Minimax theorems. Prog. Nonlinear Differ. Equ. Appl. 50, 139-141 (1996)

Download references

Author information

Correspondence to Guanwei Chen.

Additional information


Research supported by National Natural Science Foundation of China (No. 11401011, No. 11771182) and Natural Science Foundation of Shandong Province (No. ZR2017JL005).

Availability of data and materials

Not applicable.

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.



In this section, we prove the following facts.

AX 1

If assumptions \((F_{1})\), \((F_{3})\), and \((F_{4})\) hold, then \(F_{n}(s)\geq0\) for all \((n,s)\in\mathbb{Z}^{m}\times\mathbb{R}\).


$$ g(t)=\frac{F_{n}(ts)}{t^{2}},\quad(n,s)\in\mathbb{Z}^{m}\times \mathbb{R}, t>0. $$

By condition \((F_{3})\) we have

$$ g'(t)=\frac{f_{n}(ts)ts-2F_{n}(ts)}{t^{3}}\geq0,\quad(n,s)\in \mathbb{Z}^{m} \times\mathbb{R}, $$

which implies that \(g(t)\) is nondecreasing in \((0,+\infty)\). By \((F_{1})\) and \((F_{4})\) we have

$$\begin{aligned} \lim_{t\rightarrow0} \bigl\vert g(t) \bigr\vert =\lim _{t\rightarrow0} \biggl\vert \frac{F_{n}(ts)}{t^{2}} \biggr\vert =\lim _{t\rightarrow0} \biggl\vert \frac{f_{n}(ts)s}{2t} \biggr\vert \leq\lim _{t\rightarrow0}\frac{\vert f_{n}(ts) \vert }{ts}\frac {\vert s \vert ^{2}}{2}=0 \end{aligned}$$

for all \((n,s)\in\mathbb{Z}^{m}\times\mathbb{R}/\{0\}\). Thus \(\lim_{t\rightarrow0}g(t)=0\), which shows that \(g(t)\geq0\) for all \(t>0\) and \((n,s)\in\mathbb{Z}^{m}\times\mathbb{R}/\{0\}\). It follows from \((F_{4})\) that

$$ F_{n}(s)=g(1)\geq0,\quad(n,s)\in\mathbb{Z}^{m}\times \mathbb{R}. $$

Thus the proof is finished. □

AX 2

The fact (3.2) in Lemma  3.2 holds.


If not, for any positive integer k, there exists \(u^{k}\in K\setminus\{0\}\) such that

$$ \sharp \biggl( \biggl\{ n\in\mathbb{Z}^{m}: \bigl\vert u_{n}^{k} \bigr\vert \geq\frac{1}{k} \bigl\Vert u^{k} \bigr\Vert \biggr\} \biggr)=0. $$

Let \(v^{k}=u^{k}/\Vert u^{k} \Vert \), then \(\Vert v^{k} \Vert =1\), and for all k, we have

$$ \sharp \biggl( \biggl\{ n\in\mathbb{Z}^{m}: \bigl\vert v_{n}^{k} \bigr\vert \geq\frac{1}{k} \biggr\} \biggr)=0. $$

Since \(\dim K<\infty\), we may assume that \(v^{k}\rightharpoonup v=\{ v_{n}\}_{n\in\mathbb{Z}^{m}}\) in W passing to a subsequence, and thus \(\Vert v \Vert =1\). By Lemma 2.1 we have \(v^{k}\rightarrow v\) in \(l^{2}\) and \(v_{n}^{k}\rightarrow v_{n}\) for all \(n\in\mathbb{Z}^{m}\), so that

$$ \sum_{n\in\mathbb{Z}^{m}} \bigl\vert v_{n}^{k}-v_{n} \bigr\vert ^{2} \rightarrow0,\quad k\rightarrow\infty. $$

The fact that \(\Vert v \Vert =1\) implies \(\Vert v \Vert _{l^{\infty}}=\max_{n\in\mathbb{Z}^{m}}\vert v_{n} \vert >0\). By the definition of norm \(\Vert \cdot \Vert _{l^{\infty}}\) there exists a constant \(\delta_{1}> 0\) such that

$$ \sharp \bigl(\bigl\{ n\in\mathbb{Z}^{m}:\vert v_{n} \vert \geq\delta_{1} \bigr\} \bigr)\geq 1. $$


$$\begin{aligned}& \Omega_{0}= \bigl\{ n\in\mathbb{Z}^{m}\mid \vert v_{n} \vert \geq\delta_{1} \bigr\} , \\& \Omega_{k}= \biggl\{ n\in\mathbb{Z}^{m}\Bigm| \bigl\vert v_{n}^{k} \bigr\vert < \frac{1}{k} \biggr\} , \\& \Omega_{k}^{c}=\mathbb{Z}^{m}\setminus\Omega _{k}= \biggl\{ n\in\mathbb{Z}^{m}\Bigm| \bigl\vert v_{n}^{k} \bigr\vert \geq\frac{1}{k} \biggr\} . \end{aligned}$$

By (A.1) and (A.3) we have

$$\begin{aligned} \sharp(\Omega_{k}\cap\Omega_{0})&=\sharp \bigl(\Omega _{0}\setminus\Omega_{k}^{c}\cap \Omega_{0} \bigr) \geq\sharp(\Omega_{0})-\sharp \bigl(\Omega_{k}^{c} \bigr) \geq1-0=1. \end{aligned}$$

Next, we may assume that \(\delta_{1}-\frac{1}{k}\geq\frac{1}{2}\delta _{1}\) for k large enough. Then we have

$$\begin{aligned} \bigl\vert v_{n}^{k}-v_{n} \bigr\vert ^{2}\geq \bigl\vert \bigl\vert v_{n}^{k}\bigr\vert - \vert v_{n}\vert \bigr\vert ^{2} \geq \biggl( \delta_{1}-\frac{1}{k} \biggr)^{2} \geq \frac{1}{4}\delta_{1}^{2},\quad\forall n\in \Omega_{k}\cap\Omega_{0}, \end{aligned}$$

and thus, for all large k, we have

$$\begin{aligned} \sum_{n\in\mathbb{Z}^{m}} \bigl\vert v_{n}^{k}-v_{n} \bigr\vert ^{2} &\geq\sum_{n\in\Omega_{k}\cap\Omega_{0}} \bigl\vert v_{n}^{k}-v_{n} \bigr\vert ^{2} \geq\frac{1}{4}\delta_{1}^{2}\cdot \sharp(\Omega _{k}\cap\Omega_{0}) \geq\frac{1}{4} \delta_{1}^{2}>0. \end{aligned}$$

Clearly, it is a contradiction to (A.2). Thus (3.2) holds. □

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jia, L., Chen, J. & Chen, G. Discrete Schrödinger equations in the nonperiodic and superlinear cases: homoclinic solutions. Adv Differ Equ 2017, 289 (2017) doi:10.1186/s13662-017-1344-6

Download citation


  • 35Q51
  • 35Q55
  • 39A12
  • 39A70


  • discrete nonlinear Schrödinger equations
  • variational methods
  • Superlinear
  • homoclinic solutions