- Research
- Open access
- Published:
Infinitely many homoclinic solutions for fractional discrete Kirchhoff–Schrödinger equations
Advances in Continuous and Discrete Models volume 2023, Article number: 31 (2023)
Abstract
In the present paper, we consider a fractional discrete Schrödinger equation with Kirchhoff term. Through the fountain theorem and the dual fountain theorem, we obtain two different conclusions about infinitely many homoclinic solutions to this equation.
1 Introduction and main results
The fractional Laplace operator as a classical nonlocal operator has many applications in many fields of mathematics, such as harmonic analysis, finance, game theory, and so on. Especially, it has become a popular research object in partial differential equations in the past decade. The definition of the fractional Laplace operator in \(\mathbb{R}^{N}\) for \(0< s<1\) and \(\mu \in C_{0}^{\infty}(\mathbb{R}^{N})\) is given as follows:
where \(C_{N,s}>0\) is an explicit constant, and \(P.V\). denotes the Cauchy principle value; see [16]. As far as we know, the Lévy process is one of the most classical applications of this type of operator, see [5, 23] and their references. There are many studies devoted to replacing the Laplacian with the fractional Laplacian or other more general calculus operators, and these results can better describe various phenomena in nature compared with the previous ones; we refer to [6, 10, 13, 16, 36].
In particular, numerical approximation of the fractional Laplace operator is becoming very tricky because of its nonlocality and singularity, which makes it necessary to exploit more effective approaches to investigate the existence of solutions; see, e.g., [1, 12, 19, 22] and references therein.
Let
where \(\mathcal{G}>0\) is a fixed positive constant. Ciaurri et al. [15] gave a definition of the fractional discrete Laplace operator on \(\mathbb{Z}_{\mathcal{G}}\) as
where \(0< s<1\), \(\mu \in \ell _{s}\), and
The kernel \(K_{s}^{\mathcal{G}}(\zeta )\) has the following property:
where \(0< c_{s} \leq C_{s}\) are two constants. Let \(\Delta _{\mathcal{G}}\) be the discrete Laplace operator on \(\mathbb{Z}_{\mathcal{G}}\) defined as
Furthermore, if μ is bounded, then \(\lim_{s \to 1^{-}}(-\Delta _{\mathcal{G}})^{s}\mu (\zeta )=-\Delta _{ \mathcal{G}}\mu (\zeta )\). Ciaurri et al. also proved that the fractional discrete Laplacian can approximate the fractional Laplacian as \(\mathcal{G}\to 0\) under certain conditions.
Next, we elaborate some results of different fractional discrete Laplacian equations through several references. Xiang and Zhang [33] studied the following discrete fractional Laplacian equation:
where
\(V:\mathbb{Z}\to (0,\infty )\), \(\lambda >0\), and \(f(\zeta ,\cdot )\in C(\mathbb{R},\mathbb{R})\) for all \(\zeta \in \mathbb{Z}\). They obtained at least two homoclinic solutions of Eq. (1.1) by the mountain pass theorem and Ekeland’s variational principle under appropriate assumptions. Ju et al. [21] investigated the following discrete fractional p-Laplacian equation:
where \((-\Delta _{1})^{s}_{p}\) is the fractional discrete p-Laplace operator (defined later), \(V:\mathbb{Z}\to (0,\infty )\), \(\lambda >0\), \(1< q< p< r<\infty \), \(a\in \ell ^{\frac{p}{p-q}}\), and \(b\in \ell ^{\infty}\). They detected at least two homoclinic solutions of Eq. (1.2) via the Nehari manifold method under suitable hypotheses. Using different kinds of Clark’s theorem, Ju and Zhang [20] gained multiple solutions of fractional discrete Laplacian equations with different nonlinear terms. Through the results of the above literature, we know that Eq. (1.1) can be reduced to the well-known discrete form of Schrödinger equation
Agarwal et al. [2] first studied a discrete Laplacian equation similar to (1.3) by variational methods. There are a number of recent papers that use critical point theory to study second-order difference equations; see [24–26, 28, 37]. At the same time, we note that the Kirchhoff–type problems have attracted wide attention in recent years. Specifically, Kirchhoff built a well-known model via the following equation:
where ρ, \(p_{0}\), h, E, and L are constants with some physical background. Equation (1.4) is regarded as an extension of the classical D’Alembert wave equation. Fiscella and Valdinoci [18] deduced a continuous expression of the fractional Kirchhoff model. Since then, there have been a lot of papers considering qualitative properties of solutions for Kirchhoff–type fractional Laplacian problems; see, e.g., [4, 11, 29–32, 34, 35]. To the beest of our knowledge, there are no results on the existence of solutions for Kirchhoff-type fractional discrete Laplacian problems.
In the present paper, we use the fountain theorem and the dual fountain theorem to investigate the multiplicity of homoclinic solutions for the following fractional discrete Kirchhoff–Schrödinger equation:
where
\(a, b>0\) and \(0< s<1<p<\infty \) are constants, \(V(\kappa ): \mathbb{Z} \to \mathbb{R}^{+}\), \(f(\kappa ,\cdot )\in C(\mathbb{R},\mathbb{R})\) for all \(\kappa \in \mathbb{Z}\), and the fractional discrete p-Laplace operator \((-\Delta _{1})^{s}_{p}\) is defined as
with discrete kernel \(K_{s,p}\) such that
where \(0< c_{s,p}\le C_{s,p}\) are two positive constants.
Note that the operator \((-\Delta _{1})^{s}_{p}\) goes back to \((-\Delta _{1})^{s}\) with \(p=2\). The counting measure of interval \(\mathcal{T}\) is denoted by \(\mathcal{M}(\mathcal{T})\). The neighborhood in \(\mathbb{Z}\) with center δ and radius γ is denoted by \(U_{\gamma}(\delta )\). If \(\mu (i)\to 0\) as \(|i|\to \infty \), then we call the solution μ of problem (1.5) homoclinic. Assume that \(V(\kappa ): \mathbb{Z} \to \mathbb{R}^{+}\) and \(f(\kappa ,\cdot )\in C(\mathbb{R},\mathbb{R})\) for all \(\kappa \in \mathbb{Z}\) satisfies:
- \((V_{1})\):
-
\(V_{0}\) is a positive constant such that \(V(\kappa ) \ge V_{0}\) for all \(\kappa \in \mathbb{Z}\);
- \((V_{2})\):
-
For all \(\sigma >0\), there is a positive integer γ such that \(\lim_{|\delta | \to \infty} \mathcal{M}( \{\kappa \in \mathbb{Z} | V(\kappa ) \le \sigma \} \cap U_{\gamma}(\delta ))=0\);
- \((f_{1})\):
-
\(\vert f(\kappa ,\mu ) \vert \le C ( \vert \mu \vert ^{p-1}+ \vert \mu \vert ^{q-1} )\) for any \(\kappa \in \mathbb{Z}\) and \(\mu \in \mathbb{R}\), where C is a positive constant, and \(p< q<\infty \);
- \((f_{2})\):
-
\(\lim_{|\mu | \to \infty} \frac{F(\kappa ,\mu )}{\mu ^{2p}} = + \infty \) uniformly for all \(\kappa \in \mathbb{Z}\), where \(F(\kappa , \mu )=\int _{0}^{\mu}f(\kappa ,\zeta )\,d\zeta \);
- \((f_{3})\):
-
There exist \(R>0\), \(\varphi \ge 2p\), and \(\alpha \ge 0\) such that \(F(\kappa ,\mu ) \le \frac{1}{\varphi}f(\kappa ,\mu )\mu +\alpha | \mu |^{p}+\varpi (\kappa )\) for all \(\kappa \in \mathbb{Z}\) and \(\mu \ge R\), where \(\varpi \in \ell ^{1}\cap \ell ^{\infty}\) and \(\varpi \ge 0\) (\(\ell ^{1}\) and \(\ell ^{\infty}\) are defined in Sect. 2);
- \((f_{4})\):
-
\(f(\kappa ,\mu )\) is odd in μ.
Assumption \((V_{2})\) is weaker than the coercivity, and the former is a discrete version of the continuous form proposed by Bartsch and Wang [8] to overcome the lack of compactness. Moreover, hypothesis \((f_{3})\) is weaker than the general Ambrosetti–Rabinowitz condition [3]
- \((AR)\):
-
For any \(\kappa \in \mathbb{Z}\) and \(\mu \ge R\),
$$ 0< \varphi F(\kappa ,\mu )\le f(\kappa ,\mu )\mu . $$
We give the following example satisfying \((f_{1})\)–\((f_{4})\).
Example 1.1
where \(\mathcal{R}\in \mathbb{R}\) and \(\mathcal{T}>0\) are two constants.
Now we state the following main results by the fountain theorem and the dual fountain theorem. The space E and functional J will be defined in Sect. 2.
Theorem 1.1
Assume that \((V_{1})\)–\((V_{2})\) and \((f_{1} )\)–\((f_{4} )\) are satisfied. Then problem (1.5) possesses infinitely many nontrivial homoclinic solutions \(\{\mu _{n}\}\subset E\) with energy \(J(\mu _{n})\to \infty \) as \(n\to \infty \).
Theorem 1.2
Assume that \((V_{1})\)–\((V_{2})\) and \((f_{1} )\)–\((f_{4} )\) are satisfied. Then problem (1.5) possesses infinitely many nontrivial homoclinic solutions \(\{\mu _{n}\}\subset E\) with energy \(J(\mu _{n})<0\) such that \(J(\mu _{n})\to 0\) as \(n\to \infty \).
Remark 1.1
We briefly summarize the highlights of this paper:
- \((\mathfrak{a})\):
-
The fractional discrete Schrödinger equations with Kirchhoff term is discussed for the first time.
- \((\mathfrak{b})\):
-
Under the same hypotheses, Theorems 1.1 and 1.2 acquire two sequences of diverse homoclinic solutions for Eq. (1.5).
- \((\mathfrak{c})\):
-
The fountain theorem and the dual fountain theorem are used for the first time to study fractional discrete Kirchhoff–Schrödinger equations.
Ultimately, we point out that the case of concave and convex nonlinearities \(f(\xi ,\mu )=|\mu (\xi )|^{r-2}\mu (\xi )+|\mu (\xi )|^{t-2}\mu ( \xi )\) with \(1< r< p<2p<t<\infty \), as a classical application of the fountain theorem in a bounded domain (see, e.g., [34]), is not covered by Theorems 1.1 and 1.2, because the compact embedding is not valid when \(1< r< p\) (the compact embedding lemma is introduced in Sect. 2). Also, we point out that the case of \(f(\xi ,\mu (\xi ))=c(\xi )|\mu (\xi )|^{r-2}\mu (\xi )+d(\xi )|\mu ( \xi )|^{t-2}\mu (\xi )\) with \(1< r< p< t<\infty \), as the nonlinearity of a non-Kirchhoff-type fractional discrete p-Laplacian problem, has been investigated by a new version of Clark’s theorem presented by Liu and Wang [27]. However, the excessive limitations of the coefficients \(c(\xi )\) and \(d(\xi )\) make the obtained result imperfect. Therefore, how to solve Eq. (1.5) with combined effect of concave and convex nonlinearities in the Kirchhoff setting by a new approach is an interesting problem, which we will investigate in the near future.
The rest of this paper consists of the following: Sect. 2 presents the variational structure of Eq. (1.5). Section 3 verifies the compactness condition and describes the related lemmas used later. Section 4 proves infinite solutions to problem (1.5) through the fountain theorem [7]. Section 5 is devoted to verifying the existence of infinitely many homoclinic solutions to problem (1.5) via the dual fountain theorem [9].
2 Variational framework
First, we revisit some fundamental definitions.
For \(1\le \varrho <\infty \), the space \((\ell ^{\varrho}, \Vert \cdot \Vert _{\varrho} )\) is defined as
In addition, the space \((\ell ^{\infty}, \Vert \cdot \Vert _{\infty} )\) is defined as
By the corresponding results in [17] the spaces \((\ell ^{\varrho}, \Vert \cdot \Vert _{\varrho} )\) and \((\ell ^{\infty}, \Vert \cdot \Vert _{\infty} )\) are Banach spaces. Evidently, \(\ell ^{\varrho _{1}} \hookrightarrow \ell ^{\varrho _{2}}\) if \(1 \leq \varrho _{1} \leq \varrho _{2} \leq \infty \).
Now we present a variational framework and relevant theorems to study Eq. (1.5). Set
The norm of space E is given by
Lemma 2.1
(See [21])
\(\psi \in \ell ^{\sigma}\Rightarrow [\psi ]_{s,\sigma}<\infty \). Besides, \([\psi ]_{s,\sigma} \leq C(s,\sigma )\|\psi \|_{\sigma}\) for all \(\psi \in \ell ^{\sigma}\), where \(C(s,\sigma )\) is a positive constant.
Lemma 2.2
Suppose that \((V_{1})\) is satisfied. Then there is the following equivalent norm in \((E, \Vert \cdot \Vert _{E} )\):
Besides, \((E, \Vert \cdot \Vert )\) is a reflexive and separable Banach space.
Proof
For the proof of equivalent norm and Banach space, see [21]. For the proof of reflexivity, see [20]. Here we only give the proof of separability. Let
Then the set \(\mathcal{A}\) is countably infinite as a countably infinite union of countably infinite sets. Given any \(u\in E\) and any \(\varepsilon >0\), there exists \(n_{0}(u,\varepsilon )\ge 1\) such that
For \(1\le i\le n_{0}\), there exists \(v(i)\in \mathbb{Q}\) such that
By (2.1) and (2.2) we know that \(v(i)\in \mathcal{A}\) and \(\Vert v-u \Vert \le \varepsilon \). So \(\mathcal{A}\) is dense in E. This proves the separability of E. □
Lemma 2.3
(See [20])
Suppose that \((V_{1})\)–\((V_{2})\) are satisfied, then for all \(p\le \iota \le \infty \), the embedding \(E\hookrightarrow \ell ^{\iota}\) is compact.
Lemma 2.4
(See [21])
Let \(\mathcal{D}\subset E\) be a compact subset. Then for all \(\theta >0\), there is \(\tau _{0}\in \mathbb{N}\) such that
Next, we define the energy functional \(J:E\to \mathbb{R}\) associated with problem (1.5) as
where
and
Lemma 2.5
Suppose that \((V_{1})\) is satisfied. Then \(A(\mu )\in C^{1}(E,\mathbb{R})\) with
for all \(\mu , \nu \in E\).
Proof
By Lemmas 2.1 and 2.3 we can easily deduce that A is well–defined on E. Fix \(\mu ,\nu \in E\). By an argument similar to that of [21] we have
and
By (2.3) we can derive that
With the help of (2.3), (2.4), and (2.5) we get
So A is Gâteaux differentiable.
Finally, we prove that \(A'\) is continuous. Let \(\lbrace \mu _{n} \rbrace _{n}\) is a sequence in E such that \(\mu _{n}\to \mu \) in E as \(n \to \infty \). For convenience, we denote \(\lambda (\mu )= \vert \mu \vert ^{p-2}\mu \). By Lemma 2.4 and Lemma 2.5 in [21] we can get that for any \(\varepsilon >0\),
and
as \(n\to \infty \), where C is a positive constant. From this we obtain that
as \(n\to \infty \). Therefore \(A(\mu )\in C^{1}(E,\mathbb{R})\). □
Lemma 2.6
Suppose that \((V_{1})\) and \((f_{1})\) are satisfied. Then \(B(\mu )\in C^{1}(E,\mathbb{R})\) with
for all \(\mu , \nu \in E\).
Proof
By \((f_{1})\) and Lemma 2.3 we have
where \(C_{1},C_{2},C_{p},C_{q}>0\) are constants. So B is well–defined on E. For given \(\mu ,\nu \in E\), we show that
The proof is analogous to that of Lemma 2.6 in [20]. We give it for the convenience of the reader.
Choose a positive constant W such that \(\Vert \mu \Vert \le W\) and \(\Vert \nu \Vert \le W\). For all \(\varepsilon >0\), there exists \(\kappa _{1}\in \mathbb{N}\) such that
Moreover, there is \(0<\tau _{0}<1\) such that for all \(0<\tau \le \tau _{0}\),
Fix \(0<\tau <\tau _{0}\). By the mean value theorem, for any \(|\zeta |\ge \kappa _{1}\), there is \(0\le \tau _{\zeta}\le \tau \) such that
Let \(\omega \in E\) and
Thus \(\Vert \omega \Vert \le \Vert \mu \Vert + \Vert \nu \Vert \le 2W\). Hence by the Hölder inequality, (2.7), (2.8), (2.9), Lemma 2.3, and \((f_{1})\) we get
Thus (2.6) is established, and hence B is Gâteaux differentiable.
Eventually, we verify the continuity of \(B'\). Assume that \(\mu _{n}\to \mu \) in E as \(n \to \infty \). Then by Lemma 2.3 we know that \(\mu _{n}(\xi )\to \mu (\xi )\) for all \(\xi \in \mathbb{Z}\). By Lemma 2.4 there exists \(\kappa _{2}\in \mathbb{N}_{+}\) such that for small \(\varepsilon >0\),
and
In addition, we can derive that
From \((f_{1})\) we can get that
Besides, since \(\mu _{n}(\xi )\to \mu (\xi )\) for each \(\xi \in \mathbb{Z}\) as \(n\to \infty \), by the continuity of \(f(\xi ,\cdot )\) we have that there exists an integer \(n_{0}\) such that
By (2.10), (2.11), and the Hölder inequality, for any \(\nu \in E\) with \(\Vert \nu \Vert \le 1\) and \(n\ge n_{0}\), we get
Then \(B'(\mu _{n})\to B'(\mu )\) in \(E^{*}\) as \(n\to \infty \). Therefore we have verified that \(B(\mu )\in C^{1}(E, \mathbb{R})\). □
By Lemmas 2.5 and 2.6 we get \(J\in C^{1}(E,\mathbb{R})\).
Lemma 2.7
Assume that \((V_{1})\) and \((f_{1})\) are satisfied. If \(\mu \in E\) is a critical point of J, then μ is a homoclinic solution of Eq. (1.5).
Proof
Let \(\mu \in E\) be a critical point of J, i.e. \(J'(\mu )=0\). Then
for all \(\nu \in E\). For any \(\zeta \in \mathbb{Z}\), we define \(e_{\eta}\in E\) as
Letting \(\nu =e_{\eta}\) in (2.12), we obtain
Consequently, μ is a solution of Eq. (1.5). Additionally, by \(\mu \in E\) and Lemma 2.3 we easily get that \(\mu (\xi )\to 0\) as \(\vert \xi \vert \to \infty \). Eventually, we show μ is a homoclinic solution of Eq. (1.5). □
3 Auxiliary results
In this section, we recall some definitions, lemmas, and their proofs to reveal the main results.
By Lemma 2.2, E is a reflexive and separable Banach space. Then there are \(\lbrace e_{n} \rbrace \subset E\) and \(\lbrace f_{n}^{*} \rbrace \subset E^{*}\) such that
and
For brevity, we define \(E_{\kappa}=\operatorname{span}\{e_{\kappa}\}\), \(Y_{\kappa}=\bigoplus_{i=1}^{\kappa}E_{i}\), \(Z_{\kappa}=\overline{\bigoplus_{i=\kappa}^{\infty}E_{i}}\) for \(\kappa \in \mathbb{N}_{+}\).
Lemma 3.1
Suppose that \((V_{1})\) is satisfied. Then for all \(p\le q\le \infty \),
Proof
Obviously, \(0\le \beta _{\kappa +1}(q)\le \beta _{\kappa}(q)\), so there is \(\beta (q)\ge 0\) such that \(\beta _{\kappa}(q)\to \beta (q)\) as \(\kappa \to \infty \). For every \(\kappa \in \mathbb{N}_{+}\), there exists \(\mu _{\kappa}\in Z_{\kappa}\) with \(\Vert \mu _{\kappa} \Vert =1\) such that
By the definition of \(Z_{\kappa}\), Lemma 2.2, and the boundedness of \(\lbrace \mu _{\kappa} \rbrace \) there exists a subsequence of \(\lbrace \mu _{\kappa} \rbrace \) (still denoted by \(\lbrace \mu _{\kappa} \rbrace \)) such that \(\mu _{\kappa}\rightharpoonup \mu \) as \(\kappa \to \infty \) in E. Next, we show that \(\mu =0\). For any \(f_{m}^{*}\in \lbrace f_{n}^{*} |n=1,2,\ldots \rbrace \), we have
So \(\mu _{\kappa}\rightharpoonup 0\) in E. From Lemma 2.3 we know that \(\mu _{\kappa}\to 0\) in \(\ell ^{q}\). Let \(\kappa \to \infty \) in (3.1). Then we get \(\beta _{\kappa}(q)\to 0\). □
Next, we introduce the Cerami condition (\((C)\) for short), which is provided in [14]. Let E be a reflexive and separable Banach space. For \(J\in C^{1}(E,\mathbb{R})\), we say that J satisfies \((C)\) if any sequence \(\lbrace \mu _{n} \rbrace \subset E\) such that \(\lbrace J(\mu _{n}) \rbrace \) is bounded and \((1+ \Vert \mu _{n} \Vert ) \Vert J'(\mu _{n}) \Vert \to 0\) as \(n\to \infty \) includes a convergent subsequence. Then we introduce condition \((C)^{*}\) (with respect to \(Y_{n}\)). We say that J satisfies \((C)^{*}\) if any sequence \(\lbrace \mu _{n} \rbrace \subset E\) such that \(\mu _{n}\in Y_{n}\), \(\lbrace J(\mu _{n}) \rbrace \) is bounded, and \((1+ \Vert \mu _{n} \Vert ) \Vert J'|_{Y_{n}}(\mu _{n}) \Vert \to 0\) as \(n\to \infty \) contains a convergent subsequence. Clearly, condition \((C)^{*}\) implies condition \((C)\).
Lemma 3.2
Let \((V_{1})\)–\((V_{2})\) and \((f_{1} )\)–\((f_{3} )\) hold. Then the functional J satisfies condition \((C)^{*}\).
Proof
Suppose \(\lbrace \mu _{n} \rbrace \subset E\) is a \((C)^{*}\) sequence, that is, \(\mu _{n}\in Y_{n}\) for some n,
First, we prove that \(\lbrace \mu _{n} \rbrace \) is bounded in E. By contradiction assume that \(\Vert \mu _{n} \Vert \to \infty \) as \(n\to \infty \). Let \(\nu _{n}=\frac{\mu _{n}}{ \Vert \mu _{n} \Vert }\). By Lemmas 2.2 and 2.3, up to a subsequence (still denoted by \(\lbrace \nu _{n} \rbrace \)), we can get \(\nu _{n}\rightharpoonup \nu \) in E and \(\nu _{n}\to \nu \) in \(\ell ^{p}\). Consider two cases: \(\nu =0\) or \(\nu \ne 0\). If \(\nu =0\), then by Lemma 2.2, \((f_{1})\), \((f_{3})\), and (3.2), we obtain
where \(C_{E}>0\) is a constant. This is a contradiction. If \(\nu \ne 0\), then we set
For all \(\xi \in \Omega \), we have
From \((f_{2})\) we obtain
Together with the Fatou lemma, this means that
By \((f_{2})\) there exists \(S\in (0,1)\) such that
For fixed S, by \((f_{1})\) we have
With the help of (3.4) and (3.5), we acquire
By Lemma 2.3 from this inequality we have
By the definition of J and Lemma 2.2 there exists a positive constant \(C_{e}\) such that
Dividing both sides of this inequality by \(\Vert \mu _{n} \Vert ^{2p}\) and taking the limit as \(n\to \infty \), by (3.3) and (3.6) we deduce that
This is also a contradiction. So \(\lbrace \mu _{n} \rbrace \) is bounded in E.
Now we verify that \(\mu _{n}\to \mu \) in E. By the above discussion and Lemma 2.2, up to a subsequence (still denoted by \(\lbrace \mu _{n} \rbrace \)), we assume that \(\mu _{n}\rightharpoonup \mu \) in E. Because \(E= \overline{\operatorname{span} \lbrace e_{n} |n=1,2,\ldots \rbrace}= \overline{\bigcup_{n} Y_{n}}\), where \(Y_{n}\) are finite-dimensional spaces, we can choose \(\nu _{n}\in Y_{n}\) such that \(\nu _{n}\to \mu \) in E. Hence we acquire
Besides, by Lemma 2.3 we have
as \(n\to \infty \), and there is a function \(\vartheta \in \ell ^{p}\) such that
By \((f_{1})\), \(f(\kappa ,\cdot )\in C(\mathbb{R},\mathbb{R})\) for all \(\kappa \in \mathbb{Z}\), (3.8), (3.9), and Lebesgue’s dominated convergence theorem we have
and
as \(n\to \infty \). Combining (3.10) and (3.11), we infer that
Then we define the functional \(D(\mu ):E\to \mathbb{R}\) by
We claim that \(D(\mu )\) is a continuous linear functional. Indeed, by the Hölder inequality we obtain
We know from the above argument that
Restate the previous definition and set some new definitions:
Recall the fundamental inequality
where \(c_{p}\) and \(C_{p}\) are two positive constants depending only on p. By the fundamental inequality we can deduce that
where \(C_{f}\) is a positive constant. Together with (3.7), (3.12), (3.13), and (3.14), we can deduce that \(\Vert \mu _{n}-\mu \Vert _{E}\to 0\) as \(n\to \infty \) and get \(\mu _{n}\to \mu \) in E. So J satisfies condition \((C)^{*}\). □
4 Proof of Theorem 1.1
In this section, we use the fountain theorem to prove Theorem 1.1. Let us first recall this theorem.
Theorem 4.1
(See [7])
Let H be a Banach space, and let \(\Psi \in C^{1}(H,\mathbb{R})\) be an even functional. Assume that \(\forall \kappa \in \mathbb{N}\), \(\exists r_{\kappa}>\gamma _{\kappa}>0\) such that
- \((T_{1})\):
-
\(\inf \lbrace \Psi (\mu ) |\mu \in Z_{\kappa}, \Vert \mu \Vert _{H}=\gamma _{\kappa} \rbrace \to \infty \) as \(\kappa \to \infty \);
- \((T_{2})\):
-
\(\max \lbrace \Psi (\mu ) |\mu \in Y_{\kappa}, \Vert \mu \Vert _{H}=r_{\kappa} \rbrace \le 0\);
- \((T_{3})\):
-
Ψ satisfies condition \((C)\).
Then there exists \(\{\mu _{d}\}\subset H\) such that \(\Psi '(\mu _{d})=0\) and \(\Psi (\mu _{d})\to \infty \) as \(d\to \infty \).
Proof of Theorem 1.1
By Lemma 3.2 and the definition of J, J is even and satisfies \((T_{3})\). Next, we just need to verify conditions \((T_{1})\) and \((T_{2})\) of Theorem 4.1.
Verification of \((T_{1})\): For \(\mu \in Z_{\kappa}\), by \((f_{1})\) we get
In terms of Lemma 3.1, there is a sufficiently large \(m\in \mathbb{N}_{+}\) such that
Combining (4.1), (4.2), and Lemma 3.1, we obtain
where \(\kappa >m\) is large enough. Choose
Thanks to Lemma 3.1 and \(1< p< q\), it is easy to see that \(\gamma _{\kappa}\to \infty \) as \(\kappa \to \infty \). Together with (4.4) and (4.5), for any \(\mu \in Z_{\kappa}\) and \(\Vert \mu \Vert =\gamma _{\kappa}\), we have
as \(\kappa \to \infty \). Hence \((T_{1})\) is established.
Verification of \((T_{2})\): By the definition of \(Y_{\kappa}\) we know that \(Y_{\kappa}\) is finite-dimensional, so there exists a positive constant \(C_{F}\) such that
For \(M>\frac{bC_{F}}{2p}>0\), by \((f_{2})\) there exists \(L\in (0,1)\) such that
For fixed L, by \((f_{1})\), we obtain
With the help of (4.7) and (4.8), we acquire
For \(\mu \in Y_{\kappa}\), by Lemma 2.3, (4.6), and (4.9) we have
where \(C', C''>0\) are two constants. For any \(\mu \in Y_{\kappa}\) and \(\Vert \mu \Vert =r_{\kappa}\), we get
provided that \(r_{\kappa}>\gamma _{\kappa}>1\) are sufficiently large. Therefore \((T_{2})\) is proved.
By applying Lemma 2.7 and Theorem 4.1, we obtain that problem (1.5) possesses infinite nontrivial homoclinic solutions with unbounded energy. □
5 Proof of Theorem 1.2
In the last section, we show Theorem 1.2 with the aid of the dual fountain theorem, which is given below for the reader’s convenience.
Theorem 5.1
(See [9])
Let H be a Banach space, and let \(\Psi \in C^{1}(H,\mathbb{R})\) be an even functional. Assume that \(\forall \kappa \ge \kappa _{0}\), \(\exists r_{\kappa}>\gamma _{\kappa}>0\), such that
- \((D_{1})\):
-
\(\inf \lbrace \Psi (\mu ) |\mu \in Z_{\kappa}, \Vert \mu \Vert _{H}=r_{\kappa} \rbrace \ge 0\);
- \((D_{2})\):
-
\(a_{\kappa}:=\max \lbrace \Psi (\mu ) |\mu \in Y_{\kappa}, \Vert \mu \Vert _{H}=\gamma _{\kappa} \rbrace <0\);
- \((D_{3})\):
-
\(b_{\kappa}:=\inf \lbrace \Psi (\mu ) |\mu \in Z_{\kappa}, \Vert \mu \Vert _{H}\le r_{\kappa} \rbrace \to 0\) as \(\kappa \to \infty \);
- \((D_{4})\):
-
Ψ satisfies condition \((C)^{*}\).
Then there exists \(\{\mu _{d}\}\subset H\) such that \(\Psi '(\mu _{d})=0\), \(\Psi (\mu _{d})<0\), and \(\Psi (\mu _{d})\to 0\) as \(d\to \infty \).
Proof of Theorem 1.2
By Lemma 3.2 and the definition of J, J is even and satisfies \((D_{4})\). Next, we just need to verify conditions \((D_{1})\), \((D_{2})\), and \((D_{3})\) of Theorem 4.1.
Verification of \((D_{1})\): For \(\mu \in Z_{\kappa}\) and (4.3), we can choose
Clearly, by Lemma 3.1 we know that \(\lim_{\kappa \to \infty}r_{\kappa}=\infty \). Then there exists \(\kappa _{0}\in \mathbb{N}_{+}\) such that \(r_{\kappa}>1\) for \(\kappa \ge \kappa _{0}\). Letting \(\Vert \mu \Vert =r_{\kappa}\), by (4.3) we can derive that
So condition \((D_{1})\) is satisfied.
Verification of \((D_{2})\): For \(\mu \in Y_{\kappa}\) and (4.10), we can also find \(M>\frac{bC_{F}}{2p}>0\) large enough. Then we deduce that
Hence there exists \(1<\gamma _{\kappa}<\infty \) such that
Then we can find \(\kappa _{1}>\kappa _{0}\) such that \(r_{\kappa}>\gamma _{\kappa}>1\) for all \(\kappa \ge \kappa _{1}\). Hence we can conclude that \((D_{2})\) is fulfilled.
Verification of \((D_{3})\): By means of \(Y_{\kappa}\cap Z_{\kappa}\ne \emptyset \), \(1<\gamma _{\kappa}<r_{\kappa}\), and (5.3) we get
Therefore, for \(\nu \in Z_{\kappa}\) with \(\Vert \nu \Vert =1\), \(\mu =t\nu \) with \(0< t\le r_{\kappa}\), and (4.3), we obtain
Combining (5.4) and (5.5), we derive that
By Lemma 3.1 we know that \(b_{\kappa}\to 0\) as \(\kappa \to \infty \). Consequently, \((D_{3})\) also holds.
By means of Theorem 5.1 and Lemma 2.7 we get that Eq. (1.5) has infinitely many nontrivial homoclinic solutions with negative energy converging to 0. □
Availability of data and materials
Data sharing is not applicable to this paper as no datasets were generated or analyzed during the current study.
References
Acosta, G., Borthagaray, J.P.: A fractional Laplace equation: regularity of solutions and finite element approximations. SIAM J. Numer. Anal. 55, 472–495 (2017)
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)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Ansari, H., Vaezpour, S.M.: Existence and multiplicity of solutions for fourth-order elliptic Kirchhoff equations with potential term. Complex Var. Elliptic Equ. 60, 668–695 (2015)
Applebaum, D.: Lévy processes–from probability to finance and quantum groups. Not. Am. Math. Soc. 551, 1336–1347 (2004)
Autuori, G., Pucci, P.: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 2340–2362 (2013)
Bartsch, T.: Infinitely many solutions of a symmetric Dirichlet problem. Nonlinear Anal. 20, 1205–1216 (1993)
Bartsch, T., Wang, Z.-Q.: Existence and multiplicity results for some superlinear elliptic problems on \(\mathbb{R}^{N}\). Commun. Partial Differ. Equ. 20, 1725–1741 (1995)
Bartsch, T., Willem, M.: On an elliptic equation with concave and convex nonlinearities. Proc. Am. Math. Soc. 123, 3555–3561 (1995)
Binlin, Z., Molica Bisci, G., Servadei, R.: Superlinear nonlocal fractional problems with infinitely many solutions. Nonlinearity 28, 2247–2264 (2015)
Binlin, Z., Rădulescu, V., Wang, L.: Existence results for Kirchhoff–type superlinear problems involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 149, 1061–1081 (2019)
Bonito, A., Pasciak, J.: Numerical approximation of fractional powers of elliptic operators. Math. Compet. 84, 2083–2110 (2015)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245–1260 (2007)
Cerami, G.: An existence criterion for the critical points on unbounded manifolds. Ist. Lombardo Accad. Sci. Lett. Incontr. Stud. 112, 332–336 (1978)
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)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhikers guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Fabian, M., Habala, P., Hájek, P., Montesinos, V., Zizler, V.: Banach Space Theory. Springer, Berlin (2011)
Fiscella, A., Valdinoci, E.: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156–170 (2014)
Huang, Y., Oberman, A.: Numerical methods for the fractional Laplacian: a finite difference–quadrature approach. SIAM J. Numer. Anal. 52, 3056–3084 (2014)
Ju, C., Zhang, B.: On fractional discrete p-Laplacian equations via Clark’s theorem. Appl. Math. Comput. 434, 127443 (2022)
Ju, X., Die, H., Xiang, M.: The Nehari manifold method for discrete fractional p-Laplacian equations. Adv. Differ. Equ. 2020, 559 (2020)
Kirkpatrick, K., Lenzmann, E., Staffilani, G.: On the continuum limit for discrete NLS with long–range lattice interactions. Commun. Math. Phys. 317, 563–591 (2013)
Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000)
Lin, G., Yu, J., Zhou, Z.: Homoclinic solutions of discrete nonlinear Schrödinger equations with partially sublinear nonlinearities. Electron. J. Differ. Equ. 2019, 96 (2019)
Lin, G., Zhou, Z., Yu, J.: Ground state solutions of discrete asymptotically linear Schrödinger equations with bounded and non–periodic potentials. J. Dyn. Differ. Equ. 32, 527–555 (2020)
Lin, G., Zhou, Z., Yu, J.: Existence of infinitely many homoclinic solutions of discrete Schrödinger equations with local sublinear terms. J. Appl. Anal. Comput. 12, 964–980 (2022)
Liu, Z., Wang, Z.-Q.: On Clark’s theorem and its applications to partially sublinear problems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 32, 1015–1037 (2015)
Ma, D., Zhou, Z.: Existence and multiplicity results of homoclinic solutions for the DNLS equations with unbounded potentials. Abstr. Appl. Anal. 2012, 703596 (2012)
Molica Bisci, G., Rădulescu, V., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Cambridge University Press, Cambridge (2015)
Pucci, P., Xiang, M., Zhang, B.: Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785–2806 (2015)
Wang, L., Zhang, B.: Infinitely many solutions for Schrödinger–Kirchhoff type equations involving the fractional p-Laplacian and critical exponent. Electron. J. Differ. Equ. 2016, 339 (2016)
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)
Xiang, M., Zhang, B.: Homoclinic solutions for fractional discrete Laplacian equations. Nonlinear Anal. 198, 111886 (2020)
Xiang, M., Zhang, B., Guo, X.: Infinitely many solutions for a fractional Kirchhoff type problem via Fountain Theorem. Nonlinear Anal. 120, 299–313 (2015)
Xie, Q., Xiao, H.: Infinitely many solutions for the discrete Schrödinger equations with a nonlocal term. Bound. Value Probl. 2022, 2 (2022)
Yang, L., An, T., Zuo, J.: Infinitely many high energy solutions for fractional Schrödinger equations with magnetic field. Bound. Value Probl. 2019, 196 (2019)
Zhou, Z., Ma, D.: Multiplicity results of breathers for the discrete nonlinear Schrödinger equations with unbounded potentials. Sci. China Math. 58, 781–790 (2015)
Acknowledgements
The authors would like to express their sincere gratitude to the anonymous referee for valuable suggestions and comments. The research of Binlin Zhang was supported by National Natural Science Foundation of China (No. 11871199 and No. 12171152) and Cultivation Project of Young and Innovative Talents in Universities of Shandong Province.
Author information
Authors and Affiliations
Contributions
The authors have equal contributions to the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ju, C., Molica Bisci, G. & Zhang, B. Infinitely many homoclinic solutions for fractional discrete Kirchhoff–Schrödinger equations. Adv Cont Discr Mod 2023, 31 (2023). https://doi.org/10.1186/s13662-023-03777-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-023-03777-1