Skip to main content

Theory and Modern Applications

The Nehari manifold method for discrete fractional p-Laplacian equations


The aim of this paper is to investigate the multiplicity of homoclinic solutions for a discrete fractional difference equation. First, we give a variational framework to a discrete fractional p-Laplacian equation. Then two nontrivial and nonnegative homoclinic solutions are obtained by using the Nehari manifold method.

1 Introduction and main result

Denote by \(\mathbb{Z}\) the set of whole integers and let T be a positive real number. Set

$$\begin{aligned} -\Delta _{T}u(j)=\frac{1}{T^{2}} \bigl[u\bigl((j+1)T \bigr)-2u(jT)+u\bigl((j-1)T\bigr) \bigr] \end{aligned}$$

for \(u:\mathbb{Z}\rightarrow \mathbb{R}\). The well-known second order difference equation

$$\begin{aligned} -\Delta _{T} u(j)+V(j)u(j) =f\bigl(j,u(j)\bigr)\quad \mbox{in } \mathbb{Z} \end{aligned}$$

can be regarded as the discrete version of the Schrödinger type equation, which can be used to describe a planetary system or an electron in an electromagnetic field. Here potential function \(V:\mathbb{Z}\rightarrow [0,\infty )\) and \(f:\mathbb{Z}\times \mathbb{R}\rightarrow \mathbb{R}\). Particularly, homoclinic orbits play a very important role in studying the dynamics of discrete Schrödinger equations. In recent tears, second order difference equations and homoclinic orbits have been the research focus. The literature on such a field is very rich, we collect some papers; see, for example, [2, 7, 1820, 22, 23, 30]. Especially, Agarwal, Perera and O’Regan in [2] first considered the existence of solutions for second order difference equations like (1.1) by using variational methods.

Recently, Ciaurri et al. in [10] considered the following discrete fractional Laplace equation:

$$\begin{aligned} (-\Delta _{T})^{s}u=f, \end{aligned}$$

where \((-\Delta _{T})^{s}\) is the so-called discrete fractional Laplacian given by

$$\begin{aligned} (-\Delta _{T})^{s}u(j)=\frac{1}{\Gamma (-s)} \int _{0}^{\infty }\bigl(e^{t \Delta T}u(j)-u(j) \bigr)\,\frac{dt}{t^{1+2s}}. \end{aligned}$$

Here \(s\in (0,1)\), Γ is the Gamma function and \(v(t,j)=e^{t\Delta _{T}}u(j)\) is the solution of the following problem:

$$\begin{aligned} \textstyle\begin{cases} \partial _{t} v(t,j)=\Delta _{T}v(t,j),& \mbox{in } \mathbb{Z}_{T}\times (0,\infty ), \\ v(0,j)=u(j),& \mbox{on } \mathbb{Z}_{T}, \end{cases}\displaystyle \end{aligned}$$

where \(\mathbb{Z}_{T}=\{Tj:j\in \mathbb{Z}\}\).


$$\begin{aligned} \mathcal{L}_{s}= \biggl\{ u:\mathbb{Z}_{T}\rightarrow \mathbb{R} | \sum_{k\in \mathbb{Z}}\frac{ \vert u(k) \vert }{(1+ \vert k \vert )^{1+2s}} < \infty \biggr\} \end{aligned}$$


$$ \mathscr{K}_{s}^{T}(k) = \frac{4^{s}\Gamma (1/2+s)}{\sqrt{\pi } \vert \Gamma (-s) \vert }\cdot \frac{\Gamma ( \vert k \vert -s)}{T^{2s}\Gamma ( \vert k \vert +1+s)} $$

for any \(k\in \mathbb{Z}\setminus \{0\}\) and \(\mathscr{K}_{s}^{T}(0)=0\). Then by [10, Theorem 1.1]

$$\begin{aligned} (-\Delta _{T})^{s}u(j) =\sum _{k\in \mathbb{Z},k\neq j}\bigl(u(j)-u(k)\bigr) \mathscr{K}_{s}^{T}(j-k), \end{aligned}$$

provided \(u\in \mathcal{L}_{s}\). As showed in [10, Theorem 1.1], there exist positive constants \(c_{s}\leq C_{s}\) such that

$$ \frac{c_{s}}{T^{2s} \vert j \vert ^{1+2s}}\leq \mathscr{K}_{s}^{T}(j) \leq \frac{C_{s}}{T^{2s} \vert j \vert ^{1+2s}}, $$

for any \(j\in \mathbb{Z}\setminus \{0\}\). An interesting result is that \(\lim_{s\rightarrow 1^{-}}(-\Delta _{T})^{s}u(j) =-\Delta _{T}u(j)\) if u is bounded. In particular, [10] stated that the solutions of (1.2) converge to the solutions of following fractional Laplacian problem:

$$\begin{aligned} (-\Delta )^{s}u=f\quad \mbox{in } \mathbb{R}. \end{aligned}$$

Here \((-\Delta )^{s}\) is the fractional Laplacian defined for any \(x\in \mathbb{R}\) as

$$ (-\Delta )^{s} v(x)= \mathcal{C}(s)\lim_{R\rightarrow 0^{+}} \int _{ \mathbb{R}\setminus B_{R}(x)}\frac{v(x)-v(y)}{ \vert x-y \vert ^{1+2s}}\,dy $$

along any \(v\in C_{0}^{\infty }(\mathbb{R})\), where \(B_{R}(x)=(x-R,x+R)\) and \(\mathcal{C}(s)>0\) is a constant. For further details about the fractional Laplacian and fractional Sobolev spaces, we refer to [12]. The numerical analysis of fractional difference equations is difficulty, since the discrete fractional Laplace operator is nonlocal and singular; see for example [1, 17] and the references cited therein. In [35], Xiang and Zhang first studied the following discrete fractional Laplacian equation:

$$\begin{aligned} \textstyle\begin{cases} (-\Delta _{T})^{s} u(k)+V(k)u(k)=\lambda f(k,u(k)) &\mbox{in } \mathbb{Z}, \\ u(k)\rightarrow 0 &\mbox{as } \vert k \vert \rightarrow \infty , \end{cases}\displaystyle \end{aligned}$$

where \(s\in (0,1)\), \(V:\mathbb{Z}\rightarrow (0,\infty )\), \(f:\mathbb{Z}\times \mathbb{R}\rightarrow \mathbb{R}\) is a continuous function with respect to the second variable and satisfies asymptotically linear growth at infinity. Under some suitable hypotheses, two solutions were obtained by using the mountain pass theorem and Ekeland’s variational principle.

Recently, the study of fractional Laplacian and related problems has been received an increasing amount of attention. The fractional Laplacian appears in many fields, such as anomalous diffusion, quantum mechanics, finance, optimization and game theory; see [4, 8, 21, 31] and the references therein. For the applications of fractional operators, we refer to [3, 5, 9, 11, 1416, 2429, 33, 34, 36, 37] and the references therein.

Motivated by above papers, we study the following nonlinear discrete fractional p-Laplacian equation:

$$\begin{aligned} \textstyle\begin{cases} (-\Delta _{d})_{p}^{s} u(k)+V(k) \vert u(k) \vert ^{p-2}u(k) \\ \quad =\lambda a(k) \vert u(k) \vert ^{q-2}u(k) +b(k) \vert u(k) \vert ^{r-2}u(k) &\mbox{for } k\in \mathbb{Z}, \\ u(k)\rightarrow 0 &\mbox{as } \vert k \vert \rightarrow \infty , \end{cases}\displaystyle \end{aligned}$$

where \(s\in (0,1)\), \(V:\mathbb{Z}\rightarrow (0,\infty )\), \(1< q< p\), \(a\in \ell ^{\frac{p}{p-q}}\), \(p< r<\infty \), \(b\in \ell ^{\infty }\) and \((-\Delta _{d})_{p}^{s}\) is defined as follows: for each \(j\in \mathbb{Z}\),

$$\begin{aligned} (-\Delta _{d})_{p}^{s}u(j) =2\sum _{m\in \mathbb{Z},m\neq j} \bigl\vert u(j)-u(k) \bigr\vert ^{p-2} \bigl(u(j)-u(m)\bigr)K_{s,p}(j-m). \end{aligned}$$

Here the discrete kernel \(K_{s,p}\) satisfies the requirement that there exist constants \(0< c_{s,p}\leq C_{s,p}<\infty \) such that

$$\begin{aligned} \textstyle\begin{cases} \frac{c_{s,p}}{ \vert j \vert ^{1+ps}}\leq K_{s,p}(j)\leq \frac{C_{s,p}}{ \vert j \vert ^{1+ps}}& \mbox{for any } j\in \mathbb{Z} \setminus \{0\}; \\ K_{s,p}(0)=0. \end{cases}\displaystyle \end{aligned}$$

Note that when \(p=2\) the discrete fractional p-Laplacian \((-\Delta _{d})_{p}^{s}\) reduces to \((-\Delta _{T})^{s}\) with \(T=1\). As usual, we say that a function \(u:\mathbb{Z}\rightarrow \mathbb{R}\) is a homoclinic solution of Eq. (1.4) if \(u(k)\rightarrow 0\) as \(|k|\rightarrow \infty \).

In this paper we always assume that the function V satisfies


there exists \(V_{0}>0\) such that \(V(k)\geq V_{0}>0\) for all \(k\in \mathbb{Z}\), and \(V(k)\rightarrow \infty \) as \(|k|\rightarrow \infty \).

