Skip to main content

Infinitely many solutions for the discrete Schrödinger equations with a nonlocal term


In the present paper, we consider the following discrete Schrödinger equations

$$ - \biggl(a+b\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2} \biggr) \Delta ^{2} u_{k-1}+ V_{k}u_{k}=f_{k}(u_{k}) \quad k\in \mathbf{Z}, $$

where a, b are two positive constants and \(V=\{V_{k}\}\) is a positive potential. \(\Delta u_{k-1}=u_{k}-u_{k-1}\) and \(\Delta ^{2}=\Delta (\Delta )\) is the one-dimensional discrete Laplacian operator. Infinitely many high-energy solutions are obtained by the Symmetric Mountain Pass Theorem when the nonlinearities \(\{f_{k}\}\) satisfy 4-superlinear growth conditions. Moreover, if the nonlinearities are sublinear at infinity, we obtain infinitely many small solutions by the new version of the Symmetric Mountain Pass Theorem of Kajikiya.


In the present paper, we consider the following discrete Schrödinger equations

$$ - \biggl(a+b\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2} \biggr) \Delta ^{2} u_{k-1}+ V_{k}u_{k}=f_{k}(u_{k})\quad k\in \mathbf{Z}, $$

where a, b are two positive constants and \(V=\{V_{k}\}\) is a positive potential. \(\Delta u_{k-1}=u_{k}-u_{k-1}\) and \(\Delta ^{2}=\Delta (\Delta )\) is the one-dimensional discrete Laplacian operator.

The discrete Schrödinger equations play a significant role in many areas, such as nonlinear optics [7], biomolecular chains [11] and Bose–Einstein condensates [16]. If \(a=1\) and \(b=0\), problem (1) reduces to the classical discrete Schrödinger equations, which have been extensively studied by many authors in the past several decades. In Ma and Guo [17] and Zhang and Pankov [32], the authors studied the nontrivial solution of discrete Schrödinger equations with a coercive potential by variation methods. In Lin et al. [15], the authors considered a class of discrete nonlinear nonperiodic systems and obtained the existence of the homoclinic solutions. For more related works, we refer to [46, 1820, 25, 28] and their references.

The problem (1) is a discrete case for a class of nonlocal problems and we call this nonlocal term a Kirchhoff type. This class of nonlocal equations is an extension of the classical d’Alembert’s wave equations because of the effects of the changes in the length of the string during the vibrations. There is a large number of papers concerning the solutions of Kirchhof-type problems in the continuous case, such as [9, 12, 26, 29, 31] and their references. As for the discrete equations with a nonlocal term, Yang and Liu in [30] investigated the existence of the nontrivial solutions via critical groups. In [3], Chakrone et al. considered the multiplicity results for a p-Laplacian discrete problem with Neumann boundary conditions. For more related works, we refer to [1, 2, 8, 13, 14, 2224, 34] and their references. Recently, Wu and Huang [27] have studied the statistical solutions for nonautonomous discrete Klein–Gordon–Schrödinger-type equations.

Most of the previous works have been concerned with boundary value problems, while little has been done in discrete Schrödinger equations of the Kirchhoff type. We will consider the existence of infinitely many nontrivial solutions for this class of discrete equations. In this paper, the potential V satisfies the coercive condition:


\(V=\{V_{k}\}\) is positive and \(\lim_{|k|\rightarrow +\infty }V_{k}=+\infty \).

Set \(L:=-\Delta ^{2}+V\), where \(Lu_{k}=-\Delta ^{2} u_{k-1}+V_{k}u_{k}\), then L is a self-adjoint operator and unbounded in \(l^{2}\). With the help of the condition \((V_{1})\), the authors in [32] proved that the spectrum \(\sigma (L)\) is discrete going to +∞ and we assume that \(\lambda _{i}\) are the eigenvalues of L. If we set that

$$ E= \biggl\{ u\in l^{2}: \sum_{k\in \mathbf{Z}}V_{k} \vert u_{k} \vert ^{2}< + \infty \biggr\} , $$

then E is a Hilbert space, in which the norm and the inner product are defined by

$$ \Vert u \Vert := \biggl\{ \sum_{k\in \mathbf{Z}} \bigl( \vert \Delta u_{k-1} \vert ^{2}+V_{k} \vert u_{k} \vert ^{2} \bigr) \biggr\} ^{1/2} \quad \text{and} \quad \langle u, v\rangle _{E}=\sum _{k \in \mathbf{Z}} (\Delta u_{k-1}\Delta v_{k-1}+V_{k}u_{k}v_{k} ), $$

respectively. Denote the standard norms of \(l^{q}\) by \(\|\cdot \|_{q}\) for \(q\in [2,+\infty ]\). First, we consider the 4-superlinear nonlinearities as follows:


\(f_{k}\in C(\mathbf{R},\mathbf{R})\) and there exist \(C>0\) and \(p>2\) such that

$$ \bigl\vert f_{k}(t) \bigr\vert \leq C\bigl( \vert t \vert + \vert t \vert ^{p-1}\bigr) \quad\text{for any } k\in \mathbf{Z} \text{ and } t\in \mathbf{R}. $$

\(\lim_{|t|\rightarrow +\infty }\frac{F_{k}(t)}{t^{4}}=+ \infty \) uniformly in k, where \(F_{k}(t):=\int _{0}^{t}f_{k}(s)ds\).


There exists \(\alpha >0\) such that

$$ F_{k}(t)\leq \frac{1}{4}f_{k}(t)t+\alpha t^{2} \quad\text{for any } k\in \mathbf{Z} \text{ and } t\in \mathbf{R}. $$

There exists \(L>0\) such that

$$ F_{k}(t)\leq \frac{1}{4}f_{k}(t)t \quad\text{for any } k\in \mathbf{Z} \text{ and } \vert t \vert \geq L. $$

\(f_{k}(-t)=-f_{k}(t)\) for any \(k\in \mathbf{Z}\) and \(t\in \mathbf{R}\).

If \(u=\{u_{k}\}\) satisfies problem (1) for any \(k\in \mathbf{Z}\), we call that u a solution of this problem. Moreover, if \(u\neq 0\), we call that u a nontrivial solution. With the above assumptions \((V_{1})\) and \((f_{1})\), the energy functional I: \(E\rightarrow \mathbf{R}\) is well defined by

