Skip to main content

Theory and Modern Applications

On a new class of impulsive fractional evolution equations


This paper is concerned with the existence of PC-mild solutions for Cauchy and nonlocal problems of impulsive fractional evolution equations for which the impulses are not instantaneous. By using the theory of operator semigroups, probability density functions, and some suitable fixed point theorems, we establish some existence results for these types of problems.

1 Introduction

Recently, much attention has been paid to the study of fractional differential equations due to the fact that they have been proved to be valuable tools in the mathematical modeling of many phenomena in physics, biology, mechanics, etc. (see [13]).

Impulsive differential equations of integer order have found extensive applications in realistic mathematical modeling of a wide variety of practical situations, such as biological phenomena involving thresholds, bursting rhythm models in medicine and biology, optimal control models in economics, and frequency modulated systems. For the general theory and relevant developments of impulsive differential equations, please see [49] and the references therein. Usually the impulses of the evolution process described by impulsive differential equations are assumed to be abrupt and instantaneous. That is to say, the perturbations (impulses) start abruptly and the duration of them is negligible in comparison with the duration of the process.

However, in [10], the authors introduced a new class of abstract impulsive differential equations for which the impulses are not instantaneous. Specifically, they studied the existence of solutions for the following impulsive problem:

$$ \left \{ \textstyle\begin{array}{l} u'(t)=Au(t)+f(t,u(t)),\quad t\in(s_{i},t_{i+1}], i=0,1,2,\dots,N, \\ u(t)=g_{i}(t,u(t)),\quad t\in(t_{i},s_{i}], i=1,2,\dots,N, \\ u(0)=x_{0}, \end{array}\displaystyle \right . $$

where \(A:D(A)\subset X\rightarrow X\) is the generator of a \(C_{0}\)-semigroup of bounded linear operators \(\{T(t)\}_{t\geq0}\) defined on a Banach space \((X,\|\cdot\|)\), \(x_{0}\in X\), \(0=t_{0}=s_{0}< t_{1}\leq s_{1}< t_{2}\leq s_{2}<\cdots<t_{N}\leq s_{N}<t_{N+1}=a\) are pre-fixed numbers, \(g_{i}\in C((t_{i},s_{i}]\times X;X)\) for \(i=1,2,\ldots,N\) and \(f:[0,a]\times X\rightarrow X\) is a suitable function. The impulses start abruptly at the points \(t_{i}\) and their action continues on the interval \([t_{i},s_{i}]\). As a motivation for the study of such systems, see [10], where an example of the hemodynamical equilibrium of a person was given.

Impulsive differential equations of fractional order have been studied by some authors, for example [1117]. As for the study of impulsive fractional evolution equations, to the best of our knowledge, there are few papers [1820] on this topic.

Motivated by [10], in this paper we consider a class of impulsive fractional evolution equations of the form

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)=Ax(t)+f(t,x(t)), \quad t\in(s_{i},t_{i+1}], i=0,1,2,\ldots,m, \\ x(t)=I_{i}(x(t_{i}))+g_{i}(t,x(t)), \quad t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ x(0)=x_{0}, \end{array}\displaystyle \right . $$

where \({}^{\mathrm{c}}D^{\alpha}\) is the Caputo fractional derivative of order \(\alpha\in(0,1)\) with the lower limit zero, \(A:D(A)\subset X\rightarrow X\) is the generator of a \(C_{0}\)-semigroup of bounded linear operators \(\{ T(t)\}_{t\geq0}\) on a Banach space \((X,\|\cdot\|)\), \(x_{0}\in X\), \(0=t_{0}=s_{0}< t_{1}\leq s_{1}< t_{2}\leq s_{2}<\cdots<t_{m}\leq s_{m}<t_{m+1}=T\) are fixed numbers, \(g_{i}\in C((t_{i},s_{i}]\times X;X)\), \(I_{i}:X\rightarrow X\) for \(i=1,2,\ldots,m\) and \(f:[0,T]\times X\rightarrow X\) is a nonlinear function.

The impulses in problem (1) start abruptly at the points \(t_{i}\) and their action continues on the interval \([t_{i},s_{i}]\). To be precise, the function x takes an abrupt impulse at \(t_{i}\) and follows different rules in the two subintervals \((t_{i},s_{i}]\) and \((s_{i},t_{i+1}]\) of the interval \((t_{i},t_{i+1}]\). At the point \(s_{i}\), the function x is continuous. The term \(I_{i}(x(t_{i}))\) means that the impulses are also related to the value of \(x(t_{i})=x(t^{-}_{i})\).

From the results obtained in the papers [2124], we know that the definition of mild solutions for fractional evolution equations is more involved than integer order evolution equations. Moreover, to construct solutions for impulsive fractional differential equations, we should properly handle the fractional derivative and impulsive conditions due to the memory property of fractional calculus (see [1113]).

We remark that if \(t_{i}=s_{i}\) and the second equation of (1) takes the form of \(\Delta x(t_{i})=I_{i}(x(t_{i}))=x(t_{i}^{+})-x(t_{i}^{-})\) with \(x(t_{i}^{+})=\lim_{\epsilon\rightarrow0^{+}}x(t_{i}+\epsilon)\), \(x(t_{i}^{-})=\lim_{\epsilon\rightarrow0^{-}}x(t_{i}+\epsilon)\) representing the right and left limits of \(x(t)\) at \(t=t_{i}\), problem (1) reduces to the case considered in [20] (with the fixed impulses).

We also study the nonlocal Cauchy problems for impulsive fractional evolution equations

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)=Ax(t)+f(t,x(t)), \quad t\in(s_{i},t_{i+1}], i=0,1,2,\ldots,m, \\ x(t)=I_{i}(x(t_{i}))+g_{i}(t,x(t)), \quad t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ x(0)=x_{0}+b(x), \end{array}\displaystyle \right . $$

where A, f, \(I_{i}\), \(g_{i}\) are the same as above, b is a given function; this constitutes a nonlocal Cauchy problem. It is well known that the nonlocal condition has a better effect on the solution and is more precise for physical measurements than the classical initial condition alone.

The rest of the paper is organized as follows. In Section 2 we present the notations, definitions and preliminary results needed in the following sections. In Section 3, a suitable concept of PC-mild solutions for our problems is introduced. Section 4 is concerned with the existence results of problems (1) and (2). An example is given in Section 5 to illustrate the results.

2 Preliminaries

Let us set \(J=[0,T], J_{0}=[0,t_{1}], J_{1}=(t_{1},t_{2}], \ldots, J_{m-1}=(t_{m-1},t_{m}], J_{m}=(t_{m},t_{m+1}]\) and introduce the space \(\mathit{PC}(J,X)\) := {\(u:J\rightarrow X|u\in C(J_{k},X)\), \(k=0, 1, 2, \ldots, m\), and there exist \(u(t_{k}^{+})\) and \(u(t_{k}^{-})\), \(k=1, 2, \ldots, m\), with \(u(t_{k}^{-})=u(t_{k})\)}. It is clear that \(\mathit{PC}(J,X)\) is a Banach space with the norm \(\|u\|_{\mathit{PC}}=\sup\{\|u(t)\|: t\in J\}\).

Lemma 2.1

(Theorem 2.1 in [8])

Suppose \(W\subseteq \mathit{PC}(J,X)\). If the following conditions are satisfied:

  1. (1)

    W is a uniformly bounded subset of \(\mathit{PC}(J,X)\);

  2. (2)

    W is equicontinuous in \((t_{i},t_{i+1})\), \(i=0,1,2,\ldots,m\), where \(t_{0}=0\), \(t_{m+1}=T\);

  3. (3)

    \(W(t)=\{u(t):u\in W,t\in J\backslash\{t_{1},t_{2},\ldots,t_{m}\}\}\), \(W(t_{i}^{+})=\{u(t_{i}^{+}):u\in W\}\) and \(W(t_{i}^{-})=\{u(t_{i}^{-}):u\in W\}\), \(i=1,2,\ldots,m\), are relatively compact subsets of X.

