Multiplicity results for impulsive fractional differential equations with p-Laplacian via variational methods

Yulin Zhao; Liang Tang

doi:10.1186/s13661-017-0855-0

Research
Open Access

Multiplicity results for impulsive fractional differential equations with p-Laplacian via variational methods

Yulin Zhao¹ and
Liang Tang¹Email author

Boundary Value Problems20172017:123

https://doi.org/10.1186/s13661-017-0855-0

Received: 18 January 2017
Accepted: 10 August 2017
Published: 25 August 2017

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.

Keywords

fractional p-Laplacian
variational methods
multiple solutions
impulsive effects

1 Introduction and main results

Considering the following impulsive fractional differential equations:

$$ \textstyle\begin{cases} {{}_{t}D}_{T}^{\alpha}\Phi_{p}({}_{0}^{c}D_{t}^{\alpha}u(t))+|u(t)|^{p-2}u(t)=f(t,u(t)), \quad 0< t< T,t\neq t_{j},\\ \Delta({}_{t}D^{\alpha-1}_{T}\Phi_{p}({}^{c}_{0}D^{\alpha}_{t} u))(t_{j})= I_{j}(u(t_{j})), \quad j=1,2,\ldots,m, \\ u(0)=u(T)=0, \end{cases} $$

(1.1)

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

$$\Delta\bigl({}_{t}D^{\alpha-1}_{T}\Phi_{p} \bigl({}^{c}_{0}D^{\alpha }_{t}u\bigr)\bigr) (t_{j})={{}_{t}D}^{\alpha-1}_{T} \Phi_{p}\bigl({}^{c}_{0}D^{\alpha}_{t} u\bigr) \bigl(t^{+}_{j}\bigr)-{{}_{t}D}^{\alpha-1}_{T} \Phi_{p}\bigl({}^{c}_{0}D^{\alpha}_{t} u\bigr) \bigl(t^{-}_{j}\bigr), $$

where

$$\begin{gathered} {{}_{t}D}^{\alpha-1}_{T}\Phi_{p} \bigl({}^{c}_{0}D^{\alpha}_{t} u \bigr) \bigl(t^{+}_{j} \bigr)=\lim_{t\rightarrow t^{+}_{j}}{{}_{t}D}^{\alpha-1}_{T} \Phi_{p} \bigl({}^{c}_{0}D^{\alpha}_{t} u \bigr) (t), \\ {{}_{t}D}^{\alpha-1}_{T} \Phi_{p} \bigl({}^{c}_{0}D^{\alpha}_{t} u \bigr) \bigl(t^{-}_{j} \bigr)=\lim_{t\rightarrow t^{-}_{j}}{{}_{t}D}^{\alpha-1}_{T} \Phi_{p} \bigl({}^{c}_{0}D^{\alpha}_{t} u \bigr) (t). \end{gathered} $$