$$ I(u)=\frac{1}{2}\sum_{k\in \mathbf{Z}}\bigl(a \vert \Delta u_{k-1} \vert ^{2}+V_{k}u_{k}^{2} \bigr)+ \frac{1}{4}b\biggl(\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2}\biggr)^{2}-\sum _{k \in \mathbf{Z}}F_{k}(u_{k}). $$

Moreover, I is a class of \(C^{1}(E ,\mathbf{R})\) and

$$ \bigl\langle I'(u),v\bigr\rangle =\bigl(a+b \Vert \Delta u \Vert _{2}^{2}\bigr)\sum_{k\in \mathbf{Z}} \Delta u_{k-1}\Delta v_{k-1}+\sum_{k\in \mathbf{Z}}V_{k}u_{k} v_{k}-\sum_{k\in \mathbf{Z}}f_{k}(u_{k})v_{k}, $$

for any u, v in E. Thus, u is a critical point of I in E if and only if u is a solution of problem (1). Now, the first result is stated concerning the infinitely many solutions when the nonlinearities are 4-superlinear growth.

Theorem 1.1

If \((V_{1})\) and \((f_{1})\)\((f_{4})\) hold, problem (1) possesses infinitely many nontrivial solutions \(\{u^{n}\}\) in E with high energies, i.e., \(I(u^{n})\rightarrow +\infty \) as \(n\rightarrow \infty \).