Then W is a relatively compact subset of \(\mathit{PC}(J,X)\).

Let us recall the following well-known definitions.

Definition 2.1


The Riemann-Liouville fractional integral of order q with the lower limit zero for a function f is defined as

$$ I^{q}f(t)=\frac{1}{\Gamma(q)}\int_{0}^{t}(t-s)^{q-1}f(s) \, ds, \quad q>0, $$

provided the integral exists, where \(\Gamma(\cdot)\) is the gamma function.

Definition 2.2


The Riemann-Liouville derivative of order q with the lower limit zero for a function \(f:[0,\infty)\rightarrow\mathbb{R}\) can be written as

$$ {}^{\mathrm{L}}D^{q}f(t)=\frac{1}{\Gamma(n-q)}\frac{d^{n}}{dt^{n}}\int _{0}^{t}(t-s)^{n-q-1}f(s)\, ds,\quad n-1< q< n, t>0. $$

Definition 2.3


The Caputo derivative of order q for a function \(f:[0,\infty )\rightarrow\mathbb{R}\) can be written as

$$ {}^{\mathrm{c}}D^{q}f(t)= {}^{\mathrm{L}}D^{q} \Biggl(f(t)-\sum_{k=0}^{n-1} \frac {t^{k}}{k!}f^{(k)}(0) \Biggr),\quad n-1< q< n, t>0. $$

Remark 2.1

  1. (a)

    If \(f\in C^{n}[0,\infty)\), then, for \(n-1< q< n\),

    $$ {}^{\mathrm{c}}D^{q}f(t)=\frac{1}{\Gamma(n-q)}\int_{0}^{t}(t-s)^{n-q-1}f^{(n)}(s) \,ds=I^{n-q}f^{(n)}(t), \quad t>0. $$
  2. (b)

    If f is an abstract function with values in X, then the integrals in Definitions 2.1 and 2.2 are taken in Bochner’s sense.

Let us recall the following definition of mild solutions for fractional evolution equations involving the Caputo fractional derivative.

Definition 2.4

([22, 23])

A function \(x\in C(J,X)\) is said to be a mild solution of the following problem:

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)=Ax(t)+y(t),\quad t\in(0,T], \\ x(0)=x_{0}, \end{array}\displaystyle \right . $$

if it satisfies the integral equation

$$ x(t)=P_{\alpha}(t)x_{0}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)y(s) \,ds. $$


$$\begin{aligned}& P_{\alpha}(t)=\int_{0}^{\infty} \xi_{\alpha}(\theta)T\bigl(t^{\alpha}\theta \bigr)\,d\theta,\qquad Q_{\alpha}(t)=\alpha\int_{0}^{\infty}\theta \xi_{\alpha}(\theta)T\bigl(t^{\alpha }\theta\bigr)\,d\theta, \end{aligned}$$
$$\begin{aligned}& \xi_{\alpha}(\theta)=\frac{1}{\alpha}\theta^{-1-\frac{1}{\alpha}}\varpi _{\alpha} \bigl(\theta^{-\frac{1}{\alpha}} \bigr)\geq0, \\& \varpi_{\alpha}(\theta)=\frac{1}{\pi}\sum _{n=1}^{\infty}(-1)^{n-1}\theta ^{-n\alpha-1} \frac{\Gamma(n\alpha+1)}{n!}\sin(n\pi\alpha),\quad \theta\in(0,\infty), \end{aligned}$$

and \(\xi_{\alpha}\) is a probability density function defined on \((0,\infty)\) [25], that is,

$$ \xi_{\alpha}(\theta)\geq0, \theta\in(0,\infty),\quad \int _{0}^{\infty }\xi_{\alpha}(\theta)\,d\theta=1. $$

It is not difficult to verify that

$$ \int_{0}^{\infty}\theta \xi_{\alpha}(\theta)\,d\theta=\frac{1}{\Gamma (1+\alpha)}. $$

Remark 2.2

By applying the Laplace transform and probability density functions, Zhou and Jiao [22, 23] introduced the above definition of mild solutions for fractional evolution equations. For pioneering work on Caputo fractional evolution equations, we refer the readers to [26, 27].

We make the following assumption on A in the whole paper.


The operator A generators a strongly continuous semigroup \(\{T(t):t\geq0\}\) in X, and there is a constant \(M_{A}\geq1\) such that \(\sup_{t\in[0,\infty)}\|T(t)\|_{L(X)}\leq M_{A}\). For any \(t>0\), \(T(t)\) is compact.

Lemma 2.2

(see [22, 23])

Let H(A) hold, then the operators \(P_{\alpha}\) and \(Q_{\alpha}\) have the following properties:

  1. (1)

    For any fixed \(t\geq0\), \(P_{\alpha}(t)\) and \(Q_{\alpha}(t)\) are linear and bounded operators, and for any \(x\in X\),

    $$ \bigl\Vert P_{\alpha}(t)x\bigr\Vert \leq M_{A}\|x\|, \qquad \bigl\Vert Q_{\alpha}(t)x\bigr\Vert \leq\frac {\alpha M_{A}}{\Gamma(1+\alpha)}\|x\|; $$
  2. (2)

    \(\{P_{\alpha}(t),t\geq0\}\) and \(\{Q_{\alpha}(t),t\geq0\}\) are strongly continuous;

  3. (3)

    for every \(t>0\), \(P_{\alpha}(t)\) and \(Q_{\alpha}(t)\) are compact operators.

Finally we recall a fixed point theorem which will be needed in the sequel.

Theorem 2.1

(Krasnoselskii fixed point theorem)

Let M be a closed, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that: (a) \(Ax+By\in M\) for all \(x,y\in M\), (b) A is compact and continuous, (c) B is a contraction. Then there exists a \(x\in M\) such that \(x=Ax+Bx\).

3 The construction of mild solutions

Let \(y\in \mathit{PC}(J,X)\). We first consider the following fractional impulsive problem:

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)=Ax(t)+y(t), \quad t\in(s_{i},t_{i+1}], i=0,1,2,\ldots,m, \\ x(t)=I_{i}(x(t_{i}))+g_{i}(t,x(t)), \quad t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ x(0)=x_{0}. \end{array}\displaystyle \right . $$

From the property of the Caputo derivative, a general solution of problem (6) can be written as

$$ x(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} x_{0}+\frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1} (Ax(s)+y(s) )\,ds, & t\in[0,t_{1}), \\ I_{1}(x(t_{1}))+g_{1}(t,x(t)),& t\in(t_{1},s_{1}], \\ d_{1}+\frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1} (Ax(s)+y(s) )\,ds,& t\in(s_{1},t_{2}), \\ \ldots, \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)), & t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ d_{i}+\frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1} (Ax(s)+y(s) )\,ds,& t\in(s_{i},t_{i+1}), \end{array}\displaystyle \right . $$

where \(d_{i}\), \(i=1,2,\ldots,m\), are elements of X. By (7) and the function x is continuous at the points \(s_{i}\), we have, for \(i=0,1,2,\ldots,m\),

$$ x(t)=d_{i}\chi_{[s_{i},t_{i+1})}(t)+\frac{1}{\Gamma(\alpha)}\int _{0}^{t}(t-s)^{\alpha-1} \bigl(Ax(s)+y(s) \bigr)\,ds, \quad t\in[s_{i},t_{i+1}), $$

with \(d_{0}=x_{0}\) and \(\chi_{[s_{i},t_{i+1})}(t)\) is the characteristic function of \([s_{i},t_{i+1})\), i.e.

$$ \chi_{[s_{i},t_{i+1})}(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} 1, & t\in[s_{i},t_{i+1}), \\ 0, & \text{otherwise}. \end{array}\displaystyle \right . $$