${}^{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:

$$ \textstyle\begin{cases} _{t}D_{T}^{\alpha}({{}_{0}^{c}D_{t}^{\alpha}}u(t))+a(t)u(t)=\lambda f(t,u),\quad 0< t< T,t\neq t_{j},\\ \Delta({}_{t}D^{\alpha-1}_{T}({}^{c}_{0}D^{\alpha}_{t} u))(t_{j})=\mu I_{j}(u(t_{j})), \quad j=1,2,\ldots,m, \\ u(0)=u(T)=0, \end{cases} $$

(1.2)

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

$$\inf_{v\in \partial\Omega}\phi(v)>\max \bigl\{ \phi(u_{0}), \phi(u_{1}) \bigr\} . $$

Then there exists a critical point u of ϕ, i.e., $\phi^{\prime}(u)=0$, with

$$\phi(u)>\max \bigl\{ \phi(u_{0}),\phi(u_{1}) \bigr\} . $$

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

$$\begin{gathered} _{a}D_{t}^{\alpha}f(t)\equiv\frac{d}{dt}{{}_{a}D_{t}^{\alpha-1}}f(t):= \frac {1}{\Gamma(1-\alpha)}\frac{d}{dt} \biggl( \int_{a}^{t}(t-s)^{-\alpha }f(s)\,ds \biggr),\quad t>a, \\_{t}D_{b}^{\alpha}f(t)\equiv-\frac{d}{dt}{{}_{t}D_{b}^{\alpha-1}}f(t):=- \frac {1}{\Gamma(1-\alpha)}\frac{d}{dt} \biggl( \int_{t}^{b}(s-t)^{-\alpha }f(s)\,ds \biggr),\quad t< b. \end{gathered}$$

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

$$\begin{gathered} _{a}^{c}D_{t}^{\alpha}f(t) \equiv{^{c}D_{a^{+}}^{\alpha}}f(t):={{}_{a}D_{t}^{\alpha -1}}f^{\prime}(t)= \frac{1}{\Gamma(1-\alpha)} \biggl( \int _{a}^{t}(t-s)^{-\alpha}f^{\prime}(s) \,ds \biggr), \\_{t}^{c}D_{b}^{\alpha}f(t) \equiv{^{c}D_{b^{-}}^{\alpha}}f(t):=-{{}_{t}D_{b}^{\alpha -1}}f^{\prime}(t)=- \frac{1}{\Gamma(1-\alpha)} \biggl( \int _{t}^{b}(s-t)^{-\alpha}f^{\prime}(s) \,ds \biggr). \end{gathered}$$

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:

$$ \|u\|_{E^{\alpha,p}}^{p}= \int_{0}^{T}\big|_{0}^{c}D_{t}^{\alpha}u(t)\big|^{p}\,dt+ \int _{0}^{T}\big|u(t)\big|^{p}\,dt, \quad\forall u\in E^{\alpha,p}(0,T). $$

(2.1)

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

$$ \|u\|_{L^{p}}\leq A_{p}\big\| {{}_{0}^{c}D_{t}^{\alpha}}u \big\| _{L^{p}}, $$

(2.2)

where $A_{p}:=\frac{T^{\alpha}}{\Gamma(\alpha+1)}$ is a positive constant, and if $\alpha>\frac{1}{p}$, then

$$ \|u\|_{\infty}\leq A_{\infty}\big\| {{}_{0}^{c}D_{t}^{\alpha}}u \big\| _{L^{p}}, $$

(2.3)

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

$$\begin{aligned} u\in \biggl\{ u\in \operatorname{AC} \bigl([0,T] \bigr): \int_{t_{j}}^{t_{j+1}} \bigl(\big|{{}_{0}^{c}D_{t}^{\alpha}}u(t)\big|^{p}+\big|u(t)\big|^{p} \bigr)\,dt< \infty, j=0,1,\ldots,m \biggr\} \end{aligned} $$

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:

$$ \begin{aligned} [b]& \int_{0}^{T}\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha }_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt+ \int_{0}^{T}\big|u(t)\big|^{p-2}u(t)v(t)\,dt \\ & \quad+\sum_{j=1}^{m}I_{j} \bigl(u(t_{j}) \bigr)v(t_{j})= \int_{0}^{T}f \bigl(t,u(t) \bigr)v(t)\,dt \end{aligned} $$

(2.4)

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

$$ \begin{aligned}[b]\varphi(u):&= \int_{0}^{T}\frac{1}{p} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p}+\big|u(t)\big|^{p} \bigr)\,dt+\sum_{j=1}^{m} \int_{0}^{u(t_{j})}I_{j}(s)\,ds- \int _{0}^{T}F \bigl(t,u(t) \bigr)\,dt \\ &=\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}+\sum _{j=1}^{m} \int _{0}^{u(t_{j})}I_{j}(s)\,ds- \int_{0}^{T}F \bigl(t,u(t) \bigr)\,dt. \end{aligned} $$

(2.5)

It is clear that φ is continuous and differentiable at any $u\in E^{\alpha,p}$ and

$$\begin{aligned} \varphi^{\prime}(u) (v)={}& \int_{0}^{T}\big|{}^{c}_{0}D^{\alpha }_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt+ \int _{0}^{T}\big|u(t)\big|^{p-2}u(t)v(t)\,dt \\ & +\sum_{j=1}^{m}I_{j} \bigl(u(t_{j}) \bigr)v(t_{j})- \int_{0}^{T}f \bigl(t,u(t) \bigr)v(t)\,dt \end{aligned} $$

for any $v\in E^{\alpha,p}$. Moreover, the critical point of φ is a weak solution of (1.1).

Proposition 2.4

see [4, 13]

(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:

$$ \begin{aligned}[b] &\int_{0}^{T}\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha }_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt\\ &\quad= \int_{0}^{T}{{}_{t}D^{\alpha}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t} u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t} u(t)} \bigr)v(t)\,dt \\ &\qquad{} -\sum_{j=1}^{m}\Delta\bigl({{}_{t}D^{\alpha-1}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t_{j})\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t_{j})} \bigr)\bigr)v(t_{j}). \end{aligned} $$