It is evident to check that \((f_{1})\) and \((f'_{3})\) imply \((f_{3})\). Hence, we have the following result.

Theorem 1.2

If \((V_{1})\), \((f_{1})\), \((f_{2})\), \((f'_{3})\) and \((f_{4})\) hold, problem (1) possesses infinitely many nontrivial solutions \(\{u^{n}\}\) in E with high energies, i.e., \(I(u^{n})\rightarrow +\infty \) as \(n\rightarrow \infty \).

The above two results obtained infinitely many high-energy solutions are strictly dependent on the 4-superlinear growth assumption. The standard Symmetric Mountain Pass Theorem may be invalid without the superlinear assumption. In this case, we try to establish the existence of infinitely many small solutions by the new version of the Symmetric Mountain Pass Theorem of Kajikiya in [10] when the nonlinearities \(f_{k}(t)\) are sublinear at infinity. More precisely, we assume that


\(f_{k}(t)=\kappa \xi _{k}|t|^{\kappa -2}t\), where \(\kappa \in (1,2)\) is a constant and \(\xi =\{\xi _{k}\}\in l^{\frac{2}{2-\kappa }}\).

Theorem 1.3

If \((V_{1})\) and \((f_{5})\) hold, problem (1) possesses infinitely many nontrivial solutions \(\{u^{n}\}\) in E with small energy, i.e., \(I(u^{n})\rightarrow 0^{-}\) as \(n\rightarrow \infty \).

In fact, we will prove a more general result than the above theorem.

Theorem 1.4

If \((V_{1})\), \((f_{4})\) and the following assumption hold,


there exist \(\kappa , \delta ,\sigma \in (1,2)\), \(p>2\) and C such that

$$ \xi _{k} \vert t \vert ^{\kappa }\leq f_{k}(t)t $$


$$ \bigl\vert f_{k}(t) \bigr\vert \leq w_{k} \vert t \vert ^{\delta -1}+h_{k} \vert t \vert ^{\sigma -1}+C \vert t \vert ^{p-1} \quad\textit{for any } k \in \mathbf{Z} \textit{ and } t\in \mathbf{R}, $$

where \(\xi =\{\xi _{k}\}\), \(w=\{w_{k}\}\), \(h=\{h_{k}\}\) are three positive sequences satisfying \(\xi \in l^{\frac{2}{2-\kappa }}\), \(w\in l^{\frac{2}{2-\delta }}\) and \(h\in l^{\frac{2}{2-\sigma }}\).

Then, problem (1) possesses infinitely many nontrivial solutions \(\{u^{n}\}\) in E with small energies, i.e., \(I(u^{n})\rightarrow 0^{-}\) as \(n\rightarrow \infty \).

Remark 1.1

It is obvious to check that Theorem 1.4 generalizes Theorem 1.3. For example, let

$$ f_{k}(t)=\kappa \xi _{k} \vert t \vert ^{\kappa -2}t+\sigma h_{k} \vert t \vert ^{\sigma -2}t+C \vert t \vert ^{p-2}t \quad \text{for } k\in \mathbf{Z} \text{ and } t\in \mathbf{R}, $$

where \(\kappa , \sigma \in (1,2)\), \(\xi =\{\xi _{k}\}\) and \(h=\{h_{k}\}\) are two positive sequences satisfying \(\xi \in l^{\frac{2}{2-\kappa }}\) and \(h\in l^{\frac{2}{2-\sigma }}\). It is easy to see that \(f_{k}\) satisfy all the assumptions of Theorem 1.4, but \(f_{k}\) do not satisfy \((f_{5})\).

The 4-superlinear case

The following Symmetric Mountain Pass Theorem is crucial in proving the existence of infinitely many solutions with 4-superlinear nonlinearities.

Proposition 2.1

(Symmetric Mountain Pass Theorem [21])

Let X be an infinite-dimensional Banach space, \(X=Y\oplus Z\), where Y is a finite-dimensional space. If \(J\in C^{1}(X,\mathbf{R})\) satisfies the \((Ce)\) condition, and


\(J(0)=0\), \(J(-u)=J(u)\) for all \(u\in X\);


there exist two constants \(\delta ,\alpha >0\) such that \(J|_{\partial B_{\delta }\cap Z}\geq \alpha \);


for any finite-dimensional subspace \(\widetilde{X}\subset X\), there exists \(R=R(\widetilde{X})>0\) such that \(J(u)\leq 0\) on \(\widetilde{X}\setminus B_{R}\),

then J possesses an unbounded sequence of critical values.

In [21], the Symmetric Mountain Pass Theorem is established under the \((PS)\) condition. Since the Deformation Theorem is still valid under the \((Ce)\) condition, we see that the Symmetric Mountain Pass Theorem also holds under the \((Ce)\) condition. The following embedding lemma, which follows from [17] or [33], plays a significant role in recovering the compactness result.

Lemma 2.1

If V satisfies the condition \((V_{1})\), then the embedding map from E into \(l^{q}\) is compact for \(2\leq q\leq +\infty \).

With the help of Lemma 2.1, we have the following compactness result.

Lemma 2.2

Under the assumption of Theorem 1.1, the functional I satisfies the \((Ce)\) condition.


Suppose that \(\{u^{n}\} \) is a \((Ce)\) sequence,

$$ \bigl\vert I\bigl(u^{n}\bigr) \bigr\vert \leq M,\qquad \bigl(1+ \bigl\Vert u^{n} \bigr\Vert \bigr)I'\bigl(u^{n} \bigr)\rightarrow 0\quad \text{as } n\rightarrow \infty . $$

It suffices to prove that \(\{u^{n}\}\) has a converging subsequence in E. We first obtain that \(\{u_{n}\} \) is bounded in E. Otherwise, \(\|u^{n}\|\rightarrow +\infty \) as \(n\rightarrow \infty \). Let \(v^{n}=u^{n}/\|u^{n}\|\). Moving, if necessary, to a subsequence, we assume \(v^{n}\rightharpoonup v\) in E, by Lemma 2.1, \(v^{n}\rightarrow v\) in \(l^{q}\) and \(v_{k}^{n}\rightarrow v_{k}\) for any \(k\in \mathbf{Z}\) as \(n\rightarrow \infty \). There are only two cases \(v=0\) or \(v\neq 0\). If \(v=0\), by \((f_{3})\), we have

$$ \begin{aligned} \frac{1}{ \Vert u^{n} \Vert ^{2}}(M+1)&\geq \frac{1}{ \Vert u^{n} \Vert ^{2}} \biggl(I \bigl(u^{n}\bigr)-\frac{1}{4} \bigl\langle I' \bigl(u^{n}\bigr),u^{n} \bigr\rangle \biggr) \\ &\geq \frac{1}{4}\min \{a,1\}+\frac{1}{ \Vert u^{n} \Vert ^{2}}\sum _{k\in \mathbf{Z}}\biggl(\frac{1}{4}f_{k} \bigl(u^{n}_{k}\bigr)u_{k}^{n}-F_{k} \bigl(u^{n}_{k}\bigr)\biggr) \\ &\geq \frac{1}{4}\min \{a,1\}-\alpha \sum_{k\in \mathbf{Z}} \bigl\vert v_{k}^{n} \bigr\vert ^{2}, \end{aligned} $$

which implies that \(\frac{1}{4}\min \{a,1\}\leq 0\). That is impossible. If \(v\neq 0\), then \(\Omega _{1}:=\{k\in \mathbf{Z}| v_{k}\neq 0\}\neq \emptyset \). For any \(k\in \Omega _{1}\), we have \(|u_{k}^{n}|\rightarrow +\infty \) as \(n\rightarrow \infty \). By \((f_{2})\), one obtains that for any \(k\in \Omega _{1}\),

$$ \frac{F_{k}(u^{n}_{k})}{ \vert u^{n}_{k} \vert ^{4}} \bigl\vert v_{k}^{n} \bigr\vert ^{4}\rightarrow + \infty \quad \text{as } n\rightarrow \infty , $$

combined with Fatou’s Lemma, which implies that

$$ \sum_{k\in \Omega _{1}}\frac{F_{k}(u^{n}_{k})}{ \vert u^{n}_{k} \vert ^{4}} \bigl\vert v_{k}^{n} \bigr\vert ^{4} \rightarrow + \infty \quad \text{as } n\rightarrow \infty . $$

It follows from \((f_{2})\) that there exists \(L_{1}>0\) such that

$$ F_{k}(t)\geq 0 \quad\text{for any } k\in \mathbf{Z} \text{ and } \vert t \vert \geq L_{1}. $$

By \((f_{1})\), we obtain \(|F_{k}(t)|\leq Ct^{2} \quad\text{for any } k\in \mathbf{Z} \text{ and } |t| \leq L_{1}\). Combining with (3), we have

$$ F_{k}(t)\geq -Ct^{2} \quad\text{for any } k\in \mathbf{Z} \text{ and } t \in \mathbf{R}. $$

Hence, we obtain

$$ \begin{aligned} &\sum_{k\in \mathbf{Z}\setminus \Omega _{1}} \frac{F_{k}(u^{n}_{k})}{ \Vert u^{n} \Vert ^{4}} \geq -\frac{C}{ \Vert u^{n} \Vert ^{4}} \sum_{k\in \mathbf{Z}\setminus \Omega _{1}} \bigl\vert u^{n}_{k} \bigr\vert ^{2} \geq -C \frac{ \Vert u^{n} \Vert _{2}^{2}}{ \Vert u^{n} \Vert ^{4}}\geq -\frac{C}{ \Vert u^{n} \Vert ^{2}}, \end{aligned} $$

which implies that

$$ \begin{aligned} \liminf_{ n\rightarrow \infty }\sum _{k\in \mathbf{Z} \setminus \Omega _{1}}\frac{F_{k}(u^{n}_{k})}{ \Vert u^{n} \Vert ^{4}}\geq 0. \end{aligned} $$

Note that

$$ I\bigl(u^{n}\bigr)+\sum_{k\in \mathbf{Z}}F_{k} \bigl(u^{n}_{k}\bigr)\leq \frac{1}{2}\max \{a,1\} \bigl\Vert u^{n} \bigr\Vert ^{2}+\frac{b}{4} \bigl\Vert u^{n} \bigr\Vert ^{4}. $$

Dividing by \(\|u^{n}\|^{4}\) on both sides and letting \(n\rightarrow \infty \), we obtain

$$ \begin{aligned} \frac{b}{4}&\geq \limsup_{ n\rightarrow \infty } \sum_{k \in \mathbf{Z}}\frac{F_{k}(u^{n}_{k})}{ \Vert u^{n} \Vert ^{4}} \\ &\geq \limsup_{ n\rightarrow \infty } \biggl(\sum_{k\in \mathbf{Z} \setminus \Omega _{1}} \frac{F_{k}(u^{n}_{k})}{ \Vert u^{n} \Vert ^{4}}+\sum_{k \in \Omega _{1}}\frac{F_{k}(u^{n}_{k})}{ \Vert u^{n} \Vert ^{4}} \biggr) \rightarrow +\infty , \end{aligned} $$

via (2) and (4), which is impossible. In any case, we obtain a contradiction and hence \(\{u^{n}\} \) is bounded in E.

Moving if necessary to a subsequence, we can assume \(u^{n}\rightharpoonup u\) in E. It follows that

$$\begin{aligned}& \bigl\langle I'\bigl(u^{n} \bigr)-I'(u),u^{n}-u\bigr\rangle \\& \quad =\bigl(a+b \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2}\bigr)\sum_{k\in \mathbf{Z}}\Delta u^{n}_{k-1} \Delta \bigl(u^{n}_{k-1}-u_{k-1} \bigr)+\sum_{k\in \mathbf{Z}}V_{k}u^{n}_{k} \bigl(u^{n}_{k}-u_{k}\bigr) \\& \qquad {}-\bigl(a+b \Vert \Delta u \Vert _{2}^{2}\bigr)\sum _{k\in \mathbf{Z}}\Delta u_{k-1} \Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr)-\sum _{k\in \mathbf{Z}}V_{k}u_{k} \bigl(u^{n}_{k}-u_{k} \bigr) \\& \qquad {}-\sum_{k\in \mathbf{Z}}\bigl(f_{k} \bigl(u^{n}_{k}\bigr)-f_{k}(u_{k}) \bigr) \bigl(u^{n}_{k}-u_{k}\bigr) \\& \quad =\bigl(a+b \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2}\bigr)\sum_{k\in \mathbf{Z}} \bigl\vert \Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr) \bigr\vert ^{2}+ \sum_{k\in \mathbf{Z}}V_{k} \bigl\vert u^{n}_{k}-u_{k} \bigr\vert ^{2} \\& \qquad {}-b\bigl( \Vert \Delta u \Vert _{2}^{2}- \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2}\bigr)\sum _{k\in \mathbf{Z}}\Delta u_{k-1}\Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr) \\& \qquad {}-\sum_{k\in \mathbf{Z}}\bigl(f_{k} \bigl(u^{n}_{k}\bigr)-f_{k}(u_{k}) \bigr) \bigl(u^{n}_{k}-u_{k}\bigr) \\& \quad \geq \min \{a,1\} \bigl\Vert u^{n}-u \bigr\Vert ^{2} -b\bigl( \Vert \Delta u \Vert _{2}^{2}- \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2}\bigr)\sum _{k\in \mathbf{Z}}\Delta u_{k-1}\Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr) \\& \qquad {}-\sum_{k\in \mathbf{Z}}\bigl(f_{k} \bigl(u^{n}_{k}\bigr)-f_{k}(u_{k}) \bigr) \bigl(u^{n}_{k}-u_{k}\bigr). \end{aligned}$$

