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

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.

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.