The Existence and Multiplicity of Homoclinic Solutions for a Fractional Discrete p−Laplacian Equation

Abstract

In this study, we investigate the existence and multiplicity of solutions for a fractional discrete p−Laplacian equation on $\mathbb{Z}$. Under suitable hypotheses on the potential function V and the nonlinearity f, with the aid of Ekeland’s variational principle, via mountain pass lemma, we obtain that this equation exists at least two nonnegative and nontrivial homoclinic solutions when the real parameter $\lambda >0$ is large enough.

1. Introduction

One side, in recent years, lots of researchers pay their attentions on the problem of the second-order difference equation (see [1])

$$-{\Delta }_T\mathrm{u}\left(j\right)+\mathrm{V}\left(j\right)\mathrm{u}\left(j\right)=f(j,\mathrm{u}\left(j\right))\mathrm{in}\mathbb{Z},$$

(1)

where $T>0$ is a real number, $\mathbb{Z}$ is the set of all integers, $V:\mathbb{Z}\to [0,\infty$) is a potential function, the function $f:\mathbb{Z}\times \mathbb{R}\to \mathbb{R}$, and $-{\Delta }_{T}u\left(j\right)$ is the discrete Laplace operator, defined as

$$-{\Delta }_{T}u\left(j\right)=\frac{1}{T^2}[u\left((j+1)T\right)-2u\left(jT\right)+u\left((j-1)T\right)],\forall u:\mathbb{Z}\to \mathbb{R}.$$

As our known, the famous Schrödinger equation is a widely used equation. It is usually used to solve series of problems of molecules, atoms, nuclei and so on, and the results are very realistic. For the Equation (1), it can be regarded as the discrete version of the famous Schrödinger equation and used to describe an electron in an electromagnetic field or a planetary system. In order to study the dynamics of discrete Schrödinger equation, we need to know the homoclinic orbits, which play a very important role in this area. For more details of second-order difference equations, there are lots of literatures, the interested readers can see for [2,3,4,5,6,7,8]. In particular, in [2], by using variational methods, Agarwal, Perera and O’Regan obtained the existence results for second order difference equations like (1) for the first time.

On the other side, recently, nonlocal problems has been received an increasing amount of attentions. There are two very famous pieces of work [9,10] that we highly recommend. In addition, the fractional Laplacian and related problems are all hot topics for researchers. About fractional Laplace operator and fractional Sobolev Spaces, more details and properties, refer readers to see [11,12,13,14]. In many fields, nonlocal fractional problems have very important applications, such as optimization, game theory, quantum mechanics, anomalous diffusion, finance and so forth, readers can see the literatures [3,15,16,17] and the references cited. For applications of fractional Laplace operators, the literature is very rich, we refer to [8,18,19,20,21,22,23,24,25,26,27,28] and the references therein.

Very recently, in [29], Ciaurri et al., studied an equation as following:

$${(-{\Delta }_T)}^s\mathrm{u}=f,$$

(2)

where $s\in (0,1)$, ${(-{\Delta }_T)}^{s}u\left(j\right)=\frac{1}{\Gamma (-s)}{\int }_0^{\infty }(e^{t{\Delta }_T}u\left(j\right)-u\left(j\right))\frac{dt}{t^{1+2s}}$ is the discrete fractional Laplace operator, $\Gamma (-s)$ is a Gamma function, we denote $e^{t{\Delta }_T}u\left(j\right)$ by $v(t,j)$, which is the solution of the problem as follow:

$$\left\{\begin{array}{c}{\partial }_{t}v(t,j)={\Delta }_{T}u\left(j\right),\mathrm{i}\mathrm{n}{\mathbb{Z}}_T\times (0,\infty ),\hfill \\ v(0,j)=u\left(j\right),\mathrm{o}\mathrm{n}{\mathbb{Z}}_T,\hfill \end{array}\right.$$

where ${\mathbb{Z}}_T=\{Tj:j\in \mathbb{Z}\}.$

By the Theorem 1.1 of [29], for any $u\in {\mathcal{L}}_s:=\{v:{\mathbb{Z}}_T\to \mathbb{R}|{\sum }_{k\in \mathbb{Z}}\frac{\left|v\right(k\left)\right|}{{(1+|k\left|\right)}^{1+2s}}<\infty \}$,

$${(-{\Delta }_T)}^{s}u\left(j\right)={\displaystyle \sum _{k\in \mathbb{Z},k\ne j}}(u\left(j\right)-u\left(k\right)){\mathcal{K}}_s^T(j-k),$$

where

$${\mathcal{K}}_s^T\left(k\right)=\frac{4^s\Gamma (1/2+s)}{\sqrt{\pi }|\Gamma (-s)|}·\frac{\Gamma \left(\right|k|-s)}{T^{2s}\Gamma \left(\right|k|+1+s)}$$

for any $k\in \mathbb{Z}\backslash \left\{0\right\}$ and ${\mathcal{K}}_S^T\left(0\right)=0$.

When u is bounded, we know that the discrete fractional operator ${(-{\Delta }_T)}^{s}u\left(j\right)$ converge to the usual discrete opertor $-{\Delta }_{T}u\left(j\right)$, as $s\to 1^{-}$. In addition the solutions of the fractional Laplace equation ${(-\Delta )}^{s}u=f$ in $\mathbb{R}$ can be approximated by the solutions of Equation $\left(2\right)$.

In [30], Xiang and Zhang first investigated the equation

$$\left\{\begin{array}{cc}{(-{\Delta }_1)}^s\mathrm{u}\left(k\right)+\mathrm{V}\left(k\right)\left|\mathrm{u}\left(k\right)\right|=& \lambda f(k,\mathrm{u}\left(k\right)),\mathrm{for}k\in \mathbb{Z}\\ & \mathrm{u}\left(k\right)\to 0,\mathrm{as}\left|k\right|\to \infty .\end{array}\right.$$

(3)

by using variational principle, the multiplicity results were obtained.

Usually, the solutions of the continuous fractional problems can be approximated by the solutions of the discrete fractional Laplacian equations. However, numerical analysis is difficult for discrete fractional equations, because of the singularity and nonlocality of the discrete fractional Laplace operator, more details see [31] and the reference cited therein.

Motivated by the above literatures, in this study, we investigate the existence and multiplicity of homoclinic solutions of a class of discrete fractional p−Laplace difference equation on $\mathbb{Z}$. Specifically speaking, we study

$$\left\{\begin{array}{cc}{(-{\Delta }_T)}_p^s\mathrm{u}\left(k\right)+\mathrm{V}\left(k\right){\left|\mathrm{u}\left(k\right)\right|}^{p-2}\mathrm{u}\left(k\right)=& \lambda f(k,\mathrm{u}\left(k\right)),\mathrm{for}k\in \mathbb{Z}\\ & \mathrm{u}\left(k\right)\to 0,\mathrm{as}\left|k\right|\to \infty ,\end{array}\right.$$

(4)

where $T>0$ is a real number, $s\in (0,1)$, $1<p<\infty$, $\mathbb{Z}$ denote the set of whole integers, $V:\mathbb{Z}\to (0,\infty )$ is a continuous potential function and the nonlinear term $f:\mathbb{Z}\times \mathbb{R}\to \mathbb{R}$ is a continuous functions too, ${(-{\Delta }_T)}_p^s$ is the discrete fractional p−Laplace operator, we define it by

$${(-{\Delta }_T)}_p^{s}u\left(j\right)={\displaystyle \sum _{m\in Z,m\ne j}}{|u\left(j\right)-u\left(m\right)|}^{p-2}(u\left(j\right)-u\left(m\right))K_{s,p}^T(j-m),$$

for any $j\in \mathbb{Z}$, $u\in {\mathcal{L}}_{p,s}$, ${\mathcal{L}}_{P,s}:=\{v:{\mathbb{Z}}_T\to \mathbb{R}|{\sum }_{k\in \mathbb{Z}}\frac{\left|v\right(k\left)\right|}{{(1+|k\left|\right)}^{1+ps}}<\infty \}.$ Here, $K_{s,p}^T$ is the discrete kernel, satisfies the following expression:

There exist two constants $c_{s,p}$ and $C_{s,p}$ such that

$$\left\{\begin{array}{c}\frac{c_{s,p}}{T^{ps}{\left|j\right|}^{1+ps}}\le K_{s,p}^T\left(j\right)\le \frac{C_{s,p}}{T^{ps}{\left|j\right|}^{1+ps}},\mathrm{for}\mathrm{any}j\in \mathbb{Z}\backslash \left\{0\right\}\hfill \\ K_{s,p}\left(0\right)=0,\hfill \end{array}\right.$$

where $c_{s,p}$ and $C_{s,p}$ satisfy the condition $0<c_{s,p}\le C_{s,p}<\infty$.

When $T=1$, we have

$${(-{\Delta }_1)}_p^{s}u\left(j\right)=2{\displaystyle \sum _{m\in Z,m\ne j}}{|u\left(j\right)-u\left(m\right)|}^{p-2}(u\left(j\right)-u\left(m\right))K_{s,p}(j-m).$$

Meanwhile, for the fractional discrete p−Laplace operator ${(-{\Delta }_T)}_p^{s}u$, when $p=2$, it is coincide with the usual fractional discrete laplace operator ${(-{\Delta }_T)}^{s}u$, and when $p=2$ and $d=1,$ then Equation (4) reduces to Equation (3).

As usual, if $u\left(k\right)\to 0$ as $\left|k\right|\to \infty$, the function $u:\mathbb{Z}\to \mathbb{R}$ is the homoclinic solution of Equation (4).

Next, we give the hypotheses which will be used in this paper. We suppose the continuous potential function V: $\mathbb{Z}\to (0,\infty )$ fulfills

$\left(V\right)$ (i) For all $k\in \mathbb{Z}$, there exists a constant $V_0>0$ such that $V\left(k\right)\ge V_0$;

(ii) $V\left(k\right)\to \infty$ as $\left|k\right|\to \infty .$

The nonlinear term $f:\mathbb{Z}\times \mathbb{R}\to \mathbb{R}$ is a continuous function, satisfies

$\left(f_1\right)$${\displaystyle \underset{t\to 0}{lim}}\frac{f(k,t)}{t^{p-1}}=0$ uniformly for all $k\in \mathbb{Z};$

$\left(f_2\right)$ For all $T>0$, ${\displaystyle \underset{\left|t\right|\le T}{sup}}\left|F(·,t)\right|\in {\ell }^1$, where ${\ell }^1:=\{u:\mathbb{Z}\to \mathbb{R}|{\sum }_{j\in \mathbb{Z}}\left|u\left(j\right)\right|<\infty \}$, and F$(k,t)={\int }_0^{t}f(k,\tau )$$d\tau ;$

$\left(f_3\right)$$lim{\displaystyle \underset{\left|t\right|\to \infty }{sup}}\frac{F(k,t)}{t^p}\le 0$ uniformly for all $k\in \mathbb{Z};$

$\left(f_4\right)$$F(h_0,b_0)>0$ for same $h_0\in \mathbb{Z}$ and $b_0\in \mathbb{R}\backslash \left\{0\right\}.$

When $1<q<2<p<\infty$, a simple example of f, fulfilling $\left(f_1\right)-\left(f_4\right)$ is

$$f(k,x)=\left\{\begin{array}{c}{\left|x\right|}^{p-2}x,\mathrm{if}\left|x\right|\le 1\hfill \\ {\left|x\right|}^{q-2}x,\mathrm{if}\left|x\right|>1.\hfill \end{array}\right.$$

Set

$${\lambda }^{*}=\frac{{\left|b_0\right|}^p(p{C}_{s,p}{\sum }_{m\ne h_0}\frac{1}{{\left|h_0-m\right|}^{1+ps}}+V\left(h_0\right))}{pF(h_0,b_0)}.$$

Theorem 1. 

Assume that the potential function satisfies the condition $\left(V\right)$ and the function f sitisfies conditions $\left(f_1\right)$–$\left(f_4\right)$. Then, for any $\lambda >{\lambda }^{*}$, Equation (4) has at least two nontrivial and nonnegative homoclinic solutions.

To our best knowledge, for fractional discrete p−Laplacian, Theorem 1 is the first result established on variational techniques to study the existence of solutions for these type of equation. More precisely, in this paper, when positive constant $\lambda$ is big enough, we prove the existence of two nontrivial nonnegative homoclinc solutions of Equation (4) by using the mountain pass theorem and Ekeland’s variational principle. However, at present, it is still an open problem for all $\lambda >0$, which can be one of our further research directions.

This paper is composed of three sections in addition to the introduction. In Section 2, a variational framework to Equation (4) and some preliminary outcomes was given. In Section 3, employing critical point theory, two distinct non trivial and nonnegative homoclinic solutions for Equation (4) were gotten.

2. Preliminaries

In this section, we describe the functional setting and some basic definitions in which we shall work and state our main results for more detail see [21,30,32].

Then we give the variational setting to Equation (4) and discuss its properties. For any $1\le p<\infty$, ${\ell }^p$ is defined as

$${\ell }^p:=\left\{\mathrm{u}:\mathbb{Z}\to \mathbb{R}:{\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p<\infty \right\}$$

with the norm

$${∥\mathrm{u}∥}_p={\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p},\mathrm{for}1\le p<\infty ,$$

for $p=\infty$

$${\parallel \mathrm{u}\parallel }_{\infty }:={\displaystyle \underset{j\in \mathbb{Z}}{sup}}\left|\mathrm{u}\left(j\right)\right|<\infty ,$$

Define

$${\ell }^{\infty }{=\{\mathrm{u}:\mathbb{Z}\to \mathbb{R}:\parallel \mathrm{u}\parallel }_{\infty }<\infty \}.$$

We see that $({\ell }^p,\parallel$.${\parallel }_p)$ and $\left({\ell }^{\infty },{\parallel .\parallel }_{\infty }\right)$ are Banach spaces, see [32], and ${\ell }^{p_1}\subset {\ell }^{p_2}$ for $1\le p_1\le p_2\le \infty$. We denote by ${\parallel .\parallel }_p$ the norm of ${\ell }^p$ for all $p\in [1,\infty ].$

For an interval $\mathrm{I}\subset \mathbb{R}$, we clarify ${\ell }_{\mathrm{I}}^p$ by

$${\ell }_{\mathrm{I}}^p=\left\{\mathrm{u}:\mathrm{I}\to \mathbb{R}:{\displaystyle \sum _{j\in \mathrm{I}}}{\left|\mathrm{u}\left(j\right)\right|}^p<\infty \right\}.$$

Let

$$\mathrm{W}=\left\{\mathrm{u}:\mathbb{Z}\to \mathbb{R}:{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{k\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(k\right)|}^p{K}_{s,p}(j-k)+{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p<\infty \right\}.$$

equipped with the norm

$${\parallel \mathrm{u}\parallel }_{\mathrm{W}}={\left({\left[\mathrm{u}\right]}_{s,p}^p+{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p},$$

where

$${\left[\mathrm{u}\right]}_{s,p}:={\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{k\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(k\right)|}^p{K}_{s,p}(j-k)\right)}^{1/p}.$$

Lemma 1. 

If $u\in {\ell }^p$, then ${\left[u\right]}_{s,p}<\infty$. Moreover there exists $C(s,p)>0$, such that ${\left[u\right]}_{s,p}\le C{\parallel u\parallel }_p$ for all $u\in {\ell }^p.$

Proof. 

Let $\mathrm{u}\in {\ell }^p$. Then

$$\begin{array}{c}{\left[\mathrm{u}\right]}_{s,p}^p={\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{k\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(k\right)|}^p{K}_{s,p}(j-k)\\ \le 2^{p-1}{C}_{s,p}{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{k=j}}\frac{{\left|\mathrm{u}\left(j\right)\right|}^p+{\left|\mathrm{u}\left(k\right)\right|}^p}{{|j-k|}^{1+ps}}=2^{p-1}{C}_{s,p}{\displaystyle \sum _{k\ne 0}}\frac{{\left|\mathrm{u}\left(0\right)\right|}^p+{\left|\mathrm{u}\left(k\right)\right|}^p}{{\left|k\right|}^{1+ps}}\\ +2^{p-1}{C}_{s,p}{\displaystyle \sum _{j=0}}{\displaystyle \sum _{k\ne 0}}\frac{{\left|\mathrm{u}\left(j\right)\right|}^p}{{\left|k\right|}^{1+ps}}+2^{p-1}{C}_{s,p}{\displaystyle \sum _{j=0}}{\displaystyle \sum _{k\ne 0}}\frac{{\left|\mathrm{u}(k+j)\right|}^p}{{\left|k\right|}^{1+ps}}\\ =2^{p-1}{C}_{s,p}{\displaystyle \sum _{k\ne 0}}\frac{{\left|\mathrm{u}\left(0\right)\right|}^p+{\left|\mathrm{u}\left(k\right)\right|}^p}{{\left|k\right|}^{1+ps}}+2^{p-1}{C}_{s,p}{\displaystyle \sum _{k\ne 0}}{\displaystyle \sum _{j=0}}\frac{{\left|\mathrm{u}\left(j\right)\right|}^p}{{\left|k\right|}^{1+ps}}\\ +2^{p-1}{C}_{s,p}{\displaystyle \sum _{k\ne 0}}{\displaystyle \sum _{\begin{array}{c}j\ne 0\end{array}}}\frac{{\left|\mathrm{u}(k+j)\right|}^p}{{\left|k\right|}^{1+ps}}\\ \le 3\times 2^{p-1}{C}_{s,p}{\displaystyle \sum _{k\ne 0}}\frac{1}{{\left|k\right|}^{1+ps}}{\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p=C^p{\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p,\end{array}$$

where $0<C^p=3\times 2^{p-1}{C}_{sp}{\displaystyle \sum _{k\ne 0}}\frac{1}{{\left|k\right|}^{1+ps}}<\infty$. Thus, the proof is completed. □

Besides, the following compactness result holds.

Lemma 2. 

If condition $\left(\mathrm{V}\right)$ holds, then embedding W$\hookrightarrow {\ell }^q$ is compact for any $1<p\le q<\infty ,$ provided the condition $\left(\mathrm{V}\right)$ holds.

Proof. 

The proof is similar to papers [21,30].

First, we establish that the result holds for the case $q=p$. According to the hypothesis $\left(\mathrm{V}\right)$, we have ${\parallel \mathrm{u}\parallel }_p\le {\mathrm{V}}_0^{-\frac{1}{p}}\parallel \mathrm{u}\parallel$ for all $\mathrm{u}\in$W. Indeed, the embedding W$\to {\ell }^p$ is continuous. Next, we verify that W$\to {\ell }^p$ is compact. For ${\left\{{\mathrm{u}}_n\right\}}_n\subset$W, we suppose that there exists $d>0$ such that $\parallel {\mathrm{u}}_n{\parallel }_{\mathrm{W}}^p\le d$ for all $n\in \mathbb{N}$. Since W is a reflexive Banach space (see Appendix A), there exist a subsequence of ${\left\{{\mathrm{u}}_n\right\}}_n$ still denoted by ${\left\{{\mathrm{u}}_n\right\}}_n$ and a function $\mathrm{u}\in$W such that ${\mathrm{u}}_n\rightharpoonup \mathrm{u}$ in W. By hypothesis $\left(\mathrm{V}\right)$, for any $\epsilon >0$, there exists $j_0\in \mathbb{N}$ such that

$$\mathrm{V}\left(j\right)>\frac{1+d}{\epsilon },\mathrm{for}\mathrm{all}\left|j\right|>j_0.$$

For $\mathrm{I}=-j_0,j_0$ we define

$${\mathrm{W}}_{\mathrm{I}}:=\left\{\mathrm{u}:\mathrm{I}\to \mathbb{R}:{\displaystyle \sum _{j\in \mathrm{I}}}{\displaystyle \sum _{j\ne k\in \mathrm{I}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(k\right)|}^p{K}_{s,p}(j-k)+{\displaystyle \sum _{j\in \mathrm{I}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p<\infty \right\}.$$

Because the dimension of W${}_{\mathrm{I}}$ is finite, we infer that ${\left\{{\mathrm{u}}_n\right\}}_n$ is a bounded sequence in W${}_{\mathrm{I}}$, since ${\left\{{\mathrm{u}}_n\right\}}_n$ is bounded in ${\ell }_{\mathrm{I}}^p$. Thus, up to a subsequence, we conclude that ${\mathrm{u}}_n\to \mathrm{u}$ on $\mathrm{I}$. Thus there exists $n_0\in \mathbb{N}$ such that for all $n\ge n_0$

$${\displaystyle \sum _{j\in \mathrm{I}}}{|{\mathrm{u}}_n\left(j\right)-\mathrm{u}\left(j\right)|}^p\le \frac{\delta }{1+d}.$$

Then

$$\begin{array}{cc}{\displaystyle \sum _{j\in \mathbb{Z}}}{|{\mathrm{u}}_n\left(j\right)-\mathrm{u}\left(j\right)|}^p& <\frac{\epsilon }{1+C}+\frac{\epsilon }{1+C}{\displaystyle \sum _{\left|j\right|>j_0}}\mathrm{V}\left(j\right){|{\mathrm{u}}_n\left(j\right)-\mathrm{u}\left(j\right)|}^p\hfill \\ & \le \frac{\epsilon }{1+C}(1+\parallel {\mathrm{u}}_n{\parallel }_{\mathrm{W}}^p)\le \delta ,\mathrm{for}\mathrm{all}n>n_0.\hfill \end{array}$$

Hence, we conclude that ${\mathrm{u}}_n\to \mathrm{u}$ in ${\ell }^p.$ Now, we view the case $q>p$. Note that

$${\parallel \mathrm{u}\left(j\right)\parallel }_{\infty }\le {\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p}$$

for all $\mathrm{u}\in {\ell }^p$. Then

$$\begin{array}{cc}{\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^q\right)}^{1/q}& ={\parallel \mathrm{u}\parallel }_{\infty }{\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\left(\frac{\left|\mathrm{u}\right(j\left)\right|}{{\left|\right|\mathrm{u}\parallel }_{\infty }}\right)}^p\right)}^{1/q}={\parallel \mathrm{u}\parallel }_{\infty }^{1-\frac{p}{q}}{\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/q}\hfill \\ & \le {\parallel \mathrm{u}\parallel }_p^{1-\frac{P}{q}}{\parallel \mathrm{u}\parallel }_p^{\frac{P}{q}}={\parallel \mathrm{u}\parallel }_p,\hfill \end{array}$$

with $\mathrm{u}\in {\ell }^p\backslash \left\{0\right\}$. Therefore,

$${\parallel \mathrm{u}\parallel }_q\le {\parallel \mathrm{u}\parallel }_p$$

for all $\mathrm{u}\in {\ell }^p$. This inequality jointly with the result of the considered case $q=p$, shows the proof. □

To get some effects of energy functional associated with Equation (4), the following result is required.

Lemma 3. 

For any compact subset $\mathrm{U}$ of W, and any $\epsilon >0,$ there is a $j_0\in \mathbb{N}$ such that

$${\left({\displaystyle \sum _{\left|j\right|>j_0}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p}<\epsilon ,\mathrm{u}\in \mathrm{U}.$$

Proof. 

We prove it by contradiction, suppose that there exist $\epsilon >0$ and a sequence $\left\{{\mathrm{u}}_n\right\}\subseteq \mathrm{U}$ such that

$${\left({\displaystyle \sum _{\left|j\right|>n}}\mathrm{V}\left(j\right){\left|{\mathrm{u}}_n\left(j\right)\right|}^p\right)}^{1/p}>\epsilon \mathrm{for}\mathrm{all}n\in \mathbb{N}.$$

Due to the compactness of $\mathrm{U}$, passing to a subsequence we may assume that ${\mathrm{u}}_n\to \mathrm{u}$ in $\mathrm{W}$ for some $\mathrm{u}\in \mathrm{U}$. Thus, there exists $n_0\in N$, such that $\parallel {\mathrm{u}}_n-\mathrm{u}\parallel <\frac{\epsilon }{2}$ for any $n\ge n_0$, moreover, there exists $j_1\in N$ such that

$${\left({\displaystyle \sum _{\left|j\right|>j_1}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p}<\frac{\epsilon }{2}.$$

Recall the classical Minkowski inequality:

$${\left(\sum _{\mathrm{I}=1}^m{\left|x_i+y_i\right|}^p\right)}^{\frac{1}{p}}\le {\left(\sum _{i=1}^m{\left|x_i\right|}^p\right)}^{\frac{1}{p}}+{\left(\sum _{i=1}^m{\left|y_i\right|}^p\right)}^{\frac{1}{p}}\mathrm{for}\mathrm{all}m\in \mathbb{Z},x_1...x_m.y_1...y_m\in \mathbb{R}.$$

(5)

By (5), we have

$$\begin{array}{cc}\epsilon & <{\left({\displaystyle \sum _{\left|j\right|>n}}\mathrm{V}\left(j\right){|{\mathrm{u}}_n\left(j\right)-\mathrm{u}\left(j\right)|}^p\right)}^{1/p}\le {\left({\displaystyle \sum _{\left|j\right|>n}}\mathrm{V}\left(j\right){\left|{\mathrm{u}}_n\left(j\right)\right|}^p\right)}^{1/p}+{\left({\displaystyle \sum _{\left|j\right|>n}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{1/p}\hfill \\ & \le ∥{\mathrm{u}}_n-\mathrm{u}∥+\frac{\epsilon }{2}<\epsilon ,\hfill \end{array}$$

which is a contradiction, and the proof is archived. □

For $\mathrm{u}\in$W, we propose the associated energy functional with Equation (4) as

$${\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)=\mathsf{\Psi }\left(\mathrm{u}\right)-\lambda \mathrm{J}\left(\mathrm{u}\right),$$

where

$$Psi\left(\mathrm{u}\right)=\frac{1}{p}{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}(j-m)+\frac{1}{p}{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p$$

and

$$\mathrm{J}\left(\mathrm{u}\right)={\displaystyle \sum _{j\in \mathbb{Z}}}F(j,\mathrm{u}\left(j\right)).$$

Lemma 4. 

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

$$\begin{array}{cc}⟨{\mathsf{\Psi }}^{\prime }\left(\mathrm{u}\right),\mathrm{v}⟩& ={\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\hfill \\ & +{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{v}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^{p-2}\mathrm{u}\left(j\right)\mathrm{v}\left(j\right),\hfill \end{array}$$

for all $\mathrm{u},\mathrm{v}\in W$.

Proof. 

According to Lemma 1, the functional $Psi$ is well-defined on W. Fix $\mathrm{u},$$\mathrm{v}\in$W. We first prove that

$$\begin{array}{cc}& {\displaystyle {lim}_{t\to 0^{+}}}{\displaystyle {\sum }_{j\in \mathbb{Z}}}{\displaystyle {\sum }_{m\in \mathbb{Z}}}\frac{{|\mathrm{u}\left(j\right)+t\mathrm{v}\left(j\right)-\mathrm{u}\left(m\right)-t\mathrm{v}\left(m\right)|}^p-{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p}{p}{K}_{s,p}(j-m)\\ & ={\displaystyle {\sum }_{j\in \mathbb{Z}}}{\displaystyle {\sum }_{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m).\end{array}$$

(6)

Pick $C>0$ such that $max\left({\parallel \mathrm{u}\parallel }_{\mathrm{W}},{\parallel \mathrm{v}\parallel }_{\mathrm{W}}\right)\le C$. For all $\epsilon >0$ there exists $h_1\in \mathbb{N}$ such that

$${\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}{(j-m))}^{\frac{1}{p}}<\epsilon$$

(7)

for all $h>h_1$. Indeed, for any $h\in \mathbb{N}$, we have

$$\begin{array}{cc}{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}(j-m)& \le C_{s,p}{2}^{p-1}{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h,m\ne j}}\frac{\left(\right|\mathrm{u}\left(j\right){|}^p+\left|\mathrm{u}\left(m\right){|}^p\right)}{{|j-m|}^{1+ps}}\hfill \\ & \le 2^p{C}_{s,p}{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h,m=j}}\frac{{\left|\mathrm{u}\left(j\right)\right|}^p}{{|j-m|}^{1+ps}}\hfill \\ & \le 2^p{C}_{s,p}\left({\displaystyle \sum _{k\ne 0}}\frac{1}{{\left|k\right|}^{1+ps}}\right){\displaystyle \sum _{\left|j\right|>h}}{\left|\mathrm{u}\left(j\right)\right|}^p,\mathrm{u}\in \mathrm{W}.\hfill \end{array}$$

Therefore (7) holds.

For $h\in \mathbb{N}$, if $\left|j\right|\le h$ and $\left|m\right|>2h$, then $|j-m|\ge \left|m\right|-\left|j\right|\ge \left|m\right|-h>\frac{\left|m\right|}{2}$. Thus, there exists $h_2\in N$ such that

$${\left({\displaystyle \sum _{\left|j\right|\le h}}{\displaystyle \sum _{\left|m\right|>2h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}(j-m)\right)}^{\frac{1}{p}}<\epsilon$$

(8)

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$, we get

$$\begin{array}{cc}& {\displaystyle \sum _{\left|j\right|\le 2h}}{\displaystyle \sum _{\left|m\right|\le 2h}}|\frac{{|\mathrm{u}\left(j\right)+t\mathrm{v}\left(j\right)-\mathrm{u}\left(m\right)-t\mathrm{v}\left(m\right)|}^p-{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p}{p}\hfill \\ & {-|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))|K_{s,p}(j-m)<\epsilon .\hfill \end{array}$$

Fix $0<t<t_0$, for $j,$$m\in \mathbb{Z}$, using the mean value theorem, we can find $0<t_{j,m}<t$ such that

$$\begin{array}{ccc}& & \frac{\left(\right|\mathrm{u}\left(j\right)+t\mathrm{v}\left(j\right)-\mathrm{u}\left(m\right)-t\mathrm{v}\left(m\right){|}^p-|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right){|}^p)}{tp}{K}_{s,p}(j-m)\hfill \\ & =& {|y\left(j\right)-y\left(m\right)|}^{p-2}(y\left(j\right)-y\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m),\hfill \end{array}$$

(9)

where $y\left(j\right)=\mathrm{u}\left(j\right)+t_{j,m}\mathrm{v}\left(j\right)$. Evidently $y\in$W and ${\parallel y\parallel }_{\mathrm{W}}\le 2C$. Observe that

$$\begin{array}{cc}& \left|{\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>2h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\right|\hfill \\ & \le {\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>wh}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-1}|\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right)|K_{sp}(j-m)\hfill \\ & \le {\left({\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>2h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}{)}^{\frac{p-1}{p}}({\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>2h}}{|\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right)|}^p{K}_{s,p}(j-m)\right)}^{\frac{1}{p}}\le C\epsilon .\hfill \end{array}$$

(10)

From (7) and (10), using Holder’s inequality, we infer

$$\begin{array}{cc}& \left|{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}\frac{{|\mathrm{u}\left(j\right)+t\mathrm{v}\left(j\right)-\mathrm{u}\left(m\right)-t\mathrm{v}\left(m\right)|}^p-{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p}{p}{K}_{s,p}(j-m)\right.\hfill \\ +& \left.{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\right|\hfill \\ & \le \epsilon +{\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>h}}+{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|\le h}}\hfill \\ & +{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}\left|({\varphi }_p(y\left(j\right)-y\left(m\right))-{\varphi }_p(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))\right|K_{s,p}(j-m)\hfill \\ & \le C\epsilon +{\displaystyle \sum _{\left|j\right|\le h|}}{\displaystyle \sum _{m|>2h}}+{\displaystyle \sum _{\left|j\right|>2h|}}{\displaystyle \sum _{m|\le h}}\hfill \\ & +{\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}\left|({\varphi }_p(y\left(j\right)-y\left(m\right))-{\varphi }_p(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))\right|K_{s,p}(j-m)\hfill \\ & \le C\epsilon ,\hfill \end{array}$$

where for all $\tau \in \mathbb{R},$${\varphi }_p\left(\tau \right):={\left|\tau \right|}^{p-2}\tau$. Consequently (6) holds valid. A similar idea gives

$${\displaystyle \underset{t\to 0^{+}}{lim}}\frac{{\parallel \mathrm{u}+t\mathrm{v}\parallel }^p-{\parallel \mathrm{u}\parallel }^p}{pt}={\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^{p-2}\mathrm{u}\left(j\right)v\left(j\right).$$

Thus, we get

$$\begin{array}{cc}⟨{\mathsf{\Psi }}^{\prime }\left(\mathrm{u}\right),\mathrm{v}⟩& ={\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\hfill \\ & +{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^{p-2}\mathrm{u}\left(j\right)\mathrm{v}\left(j\right).\hfill \end{array}$$

Therefore, $\mathsf{\Psi }$ is Gâteaux differentiable in $\mathrm{W}$. In the end, we prove that ${\mathsf{\Psi }}^{\prime }:$$\mathrm{W}\to {\mathrm{W}}^{*}$ is continuous. To this end, we take ${\left\{{\mathrm{u}}_n\right\}}_n$ sequence in $\mathrm{W}$ with ${\mathrm{u}}_n{\displaystyle \underset{n\to \infty }{\to }}\mathrm{u}$ in $\mathrm{W}$. From Lemma 3, for all $\epsilon >0$, there exists $h\in \mathbb{N}$ such that

$${\left({\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}{|{\mathrm{u}}_n\left(j\right)-{\mathrm{u}}_n\left(m\right)|}^p{K}_{s,p}(j-m)\right)}^{1/p}<\epsilon \mathrm{for}\mathrm{all}n\in \mathbb{N}$$

and

$${\left({\displaystyle \sum _{\left|j\right|>h}}{\displaystyle \sum _{\left|m\right|>h}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^p{K}_{s,p}(j-m)\right)}^{1/p}<\epsilon .$$

In addition, there exists $n_0\in \mathbb{N}$ such that

$${\left({\displaystyle \sum _{\left|j\right|\le 2h|}}{\displaystyle \sum _{m|\le 2h}}{\left|\left(\varphi ({\mathrm{u}}_n\left(j\right)-{\mathrm{u}}_n\left(m\right))-\varphi (\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))\right)K_{s,p}^{1/p^{\prime }}(j-m)\right|}^{p^{\prime }}\right)}^{1/p^{\prime }}<\epsilon$$

for all $n\ge n_0$, where $p^{\prime }=\frac{p}{p-1}$. For any $\mathrm{v}\in \mathrm{W}$ with ${\parallel \mathrm{v}\parallel }_{\mathrm{W}}\le 1$, and for any $n\ge n_0$, by the Hölder inequality and a similar argument to above, we conclude

$$\begin{array}{cc}& \left|{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}[\varphi ({\mathrm{u}}_n\left(j\right)-{\mathrm{u}}_n\left(m\right))-\varphi (\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))](\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\right|\hfill \\ & \le {\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{\left|\left(\varphi ({\mathrm{u}}_n\left(j\right)-{\mathrm{u}}_n\left(m\right))-\varphi (\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))\right)K_{s,p}^{1/p^{\prime }}(j-m)\right|}^{p^{\prime }}\right)}^{1/p^{\prime }}\hfill \\ & \times {\left({\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right)|}^p{K}_{s,p}(j-m)\right)}^{1/p}\le C\epsilon {\parallel \mathrm{v}\parallel }_{\mathrm{W}}.\hfill \end{array}$$

Also, we can show that

$$\left|{\displaystyle \sum _{k\in \mathbb{Z}}}\mathrm{V}\left(k\right)\left(\right|{{\mathrm{u}}_n|}^{p-2}{\mathrm{u}}_n-{\left|\mathrm{u}\right|}^{p-2}\mathrm{u})\mathrm{v}\right|\le C\epsilon {\parallel \mathrm{v}\parallel }_{\mathrm{W}}$$

as $n\to \infty$. Thus,

$$\parallel {\mathsf{\Psi }}^{\prime }\left({\mathrm{u}}_n\right)-={\mathsf{\Psi }}^{\prime }\left(\mathrm{u}\right)\parallel ={\displaystyle \underset{\parallel \mathrm{v}\parallel \le 1}{sup}}\left|\{{\mathsf{\Psi }}^{\prime }\left({\mathrm{u}}_n\right)-{\mathsf{\Psi }}^{\prime }\left(\mathrm{u}\right),\mathrm{v}\}\right|\to 0,$$

which implies that ${\mathsf{\Psi }}^{\prime }$ is continuous. Hence, we confirm that $\mathsf{\Psi }\in C^1(\mathrm{W},\mathbb{R})$. □

Lemma 5. 

If conditions $\left(\mathrm{V}\right)$ and $\left(f_1\right)$ hold, then $\mathrm{J}\in C^1(\mathrm{W},\mathbb{R})$ with

$$⟨{\mathrm{J}}^{\prime }\left(\mathrm{u}\right),\mathrm{v}⟩={\displaystyle \sum _{j\in \mathbb{Z}}}f(j,\mathrm{u}\left(j\right))\mathrm{v}\left(j\right)$$

for all $\mathrm{u},$$\mathrm{v}\in \mathrm{W}.$

Proof. 

By $\left({\mathrm{f}}_1\right)$, there exists $\delta >0$ such that $\left|f(j,t)\right|\le {\left|t\right|}^{p-1}$ for all $j\in \mathbb{Z}$, $\left|t\right|\le \delta .$ Integrating we have

$$\left|F(j,t)\right|\le \frac{{\left|t\right|}^p}{p}\mathrm{for}\mathrm{all}j\in \mathbb{Z},\left|t\right|\le \delta$$

(11)

for all $\mathrm{u}$$\in \mathrm{W}$. There exists $h\in \mathbb{N}$ such that $\left|\mathrm{u}\left(k\right)\right|\le \delta$ for all $j\in \mathbb{Z},$$\left|j\right|>h,$ we obtain

$$\begin{array}{cc}\left|{\displaystyle \sum _{j\in \mathbb{Z}}}F(j,\mathrm{u}\left(j\right))\right|& =\left|{\displaystyle \sum _{\left|j\right|\le h}}F(j,\mathrm{u}\left(j\right))+{\displaystyle \sum _{\left|j\right|>h}}F(j,\mathrm{u}\left(j\right))\right|\hfill \\ & \le {\displaystyle \sum _{\left|j\right|\le h}}\left|F(j,\mathrm{u}(j\left)\right)\right|+\frac{1}{p}{\displaystyle \sum _{\left|j\right|>h}}{\left|\mathrm{u}\left(j\right)\right|}^p\hfill \\ & \le {\displaystyle \sum _{\left|j\right|\le h}}\left|F(j,\mathrm{u}(j\left)\right)\right|+\frac{1}{p{\mathrm{V}}_0}{\displaystyle \sum _{\left|j\right|>h}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^p,\hfill \end{array}$$

thus $\mathrm{J}$ is well defined. Now, fix $\mathrm{u},$$\mathrm{v}\in \mathrm{W}$. We show that

$${\displaystyle \underset{t\to 0^{+}}{lim}}\frac{\mathrm{J}(\mathrm{u}+t\mathrm{v})-\mathrm{J}\left(\mathrm{u}\right)}{t}={\displaystyle \sum _{j\in \mathbb{Z}}}f(j,\mathrm{u}\left(j\right))\mathrm{v}\left(j\right)),$$

(12)

indeed, choose $R>0$ such that $max\left({∥\mathrm{u}∥}_p,{∥\mathrm{v}∥}_p\right)\le R$. Let $\delta >0$ be such that (11) holds and

$$max\left\{\mathrm{u}\left(j\right),\mathrm{v}\left(j\right)\right\}\le \frac{\delta }{2}\mathrm{for}\mathrm{all}j\in \mathbb{Z},\left|j\right|>h.$$

For all $\epsilon >0$, there exists $h\in \mathbb{N}$ such that

$${\displaystyle \sum _{\left|j\right|>h}}\mathrm{V}\left(j\right){\left|\mathrm{v}\left(j\right)\right|}^p<\frac{\epsilon }{6{\mathrm{V}}_0{\left(2R\right)}^{p-1}}.$$

Moreover, we can find $t_0\in (0,1)$ such that

$${\displaystyle \sum _{\left|j\right|\le h}}\left|\frac{F(j,\mathrm{u}(j\left)\right)+t\mathrm{v}\left(j\right)-F(j,\mathrm{u}(j\left)\right)}{t}-f(j,\mathrm{u}\left(j\right))\mathrm{v}\left(j\right)\right|<\frac{\epsilon }{3}.$$

Now fix $0<t\le t_0$. For all $\left|j\right|>h$, there exists $0\le t_k\le t$ such that

$$\frac{F(j,\mathrm{u}(j\left)\right)+t\mathrm{v}\left(j\right)-F(j,\mathrm{u}(j\left)\right)}{t}=f(j,\mathrm{u}\left(j\right)+t_k\mathrm{v}\left(j\right))\mathrm{v}\left(j\right).$$

We define $w\in \mathrm{W}$ by $w\left(j\right)=0$ for all $\left|j\right|\le h$ and $w\left(j\right)=\mathrm{u}\left(j\right)+t_j\mathrm{v}\left(j\right)$ for all $\left|j\right|>h.$ Therefore, $∥w∥\le ∥\mathrm{u}∥+∥\mathrm{v}∥$ and $\left|w\left(j\right)\right|\le \delta$ for all $j\in \mathbb{Z}$. Summarizing what proved above, we have

$$\begin{array}{cc}& \left|\frac{\mathrm{J}(\mathrm{u}+t\mathrm{v})-\mathrm{J}\left(\mathrm{u}\right)}{t}-{\displaystyle \sum _{j\in \mathbb{Z}}}F(j,\mathrm{u}\left(j\right))\mathrm{v}\left(j\right)\right|\hfill \\ & \le \frac{\epsilon }{3}+{\displaystyle \sum _{\left|j\right|>h}}\left|F(j,w(j\left)\right)\mathrm{v}\left(j\right)\right|+{\displaystyle \sum _{\left|j\right|>h}}\left|F(j,\mathrm{u}(j\left)\right)\mathrm{v}\left(j\right)\right|\hfill \\ & \le \frac{\epsilon }{3}+{\displaystyle \sum _{\left|j\right|>h}}{\left|w\left(j\right)\right|}^{p-1}\left|\mathrm{v}\left(j\right)\right|+{\displaystyle \sum _{\left|j\right|>h}}{\left|\mathrm{u}\left(j\right)\right|}^{p-1}\left|\mathrm{v}\left(j\right)\right|\hfill \\ & \le \frac{\epsilon }{3}+\frac{1}{{\mathrm{V}}_0}\left({\left({\displaystyle \sum _{\left|j\right|>h}}{\left|w\left(j\right)\right|}^p\right)}^{\frac{1}{q}}+{\left({\displaystyle \sum _{\left|j\right|>h}}{\left|\mathrm{u}\left(j\right)\right|}^p\right)}^{\frac{1}{q}}\right){\left({\displaystyle \sum _{\left|j\right|>h}}{\left|\mathrm{v}\left(j\right)\right|}^p\right)}^{\frac{1}{q}}\hfill \\ & <\frac{\epsilon }{3}+\frac{1}{{\mathrm{V}}_0}\left({\left(2R\right)}^{p-1}+R^{p-1}\right)\frac{\epsilon }{6{\mathrm{V}}_0{\left(2R\right)}^{p-1}}<\epsilon .\hfill \end{array}$$

Hence, (12) holds. So J is Gâteaux differentiable.

Next, similar to Lemma 4, we can prove that $\mathrm{J}\in C^1(\mathrm{W},\mathbb{R})$, combining Lemmas 4 and 5, we see that ${\mathrm{I}}_{\lambda }\in C^1(\mathrm{W},\mathbb{R}).$ □

Lemma 6. 

If conditions $\left(\mathrm{V}\right)$ and $\left({\mathrm{f}}_1\right)$ hold, $1<q<p<\infty$, then the critical point of ${\mathrm{I}}_{\lambda }$ is a homoclinic solution of Equation (4) for all $\lambda >0.$

Proof. 

Suppose that $\mathrm{u}\in \mathrm{W}$ is a critical point of ${\mathrm{I}}_{\lambda }$, that is, ${\mathrm{I}}_{\lambda }^{\prime }\left(\mathrm{u}\right)=0$. Then

$$\begin{array}{c}{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right))(\mathrm{v}\left(j\right)-\mathrm{v}\left(m\right))K_{s,p}(j-m)\\ +{\displaystyle \sum _{j\in \mathbb{Z}}}{\mathrm{V}\left(j\right)\left|\mathrm{u}\left(j\right)\right|}^{p-2}\mathrm{u}\left(j\right)\mathrm{v}\left(j\right)=\lambda {\displaystyle \sum _{j\in \mathbb{Z}}}f(j,\mathrm{u}\left(j\right))\mathrm{v}\left(j\right))\end{array}$$

(13)

for all $\mathrm{v}\in \mathrm{W}$. For each $k\in \mathbb{Z}$, we define $e_k$ as

$$e_k\left(j\right)={\delta }_{kj}:=\left\{\begin{array}{c}l,j=k\\ 0,j\ne k.\end{array}\right.$$

Obviously, $e_k\in \mathrm{W}$. Choosing $\mathrm{v}=e_k$ in (13), we get

$$p{\displaystyle \sum _{j=k}}{|\mathrm{u}\left(k\right)-\mathrm{u}\left(j\right)|}^{p-2}(\mathrm{u}\left(k\right)-\mathrm{u}\left(j\right))K_{sp}(k-j)+\mathrm{V}\left(k\right){\left|\mathrm{u}\left(k\right)\right|}^{p-2}\mathrm{u}\left(k\right)=\lambda f(k,\mathrm{u}\left(k\right)),$$

which implies that $\mathrm{u}$ is a solution of (4). Furthermore, according to $\mathrm{u}\in \mathrm{W}$ and Lemma 2, we can easily infer that $\mathrm{u}\left(k\right)\to 0$ as $\left|k\right|\to \infty$. Hence $\mathrm{u}$ is a homoclinic solution of (4). □

Next, we employ the general mountain pass lemma (see [33]) to prove our main result. we first verify that the functional ${\mathrm{I}}_{\lambda }$ possesses the mountain pass geometry.

Lemma 7. 

If conditions (V) and $\left({\mathrm{f}}_1\right)-\left({\mathrm{f}}_4\right)$ hold and

$$\lambda >\frac{{\left|b_0\right|}^p}{pF(h_0,b_0)}\left(p{C}_{s,p}{\displaystyle \sum _{m\ne h_0}}\frac{1}{{\left|h_0-m\right|}^{1+ps}}+\mathrm{V}\left(h_0\right)\right),$$

then the functional ${\mathrm{I}}_{\lambda }$ fulfills the mountain pass geometry.

Proof. 

On the one hand, according to $\left(f_1\right),$ for any $0<\epsilon <\frac{{\mathrm{V}}_0}{p\lambda }$ there exists $\delta >0$ such that

$$F(j,t)\le \frac{\epsilon }{p}{\left|t\right|}^p\mathrm{for}\mathrm{all}\left|t\right|<\delta \mathrm{and}j\in \mathbb{Z}$$

Since ${∥\mathrm{u}∥}_{\infty }\le {∥\mathrm{u}∥}_p$, we can find $0<\omega <{\left|b_0\right|}^{p-1}\mathrm{V}{\left(h_0\right)}^{\frac{1}{p}}$ such that ${∥\mathrm{u}∥}_{\infty }<$$\delta$ for all $\mathrm{u}\in \mathrm{W}$ with $∥\mathrm{u}∥=\omega .$ Here, $h_0$ and $b_0$ come from assumption $\left(f_4\right).$ Then

$$\begin{array}{cc}{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)& =\mathsf{\Psi }\left(\mathrm{u}\right)-\lambda \mathrm{J}\left(\mathrm{u}\right)\ge \frac{{∥\mathrm{u}∥}^p}{p}-\lambda \epsilon {∥\mathrm{u}∥}^p\hfill \\ & \ge (\frac{1}{p}-\frac{\lambda \epsilon }{{\mathrm{V}}_0}){∥\mathrm{u}∥}^p\ge (\frac{1}{p}-\frac{\lambda \epsilon }{{\mathrm{V}}_0}){\omega }^p>0.\hfill \end{array}$$

On the other hand, set $e=b_0{e}_{h_0}\left(j\right)$ and $e_{h_0}\left(j\right)=1$ if $j=h_0;e_{h_0}\left(j\right)=0$ if $j\ne h_0.$ Then $∥e∥={\left|b_0\right|}^{p-1}\mathrm{V}{\left(h_0\right)}^{\frac{1}{p}}>\omega$ and

$$\begin{array}{cc}{\mathrm{I}}_{\lambda }\left(e\right)& =\frac{1}{p}{\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\ne j}}{|e\left(j\right)-e\left(m\right)|}^p{K}_{s,p}(j-m)+\frac{1}{p}{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|e\left(j\right)\right|}^p-\lambda {\displaystyle \sum _{j\in \mathbb{Z}}}F(j,e\left(j\right))\hfill \\ & =\frac{{\left|b_0\right|}^p}{p}\left(p{\displaystyle \sum _{m\ne h_0}}\right|K_{s,p}(j-m)+\mathrm{V}\left(h_0\right))-\lambda F(h_0,b_0)\hfill \\ & \le \frac{{\left|b_0\right|}^p}{p}\left(p{C}_{s,p}{\displaystyle \sum _{m\ne h_0}}\right|\frac{1}{{\left|h_0-m\right|}^{1+ps}}+\mathrm{V}\left(h_0\right))-\lambda F(h_0,b_0)<0\hfill \end{array}$$

for all

$$\lambda >\frac{{\left|b_0\right|}^p\left(p{C}_{s,p}{\sum }_{m\ne h_0}\frac{1}{{\left|h_0-m\right|}^{1+ps}}+\mathrm{V}\left(h_0\right)\right)}{pF(h_0,b_0)}.$$

Therefore, the functional ${\mathrm{I}}_{\lambda }$ fulfills the mountain pass geometry. □

Lemma 8. 

If conditions (V) and $\left({\mathrm{f}}_1\right)-\left({\mathrm{f}}_3\right)$ hold, then for all $\lambda >0$, the functional ${\mathrm{I}}_{\lambda }$ fulfills the ${\left(PS\right)}_c$ condition in $\mathrm{W}$ for all $c\in \mathbb{R}$ (see [21]).

Proof. 

Fix $\lambda >0,$ we first show that ${\mathrm{I}}_{\lambda }$ is coercive on $\mathrm{W}$, i.e., ${lim}_{∥\mathrm{u}∥\to \infty }{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)=+\infty .$

By condition $\left({\mathrm{f}}_3\right),$ for all $\epsilon \in (0,\frac{{\mathrm{V}}_0}{p\lambda })$, there exists $T>0$ such that

$$F(j,t)\le \epsilon {\left|t\right|}^p\mathrm{for}\mathrm{all}j\in \mathbb{Z}\mathrm{and}\left|t\right|>T.$$

Again by $\left(f_2\right)$, there exists $\theta \in {\ell }^1$ such that

$$\left|F(j,t)\right|\le \theta \left(j\right)\mathrm{for}\mathrm{all}j\in \mathbb{Z}\mathrm{and}\left|t\right|\le T.$$

For all $\mathrm{u}\in \mathrm{W}$, we have

$$\begin{array}{cc}{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)& =\mathsf{\Psi }\left(\mathrm{u}\right)-\lambda J\left(\mathrm{u}\right)\ge \frac{{∥\mathrm{u}∥}^p}{p}-\lambda {\displaystyle \sum _{\left|\mathrm{u}\left(j\right)\right|\le T}}F(j,\mathrm{u}\left(j\right))-\lambda {\displaystyle \sum _{\left|\mathrm{u}\left(j\right)\right|>T}}F(j,\mathrm{u}\left(j\right))\hfill \\ & \ge \frac{{∥\mathrm{u}∥}^p}{p}-\lambda {∥\theta ∥}_1-\lambda \epsilon {∥\mathrm{u}∥}_p^p\ge (\frac{1}{p}-\frac{\lambda \epsilon }{{\mathrm{V}}_0}){∥\mathrm{u}∥}^p-\lambda {∥\theta ∥}_1,\hfill \end{array}$$

(14)

which denotes that coerciveness is valid. Next we prove that ${\mathrm{I}}_{\lambda }$ fulfills $\left(PS\right)c$ condition. Let ${\left\{{\mathrm{u}}_n\right\}}_n$ be a sequence in $\mathrm{W}$ such that ${\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)\to c$ and ${\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_n\right)\to 0$ in ${\mathrm{W}}^{*}$. Because ${\left\{{\mathrm{u}}_n\right\}}_n$ is bounded due to the coercivity of ${\mathrm{I}}_{\lambda }$, consequently, by Lemma 2, there is a subsequence of ${\left\{{\mathrm{u}}_n\right\}}_n$, still denoted by ${\left\{{\mathrm{u}}_n\right\}}_n$, such that ${\mathrm{u}}_n\rightharpoonup \mathrm{u}$ in $\mathrm{W}$ and ${\mathrm{u}}_n\to \mathrm{u}$ in ${\ell }^p$. Then

$${\displaystyle \underset{n\to \infty }{lim}}⟨{\mathrm{I}}_{\lambda }^{\prime }({\mathrm{u}}_n-{\mathrm{I}}_{\lambda }^{\prime }\left(\mathrm{u}\right),{\mathrm{u}}_n-\mathrm{u})⟩=0.$$

(15)

Similar to Lemma 5, it is obvious that

$${\displaystyle \underset{n\to \infty }{lim}}{\displaystyle \sum _{j\in \mathbb{Z}}}\left(f\right(j,{\mathrm{u}}_n\left(j\right)-f(j,\mathrm{u}\left(j\right))({\mathrm{u}}_n\left(j\right)-\mathrm{u}\left(j\right))=0.$$

Combining (15), we know that $∥{\mathrm{u}}_n-\mathrm{u}∥\to 0$, i.e., ${\mathrm{u}}_n\to \mathrm{u}$ in $\mathrm{W}$. □

3. Proof of Main Result

Proof of Theorem 1. 

By Lemmas 7 and 8 and mountain pass lemma, we have that for all

$$\lambda >\frac{{\left|b_0\right|}^p(p{C}_{s,p}{\sum }_{m\ne h_0}\frac{1}{{\left|h_0-m\right|}^{1+2s}}+\mathrm{V}\left(h_0\right))}{pF(h_0,b_0)},$$

there exists a sequence ${\left\{{\mathrm{u}}_n\right\}}_n\subset \mathrm{W}$ such that

$${\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)\to c_{\lambda }>0\mathrm{and}{\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_n\right)\to 0,\mathrm{as}n\to \infty ,$$

where

$$c_{\lambda }={\displaystyle \underset{\gamma \in \Gamma }{inf}}{\displaystyle \underset{0\le t\le 1}{max}}{\mathrm{I}}_{\lambda }\left(\gamma \left(t\right)\right)$$

and $\Gamma =\gamma \in \left(\right[0,1],X):\gamma \left(0\right)=1,\gamma \left(1\right)=e.$

So there exists a subsequence of ${\left\{{\mathrm{u}}_n\right\}}_n$ (still denoted by ${\left\{{\mathrm{u}}_n\right\}}_n$ ) such that ${\mathrm{u}}_n\to {\mathrm{u}}_{\lambda }^{\left(1\right)}$ strongly in $\mathrm{W}$. Furthermore, ${\mathrm{I}}_{\lambda }\left({\mathrm{u}}_{\lambda }^{\left(1\right)}\right)=\alpha \ge 0$ and ${\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_{\lambda }^{\left(1\right)}\right)=0.$ Hence, Lemma 6 implies that ${\mathrm{u}}_{\lambda }^{\left(1\right)}$ is a homoclinic solution of (4).

Next we prove that Equation (4) has another homoclinic solution. Choose $\omega \in \mathbb{R}$ such that ${\mathrm{I}}_{\lambda }\left(e\right)<\omega <0$, where e is given by Lemma 7. Set

$$M=\left\{\mathrm{u}\in \mathrm{W}:{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)\le \omega \right\}.$$

It is clear that M$\ne 0$. It follows from (14) that M is a bounded subset in $\mathrm{W}$.

Now we infer that ${\mathrm{I}}_{\lambda }$ is bounded below on M. If not, we suppose that there exists a sequence ${\left\{{\mathrm{u}}_n\right\}}_n\subset M$ such that

$${\displaystyle \underset{n\to \infty }{lim}}{\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)=-\infty .$$

(16)

Since ${\left\{{\mathrm{u}}_n\right\}}_n$ is bounded, up to a subsequence, we have ${\mathrm{u}}_n\rightharpoonup \mathrm{u}$ in $\mathrm{W}$ and ${\mathrm{u}}_n\to \mathrm{u}$ in ${\ell }^p$. Similar to Lemma 5, we know that $\mathrm{J}$ is continuous in ${\ell }^p$. We obtain that $\mathsf{\Psi }$ is weakly lower semi-continuous in $\mathrm{W}$ thanks to the convexity of $\mathsf{\Psi }$. Thus,

$${\displaystyle \underset{n\to \infty }{lim}}inf{\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)\ge {\mathrm{I}}_{\lambda }\left(\mathrm{u}\right)>-\infty ,$$

which contradicts (16). So we can define

$$c_{\lambda }^{\sim }=inf\left\{{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right):\mathrm{u}\in M\right\}={\displaystyle \underset{\mathrm{W}}{inf}}{\mathrm{I}}_{\lambda }\left(\mathrm{u}\right).$$

Then $c_{\lambda }^{\sim }<0$ for all $\lambda >0$. On basis of Lemma 7 and the Ekeland variational principle, applied in $M,$ there exists a sequence ${\left\{{\mathrm{u}}_n\right\}}_n$ such that

$$c_{\lambda }^{\sim }\le {\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)\le c_{\lambda }^{\sim }+\frac{1}{n}$$

(17)

and

$${\mathrm{I}}_{\lambda }\left(\upsilon \right)\ge {\mathrm{I}}_{\lambda }\left({\mathrm{u}}_n\right)-\frac{∥{\mathrm{u}}_n-\upsilon ∥}{n}$$

(18)

for all $\upsilon$$\in M$.

It is clear that ${\left\{{\mathrm{u}}_n\right\}}_n$ is a ${\left(PS\right)}_{c_{\lambda }^{\sim }}$ sequence for the functional ${\mathrm{I}}_{\lambda }$. Similar to Lemma 8, there exists a subsequence of ${\left\{{\mathrm{u}}_n\right\}}_n$ (still denoted by ${\left\{{\mathrm{u}}_n\right\}}_n$) such that ${\mathrm{u}}_n\to {\mathrm{u}}_{\lambda }^{\left(2\right)}$ in $\mathrm{W}$. So, we get a nontrivial homoclinic solution ${\mathrm{u}}_{\lambda }^{\left(2\right)}$ of Equation (4) fulfilling

$${\mathrm{I}}_{\lambda }\left({\mathrm{u}}_{\lambda }^{\left(2\right)}\right)\le \omega <0.$$

Furthermore, we have

$${\mathrm{I}}_{\lambda }\left({\mathrm{u}}_{\lambda }^{\left(2\right)}\right)=c_{\lambda }^{\sim }\le \omega <0<\alpha <c_{\lambda }={\mathrm{I}}_{\lambda }\left({\mathrm{u}}_{\lambda }^{\left(1\right)}\right)$$

for all

$$\lambda >\frac{{\left|b_0\right|}^p\left(p{C}_{s,p}{\sum }_{m\ne h_0}\frac{1}{{\left|h_0-m\right|}^{1+2s}}+\mathrm{V}\left(h_0\right)\right)}{pF(h_0,b_0)}.$$

Therefore, Equation (4) has at least two nontrivial homoclinic solutions.

Finally, we show that all critical points of the functional ${\mathrm{I}}_{\lambda }$ are nonnegative. Let $\mathrm{u}\in \mathrm{W}\backslash \left\{0\right\}$ be a critical point of ${\mathrm{I}}_{\lambda }$. Then, ${\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_n\right)=0$ and ${\mathrm{u}}_k\to 0$ as $\left|k\right|\to \infty .$ Let ${\mathrm{u}}^{+}=$ $\max \{\mathrm{u},0\}$ and ${\mathrm{u}}^{-}=$ $\max \{-\mathrm{u},0\}.$ We have $⟨{\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_n\right),-{\mathrm{u}}^{-}⟩=0,$ due to ${\mathrm{I}}_{\lambda }^{\prime }\left({\mathrm{u}}_n\right)=0.$ It follows from $f(k,t)=0$ for all $k\in \mathbb{Z},$$t\le 0$ that

$${\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(-{\mathrm{u}}^{-}\left(j\right)+{\mathrm{u}}^{-}\left(m\right))K_{s,p}(j-m)+{\displaystyle \sum _{j\in \mathbb{Z}}}\mathrm{V}\left(j\right){\left|\mathrm{u}\left(j\right)\right|}^{p-2}(-{\mathrm{u}}^{-}\left(j\right))=0,$$

which implies that

$${\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|\mathrm{u}\left(j\right)-\mathrm{u}\left(m\right)|}^{p-2}(-{\mathrm{u}}^{-}\left(j\right)+{\mathrm{u}}^{-}\left(m\right))K_{s,p}(j-m)\le 0.$$

We know that for all $j,$$m\in \mathbb{Z}$,

$${\displaystyle \sum _{j\in \mathbb{Z}}}{\displaystyle \sum _{m\in \mathbb{Z}}}{|{\mathrm{u}}^{-}\left(j\right)-{\mathrm{u}}^{-}\left(m\right)|}^p{K}_{s,p}(j-m)\le 0,$$

which means that ${\mathrm{u}}^{-}\left(j\right)={\mathrm{u}}^{-}\left(m\right)$ for all $j,$$m\in \mathbb{Z}.$ By virtue of ${\mathrm{u}}_k\to 0$ and ${\mathrm{u}}^{-}\left(k\right)\le \left|\mathrm{u}\left(k\right)\right|,$ we get that $C=0$. Hence, we infer that ${\mathrm{u}}^{-}\left(k\right)=0,$ which ends the proof. □

4. Conclusions

Lemmas 1–3 are important contents needed for functional estimation; Lemmas 4 and 5 are important conclusions to ensure the continuous differentiability of functional; Lemma 6 shows that the critical point of functional is a homoclinic solution of Equation (4) for all $\lambda >0.$; Lemmas 7 and 8 verify the mountain pass geometry and (PS) conditions respectively. Finally, in combination with Ekeland’s variational principle, we get two homoclinic solutions. In future studies, we can consider the case of variable order and variable exponent. See for more details (see [34,35,36]).