One has

$$ \begin{aligned} \min \{a,1\} \bigl\Vert u^{n}-u \bigr\Vert ^{2} \leq{}& \bigl\langle I' \bigl(u^{n}\bigr)-I'(u),u^{n}-u \bigr\rangle \\ &{}+\sum_{k\in \mathbf{Z}}\bigl(f_{k} \bigl(u^{n}_{k}\bigr)-f_{k}(u_{k}) \bigr) \bigl(u^{n}_{k}-u_{k}\bigr) \\ &{}+b\bigl( \Vert \Delta u \Vert _{2}^{2}- \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2}\bigr)\sum _{k\in \mathbf{Z}}\Delta u_{k-1}\Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr). \end{aligned} $$

By the boundedness of \(\{u^{n}\}\) and \(u^{n}\rightharpoonup u\) in E, it is obvious that

$$ \bigl\langle I'_{n}\bigl(u^{n} \bigr)-I'(u),u^{n}-u\bigr\rangle \rightarrow 0\quad \text{as } n\rightarrow \infty .$$

By \((f_{1})\), Lemma 2.1 and Lebesgue’s dominated convergence theorem

$$ \sum_{k\in \mathbf{Z}}\bigl(f_{k} \bigl(u^{n}_{k}\bigr)-f_{k}(u_{k}) \bigr) \bigl(u^{n}_{k}-u_{k}\bigr) \rightarrow 0 \quad \text{as } n\rightarrow \infty . $$

Let us consider the functional \(P: E\rightarrow \mathbf{R}\),

$$ P(w)=\sum_{k\in \mathbf{Z}}\Delta u_{k-1}\Delta w_{k-1}. $$

Since \(|P(w)|\leq \|u\|\|w\|\), we can deduce that P is a continuous linear functional on E. By \(u^{n}\rightharpoonup u\) in E, we obtain

$$ P\bigl(u^{n}-u\bigr)=\sum_{k\in \mathbf{Z}}\Delta u_{k-1}\Delta \bigl(u^{n}_{k-1}-u_{k-1} \bigr) \rightarrow 0 \quad \text{as } n\rightarrow \infty . $$

By the boundedness of \(\{u^{n}\}\) in E, we have

$$ b\bigl( \Vert \Delta u \Vert _{2}^{2}- \bigl\Vert \Delta u^{n} \bigr\Vert _{2}^{2} \bigr)\sum_{k\in \mathbf{Z}} \Delta u_{k-1}\Delta \bigl(u^{n}_{k-1}-u_{k-1}\bigr)\rightarrow 0 \quad \text{as } n\rightarrow \infty . $$

It follows from (5)–(8) that \(\|u^{n}-u\|\rightarrow 0\) as \(n\rightarrow \infty \). Thus, \(u^{n}\rightarrow u\) strongly in E as \(n\rightarrow \infty \). □

Let \(\{e^{j}\}\) be an orthonormal basis of E and define \(X_{j}=\operatorname{span}\{e_{j}\}\), \(Y_{m}=\bigoplus _{j=1}^{m}X_{j}\) and \(Z_{m}=\overline{\bigoplus _{j=m+1}^{\infty }X_{j}}\) for any \(m\in \mathbf{N}\).

