 Research
 Open access
 Published:
Monotone iterative technique for impulsive fractional evolution equations with noncompact semigroup
Advances in Difference Equations volume 2015, Article number: 324 (2015)
Abstract
This paper deals with the existence of mild solutions for a class of Caputo fractional impulsive evolution equation with nonlocal condition and noncompact semigroup. By using a monotone iterative technique in the presence of coupled lower and upper Lquasisolutions and using Sadovskii’s fixed point theorem, some existence theorems are obtained. The discussion is based on operator semigroup theory.
1 Introduction
Fractional differential equation is a new and important branch of differential equation theory. It is a valuable tools in the modeling of many phenomena in various fields of engineering, physics, economics, etc. Actually, it has been an important area of investigation in recent years; see [1–5]. Particularly, the existence of solutions to fractional evolution equations has been studied by many authors, see [6–16]. In [6, 7], ElBorai introduced a concept of mild solutions to fractional evolution equations in terms of probability density functions. Recently, it was developed by Zhou and Wang et al. in [8–16]. They introduced two characteristic solution operators and gave a suitable concept on the mild solution by applying Laplace transform and probability density functions. But all these papers did not consider the impulse effects. To study fractional evolution equation with impulsive conditions, many authors made the preparatory works. Particularly, Wang et al. [17] presented the concept of the mild solution of impulsive fractional evolution equations in a Banach space X,
where \(D^{q}\) denotes the Caputo fractional derivative of order \(q\in (0, 1)\), \(A: D(A)\subset X\rightarrow X\) generates a compact \(C_{0}\)semigroup in X, f, g are given functions, \(y_{k}\), \(u_{0}\) are the elements of X, \(a>0\) is a fixed constant, \(0=t_{0}< t_{1}< t_{2}<\cdots <t_{m}<t_{m+1}=a\), \(u(t_{k}^{+})\) and \(u(t_{k}^{})\) represent the right and left limits of \(u(t)\) at \(t=t_{k}\), respectively. By using fixed point theorems of compact operator, they derived many existence and uniqueness results concerning the mild solutions for system (1).
On the other hand, as far as we know that there are few papers studied the fractional evolution equations with noncompact semigroup. Recently, Wang et al. [18] discussed the local existence of mild solutions for nonlocal problem of fractional evolution equations under the situation that −A generates a noncompact analytic semigroup. Chen et al. [19] investigated the existence of saturated mild solutions for the initial value problem of fractional evolution equations under the situation that −A generates an equicontinuous \(C_{0}\)semigroup.
In this paper, in the case of a noncompact semigroup, we consider the following nonlocal problems of impulsive fractional evolution equations in an ordered Banach space E
where \(D^{q}\) denotes the Caputo fractional derivative of order \(q\in (0,1)\), \(A: D(A)\subset E\rightarrow E\) generates a \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in E, f and g are given functions will be specified later, \(u_{0}\in E\), \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{m}<t_{m+1}=a\), \(I_{k}: E\times E\rightarrow E\) (\(k=1,2,\ldots,m\)) are the impulsive functions. Utilizing a monotone iterative technique in the presence of coupled lower and upper Lquasisolutions and using Sadovskii’s fixed point theorem, we obtain some existence results concerning the coupled mild Lquasisolutions and mild solutions for system (2).
In present work, we only assume that −A generates a positive \(C_{0}\)semigroup in Theorem 1 and Theorem 3, which is noncompact and nonanalytic. In Theorem 2, −A generates a positive and equicontinuous \(C_{0}\)semigroup, but the other conditions on f, g, and \(I_{k}\) are much weaker than existing results.
The rest of this paper is organized as follows. In Section 2, some preliminaries are given on the fractional calculus and the measure of noncompactness. The definition of coupled lower and upper Lquasisolutions of the system (2) is also given in this section. In Section 3, we study the existence of coupled mild Lquasisolutions and mild solutions for the system (2). Particularly, a uniqueness result is also obtained in this section. An example is given in Section 4 to illustrate the effectiveness of our results.
2 Preliminaries
Let X be a Banach space with norm \(\\cdot\\), \(A: D(A)\subset X\rightarrow X\) be a closed linear operator and −A generate a \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in X. It is well known that there exist \(\overline{M}>0\) and \(\delta\in{\mathbb{R}}\) such that
From (3), it is clear that there exists a constant \(C>0\) such that \(\ S(t)\\leq C\) for any \(t\in[0,a]\).
Definition 1
A \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in X is said to be positive, if the inequality \(S(t)x\geq0\) holds for \(x\geq0\) and \(t\geq0\).
It is clear that for any \(M\geq0\), \((A+MI)\) also generates a \(C_{0}\)semigroup \(S_{1}(t)=e^{Mt}S(t)\) (\(t\geq0\)) in X. \(S_{1}(t)\) (\(t\geq0\)) is a positive \(C_{0}\)semigroup if \(S(t)\) (\(t\geq0\)) is positive. For more details about the positive \(C_{0}\)semigroup, please see [20].
Let us recall the following known definitions in fractional calculus. For more details, see [3, 5, 8–10] and the references therein.
Definition 2
The fractional integral of order \(\sigma>0\) with the lower limits zero for a function f is defined by
where Γ is the gamma function.
The Caputo fractional derivative of order \(n1<\sigma<n\) with the lower limits zero for a function \(f\in C^{n}[0,\infty)\) can be written as
Remark 1