Now we follow the idea used in the papers [20, 22] and apply the Laplace transformation for (8) to obtain

$$ u(\lambda)=\frac{e^{-\lambda s_{i}}-e^{-\lambda t_{i+1}}}{\lambda }d_{i}+\frac{1}{\lambda^{\alpha}}Au(\lambda)++ \frac{1}{\lambda^{\alpha }}v(\lambda), $$

where \(u(\lambda)=\int_{0}^{\infty}e^{-\lambda s}x(s)\,ds\) and \(v(\lambda )=\int_{0}^{\infty}e^{-\lambda s}y(s)\,ds\), \(\lambda>0\). Then

$$ u(\lambda)=\lambda^{\alpha-1}\bigl(\lambda^{\alpha}I-A \bigr)^{-1}e^{-\lambda s_{i}}d_{i}-\lambda^{\alpha-1}\bigl( \lambda^{\alpha}I-A\bigr)^{-1}e^{-\lambda t_{i+1}}d_{i}+ \bigl(\lambda^{\alpha}I-A\bigr)^{-1}v(\lambda), $$

where I is the identity operator defined on X. Note that the Laplace transform of \(\varpi_{\alpha}(\theta)\) defined by (4) is given by

$$ \int_{0}^{\infty}e^{-\lambda\theta} \varpi_{\alpha}(\theta)\,d\theta =e^{-\lambda^{\alpha}}. $$

Then by the same computations in [22, 23] and the properties of Laplace transform (translation theorem and linearity of the inverse Laplace transform), we obtain

$$ x(t)=\chi_{[s_{i},\infty)}P_{\alpha}(t-s_{i})d_{i}- \chi_{[t_{i+1},\infty )}P_{\alpha}(t-t_{i+1})d_{i}+\int _{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)y(s) \,ds. $$

Here \(P_{\alpha}\) and \(Q_{\alpha}\) are given by (3). Hence we get

$$ x(t)=P_{\alpha}(t-s_{i})d_{i}+\int _{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)y(s) \,ds, \quad t\in[s_{i},t_{i+1}). $$

Now it is time to determine the values of \(d_{i}\), \(i=1,2,\ldots,m\). Using the fact that x is continuous at the points \(s_{i}\), we have

$$ I_{i}\bigl(x(t_{i})\bigr)+g_{i} \bigl(s_{i},x(s_{i})\bigr)=d_{i}+\int _{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)y(s) \,ds. $$

So we obtain

$$ d_{i}=I_{i}\bigl(x(t_{i}) \bigr)+g_{i}\bigl(s_{i},x(s_{i})\bigr)-\int _{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)y(s) \,ds. $$

Therefore, a mild solution of problem (6) is given by

$$ x(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} P_{\alpha}(t)x_{0}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)y(s)\,ds, & t\in [0,t_{1}], \\ I_{1}(x(t_{1}))+g_{1}(t,x(t)), & t\in(t_{1},s_{1}], \\ P_{\alpha}(t-s_{1})d_{1}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)y(s)\,ds,& t\in(s_{1},t_{2}], \\ \ldots, \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)),& t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ P_{\alpha}(t-s_{i})d_{i}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)y(s)\,ds,& t\in(s_{i},t_{i+1}], \end{array}\displaystyle \right . $$

where, for \(i=1,2,\ldots,m\),

$$ d_{i}=I_{i}\bigl(x(t_{i})\bigr)+g_{i} \bigl(s_{i},x(s_{i})\bigr)-\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)y(s) \,ds. $$

Next, by using the above results, we introduce the following definition of the mild solution for problem (1).

Definition 3.1

A function \(x\in \mathit{PC}(J,X)\) is said to be a PC-mild solution of problem (1) if it satisfies the following relation:

$$ x(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} P_{\alpha}(t)x_{0}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)f(s,x(s))\,ds,& t\in[0,t_{1}], \\ I_{1}(x(t_{1}))+g_{1}(t,x(t)),& t\in(t_{1},s_{1}], \\ P_{\alpha}(t-s_{1})d_{1}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)f(s,x(s))\,ds, & t\in[s_{1},t_{2}], \\ \ldots, \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)), & t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ P_{\alpha}(t-s_{i})d_{i}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)f(s,x(s))\,ds, & t\in[s_{i},t_{i+1}], \end{array}\displaystyle \right . $$

where, for \(i=1,2,\ldots,m\),

$$ d_{i}=I_{i}\bigl(x(t_{i}) \bigr)+g_{i}\bigl(s_{i},x(s_{i})\bigr)-\int _{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)f \bigl(s,x(s)\bigr)\,ds. $$

Remark 3.1

For treating the mild solutions for abstract fractional differential equations, we can also refer to [21].

4 Existence results

This section deals with the existence results for problems (1) and (2).

From Definition 3.1, we define an operator \(S:\mathit{PC}(J,X)\rightarrow \mathit{PC}(J,X)\) as

$$ (Sx) (t)=\left \{ \textstyle\begin{array}{l@{\quad}l} P_{\alpha}(t)x_{0}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)f(s,x(s))\,ds,& t\in[0,t_{1}], \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)), &t\in(t_{i},s_{i}], \\ P_{\alpha}(t-s_{i})d_{i}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)f(s,x(s))\,ds, & t\in[s_{i},t_{i+1}] \end{array}\displaystyle \right . $$

with \(d_{i}\), \(i=1,2,\ldots,m\), defined by (10).

To prove our first existence result we introduce the following assumptions.


The function \(f\in C(J\times X;X)\) and there exists \(L_{f}\in L^{\frac{1}{\tau}}(J,\mathbb{R}^{+})\) with \(\tau\in(0,\alpha)\) such that \(\|f(t,x)-f(t,y)\|\leq L_{f}(t)\|x-y\|\) for all \(x,y\in X\) and every \(t\in J\).


For \(i=1,2,\ldots,m\), \(I_{i}\in C(X,X)\) and there is a constant \(L_{I}>0\) such that \(\|I_{i}(x)-I_{i}(y)\|\leq L_{I}\|x-y\|\) for all \(x,y\in X\).


For \(i=1,2,\ldots,m\), the functions \(g_{i}\in C([t_{i},s_{i}]\times X;X)\) and there exists \(L_{g}\in C(J,\mathbb{R}^{+})\) such that \(\|g_{i}(t,x)-g_{i}(t,y)\|\leq L_{g}(t)\|x-y\|\) for all \(x,y\in X\) and \(t\in[t_{i},s_{i}]\).

Theorem 4.1

Assume H(f)1, H(I), and H(g) are satisfied and

$$ M_{A} \bigl(L_{I}+\Vert L_{g} \Vert _{C(J)} \bigr)+(1+M_{A})\frac{\alpha M_{A}}{\Gamma(\alpha +1)} \biggl( \frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|L_{f}\| _{L^{\frac{1}{\tau}}(J)}< 1. $$

Then there exists a unique PC-mild solution of problem (1).


From the assumptions it is easy to show that the operator S is well defined on \(\mathit{PC}(J,X)\).

Let \(x,y\in \mathit{PC}(J,X)\). For \(t\in[0,t_{1}]\), from Lemma 2.2, we have

$$\begin{aligned} \bigl\Vert (Sx) (t)-(Sy) (t)\bigr\Vert \leq&\int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert Q_{\alpha}(t-s) \bigl(f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr)\bigr\Vert \,ds \\ \leq&\frac{\alpha M_{A}}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau}{\alpha-\tau } \biggr)^{1-\tau}t_{1}^{\alpha-\tau} \|L_{f}\|_{L^{\frac{1}{\tau}}([0,t_{1}])}\| x-y\|_{\mathit{PC}}. \end{aligned}$$

Similarly, we have, for \(t\in(t_{i},s_{i}]\), \(i=1,2,\ldots,m\),