Lemma 2.3

Under the assumption \((V_{1})\), for any \(2\leq q\leq +\infty \),

$$ \beta _{m}(q):=\sup_{u\in Z_{m}, \Vert u \Vert =1} \Vert u \Vert _{q}\rightarrow 0 \quad \textit{as } m\rightarrow \infty . $$


It is obvious that \(0<\beta _{m+1}(q)\leq \beta _{m}(q)\), so that \(\beta _{m}(q)\rightarrow \beta (q)\geq 0\) as \(m\rightarrow \infty \). For every \(m\in \mathbf{N}\), there exists \(u^{m}\in \mathbf{Z}_{m}\) with \(\|u^{m}\|=1\) such that

$$ \bigl\Vert u^{m} \bigr\Vert _{q}> \frac{\beta _{m}(q)}{2}. $$

For any \(w\in E\), \(w=\sum_{j=1}^{\infty } c_{j}e_{j}\), by the Cauchy–Schwarz inequality, we have

$$ \begin{aligned} \bigl\vert \bigl\langle u^{m},w\bigr\rangle \bigr\vert &= \Biggl\vert \Biggl\langle u^{m},\sum _{j=1}^{ \infty } c_{j}e_{j}\Biggr\rangle \Biggr\vert = \Biggl\vert \Biggl\langle u^{m},\sum _{j=m}^{\infty } c_{j}e_{j} \Biggr\rangle \Biggr\vert \\ &\leq \bigl\Vert u^{m} \bigr\Vert \Biggl\Vert \sum _{j=m}^{\infty } c_{j}e_{j} \Biggr\Vert = \Biggl\Vert \sum_{j=m}^{ \infty } c_{j}e_{j} \Biggr\Vert \rightarrow 0 \end{aligned} $$

as \(m\rightarrow \infty \), which implies that \(u^{m}\rightharpoonup 0\) in E. The compact embedding of \(E\hookrightarrow l^{q}\), \(q\in [2,\infty ]\), implies that \(u^{m}\rightarrow 0\) in \(l^{q}\). Let \(m\rightarrow \infty \) in (10) and we obtain \(\beta _{m}(q)\rightarrow 0\) as \(m\rightarrow \infty \). □

The proof of Theorem 1.1

We will make use of the Symmetric Mountain Pass Theorem and Proposition 2.1 to prove Theorem 1.1. It is easy to see that \((J_{1})\) follows from the condition \((f_{4})\). It follows from \((f_{1})\) that

$$ F_{k}(t)\leq c_{1}t^{2}+c_{2} \vert t \vert ^{p}\quad \text{for any } k\in \mathbf{Z} \text{ and } t\in \mathbf{R}. $$

By Lemma 2.3, there exists \(m\in \mathbf{N}\) large enough such that

$$ \Vert u \Vert ^{2}_{2}\leq \frac{\min \{a,1\}}{4c_{1}} \Vert u \Vert ^{2} \quad \text{and}\quad \Vert u \Vert ^{p}_{p} \leq \frac{\min \{a,1\}}{4c_{2}} \Vert u \Vert ^{p} \quad\text{for any } u\in Z_{m}. $$

It follows from the above three inequalities that

$$ \begin{aligned} I(u)&=\frac{1}{2}\min \{a,1\} \Vert u \Vert ^{2} -\sum_{k\in \mathbf{Z}}F_{k} \bigl(u^{n}_{k}\bigr) \\ &\geq \frac{1}{2}\min \{a,1\} \Vert u \Vert ^{2}-c_{1} \Vert u \Vert _{2}^{2}-c_{2} \Vert u \Vert _{p}^{p} \\ &\geq \frac{1}{4}\min \{a,1\} \Vert u \Vert ^{2}\bigl(1- \Vert u \Vert ^{p-2}\bigr). \end{aligned} $$

It follows from \(p>2\) that there exist \(\delta _{1}\), \(\alpha >0\) such that \(I|_{\partial B_{\delta _{1}}\cap Z_{m}}\geq \alpha \). Thus, \((J_{2})\) holds.

It remains to prove \((J_{3})\). Since all norms are equivalent in a finite-dimensional space, there exists \(c_{4}\) such that \(\|u\|^{4}_{4}\geq c_{4}\|u\|^{4}\) for any \(u\in \widetilde{E}\).

By \((f_{2})\), for any \(M>\frac{b}{4c_{4}}\), there exists \(L_{1}>0\) such that \(F_{k}(t)\geq Mt^{4}\) for \(|t|\geq L_{1}\). It follows from \((f_{1})\) that there exists \(C_{1}>0\) such that \(F_{k}(t)\geq -C_{1}t^{2}\) for \(|t|\leq L_{1}\). From the above two inequalities, it follows that for any \(k\in \mathbf{Z}\),

$$ F_{k}(t)\geq Mt^{4}-C_{M}t^{2} \quad\text{for any } k\in \mathbf{Z} { \text{ and }} t\in \mathbf{R}, $$

where \(C_{M}=C_{1}+ML_{1}^{2}\). It follows that

$$ \begin{aligned} I(u)&\leq \frac{1}{2}\max \{a,1\} \Vert u \Vert ^{2}+\frac{b}{4} \Vert u \Vert ^{4}-\sum _{k\in \mathbf{Z}}F_{k}(u_{k}) \\ &\leq \frac{1}{2}\max \{a,1\} \Vert u \Vert ^{2}+ \frac{b}{4} \Vert u \Vert ^{4}-M \Vert u \Vert _{4}^{4}+C_{M} \Vert u \Vert _{2}^{2} \\ &\leq C \Vert u \Vert ^{2}-\biggl(Mc_{4}- \frac{b}{4}\biggr) \Vert u \Vert ^{4}, \end{aligned} $$

for all \(u\in \widetilde{E}\). Hence, there exists a large \(R=R(\widetilde{E})\) such that \(I(u)\leq 0\) on \(\widetilde{E}\setminus B_{R}\). This completes the proof. □

The proof of Theorem 1.4