Set \(M_{b}=\sup_{k\in \mathbb{Z}}b(k)\) and

$$\begin{aligned} \Lambda _{0}= \Vert a \Vert _{\frac{p}{p-q}}^{-1}V_{0}^{\frac{q}{p}} \biggl( \frac{(p-q)}{(r-q)M_{b}V_{0}^{-\frac{r}{p}}} \biggr)^{\frac{p-q}{r-p}} \frac{r-p}{r-q}. \end{aligned}$$

Theorem 1.1

Assume that V satisfies \((V)\), \(1< q< p< r<\infty \), \(a\in \ell ^{\frac{p}{p-q}}\) and \(0\leq b\in \ell ^{\infty }\). Then for all \(0<\lambda <\Lambda _{0}\) Eq. (1.4) admits at least two nontrivial and nonnegative homoclinic solutions.

To the best of our knowledge, our paper is the first time of use of the Nehari manifold method to study the multiplicity of solutions for discrete fractional p-Laplacian equations. It is worth mentioning that the weight function a may change sign in this paper. But for the case that both a and b are sign changing functions, the existence of two solutions is still an open problem. The authors will consider the case in the further.

The paper is organized as follows. In Sect. 2, we present a variational framework to Eq. (1.4) and show some basic results. In Sect. 3, we give the definitions of Nehari manifold and fibering map. Moreover, some properties of the fibering map are given. In Sect. 4, using the Nehari manifold method, we obtain two distinct nontrivial and nonnegative homoclinic solutions of Eq. (1.4).

2 Variational setting and preliminaries

In this section, we first recall some basic definitions, which can be found in [13, 19, 35]. Then we introduce a variational framework to Eq. (1.4) and discuss its properties. For any \(1\leq \nu <\infty \), we define \(\ell ^{\nu }\) as

$$\begin{aligned} \ell ^{\nu }:= \biggl\{ u:\mathbb{Z}\rightarrow \mathbb{R}\biggm|\sum _{j \in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{\nu }< \infty \biggr\} , \end{aligned}$$

with the norm

$$\begin{aligned} \Vert u \Vert _{\nu }= \biggl(\sum_{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{\nu } \biggr)^{1/\nu }. \end{aligned}$$


$$ \Vert u \Vert _{\infty }:=\sup_{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert < \infty . $$


$$\begin{aligned} \ell ^{\infty }= \bigl\{ u:\mathbb{Z}\rightarrow \mathbb{R}| \Vert u \Vert _{\infty }< \infty \bigr\} . \end{aligned}$$

Then \((\ell ^{\nu },\|\cdot \|_{\nu })\) and \((\ell ^{\infty },\|\cdot \|_{\infty })\) are Banach spaces; see [13]. Clearly, \(\ell ^{\nu _{1}}\subset \ell ^{\nu _{2}}\) if \(1\leq \nu _{1}\leq \nu _{2}\leq \infty \). From now on, we shortly denote by \(\|\cdot \|_{\nu }\) the norm of \(\ell ^{\nu }\) for all \(\nu \in [1,\infty ]\).

For interval \(I\subset \mathbb{R}\), we define

$$\begin{aligned} \ell _{I}^{\nu }: = \biggl\{ u:I\rightarrow \mathbb{R}\biggm| \sum_{j\in I} \bigl\vert u(j) \bigr\vert ^{\nu }< \infty \biggr\} . \end{aligned}$$

Define W as

$$\begin{aligned} W= \biggl\{ u:\mathbb{Z}\rightarrow \mathbb{R}\biggm|\sum _{j\in \mathbb{Z}} \sum_{k\in \mathbb{Z}} \bigl\vert u(j)-u(k) \bigr\vert ^{p}K_{s,p}(j-k) +\sum _{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p}< \infty \biggr\} . \end{aligned}$$

Equip W with the norm

$$\begin{aligned} \Vert u \Vert _{W}= \biggl([u]_{s,p}^{p} +\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{1/p}, \end{aligned}$$


$$\begin{aligned}{} [u]_{s,p}:= \biggl( \sum_{j\in \mathbb{Z}} \sum _{k\in \mathbb{Z}} \bigl\vert u(j)-u(k) \bigr\vert ^{p}K_{s,p}(j-m) \biggr)^{1/p}. \end{aligned}$$

Lemma 2.1

If \(u\in \ell ^{p}\), then \([u]_{s,p}<\infty \). Moreover, there exists \(\mathcal{C}>0\) only depending on s and p such that \([u]_{s,p}\leq \mathcal{C}\|u\|_{p}\) for all \(u\in \ell ^{p}\).


The proof is similar to [32]. Let \(u\in \ell ^{p}\). Then

$$\begin{aligned}{} [u]_{s,p}^{p} =& \sum_{j\in \mathbb{Z}} \sum_{k\in \mathbb{Z}} \bigl\vert u(j)-u(k) \bigr\vert ^{p}K_{s,p}(j-m) \\ \leq &2^{p-1}C_{s,p} \sum_{j\in \mathbb{Z}} \sum_{k\neq j} \frac{ \vert u(j) \vert ^{p}+ \vert u(k) \vert ^{p}}{ \vert j-k \vert ^{1+ps}} \\ =&2^{p-1}C_{s,p}\sum_{k\neq 0} \frac{ \vert u(0) \vert ^{p}+ \vert u(k) \vert ^{p}}{ \vert k \vert ^{1+ps}}+2^{p-1}C_{s,p} \biggl(\sum _{j\neq 0}\sum_{k\neq 0} \frac{ \vert u(j) \vert ^{p}}{ \vert k \vert ^{1+ps}} \biggr)\\ &{}+2^{p-1}C_{s,p} \biggl(\sum _{j\neq 0}\sum_{k \neq 0} \frac{ \vert u(k+j) \vert ^{p}}{ \vert k \vert ^{1+ps}} \biggr) \\ =&2^{p-1}C_{s,p}\sum_{k\neq 0} \frac{ \vert u(0) \vert ^{p}+ \vert u(k) \vert ^{p}}{ \vert k \vert ^{1+ps}} +2^{p-1}C_{s,p} \biggl(\sum _{k\neq 0}\sum_{j\neq 0} \frac{ \vert u(j) \vert ^{p}}{ \vert k \vert ^{1+ps}} \biggr)\\ &{}+2^{p-1}C_{s,p} \biggl(\sum _{k\neq 0}\sum_{j \neq 0} \frac{ \vert u(k+j) \vert ^{p}}{ \vert k \vert ^{1+ps}} \biggr) \\ \leq& 3 2^{p-1}C_{s,p}\sum_{k\neq 0} \frac{1}{ \vert k \vert ^{1+ps}} \sum_{j \in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p} \\ =& \mathcal {C}^{p}\sum_{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p}, \end{aligned}$$

where \(0<\mathcal{C}= (3 2^{p-1}C_{s,p}\sum_{k\neq 0} \frac{1}{|k|^{1+2s}} )^{1/p}<\infty \). Therefore, the proof is complete. □

Lemma 2.2

The norm

$$\begin{aligned} \Vert u \Vert := \biggl(\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{1/p} \end{aligned}$$

is an equivalent norm of W. Moreover, \((W,\|\cdot \|_{W})\) is a Banach space.


The proof is similar to [32], for completeness, we give its details. Using assumption \((V)\) and Lemma 2.1, we have

$$\begin{aligned} \sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} &\leq \Vert u \Vert _{W}^{p}\leq C\sum_{j \in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p}+\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \\ &\leq C\frac{1}{V_{0}}\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p}+ \sum_{j \in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \\ &=C\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p}, \end{aligned}$$

which leads to \(\|u\|= (\sum_{j\in \mathbb{Z}}V(j)|u(j)|^{p} )^{1/p} \) being an equivalent norm of W.

Finally we show that \((W,\|\cdot \|_{W})\) is complete. Let \(\{v_{n}\}_{n} \) be a Cauchy sequence in W. Observe that

$$\begin{aligned} \Vert u \Vert _{p}\leq V_{0}^{-\frac{1}{p}} \Vert u \Vert \end{aligned}$$

for all \(u\in W\). Then \(\{v_{n}\}_{n}\) is also a Cauchy sequence in \(\ell ^{p}\). By the completeness of \(\ell ^{p}\), there exists \(u\in \ell ^{p}\) such that \(v_{n}\rightarrow u\) in \(\ell ^{p}\). Furthermore, Lemma 2.1 and assumption \((V)\) show that \(v_{n}\rightarrow u\) strongly in W as \(n\rightarrow \infty \).

In conclusion, the proof is complete. □

Moreover, we have the following compactness result.

Lemma 2.3

Assume \((V)\). Then the embedding \(W\hookrightarrow \ell ^{\nu }\) is compact for any \(p\leq \nu <\infty \).


The proof is similar to that in [19] and [35]. We first show that the result holds for the case \(\nu =p\). It follows from assumption \((V)\) that

$$\begin{aligned} \Vert u \Vert _{p}\leq V_{0}^{-\frac{1}{p}} \Vert u \Vert \quad \mbox{for all } u\in W, \end{aligned}$$

which shows that the embedding \(W\hookrightarrow \ell ^{p}\) is continuous.

Next we prove that \(W\hookrightarrow \ell ^{p}\) is compact. Let \(\{v_{n}\}_{n}\subset W\) and assume that there exists \(D>0\) such that \(\|v_{n}\|_{W}^{p}\leq D\) for all \(n\in \mathbb{N}\). Now we show that \(\{v_{n}\}_{n}\) strongly converges to some function in \(\ell ^{p}\). Using the reflexivity of W, there exist a subsequence of \(\{v_{n}\}_{n}\) still denoted by \(\{v_{n}\}_{n}\) and function \(u\in W\) such that \(v_{n}\rightharpoonup u\) in W. By assumption \((V)\), for any \(\delta >0\) there exists \(j_{0}\in \mathbb{N}\) such that for all \(|j|>j_{0}\)

$$\begin{aligned} V(j)>\frac{1+D}{\delta }. \end{aligned}$$

Set \(I=[-j_{0},j_{0}]\) and define

$$\begin{aligned} W_{I}:= \biggl\{ u:I\rightarrow \mathbb{R}\biggm|\sum _{j\in I}\sum_{j \neq k\in I} \bigl\vert u(j)-u(k) \bigr\vert ^{p}K_{s,p}(j-k)+\sum _{j\in I}V(j) \bigl\vert u(j) \bigr\vert ^{p}< \infty \biggr\} . \end{aligned}$$

Observe that the dimension of \(W_{I}\) is finite. Then \(\{v_{n}\}_{n}\) is a bounded sequence in \(W_{I}\), due to which yields \(\{v_{n}\}_{n}\) is bounded in \(\ell _{I}^{p}\). Thus, up to a subsequence we may assume that \(v_{n}\rightarrow u\) on I. Hence there exists \(n_{0}\in \mathbb{N}\) such that for all \(n\geq n_{0}\)

$$\begin{aligned} \sum_{j\in I} \bigl\vert v_{n}(j)-u(j) \bigr\vert ^{p}\leq \frac{\delta }{1+D} . \end{aligned}$$

Then, for all \(n>n_{0}\),

$$\begin{aligned} \sum_{j\in \mathbb{Z}} \bigl\vert v_{n}(j)-u(j) \bigr\vert ^{p} &< \frac{\delta }{1+D}+ \frac{\delta }{1+D} \sum_{ \vert j \vert >j_{0}}V(j) \bigl\vert v_{n}(j)-u(j) \bigr\vert ^{p} \\ &\leq \frac{\delta }{1+D}\bigl(1+ \Vert v_{n} \Vert _{W}^{p}\bigr) \leq \delta . \end{aligned}$$

Thus, we deduce that \(v_{n}\rightarrow u\) in \(\ell ^{p}\).

Now we consider the case \(\nu >p\). Note that

$$\begin{aligned} \bigl\Vert u(j) \bigr\Vert _{\infty }\leq \biggl(\sum _{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{1/p} \end{aligned}$$

for all \(u\in \ell ^{p}\). Then

$$\begin{aligned} \biggl(\sum_{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{\nu } \biggr)^{1/\nu } &= \Vert u \Vert _{\infty } \biggl(\sum_{j\in \mathbb{Z}} \biggl( \frac{ \vert u(j) \vert }{ \Vert u \Vert _{\infty }} \biggr)^{r} \biggr)^{1/\nu } \\ &\leq \Vert u \Vert _{\infty } \biggl(\sum _{j\in \mathbb{Z}} \biggl( \frac{ \vert u(j) \vert }{ \Vert u \Vert _{\infty }} \biggr)^{p} \biggr)^{1/\nu } \\ &= \Vert u \Vert _{\infty }^{1-\frac{p}{\nu }} \biggl(\sum _{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{1/\nu } \\ &\leq \Vert u \Vert _{p}^{1-\frac{p}{r}} \Vert u \Vert _{p}^{\frac{p}{\nu }} \\ &= \Vert u \Vert _{p} \end{aligned}$$

for all \(u\in \ell ^{p}\setminus \{0\}\). Thus,

$$\begin{aligned} \Vert u \Vert _{\nu }\leq \Vert u \Vert _{p} \end{aligned}$$

for all \(u\in \ell ^{p}\). This inequality together with the result of the case \(\nu =p\) leads to the proof. □

To obtain some properties of energy functional associated with Eq. (1.4), we need the following result.

Lemma 2.4

Assume that U is a compact subset of W. Then for any \(\delta >0\) there is a \(j_{0}\in \mathbb{N}\) such that

$$\begin{aligned} \biggl[\sum_{ \vert j \vert >j_{0}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \biggr]^{1/p}< \delta \quad \textit{for any } u \in U. \end{aligned}$$


The proof can be found in [32]. □

For each \(u\in W\), we define the associated energy functional with Eq. (1.4) as

$$\begin{aligned} I_{\lambda }(u)=\Psi (u) -F(u), \end{aligned}$$


$$\begin{aligned} \Psi (u)=\frac{1}{p}\sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p}(j-m) +\frac{1}{p}\sum _{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p} \end{aligned}$$


$$\begin{aligned} F(u)=\sum_{j\in \mathbb{Z}} \biggl(\lambda \frac{a(j)}{q} \bigl\vert u(j) \bigr\vert ^{q}+ \frac{b(j)}{r} \bigl\vert u(j) \bigr\vert ^{r} \biggr). \end{aligned}$$

Lemma 2.5

If V satisfies \((V)\), then Ψ is well-defined, of class \(C^{1}(W,\mathbb{R})\) and

$$\begin{aligned} \bigl\langle \Psi ^{\prime }(u),v\bigr\rangle ={}&\sum _{j\in \mathbb{Z}}\sum_{m \in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2}\bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m) \bigr)K_{s,p}(j-m) \\ &{}+ \sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p-2}u(j)v(j), \end{aligned}$$

for all \(u,v\in W\).


By Lemma 2.1, we know that Ψ is well-defined on W. Fix \(u,v\in W\). We first prove that

$$\begin{aligned} &\lim_{t\rightarrow 0^{+}} \sum _{j\in \mathbb{Z}}\sum_{m\in \mathbb{Z}} \frac{ \vert u(j)+tv(j)-u(m)-tv(m) \vert ^{p}- \vert u(j)-u(m) \vert ^{p}}{p}K_{s,p}(j-m) \\ &\quad =\sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2} \bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m)\bigr)K_{s,p}(j-m). \end{aligned}$$

Choose \(C>0\) such that \(\|u\|_{W},\|v\|_{W}\leq C\). For any \(\varepsilon >0\) there exists \(h_{1}\in \mathbb{N}\) such that

$$\begin{aligned} \biggl(\sum_{ \vert j \vert >h}\sum _{ \vert m \vert >h} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p}(j-m) \biggr)^{ \frac{1}{p}} < \varepsilon \end{aligned}$$

for all \(h>h_{1}\). Indeed, for any \(h\in \mathbb{N}\) we have

$$\begin{aligned} \sum_{ \vert j \vert >h}\sum_{ \vert m \vert >h} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p}(j-m) &\leq C_{s,p}2^{p-1}\sum _{ \vert j \vert >h}\sum_{ \vert m \vert >h,m\neq j} \frac{( \vert u(j) \vert ^{p}+ \vert u(m) \vert ^{p})}{ \vert j-m \vert ^{1+ps}} \\ &\leq 2^{p}C_{s,p}\sum _{ \vert j \vert >h}\sum_{ \vert m \vert >h,m\neq j} \frac{ \vert u(j) \vert ^{p}}{ \vert j-m \vert ^{1+ps}} \\ &\leq 2^{p}C_{s,p} \biggl(\sum _{k\neq 0}\frac{1}{ \vert k \vert ^{1+ps}} \biggr) \sum _{ \vert j \vert >h} \bigl\vert u(j) \bigr\vert ^{p}. \end{aligned}$$