(2.8)

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

$$\begin{aligned} \int_{0}^{T}\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha }_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt ={}&\sum _{j=0}^{m} \int_{t_{j}}^{t_{j+1}}{{}_{t}D^{\alpha-1}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr)v^{\prime }(t)\,dt \\ ={}&\sum_{j=0}^{m}{{}_{t}D^{\alpha-1}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha }_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr)v(t)\big|_{t_{j}}^{t_{j+1}} \\ & +\sum_{j=0}^{m} \int_{t_{j}}^{t_{j+1}}{{}_{t}D^{\alpha}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr)v(t)\,dt \\ ={}& \int_{0}^{T}{{}_{t}D^{\alpha}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha }_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr)v(t)\,dt \\ & -\sum_{j=1}^{m}\Delta\bigl({{}_{t}D^{\alpha-1}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t_{j})\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t_{j})} \bigr)\bigr)v(t_{j}). \end{aligned} $$

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

$$\int_{t_{j}}^{t_{j+1}}\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha }_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt+ \int_{0}^{T}\big|u(t)\big|^{p-2}u(t)v(t)\,dt = \int_{t_{j}}^{t_{j+1}}f \bigl(t,u(t) \bigr)v(t)\,dt $$

and

$$\begin{aligned}[b] \int_{t_{j}}^{t_{j+1}}\big|{}^{c}_{0}D^{\alpha}_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha }_{t}u(t)} {{}_{0}^{c}D^{\alpha}_{t}}v(t)\,dt &= \int_{t_{j}}^{t_{j+1}}{{}_{t}D^{\alpha}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha }_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr)v(t)\,dt\\&< \infty, \end{aligned} $$

(2.9)

which implies

$$ {{}_{t}D^{\alpha}_{T}}\Phi_{p} \bigl({{}_{0}^{c}D^{\alpha}_{t}}u(t) \bigr)+\big|u(t)\big|^{p-2}u(t)=f \bigl(t,u(t) \bigr) $$

(2.10)

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:

$$\begin{gathered} {{}_{t}D_{T}^{\alpha-1}}\Phi_{p} \bigl({}_{0}^{c}D_{t}^{\alpha}\bigr)u \bigl(t_{j}^{+} \bigr)=\lim_{t\rightarrow t_{j}^{+}} \bigl({{}_{t}D_{T}^{\alpha-1}} \Phi_{p} \bigl({}_{0}^{c}D_{t}^{\alpha}u \bigr) (t) \bigr),\\ {{}_{t}D_{T}^{\alpha-1}}\Phi_{p} \bigl({}_{0}^{c}D_{t}^{\alpha}\bigr)u \bigl(t_{j}^{-} \bigr)=\lim_{t\rightarrow t_{j}^{-}} \bigl({{}_{t}D_{T}^{\alpha-1}} \Phi_{p} \bigl({}_{0}^{c}D_{t}^{\alpha}u \bigr) (t) \bigr) \end{gathered}$$

exist.

Now multiplying (2.10) by $v\in E^{\alpha,p}$, $v(T)=0$ and integrating between 0 and T, we have

$$\sum_{j=1}^{m}\Delta \bigl[{{}_{t}D^{\alpha-1}_{T}} \bigl(\big|{}^{c}_{0}D^{\alpha}_{t}u(t_{j})\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t_{j})} \bigr) \bigr]v(t_{j})=\sum_{j=1}^{m}I_{j} \bigl(u(t_{j}) \bigr)v(t_{j}). $$

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

$$ \begin{aligned}[b] \lim_{k\rightarrow\infty}\inf\varphi(u_{k})&=\lim _{k\rightarrow\infty} \Biggl\{ \frac{1}{p}\|u_{k} \|^{p}_{E^{\alpha,p}} +\sum_{j=1}^{m} \int_{0}^{u_{k}(t_{j})}I_{j}(s)\,ds- \int _{0}^{T}F \bigl(t,u_{k}(t) \bigr)\,dt \Biggr\} \\ &\geq\frac{1}{p}\|u\|^{p}_{E^{\alpha,p}}+\sum _{j=1}^{m} \int _{0}^{u(t_{j})}I_{j}(s)\,ds- \int_{0}^{T}F \bigl(t,u(t) \bigr)\,dt=\varphi(u), \end{aligned} $$

(3.1)

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

$$ \big|\varphi(u_{k})\big|\leq c,\qquad \varphi^{\prime}(u_{k}) \rightarrow 0 \quad\text{as } k\rightarrow\infty. $$