$$\begin{aligned} \bigl\Vert (Sx) (t)-(Sy) (t)\bigr\Vert \leq&\bigl\Vert I_{i} \bigl(x(t_{i})\bigr)-I_{i}\bigl(y(t_{i})\bigr) \bigr\Vert \\ &{}+\bigl\Vert g_{i}\bigl(t,x(t)\bigr)-g_{i} \bigl(t,y(t)\bigr)\bigr\Vert \\ \leq&\bigl(L_{I}+\Vert L_{g}\Vert _{C(J)} \bigr)\|x-y\|_{\mathit{PC}}, \end{aligned}$$

and, for \(t\in[s_{i},t_{i+1}]\), \(i=1,2,\ldots,m\),

$$\begin{aligned}& \bigl\Vert (Sx) (t)-(Sy) (t)\bigr\Vert \\& \quad \leq \biggl\Vert P_{\alpha}(t-s_{i}) \biggl[I_{i}\bigl(x(t_{i})\bigr)-I_{i} \bigl(y(t_{i})\bigr)+g_{i}\bigl(s_{i},x(s_{i}) \bigr)-g_{i}\bigl(s_{i},y(s_{i})\bigr) \\& \qquad {} -\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha}(s_{i}-s) \bigl(f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr)\,ds \biggr]\biggr\Vert \\& \qquad {} +\int_{0}^{t}(t-s)^{\alpha-1}\bigl\Vert Q_{\alpha}(t-s) \bigl(f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr) \bigr) \bigr\Vert \,ds \\& \quad \leq M_{A} \biggl(L_{I}+\Vert L_{g} \Vert _{C(J)}+\frac{\alpha M_{A}}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}s_{i}^{\alpha-\tau} \Vert L_{f} \Vert _{L^{\frac{1}{\tau}}([0,s_{i}])} \biggr)\Vert x-y\Vert _{\mathit{PC}} \\& \qquad{} +\frac{\alpha M_{A}}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau}{\alpha-\tau } \biggr)^{1-\tau}t_{i+1}^{\alpha-\tau} \Vert L_{f}\Vert _{L^{\frac{1}{\tau }}([0,t_{i+1}])}\Vert x-y\Vert _{\mathit{PC}}. \end{aligned}$$

From the above we can deduce that (since \(M_{A}\geq1\))

$$\begin{aligned}& \bigl\Vert (Sx) (t)-(Sy) (t)\bigr\Vert _{\mathit{PC}} \\& \quad \leq \biggl[M_{A} \bigl(L_{I}+\Vert L_{g}\Vert _{C(J)} \bigr)+(1+M_{A}) \\& \qquad {}\times\frac{\alpha M_{A}}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau}{\alpha -\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|L_{f}\|_{L^{\frac{1}{\tau}}(J)} \biggr] \|x-y\|_{\mathit{PC}}. \end{aligned}$$

Then it follows from condition (11) that S is a contraction on the space \(\mathit{PC}(J,X)\). Hence by the Banach contraction mapping principle, S has a unique fixed point \(x\in \mathit{PC}(J,X)\) which is just the unique PC-mild solution of problem (1). The proof is now complete. □

The next result is based on the Krasnoselskii fixed point theorem.


For any \(x\in X\), the map \(t\rightarrow f(t,x)\) is strongly measurable on J. For a.e. \(t\in J\), the map \(x\rightarrow f(t,x)\) is continuous. There exist \(m_{f}\in L^{\frac{1}{\tau}}(J,\mathbb {R}^{+})\) with \(\tau\in(0,\alpha)\) and \(\varphi_{f}\in C([0,\infty),\mathbb {R}^{+})\) nondecreasing such that \(\|f(t,x)\|\leq m_{f}(t)\varphi_{f}(\|x\|)\) for all \(x\in X\) and \(t\in J\).


There exist \(m_{g}\in C(J,\mathbb{R}^{+})\) and \(\varphi _{I},\varphi_{g}\in C([0,\infty),\mathbb{R}^{+})\) nondecreasing such that, for all \(x\in X\), \(i=1,2,\ldots,m\),

$$ \bigl\Vert I_{i}(x)\bigr\Vert \leq\varphi_{I}\bigl( \Vert x\Vert \bigr), \qquad \bigl\Vert g_{i}(t,x)\bigr\Vert \leq m_{g}(t)\varphi_{g}\bigl(\Vert x\Vert \bigr),\quad t\in(t_{i},s_{i}]. $$

Theorem 4.2

Let H(f)2, H(I), H(g), and H(Ig)2 hold. Assume that

$$ M_{A}\bigl(L_{I}+\Vert L_{g} \Vert _{C(J)}\bigr)< 1 $$

and there exists a constant \(r>0\) such that

$$\begin{aligned}& M_{A} \bigl[\varphi_{I}(r)+ \|m_{g}\|_{C(J)}\varphi_{g}(r)+\|x_{0}\| \bigr] \\& \quad {}+(1+M_{A})\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau }{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|m_{f}\|_{L^{\frac{1}{\tau }}(J)}\leq r. \end{aligned}$$

Then there exists a PC-mild solution of problem (1).


We define two operators \(S_{1},S_{2}:\mathit{PC}(J,X)\rightarrow \mathit{PC}(J,X)\) as

$$\begin{aligned}& (S_{1}x) (t)=\left \{ \textstyle\begin{array}{l@{\quad}l} P_{\alpha}(t)x_{0},& t\in[0,t_{1}], \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)), & t\in(t_{i},s_{i}], \\ P_{\alpha}(t-s_{i})(I_{i}(x(t_{i}))+g_{i}(s_{i},x(s_{i}))), & t\in[s_{i},t_{i+1}], \end{array}\displaystyle \right . \\& (S_{2}x) (t)=\left \{ \textstyle\begin{array}{l@{\quad}l} \int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)f(s,x(s))\,ds, & t\in[0,t_{1}], \\ 0, & t\in(t_{i},s_{i}], \\ \int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)f(s,x(s))\,ds \\ \quad {}-P_{\alpha}(t-s_{i})\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)f(s,x(s))\,ds, & t\in[s_{i},t_{i+1}] \end{array}\displaystyle \right . \end{aligned}$$

for \(i=1,2,\ldots,m\). Since \(P_{\alpha}(0)=I\), it is easy to verify that for any \(x\in \mathit{PC}(J,X)\), \(S_{1}x,S_{2}x\in \mathit{PC}(J,X)\), hence they are well defined. We have \(Sx=S_{1}x+S_{2}x\).

Let \(r>0\) satisfy condition (13). We set

$$ M=\bigl\{ u\in \mathit{PC}(J,X):\|u\|_{\mathit{PC}}\leq r\bigr\} . $$

Then M is a closed, convex, and nonempty subset of the Banach space \(\mathit{PC}(J,X)\).

Next we will show that the operators \(S_{1}\), \(S_{2}\) satisfy the requirements of Theorem 2.1, i.e. \(S_{1}\) is a contraction, \(S_{2}\) is compact and continuous and \(S_{1}x+S_{2}y\in M\) for all \(x,y\in M\).

Step 1: \(S_{1}x+S_{2}y\in M\) for all \(x,y\in M\). For any \(x,y\in M\). We have, for \(t\in[0,t_{1}]\),

$$\begin{aligned} \bigl\Vert (S_{1}x) (t)+(S_{2}y) (t)\bigr\Vert \leq&M_{A}\|x_{0}\|+\frac{\alpha M_{A}\varphi _{f}(r)}{\Gamma(\alpha+1)}\int _{0}^{t}(t-s)^{\alpha-1}m_{f}(s)\,ds \\ \leq&M_{A}\|x_{0}\|+\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl( \frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}t_{1}^{\alpha-\tau} \|m_{f}\| _{L^{\frac{1}{\tau}}(J)} \end{aligned}$$

for \(t\in(t_{i},s_{i}]\), \(i=1,2,\ldots,m\),

