- Research
- Open access
- Published:
Existence of solutions for the fractional Kirchhoff equations with sign-changing potential
Boundary Value Problems volume 2018, Article number: 125 (2018)
Abstract
In this paper, the authors investigate the following fractional Kirchhoff boundary value problem:
where the parameter \(\lambda >0\) and constants \(a, b>0\). By applying the mountain pass theorem and the linking theorem, some existence results on the above fractional boundary value problem are obtained. It should be pointed out that the potential V may be sign-changing.
1 Introduction
In recent ten years, the fractional differential equations have been extensively studied by many researchers due to their various applications in science and engineering [1–5]. In fact, one can find numerous applications in the modeling of various phenomena such as in neurons, viscoelasticity, biochemistry, bioengineering, porous media, electromagnetic, etc. Especially, in the last several years, the investigations on the equations including both left and right fractional derivative have received more and more attention. Due to the appearance of both left and right fractional derivatives in equations, the fixed point theory is generally not suitable for the study of the existence of solution to such problems. For the first time, Jiao and Zhou [6] showed that the variational method is a very effective tool for studying such problems. In [6], by introduction of appropriate spaces and variational structure and using some critical point theorem, the authors investigated the existence of solutions to the following equations:
Under some suitable conditions, the existence results were obtained on equation (1.1). Since then there have been many literature works investigating a variety of fractional equations with left and right derivatives via variational methods, and a lot of results on the existence of one solution, three solutions, infinite solutions, and so on, have been obtained (see [7–15]).
On the other hand, recently, more and more research has focused on the following Kirchhoff-type problem:
where \(V:\mathbb{R}^{N}\to \mathbb{R}\) and constants \(a,b\) are two positive numbers. Problem (1.2) is called nonlocal because of the presence of the term \(\int_{\mathbb{R}^{N}} {\vert \nabla u \vert ^{2}\,dx} \), which means that (1.2) is no longer a pointwise identical equation. This phenomenon provokes more difficulties to overcome, which makes the study of such a class of problems particularly interesting. If the function V vanishes and \(\mathbb{R}^{N}\) is replaced with a bounded domain \(\Omega \subset \mathbb{R}^{N}\) in (1.2), then it reduces to the following Dirichlet problem of Kirchhoff type:
which is related to the stationary analog of equation
proposed by Kirchhoff in [16], which is an extension of the classical D’Alembert’s wave equation and is used to characterize the free vibrations of elastic strings.
In recent years, Eq. (1.2) has been investigated in depth under different conditions on f and V, and a lot of existence results of the nontrivial solution to (1.2) have been obtained via variational method. In [17], Jin and Wu got existence of infinite many radial solutions by using the fountain theorem for \(N=3\) and \(V=1\). While f satisfies 4-superlinear condition and V admits other assumptions, Wu [18] established some existence results on nontrivial solutions. For more related research, the readers can refer to [19–30] and the references therein.
Motivated by these works mentioned above and combining the fractional equations with left-right derivatives and the Kirchhoff equations, the authors will investigate the following fractional Kirchhoff boundary value problem (BVP for short):
where the parameter \(\lambda >0\) and constants \(a,b>0\). By using the mountain pass theorem and the linking theorem, we establish some existence results of nontrivial solutions to BVP (1.4). It should be pointed out that in some references mentioned previously, the potential V is always assumed to be continuous and positive. Here, we consider BVP (1.4) having a more general potential V. In particular, the potential V can be sign-changing. As a result, there are more difficulties that need to be overcome and more derivation techniques need to be introduced. In addition, some critical point theorems under the \((C)_{c} \) condition but not the usual \((PS)_{c}\) condition will be applied. To the best of our knowledge, no one has studied BVP (1.4) so far.
Finally, we turn to showing the organization of the paper. In Sect. 2, we present some definitions and the variational work frame for (1.4) as well as some lemmas, which will be used later. In Sect. 3, we give the main results.
2 Preliminaries
In this section, we introduce the following definitions and lemmas.
Definition 2.1
([5])
Let f be a function defined on \([a,b]\). The left Riemann–Liouville fractional integral of order \(\gamma >0\) for function f is defined by
provided the right-hand side is pointwise defined on \([a,b]\), where Γ is the gamma function.
Definition 2.2
([5])
Let f be a function defined on \([a,b]\). The right Riemann–Liouville fractional integral of order \(\gamma >0\) for function f is defined by
provided the right-hand side is pointwise defined on \([a,b]\).
Definition 2.3
([5])
Let f be a function defined on \([a,b]\). The left and right Riemann–Liouville fractional derivatives of order \(\gamma >0\) for function f denoted by \({ }_{a}D_{t}^{ \gamma }f(t)\) and \({ }_{t}D_{b}^{\gamma }f(t)\), respectively, are defined by
and
where \(t\in [a,b]\), \(n-1\le \gamma < n\), \(n\in N\).
Definition 2.4
([6])
Let \(0<\alpha \le 1\) and \(1< p<\infty \). Denote the fractional derivative space \(E_{0}^{\alpha ,p} \) by the closure of \(C_{0}^{\infty }([0,T],\mathbb{R})\) on the norm
By [6], the space \((E_{0}^{\alpha ,p} ,\Vert \cdot \Vert _{\alpha ,p} )\) is a Banach space.
As usual, for \(1\le p<\infty \), we definite the norms \(\Vert u \Vert _{L^{P}} = ( {\int_{0}^{T} {\vert u(t) \vert ^{p}\,dt} } ) ^{\frac{1}{2}}\) for \(u\in L^{p}[0,T]\) and \(\Vert u\Vert _{\infty }=\max_{t\in [0,T]} \vert u(t) \vert \) for \(u\in C([0,T],\mathbb{R})\).
By [6], we have the following results.
Lemma 2.1
([6])
Let \(0<\alpha \le 1\), \(1< p<\infty \). Then \(E_{0}^{\alpha ,p} \)is a reflective and separable Banach space. Moreover, if \(\alpha >\frac{1}{p}\), then \(E_{0}^{\alpha ,p} \subset C([0,T], \mathbb{R})\).
Lemma 2.2
([6])
Let \(0<\alpha \le 1\), \(1< p<\infty \). For any \(u\in E_{0}^{\alpha ,p} \),
-
(i)
if \(\alpha >\frac{1}{p}\) or \(\alpha \le 1-\frac{1}{p}\), then \(\Vert u\Vert _{L^{p}} \le \frac{T^{\alpha }}{\Gamma ( \alpha +1)}\Vert { }_{0}D_{t}^{\alpha }u\Vert _{L^{p}} \);
-
(ii)
if \(\alpha >\frac{1}{p}\) and \(\frac{1}{p}+\frac{1}{q}=1\), then \(\Vert u\Vert _{\infty }\leq \frac{T\alpha^{-1/p}}{\Gamma (\alpha )((\alpha -1)q+1)^{1/q}} \Vert { }_{0}D_{t}^{\alpha }u \Vert _{L^{p}} \).
Lemma 2.3
([6])
Let \(1< p<\infty \) and \(\alpha > \frac{1}{p}\). If \(u_{k} \rightharpoonup u\) in \(E_{0}^{\alpha ,p} \), then \(u_{k} \to u\) in \(C([0,T],\mathbb{R})\). Of course, \(u_{k} \to u\) in \(L^{q}([0,T])\) for any \(q\ge 1\).
In what follows, we always assume that \(p=2\) and \(\frac{1}{2}<\alpha \le 1\).
Let \(V^{+}\)and \(V^{-}\)be the positive part and the negative part on potential V, respectively. Then \(V=V^{+}-V^{-}\).
We give some assumptions on the potential V as follows:
- (\(V_{1}\)):
-
V is measurable and essentially bounded below on \([0,T]\).
- (\(V_{2}\)):
-
\(\Omega_{i} \ne \emptyset \), \(i=1,2\), where \(\Omega_{1} =\mbox{int}\{t\in [0,T]:V(t)\ge 0\}\), \(\Omega_{2} =\mbox{int}\{t \in [0,T]:V(t)<0\}\).
- (\(V_{3}\)):
-
\(\lim_{R\to +\infty } \operatorname{meas}\{x \in [0,T]:V(x)\ge R\}=0\).
In order to study the Kirchhoff-type boundary value problem with sign-changing potential V, we need the following work frame. For each fixed \(\lambda >0\), define
and \(\langle {u,v} \rangle _{\lambda }:=\int_{0}^{T} {[a({ } _{0}D_{t}^{\alpha }u)({ }_{0}D_{t}^{\alpha }v)+\lambda V^{+}uv]\,dt} \) for \(u,v\in X_{\lambda }\).
In view of Lemmas 2.1–2.3, it is easy to know the following results hold.
Lemma 2.4
Assume condition \((V_{1})\) holds. Then
-
(i)
The space \(X_{\lambda }\) is a reflective and separable Hilbert space with the inner product \(\langle {u,v} \rangle _{\lambda }\), and also a reflective and separable Banach space with the norm \(\Vert u\Vert _{\lambda }= \langle {u,u} \rangle_{\lambda }^{\frac{1}{2}}\), \(u\in X_{\lambda }\).
-
(ii)
The norms \(\Vert \cdot \Vert _{\alpha ,2}\) and \(\Vert \cdot \Vert _{\lambda }\) on \(X_{\lambda }\) are equivalent.
-
(iii)
\(X_{\lambda }\) is continuously and compactly embedded in the spaces \(C([0,T])\) and \(L^{2}([0,T])\).
Moreover, we need the following notation. For the fixed \(\lambda >0\), let
Then \(X_{\lambda }=Y_{\lambda }\oplus Y_{\lambda }^{\bot }\). Obviously, if \(V(t)\ge 0\), then \(X_{\lambda }=Y_{\lambda }\). Otherwise, \(Y_{\lambda }^{\bot }\ne \{ 0 \} \).
We define a bilinear function \(a_{\lambda }^{+}\) on \(X_{\lambda }\times X _{\lambda }\) by
and a bilinear functional \(b_{\lambda}\) on \(Y_{\lambda }^{\bot }\times Y_{ \lambda }^{\bot }\) by
The following result will be used later.
Lemma 2.5
Under condition \((V_{1})\), the function \(b_{\lambda}(u,u)\) is weakly continuously on \(Y_{\lambda }^{\bot }\).
Proof
By \((V_{1})\), the function \(V^{-}\) is essentially bounded below, that is, there exists \(v_{0} >0\) such that \(0\le v(t) \le v_{0} \), a.e. \(t\in [0,T]\). Let \(\{ {u_{n} } \} \) be any sequence with \(u_{n}\rightharpoonup u\) in \(Y_{\lambda }^{\bot }\). Then, by Lemma 2.4, it follows that \(u_{n} \to u\) in \(C([0,T])\), and therefore,
in terms of the dominated convergence theorem. That is, \(b_{\lambda}(u,u)\) is weakly continuous on \(Y_{\lambda }^{\bot }\). The proof is complete. □
Now, we turn to considering the following eigenvalue problem on \(Y_{\lambda }^{\bot }\):
where constants \(a>0\), \(\lambda >0\).
We denote an operator \(A_{\lambda }^{+} \) on \(Y_{\lambda }^{\bot }\) associated with (2.1) by
Clearly, \(A_{\lambda }^{+} \) is formally self-adjoint in \(L^{2}([0,T])\). Hence, in view of the result in [31] combined with Lemma 2.5, we have the following conclusion.
Lemma 2.6
Under condition \((V_{1})\), the eigenvalue problem (2.1) admits a sequence of eigenvalues \(\{ {\beta_{k} ( \lambda )} \} \) satisfying
with \(\beta_{N_{0} (\lambda )} (\lambda )\le 1<\beta_{N_{0} (\lambda )+1} \) and \(\beta_{k} (\lambda )\to +\infty \) as \(k\to \infty \). In addition, \(\beta_{k} (\lambda )\) is characterized with
and eigenvector \(e_{k} \) corresponding to \(\beta_{k} (\lambda )\) forms a basis for \(Y_{\lambda }^{\bot }\), which can be chosen so that \(\langle {e_{i} ,e_{j} } \rangle _{\lambda }=\delta_{ij} \).
Denote the subspaces \(X_{\lambda ,1} \), \(X_{\lambda ,2} \) by \(X_{\lambda,1} =\operatorname{span} \{ {e_{k} :1\le k\le N_{0} (\lambda )} \} \), \(X_{\lambda ,2} =\overline{\operatorname{span}} \{ e_{k} :k\ge N_{0} (\lambda )+1 \} \), respectively. Then \(Y_{\lambda }^{\bot }=X _{\lambda ,1} \oplus X_{\lambda ,2} \), \(X_{\lambda }=X_{\lambda ,1}\oplus X_{\lambda ,2} \oplus Y_{\lambda }\).
Furthermore, we need to introduce a bilinear function \(a_{\lambda }\) on \(X_{\lambda }\times X_{\lambda }\) as follows:
On the above function \(a_{\lambda }\), we have the following conclusions.
Lemma 2.7
Assume that condition \((V_{1})\) holds. For constant \(a>0\) and fixed \(\lambda >0\), we have
-
(i)
\(a_{\lambda }(u,u)\le 0\) for any \(u\in X_{\lambda ,1} \);
-
(ii)
\(a_{\lambda }(u,u)\ge 0\) for any \(u\in X_{\lambda ,2} \);
-
(iii)
\(a_{\lambda }(u,v)=0\) for any \(u,v\in X_{\lambda }\) taken in a different subspace among \(X_{\lambda ,1} ,X_{\lambda ,2} \), and \(Y_{\lambda }\).
Proof
(i) For any \(u\in X_{\lambda ,1} \) with \(\sum_{i=1}^{N_{0} (\lambda )} {t_{i} e_{i} } \), by (2.1), we have
Thus,
and therefore \(a_{\lambda }(u,u)=\sum_{i=1}^{N_{0} (\lambda )} \frac{\beta _{i} -1}{\beta_{i} }t_{i} ^{2}\le 0\), for \(u=\sum_{i=1}^{N _{0} (\lambda )} {t_{i} e_{i} } \), noting that \(0<\beta_{i} \le 1\) as \(1\le i\le N_{0} (\lambda )\).
(ii) For any \(u\in X_{\lambda ,2} \) with \(u=\sum_{i=N_{0} (\lambda )+1}^{m} {t_{i} e_{i} } \), by an argument similar to that in (i), we know that
noting that \(\beta_{i} >1\) as \(i\ge N_{0} (\lambda )+1\). Hence, for any \(u\in X_{\lambda ,2} \), taking \(\{ {u_{n} } \} \subset X _{\lambda ,2} \) with \(u_{n} =\sum_{i=N_{0} (\lambda )+1}^{m _{n} } {t_{i} ^{(n)}e_{i} } \) satisfying \(u_{n} \to u\) as \(n\to \infty \). It follows from (2.2) that \(a_{\lambda }(u_{n} ,u_{n} )> 0\), \(n\ge 1\). By
and the fact that \(\Vert u_{n} \Vert _{\lambda }\to \Vert u\Vert _{\lambda }, u_{n} \to u\) in \(C([0,T])\), \(0\le V ^{-}(t)\le v_{0}\), a.e. \(t\in [0,T]\), applying the dominated convergence theorem, we know that
(iii) For any \(u\in X_{\lambda ,1} ,v\in Y_{\lambda }\), because \(V^{-}(t)v(t)=0\), we have
Similarly, for any \(u\in X_{\lambda ,2} ,v\in Y_{\lambda }\), or \(u\in X_{\lambda ,1} ,v\in X_{\lambda ,2} \), we have \(a_{\lambda }(u,v)=0\). □
Now, we turn to introducing two critical point theorems. Let E be a Banach space and \(I:E\to \mathbb{R}\) be a functional of class \(C^{1}\). A sequence \(\{ {u_{n} } \} \subset E\) is a \((C)_{c} \) sequence of I means that if \(I(u_{n} )\to c\) and \((1+\Vert u_{n} \Vert ) {I}'(u_{n} )\to 0\) as \(n\to \infty \). Moreover, I satisfies the Cerami condition at level c if any \((C)_{c} \) sequence of I has a convergent subsequence.
Lemma 2.8
(Mountain pass theorem [32])
Let E be a Banach space, \(I\in C^{1}(E,\mathbb{R})\) satisfies that \(\max \{ {I(0),I(e)} \} \le \mu <\eta \le \inf_{\Vert u\Vert =\rho } I(u)\) for some \(\mu < \eta ,\rho >0\), and \(e\in E\) with \(\Vert e\Vert >\rho \). Let c be characterized by \(c=\inf_{\gamma \in \Gamma }\max_{0\le t\le 1} I(\gamma (t))\), where \(\Gamma = \{ \gamma \in C([0,1],E):\gamma (0)=0,\gamma (1)=e \} \). Then \(c\geq \eta \) and I has a \((C)_{c} \) sequence.
Lemma 2.9
(Linking theorem [33])
Let \(X=Y\oplus Z\) be a Banach space with \(\dim Y<\infty \). Let \(\rho >r>0\) and \(e_{0} \in Z\) with \(\Vert e_{0} \Vert =r\). Set
If \(I\in {C}^{1}(X,\mathbb{R})\) satisfies that \(b:=\inf_{N_{r} } I>a:=\max_{M_{0} } I\), then \(c\ge b\), and there exists a \((C)_{c} \) sequence of I, where \(c:=\inf_{r\in \Gamma } \max_{u\in M} I(\gamma (u))\), \(\Gamma =\{ {\gamma \in C(M,X):\gamma_{|M_{0} } =I_{d} } \} \).
3 Main result
In this section, we establish some existence results on solutions to BVP (1.4). First, we list some conditions on functions f and F, where \(F(t,x)=\int_{0}^{x} {f(t,s)\,ds}, (t,x)\in [0,T]\times \mathbb{R}\).
- \((f_{1})\) :
-
\(f\in C([0,T]\times \mathbb{R})\).
- \((f_{2})\) :
-
There exist constants \(\mu >4,0<\tau <2\) and a nonnegative function \(g\in L^{\frac{2 }{2-\tau }}\) such that
$$ F(t,x)-\frac{1}{\mu }f(t,x)x\le g(t)\vert x \vert ^{\tau },\quad\mbox{a.e. } t\in [0,T],x\in \mathbb{R}. $$ - \((f_{3})\) :
-
There exists \(\sigma >2\) such that \(\lim_{\vert x \vert \to 0} \sup_{t\in [0,T]} \frac{F(t,x)}{\vert x \vert ^{\sigma }}<\infty \).
- \((f_{4})\) :
-
There exists \(\theta >2\) such that \(\lim_{\vert x \vert \to \infty } \inf_{t\in [0,T]} \frac{F(t,x)}{\vert x \vert ^{\theta }}>0\).
- \((f^{\prime }_{4})\) :
-
There exists \(\theta >4\) such that \(\lim_{\vert x \vert \to \infty } \inf_{t\in [0,T]} \frac{F(t,x)}{\vert x \vert ^{\theta }}>0\).
- \((f_{5})\) :
-
\(f(t,x)x\ge 0 \mbox{ for all } t\in [0,T] \mbox{ and }x\in \mathbb{R}\).
The energy functional associated with BVP (1.4) is expressed by
Furthermore, clearly, under conditions \((V_{1})\) and \((f_{1})\),
for all \(u,v\in X_{\lambda }\).
\(u\in X_{\lambda }\) is called a weak solution of BVP (1.4) if \({I}'_{\lambda }(u)v=0\) holds for all \(v\in X_{\lambda }\). That is, u is a critical point of \(I_{\lambda }\) in \(X_{\lambda }\).
Firstly, we establish several lemmas.
Lemma 3.1
If conditions \((V_{1})\) and \((f_{1})\)–\((f_{2})\) hold, then any \((C)_{c} \) sequence \(\{ {u_{n} } \} \) of \(I_{\lambda }\) for each \(c\in \mathbb{R}\) is bounded in \(X_{\lambda }\).
Proof
Let \(\{ {u_{n} } \} \) be any \((C)_{c} \) sequence of \(I_{\lambda }\). Then \(I_{\lambda }(u_{n} )\to c\) and \((1+\Vert u_{n} \Vert _{\lambda }){I}'_{\lambda }(u_{n} ) \to 0\) as \(n\to \infty \). Thus,
By \((V_{1})\), there exists \(v_{0} >0\) such that \(0\le V^{-}(t)\le v_{0} \), a.e. \(t\in [0,T]\), and therefore
Also, by \((f_{1})\)–\((f_{2})\), one gets
where \(g_{0} =\Vert g\Vert _{L^{\frac{2 }{2-\tau }}} \). Thus, it follows from (3.3)–(3.5) that
Inequality (3.6) shows that if the sequence \(\{ {u_{n} } \} \) is bounded in \(L^{2}\), then so is it in \(X_{\lambda }\).
Assume by contradiction that there exists a subsequence, still denoted by \(\{ {u_{n} } \} \), such that \(\Vert u_{n} \Vert _{L^{2}} \to \infty \) as \(n\to \infty \). Write \(v_{n} =\frac{u _{n} }{\Vert u_{n} \Vert _{L^{2}} }\). Then \(\Vert v _{n} \Vert _{L^{2}} =1\). It follows from (3.6) that
The above inequality together with \(0<\tau <2\) implies that \(\{v_{n} \}\) is bounded in \(X_{\lambda }\). Thus, up to a subsequence, \(v_{n} \rightharpoonup v\) in \(X_{\lambda }\), and then it follows from Lemma 2.4 that \(v_{n} \to v\) in \(L^{q},q\ge 1\) and \(v_{n} \to v\) in \(C[0,T]\).
On the other hand, by (3.3)–(3.5), we also have
Denote a norm \(\Vert \cdot \Vert ^{*}\) on \(X_{\lambda }\) by \(\Vert u \Vert ^{*} = ( {\int_{0}^{T}{({ }_{0}D_{t}^{\alpha }u (t))^{2}\,dt} } ) ^{1/2}\). Then it follows from Lemmas 2.2–2.4 that the norms \(\Vert \cdot \Vert _{\lambda }\) and \(\Vert \cdot \Vert ^{*}\) are equivalent. Thus, the relation \(v_{n}\rightharpoonup v\) in \((X_{\lambda }, \Vert \cdot \Vert _{ \lambda })\) implies that \(v_{n}\rightharpoonup v\) in \((X_{\lambda }, \Vert \cdot \Vert ^{*})\), and therefore, by the weak lower semi-continuity of norm, we have \(\Vert v \Vert ^{*}\leq \lim_{x \to \infty } \inf \Vert v_{n} \Vert ^{*}\). That is, \(\int_{0}^{T} {({}_{0}D_{t}^{\alpha }v)^{2}\,dt} \le \lim_{n \to \infty } \inf \int_{0}^{T} ({}_{0}D_{t}^{\alpha }v _{n} )^{2}\,dt\). Hence, by (3.7), it follows that \(\int_{0}^{T} {( { }_{0}D_{t}^{\alpha }v(t))^{2}\,dt} =0\), and so, \({ }_{0}D_{t}^{\alpha }v(t)=0\), a.e. \(t\in [0,T]\). Thus, \(v(t)={ }_{0}D_{t}^{-\alpha } { }_{0}D_{t}^{\alpha }v(t)=0,t\in [0,T]\), which contradicts \(\Vert v\Vert _{L^{2}} =\lim_{n\to \infty } \Vert v_{n} \Vert _{L^{2}} =1\). This means that \(\{ {u_{n} } \} \) is bounded in \(L^{2}[0,T]\), and so is in \(X_{\lambda }\). The proof is complete. □
Lemma 3.2
Under conditions \((V_{1})\)–\((V_{2})\), for each fixed \(j\ge 1\), the eigenvalue \(\beta_{j} (\lambda )\) associated with (2.1) satisfies that \(\beta_{j} (\lambda )\to 0\) as \(\lambda \to +\infty \).
Proof
In terms of \((V_{1})\)–\((V_{2})\), we can choose \(\phi_{i} \in C_{0}^{\infty }(\Omega_{2} )\backslash \{0\}\) with \(\operatorname{supp} \phi_{i} \cap \operatorname{supp} \phi_{j} ={\O }\), \(i\ne j,1\le i,j\le m\). Let \(F=\operatorname{span} \{ {\phi_{1} ,\phi_{2} ,\ldots ,\phi_{m} } \} \). Then, by Lemma 2.6,
Notice that \(\operatorname{supp} \phi_{i} \subset \Omega_{2} ,\phi_{i} (t)V ^{+}(t)=0,t\in [0,T]\). Thus \(\Vert u\Vert _{\lambda }= \Vert u\Vert _{1} \).
Now, for any \(u\in F\), define \(\Vert u\Vert _{\ast }= ( {\int_{0}^{T} {V^{-}(t)u^{2}(t)\,dt} } ) ^{\frac{1}{2}}\). We claim that \((F,\Vert \cdot \Vert _{\ast })\) is a normed space. In fact, for any \(u\in F\) and \(k\in \mathbb{R}\), obviously, \(\Vert u\Vert _{\ast }\ge 0\) and \(\Vert ku\Vert _{ \ast }=\vert k \vert \Vert u\Vert _{\ast }\). In addition, if \(\Vert u\Vert _{\ast }=0\), then the fact that \(\operatorname{supp} u\subset \Omega_{2} \) implies that \(u(t)=0,t\in [0,T]\), namely \(u=0\).
Finally , we show that
for any \(u,v\in F\). Indeed, for any \(u,v\in F\), since
we have
That is, \(\Vert u+v\Vert _{\ast }\le \Vert u\Vert _{\ast }+\Vert v\Vert _{\ast }\). Hence, \((F,\Vert \cdot \Vert _{\ast })\) is a normed space with finite dimension.
Now, in terms of the equivalence of norms on a finite dimensional space, there exist two constants \(c_{1} ,c_{2} >0\) such that \(c_{1} \Vert u\Vert _{\ast }\le \Vert u\Vert _{1} \le c_{2} \Vert u\Vert _{\ast }\) for any \(u\in F\). Then, it follows from (3.8) that \(0<\beta_{j} (\lambda )\le \frac{1}{\lambda }c _{2} ^{2}\to 0\), as \(\lambda \to +\infty \), noting that \(\Vert u\Vert _{\lambda }=\Vert u\Vert _{1} \). The proof is complete. □
By Lemma 3.2, there exists \(\Lambda_{0} >0\) such that \(X_{\lambda ,1} \ne \emptyset \) as \(\lambda >\Lambda_{0} \). In what follows, we will apply Lemma 2.9 with \(Y=X_{\lambda ,1} \) and \(Z=X_{\lambda ,2} \oplus Y_{\lambda }\). Of course, \(Y\ne \emptyset \) and \(\dim Y<\infty \).
Lemma 3.3
Let \((V_{1})\)–\((V_{2})\) and \((f_{1}), (f_{3})\) hold. Then, for each \(\lambda >\Lambda_{0} \), there exist \(r_{\lambda }>0\) and \(k_{\lambda }>0\) such that \(I_{\lambda }(u)\ge k_{\lambda }\) for all \(u\in X_{\lambda ,2} \oplus Y_{\lambda }\) with \(\Vert u \Vert _{\lambda }=r_{\lambda }\).
Proof
We first show that there exists \(\delta_{\lambda }>0\) such that \(a_{\lambda }(u,u)\ge \delta_{\lambda }\Vert u\Vert _{\lambda }^{2}\) for all \(u\in X_{\lambda ,2} \). The argument is similar to that in Lemma 2.7. In fact, for any \(j\ge N_{0} (\lambda )+1\), we have
Thus,
where \(\delta_{\lambda }=1-\frac{1}{\beta_{N_{0} (\lambda )+1} }>0\) noting that \(\beta_{N_{0} (\lambda )+1} >1\).
Since \(\{e_{j} \}_{j=N_{0} (\lambda )+1}^{\infty }\) is a basis of \(X_{\lambda ,2} \), taking \(\{u_{n}\}\subset X_{\lambda ,2}\) such that \(u_{n} \rightarrow u\) \(X_{\lambda ,2}\) with \(u_{n}=\sum_{i = N_{0} (\lambda ) + 1}^{m_{n} } {t_{i}^{n} e_{i} }\), then
and so, \(a_{\lambda }(u,u) = \lim_{n \to \infty } a _{\lambda }(u,u_{n} ) \ge \lim_{n \to \infty } \delta_{\lambda }\langle u,u_{n} \rangle_{\lambda }= \delta_{\lambda }\langle u,u\rangle_{\lambda }= \delta_{\lambda }\Vert u \Vert _{\lambda }^{2} \). While for any \(v\in Y_{\lambda }\), because \(V(t)v^{2}(t)=V^{+}(t)v ^{2}(t)\), we have \(a_{\lambda }(v,v)=\Vert v\Vert _{\lambda }^{2}\). Hence, for any \(w=u\oplus v\in X_{\lambda ,2} \oplus Y_{ \lambda }\), observing that \(a_{\lambda }(u,v)=0\) by Lemma 2.7, we have
where \(\overline{\delta_{\lambda }} =\min \{ {\frac{1}{2} \delta_{\lambda },\frac{1}{2}} \} >0\).
On the other hand, by condition \((f_{3})\), taking \(l>0\) with \(\lim_{\vert x \vert \to 0} \sup_{t\in [0,T]} \frac{F(t,x)}{ \vert x \vert ^{\sigma }}< l\), then there exists \(r_{1} >0\) such that \(\frac{F(t,x)}{\vert x \vert ^{\sigma }}< l\) as \(\vert x \vert < r_{1} \). Thus, \(F(t,x)< l\vert x \vert ^{\sigma }\) as \(\vert x \vert < r_{1} \). So, by Lemmas 2.2 and 2.4, there is \(r_{2} >0\) such that \(\Vert u \Vert _{\lambda }\le r_{2} \) ensures that \(\Vert u\Vert _{\infty }< r_{1} \) for any \(u\in X_{\lambda }\). Hence, for any \(w\in X_{\lambda ,2} \oplus Y_{\lambda }\), if \(\Vert w\Vert _{\lambda }\le r_{2} \), then
Thus, it follows from (3.9)–(3.10) that
Again by Lemmas 2.2 and 2.4, there exists \(c_{\lambda }>0\) such that \(\Vert w\Vert _{\infty }^{\sigma }\le c_{\lambda }\Vert w\Vert _{\lambda }^{\sigma }\). Thus, by (3.11), we get
where constant \(\overline{c_{\lambda }} >0\). Noting that \(\sigma >2\), by (3.12), we can take small \(0< r< r_{1} \) and a number \(k_{\lambda }>0\) such that \(I_{\lambda }(w)\ge k_{\lambda }\) for \(w\in X_{\lambda ,2} \oplus Y_{\lambda }\) with \(\Vert w\Vert _{\lambda }=r\). The proof is complete. □
By \((V_{2})\), we can take \(e_{0} \in C_{0}^{\infty }(\Omega_{1} ) \backslash \{ 0 \} \) with \(e_{0} (t)\ge 0,t\in [0,T]\) and \(\Vert e_{0} \Vert _{\lambda }=r\), then \(e_{0}\in Y_{\lambda }\). We have the following conclusion.
Lemma 3.4
Suppose that \((V_{1})\)–\((V_{2})\) and \((f_{1})\), \((f_{4})\)–\((f_{5})\) hold. Then, for each \(\lambda >\Lambda_{0} \), there exist \(b_{\lambda }>0\) and \(\rho_{\lambda }(>r_{\lambda })\) such that\(\sup_{u\in \partial \Phi } I_{\lambda }(u)< k_{\lambda }\) as \(b< b _{\lambda }\), where
Proof
By \((f_{4})\), take \(d_{0} >0\) with \(\lim_{\vert x \vert \to \infty } \inf_{t\in [0,T]} \frac{F(t,x)}{\vert x \vert ^{\theta }}>d_{0} \). Then \(\exists M_{0} >0\) such that \(\frac{F(t,x)}{\vert x \vert ^{\theta }}>d_{0} \) as \(\vert x \vert \ge M_{0} \). That is, \(F(t,x)>d_{0} \vert x \vert ^{ \theta }\), as \(\vert x \vert \ge M_{0} \). By \((f_{1})\), let \(m_{0} = \min_{t\in [0,T],\vert x \vert \le M_{0} } (F(t,x)-d _{0} \vert x \vert ^{\theta })\). Thus \(F(t,x)\ge d_{0} \vert x \vert ^{\theta }-\vert m_{0} \vert , t\in [0,T],x\in \mathbb{R}\).
The following argument is divided into two parts.
(i) We show that \(\exists \rho_{\lambda }(>r_{\lambda })\) and \(\overline{b_{\lambda }} >0\) such that \(I_{\lambda }(u)<0\) as \(u\in X_{\lambda ,1} \oplus \mathbb{R}e_{0} \) with \(\Vert u \Vert _{\lambda }=\rho_{\lambda }\) and \(b< \overline{b_{\lambda }} \).
In fact, for any \(u=v+w\in X_{\lambda ,1} \oplus \mathbb{R}e_{0} \), we already know that \(a_{\lambda }(v,w)=0,a_{\lambda }(v,v)\le 0\) by Lemma 2.7. Moreover, owing to the fact that \(e_{0} \in C_{0}^{\infty }( \Omega_{1} )\) and \(V(t)e_{0} ^{2}(t)=V^{+}(t)e_{0} ^{2}(t)\), we have \(a_{\lambda }(w,w)=\Vert w\Vert _{\lambda }^{2}\). Thus
In terms of equivalence of the norms on a finite dimensional space, there exists \(d_{1} >0\) such that \(d_{0} \Vert u\Vert _{L^{\theta }}^{\theta }\ge d_{1} \Vert u\Vert _{ \lambda }^{\theta }\). Thus,
Let \(h(t)=\frac{1}{2}t^{2}+\vert m_{0} \vert T-d_{1} t^{\theta }\). The assumption \(\theta >2\) yields that \(h(t)\to -\infty \) as \(t\to + \infty \). Thus, we can take \(\rho_{\lambda }(>r_{\lambda })\) such that \(h(\rho_{\lambda })<0\), and then, choose small \(\overline{b_{\lambda }} >0\) so that \(h(\rho_{\lambda })+\frac{1}{4a^{2}}\overline{b_{ \lambda }} \rho_{\lambda }^{4}<0\). Hence, it follows from (3.13) that \(I_{\lambda }(u)<0\) as \(u\in X_{\lambda ,1} \oplus \mathbb{R}e _{0} \) with \(\Vert u\Vert _{\lambda }=\rho_{\lambda }\) and \(b\le \overline{b_{\lambda }} \).
(ii) We show that \(\exists b_{\lambda }\in (0,\overline{b_{\lambda }} ]\) such that \(I_{\lambda }(u)< k_{\lambda }\) for \(u\in X_{\lambda ,1} \) with \(\Vert u\Vert _{\lambda }\le \rho_{\lambda }\), and \(b< b_{\lambda }\).
In fact, by \((f_{5})\), \(F(t,x)\ge 0\), \(t\in [0,T]\) and \(x\in \mathbb{R}\). For any \(u\in X_{\lambda ,1} \) with \(\Vert u\Vert _{\lambda } \leq \rho_{\lambda }\), by Lemma 2.7, \(a_{\lambda }(u,u)\le 0\), and therefore
For \(0<\overline{b_{\lambda }}\) taken previously in (i), choose small \(0< b_{\lambda }\le \overline{b_{\lambda }} \) so that \(\frac{b_{\lambda }}{4a^{2}}\rho_{\lambda }^{4}< k_{\lambda }\). Then \(I_{\lambda }(u)< k _{\lambda }\) as \(\Vert u\Vert _{\lambda }\le \rho_{\lambda }\).
By the above arguments on (i)–(ii), we conclude that \(\sup_{u\in \partial \Phi } I_{\lambda }(u)\le k_{\lambda }\). The proof is complete. □
Lemma 3.5
Assume that \((V_{1})\), \((V_{3})\) and \((f_{1})\)–\((f_{2})\) hold. Then any \((C)_{c} \) sequence \(\{ {u_{n} } \} \) of \(I_{\lambda }\) satisfies the Cerami condition at level c for each \(\lambda >0 \) for any \(c\in \mathbb{R}\).
Proof
Let \(\{ {u_{n} } \} \) be any \((C)_{c} \) sequence of \(I_{\lambda }\). Then, by Lemma 3.1, \(\{ {u_{n} } \} \) is bounded in \(X_{\lambda }\). Thus, up to a subsequence, \(u_{n} \rightharpoonup u\) in \(X_{\lambda }\), and therefore, \(({I}'_{\lambda }(u_{n} )-{I}'_{\lambda }(u))(u_{n} -u)\to 0\) as \(n\to \infty \). Let \(v_{n} =u_{n} -u\), then by (3.2)
where
Again, owing to the fact that \(v_{n} \rightharpoonup 0\) in \(X_{\lambda }\), we have
We turn to showing that \(\int_{0}^{T} {V^{+}(t)v_{n} (t)u(t)\,dt} \to 0\) as \(n\to \infty \). Set
By \((V_{3})\), \(\lim_{R\to +\infty }\operatorname{meas}V_{R} =0\). Because \(\{ {v_{n} } \} \) is bounded in \(X_{\lambda }\), there exists \(M_{0} >0\) such that \(\Vert v_{n} \Vert _{\lambda }\le \sqrt{\lambda }M_{0} \), and so \(( {\int_{0}^{T} {V^{+}(t)v_{n} ^{2}\,dt} } ) ^{\frac{1}{2}}\le \frac{1}{\sqrt{ \lambda }}\Vert v_{n} \Vert _{\lambda }\le M_{0} \). Thus
Now, since \(\int_{0}^{T} {V^{+}(t)u^{2}(t)\,dt} <\infty \), by the absolute continuity of integral combined with the fact \(\lim_{R\to +\infty } \operatorname{meas}V_{R} =0\), there exists large \(R _{0} >0\) so that \(( {\int_{V_{R_{0} } } {V^{+}(t)u^{2}(t)\,dt} } ) ^{\frac{1}{2}}<\frac{\varepsilon }{2M_{0} }\). Then it follows from (3.16) that
On the other hand, taking into account that \(u_{n} \rightharpoonup 0\) implies that \(v_{n} \to 0\) in \(C([0,T])\) and \(v_{n} \to 0\) in \(L^{2}[0,T]\), observing that \(\int_{V_{R_{0} } ^{c}} {V^{+}(t)\vert v_{n} \vert \vert u\vert \,dt} \le R_{0} \Vert v_{n} \Vert _{\infty } \Vert u \Vert _{\infty }\), we know that there exists \(N_{0} \ge 1\) such that
as \(n\ge N_{0} \).
Then, by (3.17)–(3.18), one has
as \(n\ge N_{0} \). Namely, \(\int_{0}^{T} {V^{+}\vert v_{n} \vert \vert u \vert \,dt} \to 0\) as \(n\to \infty \), and so \(\int_{0}^{T} {V ^{+}v_{n} u\,dt} \to 0\), as \(n\to \infty \). Hence, it follows from (3.15) that
as \(n\to \infty \). Hence, by (3.19) it is easy to see that
Thus
Again, from (3.19), it follows that there exists \(N_{1} \ge 1\) such that
as \(n\ge N_{1} \).
Finally, owing to the fact that \(f\in C([0,T],\mathbb{R}) \mbox{ and }v_{n} \to 0\) in \(C([0,T])\), \(u\in C([0,T])\), \(0\le V^{-}(t) \le v_{0}\), a.e., \(t\in [0,T]\), it is easy to see that
Combining (3.14) with (3.21), we get
This means that \(v_{n} \to 0\) in \(X_{\lambda }\) and the proof is complete. □
Now, we are in a position to show our first result on the existence of solution to BVP (1.4).
Theorem 3.1
Assume that conditions \((V_{1})\)–\((V_{3})\) and \((f_{1})\)–\((f_{5})\) hold. Then there exist constants \(\Lambda_{0} >0\) and \(b_{\lambda }>0\) such that BVP (1.4) has at least one nontrivial weak solution for \(\lambda >\Lambda_{0} \) and \(b< b_{\lambda }\).
Proof
Firstly, we show that \(I_{\lambda }\) is of class \(C^{1}\).
In fact, let \(\{ {u_{n} } \} \) be any sequence with \(u_{n} \to u\) in \(X_{\lambda }\). Then \(u_{n} \to u\) in \(C([0,T])\) and in \(L^{2}[0,T]\) by Lemma 2.4. Set \(L_{u} \varphi = \langle {u,\varphi } \rangle _{\lambda }\), \(\phi_{u} \varphi =\int_{0}^{T} {V^{-}(t)u\varphi \,dt} \), \(\psi_{u} \varphi =\int_{0}^{T}({ }_{0}D_{t} u)^{2}\,dt \int_{0}^{T} ({ }_{0}D_{t}^{\alpha }u)({ }_{0}D_{t}^{\alpha }\varphi )\,dt\) and \(G_{u} \varphi =\int_{0}^{T}f(t,u)\varphi \,dt\) for any \(\varphi \in X_{\lambda }\). Then, by (3.2), \(I_{\lambda }^{\prime }(u)\varphi =L_{u} \varphi -\lambda \phi_{u} \varphi +b\psi_{u} -G_{u} \varphi , \varphi \in X_{\lambda }\).
It is well known that \(L_{u} \) is continuous in \(X_{\lambda }^{\ast }\). Next, we show that \(\phi_{u} ,\psi_{u} \), and \(G_{u} \) are also continuous in \(X_{\lambda }^{\ast }\).
(i) On \(\phi_{u} \), for any \(\varphi \in X_{\lambda }\) with \(\Vert \varphi \Vert _{\lambda }\le 1\), noting that \(0\le V^{-}(t)\le v_{0} \), we have
for some \(c_{0} >0\), because \(\Vert \varphi \Vert _{L ^{2}} \le c_{1} \Vert \varphi \Vert _{\lambda }\) by Lemma 2.4. Hence
as \(n\to \infty \). That is, \(\phi_{u} \) is continuous in \(X_{\lambda }^{\ast }\).
(ii) On \(\psi_{u} \), for any \(\varphi \in X_{\lambda }\) with \(\Vert \varphi \Vert _{\lambda }\le 1\), by an argument similar to (3.20), we have
for some \(c_{1} >0\), \(c_{2} >0\) observing that \(\{ {\Vert u _{n} \Vert _{\lambda }} \} \) is bounded, \(\Vert \varphi \Vert _{\lambda }\le 1\) and \(c_{2} =\frac{1}{a^{2}} \Vert u\Vert _{\lambda }^{2}\).
Thus \(\Vert \psi_{u_{n} } -\psi_{u} \Vert _{X_{\lambda }^{\ast }} =\sup_{\Vert \varphi \Vert _{\lambda }\le 1} \vert \psi_{u_{n} } \varphi -\psi_{u} \varphi \vert \to 0\) as \(n\to \infty\). That is, \(\psi_{u} \) is continuous in \(X_{\lambda }^{\ast }\).
(iii) On \(G_{u} \), by \(f\in C([0,T],\mathbb{R})\), it is easy to see that \(G_{u} \) is also continuous in \(X_{\lambda }^{\ast }\), we omit it.
Summing up the above arguments (i)–(iii), we know that \(I_{\lambda }\) is of class \(C^{1}\). Now, by Lemmas 3.3 and 3.4 and applying Lemma 2.9, for \(\lambda >\Lambda_{0} \), there exists a \((C)_{c} \) sequence \(\{ {u_{n} } \} \) of \(I_{\lambda }\) in \(X_{\lambda }\) with \(c\ge k_{\lambda }>0\). Then, by Lemma 3.5, up to a subsequence, \(u_{n} \to u\) in \(X_{\lambda }\). Hence, \(\forall \varphi \in X_{ \lambda }\), thanks to the fact that \(I_{\lambda }\) is of class \(C^{1}\), \(0=\lim_{n\to \infty } I_{\lambda }^{\prime }(u_{n} )\varphi =I_{\lambda }^{\prime }(u)\varphi \) and \(0< k_{\lambda }\le c=\lim_{n\to \infty } I_{\lambda }(u_{n} )=I_{\lambda }(u)\). Thus, u is a nontrivial solution of BVP (1.4). The proof is complete. □
Now, we give the second existence result.
Theorem 3.2
Assume that conditions \((V_{1})\), \((V_{3})\), \((f_{1})\)–\((f_{3})\), and \((f^{\prime }_{4})\) hold. Furthermore, \(V(t)\ge 0\), a.e. \(t\in [0,T]\). Then BVP (1.4) has at least one nontrivial weak solution for each \(\lambda >0\).
Proof
We already know that \(I_{\lambda }\) is of class \(C^{1}\) by the proof of Theorem 3.1. Moreover, under conditions \((f_{1})\) and \((f_{3})\), making an argument similar to (3.12), we know that the following inequality also holds:
for some \(\overline{\delta_{\lambda }} >0\), \(\overline{c_{\lambda }} >0\). Thus, observing that \(\sigma >2\), there exist constants \(\alpha_{0} >0, \rho >0\) such that \(I_{\lambda }(u)\ge \alpha_{0} \) as \(\Vert u \Vert _{\lambda }=\rho \) small enough.
On the other hand, by \((f^{\prime }_{4})\) and making an argument similar to (3.13), we also have
Then taking \(u_{0} \in X_{\lambda }\) with \(\Vert u_{0}\Vert _{\lambda }>\rho \), we have
as \(t\to +\infty \), noting that \(\theta >4\). So, we choose \(t_{0} >0\) large so that \(I_{\lambda }(t_{0} u_{0})<0\) and \(\Vert t_{0} u _{0} \Vert >\rho \). Write \(e_{0} =t_{0} u_{0} \). Then \(I_{\lambda }(e_{0})<0\) and \(\Vert e_{0} \Vert _{\lambda }> \rho \). By Lemma 2.8, there is a \((C)_{c} \) sequence \(\{ {u_{n} } \} \) of \(I_{\lambda }\) with \(c=c_{\lambda }\), where
Then, by Lemma 3.5, \(\{ {u_{n} } \} \) satisfies the Cerami condition at level \(c_{\lambda }\) for each \(\lambda >0\). Thus, passing to a subsequence, \(u_{n} \to u\) in \(X_{\lambda }\). By an argument as before, we know that u is a nontrivial weak solution to BVP(1.4). This completes the proof. □
4 Conclusion
In this paper, by applying the mountain pass theorem and the linking theorem, some existence results of the nontrivial solutions to BVP (1.4) were obtained. Here, problem (1.4) is a nonlocal problem as the appearance of the term \(\int_{0}^{T} {({ }_{0}D_{t}^{\alpha }u)^{2}\,dt}\) and has a general potential V, which can be sign-changing. As a result, there are more difficulties that need to be overcome and more derivation techniques need to be introduced.
References
Kilbas, A., Trujillo, J.: Differential equations of fractional order: method, results and problems I. Appl. Anal. 78, 153–192 (2001)
Agrawal, O., Tenreio Machado, J., Sabatier, J.: Fractional Derivatives and Their Application: Nonlinear Dynamics. Springer, Berlin (2004)
Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, Boston (1999)
Samko, S., Kilbas, A., Marichev, O.: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Longhorne (1993)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Jiao, F., Zhou, Y.: Existence results for fractional boundary value problems via critical point theory. Int. J. Bifurc. Chaos 22, Article ID 1250086 (2012)
Chai, G.: Infinitely many solutions for nonlinear fractional boundary value problems via variational methods. Adv. Differ. Equ. 2016, Article ID 213 (2016)
Chai, G., Chen, J.: Existence of solutions for impulsive fractional boundary value problems via variational method. Bound. Value Probl. 2017, Article ID 23 (2017)
Torres, C.: Existence and symmetric result for Liouville–Weyl fractional nonlinear Schrodinger equation. Commun. Nonlinear Sci. Numer. Simul. 27, 314–327 (2015)
Zhao, Y., Tang, L.: Multiplicity results for impulsive fractional differential equations with p-Laplacian via variational methods. Bound. Value Probl. 2017, Article ID 123 (2017)
Chen, T., Liu, W.: Solvability of fractional boundary value problem with p-Laplacian via critical point theory. Bound. Value Probl. 2016, Article ID 75 (2016)
Amado, G., Cruz, M., Torres, C.: Multiplicity of solutions for fractional Hamiltonian systems with Liouville–Weyl fractional derivatives. Fract. Calc. Appl. Anal. 18(4), 875–890 (2015)
Fattahi, F., Alimohammady, M.: Existence of infinitely many solutions for a fractional differential inclusion with non-smooth potential. Electron. J. Differ. Equ. 2017, Article ID 66 (2017)
Averna, D., Tersian, S., Tornatore, E.: On the existence and multiplicity of solutions for Dirichlet’s problem for fractional differential equations. Fract. Calc. Appl. Anal. 19(1), 253–266 (2016)
Zhang, Z., Yuan, R.: Variational approach to solutions for a class of fractional Hamiltonian systems. Math. Methods Appl. Sci. 37, 1873–1883 (2014)
Kirchhoff, G., Hensel, K.: Vorlesungen über mathematische Physik. Bd 1. Mechanik. Teubner, Leipzig (1883)
Jin, J., Wu, X.: Infinitely many radial solutions for Kirchhoff-type problems in \(\mathbb{R}^{N}\). J. Math. Anal. Appl. 369, 564–574 (2010)
Wu, X.: Existence of nontrivial solutions and high energy solutions for Schrödinger–Kirchhoff-type equations in \({\mathbb{R}^{N}}\). Nonlinear Anal., Real World Appl. 12, 1278–1287 (2011)
Pucci, P., Xiang, M., Zhang, B.: A diffusion problem of Kirchhoff type involving the nonlocal fractional p-Laplacian. Discrete Contin. Dyn. Syst. 37, 4035–4051 (2016)
Zhang, J., Zou, W.: Multiplicity and concentration behavior of solutions to the critical Kirchhoff-type problem. Z. Angew. Math. Phys. 68, 1–27 (2017)
Figueiredo, G., Santos, J.: Existence of least energy nodal solution with two nodal domains for a generalized Kirchhoff problem in an Orlicz–Sobolev space. Math. Nachr. 290, 583–603 (2017)
Li, F., Guan, C., Feng, X.: Multiple positive radial solutions to some Kirchhoff equations. J. Math. Anal. Appl. 440, 351–368 (2016)
Alves, C.O., Figueiredo, G.M.: Multi-bump solutions for a Kirchhoff-type problem. Adv. Nonlinear Anal. 5(1), 1–26 (2016)
Baraket, S., Molica Bisci, G.: Multiplicity results for elliptic Kirchhoff-type problems. Adv. Nonlinear Anal. 6(1), 85–93 (2017)
Heidari Tavani, M.R., Afrouzi, G.A., Heidarkhani, S.: Multiplicity results for perturbed fourth-order Kirchhoff-type problems. Opusc. Math. 37(5), 755–772 (2017)
Li, L., Rǎdulescu, V.D., Repovš, D.: Nonlocal Kirchhoff superlinear equations with indefinite nonlinearity and lack of compactness. Int. J. Nonlinear Sci. Numer. Simul. 17(6), 325–332 (2016)
Liang, S., Repovš, D., Zhang, B.: On the fractional Schrödinger–Kirchhoff equations with electromagnetic fields and critical nonlinearity. Comput. Math. Appl. 75(5), 1778–1794 (2018)
Pucci, P., Xiang, M., Zhang, B.: Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations. Adv. Nonlinear Anal. 5(1), 27–55 (2016)
Xiang, M., Zhang, B., Rǎdulescu, V.D.: Existence of solutions for a bi-nonlocal fractional p-Kirchhoff type problem. Comput. Math. Appl. 71(1), 255–266 (2016)
Xiang, M., Zhang, B., Rǎdulescu, V.D.: Multiplicity of solutions for a class of quasilinear Kirchhoff system involving the fractional p-Laplacian. Nonlinearity 29(10), 3186–3205 (2016)
Willem, M.: Analyse Harmonique Réelee. Hermann, Paris (1995)
Sun, J., Wu, T.: Ground state solutions for an indefinite Kirchhoff type problem with steep potential well. J. Differ. Equ. 256, 1771–1792 (2014)
Li, G., Wang, C.: The existence of a nontrivial solution to a nonlinear elliptic problem of linking type without the Ambrosetti–Rabinowitz condition. Ann. Acad. Sci. Fenn., Math. 36, 461–480 (2011)
Acknowledgements
The authors are grateful to the anonymous referees for their valuable suggestions and comments.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (No. 11601139).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chai, G., Liu, W. Existence of solutions for the fractional Kirchhoff equations with sign-changing potential. Bound Value Probl 2018, 125 (2018). https://doi.org/10.1186/s13661-018-1046-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1046-3