It follows from \(u\in W\) that (2.2) holds. For \(h\in \mathbb{N}\), if \(|j|\leq h\) and \(|m|>2h\), then \(|j-m|\geq |m|-|j|\geq |m|-h>\frac{|m|}{2}\). Thus,

$$\begin{aligned} &\sum_{ \vert j \vert \leq h}\sum_{ \vert m \vert >2h,m\neq j} \frac{ \vert u(j) \vert ^{p}}{ \vert j-m \vert ^{1+ps}} \\ &\quad \leq \sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >2h,m\neq j} \frac{2^{1+ps} \vert u(j) \vert ^{p}}{ \vert m \vert ^{1+ps}} \\ &\quad \leq 2^{1+ps} \biggl(\sum_{ \vert j \vert \leq h} \bigl\vert u(j) \bigr\vert ^{p} \biggr)\sum _{ \vert m \vert >2h} \frac{1}{ \vert m \vert ^{1+ps}}. \end{aligned}$$

Then there exists \(h_{2}\in \mathbb{N}\) such that

$$\begin{aligned} \biggl(\sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >2h} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p} \biggr)^{ \frac{1}{p}}< \varepsilon \end{aligned}$$

for all \(h>h_{2}\). Fix \(h>\max \{h_{1}.h_{2}\}\). Clearly, there exists \(t_{0}\in (0,1)\) such that for all \(0< t< t_{0}\)

$$\begin{aligned} & \sum_{ \vert j \vert \leq 2h}\sum_{ \vert m \vert \leq 2h} \biggl\vert \frac{ \vert u(j)+tv(j)-u(m)-tv(m) \vert ^{p}- \vert u(j)-u(m) \vert ^{p}}{p} \\ &\qquad{} - \bigl\vert u(j)-u(m) \bigr\vert ^{p-2}\bigl(u(j)-u(m) \bigr) \bigl(v(j)-v(m)\bigr)\biggr\vert K_{s,p}(j-m) \\ &\quad < \varepsilon . \end{aligned}$$