To deal with the sublinear case in Theorem 1.4, we need the following Symmetric Mountain Pass Theorem of Kajikiya [10]. Let X be a Banach space and A be a subset of X. Denote by Γ the family of closed symmetric subsets A of X,

$$ \Gamma =\bigl\{ A\in X\backslash \{0\} | A \text{ is closed and symmetric with the origin}\bigr\} . $$

We define the \(\mathbf{Z}_{2}\)-genus of \(A\in \Gamma \) by \(\gamma (A)\). Set \(\Gamma _{m}=\{A\in \Gamma | \gamma (A)\geq m\}\).

Proposition 3.1

Let X be an infinite-dimensional Banach space and \(J\in C^{1}(X,\mathbf{R})\) satisfies the following conditions:

  1. (a)

    \(J(u)\) is even, bounded from below, \(J(0)=0\) and J satisfies the (PS) condition.

  2. (b)

    For any \(m\in \mathbf{N}\), there exists \(A_{m}\in \Gamma _{m}\) such that \(\sup_{u\in A_{m}}J(u)<0\).

Then, J has a sequence of critical points \(\{u^{n}\}\) such that \(J(u^{n})\leq 0\), \(u^{n}\neq 0\) and \(\lim_{n\rightarrow \infty }u^{n}=0\).

Lemma 3.1

For the finite-dimensional subspace of E, there exists \(\varepsilon >0\) such that

$$ \operatorname{meas}\bigl\{ k\in \mathbf{Z}| \xi _{k} \vert u_{k} \vert ^{\kappa }\geq \varepsilon \Vert u \Vert ^{\kappa }\bigr\} \geq 1 \quad \textit{for any } u\in \widetilde{E}\setminus \{0 \}, $$

where κ and \(\xi _{k}\) are given in \((f_{6})\).


Arguing indirectly, if not, for any positive integer n there exist \(u^{n}\in \widetilde{E}\) such that

$$ \operatorname{meas}\biggl\{ k\in \mathbf{Z}| \xi _{k} \bigl\vert u^{n}_{k} \bigr\vert ^{\kappa }\geq \frac{1}{n} \bigl\Vert u^{n} \bigr\Vert ^{\kappa }\biggr\} =0. $$

By the above inequality, we can assume that \(\|u^{n}\|=1\) and

$$ \operatorname{meas}\biggl\{ k\in \mathbf{Z}| \xi _{k} \bigl\vert u^{n}_{k} \bigr\vert ^{\kappa }\geq \frac{1}{n}\biggr\} =0. $$

By the compactness of the unit sphere of the finite-dimensional subspace , there exists a subsequence such that \(u^{n}\rightarrow u^{0}\) in and \(u^{n}\rightarrow u^{0}\) in \(l^{2}\). By the Hölder inequality, we have

$$ \sum_{k\in \mathbf{Z}}\xi _{k} \bigl\vert u_{k}^{n}-u^{0} \bigr\vert ^{\kappa }\leq \biggl(\sum_{k \in \mathbf{Z}} \vert \xi _{k} \vert ^{\frac{2}{2-\kappa }}\biggr)^{\frac{2-\kappa }{2}}\biggl( \sum _{k\in \mathbf{Z}} \bigl\vert u_{k}^{n}-u_{k}^{0} \bigr\vert ^{2}\biggr)^{\frac{\kappa }{2}} \rightarrow 0 \quad \text{as } n\rightarrow \infty . $$

Since \(\|u^{0}\|=1\), there exists \(d_{1}>0\) such that \(\operatorname{meas}\{k\in \mathbf{Z}| \xi _{k}|u^{0}_{k}|^{\kappa }\geq d_{1}\}\geq 1 \). Otherwise, one has \(\operatorname{meas}\{k\in \mathbf{Z}| \xi _{k}|u^{0}_{k}|^{\kappa }\geq \frac{1}{n} \}=0 \), which implies that

$$ 0\leq \sum_{k\in \mathbf{Z}}\xi _{k} \bigl\vert u^{0} \bigr\vert ^{\kappa +2}\leq \frac{1}{n}\sum _{k\in \mathbf{Z}} \bigl\vert u_{k}^{0} \bigr\vert ^{2}\rightarrow 0 \quad \text{as } n\rightarrow \infty . $$

Thus, \(u^{0}=0\), which is impossible. Set that \(\Omega _{n}=\{k\in \mathbf{Z}| \xi _{k}|u^{n}_{k}|^{\kappa }< \frac{1}{n}\}\) and \(\Omega _{0}=\{k\in \mathbf{Z}| \xi _{k}|u^{0}_{k}|^{\kappa }\geq d_{1} \}\). Thus, \(\operatorname{meas}(\Omega _{0}\cap \Omega _{n})\geq \operatorname{meas}(\Omega _{0})- \operatorname{meas}( \Omega ^{c}_{n})\geq 1\). Then, for n large, we obtain

$$ \begin{aligned} \sum_{k\in \mathbf{Z}}\xi _{k} \bigl\vert u_{k}^{n}-u^{0} \bigr\vert ^{\kappa }& \geq \sum_{\Omega _{0}\cap \Omega _{n}}\xi _{k} \bigl\vert u_{k}^{n}-u^{0} \bigr\vert ^{\kappa }\geq \frac{1}{2^{\kappa }}\sum _{\Omega _{0}\cap \Omega _{n}}\xi _{k} \bigl\vert u_{k}^{0} \bigr\vert ^{\kappa }-\sum_{\Omega _{0}\cap \Omega _{n}}\xi _{k} \bigl\vert u^{n}_{k} \bigr\vert ^{\kappa } \\ &\geq \biggl(\frac{d_{1}}{2^{\kappa }}-\frac{1}{n} \biggr) \operatorname{meas}( \Omega _{0} \cap \Omega _{n})\geq \biggl(\frac{d_{1}}{2^{\kappa }}- \frac{1}{n} \biggr), \end{aligned} $$

which contradicts (12). □

The proof of Theorem 1.4

We consider the truncated functional

$$ \varphi (u)=\frac{1}{2}\sum_{k\in \mathbf{Z}}\bigl(a \vert \Delta u_{k-1} \vert ^{2}+V_{k}u_{k}^{2} \bigr)+ \frac{1}{4}b\biggl(\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2}\biggr)^{2}-h\bigl( \Vert u \Vert \bigr) \sum_{k\in \mathbf{Z}}F_{k}(u_{k}), $$