$$\begin{aligned} \bigl\Vert (S_{1}x) (t)+(S_{2}y) (t)\bigr\Vert \leq& \bigl\Vert I_{i}\bigl(x(t_{i})\bigr)\bigr\Vert +\bigl\Vert g_{i}\bigl(t,x(t)\bigr)\bigr\Vert \\ \leq&\varphi_{I}(r)+\|m_{g}\|_{C(J)} \varphi_{g}(r), \end{aligned}$$

and for \(t\in[s_{i},t_{i+1}]\), \(i=1,2,\ldots,m\),

$$\begin{aligned} \bigl\Vert (S_{1}x) (t)+(S_{2}y) (t)\bigr\Vert \leq& \biggl\Vert P_{\alpha }(t-s_{i})\biggl[I_{i} \bigl(x(t_{i})\bigr)+g_{i}\bigl(s_{i},x(s_{i}) \bigr) \\ &{}-\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha}(s_{i}-s)f \bigl(s,y(s)\bigr)\,ds\biggr]\biggr\Vert \\ &{}+\int_{0}^{t}(t-s)^{\alpha-1}\bigl\Vert Q_{\alpha}(t-s)f\bigl(s,y(s)\bigr)\bigr\Vert \,ds \\ \leq&M_{A} \bigl[\varphi_{I}(r)+\|m_{g} \|_{C(J)}\varphi_{g}(r) \bigr] \\ &{}+M_{A}\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau }{\alpha-\tau} \biggr)^{1-\tau}s_{i}^{\alpha-\tau}\|m_{f} \|_{L^{\frac{1}{\tau }}(J)} \\ &{}+\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau }{\alpha-\tau} \biggr)^{1-\tau}t_{i+1}^{\alpha-\tau} \|m_{f}\|_{L^{\frac {1}{\tau}}(J)}. \end{aligned}$$

Then we get

$$\begin{aligned} \|S_{1}x+S_{2}y\|_{\mathit{PC}} \leq&M_{A} \bigl[\varphi_{I}(r)+\|m_{g}\|_{C(J)}\varphi _{g}(r)+\|x_{0}\| \bigr] \\ &{}+(1+M_{A})\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl(\frac {1-\tau}{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|m_{f}\|_{L^{\frac {1}{\tau}}(J)}. \end{aligned}$$

It follows from (13) that \(S_{1}x+S_{2}y\in M\) for all \(x,y\in M\).

Step 2: \(S_{1}\) is a contraction. Let \(x,y\in \mathit{PC}(J,X)\). From H(I), H(g), and Lemma 2.2, we have, for \(t\in[0,t_{1}]\),

$$ (S_{1}x) (t)-(S_{1}y) (t)=0 $$

for \(t\in(t_{i},s_{i}]\), \(i=1,2,\ldots,m\),

$$ \bigl\Vert (S_{1}x) (t)-(S_{1}y) (t)\bigr\Vert \leq \bigl(L_{I}+\Vert L_{g}\Vert _{C(J)}\bigr)\|x-y \|_{\mathit{PC}}, $$

and for \(t\in[s_{i},t_{i+1}]\), \(i=1,2,\ldots,m\),

$$ \bigl\Vert (S_{1}x) (t)-(S_{1}y) (t)\bigr\Vert \leq M_{A}\bigl(L_{I}+\Vert L_{g}\Vert _{C(J)}\bigr)\|x-y\|_{\mathit{PC}}. $$

Therefore we deduce that

$$ \|S_{1}x-S_{1}y\|_{\mathit{PC}}\leq M_{A} \bigl(L_{I}+\Vert L_{g}\Vert _{C(J)}\bigr)\|x-y \|_{\mathit{PC}}. $$

In view of (12), the operator \(S_{1}\) is a contraction on \(\mathit{PC}(J,X)\).

Step 3: \(S_{2}\) is compact and continuous. Firstly, we will prove that \(S_{2}\) is continuous. Let \(x_{n}\rightarrow x\) in \(\mathit{PC}(J,X)\) as \(n\rightarrow\infty\). We can assume without any loss of generality that \(\|x_{n}\|_{\mathit{PC}}\leq R\) for some \(R>0\) and \(n\geq1\). By H(f)2, we have

$$\begin{aligned}& f\bigl(t,x_{n}(t)\bigr)\rightarrow f\bigl(t,x(t)\bigr) \quad \text{a.e. }t\in J, \end{aligned}$$
$$\begin{aligned}& \bigl\Vert f\bigl(t,x_{n}(t)\bigr)\bigr\Vert \leq m_{f}(t)\varphi_{f}(R)\quad \text{for }t\in J, n\geq1. \end{aligned}$$

Since, for \(t\in[0,t_{1}]\),

$$ \bigl\Vert (S_{2}x_{n}) (t)-(S_{2}x) (t)\bigr\Vert \leq\frac{\alpha M_{A}}{\Gamma(\alpha+1)}\int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert f\bigl(s,x_{n}(s)\bigr)-f\bigl(s,x(s)\bigr)\bigr\Vert \,ds $$

for \(t\in(t_{i},s_{i}]\), \(i=1,2,\ldots,m\),

$$ \bigl\Vert (S_{2}x_{n}) (t)-(S_{2}x) (t)\bigr\Vert =0, $$

and, for \(t\in[s_{i},t_{i+1}]\), \(i=1,2,\ldots,m\),

$$\begin{aligned} \bigl\Vert (S_{2}x_{n}) (t)-(S_{2}x) (t)\bigr\Vert \leq&\frac{\alpha M_{A}}{\Gamma(\alpha+1)}\int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert f\bigl(s,x_{n}(s)\bigr)-f\bigl(s,x(s)\bigr)\bigr\Vert \,ds \\ &{}+M_{A}\frac{\alpha M_{A}}{\Gamma(\alpha+1)}\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1} \bigl\Vert f\bigl(s,x_{n}(s)\bigr)-f\bigl(s,x(s)\bigr)\bigr\Vert \,ds. \end{aligned}$$

Then from (14), (15), and by means of the Lebesgue dominated convergence theorem, we obtain

$$ \|S_{2}x_{n}-S_{2}x\|_{\mathit{PC}}\rightarrow0 \quad \text{as }n\rightarrow\infty. $$

This means that \(S_{2}\) is continuous.

Next we shall show that \(S_{2}\) maps bounded set into relatively compact set in \(\mathit{PC}(J,X)\). Let B be any bounded subset of \(\mathit{PC}(J,X)\) such that for \(x\in B\), \(\|x\|_{\mathit{PC}}\leq R\) for some \(R>0\), it suffices to show that the set of functions \(S_{2}(B)=\{S_{2}x:x\in B\}\) satisfies the conditions of Lemma 2.1.

For the same reasons as in Step 1, the set \(S_{2}(B)\) is uniformly bounded.

For any \(x\in B\), if \(0\leq t'< t''\leq t_{1}\), we have

$$\begin{aligned} \bigl\Vert (S_{2}x) \bigl(t'' \bigr)-(S_{2}x) \bigl(t'\bigr)\bigr\Vert =&\biggl\Vert \int_{0}^{t''}\bigl(t''-s \bigr)^{\alpha -1}Q_{\alpha}\bigl(t''-s\bigr)f \bigl(s,x(s)\bigr)\,ds \\ &{}-\int_{0}^{t'}\bigl(t'-s \bigr)^{\alpha-1}Q_{\alpha}\bigl(t'-s\bigr)f\bigl(s,x(s) \bigr)\,ds\biggr\Vert \\ \leq&I_{1}+I_{2}+I_{3}, \end{aligned}$$


$$\begin{aligned}& I_{1}=\biggl\Vert \int_{t'}^{t''} \bigl(t''-s\bigr)^{\alpha-1}Q_{\alpha} \bigl(t''-s\bigr)f\bigl(s,x(s)\bigr)\,ds\biggr\Vert , \\& I_{2}=\biggl\Vert \int_{0}^{t'} \bigl(t'-s\bigr)^{\alpha-1}\bigl(Q_{\alpha} \bigl(t''-s\bigr)-Q_{\alpha }\bigl(t'-s \bigr)\bigr)f\bigl(s,x(s)\bigr)\,ds\biggr\Vert , \\& I_{3}=\biggl\Vert \int_{0}^{t'} \bigl(\bigl(t''-s\bigr)^{\alpha-1}- \bigl(t'-s\bigr)^{\alpha-1}\bigr)Q_{\alpha } \bigl(t''-s\bigr)f\bigl(s,x(s)\bigr)\,ds\biggr\Vert . \end{aligned}$$