Fix \(0< t< t_{0}\). For \(j,m\in \mathbb{Z}\), by the mean value theorem, we can choose \(0< t_{j,m}< t\) such that

$$\begin{aligned} &\frac{( \vert u(j)+tv(j)-u(m)-tv(m) \vert ^{p}- \vert u(j)-u(m) \vert ^{p})}{tp}K_{s,p}(j-m) \\ &\quad = \bigl\vert y(j)-y(m) \bigr\vert ^{p-2}\bigl(y(j)-y(m) \bigr) \bigl(v(j)-v(m)\bigr)K_{s,p}(j-m) \end{aligned}$$

where \(y(j)=u(j)+t_{j,m}v(j)\). Clearly, \(y\in W\) and \(\|y\|_{W}\leq 2C\). Observe that

$$\begin{aligned} & \biggl\vert \sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >2h} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2}\bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m)\bigr)K_{s,p} \biggr\vert \\ &\quad \leq \sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >wh} \bigl\vert u(j)-u(m) \bigr\vert ^{p-1} \bigl\vert v(j)-v(m) \bigr\vert K_{s,p} \\ &\quad \leq \biggl(\sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >2h} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p} \biggr)^{\frac{p-1}{p}} \biggl(\sum _{ \vert j \vert \leq h}\sum_{ \vert m \vert >2h} \bigl\vert v(j)-v(m) \bigr\vert ^{p}K_{s,p} \biggr)^{\frac{1}{p}} \leq C\varepsilon . \end{aligned}$$

By Hölder’s inequality and (2.2)–(2.5),

$$\begin{aligned} & \biggl\vert \sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \frac{ \vert u(j)+tv(j)-u(m)-tv(m) \vert ^{p}- \vert u(j)-u(m) \vert ^{p}}{p}K_{s,p}(j-m) \\ &\qquad {}-\sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2} \bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m)\bigr)K_{s,p}(j-m) \biggr\vert \\ &\quad \leq \varepsilon +\sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >h}+ \sum_{ \vert j \vert >h}\sum _{ \vert m \vert \leq h} \\ &\qquad {}+\sum_{ \vert j \vert >h}\sum _{ \vert m \vert >h} \bigl\vert \bigl(\phi _{p} \bigl(y(j)-y(m)\bigr)-\phi _{p}\bigl(u(j)-u(m)\bigr)\bigr) \bigl(v(j)-v(m)\bigr) \bigr\vert K_{s,p}(j-m) \\ &\quad \leq C\varepsilon +\sum_{ \vert j \vert \leq h}\sum _{ \vert m \vert >2h}+ \sum_{ \vert j \vert >2h} \sum _{ \vert m \vert \leq h} \\ &\qquad {}+\sum_{ \vert j \vert >h}\sum _{ \vert m \vert >h} \bigl\vert \bigl(\phi _{p} \bigl(y(j)-y(m)\bigr)-\phi _{p}\bigl(u(j)-u(m)\bigr)\bigr) \bigl(v(j)-v(m)\bigr) \bigr\vert K_{s,p}(j-m) \\ &\quad \leq C\varepsilon , \end{aligned}$$

where \(\phi _{p}(\tau ):=|\tau |^{p-2}\tau \) for all \(\tau \in \mathbb{R}\). Thus, (2.1) holds true. An analogous argument gives

$$\begin{aligned} \lim_{t\rightarrow 0^{+}} \frac{ \Vert u+tv \Vert ^{p}- \Vert u \Vert ^{p}}{pt}=\sum _{j \in \mathbb{Z}} V(j) \bigl\vert u(j) \bigr\vert ^{p-2}u(j)v(j). \end{aligned}$$

Thus, we get

$$\begin{aligned} \bigl\langle \Psi ^{\prime }(u),v\bigr\rangle ={}&\sum _{j\in \mathbb{Z}}\sum_{m \in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2}\bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m) \bigr)K_{s,p}(j-m) \\ &{}+ \sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p-2}u(j)v(j). \end{aligned}$$

Thus, Ψ is Gâteaux differentiable in W. Finally, we prove that \(\Psi ^{\prime }: W\rightarrow W^{*}\) is continuous. To this aim, we assume that \(\{u_{n}\}_{n}\) is a sequence in W such that \(u_{n}\rightarrow u\) in W as \(n\rightarrow \infty \). By Lemma 2.4, for any \(\varepsilon >0\) there exists \(h\in \mathbb{N}\) such that

$$\begin{aligned} \biggl(\sum_{ \vert j \vert >h}\sum _{ \vert m \vert >h} \bigl\vert u_{n}(j)-u_{n}(m) \bigr\vert ^{p}K_{s,p}(j-m) \biggr)^{1/p}< \varepsilon \quad \mbox{for all } n\in \mathbb{N} \end{aligned}$$


$$\begin{aligned} \biggl(\sum_{ \vert j \vert >h}\sum _{ \vert m \vert >h} \bigl\vert u(j)-u(m) \bigr\vert ^{p}K_{s,p}(j-m) \biggr)^{1/p}< \varepsilon . \end{aligned}$$

In addition, there exists \(n_{0}\in \mathbb{N}\) such that

$$\begin{aligned} \biggl(\sum_{ \vert j \vert \leq 2h}\sum _{ \vert m \vert \leq 2h} \bigl\vert \bigl[\phi \bigl(u_{n}(j)-u_{n}(m) \bigr)- \phi \bigl(u(j)-u(m)\bigr)\bigr]K_{s,p}^{\frac{1}{p^{\prime }}}(j-m) \bigr\vert ^{p^{\prime }} \biggr)^{1/p^{\prime }}< \varepsilon \end{aligned}$$

for all \(n\geq n_{0}\), where \(p^{\prime }=\frac{p}{p-1}\). For any \(v\in W\) with \(\|v\|_{W}\leq 1\), and for any \(n\geq n_{0}\), by the Hölder inequality and a similar discussion to above, we deduce

$$\begin{aligned} & \biggl\vert \sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl[\phi \bigl(u_{n}(j)-u_{n}(m) \bigr)- \phi \bigl(u(j)-u(m)\bigr)\bigr]\bigl(v(j)-v(m)\bigr)K_{s,p}(j-m) \biggr\vert \\ &\quad \leq \biggl(\sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl\vert \bigl[ \phi \bigl(u_{n}(j)-u_{n}(m) \bigr)-\phi \bigl(u(j)-u(m)\bigr)\bigr]K_{s,p}^{\frac{1}{p^{\prime }}}(j-m) \bigr\vert ^{p^{\prime }} \biggr)^{1/p^{\prime }} \\ &\qquad {}\times \biggl(\sum_{j\in \mathbb{Z}}\sum _{m\in \mathbb{Z}} \bigl\vert v(j)-v(m) \bigr\vert ^{p}K_{s,p}(j-m) \biggr)^{1/p} \\ &\quad \leq C\varepsilon \Vert v \Vert _{W}. \end{aligned}$$

Similarly, one can show that

$$\begin{aligned} \biggl\vert \sum_{k\in \mathbb{Z}}V(k) \bigl( \vert u_{n} \vert ^{p-2}u_{n}- \vert u \vert ^{p-2}u\bigr)v \biggr\vert \leq C\varepsilon \Vert v \Vert _{W} \end{aligned}$$

as \(n\rightarrow \infty \). Thus,

$$\begin{aligned} \bigl\Vert \Psi ^{\prime }(u_{n})-\Psi ^{\prime }(u) \bigr\Vert &= \sup_{ \Vert v \Vert \leq 1} \bigl\vert \bigl\langle \Psi ^{\prime }(u_{n})-\Psi ^{\prime }(u),v \bigr\rangle \bigr\vert \rightarrow 0. \end{aligned}$$

This means that \(\Psi ^{\prime }\) is continuous.

Consequently, we prove that \(\Psi \in C^{1}(W,\mathbb{R})\). □

Lemma 2.6

Assume that V satisfies \((V)\), \(1< q< p< r<\infty \), \(a\in \ell ^{\frac{p}{p-q}}\) and \(0\leq b\in \ell ^{\infty }\). Then \(F\in C^{1}(W,\mathbb{R})\) with

$$\begin{aligned} \bigl\langle F^{\prime }(u),v\bigr\rangle =\sum _{j\in \mathbb{Z}} \bigl(\lambda a(j) \bigl\vert u(j) \bigr\vert ^{q-2}u(j)v(j)+b(j) \bigl\vert u(j) \bigr\vert ^{r-2}u(j)v(j) \bigr) \end{aligned}$$

for all \(u,v\in W\).


Using the same discussion as [19] and [35], one can prove the lemma. □

Gathering Lemma 2.5 and Lemma 2.6, we know that \(I_{\lambda }\in C^{1}(W,\mathbb{R})\).

Lemma 2.7

Assume that V satisfies \((V)\), \(1< q< p< r<\infty \), \(a\in \ell ^{\frac{p}{p-q}}\) and \(0\leq b\in \ell ^{\infty }\). Then a critical point of \(I_{\lambda }\) is a homoclinic solution of Eq. (1.4) for all \(\lambda >0\).


Let \(u\in W\) be a critical point of \(I_{\lambda }\), that is, \(I^{\prime }_{\lambda }(u)=0\). Then