(3.2)

Then we have

$$ \int_{0}^{T}f \bigl(t,u_{k}(t) \bigr)u_{k}(t)\,dt =\|u_{k}\|^{p}_{E^{\alpha,p}}+ \sum_{j=1}^{m}I_{j} \bigl(u_{k}(t_{j}) \bigr)-\varphi ^{\prime}(u_{k})u_{k}(t). $$

(3.3)

From condition (H1), we have

$$\vartheta \int_{0}^{u_{k}(t_{j})}I_{j}(s)\,ds-I_{j} \bigl(u_{k}(t_{j}) \bigr)u_{k}(t_{j}) \geq (\vartheta-\mu) \int_{0}^{u_{k}(t_{j})}I_{j}(s)\,ds\geq0\quad (\mu> \vartheta), $$

which together with (3.2), (3.3) and the condition (H2) makes

$$\begin{aligned} \vartheta\varphi(u_{k})-\varphi^{\prime}(u_{k})u_{k}(t) \geq{}& \biggl(\frac {\vartheta}{p}-1 \biggr)\|u_{k}\|^{p}_{E^{\alpha,p}} +\sum_{j=1}^{m} \biggl(\vartheta \int _{0}^{u_{k}(t_{j})}I_{j}(s) \,ds-I_{j} \bigl(u_{k}(t_{j}) \bigr)u_{k}(t_{j}) \biggr) \\ & + \int_{0}^{T} \bigl(f \bigl(t,u_{k}(t) \bigr)u_{k}(t)-\vartheta F \bigl(t,u_{k}(t) \bigr) \bigr) \,dt \\ \geq{}& \biggl(\frac{\vartheta}{p}-1 \biggr)\|u_{k}\|^{p}_{E^{\alpha ,p}} \quad( \text{since }\vartheta>p), \end{aligned} $$

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

$$ \textstyle\begin{cases} \int_{0}^{T}(f(t,u_{k}(t))-f(t,u(t)))(u_{k}(t)-u(t))\,dt\rightarrow0,\\ \sum_{j=1}^{m}(I_{j}(u_{k}(t_{j}))-I_{j}(t,u(t_{j})))(u_{k}(t_{j})-u(t_{j}))\rightarrow0, \end{cases} $$

(3.4)

as $k\rightarrow\infty$. Moreover, by $\varphi^{\prime }(u_{k})\rightarrow0$ as $k\rightarrow\infty$, we have

$$ \bigl\langle \varphi^{\prime}(u_{k})-\varphi^{\prime}(u),u_{k}-u \bigr\rangle \leq \big\| \varphi^{\prime}(u_{k})\big\| _{(E^{\alpha,p})^{*}} \cdot \|u_{k}-u\|_{E^{\alpha,p}}- \bigl\langle \varphi^{\prime }(u),u_{k}-u \bigr\rangle \rightarrow0 $$

(3.5)

as $k\rightarrow\infty$.

Let

$$\phi(p,\alpha,k):= \int_{0}^{T} \bigl(\big|{}^{c}_{0}D^{\alpha }_{t}u_{k}(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u_{k}(t)}-\big|{}^{c}_{0}D^{\alpha }_{t}u(t)\big|^{p-2} {^{c}_{0}D^{\alpha}_{t}u(t)} \bigr) \bigl({{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t) \bigr)\,dt $$

and

$$\phi(p,k):= \int_{0}^{T} \bigl(\big|u_{k}(t)\big|^{p-2}u_{k}(t)-\big|u(t)\big|^{p-2}u(t) \bigr) \bigl(u_{k}(t)-u(t) \bigr)\,dt. $$

Notice that

$$\begin{aligned} \bigl\langle \varphi^{\prime}(u_{k})- \varphi^{\prime}(u),u_{k}-u \bigr\rangle ={}&\phi(p,\alpha,k)+ \phi(p,k)+\sum_{j=1}^{m} \bigl(I_{j} \bigl(u_{k}(t_{j}) \bigr)-I_{j} \bigl(t,u(t_{j}) \bigr) \bigr) \bigl(u_{k}(t_{j})-u(t_{j}) \bigr) \\ & - \int_{0}^{T} \bigl(f \bigl(t,u_{k}(t) \bigr)-f \bigl(t,u(t) \bigr) \bigr) \bigl(u_{k}(t)-u(t) \bigr)\,dt, \end{aligned} $$

which together with (3.4) and (3.5) yields

$$ \phi(p,\alpha,k)+\phi(p,k)\rightarrow0 \quad\text{as }k\rightarrow\infty. $$

(3.6)

From the well-known inequality (see [9], Lemma 4.2)

$$|x-y|^{p}\leq \textstyle\begin{cases} (|x|^{p-2}x-|y|^{p-2}y)(x-y), & \text{if } p\geq2,\\ ((|x|^{p-2}x-|y|^{p-2}y)(x-y))^{\frac{p}{2}}(|x|^{p}+|y|^{p})^{\frac {2-p}{2}}, &\text{if } 1< p< 2, \end{cases} $$

for all $x,y\in\mathbb{R}$. Then there exist constants $c_{i}>0$ ($i=1,2,3,4$) such that

$$ \phi(p,\alpha,k) \geq \textstyle\begin{cases} c_{1}\int_{0}^{T}|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)|^{p}\,dt, & \text{if } p\geq2,\\ c_{2}\int_{0}^{T}\frac{|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)|^{2}}{(|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)|+|{{}_{0}^{c}D^{\alpha}_{t}}u(t)|)^{2-p}}\,dt,& \text{if } 1< p< 2, \end{cases} $$