for all \(u\in E\), where \(h\in C^{1}(\mathbf{R}^{+},\mathbf{R}^{+})\) such that \(0\leq h\leq 1\), \(h(t)=1\) for \(0\leq t\leq 1\) and \(h(t)=0\) for \(t\geq 2\). To obtain Theorem 1.4, it suffices to show that φ possesses a sequence of critical points \(\{u^{n}\}\) such that \(u^{n}\rightarrow 0\) as \(n\rightarrow \infty \).

By \((f_{4})\), we have \(\varphi (-u)=\varphi (u)\). For any \(u\in E\) with \(\|u\|=2\), one has

$$ \varphi (u)=\frac{1}{2}\sum_{k\in \mathbf{Z}}\bigl(a \vert \Delta u_{k-1} \vert ^{2}+V_{k}u_{k}^{2} \bigr)+ \frac{1}{4}b\biggl(\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2}\biggr)^{2}\geq \frac{1}{2}\min \{a,1\} \Vert u \Vert ^{2}, $$

which implies that \(\varphi (u)\) is bounded from below and coercive. By condition \((f_{6})\) and Lemma 2.1, we can prove that φ satisfies the (PS) condition. For any \(Y_{m}\), by Lemma 3.1, there exists \(\varepsilon _{m}>0\) such that

$$ \operatorname{meas}\bigl\{ k\in \mathbf{Z}| \xi _{k} \vert u_{k} \vert ^{\kappa }\geq \varepsilon _{m} \Vert u \Vert ^{\kappa }\bigr\} \geq 1 \quad \text{for any } u\in Y_{m}\setminus \{0\}. $$

Let \(\Omega _{u}=\{k\in \mathbf{Z}| \xi _{k}|u_{k}|^{\kappa }\geq \varepsilon _{m}\|u\|^{\kappa }\}\). For any \(u\in Y_{m}\setminus \{0\}\), with \(\|u\|\leq \min \{1, (\frac{\varepsilon _{m}}{2\kappa (a+b+1)} )^{1/(2-\kappa )}\}\), we deduce that

$$ \begin{aligned} \varphi (u)&\leq \frac{1}{2}\sum _{k\in \mathbf{Z}}\bigl(a \vert \Delta u_{k-1} \vert ^{2}+V_{k}u_{k}^{2}\bigr)+ \frac{1}{4}b\biggl(\sum_{k\in \mathbf{Z}} \vert \Delta u_{k-1} \vert ^{2}\biggr)^{2}-\sum _{k\in \mathbf{Z}}F_{k}(u_{k}) \\ &\leq \frac{1}{2}\max \{a,1\} \Vert u \Vert ^{2}+ \frac{b}{4} \Vert u \Vert ^{4}- \frac{1}{\kappa }\sum _{k\in \mathbf{Z}}\xi _{k} \vert u_{k} \vert ^{\kappa } \\ &\leq \frac{1}{2}\max \{a,1\} \Vert u \Vert ^{2}+ \frac{b}{4} \Vert u \Vert ^{4}- \frac{1}{\kappa }\sum _{k\in \Omega _{u}}\xi _{k} \vert u_{k} \vert ^{\kappa } \\ &\leq (a+b+1) \Vert u \Vert ^{2}-\frac{1}{\kappa }\varepsilon _{m} \Vert u \Vert ^{\kappa }\operatorname{meas}( \Omega _{u}) \\ &\leq -(a+b+1) \Vert u \Vert ^{2}. \end{aligned} $$

Then, choosing \(0< d_{m}\leq \min \{1, (\frac{\varepsilon _{m}}{2\kappa (a+b+1)} )^{1/(2-\kappa )}\}\), the above inequality implies that

$$ \bigl\{ u\in Y_{m}| \Vert u \Vert =d_{m}\bigr\} \subset \bigl\{ u\in E | \varphi (u) \leq -(a+b+1)d^{2}_{m}\bigr\} . $$

Setting that \(A_{m}=\{u\in E | \varphi (u)\leq -(a+b+1)d^{2}_{m}\}\), we have

$$ \gamma (A_{m})\geq \gamma \bigl(\bigl\{ u\in Y_{m}| \Vert u \Vert =d_{m}\bigr\} \bigr)\geq m. $$

Hence, \(A_{m}\in \Gamma _{m}\) and \(\sup_{u\in A_{m}} I(u)\leq -(a+b+1)d^{2}_{m}<0\). This completes the proof. □

Availability of data and materials