$$\begin{aligned} &\sum_{j\in \mathbb{Z}} \sum _{m\in \mathbb{Z}} \bigl\vert u(j)-u(m) \bigr\vert ^{p-2} \bigl(u(j)-u(m)\bigr) \bigl(v(j)-v(m)\bigr)K_{s,p}(j-m) \\ &\qquad {}+\sum_{j\in \mathbb{Z}}V(j) \bigl\vert u(j) \bigr\vert ^{p-2}u(j)v(j) \\ &\quad =\lambda \sum_{j \in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q-2}u(j)v(j)+\sum _{j\in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r-2}u(j)v(j) \end{aligned}$$

for all \(v\in W\). For each \(k\in \mathbb{Z}\), we define \(\gamma _{k}\) as

$$\begin{aligned} \gamma _{k}(j):= \textstyle\begin{cases} 1,&j=k; \\ 0,& j\neq k. \end{cases}\displaystyle \end{aligned}$$

Clearly, \(\gamma _{k}\in W\). Choosing \(v=\gamma _{k}\) in (2.6), we obtain

$$\begin{aligned} &2\sum_{j\neq k} \bigl\vert u(k)-u(j) \bigr\vert ^{p-2}\bigl(u(k)-u(j)\bigr)K_{s,p}(k-j) +V(k) \bigl\vert u(k) \bigr\vert ^{p-2}u(k) \\ &\quad =\lambda a(k) \bigl\vert u(k) \bigr\vert ^{q-2}u(k)+b(k) \bigl\vert u(k) \bigr\vert ^{r-2}u(k), \end{aligned}$$

which means that u is a solution of (1.4). Obviously, \(u(k)\rightarrow 0\) as \(|k|\rightarrow \infty \), this means that u is a homoclinic solution of (1.4). □

3 Nehari manifold and Fibering map analysis

In this section, we give some definitions and properties of Nehari manifold. Some ideas are inspired from [6] and [32]. In present section, we always assume V satisfies \((V)\), \(a\in \ell ^{\frac{p}{p-q}}\) and \(0\leq b\in \ell ^{\infty }\).

Define the Nehari manifold as follows:

$$\begin{aligned} \mathcal{N}_{\lambda }=\bigl\{ u\in W\backslash \{0\} | \bigl\langle I_{\lambda }^{\prime }(u),u\bigr\rangle =0\bigr\} . \end{aligned}$$


$$\begin{aligned} &u\in \mathcal{N}_{\lambda }\quad \mbox{if and only if}\quad u\in W \setminus \{0\}\quad \mbox{and} \\ & \Vert u \Vert _{W}^{p}=\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} +\sum_{j \in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}. \end{aligned}$$

For each \(u\in W\), we define the fibering map \(\Phi _{\lambda ,u}:(0,\infty )\rightarrow \mathbb{R}\) as

$$\begin{aligned} \Phi _{\lambda ,u}(t)={}&I_{\lambda }(tu) \\ ={}&\frac{t^{p}}{p} \Vert u \Vert _{W}^{p} - \frac{t^{q}}{q}\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} \\ &{} -\frac{t^{r}}{r}\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}, \end{aligned}$$

for all \(t>0\). Then a simple calculation yields

$$\begin{aligned} \Phi _{\lambda ,u}^{\prime }(t)=t^{p-1} \Vert u \Vert _{W}^{p} -\lambda t^{q-1} \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} -t^{r-1}\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r} \end{aligned}$$


$$\begin{aligned} \Phi _{\lambda ,u}^{\prime \prime }(t) ={}&(p-1)t^{p-2} \Vert u \Vert _{W}^{p} -(q-1)t^{q-2} \lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} \\ & {}-(r-1)t^{r-2}\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}. \end{aligned}$$

In particular, if \(u\in \mathcal{N}_{\lambda }\), then

$$\begin{aligned} \Phi _{\lambda ,u}^{\prime }(1)=0\quad \mbox{and}\quad \Phi _{\lambda ,u}^{ \prime \prime }(1)=(p-q)\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q}+(p-r) \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}. \end{aligned}$$

Since 1 may be a minimum point, maximum point, or saddle point of \(\Phi _{\lambda ,u}\), we divide \(\mathcal{N}_{\lambda }\) into three subsets \(\mathcal{N}_{\lambda }^{+}\), \(\mathcal{N}_{\lambda }^{-}\) and \(\mathcal{N}_{\lambda }^{0}\), which are defined respectively as

$$\begin{aligned}& \mathcal{N}_{\lambda }^{+}=\bigl\{ u\in \mathcal{N}_{\lambda }: \Phi _{\lambda ,u}^{ \prime \prime }(1)>0\bigr\} , \\& \mathcal{N}_{\lambda }^{0}=\bigl\{ u\in \mathcal{N}_{\lambda }: \Phi _{\lambda ,u}^{ \prime \prime }(1)=0\bigr\} , \\& \mathcal{N}_{\lambda }^{-}=\bigl\{ u\in \mathcal{N}_{\lambda }: \Phi _{\lambda ,u}^{ \prime \prime }(1)< 0\bigr\} . \end{aligned}$$

Lemma 3.1

Suppose that \(u\in W\setminus \{0\}\) and \(t>0\). Then \(tu\in \mathcal{N}_{\lambda }\) if and only if \(\Phi _{\lambda ,u}^{\prime }(t)=0\).


Let \(tu\in \mathcal{N}_{\lambda }\). Then

$$\begin{aligned} t^{p} \Vert u \Vert _{W}^{p}-\lambda t^{q}\sum_{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} -t^{r}\sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{r}=0, \end{aligned}$$

which leads to \(t\Phi _{\lambda ,u}^{\prime }(t)=0\). Therefore, we can prove that \(tu\in \mathcal{N}_{\lambda }\) if and only if \(\Phi _{\lambda ,u}^{\prime }(t)=0\). □

Lemma 3.2

If u is a local minimizer of \(I_{\lambda }\) on \(\mathcal{N}_{\lambda }\) and \(u\notin \mathcal{N}_{\lambda }^{0}\), then \(I_{\lambda }^{\prime }(u)=0\).


The proof is similar to that in [6]; see also [32]. For completeness, we give its proof. Assume that u is a local minimizer of \(I_{\lambda }\) on \(\mathcal{N}_{\lambda }\). By Lagrange multipliers, there exists \(\mu \in \mathbb{R}\) such that

$$\begin{aligned} I_{\lambda }^{\prime }(u)=\mu J^{\prime }(u), \end{aligned}$$

where \(J(u)\) is given by

$$\begin{aligned} J(u)= \Vert u \Vert _{W}^{p}-\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} - \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}. \end{aligned}$$

Since \(u\in \mathcal{N}_{\lambda }\), we deduce \(\langle I_{\lambda }^{\prime }(u),u\rangle =0 \). Hence, \(\mu \langle J^{\prime }(u),u\rangle =0 \). It follows from \(u\notin \mathcal{N}_{\lambda }^{0}\) that

$$\begin{aligned} \bigl\langle J^{\prime }(u),u\bigr\rangle =\Phi _{\lambda ,u}^{\prime \prime }(1) \neq 0. \end{aligned}$$

Consequently, \(\mu =0\). Furthermore, we obtain \(I_{\lambda }^{\prime }(u)=0\). □

Lemma 3.3

The functional \(I_{\lambda }\) is coercive and bounded from below on \(\mathcal{N}_{\lambda }\).


Let \(u\in \mathcal{N}_{\lambda }\). Then

$$\begin{aligned} I_{\lambda }(u) &= \biggl(\frac{1}{p}-\frac{1}{r} \biggr) \Vert u \Vert _{W}^{p} - \lambda \biggl( \frac{1}{q}-\frac{1}{r} \biggr)\sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q}. \end{aligned}$$

It follows from \(q< p< r\) and the Hölder inequality that

$$\begin{aligned} I_{\lambda }(u) &\geq \biggl(\frac{1}{p}-\frac{1}{r} \biggr) \Vert u \Vert _{W}^{p} -\lambda \biggl( \frac{1}{q}-\frac{1}{r} \biggr) \biggl(\sum _{j\in \mathbb{Z}} \bigl\vert a(j) \bigr\vert ^{\frac{p}{p-q}} \biggr)^{\frac{p-q}{p}} \biggl( \sum_{j\in \mathbb{Z}} \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{\frac{q}{p}} \\ &\geq \biggl(\frac{1}{p}-\frac{1}{r} \biggr) \Vert u \Vert _{W}^{p} -\lambda \biggl(\frac{1}{q}- \frac{1}{r} \biggr) \biggl(\sum_{j\in \mathbb{Z}} \bigl\vert a(j) \bigr\vert ^{ \frac{p}{p-q}} \biggr)^{\frac{p-q}{p}} V_{0}^{-\frac{q}{p}} \biggl( \sum_{j\in \mathbb{Z}}V(k) \bigl\vert u(j) \bigr\vert ^{p} \biggr)^{\frac{q}{p}} \\ &\geq \biggl(\frac{1}{p}-\frac{1}{r} \biggr) \Vert u \Vert _{W}^{p} -\lambda \biggl(\frac{1}{q}- \frac{1}{r} \biggr) \biggl(\sum_{j\in \mathbb{Z}} \bigl\vert a(j) \bigr\vert ^{ \frac{p}{p-q}} \biggr)^{\frac{p-q}{p}} V_{0}^{-\frac{q}{p}} \Vert u \Vert _{W}^{q}, \end{aligned}$$

which shows that \(I_{\lambda }\) is coercive and bounded from below on \(\mathcal{N}_{\lambda }\). □

Lemma 3.4

For any \(u\in W\setminus \{0\}\), we have the following results.

(1) If \(\sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}>0\), then there exist \(0< t_{1}< t_{\max }< t_{2}<\infty \) such that \(\Phi _{\lambda ,u}^{\prime }(t_{1})=\Phi _{\lambda ,u}^{\prime }(t_{2})=0\) and \(t_{1}u\in \mathcal{N}^{+}_{\lambda ,u}\) and \(t_{2} u\in \mathcal{N}_{\lambda ,u}^{-}\).

