Abstract
In this paper, a class of boundary value problems for fractional differential equations with a parameter is studied via the variational methods. Firstly, we present a result that the boundary value problems have at least one weak solution under the quadratic condition and the superquadratic condition, respectively. Additionally, we obtain the existence of at least one nontrivial solution by using the famous mountain pass lemma without the Ambrosetti–Rabinowitz condition. Finally, by a recent critical points theorem of Bonanno and Marano, the existence of at least three solutions is established.
Similar content being viewed by others
1 Introduction
Fractional-order derivatives and integrals are more suitable to describe the properties of real materials than those of integer-order, so fractional-order differential equations are more and more widely used in simulating the mechanical and electrical characteristics of real materials, dynamic system control theory, rock rheological properties, and many other fields (see [1–10] and their references). The existence of solutions for boundary value problems of fractional differential equations is also studied in various ways, such as some fixed point theorems, the fixed point index theory in cones, methods of upper and lower solutions, coincidence degree theory, topological degree theory, etc. (see [11–16]). Later, with the introduction of the mountain pass theorem, variational methods have become a new and effective tool to study the existence of solutions for boundary value problems (see [17–19] and their references). In addition, nonlinear terms are often required to satisfy the Ambrosetti–Rabinowitz (A-R for short) condition when variational methods are applied. For example, in [20], Zhao and Tang studied a class of boundary value problems for fractional differential equations and obtained the existence of at least one weak solution by using the critical point theory under satisfying the A-R condition.
Chen and Liu [21] considered the following boundary value problems of fractional differential equations and obtained the existence of at least one weak solution under the A-R condition:
where \({}_{0}D_{t}^{\alpha }\) and \({}_{t}D_{T}^{\alpha }\) are the left and right Riemann–Liouville fractional derivatives of order \(\alpha \in (0,1]\) respectively. \(f:[0,T]\times \mathbb{R}\rightarrow \mathbb{R}\). The result is as follows.
Theorem 1.1
([21], Theorem 4.2)
Let\(\frac{1}{p}<\alpha \leq 1\). Assume that
- \((V_{1})\):
\(f\in C([0,T]\times \mathbb{R},\mathbb{R})\).
- \((V_{2})\):
There exist constants\(\mu \in (0,\frac{1}{p})\)and\(M>0\)such that
$$\begin{aligned} 0< F(t,x)\leq \mu xf(t,x),\quad \forall t\in [0,T], x\in \mathbb{R} \textit{ with } \vert x \vert \geq M. \end{aligned}$$- \((V_{3})\):
For\(t\in [0,T]\)and\(x\in \mathbb{R}\), we have
$$\begin{aligned} \limsup_{ \vert x \vert \rightarrow 0}\frac{F(t,x)}{ \vert x \vert ^{p}}< \frac{(\varGamma (\alpha +1))^{p}}{pT^{\alpha p}}. \end{aligned}$$Then BVP (1.1) admits at least one nontrivial weak solution.
Motivated by the above mentioned works, we are interested in the following fractional differential boundary value problem:
where \(0<\alpha \leq 1\), \({}_{0}D_{t}^{\alpha }\) and \({}_{t}D_{T}^{\alpha }\) denote the left and right Riemann–Liouville fractional derivatives of order α, respectively. \(\lambda >0\) is a parameter. \(\phi _{p}:\mathbb{R}\rightarrow \mathbb{R}\) is the p-Laplacian defined by \(\phi _{p}(s)=|s|^{p-2}s\) if \(s\neq 0\), \(\phi _{p}(0)=0\), \(1< p<\infty \). \(f:[0,T]\times \mathbb{R}\rightarrow \mathbb{R}\) and \(F(t,x)=\int _{0}^{x}f(t,s)\,\mathrm{d}s\). The existence and multiplicity of solutions for boundary value problem (BVP for short) (1.2) will be derived by the critical point theory.
In the following proofs, we assume that \(f(t,x)\) and \(F(t,x)\) satisfy some of the following conditions:
- \((A_{0})\):
\(F(t,x)\) is measurable in t for every \(x\in \mathbb{R}\) and continuously differentiable in x for a.e. \(t\in [0,T]\), and there exist \(k_{1}\in C(\mathbb{R}^{+},\mathbb{R}^{+})\) and \(k_{2}\in L^{1}([0,T],\mathbb{R}^{+})\) such that
$$\begin{aligned} \bigl\vert F(t,x) \bigr\vert \leq k_{1} \bigl( \vert x \vert \bigr)k_{2}(t), \bigl\vert f(t,x) \bigr\vert \leq k_{1} \bigl( \vert x \vert \bigr)k_{2}(t) \end{aligned}$$for all \(x\in \mathbb{R}\) and a.e. \(t\in [0,T]\).
- \((A_{1})\):
There exist a constant \(0\leq \theta < p\) and a function \(\eta _{1}(t)\in C([0,T])\) with \(\operatorname{ess}\inf \eta _{1}>0\) such that
$$\begin{aligned} \limsup_{ \vert x \vert \rightarrow \infty }\frac{F(t,x)}{ \vert x \vert ^{\theta }}< \eta _{1}(t) \end{aligned}$$uniformly for a.e. \(t\in [0,T]\).
- \((A_{2})\):
There is a function \(\eta _{2}(t)\in C([0,T])\) with \(\operatorname{ess}\inf \eta _{2}>0\) such that
$$\begin{aligned} \limsup_{ \vert x \vert \rightarrow \infty }\frac{F(t,x)}{ \vert x \vert ^{p}}< \eta _{2}(t) \end{aligned}$$uniformly for a.e. \(t\in [0,T]\).
- \((A_{3})\):
\(\limsup_{|x|\rightarrow 0}\frac{F(t,x)}{|x|^{p}}=0\) uniformly for a.e. \(t\in [0,T]\).
- \((A_{4})\):
\(F(t,x)\geq 0\) for all \(t\in [0,T]\) and \(x\in \mathbb{R}\).
- \((A_{5})\):
There is a constant \(\vartheta >p\) such that
$$\begin{aligned} \limsup_{ \vert x \vert \rightarrow \infty } \frac{\vartheta F(t,x)-f(t,x)x}{ \vert x \vert ^{p}}\leq 0 \end{aligned}$$uniformly for a.e. \(t\in [0,T]\).
- \((A_{6})\):
There exists a subset Ω of \([0,T]\) with \(\operatorname{meas}(\varOmega )>0\) such that
$$\begin{aligned} \liminf_{ \vert x \vert \rightarrow \infty }\frac{F(t,x)}{ \vert x \vert ^{p}}>0 \end{aligned}$$uniformly for a.e. \(t\in \varOmega \).
Remark 1.1
By \((A_{1})\), there exists a constant \(L_{1}>0\) such that
for a.e. \(t\in [0,T]\) and \(x\in \mathbb{R}\).
Similarly, \((A_{2})\) implies that there is a constant \(L_{2}>0\) such that
for a.e. \(t\in [0,T]\) and \(x\in \mathbb{R}\).
The following arrangement of the article is as follows. In the second part, the basic definitions, some properties and lemmas of fractional calculus are given. Additionally, the related fractional derivative space and the variational structure of BVP (1.2) is established. In the third part, we give the existence and multiplicity theorems of nontrivial solutions of BVP (1.2) under some appropriate conditions.
2 Preliminaries
In order to obtain the existence of solutions to BVP (1.2), we need to recall some necessary definitions and related properties of fractional calculus, which will be used in the proofs later in this paper.
Definition 2.1
Let u be a function defined on \([a,b]\). The left and right Riemann–Liouville fractional integrals of order γ for the function u denoted by \({}_{a}D_{t}^{-\gamma }u(t)\) and \({}_{t}D_{b}^{-\gamma }u(t)\), respectively, are defined by
and
provided the right-hand sides are pointwise defined on \([a,b]\), where \(\varGamma >0\) is the gamma function.
Definition 2.2
Let u be a function defined on \([a,b]\). The left and right Riemann–Liouville fractional derivatives of order γ for the function u denoted by \({}_{a}D_{t}^{\gamma }u(t)\) and \({}_{t}D_{b}^{\gamma }u(t)\), respectively, are defined by
and
where \(t\in [a,b]\), \(n-1\leq \gamma < n\), and \(n\in \mathbb{N}\).
Remark 2.1
If \(0\leq \gamma <1\), then
and
Remark 2.2
([19])
For \(n\in \mathbb{N}\), if \(\gamma =n-1\), according to Definition 2.2, we find that
where \(u^{(n-1)}(t)\) is the usual derivative of order \(n-1\).
Now, we present the rule for fractional integration by parts.
Property 2.1
([23])
If \(u\in L^{p}([a,b],\mathbb{R}^{N}),v\in L^{q}([a,b],\mathbb{R}^{N})\) and \(p\geq 1,q\geq 1,\frac{1}{p}+\frac{1}{q}\leq 1+\gamma \) or \(p\neq 1,q\neq 1,\frac{1}{p}+\frac{1}{q}=1+\gamma \). Then
In order to deal with BVP (1.2), we introduce appropriate function spaces and the related variational structure.
Let \(L^{p}([0,T],\mathbb{R})\)\((1\leq p<\infty )\) and \(C([0,T],\mathbb{R})\) be the p-Lebesgue space and the continuous function space, respectively, with the norms
and
To set up the variational structure of BVP (1.2), we need to construct the appropriate function space first.
Definition 2.3
Let \(0<\alpha \leq 1\) and \(1< p<\infty \). The fractional derivative space \(E_{0}^{\alpha,p}\) is defined as the closure of \(C_{0}^{\infty }([0,T],\mathbb{R})\), that is, \(E_{0}^{\alpha,p}=\overline{C_{0}^{\infty }([0,T],\mathbb{R})}\) with the norm
Remark 2.3
The fractional derivative space \(E_{0}^{\alpha,p}\) is the space of functions \(x(t)\in L^{p}([0,T],\mathbb{R})\) with an α-order Riemann–Liouville fractional derivative \({}_{0}D_{t}^{\alpha }x(t)\in L^{p}([0,T],\mathbb{R})\) and \(x(0)=x(T)=0\).
Remark 2.4
From [19], the fractional derivative space \(E_{0}^{\alpha,p}\)\((0<\alpha \leq 1, 1<p<\infty )\) is a reflexive and separable Banach space.
Lemma 2.1
([19])
Let\(0<\alpha \leq 1\)and\(1< p<\infty \). For any\(x\in E_{0}^{\alpha,p}\), we have
If\(\alpha >\frac{1}{p}\)and\(\frac{1}{p}+\frac{1}{q}=1\), then
We denote \(G= \frac{T^{\alpha -\frac{1}{p}}}{\varGamma (\alpha )((\alpha -1)q+1)^{\frac{1}{q}}}\).
Remark 2.5
According to formula (2.2), let \(x\in E_{0}^{\alpha,p}\), the norm \(\|x\|_{\alpha,p}\) is equivalent to
In the following discussion, we denote \(\|x\|=\|x\|_{\alpha,p}\).
Lemma 2.2
([19])
Let\(0<\alpha \leq 1\)and\(1< p<\infty \). Assume that\(\alpha >\frac{1}{p}\)and the sequence\(\{x_{n}\}\)converges weakly toxin\(E_{0}^{\alpha,p}\), that is, \(x_{n}\rightharpoonup x\)as\(n\rightarrow \infty \). Then\(x_{n}\rightarrow x\)in\(C([0,T],\mathbb{R})\)as\(n\rightarrow \infty \), that is, \(\|x_{n}-x\|_{\infty }\rightarrow 0\)as\(n\rightarrow \infty \).
Definition 2.4
The weak solution of BVP (1.2) is a function \(x\in E_{0}^{\alpha,p}\) satisfying the following equation:
For the sake of convenience, the solution of BVP (1.2) mentioned later is the weak solution of BVP (1.2).
For \(\forall x\in E_{0}^{\alpha,p}\), we consider the functional \(I:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\) as follows:
From [25], we can know that \(I\in C^{1}(E_{0}^{\alpha,p},\mathbb{R})\) and
It follows from Definition 2.4 and (2.6) that if \(x\in E_{0}^{\alpha,p}\) is a solution of \(I'(x)=0\), x is a weak solution of BVP (1.2).
3 Existence and multiplicity of solutions of BVP (1.2)
Definition 3.1
Let E be a real Banach space and \(J\in C^{1}(E,\mathbb{R})\). If any sequence \(\{x_{n}\}\subset E\) for which \(\{J(x_{n})\}\) is bounded and \(J'(x_{n})\rightarrow 0\) as \(n\rightarrow +\infty \) possesses a convergent subsequence, then we say that J satisfies the Palais–Smale condition (P.S. condition for short).
Lemma 3.1
([24])
LetEbe a real reflexive Banach space. If the functional\(J:E\rightarrow \mathbb{R}\)is weakly lower semicontinuous and coercive, i.e., \(\lim_{\|x\|\rightarrow \infty }J(x)=+\infty \), then there exists\(x_{\ast }\in E\)such that\(J(x_{\ast })=\inf_{x\in E}J(x)\). Moreover, ifJis also Fréchet differentiable onE, then\(J'(x_{\ast })=0\).
Lemma 3.2
([25] Mountain pass theorem)
LetEbe a real Banach space and\(J\in C^{1}(E,\mathbb{R})\)satisfy the P.S. condition. Suppose that
- (1)
\(J(0)=0\).
- (2)
There exist\(\rho >0\)and\(\sigma >0\)such that\(J(x_{0})\geq \sigma \)for all\(x_{0}\in E\)with\(\|x_{0}\|=\rho \).
- (3)
There exists\(x_{1}\in E\)with\(\|x_{1}\|\geq \rho \)such that\(J(x_{1})<\sigma \).
Then\(z=\inf_{h\in \Delta }\max_{t\in [0,1]}J(h(t))\geq \sigma \)is a critical value ofJ, where
$$\begin{aligned} \Delta = \bigl\{ h\in C \bigl([0,1], E \bigr)|h(0)=x_{0}, h(1)=x_{1} \bigr\} . \end{aligned}$$
Lemma 3.3
([26])
LetEbe a real reflexive Banach space, \(\varPhi:E\rightarrow \mathbb{R}\)be a sequentially weakly lower semicontinuous, coercive, and continuously Gâteaux differentiable functional whose Gâteaux derivative admits a continuous inverse on\(E^{\ast }\), \(\varPsi:E\rightarrow \mathbb{R}\)be a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact such that
Assume that there exist\(r>0\)and\(\omega \in E\), with\(r<\varPhi (\omega )\)such that
- (1)
\(\sup \{\varPsi (x):\varPhi (x)\leq r \}< r \frac{\varPsi (\omega )}{\varPhi (\omega )}\),
- (2)
for all\(\lambda \in (\frac{\varPhi (\omega )}{\varPsi (\omega )}, \frac{r}{\sup \{\varPsi (x):\varPhi (x)\leq r\}} )\), the functional\(\varPhi -\lambda \varPsi \)is coercive.
Then, for each\(\lambda \in (\frac{\varPhi (\omega )}{\varPsi (\omega )}, \frac{r}{\sup \{\varPsi (x):\varPhi (x)\leq r\}} )\), the functional\(\varPhi -\lambda \varPsi \)has at least three distinct critical points inE.
Lemma 3.4
Suppose that\((A_{0})\)and\((A_{4}-A_{5})\)hold, thenIsatisfies the P.S. condition, i.e., for every sequence\(\{x_{n}\}\in E_{0}^{\alpha,p}\), \(\{x_{n}\}\)has a convergent subsequence if
Proof
First we prove that \(\{x_{n}\}\) is a bounded sequence in \(E_{0}^{\alpha,p}\).
Without loss of generality, in the next proof of the theorem, the sequence \(\{x_{n}\}\) and its subsequences are all denoted as \(\{x_{n}\}\).
Suppose that \(\{x_{n}\}\) is unbounded. Passing to a subsequence, we may assume that \(\|x_{n}\|\rightarrow \infty \). Let \(\varpi _{n}=\frac{x_{n}}{\|x_{n}\|}\), so that \(\|\varpi _{n}\|=1\). By Lemma 2.2, also passing to a subsequence, we can suppose that
as \(n\rightarrow \infty \). Moreover, we have
as \(n\rightarrow \infty \). By (3.1) there exists a constant \(K_{1}>0\) such that
Notice that \(\|x_{n}\|\rightarrow \infty \), we have
In view of \((A_{0})\) and \((A_{5})\), there exists \(\varOmega _{0}\subset [0,T]\) with \(\operatorname{meas}(\varOmega _{0})=0\) such that
for all \(x\in \mathbb{R}\) and \(t\in [0,T]\setminus \varOmega _{0}\) and
uniformly for \(t\in [0,T]\setminus \varOmega _{0}\). This yields
for \(t\in [0,T]\setminus \varOmega _{0}\). Otherwise, there exist \(t_{0}\in [0,T]\setminus \varOmega _{0}\) and a subsequence of \(\{x_{n}\}\) such that
If \(\{x_{n}(t_{0})\}\) is bounded, then there exists a positive constant \(K_{2}\) such that \(|x_{n}(t_{0})|\leq K_{2}\) for all \(n\in \mathbb{N}\). By (3.4) we find
as \(n\rightarrow \infty \), which contradicts (3.6). So, there is a subsequence of \(\{x_{n}(t_{0})\}\) such that \(|x_{n}(t_{0})|\rightarrow \infty \) as \(n\rightarrow \infty \).
This contradicts (3.6). Thus, (3.5) holds. From (3.3) and (3.5) we obtain
Since \(\vartheta >p\), we get
but \(\|\varpi _{n}\|=1\). This is a contradiction. Hence, \(\{x_{n}\}\) is a bounded sequence in \(E_{0}^{\alpha,p}\).
Since \(E_{0}^{\alpha,p}\) is a reflexive space, there exists a weakly convergent subsequence such that \(x_{n}\rightharpoonup x\) in \(E_{0}^{\alpha,p}\). Hence, we have
as \(n\rightarrow \infty \). Combining Lemma 2.2 with (2.3), we obtain that \(\{x_{n}\}\) converges to x strongly in \(C([0, T], \mathbb{R})\), i.e., \(\|x_{n}-x\|\rightarrow 0\) as \(n\rightarrow \infty \), which implies that
as \(n\rightarrow \infty \). Note that
Thus, from (3.8) and (3.9) we have
as \(n\rightarrow \infty \). For any \(s_{1}\), \(s_{2}\in \mathbb{R}\), it is well known that (see Lemma 4.2 in [27]) there exists \(a_{1}>0\) such that
Following (3.11), we obtain that there exist \(c_{1}\), \(c_{2}>0\) such that
When \(1< p<2\), one has
Thus, noting that \((b_{1}+b_{2})^{\gamma }\leq 2^{\gamma -1}(b_{1}^{\gamma }+b_{2}^{ \gamma })\), where \(b_{1}\), \(b_{2}\geq 0\), \(\gamma \geq 1\) (see [28]), we have
where \(c_{3}=2^{\frac{(p-1)(2-p)}{2}}\), which, together with (3.12), implies
When \(p\geq 2\), by (3.12) we get
It follows from (3.10), (3.13), and (3.14) that
as \(n\rightarrow \infty \), that is, \(\{x_{n}\}\) converges strongly to x in \(E_{0}^{\alpha,p}\). The proof is completed. □
Theorem 3.1
Assume that\((A_{0})\)and one of the following conditions hold, then BVP (1.2) admits at least one nontrivial solution.
- (1)
\((A_{1})\)holds and\(\lambda \in (0,\infty )\).
- (2)
\((A_{2})\)holds and\(\lambda \in (0,\frac{1}{pG^{p}\int _{0}^{T}\eta _{2}(t)\,\mathrm{d}t})\).
Proof
We shall prove this theorem by Lemma 3.1.
Notice that
Let \(\{x_{n}\}\) converge weakly to x in \(E_{0}^{\alpha,p}\), then \(x_{n}\) converges uniformly to x in \([0,T]\). Therefore
which means that \(I(x)\) is weakly lower semicontinuous.
If \((A_{1})\) holds, it follows from (1.3) and (2.5) that
Because of \(0\leq \theta < p\), we obtain that \(I(x)\rightarrow \infty \) as \(\|x\|\rightarrow \infty \), which indicates that I is coercive. Therefore, by Lemma 3.1, there is \(x_{0}\in E_{0}^{\alpha,p}\) such that \(I(x_{0})=\inf_{x\in E_{0}^{\alpha,p}}I(x)\) and \(I'(x_{0})=0\).
In the same way, if \((A_{2})\) holds, according to (1.4) and (2.5), we have
On account of \(0<\lambda <\frac{1}{pG^{p}\int _{0}^{T}\eta _{2}(t)\,\mathrm{d}t}\), then \(I(x)\rightarrow \infty \) as \(\|x\|\rightarrow \infty \) is the natural result. The proof is finished. □
Remark 3.1
-
(1)
By \((A_{3})\), we know that, for any \(0<\epsilon <\frac{1}{\lambda pTG^{p}}\), there exists \(\delta \in (0,\epsilon )\) such that
$$\begin{aligned} \bigl\vert F(t,x) \bigr\vert \leq \epsilon \vert x \vert ^{p} \end{aligned}$$for a.e. \(t\in [0,T]\) and \(x\in \mathbb{R}\) with \(|x|\leq \delta \).
-
(2)
By \((A_{5})\) and \((A_{6})\) there exist constants \(K_{3}>1\), \(\varrho >\frac{(\vartheta -p)G^{p}}{2\lambda p}\) and a subset of Ω, still denoted by Ω, with \(|\varOmega |=\operatorname{meas}(\varOmega )>0\) such that
$$\begin{aligned} \vartheta F(t,x)-f(t,x)x\leq \varrho \vert x \vert ^{p} \end{aligned}$$and
$$\begin{aligned} F(t,x)>\frac{2\varrho }{\vartheta -p} \vert x \vert ^{p} \end{aligned}$$for all \(|x|\geq K_{3}\) and \(t\in \varOmega \).
It follows from \((A_{0})\) that
$$\begin{aligned} F(t,x)\leq \max_{s\in [0,K_{3}]}k_{1}(s)k_{2}(t) \end{aligned}$$for all \(|x|\leq K_{3}\) and a.e. \(t\in [0,T]\).
Therefore, we obtain
$$\begin{aligned} F(t,x)>\frac{2\varrho }{\vartheta -p} \bigl( \vert x \vert ^{p}-K_{3}^{p} \bigr)-\max_{s\in [0,K_{3}]}k_{1}(s)k_{2}(t) \end{aligned}$$for all \(|x|\in \mathbb{R}\) and \(t\in \varOmega \).
Theorem 3.2
If\((A_{0})\)and\((A_{3}-A_{6})\)hold, then BVP (1.2) admits at least one nontrivial weak solution for each\(\lambda \in (0,\frac{1}{p\epsilon TG^{p}})\).
Proof
Obviously, it follows from the definition of I that \(I(0)=0\). Therefore, \((1)\) of Lemma 3.2 is true.
Let
then it follows from (2.3) that
for all \(x\in E_{0}^{\alpha,p}\) with \(\|x\|=\rho \).
Therefore, for all \(x\in E_{0}^{\alpha,p}\) with \(\|x\|=\rho =\frac{\delta }{G}\), from Remark 3.1, we have
In view of \(0<\lambda <\frac{1}{p\epsilon TG^{p}}\), we obtain that \(\sigma >0\). This implies that \((2)\) in Lemma 3.2 is satisfied.
Choose \(x_{0}(t)\in E_{0}^{\alpha,p}\) with \(\|x_{0}\|\leq G\) and \(\int _{\varOmega }|x_{0}(t)|^{p}\,\mathrm{d}t=1\).
And for \(\varsigma >0\), we have
Notice that \(\varrho >\frac{(\vartheta -p)G^{p}}{2\lambda p}\), we can get that \(I(\varsigma x_{0})\rightarrow -\infty \) as \(\varsigma \rightarrow \infty \). Hence \((3)\) of Lemma 3.2 holds.
Finally, note that \(I(0)=0\), while for critical point x, \(I(x)\geq \sigma >0\). So x is a nontrivial weak solution of BVP (1.2). The proof is completed. □
We then use Lemma 3.3 to show the multiplicity of solutions to BVP (1.2).
Theorem 3.3
Assume that\((A_{0})\)and\((A_{1})\)hold. Suppose also that there exist\(r>0\)and\(\omega \in E_{0}^{\alpha,p}\)such that\(\frac{1}{p}\|\omega \|^{p}>r\)and
Then, for\(\lambda \in (\lambda _{l},\lambda _{r})\), BVP (1.2) admits at least three weak solutions, which are critical points of the functional\(I:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\).
Proof
As far as we know, \(E_{0}^{\alpha,p}\) is a real reflexive Banach space. We consider the functionals \(\varPhi:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\) and \(\varPsi:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\) defined, respectively, by
and
According to the condition of \((A_{0})\), we can know that Φ, Ψ are well defined and Gâteaux differentiable functionals whose Gâteaux derivatives at the point \(x\in E_{0}^{\alpha,p}\) are the functionals \(\varPhi '(x)\), \(\varPsi '(x)\in (E_{0}^{\alpha,p})^{\ast }\), given by
and
for every \(y\in E_{0}^{\alpha,p}\). For \(\{x_{n}\}\), \(x\in E_{0}^{\alpha,p}\), \(x_{n}\rightarrow x\) in \(E_{0}^{\alpha,p}\) as \(n\rightarrow \infty \), by Lemma 2.2, we get that \(\{x_{n}\}\) converges uniformly to x in \(C([0,T],\mathbb{R})\). Hence
which implies that Ψ is sequentially weakly upper semicontinuous.
By \((A_{0})\), one can get \(F(t,x_{n})\rightarrow F(t,x)\) as \(n\rightarrow \infty \). By the Lebesgue control convergence theorem, \(\varPsi '(x_{n})\rightarrow \varPsi '(x)\) strongly, which implies that \(\varPsi ':E_{0}^{\alpha,p}\rightarrow E_{0}^{\alpha,p}\) is strongly continuous on \(E_{0}^{\alpha,p}\), that is, \(\varPsi '\) is a compact operator.
From \((A_{0})\), it is standard to see that \(\varPhi:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\) is sequentially weakly lower semicontinuous, coercive, and its derivative \(\varPhi '\) admits a continuous inverse on \((E_{0}^{\alpha,p})^{\ast }\).
Moreover, it is clear that \(\inf_{x\in E_{0}^{\alpha,p}}\varPhi (x)=\varPhi (0)=\varPsi (0)=0\).
Put \(r>0\), for \(x\in E_{0}^{\alpha,p}\) with \(\varPhi (x)=\frac{1}{p}\|x\|^{p}\leq r\), then \(\|x\|_{\infty }^{p}\leq G^{p}\|x\|^{p}\leq pG^{p}r\), we can get
Hence, using \(\lambda <\lambda _{r}\), we have
On the other hand, by \(\lambda >\lambda _{l}\), we get
Thus
and \((1)\) of Lemma 3.3 holds.
Then, let us verify that, for \(\lambda \in (\lambda _{l},\lambda _{r})\), \(\varPhi -\lambda \varPsi \) is coercive. For \(x\in E_{0}^{\alpha,p}\), we obtain
Notice that \(0\leq \theta < p\), so \(\varPhi (x)-\lambda \varPsi (x)\rightarrow +\infty \) as \(\|x\|\rightarrow +\infty \), that is, \(\varPhi -\lambda \varPsi \) is coercive. Obviously, \((2)\) in Lemma 3.3 holds.
Then, by Lemma 3.3, we claim that, for each \(\lambda \in (\lambda _{l},\lambda _{r})\), \(I:E_{0}^{\alpha,p}\rightarrow \mathbb{R}\) given by \(I=\varPhi -\lambda \varPsi \) has at least three distinct critical points in \(E_{0}^{\alpha,p}\), that is, BVP (1.2) has at least three solutions. □
References
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
Pang, D., Jiang, W., Liu, S., Du, J.: Stability analysis for a single degree of freedom fractional oscillator. Phys. A 523, 498–506 (2019)
Oldham, K.: Reactional differential equations in electrochemistry. Adv. Eng. Softw. 41(1), 9–12 (2010)
Liu, F., Burrage, K.: Novel techniques in parameter estimation for fractional dynamical models arising from biological systems. Comput. Math. Appl. 62(3), 822–833 (2011)
Meng, X., Wang, L., Zhang, T.: Global dynamics analysis of a nonlinear impulsive stochastic chemostat system in a polluted environment. J. Appl. Anal. Comput. 6, 865–875 (2016)
Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400–1409 (2013)
Torres, C.: Existence of solutions for perturbed fractional Hamiltonian systems. JFCA 62–70 (2015)
Agarwal, R.P., Ertem, T., Zafer, A.: Asymptotic integration of second-order nonlinear delay differential equations. Appl. Math. Lett. 48, 128–134 (2015)
Bai, Z., Zhang, Y.: Solvability of fractional three-point boundary value problems with nonlinear growth. Appl. Math. Comput. 218, 1719–1725 (2011)
Zhang, X., Liu, L., Wu, Y.: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Modelling 55, 1263–1274 (2012)
Dogan, A.: On the existence of positive solutions for the second-order boundary value problem. Appl. Math. Lett. 49, 107–112 (2015)
Chen, T., Liu, W.: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671–1675 (2012)
Wang, Y., Liu, L., Wu, Y.: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 74, 3599–3605 (2011)
Zhang, X., Liu, L., Wu, Y.: The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives. Appl. Math. Comput. 218, 8526–8536 (2012)
Jiang, W.: The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 1987–1994 (2011)
Qiao, Y., Zhou, Z.: Existence of solutions for a class of fractional differential equations with integral and anti-periodic boundary conditions. Bound. Value Probl. 2017, 11 (2017). https://doi.org/10.1186/s13661-016-0745-x
Francesconi, M., Mugnai, D.: The fractional Hartree equation without the Ambrosetti–Rabinowitz condition. Nonlinear Anal. Real World Appl. 33, 363–375 (2017)
Heidarkhani, S., Salari, A., Caristi, G., Barilla, D.: Perturbed nonlocal fourth order equations of Kirchhoff type with Navier boundary conditions. Bound. Value Probl. 2017, 86 (2017). https://doi.org/10.1186/s13661-017-0817-6
Jiao, F., Zhou, Y.: Existence results for fractional boundary value problem via critical point theory. Internat. J. Bifur. Chaos 22, 1250086 (2012)
Zhao, Y., Tang, L.: Multiplicity results for impulsive fractional differential equations with p-Laplacian via variational methods. Bound. Value Probl. 2017, 123 (2017). https://doi.org/10.1186/s13661-017-0855-0
Chen, T., Liu, W.: Solvability of fractional boundary value problem with p-Laplacian via critical point theory. Bound. Value Probl. 2016, 75 (2016). https://doi.org/10.1186/s13661-016-0583-x
Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press., New Tork (1999)
Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986)
Bonanno, G., Marano, S.A.: On the structure of the critical set of nondifferentiable functionals with a weak compactness condition. Appl. Anal. 89, 1–10 (2010)
Jia, M., Liu, X.: Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions. Appl. Math. Comput. 232, 313–323 (2014)
Lian, H.: Boundary value problems for nonlinear ordinary differential equations on infinite intervals. Doctoral thesis (2007)
Acknowledgements
The authors express their heartfelt thanks to the editors and referees who have provided some important suggestions.
Availability of data and materials
This paper focuses on theoretical analysis, not involving experiments and data.
Funding
The article is supported by the National Natural Science Foundation of China (Grant No.: 11572148, 11872201).
Author information
Authors and Affiliations
Contributions
The authors have equal contributions to each part of this paper. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Qiao, Y., Chen, F. & An, Y. Nontrivial solutions of a class of fractional differential equations with p-Laplacian via variational methods. Bound Value Probl 2020, 67 (2020). https://doi.org/10.1186/s13661-020-01365-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01365-w