(3.7)

and

$$ \phi(p,k)\geq \textstyle\begin{cases} c_{3}\int_{0}^{T}|u_{k}(t)-u(t)|^{p}\,dt, &\text{if } p\geq2,\\ c_{4}\int_{0}^{T}\frac{|u_{k}(t)-u(t)|^{2}}{(|u_{k}(t)|+|u(t)|)^{2-p}}\,dt, & \text{if } 1< p< 2. \end{cases} $$

(3.8)

When $1< p<2$, by the Hölder inequality, we have

$$ \begin{aligned}[b] \int_{0}^{T} \bigl(\big|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)\big|^{p} \bigr)\,dt \leq{}& \biggl( \int_{0}^{T}\frac{|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)|^{2}}{ (|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)|+|{{}_{0}^{c}D^{\alpha}_{t}}u(t)|)^{2-p}}\,dt \biggr)^{\frac{p}{2}} \\ & \cdot \biggl( \int_{0}^{T} \bigl(\big|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)\big|+\big|{{}_{0}^{c}D^{\alpha}_{t}}u(t)\big| \bigr)^{p}\,dt \biggr)^{\frac{2-p}{2}} \\ \leq{}& M \bigl(\big\| {{}_{0}^{c}D^{\alpha}_{t}}u_{k} \big\| ^{p}_{L^{p}}+\big\| {{}_{0}^{c}D^{\alpha}_{t}}u \big\| ^{p}_{L^{p}} \bigr)^{\frac{2-p}{2}} \\ & \cdot \biggl( \int_{0}^{T}\frac{|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)|^{2}}{ (|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)|+|{{}_{0}^{c}D^{\alpha}_{t}}u(t)|)^{2-p}}\,dt \biggr)^{\frac{p}{2}}, \end{aligned} $$

(3.9)

where $M=2^{(p-1)(2-p)/2}$ is a positive constant. Similarly, we have

$$\begin{aligned}[b] \int_{0}^{T} \bigl(\big|u_{k}(t)-u(t)\big|^{p} \bigr)\,dt\leq{}& M \bigl(\|u_{k}\|^{p}_{L^{p}}+\|u\| ^{p}_{L^{p}} \bigr)^{\frac{2-p}{2}}\\&\cdot \biggl( \int_{0}^{T}\frac{|u_{k}(t)-u(t)|^{2}}{ (|u_{k}(t)|+|u(t)|)^{2-p}}\,dt \biggr)^{\frac{p}{2}}. \end{aligned} $$

(3.10)

From (3.7) and (3.9), we have

$$ \begin{aligned}[b] \phi(p,\alpha,k) &\geq c_{2}M^{-\frac{2}{p}} \bigl( \|u_{k}\|^{p}_{L^{p}}+\|u\|^{p}_{L^{p}} \bigr)^{\frac{p-2}{p}} \cdot \biggl( \int_{0}^{T}\big|{{}_{0}^{c}D^{\alpha}_{t}}u_{k}(t)-{{}_{0}^{c}D^{\alpha}_{t}}u(t)\big|^{p}\,dt \biggr)^{\frac{2}{p}} \\ &=c_{2}M^{-\frac{2}{p}} \bigl(\|u_{k}\|^{p}_{L^{p}}+ \|u\|^{p}_{L^{p}} \bigr)^{\frac {p-2}{p}}\cdot \big\| {{}_{0}^{c}D^{\alpha}_{t}}(u_{k}-u) \big\| ^{2}_{L^{p}}. \end{aligned} $$