(2) If \(\sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}<0\), there exists a unique \(t_{u}>0\) such that \(\Phi _{\lambda ,u}^{\prime }(t_{u})=0\) and \(t_{u} u\in \mathcal{N}_{\lambda }^{-}\).


For all \(t>0\), we define

$$ g(t):=t^{p-q} \Vert u \Vert _{W}^{p}-t^{r-q} \sum_{j\in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r}. $$

By direct calculation one obtains that

$$\begin{aligned} g^{\prime }(t)&=t^{p-q-1} \biggl((p-q) \Vert u \Vert _{W}^{p} -t^{r-p}(r-q)\sum _{j \in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r} \biggr). \end{aligned}$$

Note that

$$\begin{aligned} \Phi _{\lambda ,u}^{\prime }(t)=t^{p-1} \Vert u \Vert _{W}^{p}-\lambda t^{q-1} \sum _{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q} -t^{r-1}\sum_{j\in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r}. \end{aligned}$$


$$\begin{aligned} \Phi _{\lambda ,u}^{\prime }(t)=t^{q-1} \biggl(g(t)- \lambda \sum_{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q} \biggr). \end{aligned}$$

By \(\sum_{j\in \mathbb{Z}}b(j)|u(j)|^{r}>0\), one can verify that \(g\in C^{1}(0,\infty )\), \(\lim_{t\rightarrow 0^{+}}g(t)=0\) and \(\lim_{t\rightarrow \infty }g(t)=-\infty \). Thus g has a unique maximum point \(t_{\max }>0\) and

$$\begin{aligned} t_{\max }= \biggl( \frac{(p-q) \Vert u \Vert _{W}^{p}}{(r-q)\sum_{j\in \mathbb{Z}}b(j) \vert u(j) \vert ^{r}} \biggr)^{\frac{1}{r-p}} . \end{aligned}$$

Moreover, we know that g is decreasing on \((0,t_{\max })\) and increasing on \((t_{\max },\infty )\). Then

$$\begin{aligned} \begin{aligned} g(t_{\max })&= t_{\max }^{p-q} \frac{r-p}{r-q} \Vert u \Vert _{W}^{p} \\ &\geq \biggl( \frac{(p-q) \Vert u \Vert _{W}^{p}}{(r-q)M_{b}V_{0}^{-\frac{r}{p}} \Vert u \Vert _{W}^{r}} \biggr)^{\frac{p-q}{r-p}} \frac{r-p}{r-q} \Vert u \Vert _{W}^{p} \\ &= \biggl( \frac{(p-q)}{(r-q)M_{b}V_{0}^{-\frac{r}{p}}} \biggr)^{ \frac{p-q}{r-p}}\frac{r-p}{r-q} \Vert u \Vert _{W}^{q} . \end{aligned} \end{aligned}$$

If \(\sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}>0\), then we deduce from the Hölder inequality that

$$\begin{aligned} \lambda \sum_{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q}&\leq \Vert a \Vert _{ \frac{p}{p-q}} \Vert u \Vert _{p}^{q} \\ &\leq \lambda \Vert a \Vert _{\frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \Vert u \Vert _{W}^{q} \\ &\leq \lambda \Vert a \Vert _{\frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \biggl( \frac{(p-q)}{(r-q)M_{b}V_{0}^{-\frac{r}{p}}} \biggr)^{- \frac{p-q}{r-p}}\frac{r-q}{r-p}g(t_{\max }). \end{aligned}$$


$$ \lambda < \Vert a \Vert _{\frac{p}{p-q}}^{-1}V_{0}^{\frac{q}{p}} \biggl( \frac{(p-q)}{(r-q)M_{b}V_{0}^{-\frac{r}{p}}} \biggr)^{\frac{p-q}{r-p}} \frac{r-p}{r-q}, $$

we have \(\lambda \sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}< g(t_{\max })\). Thus there exist \(t_{1}\), \(t_{2}\) satisfying \(0< t_{1}< t_{\max }< t_{2}<\infty \) such that

$$\begin{aligned} g(t_{1})=g(t_{2})=\lambda \sum _{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q}, \end{aligned}$$

which means that \(\Phi _{\lambda ,u}^{\prime }(t_{1})=\Phi _{\lambda ,u}^{\prime }(t_{2})=0\). Moreover, since g is increasing on \((0,t_{\max })\) and decreasing on \((t_{\max },\infty )\), we have \(t_{1}u\in \mathcal{N}_{\lambda }^{+}\) and \(t_{2} u\in \mathcal{N}_{\lambda }^{-}\).

If \(\sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}<0\), there exists a unique \(t_{u}>t_{\max }\) such that \(g(t_{u})=\lambda \sum_{j\in \mathbb{Z}}a(j)|u(j)|^{q}\) and \(t_{u} u\in \mathcal{N}_{\lambda }^{-}\). □

Remark 3.1

Lemma 3.4 implies that \(\mathcal{N}_{\lambda }^{+}\) and \(\mathcal{N}_{\lambda }^{-}\) are non-empty sets.

Lemma 3.5

If \(\lambda \in (0,\lambda _{0})\), then \(\mathcal{N}_{\lambda }^{0}=\emptyset \).


Let \(u\in \mathcal{N}_{\lambda }^{0}\). Then

$$\begin{aligned} \Vert u \Vert _{W}^{p}-\lambda \sum_{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q} -\sum_{j \in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r}=0 \end{aligned}$$


$$\begin{aligned} (p-1) \Vert u \Vert _{W}^{p} -(q-1)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q}-(r-1) \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}=0. \end{aligned}$$

Multiplying (3.1) by \((r-1)\) and inserting it in (3.2), we have

$$\begin{aligned} (r-p) \Vert u \Vert _{W}^{p}&=\lambda (r-q)\sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} \\ &\leq \lambda (r-q) \Vert a \Vert _{\frac{p}{p-q}} \Vert u \Vert _{p}^{q} \\ &\leq \lambda (r-q) \Vert a \Vert _{\frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \Vert u \Vert _{W}^{q}. \end{aligned}$$


$$\begin{aligned} & \Vert u \Vert _{W}\leq \lambda \biggl( \biggl(\frac{r-q}{r-p} \biggr) \Vert a \Vert _{ \frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \biggr)^{\frac{1}{p-q}}. \end{aligned}$$

On the other hand, multiplying (3.1) by \((q-1)\) and inserting it in (3.2), we get

$$\begin{aligned} (p-q) \Vert u \Vert _{W}^{p}&=(r-q)\sum _{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r} \leq (r-q)M_{b} \Vert u \Vert _{p}^{r} \leq (r-q)M_{b}V_{0}^{-\frac{r}{p}} \Vert u \Vert _{W}^{r}. \end{aligned}$$


$$\begin{aligned} \Vert u \Vert _{W}\geq \biggl(\frac{(p-q)V_{0}^{\frac{r}{p}}}{(r-q)M_{b}} \biggr)^{\frac{1}{r-p}}, \end{aligned}$$

this together with (3.3) yields

$$\begin{aligned} \lambda \geq \biggl(\frac{(p-q)V_{0}^{\frac{r}{p}}}{(r-q)M_{b}} \biggr)^{\frac{1}{r-p}} \biggl( \biggl(\frac{r-q}{r-p} \biggr) \Vert a \Vert _{ \frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \biggr)^{-\frac{1}{p-q}}. \end{aligned}$$

This is a contradiction. Thus, \(\mathcal{N}_{\lambda }^{0}=\emptyset \). □


$$ A_{0}= \biggl(\frac{(p-q)V_{0}^{\frac{r}{p}}}{(r-q)M_{b}} \biggr)^{ \frac{1}{r-p}} $$


$$ A_{\lambda }:=\lambda \biggl( \biggl(\frac{r-q}{r-p} \biggr) \Vert a \Vert _{ \frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \biggr)^{\frac{1}{p-q}}. $$

Lemma 3.6

If \(\lambda \in (0,\Lambda _{0})\), then

$$\begin{aligned} \Vert u \Vert _{W}\geq A_{0}\quad \textit{for all } u\in \mathcal{N}_{\lambda }^{-} \end{aligned}$$


$$\begin{aligned} \Vert v \Vert _{W}\leq A_{\lambda }\quad \textit{for all } v\in \mathcal{N}_{\lambda }^{+}. \end{aligned}$$


Let \(u\in \mathcal{N}_{\lambda }^{-}\). Then

$$\begin{aligned} \Vert u \Vert _{W}^{p}-\lambda \sum _{j\in \mathbb{Z}}a(j) \bigl\vert u(j) \bigr\vert ^{q} - \sum_{j \in \mathbb{Z}}b(j) \bigl\vert u(j) \bigr\vert ^{r}=0 \end{aligned}$$


$$\begin{aligned} (p-1) \Vert u \Vert _{W}^{p} -(q-1)\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q}-(r-1) \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}< 0. \end{aligned}$$

A similar discussion to Lemma 3.4 leads to

$$\begin{aligned} \Vert u \Vert _{W}\geq \biggl(\frac{(p-q)V_{0}^{\frac{r}{p}}}{(r-q)M_{b}} \biggr)^{\frac{1}{r-p}}, \end{aligned}$$

Let \(v\in \mathcal{N}_{\lambda }^{+}\). It follows that

$$\begin{aligned} (r-p) \Vert u \Vert _{W}^{p}&\leq \lambda (r-q) \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q}. \end{aligned}$$

Using a similar argument to Lemma 3.4, one has

$$\begin{aligned} & \Vert u \Vert _{W}\leq \lambda \biggl( \biggl( \frac{r-q}{r-p} \biggr) \Vert a \Vert _{ \frac{p}{p-q}}V_{0}^{-\frac{q}{p}} \biggr)^{\frac{1}{p-q}}. \end{aligned}$$

The proof is complete. □

4 Proof of Theorem 1.1

In this section, we prove the main result.

Theorem 4.1

For all \(\lambda \in (0,\Lambda _{0})\), the functional \(I_{\lambda }\) has a nontrivial and nonnegative minimizer on \(\mathcal{N}_{\lambda }^{+}\).



$$\begin{aligned} c^{+}_{\lambda }:=\inf_{u\in \mathcal{N}_{\lambda }^{+}}I_{\lambda }(u). \end{aligned}$$

It follows from Lemma 3.3 that \(c^{+}_{\lambda }\in (-\infty ,\infty )\). More precisely, \(-\infty < c^{+}_{\lambda }<0\). Indeed, for \(u\in \mathcal{N}_{\lambda }^{+}\) we have

$$\begin{aligned} I_{\lambda }(u)&=\frac{1}{p} \Vert u \Vert _{W}^{p} -\frac{1}{q}\lambda \sum _{j \in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} -\frac{1}{r}\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r} \\ &= \biggl(\frac{1}{p}-\frac{1}{q} \biggr)\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u(j) \bigr\vert ^{q} + \biggl(\frac{1}{p}-\frac{1}{r} \biggr) \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r} \\ &\leq -\frac{(r-p)(r-q)}{pqr}\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u(j) \bigr\vert ^{r}< 0. \end{aligned}$$