(1)
The Caputo derivative of a constant is equal to zero.

(2)
If f is an abstract function with values in X, then the integrals which appear in Definition 2 are taken in Bochner’s sense.
Lemma 1
[9]
A measurable function \(h: [0,a]\rightarrow X\) is Bochner integrable if \(\h\\) is Lebesgue integrable.
For \(x\in X\), we define two families \(\{U(t)\}_{t\geq0}\) and \(\{V(t)\}_{t\geq0}\) of the operators by
where
\(\eta_{q}\) is a probability density function defined on \((0,\infty)\), which has the properties \(\eta_{q}(\theta)\geq0\) for all \(\theta\in(0,\infty)\) and \(\int_{0}^{\infty}\eta_{q}(\theta)\, d\theta=1\). Clearly, if the semigroup \(S(t)\) (\(t\geq0\)) is positive, then the operators \(U(t)\) and \(V(t)\) are also positive for all \(t\geq0\).
Lemma 2
The operators \(U(t)\) and \(V(t)\) have the following properties.

(i)
For any fixed \(t\geq0\) and any \(x\in X\), one has
$$\bigl\Vert U(t)x\bigr\Vert \leq C\x\, \qquad \bigl\Vert V(t)x\bigr\Vert \leq\frac{qC}{\Gamma(q+1)}\x\=\frac{C}{\Gamma(q)}\x\. $$ 
(ii)
The operators \(U(t)\) and \(V(t)\) are strongly continuous for all \(t\geq0\).