(3.11)

It follows from (3.8) and (3.10) that

$$ \phi(p,k)\geq c_{4}M^{-\frac{2}{p}} \bigl(\|u_{k} \|^{p}_{L^{p}}+\|u\| ^{p}_{L^{p}} \bigr)^{\frac{p-2}{p}}\cdot\|u_{k}-u\|^{2}_{L^{p}}. $$

(3.12)

When $1< p<2$, by (3.11) and (3.12), we get

$$ \phi(p,\alpha,k)+\phi(p,k)\geq M_{1} \bigl(\big\| {{}_{0}^{c}D^{\alpha}_{t}}(u_{k}-u) \big\| ^{2}_{L^{p}}+\|u_{k}-u\|^{2}_{L^{p}} \bigr)=M_{1}\|u_{k}-u\|^{2}_{E^{\alpha,p}}, $$

(3.13)

where

$$M_{1}:=M^{-\frac{2}{p}}\min \bigl\{ c_{2} \bigl( \|u_{k}\|^{p}_{L^{p}}+\|u\|^{p}_{L^{p}} \bigr)^{\frac {p-2}{p}}, c_{4} \bigl(\|u_{k} \|^{p}_{L^{p}}+\|u\|^{p}_{L^{p}} \bigr)^{\frac{p-2}{p}} \bigr\} . $$

When $p\geq2$, in view of (3.7) and (3.8), we have

$$ \phi(p,\alpha,k)+\phi(p,k)\geq M_{2} \bigl(\big\| {{}_{0}^{c}D^{\alpha}_{t}}(u_{k}-u) \big\| ^{p}_{L^{p}}+\|u_{k}-u\|^{p}_{L^{p}} \bigr)=M_{2}\|u_{k}-u\|^{p}_{E^{\alpha,p}}, $$

(3.14)

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

$$ F(t,u)\leq\delta|u|^{\vartheta}, \quad\text{for }\|u\|_{E^{\alpha,p}}\leq r_{0},\qquad 0< \varepsilon< \frac{r_{0}^{p}}{p}-r_{0}^{\mu}\sum _{j=1}^{m}\delta_{j} A_{\infty}^{\mu}-r_{0}^{\vartheta}\delta A_{p}^{\vartheta}. $$

(3.15)

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

$$\begin{aligned} \varphi(u)&\geq\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}- \sum_{j=1}^{m}\delta_{j}\big|u(t_{j})\big|^{\mu}- \delta \int_{0}^{T}\big|u(t)\big|^{\vartheta}\,dt \\ &\geq\frac{r_{0}^{p}}{p}-r_{0}^{\mu}\sum _{j=1}^{m}\delta_{j} A_{\infty}^{\mu}-r_{0}^{\vartheta}\delta A_{p}^{\vartheta}> \varepsilon, \end{aligned} $$

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}$

$$ F(t,u)\geq\gamma|u|^{\vartheta}. $$

(3.16)

From (H1), we have the following:

$$\begin{aligned}& \frac{\mu}{u}\leq\frac{I_{j}(u)}{\int_{0}^{u}I_{j}(s)\,ds},\quad \text{for }u>0, \end{aligned}$$

(3.17)

$$\begin{aligned}& \frac{\mu}{u}\geq\frac{I_{j}(u)}{\int_{0}^{u}I_{j}(s)\,ds}, \quad\text{for }u< 0. \end{aligned}$$

(3.18)

Integrating (3.17) and (3.18) from T to u and u to −T, respectively, we get

$$\begin{gathered} \int_{0}^{u}I_{j}(s)\,ds\leq \frac{u^{\mu}}{T^{\mu}} \int_{0}^{T}I_{j}(s)\,ds, \quad\text{for }u>T, \\\int_{0}^{u}I_{j}(s)\,ds\leq \frac{(-u)^{\mu}}{T^{\mu}} \int_{0}^{-T}I_{j}(s)\,ds,\quad \text{for }u< -T. \end{gathered}$$

Note that $\int_{0}^{T}I_{j}(s)\,ds<0$ and $\int_{0}^{-T}I_{j}(s)\,ds<0$. We take

$$\begin{aligned} \gamma_{j}&=&T^{-\mu}\cdot\min \biggl\{ \bigg| \int_{0}^{T}I_{j}(s)\,ds\bigg|, \bigg| \int _{0}^{-T}I_{j}(s)\,ds\bigg| \biggr\} >0, \end{aligned} $$

