Abstract
In this paper, we apply critical point theory and variational methods to study the multiple solutions of boundary value problems for an impulsive fractional differential equation with p-Laplacian. Some new criteria guaranteeing the existence of multiple solutions are established for the considered problem.
Similar content being viewed by others
1 Introduction and main results
Considering the following impulsive fractional differential equations:
where \(0<\alpha\leq1\), \(\Phi_{p}(s)=|s|^{p-2}s\) (\(s\neq0\)), \(\Phi_{p}(0)=0\), \(p>1\) and \({{}_{t}D_{T}^{\alpha}}\) denotes the right Riemann-Liouville fractional derivative of order α; \(0=t_{0}< t_{1}<\cdots<t_{m+1}=T\) and
where
\({}^{c}_{0}D^{\alpha}_{t}\) is the left Caputo fractional derivative of order α, \(f\in C([0,T]\times\mathbb{R},\mathbb{R})\) and \(I_{j}\in C(\mathbb{R},\mathbb{R})\).
Fractional calculus is a generalization of classical derivatives and integrals to an arbitrary (non-integer) order. It represents a powerful tool in applied mathematics to deal with a myriad of problems from different fields such as physics, mechanics, electricity, control theory, rheology, signal and image processing, aerodynamics, electricity, etc. (see [1–3] and the references therein). Recently the theory and application of fractional differential equations have been rapidly developed. The existence and multiplicity of solutions to such problems have been extensively studied by many mathematicians; see the monographs of Podlubny [1], Kilbas [4], Diethelm [5], and also [6–12] and the references therein. The main classical techniques to study fractional differential equations are degree theory, the method of upper and lower solutions, and fixed point theorems. For some related work on the theory and application of fractional differential equations, we refer the interested reader to [11–17] and the references therein.
In recent years, variational methods and critical point theory have already been applied successfully to investigate the existence of solutions for nonlinear fractional boundary value problems [18–27]. By establishing a corresponding variational structure and using the Mountain Pass theorem, the authors [18] first dealt with the existence of solutions for a class of fractional boundary value problems. Since then the variational methods are applied to discuss the existence of solutions for fractional differential equations. The literature on this approach has been extended by many authors as [20–26]. Moreover, the p-Laplacian introduced by Leibenson (see [28]) often occurs in non-Newtonian fluid theory, nonlinear elastic mechanics and so on. Note that, when \(p=2\), the nonlinear and nonlocal differential operator \({{}_{t}D}_{T}^{\alpha}\Phi_{p}({}_{0}^{c}D_{t}^{\alpha})\) reduces to the linear differential operator \({{}_{t}D}_{T}^{\alpha}{{}_{0}^{c}D_{t}^{\alpha}}\), and further reduces to the local second-order differential operator \(-d^{2}/dt^{2}\) when \(\alpha=1\).
Further, some authors have started to discuss the existence of solutions for impulsive fractional boundary value problems by using variational methods [29–37]. Taking a fractional Dirichlet problem with impulses as a model, Bonanno et al. [29] and Rodríguez-López and Tersian [30] investigated the following fractional differential equations with impulsive effects:
where \(\lambda,\mu\in(0,+\infty)\) are two parameters. By applying the critical point theorem and variational methods, they obtained the existence results of at least one and three solutions for problem (1.2). In [32], the authors considered a class of nonlinear impulsive fractional differential systems including Lipschitz continuous nonlinear terms. Under suitable hypotheses and by applying variational methods, they obtained some new criteria guaranteeing that the studied systems have at least two nontrivial and nonnegative solutions. Furthermore, under appropriate hypotheses and by applying Morse theory coupled with local linking arguments, Zhao et al. [36] obtained the existence of at least one nontrivial solution for problem (1.2), in the case \(\lambda=\mu=1\).
Motivated by the described work, our goal is to apply variational methods to problem (1.1) and prove the existence of weak solutions under some suitable assumptions. With the impulsive effects and p-Laplacian operator taken into consideration, the corresponding variational functional φ will be more complicated. To the best of our knowledge, with exception of [38], little work is done on the existence and multiplicity of solutions for impulsive fractional differential problems with p-Laplacian by using variational methods. The main results of this paper are different from the aforementioned results, and extend the recent results studied in [22, 25, 29–35] in the sense that we deal with the case \(p\neq2\). The effectiveness of our results is illustrated by some examples.
In this paper, we need the following assumptions on the nonlinearity f and the impulsive terms \(I_{j}\):
-
(H1)
There exists a constant \(\mu>p\) such that \(I_{j}(u)u\leq\mu \int_{0}^{u}I_{j}(s)\,ds<0\) for any \(u\in E^{\alpha,p}\setminus\{0\}\), \(j=1,2,\ldots,m\), where \(E^{\alpha,p}\) will be introduced in Definition 2.3.
-
(H2)
There exists a constant \(\vartheta\in(p,\mu]\) such that \(\vartheta F(t,u)\leq f(t,u)u\) for all \(u\in E^{\alpha,p}\), \(t\in[0,T]\), where \(F(t,u)=\int_{0}^{u}f(t,s)\,ds\).
-
(H3)
There exist constants \(\delta,\gamma>0\) such that \(F^{0}\leq \delta\) and \(F_{\infty}\geq\gamma\), where
$$F^{0}=\lim_{|u|\rightarrow0}\sup\frac{F(t,u)}{|u|^{\vartheta}},\quad\quad F_{\infty}=\lim_{|u|\rightarrow\infty}\inf\frac {F(t,u)}{|u|^{\vartheta}}. $$ -
(H4)
There exist constants \(\delta_{j}>0\) such that \(\int _{0}^{u}I_{j}(s)\,ds\geq-\delta_{j}|u|^{\mu}\), for all \(u\in{E^{\alpha ,p}}\setminus\{0\}\), where \(j=1,\ldots,m\).
Here are our main results.
Theorem 1.1
Suppose that (H1)-(H4) hold. Then problem (1.1) admits at least two weak solutions.
Theorem 1.2
Suppose that (H1)-(H4) hold. Moreover, \(f(t,u)\) and \(I_{j}(u)\) are odd about u, where \(j=1,\ldots,m\). Then problem (1.1) admits infinitely many weak solutions.
The rest of this paper is organized as follows. In Section 2, we present some basic definitions, lemmas and a variational setting. In Section 3, we give the proofs of our main results.
2 Variational setting and preliminaries
To apply critical point theory to discuss the existence of solutions for problem (1.1), we present some basic notations and lemmas and construct a variational framework, which will be used in the proof of our main results.
Suppose that X is a real Banach space and the functional \(\phi :X\rightarrow\mathbb{R}\) is differentiable. The functional ϕ satisfies the Palais-Smale condition if each sequence \(\{u_{n}\}\) in the space X such that \(\{\phi(u_{n})\}\) is bounded and \(\lim_{n\rightarrow\infty}\phi^{\prime}(u_{n})=0\) admits a convergent subsequence.
Lemma 2.1
Mountain pass theorem; see [39]
Let \(\phi\in C^{1}(X, \mathbb{R})\), and ϕ satisfies the Palais-Smale condition. Assume that there exist \(u_{0},u_{1}\in X\) and a bounded neighborhood Ω of \(u_{0}\) such that \(u_{1}\) is not in Ω and
Then there exists a critical point u of ϕ, i.e., \(\phi^{\prime}(u)=0\), with
Obviously, if either \(u_{0}\) or \(u_{1}\) is a critical point of ϕ then one obtains the existence of at least two critical points for ϕ.
Lemma 2.2
Theorem 38.A in [40]
For the functional \(\phi:B\subseteq X\rightarrow\mathbb{R}\) with B not empty, \(\min_{u\in B}\phi(u)=c\) admits a solution in the case that the following hold:
-
(i)
X is a real reflexive Banach space;
-
(ii)
B is bounded and weak sequentially closed;
-
(iii)
ϕ is weakly sequentially lower semi-continuous in B, i.e., by definition, for every sequence \(\{u_{n}\}\) in B such that \(u_{n}\rightharpoonup u\) as \(n\rightarrow\infty\), one has \(\phi(u)\leq\underline{\lim}_{n\rightarrow\infty}\phi(u_{n})\).
Lemma 2.3
Theorem 9.12 in [41]
Let X be an infinite dimensional Banach space and let \(\phi\in C^{1}(X, \mathbb{R})\) be even, satisfying the Palais-Smale condition, and \(\phi(0)=0\). If \(X=Y\oplus Z\), where Y is finite dimensional, and ϕ satisfies
-
(i)
there exist constants \(\rho,\eta>0\) such that \(\phi |_{{ \partial B_{\rho}}\cap Z}\geq\eta\), and
-
(ii)
for each finite dimensional subspace \(W\subset E\), there is an \(r=r(W)\) such that \(\phi\leq0\) on \(W\setminus{B_{r(W)}}\),
then ϕ has an unbounded sequence of critical values.
Now we present some definitions and notations of the fractional calculus as follows (for details, see [1, 4, 5, 13, 18]):
Denote by \(\operatorname{AC}([a,b])\) the space of absolutely continuous functions on \([a,b]\).
Definition 2.1
For \(\alpha>0\), the left and right Riemann-Liouville fractional derivatives of order α of a function \(f\in \operatorname{AC}([a,b])\) are defined by
Definition 2.2
For \(\alpha>0\), the left and right Caputo fractional derivatives of order α of a function \(f\in \operatorname{AC}([a,b])\) are defined by
When \(\alpha=1\), we obtain from Definitions 2.1 and 2.2 \({}_{a}^{c}D_{t}^{1}f(t)=f^{\prime}(t)\), \({{}_{t}^{c}D_{b}^{1}}f(t)=-f^{\prime}(t)\).
Let \(C_{0}^{\infty}([0,T],\mathbb{R})\) be the set of all functions \(x\in C^{\infty}([0,T],\mathbb{R})\) with \(x(0)=x(T)=0\) and the norm \(\| x\|_{\infty}=\max_{[0,T]}|x(t)|\). Denote the norm of the space \(L^{p}([0,T],\mathbb{R})\) for \(1\leq p<\infty\) by \(\|x\|_{L^{p}}= (\int_{0}^{T}|x(s)|^{p}\,ds )^{1/p}\).
Definition 2.3
Let \(0<\alpha\leq1\) and \(1< p<\infty\). The fractional derivative space \(E_{0}^{\alpha,p}(0,T)\) (denoted by \(E^{\alpha,p}\) for short) is defined by the closure of \(C_{0}^{\infty}([0,T],\mathbb{R})\), with respect to the following norm:
According to [18], Proposition 3.1, it is well known that the space \(E^{\alpha,p}\) is a reflexive and separable Banach space. For \(u\in E^{\alpha,p}\), we have \(u,{{}_{0}^{c}D_{t}^{\alpha}}u\in L^{p}([0,T],R)\), \(u(0)=u(T)=0\).
Proposition 2.1
[13]
Let \(0<\alpha\leq1\) and \(1< p<\infty\). For any \(u\in E^{\alpha,p}\), we have
where \(A_{p}:=\frac{T^{\alpha}}{\Gamma(\alpha+1)}\) is a positive constant, and if \(\alpha>\frac{1}{p}\), then
where \(A_{\infty}:=\frac{T^{\alpha-\frac{1}{p}}}{\Gamma(\alpha )(\alpha q-q+1)^{\frac{1}{q}}}\), \(q=p(p-1)^{-1}>1\) are two positive constants.
Proposition 2.2
[13]
Let \(\frac{1}{p}<\alpha\leq1\) and \(1< p<\infty\). For any \(u\in E^{\alpha,p}\), the imbedding of \(E^{\alpha,p}\) in \(C([0,T],\mathbb{R})\) is compact.
Proposition 2.3
[18], Proposition 3.3
Assume that \(\frac{1}{p}<\alpha\leq1\) and \(1< p<\infty\), and the sequence \(\{ u_{k}\}\) converges weakly to u in \(E^{\alpha,p}\), i.e., \(u_{k}\rightharpoonup u\). Then \(u_{k}\rightarrow u\) in \(C([0,T],\mathbb {R})\), i.e., \(\|u_{k}-u\|_{\infty}\rightarrow0\), as \(k\rightarrow\infty\).
Definition 2.4
Let \(\operatorname{AC}([0,T])\) be the space of absolutely continuous functions on \([0,T]\). A function
is called a classical solution of (1.1), if u satisfies the first equation of (1.1) a.e. on \([0,T]\setminus\{t_{1},\ldots,t_{m}\}\), the limits \({}_{t}D^{\alpha-1}_{T}\Phi_{p}({}^{c}_{0}D^{\alpha}_{t} u)(t_{j}^{+})\) and \({}_{t}D^{\alpha-1}_{T}\Phi_{p}({}^{c}_{0}D^{\alpha}_{t} u)(t_{j}^{-})\) exist and satisfy the impulsive conditions of (1.1), and boundary condition \(u(0)=u(T)=0\) holds.
Definition 2.5
We say that a function \(u\in E^{\alpha,p}\) is a weak solution of problem (1.1), if the following identity:
holds for any \(v\in E^{\alpha,p}\).
In order to study problem (1.1), we define the functional \(\varphi :E^{\alpha,p}\rightarrow\mathbb{R}\) by putting
It is clear that φ is continuous and differentiable at any \(u\in E^{\alpha,p}\) and
for any \(v\in E^{\alpha,p}\). Moreover, the critical point of φ is a weak solution of (1.1).
Proposition 2.4
-
(i)
Let \(\alpha>0\), \(p\geq 1\), \(p\geq1\), and \(\frac{1}{p}+\frac{1}{q}\leq1+\alpha\) (\(p\neq 1\), \(q\neq1\), in the case when \(\frac{1}{p}+\frac{1}{q}=1+\alpha\)). If \(u\in L^{p}(a,b)\) and \(v\in L^{q}(a,b)\), then
$$ \int_{a}^{b} \bigl({{}_{a}D^{-\alpha}_{t}}u(t) \bigr)v(t)\,dt= \int_{a}^{b}u(t) \bigl({{}_{t}D^{-\alpha}_{b}}v(t) \bigr)\,dt. $$(2.6) -
(ii)
Let \(0<\alpha<1\), \(u\in \operatorname{AC}([a,b])\) and \(v\in L^{p}(a,b)\) (\(1\leq p<\infty \)). Then
$$ \int_{a}^{b}u(t) \bigl({{}_{a}^{c}D^{\alpha}_{t}}v(t) \bigr)\,dt={{}_{t}D^{\alpha-1}_{b}}u(t)v(t)\big|_{t=a}^{t=b} + \int_{a}^{b}{{}_{t}D^{\alpha}_{b}}u(t)v(t) \,dt. $$(2.7)
Proposition 2.5
For any \(u,v\in E^{\alpha,p}\), the following identity holds:
Proof
Since \({{}_{0}^{c}D^{\alpha}_{t}}g(t)={{}_{0}D^{\alpha-1}_{t}}g^{\prime }(t)\) and \({{}_{t}D^{\alpha}_{T}}g(t)=-({{}_{t}D^{\alpha-1}_{T}}g(t))^{\prime}\), it follows from (2.6) and (2.7) that
This completes the proof. □
Proposition 2.6
If the function \(u\in E^{\alpha,p}\) is a weak solution of (1.1), then u is a classical solution of (1.1).
Proof
By standard arguments, if u is a classical solution of (1.1), then u is a weak solution. Conversely, if \(u\in E^{\alpha,p}\) is a weak solution of (1.1), then by the definition of a weak solution, (2.4) holds for any \(v\in E^{\alpha,p}\). For \(j\in\{1,\ldots ,m\}\) we choose a function \(v\in E^{\alpha,p}\) with \(v(t)=0\) for every \(t\in[0,t_{j}]\cup[t_{j+1},T]\). Then
and
which implies
for almost every \(t\in(t_{j},t_{j+1})\). Since \(u\in E^{\alpha ,p}\subseteq C([0,T])\), one has \(\int_{t_{j}}^{t_{j+1}}(|{{}_{0}^{c}D_{t}^{\alpha}}u(t)|^{p}+|u(t)|^{p})\,dt<\infty\), \(j=0,1,\ldots,m\) and u satisfies the first equation of (1.1) for almost every \(t\in(0,T)\). By (2.9), since \(v\in L^{p}(t_{j},t_{j+1})\), \({{}_{t}D_{T}^{\alpha}}\Phi_{p}({}_{0}^{c}D_{t}^{\alpha}u(t))=({{}_{t}D_{T}^{\alpha-1}}\Phi_{p}({}_{0}^{c}D_{t}^{\alpha}u(t)))^{\prime}\in L^{p}(t_{j},t_{j+1})\) and then \({{}_{t}D_{T}^{\alpha-1}}\Phi_{p}({}_{0}^{c}D_{t}^{\alpha}u(t))\in \operatorname{AC}([t_{j},t_{j+1}])\). Hence the following limits:
exist.
Now multiplying (2.10) by \(v\in E^{\alpha,p}\), \(v(T)=0\) and integrating between 0 and T, we have
Hence, \(\Delta[{{}_{t}D^{\alpha-1}_{T}} (|{}^{c}_{0}D^{\alpha }_{t}u(t_{j})|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t_{j})} )]=I_{j}(u(t_{j}))\) for every \(j=1,\ldots,m\). So u satisfies the impulsive conditions of problem (1.1). Similarly, u satisfies the boundary conditions. Therefore, u is a classical solution of (1.1). □
3 Proof of main results
In this section, we will study the existence and multiplicities of problem (1.1). First, we give a Lemma.
Lemma 3.1
Assume that (H1) and (H2) hold. Then the function \(\varphi:E^{\alpha,p}\rightarrow\mathbb{R}\) defined by (2.5) is continuous differentiable and weakly sequentially lower semi-continuous. Moreover, it satisfies the Palais-Smale condition.
Proof
From the continuity of f and \(I_{j}\), we know that φ and \(\varphi^{\prime}\) are continuous and differentiable. Let \(u_{k}\rightharpoonup u\) in \(E^{\alpha,p}\). Then \(\|u\|_{E^{\alpha ,p}}\leq\underline{\lim}_{k\rightarrow\infty}\inf\|u_{k}\| _{E^{\alpha,p}}\), and \(\{u_{k}\}\) converges uniformly to u in \(C([0,T])\). So
which implies that φ is weakly sequentially lower semi-continuous.
We will verify that φ satisfies the Palais-Smale condition. Assume that \(\{u_{k}\}_{k\in N}\subset E^{\alpha,p}\) is a sequence such that \(\{\varphi(u_{k})\}_{k\in N}\) is bounded and \(\lim_{k\rightarrow\infty}\varphi^{\prime}(u_{k})=0\). We firstly prove that \(\{u_{k}\}_{k\in N}\) is bounded in \(E^{\alpha,p}\). Obviously, there exists a constant \(c>0\) such that
Then we have
From condition (H1), we have
which together with (3.2), (3.3) and the condition (H2) makes
which implies \(\{u_{k}\}\) is bounded in \(E^{\alpha,p}\).
Since \(E^{\alpha,p}\) is a reflexive Banach space, going if necessary to a subsequence, we can assume that \(u_{k}\rightharpoonup u\) in \(E^{\alpha,p}\), \(u_{k}\rightarrow u\) in \(L^{p}([0,T])\) and \(u_{k}\rightarrow u\) uniformly in \(C([0,T])\). Hence
as \(k\rightarrow\infty\). Moreover, by \(\varphi^{\prime }(u_{k})\rightarrow0\) as \(k\rightarrow\infty\), we have
as \(k\rightarrow\infty\).
Let
and
Notice that
which together with (3.4) and (3.5) yields
From the well-known inequality (see [9], Lemma 4.2)
for all \(x,y\in\mathbb{R}\). Then there exist constants \(c_{i}>0\) (\(i=1,2,3,4\)) such that
and
When \(1< p<2\), by the Hölder inequality, we have
where \(M=2^{(p-1)(2-p)/2}\) is a positive constant. Similarly, we have
It follows from (3.8) and (3.10) that
When \(1< p<2\), by (3.11) and (3.12), we get
where
When \(p\geq2\), in view of (3.7) and (3.8), we have
where \(M_{2}=\min\{c_{1},c_{3}\}\). Therefore, it follows from (3.6), (3.13) and (3.14) that \(\|u_{k}-u\|_{E^{\alpha,p}}\rightarrow0\) as \(k\rightarrow+\infty\). That is, \(u_{k}\rightarrow u\) in \(E^{\alpha ,p}\). Hence, φ satisfies the Palais-Smale condition. □
Now we prove Theorem 1.1 and Theorem 1.2.
Proof of Theorem 1.1
Step I: Obviously, \(\varphi(0)=0\), and Lemma 3.1 has shown that φ satisfies the Palais-Smale condition. For any \(r>0\), take \(\Omega_{r}=\{u\in E^{\alpha,p}:\|u\| _{E^{\alpha,p}}< r\}\). It is easy to show that \(\overline{\Omega}_{r}\) is bounded and weakly sequentially closed. Indeed, if we let \(\{u_{n}\} \subseteq\overline{\Omega}_{r}\) and \(u_{n}\rightharpoonup u\) as \(n\rightarrow\infty\), by the Mazur Theorem [10], there is a sequence of convex combinations \(v_{n}=\sum_{i=1}^{n}\beta_{n_{i}}u_{i}\) with \(\sum_{i=1}^{n}\beta_{n_{i}}=1\), \(\beta_{n_{i}}\geq0\), \(i\in\textbf{N}\) such that \(v_{n}\rightarrow u\) in \(E^{\alpha,p}\). Since \(\overline{\Omega}_{r}\) is a closed convex set, we have \(\{v_{n}\}\subseteq\overline{\Omega}_{r}\) and \(u\in\overline{\Omega}_{r}\).
From Lemma 3.1 we know that φ is weakly sequentially lower semi-continuous on \(\overline{\Omega}_{r}\). Besides, \(E^{\alpha ,p}\) is a reflexive Banach space, so by Lemma 2.2 we see that φ has a local minimum \(u_{0}\in\overline{\Omega}_{r}\). Without loss of generality, we assume that \(\varphi(u_{0})=\min\{\varphi(u):u\in\overline{\Omega}_{r}\}\). Now we will prove that \(\varphi(u_{0})\leq\inf\{\varphi(u):u\in\overline {\Omega}_{r}\}\) for some \(r=r_{0}\). Indeed, from (H3) we may choose \(r_{0},\varepsilon>0\) satisfying
For every \(u\in \partial\Omega_{r_{0}}\) with \(\|u\|_{E^{\alpha ,p}}=r_{0}\), from (2.2), (2.3), (2.5), (H4) and (3.15) we have
which implies that \(\varphi(u)>\varepsilon\) for every \(u\in \partial \Omega_{r_{0}}\). Moreover, \(\varphi(u_{0})\leq\varphi(0)=0\). Then \(\varphi(u_{0})\leq\varphi(0)<\varepsilon<\varphi(u)\) for every \(u\in \partial\Omega_{r_{0}}\). Hence \(\varphi(u_{0})<\inf\{\varphi (u):u\in \partial\Omega_{r_{0}}\}\). So φ has a local minimum \(u_{0}\in \partial\Omega_{r_{0}}\).
Step II: We will verify that there exists \(u_{1}\) with \(\| u_{1}\|_{E^{\alpha,p}}>r_{0}\) such that \(\varphi(u_{1})<\inf\{\varphi (u):u\in \partial\Omega_{r_{0}}\}\), where \(r_{0}\) is given above.
In view of (H3), we choose a sufficiently large \(r_{1}\) such that for all \(\|u\|_{E^{\alpha,p}}\geq r_{1}>r_{0}\)
From (H1), we have the following:
Integrating (3.17) and (3.18) from T to u and u to −T, respectively, we get
Note that \(\int_{0}^{T}I_{j}(s)\,ds<0\) and \(\int_{0}^{-T}I_{j}(s)\,ds<0\). We take
and we get
Clearly, \(\int_{0}^{u}I_{j}(s)\,ds\) is continuous in \([-T,T]\), so there is a constant \(K>0\) such that
Combining (3.19) and (3.20), we get
For any \(u\in E^{\alpha,p}\) with \(u\neq0\), \(\tau>0\), it follows from (3.16) and (3.21) that
as \(\tau\rightarrow\infty\), where \(K_{*}\) is a positive constant. So there exists a sufficiently large \(\tau_{0}\) such that \(\varphi(\tau_{0} u)\leq0\). That is to say, we can choose \(u_{1}\) with \(\|u_{1}\|_{E^{\alpha ,p}}\geq r_{1}\) sufficiently large such that \(\varphi(u_{1})<0\). Therefore, from Step I and Step II we get \(\max\{ \varphi(u_{0}),\varphi(u_{1})\}<\inf\{\varphi(u): u\in \partial\Omega _{r_{0}}\}\). Then Lemma 2.1 admits the critical point \(u_{*}\). So, \(u_{0}\) and \(u_{*}\) are two different critical points of φ, and they are weak solutions of (1.1). □
Example 3.1
Let \(\alpha=0.6\), \(T>0\), \(p=\frac{5}{2}\), \(t_{1}\in (0,T)\), \(a_{0}>0\), \(a(t)\in C([0,T])\) with \(a(t)>0\). Consider the following fractional boundary value problem:
Obviously, \(f(t,u)=(2+\sin t)a(t)u^{4}(t)\), \(I_{1}(u)=-a_{0}u^{5}(t_{1})\), \(\frac {1}{p}=0.4<\alpha=0.6\). Let \(\mu=6\), \(\vartheta=5\), \(\delta_{1}=\frac {a_{0}}{6}\), and \(\delta=\frac{1}{5}\max\{(2+\sin t)a(t):t\in[0,T]\} \), \(\gamma=\frac{1}{5}\min\{(2+\sin t)a(t):t\in[0,T]\}\). By simple computation, the conditions (H1)-(H4) are satisfied. From Theorem 1.1, problem (3.22) has at least two weak solutions.
Proof of Theorem 1.2
We will apply Lemma 2.3 to finish the proof. Obviously, \(\varphi\in C^{1}(E^{\alpha,p},\mathbb{R})\) is even and \(\varphi(0)=0\). Moreover, Lemma 3.1 shows that φ satisfies the Palais-Smale condition.
As \(E^{\alpha,p}\) is a reflexive and separable Banach space, then there are \(e_{i}\in E^{\alpha,p}\) such that \(E^{\alpha,p}=\overline {\operatorname{span}\{e_{i}:i=1,2,\ldots\}}\). For \(k=1,2,\ldots\) , denote
Then \(E^{\alpha,p}=Y_{k}\oplus Z_{k}\).
For any \(u\in Z_{k}\) with \(\|u\|_{E^{\alpha,p}}\leq r_{0}\), combining (2.5) and the conditions (H1)-(H4), we have
which implies that there exists \(\rho>0\) small enough such that \(\varphi(u)\geq\eta>0\) with \(\|u\|_{E^{\alpha,p}}=\rho\).
For any \(u\in Y_{k}\), let
and it is easy to show that \(\|\cdot\|_{*}\) defined by (3.23) is a norm of \(Y_{k}\). Since all the norms of a finite dimensional normed space are equivalent, there is a positive constant \(A_{1}\) such that
From (H1), we have
The above inequality, (3.17) and (3.24) imply that, for any finite dimensional space \(W\subset E^{\alpha,p}\),
where \(\Omega_{1}:=\{t\in[0,T]:|u(t)|\geq A_{\infty}r_{1}\}\) (\(r_{1}\) is given in (3.17)), \(\Omega_{2}:=[0,T]\setminus{\Omega_{1}}\) and \(M^{*}\) is a positive constant. Since \(\vartheta>p\), the above inequality implies that \(\varphi(u)\rightarrow-\infty\) as \(\|u\|_{E^{\alpha ,p}}\rightarrow+\infty\). That is, there exists \(r>0\) such that \(\varphi(u)\leq0\) for \(u\in W\setminus{B_{r(W)}}\). By Lemma 2.3, the functional \(\varphi(u)\) possesses infinitely many critical points, i.e., the fractional impulsive problem (1.1) admits infinitely many weak solutions. The proof is complete. □
Example 3.2
Let \(\alpha=0.75\), \(T>0\), \(p=\frac{3}{2}\), \(t_{1}\in (0,T)\), \(a_{0}>0\), \(a(t)\in C([0,T])\) with \(a(t)>0\). Consider the following fractional boundary value problem:
Obviously, \(\frac{1}{p}=\frac{2}{3}<\alpha=0.75 \) and \(f(t,u)=(1+t^{2})a(t)u^{\frac{5}{3}}(t)\), \(I_{1}(u)=-a_{0}u^{9}(t_{1})\) are odd about u. Let \(\mu=10\), \(\vartheta=\frac{8}{3}\), \(\delta=\frac {3}{8}\max\{(1+t^{2})a(t):t\in[0,T]\}\), \(\gamma=\frac{3}{8}\min\{ (1+t^{2})a(t):t\in[0,T]\}\), and \(\delta_{1}=\frac{a_{0}}{10}\). Then by simple computation, the conditions in Theorem 1.2 are satisfied. Hence, problem (3.25) has infinitely many weak solutions.
4 Conclusion
In this paper, we have proved the existence and multiplicity of the solutions for an impulsive fractional differential equation with p-Laplacian operator. Our approach is based on the well-known mountain pass theorem and minimax methods in critical point. With the impulsive effects and p-Laplacian operator taken into consideration, the corresponding variational functional is more complicated. Therefore, the existence of solutions for impulsive fractional differential problems with p-Laplacian is interesting. As applications, two examples are presented to illustrate the main results. In the future, we will consider the existence of solutions for the impulsive fractional differential equation with p-Laplacian via Morse theory.
References
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1993)
Mirceski, V, Tomovski, Z̃: Modeling of a voltammetric experiment in a limiting diffusion space. J. Solid State Electrochem. 15, 197-204 (2011)
Ahmad, WM, El-Khazali, R: Fractional-order dynamical models of love. Chaos Solitons Fractals 33(4), 1367-1375 (2007)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Diethelm, K: The Analysis of Fractional Differential Equations. Springer, Heidelberg (2010)
Ahmad, B, Sivasundaram, S: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 217, 480-487 (2010)
Zhao, Y, Chen, H, Huang, L: Existence of positive solutions for nonlinear fractional functional differential equation. Comput. Math. Appl. 64, 3456-3467 (2012)
Wang, J, Xiang, H: Upper and lower solutions methods for a class of singular fractional boundary value problems with p-Laplacian operator. Abstr. Appl. Anal. 2010, Article ID 971824 (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)
Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251-257 (2014)
Ahmad, B, Ntouyas, SK, Alsaedi, A: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234-241 (2016)
Peng, L, Zhou, Y: Bifurcation from interval and positive solutions of the three-point boundary value problem for fractional differential equations. Appl. Math. Comput. 257, 458-466 (2015)
Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
Cui, Y: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48-54 (2016)
Fečkan, M, Zhou, Y, Wang, J: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 3050-3060 (2012)
Zhao, Y, Chen, H, Zhang, Q: Existence results for fractional q-difference equations with nonlocal q-integral boundary conditions. Adv. Differ. Equ. 2013, Article ID 48 (2013)
Benchohra, M, Henderson, J, Sba, D: Boundary value problems for fractional inclusions in Banach spaces. Fract. Differ. Calc. 2, 99-108 (2012)
Jiao, F, Zhou, Y: Existence of solutions for a class of fractional boundary value problems via critical point theory. Comput. Math. Appl. 62, 1181-1199 (2011)
Jiao, F, Zhou, Y: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos 22, 1250086 (2012)
Bai, C: Infinitely many solutions for a perturbed nonlinear fractional boundary-value problem. Electron. J. Differ. Equ. 2013, Article ID 136 (2013)
Zhang, X, Liu, L, Wu, Y: Variational structure and multiple solutions for a fractional advection-dispersion equation. Comput. Math. Appl. 68, 1794-1805 (2014)
Zhao, Y, Chen, H, Qin, B: Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods. Appl. Math. Comput. 257, 417-427 (2015)
Zhao, Y, Chen, H, Zhang, Q: Infinitely many solutions for fractional differential system via variational method. J. Appl. Math. Comput. 50, 589-609 (2016)
Sun, H, Zhang, Q: Existence of solutions for a fractional boundary value problem via the mountain pass method and an iterative technique. Comput. Math. Appl. 64, 3436-3443 (2012)
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, 253-266 (2016)
Klimek, M, Odzijewicz, T, Malinowska, AB: Variational methods for the fractional Sturm-Liouville problem. J. Math. Anal. Appl. 416, 402-426 (2014)
Torres, C: Boundary value problem with fractional p-Laplacian operator. Adv. Nonlinear Anal. 5(2), 133-146 (2016)
Leibenson, LS: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk Kirg. SSR 9, 7-10 (1983)
Bonanno, G, Rodríguez-López, R, Tersian, S: Existence of solutions to boundary value problem for impulsive fractional differential equations. Fract. Calc. Appl. Anal. 17(3), 717-744 (2014)
Rodríguez-López, R, Tersian, S: Multiple solutions to boundary value problem for impulsive fractional differential equations. Fract. Calc. Appl. Anal. 17(4), 1016-1038 (2014)
Nyamoradia, N, Rodríguez-López, R: On boundary value problems for impulsive fractional differential equations. Appl. Math. Comput. 271, 874-892 (2015)
Zhao, Y, Zhao, Y: Nontrivial solutions for a class of perturbed fractional differential systems with impulsive effects. Bound. Value Probl. 2016, Article ID 129 (2016)
Heidarkhani, S, Moradi, S: Nontrivial solutions for impulsive fractional differential systems through variational methods. Comput. Math. Appl. (2016). doi:10.1016/j.camwa.2016.04.016
Li, P, Wang, H, Li, Z: Solutions for impulsive fractional differential equations via variational methods. J. Funct. Spaces 2016, Article ID 2941368 (2016)
Heidarkhani, S, Zhao, Y, Caristi, G, Afrouz, GA, Moradi, S: Infinitely many solutions for perturbed impulsive fractional differential systems. Appl. Anal. 96(8), 1401-1424 (2017)
Zhao, Y, Chen, H, Xu, C: Nontrivial solutions for impulsive fractional differential equations via Morse theory. Appl. Math. Comput. 307, 170-179 (2017)
D’Aguì, G, Di Bella, B, Tersian, S: Multiplicity results for superlinear boundary value problems with impulsive effects. Math. Methods Appl. Sci. 39, 1060-1068 (2016)
Torres, C, Nyamoradia, N: Impulsive fractional boundary value problem with p-Laplace operator. J. Appl. Math. Comput. (2016). doi:10.1007/s12190-016-1035-6
Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)
Zeidler, E: Nonlinear Functional Analysis and Applications, vol. III. Springer, Berlin (1985)
Rabinowitz, PH: Minimax Methods in Critical Point with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986)
Acknowledgements
The authors are highly grateful for the referees’ careful reading and comments on this paper. The research is supported by a Project of the Department of Education in Hunan Province (12C0088), and the Aid program for Science and Technology Innovative Research Team in Higher Educational Instituions of Hunan Province.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
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
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0855-0