This means that \(c_{\lambda }^{+}<0\). Motivated by [32], we divide the rest proof into the following three steps.

Step 1. The strong convergence of minimizing sequence.

Suppose that \(\{u_{n}\}_{n}\subset \mathcal{N}_{\lambda }^{+}\) is a minimizing sequence. Then

$$\begin{aligned} \Vert u_{n} \Vert _{W}^{p}= \lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{n}(j) \bigr\vert ^{q} + \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u_{n}(j) \bigr\vert ^{r} \end{aligned}$$


$$\begin{aligned} (p-q)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{n}(j) \bigr\vert ^{q}+(p-r)\sum _{j \in \mathbb{Z}} b(j) \bigl\vert u_{n}(j) \bigr\vert ^{r}>0. \end{aligned}$$

By Lemma 3.3, \(I_{\lambda }\) is coercive on \(\mathcal{N}_{\lambda }\). Thus, \(\{u_{n}\}_{n}\) is bounded in \(\mathcal{N}_{\lambda }\).

By Lemma 2.3, there exist a subsequence of \(\{u_{n}\}\) still denoted by \(\{u_{n}\}\) and \(u_{0}\) such that

$$\begin{aligned} &u_{n}\rightharpoonup u_{0}\quad \mbox{in } W, \\ & u_{n}\rightarrow u_{0}\quad \mbox{in } L^{\nu }(\Omega ) (p\leq \nu < \infty ). \end{aligned}$$

Since \(a\in \ell ^{\frac{p}{p-q}}\), it follows that

$$\begin{aligned} &\sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{n}(j)-u_{0}(j) \bigr\vert ^{q} \\ &\quad \leq \Vert a \Vert _{\frac{p}{p-q}} \Vert u_{n}-u_{0} \Vert _{p}^{q}\rightarrow 0 \end{aligned}$$

as \(n\rightarrow \infty \). Thus,

$$\begin{aligned} &\lim_{n\rightarrow \infty } \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{n}(j)-u_{0}(j) \bigr\vert ^{q}=0. \end{aligned}$$

We also have

$$\begin{aligned} &\lim_{n\rightarrow \infty } \sum_{j\in \mathbb{Z}} b(j) \bigl\vert u_{n}(j)-u_{0}(j) \bigr\vert ^{r}=0. \end{aligned}$$

If \(u_{n}\nrightarrow u_{0}\) in W, then

$$\begin{aligned} \Vert u_{0} \Vert _{W}^{p} < \liminf _{n\rightarrow \infty } \Vert u_{n} \Vert _{W}^{ p}. \end{aligned}$$


$$\begin{aligned} & \Vert u_{0} \Vert _{W}^{p}- \lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} - \sum _{j\in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r} \\ &\quad < \liminf_{n\rightarrow \infty } \biggl[ \Vert u_{n} \Vert _{W}^{p}-\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u_{n}(j) \bigr\vert ^{q} -\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u_{n}(j) \bigr\vert ^{r} \biggr]=0. \end{aligned}$$

Using Lemma 3.4, for \(u_{0}\) there exists \(0< t_{u_{0}}\neq 1\) such that \(t_{u_{0}}u_{0}\in \mathcal{N}_{\lambda }^{+}\).

Set \(z(t)=I_{\lambda }(tu_{0})\) for all \(t>0\). Obviously, \(t_{u_{0}}u_{0}\) is a minimizer of \(z(t)\). Thus,

$$\begin{aligned} I_{\lambda }(t_{u_{0}}u_{0})< I_{\lambda }(u_{0}) \leq \lim_{n \rightarrow \infty }I_{\lambda }(u_{n})= \inf _{u\in \mathcal{N}^{+}}I_{\lambda }(u), \end{aligned}$$

which is impossible. Thus, we get \(u_{n}\rightarrow u_{0}\) in W.

Step 2. \(u_{0}\in \mathcal{N}_{\lambda }^{+}\) .

By the definition of \(\mathcal{N}_{\lambda }^{+}\), it suffices to show that

$$\begin{aligned} (p-q)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} +(p-r)\sum _{j \in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r}>0. \end{aligned}$$

Arguing by contradiction, we assume that

$$\begin{aligned} (p-q)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} +(p-r)\sum _{j \in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r}=0. \end{aligned}$$

Clearly, \(u_{0}\neq 0\), since \(I_{\lambda }(u_{0})<0\). Then \(u_{0}\in \mathcal{N}_{\lambda }^{0}\), which contradicts Lemma 3.5. Thus, we prove that \(u_{0}\in \mathcal{N}_{\lambda }^{+}\).

Step 3. Existence of nonnegative minimizers.

It follows from \(u_{0}\in \mathcal{N}_{\lambda }^{+}\) that

$$\begin{aligned} (p-q)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} +(p-r)\sum _{j \in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r}>0. \end{aligned}$$

Then, by \(I_{\lambda }(u_{0}) =\inf_{u\in \mathcal{N}^{+}}I_{\lambda }(u)<0\), we prove that \(u_{0}\) is a minimizer of \(I_{\lambda }\) on \(\mathcal{N}_{\lambda }^{+}\). Furthermore, we can show that \(|u_{0}|\) is a minimizer of \(I_{\lambda }\) on \(\mathcal{N}_{\lambda }^{+}\). Since \(I_{\lambda }(|u_{0}|)\leq I_{\lambda }(u_{0})\) and

$$\begin{aligned} (p-q)\lambda \sum_{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} +(p-r)\sum _{j \in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r}>0, \end{aligned}$$

it suffices to show that \(\|\!|u_{0}|\!\|_{W}^{p}-\lambda \sum_{j\in \mathbb{Z}} a(j)|u_{0}(j)|^{q} -\sum_{j\in \mathbb{Z}} b(j)|u_{0}(j)|^{r}=0\). By \(\|\!|u_{0}|\!\|_{W}^{p} \leq \|u_{0}\|_{W}^{p}\), we obtain \(\|\!|u_{0}|\!\|_{W}^{ p} -\lambda \sum_{j\in \mathbb{Z}} a(j)|u_{0}(j)|^{q} -\sum_{j\in \mathbb{Z}} b(j)|u_{0}(j)|^{r}\leq 0\). If

$$ \|\!|u_{0}|\!\|_{W}^{ p} -\lambda \sum _{j\in \mathbb{Z}} a(j) \bigl\vert u_{0}(j) \bigr\vert ^{q} -\sum_{j\in \mathbb{Z}} b(j) \bigl\vert u_{0}(j) \bigr\vert ^{r}< 0, $$

then \(\Phi _{\lambda ,|u_{0}|}^{\prime }(1)<0\). By Lemma 3.4, there is a \(t_{|u_{0}|}>0\) such that \(t_{|u_{0}|}|u_{0}| \in \mathcal{N}_{\lambda }^{+}\) and \(\Phi _{\lambda ,|u_{0}|}^{\prime }(t_{|u_{0}|})=0\). Thus, \(t_{|u_{0}|}\neq 1\). Observe that \(t_{|u_{0}|}\) is a minimizer of \(\widetilde{g}(t):=I_{\lambda }(t|u_{0}|)\). Thus,

$$\begin{aligned} I_{\lambda }\bigl(t_{ \vert u_{0} \vert } \vert u_{0} \vert \bigr)< I_{\lambda }\bigl( \vert u_{0} \vert \bigr)\leq I_{\lambda }(u_{0}) =\inf_{u\in \mathcal{N}_{\lambda }^{+}}I_{\lambda }(u), \end{aligned}$$