and we get

$$ \begin{aligned} \int_{0}^{u}I_{j}(s)\,ds\leq- \gamma_{j}|u|^{\mu},\quad \forall u\in (-\infty ,-T]\cup[T,+ \infty ). \end{aligned} $$

(3.19)

Clearly, $\int_{0}^{u}I_{j}(s)\,ds$ is continuous in $[-T,T]$, so there is a constant $K>0$ such that

$$ \begin{aligned} \int_{0}^{u}I_{j}(s)\,ds\leq K,\quad \forall u \in[-T,T]. \end{aligned} $$

(3.20)

Combining (3.19) and (3.20), we get

$$ \begin{aligned} \int_{0}^{u}I_{j}(s)\,ds\leq- \gamma_{j}|u|^{\mu}+K, \quad\forall u\in R. \end{aligned} $$

(3.21)

For any $u\in E^{\alpha,p}$ with $u\neq0$, $\tau>0$, it follows from (3.16) and (3.21) that

$$\varphi(\tau u)\leq\frac{\tau^{p}}{p}\|u\|_{E^{\alpha,p}}^{p}-\tau ^{\mu}\sum_{j=1}^{m} \gamma_{j}\big|u(t_{j})\big|^{\mu}-\tau^{\vartheta}\gamma\|u\|^{\vartheta}_{L^{\vartheta}}+K_{*}\rightarrow -\infty \quad(\mu> \vartheta>p), $$

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:

$$ \textstyle\begin{cases} {{}_{t}D}_{T}^{0.6}\Phi_{\frac{5}{2}}({}_{0}^{c}D_{t}^{0.6} u(t))+|u(t)|^{\frac {1}{2}}u(t)=(2+\sin t)a(t)u^{4}(t), \quad 0< t< T,t\neq t_{1},\\ \Delta({}_{t}D^{-0.4}_{T}\Phi_{\frac{5}{2}}({}^{c}_{0}D^{0.6}_{t} u))(t_{1})=-a_{0}u^{5}(t_{1}), \\ u(0)=u(T)=0. \end{cases} $$

(3.22)

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

$$X_{i}:=\operatorname{span}\{e_{i}\},\qquad Y_{k}:=\bigoplus _{i=1}^{k}X_{i},\qquad Z_{k}:= \overline{\bigoplus_{i=k}^{\infty}X_{i}}. $$

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

$$\begin{aligned} \varphi(u)\geq\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}- \sum_{j=1}^{m}\delta_{j} A_{\infty}^{\mu}\|u\|^{\mu}_{E^{\alpha,p}}-\delta A_{p}^{\vartheta}\|u\|^{\vartheta}_{E^{\alpha,p}}, \quad\|u \|_{E^{\alpha,p}}\leq r_{0}, \end{aligned} $$

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

$$ \|u\|_{*}:= \biggl( \int_{0}^{T}\big|u(t)\big|^{\vartheta}\,dt \biggr)^{\frac{1}{\vartheta}}, $$

(3.23)

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

$$ A_{1}\|u\|_{E^{\alpha,p}}\leq\|u\|_{*}, \quad\text{for }u\in Y_{k}. $$

(3.24)

From (H1), we have

$$\sum_{j=1}^{m} \int_{0}^{u(t_{j})}I_{j}(s)\,ds\leq0. $$

The above inequality, (3.17) and (3.24) imply that, for any finite dimensional space $W\subset E^{\alpha,p}$,

$$\begin{aligned} \varphi(u)&=\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}+ \sum_{j=1}^{m} \int_{0}^{u(t_{j})}I_{j}(s)\,ds- \int_{0}^{T}F \bigl(t,u(t) \bigr)\,dt \\ &\leq\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}- \int_{\Omega _{1}}F \bigl(t,u(t) \bigr)\,dt- \int_{\Omega_{2}}F \bigl(t,u(t) \bigr)\,dt \\ &\leq\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}-\gamma \int_{\Omega _{1}}\big|u(t)\big|^{\vartheta}\,dt- \int_{\Omega_{2}}F \bigl(t,u(t) \bigr)\,dt \\ &=\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}-\gamma \int_{0}^{T}\big|u(t)\big|^{\vartheta}\,dt+\gamma \int_{\Omega_{1}}\big|u(t)\big|^{\vartheta}\,dt - \int_{\Omega_{2}}F \bigl(t,u(t) \bigr)\,dt \\ &\leq\frac{1}{p}\|u\|_{E^{\alpha,p}}^{p}-A_{1}^{\vartheta}\gamma\|u\| _{E^{\alpha,p}}^{\vartheta}+M^{*}, \quad\forall u\in W, \end{aligned} $$

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:

$$ \textstyle\begin{cases} {{}_{t}D}_{T}^{0.75}\Phi_{\frac{3}{2}}({}_{0}^{c}D_{t}^{0.75} u(t))+|u(t)|^{-\frac {1}{2}}u(t)=(1+t^{2})a(t)u^{\frac{5}{3}}(t), \quad 0< t< T,t\neq t_{1},\\ \Delta({}_{t}D^{-0.25}_{T}\Phi_{\frac{3}{2}}({}^{c}_{0}D^{0.75}_{t} u))(t_{1})=-a_{0}u^{9}(t_{1}), \\ u(0)=u(T)=0. \end{cases} $$

(3.25)

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.

Declarations

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.

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.

Authors’ Affiliations

(1)

School of Science, Hunan University of Technology, Zhuzhou, Hunan, 412007, P.R. China

References

Podlubny, I: Fractional Differential Equations. Academic Press, New York (1993) MATHGoogle Scholar
Mirceski, V, Tomovski, Z̃: Modeling of a voltammetric experiment in a limiting diffusion space. J. Solid State Electrochem. 15, 197-204 (2011) View ArticleGoogle Scholar
Ahmad, WM, El-Khazali, R: Fractional-order dynamical models of love. Chaos Solitons Fractals 33(4), 1367-1375 (2007) MathSciNetView ArticleMATHGoogle Scholar
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
Diethelm, K: The Analysis of Fractional Differential Equations. Springer, Heidelberg (2010) View ArticleMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
Zhao, Y, Chen, H, Huang, L: Existence of positive solutions for nonlinear fractional functional differential equation. Comput. Math. Appl. 64, 3456-3467 (2012) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
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) MathSciNetGoogle Scholar
Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251-257 (2014) MathSciNetMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetMATHGoogle Scholar
Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014) View ArticleMATHGoogle Scholar
Cui, Y: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48-54 (2016) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleGoogle Scholar
Benchohra, M, Henderson, J, Sba, D: Boundary value problems for fractional inclusions in Banach spaces. Fract. Differ. Calc. 2, 99-108 (2012) MathSciNetView ArticleGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Jiao, F, Zhou, Y: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos 22, 1250086 (2012) MathSciNetView ArticleMATHGoogle Scholar
Bai, C: Infinitely many solutions for a perturbed nonlinear fractional boundary-value problem. Electron. J. Differ. Equ. 2013, Article ID 136 (2013) MathSciNetView ArticleMATHGoogle Scholar
Zhang, X, Liu, L, Wu, Y: Variational structure and multiple solutions for a fractional advection-dispersion equation. Comput. Math. Appl. 68, 1794-1805 (2014) MathSciNetView ArticleGoogle Scholar
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) MathSciNetMATHGoogle Scholar
Zhao, Y, Chen, H, Zhang, Q: Infinitely many solutions for fractional differential system via variational method. J. Appl. Math. Comput. 50, 589-609 (2016) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Klimek, M, Odzijewicz, T, Malinowska, AB: Variational methods for the fractional Sturm-Liouville problem. J. Math. Anal. Appl. 416, 402-426 (2014) MathSciNetView ArticleMATHGoogle Scholar
Torres, C: Boundary value problem with fractional p-Laplacian operator. Adv. Nonlinear Anal. 5(2), 133-146 (2016) MathSciNetMATHGoogle Scholar
Leibenson, LS: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk Kirg. SSR 9, 7-10 (1983) MathSciNetGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Nyamoradia, N, Rodríguez-López, R: On boundary value problems for impulsive fractional differential equations. Appl. Math. Comput. 271, 874-892 (2015) MathSciNetGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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 Google Scholar
Li, P, Wang, H, Li, Z: Solutions for impulsive fractional differential equations via variational methods. J. Funct. Spaces 2016, Article ID 2941368 (2016) MathSciNetMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Zhao, Y, Chen, H, Xu, C: Nontrivial solutions for impulsive fractional differential equations via Morse theory. Appl. Math. Comput. 307, 170-179 (2017) MathSciNetGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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 Google Scholar
Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989) View ArticleMATHGoogle Scholar
Zeidler, E: Nonlinear Functional Analysis and Applications, vol. III. Springer, Berlin (1985) View ArticleMATHGoogle Scholar
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) View ArticleMATHGoogle Scholar