The data and material in this paper are original.


  1. Aboudramane, G., Idrissa, I., Stanislas, O.: Weak homoclinic solutions to discrete nonlinear problems of Kirchhoff type with variable exponents. CUBO 19, 43–55 (2017)

    MathSciNet  Article  Google Scholar 

  2. Blaise, K., Ismaël, N., Stanislas, O.: Weak solutions to discrete nonlinear two-point boundary-value problems of Kirchhoff type. Electron. J. Differ. Equ. 2015, 105 (2015)

    MathSciNet  Article  Google Scholar 

  3. Chakrone, O., Hssini, E.L.M., Rahmani, M., Darhouche, O.: Multiplicity results for a p-Laplacian discrete problems of Kirchhoff type. Appl. Math. Comput. 276, 310–315 (2016)

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

  6. Chen, S.T., Tang, X.H., Yu, J.S.: Sign-changing ground state solutions for discrete nonlinear Schrödinger equations. J. Differ. Equ. Appl. 25, 202–218 (2019)

    Article  Google Scholar 

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

    Article  Google Scholar 

  8. Erbe, L., Jia, B., Zhang, Q.: Homoclinic solutions of discrete nonlinear systems via variational method. J. Appl. Anal. Comput. 9, 271–294 (2019)

    MathSciNet  MATH  Google Scholar 

  9. He, Y., Li, G.B.: Standing waves for a class of Kirchhoff type problems in \(\mathbf{R}^{3}\) involving critical Sobolev exponents. Calc. Var. Partial Differ. Equ. 54, 3067–3106 (2015)

    Article  Google Scholar 

  10. Kajikiya, R.: A critical point theorem related to the symmetric mountain pass lemma and its applications to elliptic equations. J. Funct. Anal. 225, 352–370 (2005)

    MathSciNet  Article  Google Scholar 

  11. Kopidakis, G., Aubry, S., Tsironis, G.P.: Targented enery transfer through discrete breathers in nonlinear systems. Phys. Rev. Lett. 87, 165501 (2001)

    Article  Google Scholar 

  12. Li, G.B., Ye, H.Y.: Existence of positive ground state solutions for the nonlinear Kirchhoff type equations in \(\mathbf{R}^{3}\). J. Differ. Equ. 257, 566–600 (2014)

    Article  Google Scholar 

  13. Lin, G.H., Yu, J.S., Zhou, Z.: Homoclinic solutions of discrete nonlinear Schrödinger equations with partially sublinear nonlinearities. Electron. J. Differ. Equ. 96, 1 (2019)

    MATH  Google Scholar 

  14. Lin, G.H., Zhou, Z.: Homoclinic solutions in non-periodic discrete ϕ-Laplacian equations with mixed nonlinearities. Commun. Pure Appl. Anal. 17, 1723–1747 (2018)

    MathSciNet  Article  Google Scholar 

  15. Lin, G.H., Zhou, Z., Yu, J.S.: Ground state solutions of discrete asymptotically linear Schrödinger equations with bounded and non-periodic potentials. J. Dyn. Differ. Equ. 32, 527–555 (2020)

    Article  Google Scholar 

  16. Livi, R., Franzosi, R., Oppo, G.L.: Self-localization of Bose-Einstein condensates in optical lattices via boundary dissipation. Phys. Rev. Lett. 97, 060401 (2006)

    Article  Google Scholar 

  17. Ma, M.J., Guo, Z.M.: Homoclinic orbits for second order self-adjoint difference equations. J. Math. Anal. Appl. 323, 513–521 (2006)

    MathSciNet  Article  Google Scholar 

  18. Ma, M.J., Guo, Z.M.: Homoclinic orbits and subharmonics for nonlinear second order difference equations. Nonlinear Anal. 67, 1737–1745 (2007)

    MathSciNet  Article  Google Scholar 

  19. Pankov, A.: Gap solitons in periodic discrete nonlinear Schrödinger equations. Nonlinearity 19, 27–40 (2006)

    MathSciNet  Article  Google Scholar 

  20. 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)

    MathSciNet  Article  Google Scholar 

  21. Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. in Math., vol. 65. Am. Math. Soc., Providence (1986)

    Book  Google Scholar 

  22. Shapour, H., Ghasem, A., Johnny, A.H., Shahin, M., Giuseppe, C.: Variational approaches to p-Laplacian discrete problems of Kirchhoff-type. J. Differ. Equ. Appl. 23, 917–938 (2017)

    MathSciNet  Article  Google Scholar 

  23. Shapour, H., Ghasem, A., Shahin, M., Giuseppe, C.: Critical point approaches to difference equations of Kirchhoff-type. Differential and difference equations with applications. In: Springer Proc. Math. Stat., vol. 230, pp. 39–51. Springer, Cham (2018)

    Google Scholar 

  24. Shapour, H., Giuseppe, C., Amjad, S.: Perturbed Kirchhoff-type p-Laplacian discrete problems. Collect. Math. 68, 401–418 (2017)

    MathSciNet  Article  Google Scholar 

  25. Tang, X.H.: Non-Nehari manifold method for periodic discrete superlinear Schrödinger equation. Acta Math. Sin. Engl. Ser. 32, 463–473 (2016)

    MathSciNet  Article  Google Scholar 

  26. Wang, J., Tian, L.X., Xu, J.X., Zhang, F.B.: Multiplicity and concentration of positive solutions for a Kirchhoff type problem with critical growth. J. Differ. Equ. 253, 2314–2351 (2012)

    MathSciNet  Article  Google Scholar 

  27. Wu, S., Huang, J.H.: Invariant measure and statistical solutions for non-autonomous discrete Klein–Gordon–Schrödinger-type equations. J. Appl. Anal. Comput. 10, 1516–1533 (2020)

    MathSciNet  MATH  Google Scholar 

  28. Xie, Q.L.: Multiple solutions for the nonhomogeneous discrete nonlinear Schrödinger equation. Appl. Math. Lett. 91, 144–150 (2019)

    MathSciNet  Article  Google Scholar 

  29. Xie, Q.L., Ma, S.W., Zhang, X.: Bound state solutions of Kirchhoff type problems with critical exponent. J. Differ. Equ. 261, 890–924 (2016)

    MathSciNet  Article  Google Scholar 

  30. Yang, J., Liu, J.: Nontrivial solutions for discrete Kirchhoff-type problems with resonance via critical groups. Adv. Differ. Equ. 2013, 308 (2013)

    MathSciNet  Article  Google Scholar 

  31. Ye, Y.W., Tang, C.L.: Multiple solutions for Kirchhoff-type equations in \(\mathbf{R}^{N}\). J. Math. Phys. 54, 081508 (2013)

    MathSciNet  Article  Google Scholar 

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

    MATH  Google Scholar 

  33. 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)

    MathSciNet  Article  Google Scholar 

  34. Zhou, Z., Ma, D.: Multiplicity results of breathers for the discrete nonlinear Schrödinger euqations with unbounded potentials. Sci. China Ser. A 58, 781–790 (2015)

    Article  Google Scholar 

Download references


The authors would like to thank the referees for helpful comments and valuable suggestions.


This research is supported by the National Natural Science Foundation of China (Nos. 11871171, 11701113), the Natural Science Foundation of Guangdong Province (No. 2021A1515010383), and the Project of Science and Technology of Guangzhou (No. 202102020730).

Author information

Authors and Affiliations



Both authors contributed equally to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Huafeng Xiao.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Xie, Q., Xiao, H. Infinitely many solutions for the discrete Schrödinger equations with a nonlocal term. Bound Value Probl 2022, 2 (2022).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • Solutions
  • Discrete Schrödinger equations
  • Kirchhoff type