(iii)
If \(S(t)\) (\(t\geq0\)) is an equicontinuous semigroup, \(U(t)\) and \(V(t)\) are equicontinuous in X for \(t>0\).
Proof
From [8, 9], it is easy to prove (i) and (ii). Hence, we only prove (iii). For any \(0\leq t_{1}< t_{2}\leq a\), we have
and
According to the equicontinuity of \(S(t)\) for \(t>0\), we see that \(\U(t_{2})U(t_{1})\\) and \(\V(t_{2})V(t_{1})\\) tend to zero as \(t_{2}t_{1}\rightarrow0\), which means that the operators \(U(t)\) and \(V(t)\) are equicontinuous in X for \(t>0\). □
We denote by \(C(J,X)\) the Banach space of all continuous Xvalue functions on interval J with the norm \(\u\_{C}=\max_{t\in J}\u(t)\\). Let \(\alpha_{X}(\cdot)\) and \(\alpha_{C(J, X)}(\cdot)\) denote the Kuratowski measure of noncompactness of the bounded set in X and \(C(J, X)\), respectively. Let \(B\subset X\) be a bounded set. It is well known that \(0\leq \alpha_{X}(B)<\infty\). \(\alpha(B)\equiv0\) if and only if the set B is precompact. For more details of the definition and properties of measure of noncompactness, see [21]. For any \(B\subset C(J,X)\) and \(t\in J\), set \(B(t)=\{u(t): u\in B\}\subset X\). If B is bounded in \(C(J, X)\), \(B(t)\) is bounded in X, and \(\alpha_{X}(B(t))\leq\alpha_{C(J,X)}(B)\). A mapping \(Q: B\rightarrow B\) is said to be condensing, if \(\alpha_{C(J,X)}(Q(B))<\alpha_{C(J,X)}(B)\). For the measure of noncompactness, the following lemmas will be used in this paper.
Lemma 3
[22]
Let \(B\subset C(J, X)\) be bounded and equicontinuous. Then \(\alpha_{X}(B(t))\) is continuous on J and
where \(B(J)=\{u(t): u\in B, t\in J\}\).
Lemma 4
[23]
Let \(B=\{u_{n}\}\subset C(J, X)\) be countable. If there exists \(\psi\in L^{1}(J)\) such that \(\u_{n}(t)\\leq\psi(t)\) a.e. \(t\in J\), \(n=1,2,\ldots \) , then \(\alpha_{X}(B(t))\) is Lebesgue integrable on J and
Lemma 5
[24]
Let \(B\subset C(J, X)\) be bounded. Then there exists a countable subset \(B_{0}\) of B such that \(\alpha_{C(J,X)}(B)\leq2\alpha_{C(J,X)}(B_{0})\).
Lemma 6
[25] (Sadovskii’s fixed point theorem)
Let X be a Banach space and Ω be a nonempty bounded convex closed set in X. If \(Q: \Omega\rightarrow\Omega\) is a condensing mapping, then Q has a fixed point in Ω.
Let E be an ordered Banach space with the norm \(\\cdot\\) and the partial order ≤, whose positive cone \(K=\{x\in E: x\geq0\}\) is normal. Let \(\mathit{PC}(J, E)\) = {\(u: J\rightarrow E: u(t)\) is continuous at \(t\neq t_{k}\) and left continuous at \(t=t_{k}\) and \(u(t_{k}^{+})\) exists, \(k=1,2,\ldots, m\)}. Evidently, \(\mathit{PC}(J, E)\) is a Banach space with the norm \(\u\_{\mathit{PC}}=\sup_{t\in J}\u(t)\\). \(\mathit{PC}(J, E)\) is also an ordered Banach space with partial order ≤ reduced by the positive cone \(K_{\mathit{PC}}=\{u\in \mathit{PC}(J, E): u(t)\geq0, {t\in J}\}\). We use \(E_{1}\) to denote the Banach space \(D(A)\) with the graph norm \(\\cdot\_{1}=\ \cdot\+\A\cdot\\). Let \(J'=J\backslash\{t_{1}, t_{2},\ldots, t_{m}\}\). An abstract function \(u\in \mathit{PC}(J, E)\cap C^{1}(J', E)\cap C(J', E_{1})\) is called a solution of the system (2) if \(u(t)\) satisfies all the equalities in (2).
Definition 3
Let \(L\geq0\) be a constant. If the functions \(v_{0}, w_{0}\in \mathit{PC}(J, E)\cap C^{1}(J', E)\cap C(J', E_{1})\) satisfy
we call \(v_{0}\), \(w_{0}\) coupled lower and upper Lquasisolutions of the system (2). If we only choose = in (4) and (5), we call \(v_{0}\), \(w_{0}\) coupled Lquasisolutions of the system (2). Furthermore, if we choose = in (4) and (5) and let \(\tilde{u}:=v_{0}=w_{0}\), then we call ũ a solution of the system (2).
In this paper we adopt the following definition of mild solutions of the system (2), which comes from [17].
Definition 4
By a mild solution of the system (2), we mean that a function \(u\in \mathit{PC}(J, E)\) satisfies the following integral equation
In the proof of the main results, we also need the following generalized GronwallBellman inequality, which can be found in [26].
Lemma 7
Suppose \(b\geq0\), \(\beta>0\), and \(a(t)\) is a nonnegative function locally integrable on \(0\leq t< T\) (some \(T\leq\infty\)), and suppose \(u(t)\) is nonnegative and locally integrable on \(0\leq t< T\) with
on this interval, then
Remark 2
In Lemma 7, if \(a(t)\equiv0\) for all \(0\leq t< T\), we easily see that \(u(t)=0\).
3 Main results
In this section, we always assume that E is an ordered Banach space, whose positive cone K is normal with normal constant N, \(A: D(A)\subset E\rightarrow E\) is a closed linear operator. Let us list the following hypotheses:
 (H_{1}):

\(f\in C(J\times E\times E, E)\) and there exist \(M>0\) and \(L\geq 0\) such that
$$f(t, x_{2}, y_{2})f(t, x_{1}, y_{1}) \geqM(x_{2}x_{1})+L(y_{2}y_{1}), $$for any \(t\in J\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\) and \(v_{0}(t)\leq y_{2}\leq y_{1}\leq w_{0}(t)\);
 (H_{2}):

\(I_{k}\in C(E\times E, E)\) satisfies
$$I_{k}(x_{1}, y_{1})\leq I_{k}(x_{2}, y_{2}), \quad k=1,2,\ldots,m, $$for any \(t\in J\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\) and \(v_{0}(t)\leq y_{2}\leq y_{1}\leq w_{0}(t)\);
 (H_{3}):

\(g: [v_{0}, w_{0}]\times[v_{0}, w_{0}]\rightarrow E\) is continuous and satisfies
$$g(x_{1}, y_{1})\leq g(x_{2}, y_{2}), $$for any \(v_{0}\leq x_{1}\leq x_{2}\leq w_{0}\) and \(v_{0}\leq y_{2}\leq y_{1}\leq w_{0}\);
 (H_{4}):

there exists a constant \(L_{1}>0\) such that
$$\alpha_{E}\bigl(\bigl\{ f(t, x_{n}, y_{n})+f(t, y_{n}, x_{n})\bigr\} \bigr)\leq L_{1} \alpha_{E}\bigl(\{x_{n}\}+\{ y_{n}\}\bigr), $$for \(t\in J\), increasing monotonic sequence \(\{x_{n}\}\subset[v_{0}(t), w_{0}(t)]\) and decreasing sequence \(\{y_{n}\}\subset[v_{0}(t), w_{0}(t)]\);
 (H_{5}):

\(\{g(x_{n}, y_{n})\}\) is precompact for any monotone sequence \(\{ x_{n}\}, \{y_{n}\}\subset[v_{0}, w_{0}]\).
Theorem 1
Let −A generate a positive \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)). Assume that the system (2) has coupled lower and upper Lquasisolutions \(v_{0}\) and \(w_{0}\) with \(v_{0}\leq w_{0}\). If the assumptions (H_{1})(H_{5}) hold, the system (2) has minimal and maximal coupled mild Lquasisolutions between \(v_{0}\) and \(w_{0}\), which can be obtained by a monotone iterative procedure starting from \(v_{0}\) and \(w_{0}\).
Proof
Let \(u_{0}\in E\) be fixed. Define an operator \(Q: [v_{0}, w_{0}]\times[v_{0}, w_{0}]\rightarrow \mathit{PC}(J, E)\) by
where
It is clear that \(U_{1}(t)\) and \(V_{1}(t)\) are positive operators if \(S(t)\) (\(t\geq0\)) is a positive \(C_{0}\)semigroup.
For any \(t\in J\), \(v_{0}(t)\leq x_{1}(t)\leq x_{2}(t)\leq w_{0}(t)\) and \(v_{0}(t)\leq y_{2}(t)\leq y_{1}(t)\leq w_{0}(t)\), from the assumptions (H_{1})(H_{3}) and the positive property of the operators \(U_{1}(t)\) and \(V_{1}(t)\) for \(t\geq0\), it follows that \(Q(x_{1}, y_{1})(t)\leq Q(x_{2}, y_{2})(t)\) for all \(t\in J\), which means that Q is a mixed monotone operator.
Let \(h(t)\triangleq D^{q}v_{0}(t)+Av_{0}(t)+Mv_{0}(t)\). Then \(h\in \mathit{PC}(J, E)\) and \(h(t)\leq f(t, v_{0}(t), w_{0}(t))+(M+L)v_{0}(t)Lw_{0}(t)\). Hence for any \(t\in[0, t_{1}]\), from (4) and (7), we have
For any \(t\in(t_{1}, t_{2}]\), from (4) and (7), we have
Similarly, we can obtain \(v_{0}(t)\leq Q(v_{0}, w_{0})(t)\) for any \(t\in (t_{k}, t_{k+1}]\), \(k=2,3,\ldots,m\). That is, \(v_{0}\leq Q(v_{0}, w_{0})\). A similar argument can prove that \(Q(w_{0}, v_{0})\leq w_{0}\). So, \(Q: [v_{0}, w_{0}]\times[v_{0}, w_{0}]\rightarrow[v_{0}, w_{0}]\) is a mixed monotone operator. By the continuity of f, we easily prove that \(Q: [v_{0}, w_{0}]\times[v_{0}, w_{0}]\rightarrow[v_{0}, w_{0}]\) is continuous.
Now, we define two sequences \(\{v_{n}\}\) and \(\{w_{n}\}\) in \([v_{0}, w_{0}]\) by the iterative scheme
Then from the mixed monotonicity of Q, it follows that
Next, we prove that the sequences \(\{v_{n}(t)\}\) and \(\{w_{n}(t)\}\) are uniformly convergent on J.
For convenience, let \(B=\{v_{n}: n\in{\mathbb{N}}\}+\{w_{n}: n\in {\mathbb{N}}\}\), \(B_{1}=\{v_{n}: n\in{\mathbb{N}}\}\), \(B_{2}=\{w_{n}: n\in {\mathbb{N}}\}\), \(B_{10}=\{v_{n1}: n\in{\mathbb{N}}\}\), and \(B_{20}=\{ w_{n1}: n\in{\mathbb{N}}\}\). Then \(B=B_{1}+B_{2}\), \(B_{1}=Q(B_{10}, B_{20})\), and \(B_{2}=Q(B_{20}, B_{10})\). From \(B_{10}=B_{1}\cup\{v_{0}\}\) and \(B_{20}=B_{2}\cup\{w_{0}\}\), it follows that \(\alpha _{E}(B_{10}(t))=\alpha_{E}(B_{1}(t))\) and \(\alpha_{E}(B_{20}(t))=\alpha _{E}(B_{2}(t))\) for \(t\in J\). Let \(J_{0}=[0, t_{1}]\), \(J_{k}=(t_{k}, t_{k+1}]\), \(k=1,2,\ldots,m\), and let \(\varphi(t):=\alpha_{E}(B(t))\) for \(t\in J\). Going from \(J_{0}\) to \(J_{m}\) interval by interval, we show that \(\varphi (t)\equiv0\) for \(t\in J\).
For \(t\in J_{0}\), from assumptions (H_{4}), (H_{5}), and (7), we have
Hence by Lemma 7, \(\alpha_{E}(B(t))=\varphi(t)\equiv0\) for \(t\in J_{0}\), which means that \(\{v_{n}(t)\}+\{w_{n}(t)\}\) is precompact in E for \(t\in J_{0}\). In particular, \(\alpha_{E}(B_{10}(t_{1}))=0\) and \(\alpha _{E}(B_{20}(t_{1}))=0\). That is, \(B_{10}(t_{1})\) and \(B_{20}(t_{1})\) are precompact in E. Thus, \(I_{1}(B_{10}(t_{1}), B_{20}(t_{1}))\), and \(I_{1}(B_{20}(t_{1}), B_{10}(t_{1}))\) are precompact in E, and \(\alpha _{E}(I_{1}(B_{10}(t_{1}), B_{20}(t_{1})))=0\), \(\alpha_{E}(I_{1}(B_{20}(t_{1}), B_{10}(t_{1})))=0\).
For \(t\in J_{1}\), from above argument, we have
Again by Lemma 7, \(\alpha_{E}(B(t))=\varphi(t)\equiv0\) for \(t\in J_{1}\), which means that \(\{v_{n}(t)\}+\{w_{n}(t)\}\) is precompact in E for \(t\in J_{1}\). Particularly, we obtain that \(\alpha_{E}(B_{10}(t_{2}))=0\), \(\alpha _{E}(B_{20}(t_{2}))=0\) and \(\alpha_{E}(I_{2}(B_{10}(t_{2}), B_{20}(t_{2})))=0\), \(\alpha_{E}(I_{2}(B_{20}(t_{2}), B_{10}(t_{2})))=0\).
Continuing such a process interval by interval up to \(J_{m}\), we can prove that \(\alpha_{E}(B(t))=\varphi(t)\equiv0\) on every \(J_{k}\), \(k=0,1,2,\ldots,m\). Hence for any \(t\in J\), \(\{v_{n}(t)\}+\{w_{n}(t)\}\) is precompact in E. So, \(\{v_{n}(t)\}\) and \(\{w_{n}(t)\}\) are convergent, respectively. Let
Letting \(n\rightarrow\infty\) in (8), by the continuity of the operator Q, we obtain
Evidently, \(\{v_{n}(t)\}, \{w_{n}(t)\}\subset \mathit{PC}(J, E)\), so \(\underline {u}(t)\), \(\overline{u}(t)\) are bounded integrable on J and \(\underline {u}, \overline{u}\in \mathit{PC}(J, E)\). Combining this with the monotonicity (9), we obtain \(v_{0}(t)\leq\underline{u}(t)\leq\overline{u}(t)\leq w_{0}(t)\) for \(t\in J\). By the mixed monotonicity of Q, it is easy to see that \(\underline{u}\) and u̅ are the minimal and maximal coupled fixed points of Q on \([v_{0}, w_{0}]\). and therefore, they are the minimal and maximal coupled mild Lquasisolutions of the system (2) between \(v_{0}\) and \(w_{0}\). □
Let the following condition be satisfied:
 \((\mathrm{H}_{4})'\) :

There exists a constant \(\overline{L}_{1}>0\) such that
$$\alpha_{E}\bigl(\bigl\{ f(t, x_{n}, y_{n})\bigr\} \bigr)\leq\overline{L}_{1}\bigl(\alpha_{E}\bigl( \{x_{n}\} \bigr)+\alpha_{E}\bigl(\{y_{n}\}\bigr) \bigr), $$for any \(t\in J\) and monotone sequences \(\{x_{n}\}, \{y_{n}\}\subset [v_{0}(t), w_{0}(t)]\).
For any \(t\in J\), increasing sequence \(\{x_{n}\}\subset[v_{0}(t), w_{0}(t)]\) and decreasing sequence \(\{y_{n}\}\subset[v_{0}(t), w_{0}(t)]\), by \((\mathrm{H}_{4})'\), we see that
Let \(L_{1}=4\overline{L}_{1}\). Then the assumption \((\mathrm{H}_{4})'\) implies (H_{4}). Therefore, by Theorem 1, we obtain the following existence result.
Corollary 1
Let −A generate a positive \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)). Assume that the system (2) has coupled lower and upper Lquasisolutions \(v_{0}\) and \(w_{0}\) with \(v_{0}\leq w_{0}\). If the conditions (H_{1})(H_{3}), \((\mathrm{H}_{4})'\), and (H_{5}) hold, the system (2) has minimal and maximal coupled mild Lquasisolutions between \(v_{0}\) and \(w_{0}\), which can be obtained by a monotone iterative procedure starting from \(v_{0}\) and \(w_{0}\).
Now, we discuss the existence of mild solution for the system (2) between the minimal and maximal coupled mild Lquasisolutions \(\underline{u}\) and u̅. We assume that:
 (H_{6}):

there exists a constant \(L_{2}>0\) such that
$$\alpha_{E}\bigl(\bigl\{ f(t, x_{n}, y_{n})\bigr\} \bigr)\leq L_{2}\bigl(\alpha_{E}\bigl(\{x_{n}\} \bigr)+\alpha_{E}\bigl(\{ y_{n}\}\bigr)\bigr), $$for any \(t\in J\) and countable subsets \(\{x_{n}\}, \{y_{n}\}\subset [v_{0}(t),w_{0}(t)]\);
 (H_{7}):

there exist \(M_{k}>0\), \(k=1,2,\ldots,m\) with \(\sum_{k=1}^{m}M_{k}<\frac{1}{4C}\) such that
$$\alpha_{E}\bigl(\bigl\{ I_{k}\bigl(x_{n}(t_{k}), y_{n}(t_{k})\bigr)\bigr\} \bigr)\leq M_{k}\bigl[ \alpha_{E}\bigl(\bigl\{ x_{n}(t_{k})\bigr\} \bigr)+ \alpha_{E}\bigl(\bigl\{ y_{n}(t_{k})\bigr\} \bigr) \bigr],\quad k=1,2,\ldots,m, $$for any countable subsets \(\{x_{n}\}, \{y_{n}\}\subset[v_{0},w_{0}]\);
 (H_{8}):

\(\{g(x_{n}, y_{n})\}\) is precompact for any countable subsets \(\{ x_{n}\}, \{y_{n}\}\subset[v_{0},w_{0}]\).
Then we obtain the following existence result.
Theorem 2
Let −A generate a positive and equicontinuous \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in E. Assume that the system (2) has coupled lower and upper Lquasisolutions \(v_{0}\) and \(w_{0}\) with \(v_{0}\leq w_{0}\). If the conditions (H_{1})(H_{3}) and (H_{6})(H_{8}) hold, the system (2) has minimal and maximal coupled mild Lquasisolutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\), and has at least one mild solution between \(\underline{u}\) and u̅.
Proof
It is clear that (H_{6}) implies \((\mathrm{H}_{4})'\) and (H_{8}) implies (H_{5}). Hence, by Corollary 1, the system (2) has minimal and maximal coupled mild Lquasisolutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\). Next, we prove the existence of mild solutions of the system (2) between \(\underline{u}\) and u̅. Let \(Tu=Q(u, u)\). Then \(T: [v_{0}, w_{0}]\rightarrow[v_{0}, w_{0}]\) is continuous. If \(u\in \mathit{PC}(J,E)\) is a fixed point of the operator T, then \(u=Tu=Q(u,u)\). By Definitions 3 and 4 and the definition of the operator Q, u is the mild solution of the system (2). For any \(D\subset[v_{0}, w_{0}]\), we see that \(T(D)\subset[v_{0}, w_{0}]\) is bounded and equicontinuous. So, by Lemma 5, there exists a countable set \(D_{0}=\{ x_{n}\}\subset D\) such that \(\alpha_{C(J,E)}(T(D))\leq2\alpha _{C(J,E)}(T(D_{0}))\). For \(t\in J_{0}=[0, t_{1}]\), by the definition of T, we have
For \(t\in J_{k}=(t_{k}, t_{k+1}]\), \(k=1,2,\ldots,m\), by the definition of T, we have
Hence for any \(t\in J\), we have
Since \(T(D_{0})\) is bounded and equicontinuous, by Lemma 3, we have

(i)
If \(4C\sum_{k=1}^{m}M_{k}+\frac{4C(M+2L_{2})}{\Gamma (q+1)}a^{q}<1\), then the \(T: [v_{0}, w_{0}]\rightarrow[v_{0}, w_{0}]\) is a condensing mapping. By Lemma 6, T has at least one fixed point u in \([v_{0}, w_{0}]\).

(ii)
If \(4C\sum_{k=1}^{m}M_{k}+\frac{4C(M+2L_{2})}{\Gamma (q+1)}a^{q}\geq1\), then divided \(J=[0, a]\) into n equal parts. Let \(\triangle_{n}: 0=t_{0}'< t_{1}'<\cdots<t_{n}'=a\) and \(t_{i}'\) (\(i=1,2,\ldots ,n1\)) be not the impulsive points such that
$$ 4C\sum_{k=1}^{m}M_{k}+ \frac{4C(M+2L_{2})}{\Gamma(q+1)}\ \triangle_{n}\^{q}< 1. $$(12)
By (i) and (12), the system (2) has a mild solution \(u_{1}\) in \([0,t_{1}']\). Again by (i) and (12), if (2) with \(u(t_{1}')=u_{1}(t_{1}')\) as initial value, then it has a mild solution \(u_{2}(t)\) in \([t_{1}', t_{2}']\), which satisfies \(u_{2}(t_{1}')=u_{1}(t_{1}')\). Thus, the mild solution of (2) continuously extends from \([0, t_{1}']\) to \([t_{1}', t_{2}']\). Continuing such a process interval by interval from \([0, t_{1}']\) to \([t_{n1}', a]\), we obtain the mild solution \(u\in \mathit{PC}(J, E)\) of the system (2), which satisfies \(u(t)=u_{i}(t)\) for \(t\in[t_{i1}', t_{i}']\), \(i=1,2,\ldots,n\).
Finally, since \(u=Tu=Q(u, u)\), \(v_{0}\leq u\leq w_{0}\), by the mixed monotonicity of Q, we have
Similarly, \(v_{2}\leq u\leq w_{2}\). In general, \(v_{n}\leq u\leq w_{n}\). Letting \(n\rightarrow\infty\), we get \(\underline{u}\leq u\leq \overline{u}\). Therefore, the system (2) has at least one mild solution between \(\underline{u}\) and u̅. □
Remark 3
Analytic semigroup and differentiable semigroup are equicontinuous semigroup [27]. In applications of partial differential equations, such as parabolic and strongly damped wave equations, the corresponding solution semigroup is an analytic semigroup. So Theorem 2 has extensive applicability.
Now, we discuss the uniqueness of mild solution for the system (2) in \([v_{0}, w_{0}]\). If we further assume that the following conditions hold:
 (H_{9}):

there exist \(M_{3}>0\) and \(L_{3}>0\) such that
$$f(t, x_{2}, y_{2})f(t, x_{1}, y_{1}) \leq M_{3}(x_{2}x_{1})L_{3}(y_{2}y_{1}), $$for any \(t\in J\), \(v_{0}(t)\leq x_{1}\leq x_{2}\leq w_{0}(t)\) and \(v_{0}(t)\leq y_{2}\leq y_{1}\leq w_{0}(t)\);
 (H_{10}):

\(g: [v_{0}, w_{0}]\times[v_{0}, w_{0}]\rightarrow E\) is continuous and satisfies
$$g(x_{1}, y_{1})\leq g(x_{2}, y_{2}), $$for any \(v_{0}\leq x_{1}\leq x_{2}\leq w_{0}\) and \(v_{0}\leq y_{2}\leq y_{1}\leq w_{0}\); particularly, for any \(x_{1}, x_{2}\in[v_{0}, w_{0}]\) with \(x_{1}\leq x_{2}\), one has
$$g(x_{2}, x_{1})g(x_{1}, x_{2})=0, $$
then we obtain the following existence and uniqueness theorem.
Theorem 3
Let −A generate a positive \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in E. Assume that the system (2) has coupled lower and upper Lquasisolutions \(v_{0}\) and \(w_{0}\) with \(v_{0}\leq w_{0}\). If the conditions (H_{1}), (H_{2}), (H_{5}), (H_{9}), and (H_{10}) hold, the system (2) has a unique mild solution between \(v_{0}\) and \(w_{0}\), which can be obtained by a monotone iterative procedure starting from \(v_{0}\) or \(w_{0}\).
Proof
It is clear that (H_{10}) implies (H_{3}). we first prove that (H_{1}) and (H_{9}) imply (H_{4}). For any \(t\in J\), let \(\{ x_{n}\}\subset[v_{0}(t), w_{0}(t)]\) be an increasing sequence and \(\{y_{n}\} \subset[v_{0}(t), w_{0}(t)]\) be a decreasing sequence. For \(m, n\in {\mathbb{N}}\) with \(m>n\) and \(t\in J\), by (H_{1}) and (H_{9}), we have
Combining this with the normality of cone K, we have
From this inequality and the definition of the measure of noncompactness, it follows that
where \(\frac{L_{4}}{2}=N(M+M_{3})+M+N(L+L_{3})+L\). Similarly, we can prove that there exists a constant \(L_{5}>0\) such that
Thus, for any \(t\in J\), increasing monotone sequence \(\{x_{n}\}\subset [v_{0}(t), w_{0}(t)]\) and decreasing monotone sequence \(\{y_{n}\}\subset [v_{0}(t), w_{0}(t)]\), we have
It implies that the condition (H_{4}) holds with \(L_{1}=L_{4}+L_{5}\). Therefore, by Theorem 1, the system (2) has minimal and maximal coupled mild Lquasisolutions \(\underline{u}\) and u̅ between \(v_{0}\) and \(w_{0}\). By the proof of Theorem 1, we know that (10) and (11) are valid. Going from \(J_{0}\) to \(J_{m}\) interval by interval, we show that \(\underline{u}(t)=\overline{u}(t)\) on every \(J_{k}\).
For \(t\in J_{0}\), we have
From this and the normality of cone K, it follows that
By Lemma 7, we obtain \(\overline{u}(t)\equiv\underline{u}(t)\) on \(J_{0}\). Particularly, \(\overline{u}(t_{1})=\underline{u}(t_{1})\), so, \(I_{1}(\overline{u}(t_{1}), \underline{u}(t_{1}))=I_{1}(\underline{u}(t_{1}), \overline{u}(t_{1}))\).
For \(t\in J_{1}\), we can prove that
Again by Lemma 7, we obtain that \(\overline{u}(t)\equiv\underline {u}(t)\) on \(J_{1}\), and \(I_{2}(\overline{u}(t_{2}), \underline {u}(t_{2}))=I_{2}(\underline{u}(t_{2}), \overline{u}(t_{2}))\).
Continuing such a process interval by interval up to \(J_{m}\), we see that \(\overline{u}(t)\equiv\underline{u}(t)\) over the whole J. Hence, \(\tilde{u}:=\overline{u}=\underline{u}\) is the unique mild solution of the system (2) on \([v_{0}, w_{0}]\), which can be obtained by the monotone iterative procedure starting from \(v_{0}\) or \(w_{0}\). □
4 An example
Consider the impulsive fractional differential equation with nonlocal conditions of the form
Let \(E=L^{2}([0, \pi])\). Define \(Au=\frac{\partial^{2}}{\partial y^{2}}u\) for \(u\in D(A)\), where
Then −A generates a positive \(C_{0}\)semigroup \(S(t)\) (\(t\geq0\)) in E, which is equicontinuous and \(C=1\).
Let \(0\leq w\in \mathit{PC}(J, E)\) satisfy the following conditions:
 (P_{1}):

\(0\leq I_{k}(0, w(t_{k}, y))\) and \(I_{k}(w(t_{k}, y), 0)\leq\Delta w_{t=t_{k}}\), \(k=1,2,\ldots, m\), \(y\in[0, \pi]\);
 (P_{2}):

\(0\leq u_{0}(y)+g(0, w(t, y))\) and \(u_{0}(y)+g(w(t, y), 0)\leq w(0, y)\), \((t, y)\in[0, 1]\times(0,\pi)\);
 (P_{3}):

\(Lw(t, y)\leq f(t, y, 0, w(t, y))\) and \(f(t, y, w(t, y), 0)\leq D_{t}^{q}w(t, y)+(ALI)w(t, y)\), \((t, y)\in[0, 1]\times[0,\pi]\), \(t\neq t_{k}\).
Then 0 and w are coupled lower and upper Lquasisolutions of the systems (13).
Therefore, if the functions f, g, and \(I_{k}\) (\(k=1,2,\ldots, m\)) satisfy the conditions (H_{1})(H_{5}) on the interval \([0, w]\), the system (13) has minimal and maximal coupled mild Lquasisolutions between 0 and w.
If the functions f, g, and \(I_{k}\) (\(k=1,2,\ldots, m\)) satisfy the conditions (H_{1})(H_{3}) and (H_{6})(H_{8}) on the interval \([0, w]\), the system (13) has at least mild Lquasisolutions on \([0, w]\).
If the functions f, g, and \(I_{k}\) (\(k=1,2,\ldots, m\)) satisfy the conditions (H_{1}), (H_{2}), (H_{5}), (H_{9}), and (H_{10}) on the interval \([0, w]\), the system (13) has a unique mild solution on \([0, w]\).
References
Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69, 26772682 (2008)
McRae, FA: Monotone iterative technique and existence results for fractional differential equations. Nonlinear Anal. 71, 60936096 (2009)
Lv, ZW, Liang, J, Xiao, TJ: Solutions to the Cauchy problem for differential equations in Banach spaces with fractional order. Comput. Math. Appl. 62, 13031311 (2011)
Furati, KM: A fractional differential inequality with application. Nonlinear Anal. 74, 43304337 (2011)
Wang, RN, Xiao, TJ, Liang, J: A note on the fractional Cauchy problems with nonlocal initial conditions. Appl. Math. Lett. 24, 14351442 (2011)
ElBorai, M: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14, 433440 (2002)
ElBorai, M: The fundamental solution for fractional evolution equations of parabolic type. J. Appl. Math. Stoch. Anal. 3, 197211 (2004)
Zhou, Y, Jiao, F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal. 11, 44654475 (2010)
Wang, JR, Zhou, Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal. 12, 262272 (2011)
Wang, JR, Zhou, Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal. 12, 36423653 (2011)
Wang, JR, Zhou, Y, Wei, W, Xu, HL: Nonlocal problems for fractional integrodifferential equations via fractional operators and optimal controls. Comput. Math. Appl. 62, 14271441 (2011)
Wang, JR, Zhou, Y: MittagLefflerUlam stabilities of fractional evolution equations. Appl. Math. Lett. 25, 723728 (2012)
Wang, JR, Zhang, YR: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 8590 (2015)
Liu, SD, Wang, JR, Wei, W: A study on iterative learning control for impulsive differential equations. Commun. Nonlinear Sci. Numer. Simul. 24, 410 (2015)
Wang, JR, Ibrahim, AG, Fečkan, M: Nonlocal impulsive fractional differential inclusions with fractional sectorial operators on Banach spaces. Appl. Math. Comput. 257, 103118 (2015)
Wang, JR, Ibrahim, AG, Fečkan, M: Nonlocal Cauchy problems for semilinear differential inclusions with fractional order in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 27, 281293 (2015)
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, 345361 (2011)
Wang, JR, Zhou, Y, Fečkan, M: Abstract Cauchy problem for fractional differential equations. Nonlinear Dyn. 74, 685700 (2013)
Chen, PY, Li, YX, Chen, QY, Feng, BH: On the initial value problem of fractional evolution equations with noncompact semigroup. Comput. Math. Appl. 67, 11081115 (2014)
Li, YX: The positive solutions of abstract semilinear evolution equations and their applications. Acta Math. Sin. 39(5), 666672 (1996) (in Chinese)
Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1985)
Guo, DJ, Sun, JX: Ordinary Differential Equations in Abstract Spaces. Shandong Science and Technology, Ji’nan (1989) (in Chinese)
Heinz, HR: On the behavior of measure of noncompactness with respect to differentiation and integration of vectorvalued functions. Nonlinear Anal. 71, 13511371 (1983)
Li, YX: Existence of solutions of initial value problems for abstract semilinear evolution equations. Acta Math. Sin. 48(6), 10891094 (2005) (in Chinese)
Sadovskii, BN: On a fixed point principle. Funkc. Anal. Prilož. 1(2), 7476 (1926) (in Russian)
Ye, H, Gao, J, Ding, Y: A generalized Gronwall inequality and its applications to a fractional differential equation. J. Math. Anal. Appl. 328, 10751081 (2007)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (1983)
Acknowledgements
Thanks to the reviewers for their helpful comments and suggestions. The second author is supported by the Sheng Tongsheng Technological Innovation Fund of Gansu Agricultural University (Grant No. GSAUSTS1423).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. 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 (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, L., Liang, Y. Monotone iterative technique for impulsive fractional evolution equations with noncompact semigroup. Adv Differ Equ 2015, 324 (2015). https://doi.org/10.1186/s1366201506656
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201506656