Repeating the discussion in [23] (see p.1072 of it), we find that \(I_{1}\), \(I_{2}\), \(I_{3}\) tend to zero as \(t''\rightarrow t'\) independently of \(x\in B\). If \(t_{i}< t'< t''\leq t_{i+1}\), \(i=1,2,\ldots ,m\), we have the following.

Case 1: \(t_{i}< t'< t''\leq s_{i}\),

$$ \bigl\Vert (S_{2}x) \bigl(t'' \bigr)-(S_{2}x) \bigl(t'\bigr)\bigr\Vert =0. $$

Case 2: \(s_{i}\leq t'< t''\leq t_{i+1}\),

$$ \bigl\Vert (S_{2}x) \bigl(t'' \bigr)-(S_{2}x) \bigl(t'\bigr)\bigr\Vert \leq I_{1}+I_{2}+I_{3}+\bigl\Vert \bigl(P_{\alpha }\bigl(t'-s_{i}\bigr)-P_{\alpha} \bigl(t''-s_{i}\bigr)\bigr)\Pi\bigr\Vert , $$

where \(\Pi=\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha}(s_{i}-s)f(s,x(s))\,ds\). Since H(A) and the proof of Lemma 3.4 in [23] imply that the continuity of \(P_{\alpha}(t)\) and \(Q_{\alpha}(t)\) (\(t>0\)) in t is in the uniform operator topology, we deduce that the right-hand side of (16) tends to zero independently of \(x\in B\), as \(t''\rightarrow t'\).

Case 3: \(t_{i}< t'< s_{i}< t''\leq t_{i+1}\),

$$\begin{aligned} \begin{aligned} &\bigl\Vert (S_{2}x) \bigl(t'' \bigr)-(S_{2}x) \bigl(t'\bigr)\bigr\Vert \\ &\quad = \biggl\Vert \int_{0}^{t''} \bigl(t''-s\bigr)^{\alpha-1}Q_{\alpha} \bigl(t''-s\bigr)f\bigl(s,x(s)\bigr)\,ds \\ &\qquad {}-P_{\alpha}\bigl(t''-s_{i} \bigr)\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)f \bigl(s,x(s)\bigr)\,ds\biggr\Vert \rightarrow0 \end{aligned} \end{aligned}$$

independently of \(x\in B\), as \(t''\rightarrow t'\) (we have \(t''\rightarrow s_{i}\)). Hence \(S_{2}(B)\) is equicontinuous in \((t_{i},t_{i+1})\), \(i=0,1,2,\ldots,m\).

Finally, let \(S_{2}(B)(t)\) denote the set \(\{(S_{2}x)(t):x\in B\}\), \(t\in J\), we shall prove that \(S_{2}(B)(t)\) is relatively compact in X. Clearly, \(S_{2}(B)(0)=\{0\}\) is compact.

Case 1′: \(0< t\leq t_{1}\). For each \(h\in(0,t)\) and \(\delta>0\), we define a set

$$ S^{h,\delta}_{2}(B) (t)=\bigl\{ (\mathcal{M}_{h,\delta}x) (t):x \in B\bigr\} $$


$$\begin{aligned} (\mathcal{M}_{h,\delta}x) (t) =&\alpha\int_{0}^{t-h} \int_{\delta}^{\infty }\theta(t-s)^{\alpha-1} \xi_{\alpha}(\theta)T\bigl((t-s)^{\alpha}\theta\bigr)f\bigl(s,x(s)\bigr) \,d\theta \,ds \\ =&\alpha\int_{0}^{t-h}\int_{\delta}^{\infty} \theta(t-s)^{\alpha-1} \xi_{\alpha}(\theta)\bigl[T\bigl(h^{\alpha} \delta\bigr)T\bigl((t-s)^{\alpha}\theta-h^{\alpha }\delta\bigr)\bigr]f \bigl(s,x(s)\bigr)\,d\theta \,ds \\ =&\alpha T\bigl(h^{\alpha}\delta\bigr)\int_{0}^{t-h} \int_{\delta}^{\infty}\theta (t-s)^{\alpha-1} \xi_{\alpha}(\theta)T\bigl((t-s)^{\alpha}\theta-h^{\alpha}\delta \bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds. \end{aligned}$$

(Observe that \(\theta\geq\delta\) and \(t-h\geq s\), hence \((t-s)^{\alpha }\theta-h^{\alpha}\delta\geq0\).) Since the operator \(T(h^{\alpha}\delta )\) (\(h^{\alpha}\delta>0\)) is compact, the set \(S^{h,\delta}_{2}(B)(t)\) is relatively compact in X. Moreover, for every \(x\in B\), we have

$$\begin{aligned}& \bigl\Vert (S_{2}x) (t)-(\mathcal{M}_{h,\delta}x) (t)\bigr\Vert \\& \quad = \alpha\biggl\Vert \int_{0}^{t}\int _{0}^{\delta}\theta(t-s)^{\alpha-1} \xi_{\alpha }(\theta) T\bigl((t-s)^{\alpha}\theta\bigr)f\bigl(s,x(s) \bigr)\,d\theta \,ds \\& \qquad {} +\int_{0}^{t}\int_{\delta}^{\infty} \theta(t-s)^{\alpha-1}\xi_{\alpha }(\theta) T\bigl((t-s)^{\alpha} \theta\bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds \\& \qquad {} -\int_{0}^{t-h}\int_{\delta}^{\infty} \theta(t-s)^{\alpha-1} \xi_{\alpha}(\theta)T\bigl((t-s)^{\alpha} \theta\bigr)f\bigl(s,x(s)\bigr)\,d\theta \,ds\biggr\Vert \\& \quad \leq \alpha \biggl\Vert \int_{0}^{t}\int _{0}^{\delta}\theta(t-s)^{\alpha-1} \xi_{\alpha }(\theta) T\bigl((t-s)^{\alpha}\theta\bigr)f\bigl(s,x(s) \bigr)\,d\theta \,ds\biggr\Vert \quad (\mbox{denoted by } G_{1}) \\& \qquad {} +\alpha \biggl\Vert \int_{t-h}^{t}\int _{\delta}^{\infty}\theta(t-s)^{\alpha-1} \xi_{\alpha}(\theta)T\bigl((t-s)^{\alpha}\theta\bigr)f\bigl(s,x(s)\bigr) \,d\theta \,ds\biggr\Vert \quad (\mbox{denoted by } G_{2}). \end{aligned}$$

By the Hölder inequality and H(f)2, we get

$$\begin{aligned} G_{1} \leq&\alpha M_{A}\int_{0}^{t}(t-s)^{\alpha-1} \bigl\Vert f\bigl(s,x(s)\bigr)\bigr\Vert \,ds\int_{0}^{\delta } \theta\xi_{\alpha}(\theta)\,d\theta \\ \leq&\alpha M_{A} \varphi_{f}(R) \biggl( \frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}t_{1}^{\alpha-\tau} \|m_{f}\|_{L^{\frac{1}{\tau}}(J)}\int_{0}^{\delta } \theta\xi_{\alpha}(\theta)\,d\theta \end{aligned}$$


$$\begin{aligned} G_{2} \leq&\alpha M_{A}\int_{t-h}^{t}(t-s)^{\alpha-1} \bigl\Vert f\bigl(s,x(s)\bigr)\bigr\Vert \,ds\int_{\delta}^{\infty} \theta\xi_{\alpha}(\theta)\,d\theta \\ \leq&\alpha M_{A} \varphi_{f}(R) \biggl( \frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}h^{\alpha-\tau}\|m_{f} \|_{L^{\frac{1}{\tau}}(J)}\int_{0}^{\infty }\theta \xi_{\alpha}(\theta)\,d\theta. \end{aligned}$$

Therefore from the property of the probability density function \(\xi _{\alpha}\) and (5), we obtain

$$ \bigl\Vert (S_{2}x) (t)-(\mathcal{M}_{h,\delta}x) (t)\bigr\Vert \rightarrow0 \quad \text{as }h\rightarrow0, \delta\rightarrow0. $$

This means that there are relatively compact sets arbitrarily close to the set \(S_{2}(B)(t)\). Hence the set \(S_{2}(B)(t)\) is also relatively compact in X.

Case 2′: \(t_{i}< t\leq s_{i}\), \(i=1,2,\ldots,m\). In such a case,

$$ S_{2}(B) (t)=\{0\}\text{ is compact}. $$

Case 3′: \(s_{i}< t\leq t_{i+1}\), \(i=1,2,\ldots,m\),

$$\begin{aligned} S_{2}(B) (t) =& \biggl\{ \int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha}(t-s)f \bigl(s,x(s)\bigr)\,ds \\ &{}-P_{\alpha}(t-s_{i})\int_{0}^{s_{i}}(s_{i}-s)^{\alpha-1}Q_{\alpha }(s_{i}-s)f \bigl(s,x(s)\bigr)\,ds:x\in B \biggr\} . \end{aligned}$$

By the same argument as in Case 1′ and \(P_{\alpha}(t-s_{i})\) is a compact operator (see Lemma 2.2), we know \(S_{2}(B)(t)\) is relatively compact.

Therefore it follows from Lemma 2.1 that \(S_{2}\) is compact and continuous.

As a consequence of Steps 1-3, we know that \(S_{1}+S_{2}\) satisfies all conditions of Krasnoselskii fixed point theorem (Theorem 2.1). Hence the operator S has a fixed point in \(\mathit{PC}(J,X)\) which is a PC-mild solution of problem (1). The proof is complete. □

Finally in this section, we extend the results obtained above to nonlocal problems for impulsive fractional evolution equations. Specifically, we show study the existence and uniqueness of the mild solutions for problem (2). Here we only state the existence results for problem (2) without proofs since these are similar to the ones obtained for problem (1) above.

Definition 4.1

A function \(x\in \mathit{PC}(J,X)\) is said to be a PC-mild solution of problem (2) if it satisfies the following relation:

$$ x(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} P_{\alpha}(t)(x_{0}+b(x))+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)f(s,x(s))\,ds, & t\in[0,t_{1}], \\ I_{i}(x(t_{i}))+g_{i}(t,x(t)),& t\in(t_{i},s_{i}], i=1,2,\ldots,m, \\ P_{\alpha}(t-s_{i})d_{i}+\int_{0}^{t}(t-s)^{\alpha-1}Q_{\alpha }(t-s)f(s,x(s))\,ds, & t\in[s_{i},t_{i+1}], \end{array}\displaystyle \right . $$

with \(d_{i}\), \(i=1,2,\ldots,m\), defined by (10).


\(b:\mathit{PC}(J,X)\rightarrow X\) and there exist a constant \(L_{b}>0\) and \(\varphi_{b}\in C([0,\infty),\mathbb{R}^{+})\) nondecreasing such that, for \(x,y\in \mathit{PC}(J,X)\),

$$ \bigl\Vert b(x)-b(y)\bigr\Vert \leq L_{b}\|x-y\|_{\mathit{PC}}, \qquad \bigl\Vert b(x)\bigr\Vert \leq\varphi_{b}\bigl(\Vert x \Vert _{\mathit{PC}}\bigr). $$

Theorem 4.3

Assume H(f)1, H(I), H(g), and H(b) are satisfied and

$$ M_{A} \bigl(L_{I}+\Vert L_{g}\Vert _{C(J)}+L_{b} \bigr)+(1+M_{A})\frac{\alpha M_{A}}{\Gamma (\alpha+1)} \biggl(\frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau }\|L_{f} \|_{L^{\frac{1}{\tau}}(J)}< 1. $$

Then there exists a unique PC-mild solution of problem (2).

Theorem 4.4

Let H(f)2, H(I), H(g), H(Ig)2, and H(b) hold. Assume that

$$ M_{A}\bigl(L_{b}+L_{I}+\Vert L_{g}\Vert _{C(J)}\bigr)< 1 $$

and there exists a constant \(r>0\) such that

$$\begin{aligned}& M_{A} \bigl[\varphi_{I}(r)+ \|m_{g}\|_{C(J)}\varphi_{g}(r)+\varphi_{b}(r)+ \|x_{0}\| \bigr] \\& \quad +(1+M_{A})\frac{\alpha M_{A}\varphi_{f}(r)}{\Gamma(\alpha+1)} \biggl(\frac{1-\tau }{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|m_{f}\|_{L^{\frac{1}{\tau }}(J)}\leq r. \end{aligned}$$

Then there exists a PC-mild solution of problem (2).

5 Examples

A simple example is given in this section to illustrate the results.

Let \(X=L^{2}([0,\pi])\). Define an operator \(A:D(A)\subseteq X\rightarrow X\) by \(Ax=x''\) with \(D(A)=\{x\in X:x''\in X,x(0)=x(\pi)=0\}\). It is well known that A is the infinitesimal generator of a strongly continuous semigroup \(\{T(t):t\geq0\}\) in X. Moreover, \(T(t)\) is compact for \(t>0\) and \(\|T(t)\|_{L(X)}\leq e^{-t}\leq1=M_{A}\), \(t\geq0\).

Consider the following impulsive problem:

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\frac{3}{4}}_{t}u(t,y)=\frac{\partial^{2}}{\partial y^{2}}u(t,y)+f(t,u(t,y)),\quad t\in[0,\frac{1}{2}]\cup(\frac{2}{3},1],y\in[0,\pi], \\ u(t,y)=I(u(t_{\frac{1}{2}},y))+g(t,u(t,y)), \quad t\in(\frac{1}{2},\frac {2}{3}], y\in[0,\pi], \\ u(t,y)=u_{0}(y),\quad y\in[0,\pi], \\ u(t,0)=u(t,\pi)=0, \quad t\in[0,1]. \end{array}\displaystyle \right . $$

Here \({}^{\mathrm{c}}D^{\frac{1}{2}}_{t}\) means that the Caputo fractional derivative is taken for the time variable t with the lower limit zero.

Assumption 1


$$\begin{aligned}& f\bigl(t,u(t,y)\bigr)=\frac{\cos t}{(t+6)^{2}}\bigl(u(t,y)+\arctan u(t,y)\bigr), \\& I\bigl(u(t,y)\bigr)=\frac{|u(t,y)|}{4+|u(t,y)|}, \qquad g\bigl(t,u(t,y)\bigr)= \frac{1}{3}\sin u(t,y)+e^{t}. \end{aligned}$$

Define \(x(t)(y)=u(t,y)\), \((t,y)\in[0,1]\times[0,\pi]\). Then f, I, and g can be rewritten as

$$\begin{aligned}& f\bigl(t,x(t)\bigr)=\frac{\cos t}{(t+6)^{2}}\bigl(x(t)+\arctan x(t)\bigr), \\& I\bigl(x(t)\bigr)=\frac{|x(t)|}{4+|x(t)|},\qquad g\bigl(t,x(t)\bigr)= \frac{1}{3}\sin x(t)+e^{t}. \end{aligned}$$

We can verify that H(f)1, H(I), and H(g) hold by putting \(L_{f}(t)=\frac{2\cos t}{(t+6)^{2}}\), \(L_{I}=\frac{1}{4}\), and \(L_{g}(t)\equiv \frac{1}{3}\). Moreover, since \(\alpha=\frac{3}{4}\), let \(\tau=\frac {1}{2}\), we have

$$\begin{aligned} \begin{aligned} &M_{A} \bigl(L_{I}+\|L_{g}\|_{C(J)} \bigr)+(1+M_{A})\frac{\alpha M_{A}}{\Gamma(\alpha +1)} \biggl(\frac{1-\tau}{\alpha-\tau} \biggr)^{1-\tau}T^{\alpha-\tau}\|L_{f}\| _{L^{\frac{1}{\tau}}(J)} \\ &\quad \leq\frac{1}{4}+\frac{1}{3}+2\times0.8160\times1.4142\times \frac {1}{18}=0.7116< 1. \end{aligned} \end{aligned}$$

Therefore by Theorem 4.1, we deduce that problem (19) has a unique PC-mild solution on \([0,1]\).

Assumption 2


$$\begin{aligned}& f\bigl(t,u(t,y)\bigr)=e^{-|u(t,y)|}+6t^{2}+\sin t+ \frac{u(t,y)}{1+u^{2}(t,y)}, \\& I\bigl(u(t,y)\bigr)=\frac{|u(t,y)|}{4+|u(t,y)|}+5t,\qquad g\bigl(t,u(t,y)\bigr)= \frac {1}{3}\arctan u(t,y)+3. \end{aligned}$$

Similarly, the functions f, I, and g can be rewritten as

$$\begin{aligned}& f\bigl(t,x(t)\bigr)=e^{-|x(t)|}+6t^{2}+\sin t+\frac{x(t)}{1+x^{2}(t)}, \\& I\bigl(x(t)\bigr)=\frac{|x(t)|}{4+|x(t)|}+5t,\qquad g\bigl(t,x(t)\bigr)= \frac{1}{3}\arctan x(t)+3. \end{aligned}$$

Put \(m_{f}(t)\equiv1\), \(\varphi_{f}(\|x\|)\equiv9\sqrt{\pi}\), \(\varphi_{I}(\| x\|)\equiv\frac{1}{4}\sqrt{\pi}\), \(m_{g}(t)\equiv1\), \(\varphi_{g}(\|x\| )\equiv(\frac{\pi}{6}+3)\sqrt{\pi}\), \(L_{I}=\frac{1}{4}\), and \(L_{g}(t)\equiv\frac{1}{3}\), then it is easy to show that H(f)2, H(I), H(g), and H(Ig)2 hold. We have

$$ M_{A}\bigl(L_{I}+\Vert L_{g}\Vert _{C(J)}\bigr)=\frac{7}{12}< 1. $$

In such a case, obviously, we can choose a constant \(r>0\) such that condition (13) holds. Therefore it follows from Theorem 4.2 that problem (19) has a PC-mild solution.


  1. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    Google Scholar 

  2. Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Book  Google Scholar 

  3. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Chapter  Google Scholar 

  4. Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)

    Book  Google Scholar 

  5. Zavalishchin, ST, Sesekin, AN: Dynamic Impulse Systems: Theory and Applications. Kluwer Academic, Dordrecht (1997)

    Book  Google Scholar 

  6. Fan, Z, Li, G: Existence results for semilinear differential equations with nonlocal and impulsive conditions. J. Funct. Anal. 258, 1709-1727 (2010)

    Article  MathSciNet  Google Scholar 

  7. Abada, N, Benchohra, M, Hammouche, H: Existence and controllability results for nondensely defined impulsive semilinear functional differential inclusions. J. Differ. Equ. 246, 3834-3863 (2009)

    Article  MathSciNet  Google Scholar 

  8. Wei, W, Xiang, X, Peng, Y: Nonlinear impulsive integro-differential equation of mixed type and optimal controls. Optimization 55, 141-156 (2006)

    Article  MathSciNet  Google Scholar 

  9. Liu, Y: Further results on periodic boundary value problems for nonlinear first order impulsive functional differential equations. J. Math. Anal. Appl. 327, 435-452 (2007)

    Article  MathSciNet  Google Scholar 

  10. Hernández, E, O’Regan, D: On a new class of abstract impulsive differential equations. Proc. Am. Math. Soc. 141, 1641-1649 (2013)

    Article  Google Scholar 

  11. Kosmatov, N: Initial value problems of fractional order with fractional impulsive conditions. Results Math. 63(34), 1289-1310 (2013)

    Article  MathSciNet  Google Scholar 

  12. Fečkan, M, Zhou, Y, Wang, JR: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 3050-3060 (2012)

    Article  MathSciNet  Google Scholar 

  13. Wang, JR, Zhou, Y, Fečkan, M: On recent developments in the theory of boundary value problems for impulsive fractional differential equations. Comput. Math. Appl. 64, 3008-3020 (2012)

    Article  MathSciNet  Google Scholar 

  14. Wang, G, Ahmad, B, Zhang, L: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 74, 792-804 (2011)

    Article  MathSciNet  Google Scholar 

  15. Bai, C: Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 384(2), 211-231 (2011)

    Article  MathSciNet  Google Scholar 

  16. Benchohra, M, Seba, D: Impulsive fractional differential equations in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009, 8 (2009)

    MathSciNet  Google Scholar 

  17. Ahmad, B, Sivasundaram, S: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal. Hybrid Syst. 4, 134-141 (2010)

    Article  MathSciNet  Google Scholar 

  18. Zhang, L, Wang, G, Song, G: On mixed boundary value problem of impulsive semilinear evolution equations of fractional order. Bound. Value Probl. 2012, 17 (2012)

    Article  MathSciNet  Google Scholar 

  19. Mophou, GM: Existence and uniqueness of mild solutions to impulsive fractional differential equations. Nonlinear Anal. 72, 1604-1615 (2010)

    Article  MathSciNet  Google Scholar 

  20. Wang, JR, Fečkan, M, Zhou, Y: On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ. 8(4), 345-361 (2011)

    Article  MathSciNet  Google Scholar 

  21. Hernández, E, O’Regan, D, Balachandran, K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 73, 3462-3471 (2010)

    Article  MathSciNet  Google Scholar 

  22. Zhou, Y, Jiao, F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal., Real World Appl. 11, 4465-4475 (2010)

    Article  MathSciNet  Google Scholar 

  23. Zhou, Y, Jiao, F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063-1077 (2010)

    Article  MathSciNet  Google Scholar 

  24. Wang, JR, Zhou, Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal. 12(6), 3642-3653 (2011)

    Article  MathSciNet  Google Scholar 

  25. Mainardi, F, Paradisi, P, Gorenflo, R: Probability distributions generated by fractional diffusion equations. In: Kertesz, J, Kondor, I (eds.) Econophysics: An Emerging Science. Kluwer Academic, Dordrecht (2000)

    Google Scholar 

  26. El-Borai, MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14, 433-440 (2002)

    Article  MathSciNet  Google Scholar 

  27. El-Borai, MM: The fundamental solutions for fractional evolution equations of parabolic type. J. Appl. Math. Stoch. Anal. 3, 197-211 (2004)

    Article  MathSciNet  Google Scholar 

Download references


The work was supported by Hunan Provincial Natural Science Foundation of China (Grant No. 2015JJ6095), Zhejiang Provincial Natural Science Foundation of China (Grant No. LQ14A010006) and Doctor Priming Fund Project of University of South China (Grant No. 2013XQD16).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Xiaoyou Liu.

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 the same responsibility. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fu, X., Liu, X. & Lu, B. On a new class of impulsive fractional evolution equations. Adv Differ Equ 2015, 227 (2015).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: