 Research
 Open Access
 Published:
Perturbation technique for a class of nonlinear implicit semilinear impulsive integrodifferential equations of mixed type with noncompactness measure
Advances in Difference Equations volume 2015, Article number: 11 (2015)
Abstract
By using the ArzelaAscoli theorem, the Bellman inequality, and a monotone perturbation iterative technique in the presence of lower and upper solutions, we discuss the existence of mild solutions for a class of nonlinear firstorder implicit semilinear impulsive integrodifferential equations in Banach spaces. Under wide monotone conditions and the noncompactness measure conditions, we also obtain the existence of extremal solutions and a unique mild solution between lower and upper solutions.
Introduction
The theory of impulsive differential equations has become an important area of investigation in recent years stimulated by their numerous applications to problems arising in mechanics, electrical engineering, medicine, biology, ecology, etc. Various evolutionary processes undergo abrupt changes of states at certain moments of time; between intervals of continuous evolution such changes can be well approximated as being instantaneous changes at state, or in the form of impulses. These process are modeled by impulse differential equations and have been the most important research directions and connections for impulsive differential equations; see, for example, [1–7] and the references therein. Subsequently, many authors have investigated the existence of solutions to impulsive differential equations or (implicit) impulsive integrodifferential equations with their strong applications in Banach spaces; see [1–27] and the references therein.
Recently, Lan and Cui [15] studied a class of initial value problems of nonlinear firstorder implicit impulsive integrodifferential equations in Banach space. By using the Mönch fixed point theorem, they obtained some new existence theorems of solutions for this class of nonlinear firstorder implicit impulsive integrodifferential equations in Banach spaces under some weaker conditions. Furthermore, some (implicit) impulsive differential equations under various initial and boundary conditions has also been studied by several authors; see, for example, [11, 13, 22, 24, 28] and the references therein. By using a monotone iterative technique in the presence of lower and upper solutions, Lan [23] discussed the existence of solutions for a new class of nonlinear firstorder implicit impulsive integrodifferential equations in Banach spaces. Under wide monotone conditions and the noncompactness measure conditions, he also obtained the existence of extremal solutions and a unique solution between lower and upper solutions. In [25], Chen and Li introduced and studied a class of semilinear impulsive evolution equations in Banach spaces by using a mixed monotone iterative technique. The presented results improved and extended some relevant results in ordinary differential equations and partial differential equations. For related works, see [9, 26, 27, 29, 30] and the references therein.
On the other hand, the monotone iterative technique, which is one of the approximation methods for finding solutions of a comparatively large class of impulsive differential equations, can be applied in practice easily; see, for example, [14, 16, 17, 23, 25–27, 29]. Further, some nice examples of the monotone iterative technique can be found in [20, 21]. As a matter of fact, Li and Liu [16] pointed out that ‘the monotone iterative technique in the presence of lower and upper solutions is an important method for seeking solutions of differential equations in abstract spaces’. Moreover, Li and Liu [16] used a monotone iterative technique in the presence of lower and upper solutions to discuss the existence of solutions for the initial value problem of the impulsive integrodifferential equation of Volterra type in a Banach space. Under monotone conditions and the noncompactness measure condition of the nonlinearity function f, the authors also obtained the existence of extremal solutions and a unique solution between lower and upper solutions. In [14], by using a monotone iterative technique in the presence of lower and upper solutions, we discussed the existence of solutions for a new system of nonlinear mixed type implicit impulsive integrodifferential equations in Banach spaces. Under some monotonicity conditions and the noncompactness measure conditions, they also obtained the existence of extremal solutions and a unique solution between lower and upper solutions.
Motivated and inspired by the above works, by using the ArzelaAscoli theorem, the Bellman inequality, and the monotone iterative technique in the presence of lower and upper solutions, we discuss the existence of mild solutions for the following nonlinear firstorder implicit semilinear impulsive differential equation problem in Banach space \({\mathbb{B}}\): Find \(u: J\to{\mathbb{B}}\) such that
where \(J=[t_{0},t_{0}+a]\subset{\mathbb{R}}=(\infty,+\infty)\) is a compact interval, the operator A is the infinitesimal generator of a positive \(C_{0}\)semigroup \(\{G(t), t\ge t_{0}\}\) on \({\mathbb{B}}\), \(f\in C(J\times{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}, {\mathbb{B}})\) is a nonlinear continuous operator, \(t_{0}< t_{1}<\cdots<t_{m}<t_{0}+a<+\infty\), \(u_{0}\in{\mathbb{B}}\) is a given element, \(\hbar\in C(D,{\mathbb{R}}^{+})\), \(D=\{(t,s)\mid s,t\in J,t\ge s\}\), \(\mathbb{R}^{+}=[0,+\infty)\),
and for \(k=1, 2, \ldots, m\), \(I_{k}\in C[{\mathbb{B}},{\mathbb{B}}]\) is an impulsive function, \(\triangle u_{t=t_{k}}\) denotes the jump of \(u(t)\) at \(t=t_{k}\), i.e., \(\triangle u_{t=t_{k}}=u(t_{k}^{+})u(t_{k}^{})\), \(u(t_{k}^{})\) and \(u(t_{k}^{+})\) represent the left and right limits of \(u(t)\) at \(t=t_{k}\), respectively. Further, under wide monotone conditions and the noncompactness measure conditions, we obtain the existence of extremal solutions and a unique mild solution between lower and upper solutions.
Preliminaries
Throughout this paper, let \({\mathbb{B}}\) be an ordered Banach space with the norm \(\\cdot\\) and partial order ≤, whose positive cone \(P=\{x\in{\mathbb{B}} \mid x\ge0\}\) is normal with normal constant N, and \(A: \operatorname{dom}(A)\subset{\mathbb{B}}\to{\mathbb{B}}\) be a closed linear operator and generate a \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) in \({\mathbb{B}}\). Let \(J=[t_{0},t_{0} +a]\), \(t_{0}< t_{1}<\cdots<t_{m}<t_{0}+a<+\infty\), \(J_{0}=[t_{0},t_{1}], J_{1}=(t_{1},t_{2}],\ldots, J_{k}=(t_{k},t_{k+1}], \ldots ,J_{m}=(t_{m},t_{0}+a]\), and
Evidently, \(PC(J,{\mathbb{B}})\) is a Banach space with norm \(\x\ _{PC}=\sup_{t\in J}x(t)\). Let \(J^{\prime}=J\setminus\{t_{1},t_{2}, \ldots,t_{m}\}\), and \({\mathbb{B}}_{*}\) be the Banach space generated by \(\operatorname{dom}(A)\) with norm \(\\cdot\_{*}=\\cdot\+\A\cdot\\). An abstract function \(x\in PC(J,{\mathbb{B}})\cap C^{1}(J^{\prime}, {\mathbb{B}})\cap C(J^{\prime}, {\mathbb{B}}_{*})\) is called a solution of problem (1.1) if \(x(t)\) satisfies all the equalities of (1.1).
Let
where \(x^{\prime}(t_{k}^{+})\) and \(x^{\prime}(t_{k}^{})\) represent the right and left derivatives of \(x(t)\) at \(t=t_{k}\), respectively. For \(x\in PC^{1}(J,{\mathbb{B}})\), by virtue of the mean value theorem
it is easy to see that the left derivative \(x_{}^{\prime}(t_{k})\) exists and
In the sequel, \(x^{\prime}(t_{k})\) is understood as \(x_{}^{\prime}(t_{k})\), then \(x^{\prime}\in PC^{1}(J,{\mathbb{B}})\). If \(x\in PC(J,{\mathbb{B}})\cap C^{1}(J^{\prime}, {\mathbb{B}})\cap C(J^{\prime}, {\mathbb{B}}_{*})\) is a solution of problem (1.1), then by the continuity of f and the closed linearity of A, we know \(x\in PC^{1}(J,{\mathbb{B}})\). Evidently, \(PC^{1}(J,{\mathbb{B}})\) is a Banach space with norm \(\x\_{PC^{1}}=\max\{\sup_{t\in J}\x(t)\ , \sup_{t\in J}\x^{\prime}(t)\\}\).
A mapping \(F: J\to{\mathbb{B}}\) is differentiable at \(t\in J\) if there exists a \(F^{\prime}(t)\in{\mathbb{B}}\) such that the limits
exist and are equal to \(F^{\prime}(t)\). Here the limits are taken in \({\mathbb{B}}\). At the endpoints of J, we consider the onesided derivatives.
By the wellknown result [31], we know that there exist \(C>0\) and \(\sigma\in\mathbb{R}\) such that \(\G(t)\\le Ce^{\sigma t}\). Letting
then \(\delta_{0}\) is called the increasing index of \(G(t)\). It follows from the properties of the \(C_{0}\)semigroup that the \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) is exponentially stable if and only if \(\delta_{0}<0\).
Let \(C^{1}(J, {\mathbb{B}})\) denote the Banach space of all continuous differentiable \({\mathbb{B}}\)value functions on interval J with norm \(\x\_{C^{1}}=\max_{t\in J}\x^{\prime}(t)\\). Let \(\alpha(\cdot)\) denote the Kuratowski measure of noncompactness of the bounded set. For the details of the definition and properties of the measure of noncompactness, see [32]. For any \(E\subset C^{1}(J, {\mathbb{B}})\) and \(t\in J\), set \(E(t)= \{ x(t) \mid x\in E\}\subset{\mathbb{B}}\). If E is bounded in \(C^{1}(J, {\mathbb{B}})\), then \(E(t)\) is bounded in \({\mathbb{B}}\), and \(\alpha(E(t))\le\alpha(E)\).
Lemma 2.1
Assume that the \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) is exponentially stable, i.e., \(\delta_{0}<0\). Then for any \(p\in PC^{1}(J, {\mathbb{B}})\) and \(v_{k},u_{0}\in\mathbb{B}\), \(k=1, 2, \ldots, m\), the initial value problem of linear impulsive evolution equation in \(\mathbb{B}\)
has a unique mild solution \(u\in PC^{1}(J,{\mathbb{B}})\) expressed by
Proof
It follows from Theorem 2.9 of [31, Chapter 4] and Lemma 2.2 in [26] that this conclusion follows directly. □
Lemma 2.2
[33]
If H is a bounded subset of \(PC^{1}(J,{\mathbb{B}})\), the element of \(H^{\prime}\) is equicontinuous at \(J_{k}\) for all \(k=0,1,2,\ldots,m\), then
where \(H^{\prime}(t)=\{x^{\prime}(t): x\in H\}\).
Lemma 2.3
[33]
Let \(E\subset C(J, {\mathbb{B}})\) be bounded and equicontinuous. Then \(\alpha(E(t))\) is continuous on J, and
Lemma 2.4
[34, Corollary 3.1(b)]
Let \(E=\{x_{n}\}\subset PC(J, {\mathbb{B}})\) be a bounded and countable set. Then \(\alpha(E(t))\) is Lebesgue integral on J, and
Existence and uniqueness theorems
In this section, we will prove our main results concerning the mild solutions of the nonlinear firstorder implicit impulsive integrodifferential equation (1.1) in Banach spaces.
Definition 3.1
If a function \(y\in PC^{1}(J, {\mathbb{B}})\) satisfies
then we call it a lower solution of problem (1.1); if all the inequalities of (3.1) are inverse, then we call it an upper solution of problem (1.1).
Definition 3.2
A \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) in \(\mathbb{B}\) is said to be positive, if the order inequality \(G(t)x\ge\theta\) holds for every \(x\ge\theta \), \(x\in{\mathbb{B}}\), and \(t\ge t_{0}\).
It is easy to see that for any \(M\ge0\), \(AMI\) also generates a \(C_{0}\)semigroup \(\Gamma(t)=e^{M(t)}G(t)\) (\(t\ge t_{0}\)) in \(\mathbb{B}\). \(\Gamma(t)\) is a positive \(C_{0}\)semigroup if \(G(t)\) is a positive \(C_{0}\)semigroup for all \(t\ge t_{0}\).
Now, let us first list the following assumptions for convenience:
 (H_{1}):

Problem (1.1) has a lower solution \(y_{0}\in PC^{1}(J, {\mathbb{B}})\) and an upper solution \(x_{0}\in PC^{1}(J, {\mathbb{B}})\) with \(y_{0}\le x_{0}\), and there exist constants \(M\in(0,1)\) such that
$$f(t, u_{2}, v_{2}, w_{2})f(t, u_{1}, v_{1}, w_{1})\geM(u_{2}u_{1}) $$for all \(t\in J\) and \(y_{0}(t)\le u_{1}\le u_{2}\le x_{0}(t)\), \(Ty_{0}(t)\le v_{1}\le v_{2}\le Tx_{0}(t)\), and \(y_{0}^{\prime}(t)\le w_{1}\le w_{2}\le x_{0}^{\prime}(t)\).
 (H_{2}):

\(I_{k}(x)\) is increasing on the order interval \([y_{0}(t),x_{0}(t)]\) for \(t\in J\), \(k=1, 2,\ldots, m\).
 (H_{3}):

There exist \(0<2L<1M\) such that
$$\alpha\bigl(\bigl\{ f\bigl(t,u_{n}(t),v_{n}(t),w_{n}(t) \bigr)\bigr\} \bigr)\le L\bigl[\alpha\bigl(\bigl\{ u_{n}(t)\bigr\} \bigr)+ \alpha\bigl(\bigl\{ v_{n}(t)\bigr\} \bigr)+\alpha\bigl(\bigl\{ w_{n}(t)\bigr\} \bigr)\bigr] $$for all \(t\in J\), and increasing or decreasing monotonic sequences \(\{u_{n}\}\subset[y_{0}(t),x_{0}(t)]\), \(\{v_{n}\}\subset[Ty_{0}(t), Tx_{0}(t)]\) and \(\{w_{n}\}\subset[y_{0}^{\prime}(t), x_{0}^{\prime}(t)]\).
In the sequel, we prove the following main results of this paper.
Theorem 3.1
Let \({\mathbb{B}}\) be an ordered Banach space, whose positive cone P is normal, \(A: \operatorname{dom}(A)\subset{\mathbb{B}}\to{\mathbb{B}}\) be a closed linear operator, the positive \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) generated by A be compact in \({\mathbb{B}}\), \(f\in C(J\times{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}, {\mathbb{B}})\), and \(I_{k}\in C({\mathbb{B}}, {\mathbb{B}})\) for \(k=1, 2, \ldots, m\). Suppose that the conditions (H_{1}) ∼ (H_{3}) hold. Then problem (1.1) has minimal and maximal mild solutions between \([y_{0},x_{0}]\), which can be obtained by a monotone iterative procedure starting from \(y_{0}\) and \(x_{0}\), respectively.
Proof
Let \(M_{1}=\sup_{t\in J}\\Gamma(t)\\) and \(M_{2}=\sup_{t\in J}\G^{\prime}(t)\\). For any \(u\in PC^{1}(J, {\mathbb{B}})\), define Fu on J by the equation
It is easy to see that \(F: PC^{1}(J, {\mathbb{B}})\to PC^{1}(J, {\mathbb{B}})\) is continuous. By Lemma 2.1, we know that the mild solution of problem (1.1) is equivalent to the fixed point of F. Since \(G(t)\) (\(t\ge t_{0}\)) is a positive \(C_{0}\)semigroup, \(G(0)=I\) ([31]) and it follows from assumptions (H_{1}) and (H_{2}) that F is increasing in \([y_{0},x_{0}]\) and maps any bounded set in \([y_{0},x_{0}]\) into a bounded set.
We first show that \(y_{0}\le Fy_{0}\), \(Fx_{0}\le x_{0}\). Let \(p(t)=y_{0}^{\prime}(t)Ay_{0}(t)+My_{0}(t)\), by the definition of lower solution and (2.1), we know that \(p\in PC^{1}(J, {\mathbb{B}})\) and \(p(t)\le f(t, y_{0}(t), Ty_{0}(t), y_{0}^{\prime}(t))+My_{0}(t)\) for \(t\in J^{\prime}\). It follows from Lemma 2.1 that
for all \(t\in J\), i.e., \(y_{0}\le Fy_{0}\). Similarly, it can be shown that \(Fx_{0}\le x_{0}\). Combining these facts and the increasing property of F in \([y_{0},x_{0}]\), we see that F maps \([y_{0},x_{0}]\) into itself, and \(F: [y_{0},x_{0}]\to[y_{0},x_{0}]\) is a continuously increasing operator.
Secondly, we prove that \(F: [y_{0},x_{0}]\to[y_{0},x_{0}]\) is completely continuous. Let
On the one hand, for all \(t\in J\), we show that \(K(t)=\{\Phi u(t) \mid u\in[y_{0},x_{0}]\}\) is precompact in \({\mathbb{B}}\). In fact, for any \(\epsilon\in(t_{0},t)\) and \(u\in[y_{0},x_{0}]\), it follows from (3.3) that
It follows from the condition (H_{1}) that
By the normality of the cone P, now we know that there exists a constant \(M_{3}>0\) such that
From the compactness of \(\Gamma(\epsilon)\), we have \(K_{\epsilon}(t)=\{ \Phi_{\epsilon}u(t) \mid u\in[y_{0},x_{0}]\}\) is precompact in \(\mathbb{B}\). Since
the set \(K(t)\) is totally bounded in \(\mathbb{B}\). Moreover, \(K(t)\) is precompact in \(\mathbb{B}\).
On the other hand, for all \(t_{1}, t_{2}\in J\), from (3.3)(3.5), we have
The right side of (3.6) relies on \(t_{2}t_{1}\), but it is independent of u. Since \(G(t)\) (\(t\ge t_{0}\)) is compact, \(\Gamma(t)\) is compact and continuous in the uniform operator topology for all \(t\ge t_{0}\). Thus, the right side of (3.6) tends to 0 as \(t_{2}t_{1}\to0\). Hence, \(\Phi([y_{0},x_{0}])\) is an equicontinuous function of the cluster in \(C^{1}(J, {\mathbb{B}})\).
Similarly, we can prove the compactness of Ψ in (3.3).
For any \(t\in J\), since \(\{Fu(t) \mid u\in[y_{0},x_{0}]\}=\{\Gamma (tt_{0})+\Phi u(t)+\Psi u(t) \mid u\in[y_{0},x_{0}]\}\), and \(Fu(t_{0})=u_{0}\) is precompact in \(\mathbb{B}\), we know that \(F([y_{0},x_{0}])\) is precompact in \(C^{1}(J_{k}, {\mathbb{B}})\) by using the ArzelaAscoli theorem. Thus, \(F: [y_{0},x_{0}]\to[y_{0},x_{0}]\) is completely continuous.
Finally, we show that problem (1.1) has minimal and maximal mild solutions between \([y_{0},x_{0}]\), which can be obtained by a monotone iterative procedure starting from \(y_{0}\) and \(x_{0}\), respectively.
It follows from the completely continuity of F that F has minimal and maximal fixed points \(\underline{u}\) and \(\overline{u}\) in \([y_{0},x_{0}]\), and so they are the minimal and maximal mild solutions of problem (1.1) in \([y_{0},x_{0}]\), respectively.
On the other hand, from the above discussions, we know that \(F: [y_{0},x_{0}]\to[y_{0},x_{0}]\) is a continuously increasing operator. Now, we define two sequences \(\{y_{n}\}\) and \(\{x_{n}\}\) in \([y_{0},x_{0}]\) by the iterative scheme
Then it follows from the monotonicity of F that
We prove that \(\{y_{n}\}\) and \(\{x_{n}\}\) are uniformly convergent in J.
For convenience, let \(E=\{y_{n} \mid n\in{\mathbb{N}}\}\) and \(E_{0}=\{y_{n1} \mid n\in{\mathbb{N}}\}\). Since \(E=F(E_{0})\), by (3.2) and the boundedness of \(E_{0}\), we easily see that E is equicontinuous in every interval \(J_{k}^{\prime}\), where \(J_{1}^{\prime}=[t_{0}, t_{1}]\) and \(J_{k}^{\prime}= (t_{k1}, t_{k}]\), \(k=2, 3,\ldots, m\). From \(E_{0}=E\cup\{y_{0}\}\) and Lemma 2.2, it follows that \(\alpha (E_{0}(t))=\alpha(E(t))\) and
for all \(t\in J\). Letting
by Lemma 2.3, we know that \(\phi\in PC^{1}(J,{\mathbb{R}}^{+})\). Going from \(J_{1}^{\prime}\) to \(J_{m+1}^{\prime}\) interval by interval, we show that \(\phi(t)\equiv0\) in J.
In fact, for \(t\in J\), there exists a \(J_{k}^{\prime}\) such that \(t\in J_{k}^{\prime}\). By Lemma 2.3, we have
where \(\hbar_{0}=\max\{\hbar(t,s): (t,s)\in D\}\). Hence,
It follows from (3.2), Lemma 2.4, assumption (H_{3}) and (3.9) that, for \(t\in J^{\prime}_{1}\),
and so
i.e.,
where \(\zeta=L(1+2aM_{2})\), \(\Gamma=\max\{2(M+a\hbar_{0}L +2L ),a\hbar_{0}\zeta2M(M+a\hbar_{0}\zeta +2\zeta)\}\), and \(\Theta=\Gamma/(1M2\zeta)\). Hence, by the Bellman inequality, we know that \(\phi(t)\equiv0\) in \(J_{1}^{\prime}\). In particular, \(\alpha^{1}(E(t_{1}))=\alpha^{1}(E_{0}(t_{1}))=\phi(t_{1})=0\), and so \(\alpha (E(t_{1}))=\alpha(E_{0}(t_{1}))=0\), this means that \(E(t_{1})\) and \(E_{0}(t_{1})\) are precompact in \(\mathbb{B}\). Thus \(I_{1}(E_{0}(t_{1}))\) is precompact in \(\mathbb{B}\), and \(\alpha(I_{1}(E_{0}(t_{1})))=0\).
Now, for \(t\in J_{2}^{\prime}\), by (3.2) and the above argument for \(J_{1}^{\prime}\), we have
and
Again by the Bellman inequality, we know that \(\phi(t)\equiv0\) in \(J_{2}^{\prime}\), from which we obtain \(\alpha(E_{0}(t_{2}))=0\) and \(\alpha(I_{2}(E_{0}(t_{2})))=0\).
Continuing such a process interval by interval up to \(J_{m+1}^{\prime}\), we can prove that \(\phi(t)\equiv0\) in every \(J_{k}^{\prime}\), \(k=1, 2, \ldots, m+1\).
For any \(J_{k}\), if we modify the value of \(y_{n}\) at \(t=t_{k1}\) via \(y_{n}(t_{k1})=y_{n}(t^{+}_{k1})\), \(n\in{\mathbb{N}}\), then \(\{y_{n}\}\subset C^{1}(J_{k}, {\mathbb{B}})\) and it is equicontinuous. Since \(\alpha(\{y_{n}(t)\})\equiv0\), \(\{y_{n}(t)\}\) is precompact in \({\mathbb{B}}\) for every \(t\in J_{k}\). By the ArzelaAscoli theorem, we know that \(\{y_{n}\}\) is precompact in \(C^{1}(J_{k}, {\mathbb{B}})\). Hence, \(\{y_{n}\}\) has a convergent subsequence in \(C^{1}(J_{k}, {\mathbb{B}})\). Combining this with the monotonicity (3.8), we easily prove that \(\{y_{n}\}\) itself is convergent in \(C^{1}(J_{k}, {\mathbb{B}})\). In particular, \(\{y_{n}(t)\}\) is uniformly convergent in \(J_{k}^{\prime}\). Consequently, \(\{y_{n}(t)\}\) is uniformly convergent over the whole of J.
Using a similar argument to that for \(\{y_{n}(t)\}\), we can prove that \(\{ x_{n}(t)\}\) is also uniformly convergent in J. Hence, \(\{y_{n}(t)\}\) and \(\{x_{n}(t)\}\) are convergent in \(PC^{1}(J, {\mathbb{B}})\). Setting
and \(n\to\infty\) in (3.7) and (3.8), then we have \(v_{0}\le\underline {u}\le\overline{u}\le x_{0}\) and
By the monotonicity of F, it is easy to see that \(\underline{u}\) and \(\overline{u}\) are the minimal and maximal fixed points of F in \([y_{0},x_{0}]\), and therefore they are the minimal and maximal mild solutions of problem (1.1) in \([y_{0},x_{0}]\), respectively. This completes the proof. □
Remark 3.1
In Theorem 3.1, if \({\mathbb{B}}\) is weakly sequentially complete, the condition (H_{3}) holds automatically. In fact, by Theorem 2.2 of [35], any monotonic and orderbounded sequence is precompact. Let \(\{x_{n}\}\) and \(\{y_{n}\}\) be two increasing or decreasing sequences obeying condition (H_{3}), then, by condition (H_{1}), \(\{f(t, x_{n}, y_{n}, z_{n})+Mx_{n}\}\) is a monotonic and orderbounded sequence. By the property of the measure of noncompactness, we have
Hence, condition (H_{3}) holds.
From Theorem 3.1, we obtain the following result.
Corollary 3.1
Let \({\mathbb{B}}\) be an ordered and weakly sequentially complete Banach space, whose positive cone P is normal, \(f\in C(J\times{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}, {\mathbb{B}})\), and \(I_{k}\in C({\mathbb{B}}, {\mathbb{B}})\), \(k=1, 2, \ldots, m\). If the conditions (H_{1}) and (H_{2}) are satisfied, then problem (1.1) has minimal and maximal mild solutions between \(y_{0}\) and \(x_{0}\), which can be obtained by a monotone iterative procedure starting from \(y_{0}\) and \(x_{0}\), respectively.
Next we discuss the uniqueness of the mild solution to problem (1.1) in \([y_{0},x_{0}]\). Assume we replace the assumption (H_{3}) by the following assumption.
(H_{4}) There exist positive constants \(C_{i}\) (\(i=1,2,3\)) with \(C_{3}<1\) such that
for all \(t\in J\) and \(y_{0}(t)\le u_{1}\le u_{2}\le x_{0}(t)\), \(\lambda _{1}Ty_{0}(t)\le v_{1}\le v_{2}\le\lambda_{1}Tx_{0}(t)\) and \(\lambda_{2}y_{0}^{\prime}(t)\le w_{1}\le w_{2}\le\lambda_{2}x_{0}^{\prime}(t)\). Then we have the following unique existence result.
Theorem 3.2
Let \({\mathbb{B}}\) be an ordered Banach space, whose positive cone P is normal, \(f\in C(J\times{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}, {\mathbb{B}})\) and \(I_{k}\in C({\mathbb{B}}, {\mathbb{B}})\), \(k=1, 2, \ldots, m\). If the conditions (H_{1}), (H_{2}), and (H_{4}) hold, then problem (1.1) has a unique mild solution between \(y_{0}\) and \(x_{0}\), which can be obtained by a monotone iterative procedure starting from \(y_{0}\) or \(x_{0}\).
Proof
We first prove that (H_{1}) and (H_{4}) imply (H_{3}). In fact, for \(t\in J\), let \(\{u_{n}\}\subset[y_{0}(t),x_{0}(t)]\), \(\{v_{n}\} \subset[ Ty_{0}(t), Tx_{0}(t)]\), and \(\{w_{n}\} \subset[ y_{0}^{\prime}(t), x_{0}^{\prime}(t)]\) be increasing sequences. For \(m, n\in{\mathbb{N}}\) with \(m>n\), by (H_{1}) and (H_{4}),
By this inequality and the normality of cone P, we have
From this inequality and the definition of the measure of noncompactness, it follows that
where \(L^{\prime}=\max\{M+NM+NC_{1}, NC_{2}, NC_{3}\}\). If \(\{u_{n}\}\), \(\{v_{n}\} \), and \(\{w_{n}\}\) are decreasing sequences, the above inequality is also valid. Hence (H_{3}) holds.
Therefore, by Theorem 3.1, problem (1.1) has a minimal solution \(\underline{u}\) and a maximal solution \(\overline{u}\) in \([y_{0},x_{0}]\). By the proof of Theorem 3.1, (3.7), (3.8), (3.10), and (3.11) are valid. Going from \(J_{1}^{\prime}\) to \(J_{m+1}^{\prime}\) interval by interval, we show that \(\underline{u}(t)\equiv\overline {u}(t)\) in every \(J^{\prime}_{k}\), \(k=1,2,\ldots,m+1\).
Indeed, for \(t\in J_{1}^{\prime}\), by (3.11) and (3.2) and assumption (H_{4}), we have
where \(M_{1}=\sup_{t\in J}\\Gamma(t)\\). It follows from (3.12) and the normality of cone P that
i.e.,
Thus, by the Bellman inequality, we obtain \(\underline{u}(t)\equiv \overline{u}(t)\) in \(J_{1}^{\prime}\).
For \(t\in J_{2}^{\prime}\), since \(I_{1}(\overline{u}(t_{1}))=I_{1}(\underline {u}(t_{1}))\), using (3.2) and by completely the same argument as above for \(t\in J_{1}^{\prime}\), we can prove that
Again, by the Bellman inequality, we obtain \(\underline{u}(t)\equiv \overline{u}(t)\) in \(J_{2}^{\prime}\).
Continuing such a process interval by interval up to \(J_{m+1}^{\prime}\), we see that \(\underline{u}(t)\equiv\overline{u}(t)\) over the whole of J. Hence, \(u^{*}:=\underline{u}=\overline{u}\) is the unique mild solution of problem (1.1) in \([y_{0},x_{0}]\), which can be obtained by the monotone iterative procedure (3.7) starting from \(y_{0}\) or \(x_{0}\). □
Remark 3.2
(1) Using the above argument method interval by interval from \(J_{1}^{\prime}\) to \(J_{m+1}^{\prime}\), we can also improve the main results in [19] and [21], and delete some restrictive conditions there.
(2) In this study, the equicontinuity of the semigroup \(G(t)\) (\(t\ge t_{0}\)) generated by A is not required.
Concluding remarks
In this paper, we introduce and study the following nonlinear firstorder implicit impulsive differential equation problem in Banach space \({\mathbb{B}}\):
Find \(u: J\to{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}\) such that
By using a monotone iterative technique in the presence of lower and upper solutions, the existence of extremal solutions and a unique mild solution between the lower and upper solutions are obtained under wide monotone conditions and the noncompactness measure conditions. The results presented in this paper improved and generalized some known results concerned with the integrodifferential equations and classical (abstract) differential equations.
Moreover, we remark that if the lower solution and the upper solution for problem (1.1) do not exist, then we have the following results.
Theorem 4.1
Let \({\mathbb{B}}\) be an ordered Banach space, whose positive cone P is normal, \(A: \operatorname{dom}(A)\subset{\mathbb{B}}\to{\mathbb{B}}\) be a closed linear operator and generate a positive \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) in \({\mathbb{B}}\), \(f\in C(J\times{\mathbb{B}}\times{\mathbb{B}}\times{\mathbb{B}}, {\mathbb{B}})\), and \(I_{k}\in C({\mathbb{B}}, {\mathbb{B}})\), \(k=1, 2, \ldots, m\). Assume that there exist \(b>0\), \(x_{0}\in \operatorname{dom}(A)\), \(x_{0}\ge\theta\), \(y_{k}\in \operatorname{dom}(A)\), \(y_{k}\ge\theta\), \(k=1, 2, \ldots, m\), \(h\in PC^{1}(J,{\mathbb{B}})\), and \(h(t)\ge\theta\) such that
Then the following results hold:

(1)
If the \(C_{0}\)semigroup \(G(t)\) (\(t\ge t_{0}\)) is compact in \(\mathbb{B}\), and the conditions (H_{1}) and (H_{2}) in Section 3 are satisfied, then problem (1.1) has minimal and maximal mild solutions.

(2)
Problem (1.1) has minimal and maximal mild solutions when the conditions (H_{1}) ∼ (H_{3}) in Section 3 are satisfied.

(3)
If the positive cone P is regular, and the conditions (H_{1}) and (H_{2}) in Section 3 are satisfied, then problem (1.1) has minimal and maximal mild solutions.

(4)
Problem (1.1) has a unique mild solution when the conditions (H_{1}), (H_{2}), and (H_{4}) in Section 3 are satisfied.
Proof
Firstly, we consider the following initial value problem of the linear impulsive evolution equation in \({\mathbb{B}}\):
Since \((A+b I)\) generates a positive \(C_{0}\)semigroup \(\Gamma (t)=e^{bt}G(t)\) (\(t\ge0\)) in \({\mathbb{B}}\), it follows from Theorem 2.9 in [31, Chapter 4] and Lemma 2.1, that problem (4.1) has a unique positive classical solution \(\hat{u}\in PC^{1}(J,E)\). Let \(y_{0}=\hat{u}\), \(x_{0}=\hat{u}\), it is easy to see that \(y_{0}\) and \(x_{0}\) are the lower solution and the upper solution of problem (1.1), respectively. So, our conclusions (1)(4) follow from Theorems 3.1 and 3.2. □
References
 1.
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
 2.
Cuevas, C, N’Guérékata, GM, Rabelo, M: Mild solutions for impulsive neutral functional differential equations with statedependent delay. Semigroup Forum 80(3), 375390 (2010)
 3.
Cuevas, C, Hernández, E, Rabelo, M: The existence of solutions for impulsive neutral functional differential equations. Comput. Math. Appl. 58(4), 744757 (2009)
 4.
Guo, TL, Jiang, W: Impulsive fractional functional differential equations. Comput. Math. Appl. 64(10), 34143424 (2012)
 5.
Hernández, E, Rabelo, M, Henríquez, H: Existence of solutions for impulsive partial neutral functional differential equations. J. Math. Anal. Appl. 331, 11351158 (2007)
 6.
Henríquez, H, de Andrade, B, Rabelo, M: Existence of almost periodic solutions for a class of abstract impulsive differential equations. ISRN Math. Anal. 2011, 121 (2011)
 7.
Hernández, E: Global solutions for abstract impulsive neutral differential equations. Math. Comput. Model. 53(12), 196204 (2011)
 8.
Agarwal, RP, O’Regan, D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 161, 433439 (2005)
 9.
Agarwal, RP, Benchohra, M, Hamani, S, Pinelas, S: Upper and lower solutions method for impulsive differential equations involving the Caputo fractional derivative. Mem. Differ. Equ. Math. Phys. 53, 112 (2011)
 10.
Akhmet, MU, Turan, M: The differential equation on time scales through impulsive differential equations. Nonlinear Anal. 65, 20432060 (2006)
 11.
Carl, S, Heikkilä, S: On discontinuous implicit and explicit abstract impulsive boundary value problems. Nonlinear Anal. 41, 701723 (2000)
 12.
Guo, DJ: Multiple positive solutions for first order nonlinear impulsive integrodifferential equations in Banach spaces. Appl. Math. Comput. 143, 233249 (2003)
 13.
Lan, HY, Huang, NJ, Kim, JK: First order nonlinear implicit impulsive integrodifferential equations in Banach spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 13(6), 803813 (2006)
 14.
Lan, HY: Monotone method for a system of nonlinear mixed type implicit impulsive integrodifferential equations in Banach spaces. J. Comput. Appl. Math. 222(2), 531543 (2008)
 15.
Lan, HY, Cui, YS: On the existence of solutions for nonlinear firstorder implicit impulsive integrodifferential equations. Nonlinear Anal. 71(56), 16701677 (2009)
 16.
Li, YX, Liu, Z: Monotone iterative technique for addressing impulsive integrodifferential equations in Banach spaces. Nonlinear Anal. 66, 8392 (2007)
 17.
Ahmad, B, Malar, K, Karthikeyan, K: A study of nonlocal problems of impulsive integrodifferential equations with measure of noncompactness. Adv. Differ. Equ. 2013, 205 (2013)
 18.
Li, J, Nieto, JJ, Shen, J: Impulsive periodic boundary value problems of firstorder differential equations. J. Math. Anal. Appl. 325, 226236 (2007)
 19.
Liu, LS, Wu, CX, Guo, F: A unique solution of initial value problems for first order impulsive integrodifferential equations of mixed type in Banach spaces. J. Math. Anal. Appl. 275, 369385 (2002)
 20.
Nieto, JJ, RodríguezLópez, R: New comparison results for impulsive integrodifferential equations and applications. J. Math. Anal. Appl. 328, 13431368 (2007)
 21.
Sun, JL, Ma, YH: Initial value problems for seconder order mixed monotone type of impulsive integrodifferential equations in Banach spaces. J. Math. Anal. Appl. 247, 506516 (2000)
 22.
Huang, NJ, Lan, HY: Existence of the solution for a class of implicit differential equations in Banach spaces. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 13(1), 2736 (2006)
 23.
Lan, HY: Existence and uniqueness results for nonlinear firstorder implicit impulsive integrodifferential equations with monotone conditions. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 17(1), 1930 (2010)
 24.
Pang, HH, Lu, M, Cai, C: The method of upper and lower solutions to impulsive differential equations with integral boundary conditions. Adv. Differ. Equ. 2014, 183 (2014)
 25.
Chen, PY, Li, YX: Mixed monotone iterative technique for a class of semilinear impulsive evolution equations in Banach spaces. Nonlinear Anal. 74(11), 35783588 (2011)
 26.
Chen, PY, Mu, J: Monotone iterative method for semilinear impulsive evolution equations of mixed type in Banach spaces. Electron. J. Differ. Equ. 2010, 149 (2010)
 27.
Chen, PY, Li, YX, Yang, H: Perturbation method for nonlocal impulsive evolution equations. Nonlinear Anal. Hybrid Syst. 8, 2230 (2013)
 28.
Li, DS: Peano’s theorem for implicit differential equations. J. Math. Anal. Appl. 258, 591616 (2001)
 29.
Zhang, XP, Sun, YP: Monotone iterative methods of positive solutions for fractional differential equations involving derivatives. Math. Probl. Eng. 2014, Article ID 254012 (2014)
 30.
Wang, F, Wang, P: Existence and uniqueness of mild solutions for a class of nonlinear fractional evolution equation. Adv. Differ. Equ. 2014, 150 (2014)
 31.
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences, vol. 44. Springer, New York (1983)
 32.
Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1985)
 33.
Guo, DJ, Lakshmikantham, V, Liu, XZ: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)
 34.
Hein, HP: On the behaviour of measure of noncompactness with respect to differentiation and integration of vectorvalued functions. Nonlinear Anal. 7, 13511371 (1983)
 35.
Du, Y: Fixed points of increasing operators in ordered Banach spaces and applications. Appl. Anal. 38, 120 (1990)
Acknowledgements
We thank the referees’ valuable comments and suggestions to improve our paper.
This work was partially supported by Sichuan Province Cultivation Fund Project of Academic and Technical Leaders, and the Open Research Fund of Key Laboratory of Higher Education of Sichuan Province for Enterprise Informationalization and Internet of Things (2013WZJ01).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
HYL conceived of the study and participated in its design and coordination. YSC carried out the proof of the corollaries and gave some remarks to show the main results. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Received
Accepted
Published
DOI
Keywords
 nonlinear firstorder implicit semilinear impulsive integrodifferential equation
 monotone iterative technique
 monotone condition and noncompactness measure condition
 lower and upper solution
 existence and uniqueness