which is impossible. Thus, \(|u_{0}|\in \mathcal{N}_{\lambda }^{+}\) and \(I_{\lambda }(|u_{0}|) =\inf_{u\in \mathcal{N}_{\lambda }^{+}}I_{\lambda }(u_{0})\). Consequently, we obtain a nonnegative minimizer of \(I_{\lambda }\) on \(\mathcal{N}^{+}_{\lambda }\).

Therefore, we complete the proof. □

Theorem 4.2

For all \(\lambda \in (0,\Lambda _{0})\), \(I_{\lambda }\) has a nontrivial and nonnegative minimizer on \(\mathcal{N}_{\lambda }^{-}\).


Using a similar discussion to Theorem 4.1, one can show that \(I_{\lambda }\) possesses a minimizer \(u_{1}\) on \(\mathcal{N}_{\lambda }^{-}\). Moreover, Lemma 3.6 shows that \(u_{1}\) is nontrivial. Furthermore, one can use a similar discussion to Theorem 4.1 to prove that \(|u_{1}|\) is a minimizer of \(I_{\lambda }\) on \(\mathcal{N}_{\lambda }^{-}\). Therefore, the proof is complete. □

Proof of Theorem 1.1

Gathering Theorem 4.1 with Theorem 4.2, we see that \(I_{\lambda }\) has two nonnegative and nonnegative local minimizers. Then it follows from Lemma 3.2 that \(I_{\lambda }\) has two critical points on W, which are two nontrivial and nonnegative local least energy solutions of problem (1.4). □


  1. Acosta, G., Borthagaray, J.P.: A fractional Laplace equation: regularity of solutions and finite element approximations. SIAM J. Numer. Anal. 55, 472–495 (2017)

    Article  MathSciNet  Google Scholar 

  2. Agarwal, R.P., Perera, K., O’Regan, D.: Multiple positive solutions of singular and nonsingular discrete problems via variational methods. Nonlinear Anal. 58, 69–73 (2004)

    Article  MathSciNet  Google Scholar 

  3. Ambrosio, L., De Philippis, G., Martinazzi, L.: Gamma-convergence of nonlocal perimeter functionals. Manuscr. Math. 134, 377–403 (2011)

    Article  MathSciNet  Google Scholar 

  4. Applebaum, D.: Lévy processes–from probability to finance quantum groups. Not. Am. Math. Soc. 51, 1336–1347 (2004)

    MATH  Google Scholar 

  5. Autuori, G., Pucci, P.: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 2340–2362 (2013)

    Article  Google Scholar 

  6. Brown, K.J., Zhang, Y.: The Nehari manifold for a semilinear elliptic problem with a sign changing weight function. J. Differ. Equ. 193, 481–499 (2003)

    Article  Google Scholar 

  7. Cabada, A., Iannizzotto, A., Tersian, S.: Multiple solutions for discrete boundary value problems. J. Math. Anal. Appl. 356, 418–428 (2009)

    Article  MathSciNet  Google Scholar 

  8. Caffarelli, L.: Non–local diffusions, drifts and games. Nonlinear Partial Differ. Equ. 7, 37–52 (2012)

    Article  MathSciNet  Google Scholar 

  9. Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245–1260 (2007)

    Article  MathSciNet  Google Scholar 

  10. Ciaurri, O., Roncal, L., Stinga, P.R., Torrea, J.L., Varona, J.L.: Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications. Adv. Math. 330, 688–738 (2018)

    Article  MathSciNet  Google Scholar 

  11. Devillanova, G., Carlo Marano, G.: A free fractional viscous oscillator as a forced standard damped vibration. Fract. Calc. Appl. Anal. 19(2), 319–356 (2016)

    Article  MathSciNet  Google Scholar 

  12. Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)

    Article  MathSciNet  Google Scholar 

  13. Fabian, M., Habala, P., Hájek, P., Montesinos, V., Zizler, V.: Banach Space Theory. Springer, Berlin (2011)

    Book  Google Scholar 

  14. Fiscella, A., Pucci, P., Zhang, B.: p-fractional Hardy–Schrödinger–Kirchhoff systems with critical nonlinearities. Adv. Nonlinear Anal. 8, 1111–1131 (2019)

    Article  MathSciNet  Google Scholar 

  15. Fiscella, A., Servadei, R., Valdinoci, E.: Density properties for fractional Sobolev spaces. Ann. Acad. Sci. Fenn., Math. 40, 235–253 (2015)

    Article  MathSciNet  Google Scholar 

  16. Fiscella, A., Valdinoci, E.: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156–170 (2014)

    Article  MathSciNet  Google Scholar 

  17. Huang, Y., Oberman, A.: Numerical methods for the fractional Laplacian: a finite difference-quadrature approach. SIAM J. Numer. Anal. 52, 3056–3084 (2014)

    Article  MathSciNet  Google Scholar 

  18. Iannizzotto, A., Rădulescu, V.: Positive homoclinic solutions for the discrete p-Laplacian with a coercive weight function. Differ. Integral Equ. 27, 35–44 (2014)

    MathSciNet  MATH  Google Scholar 

  19. Iannizzotto, A., Tersian, S.A.: Multiple homoclinic solutions for the discrete p–Laplacian via critical point theory. J. Math. Anal. Appl. 403, 173–182 (2013)

    Article  MathSciNet  Google Scholar 

  20. Izydorek, M., Janczewska, J., Mawhin, J.: Homoclinics for singular strong force Lagrangian systems. Adv. Nonlinear Anal. 9, 644–653 (2020)

    Article  MathSciNet  Google Scholar 

  21. Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  23. Mihăilescu, M., Rădulescu, V., Tersian, S.: Homoclinic solutions of difference equations with variable exponents. Topol. Methods Nonlinear Anal. 38, 277–289 (2011)

    MathSciNet  MATH  Google Scholar 

  24. Mingqi, X., Rădulescu, V., Zhang, B.: A critical fractional Choquard–Kirchhoff problem with magnetic field. Commun. Contemp. Math. 21, 185004 (2019)

    Article  MathSciNet  Google Scholar 

  25. Mingqi, X., Rădulescu, V., Zhang, B.: Fractional Kirchhoff problems with critical Trudinger–Moser nonlinearity. Calc. Var. Partial Differ. Equ. 58, 57 (2019)

    Article  MathSciNet  Google Scholar 

  26. Mingqi, X., Rǎdulescu, V., Zhang, B.: Nonlocal Kirchhoff problems with singular exponential nonlinearity. Appl. Math. Optim. (2020).

    Article  Google Scholar 

  27. Molica Bisci, G., Rădulescu, V., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Cambridge University Press, Cambridge (2015)

    MATH  Google Scholar 

  28. Pucci, P., Xiang, M., Zhang, B.: Multiple solutions for nonhomogeneous Schrodinger–Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785–2806 (2015)

    Article  Google Scholar 

  29. Servadei, R., Valdinoci, E.: Mountain Pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 389, 887–898 (2012)

    Article  MathSciNet  Google Scholar 

  30. Stevic, S.: Solvability of a product-type system of difference equations with six parameters. Adv. Nonlinear Anal. 8, 29–51 (2019)

    Article  MathSciNet  Google Scholar 

  31. Valdinoci, E.: From the long jump random walk to the fractional Laplacian. Bol. Soc. Esp. Mat. Apl. 49, 33–44 (2009)

    MathSciNet  MATH  Google Scholar 

  32. Xiang, M., Hu, D., Yang, D.: Least energy solutions for fractional Kirchhoff problems with logarithmic nonlinearity. Nonlinear Anal. 198, 111899 (2020)

    Article  MathSciNet  Google Scholar 

  33. Xiang, M., Pucci, P., Squassina, M., Zhang, B.: Nonlocal Schrödinger–Kirchhoff equations with external magnetic field. Discrete Contin. Dyn. Syst. 37, 1631–1649 (2017)

    Article  MathSciNet  Google Scholar 

  34. Xiang, M., Zhang, B.: Degenerate Kirchhoff problems involving the fractional p-Laplacian without the (AR) condition. Complex Var. Elliptic Equ. 60, 1277–1287 (2015)

    Article  MathSciNet  Google Scholar 

  35. Xiang, M., Zhang, B.: Homoclinic solutions for fractional discrete Laplacian equations. Nonlinear Anal. 198, 111886 (2020)

    Article  MathSciNet  Google Scholar 

  36. Xiang, M., Zhang, B., Rădulescu, V.: Superlinear Schrödinger–Kirchhoff type problems involving the fractional p-Laplacian and critical exponent. Adv. Nonlinear Anal. 9, 690–709 (2020)

    Article  MathSciNet  Google Scholar 

  37. Xiang, M., Zhang, B., Yang, D.: Multiplicity results for variable-order fractional Laplacian equations with variable growth. Nonlinear Anal. 178, 190–204 (2019)

    Article  MathSciNet  Google Scholar 

Download references


Not applicable.

Availability of data and materials

Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.


Xuewei Ju was supported by Fundamental Research Funds for the Central Universities (No. 3122020063). Mingqi Xiang was supported by the National Nature Science Foundation of China (No. 11601515) and the Tianjin Youth Talent Special Support Program.

Author information

Authors and Affiliations



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

Corresponding author

Correspondence to Mingqi Xiang.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ju, X., Die, H. & Xiang, M. The Nehari manifold method for discrete fractional p-Laplacian equations. Adv Differ Equ 2020, 559 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: