 Research
 Open Access
 Published:
Impulsive differential equations with nonlocal conditionsin general Banach spaces
Advances in Difference Equations volume 2012, Article number: 10 (2012)
Abstract
This article is concerned with impulsive semilinear differential equations with nonlocal initial conditions in Banach spaces. The approach used is fixed point theorem combined with the technique of operator transformation. Existence results are obtained when the nonlocal item is Lipschitz continuous. An example is also given to illustrate the obtained theorem.
AMS classification: 34G10; 47D06.
1 Introduction
In this article, we deal with the existence of mild solutions for the following impulsive semilinear nonlocal problem
where A: D(A) ⊆ X → X is the infinitesimal generator of strongly continuous semigroup S(t) for t > 0 in a real Banach space X, \Delta u\left({t}_{i}\right)=u\left({t}_{i}^{+}\right)u\left({t}_{i}^{}\right) constitutes an impulsive condition. f and g are X valued functions to be given later.
In recent years, the theory of impulsive differential inclusions has become an important object of investigation because of its wide applicability in biology, medicine, mechanics, control and in more and more fields. The impulsive conditions are the appropriate model for describing some phenomena. For example, at certain moments, the system changes their state rapidly, which cannot be modeled by traditional initial value problems. For more detailed bibliography and exposition on this subject, we refer to [1–6].
Here we first recall the study of nonlocal semilinear initial value problems. It was first considered by Byszewski. Because it has better effect in the applications than the classical initial condition, more and more authors have studied the following type of semilinear differential equation under various conditions on S(t), f, and g,
For instance, Byszewski and Lakshmikantham [7] proved the existence and uniqueness of mild solutions for nonlocal semilinear differential equations when f and g satisfy Lipschitz type conditions. In [8], Ntouyas and Tsamatos studied the case with compactness conditions. Byszewski and Akca [9] established the existence of solution to functionaldifferential equation when the semigroup is compact, and g is convex and compact on a given ball. Subsequently, Benchohra and Ntouyas [10] discussed second order differential equation under compact conditions. Recently, Dong and Li [11] study the semilinear differential inclusion when g is compact. By making full use of the measure of noncompactness, Obukhovski and Zecca [12] discuss the controllability for semilinear differential inclusions with a noncompact semigroup, Xue [13–15] established new existence theorems for semilinear and nonlinear nonlocal problem, respectively.
Next, we focus on the study of impulsive problems. Liu [5] discuss the classic initial problem when f is Lipschitz continuous with respect to its second variable and the impulsive functions I_{ i }are Lipschitz continuous. Cardinali and Rubbioni [3] study the multivalued impulsive semilinear differential equation by means of the Hausdorff measure of noncompactness. Liang et al. [16] investigate the nonlocal impulsive problems under the assumptions of g is compact, Lipschitz, and g is not compact and not Lipschitz, respectively.
The goal of this article is to make use of the Hausdorff measure of noncompactness and the fixed point theory to deal with the impulsive semilinear differential equation (1.1). We obtain the existence of mild solution of the nonlocal problem (1.1) when g is Lipschitz continuous. In particular, in our proof, we do not need the Lipschitz continuity of f. Thus the compactness of S(t) or f and the Lipschitz continuity of f are the special case of our results.
This article is organized as follows. In Section 2, we recall some facts about the measure of noncompactness, fixed point theorem and semilinear differential equations. In Section 3, we give the existence result of the problem (1.1) when g is Lipschitz continuous. In Section 4, an example is given to illustrate our abstract results.
2 Preliminaries
Let E be a real Banach space, we introduce the Hausdorff measure of noncompactness α defined on each bounded subset Ω of E by
Now, we recall some basic properties of the Hausdorff measure of noncompactness.
Lemma 2.1 [17]. For all bounded subsets Ω, Ω_{1}, Ω_{2} of E, the following properties are satisfied:

(1)
Ω is precompact if and only if α(Ω) = 0;

(2)
\alpha \left(\mathrm{\Omega}\right)=\alpha \left(\stackrel{\u0304}{\mathrm{\Omega}}\right)=\alpha \left(conv\mathrm{\Omega}\right), where \stackrel{\u0304}{\mathrm{\Omega}} and conv Ω mean the closure and convex hull of Ω, respectively;

(3)
α(Ω1) ≤ α(Ω_{2}) when Ω1 ⊂ Ω_{2};

(4)
α(Ω_{1} ∪ Ω_{2}) ≤ max{α(Ω_{1}), α(Ω_{2})};

(5)
α(λ Ω) = λα(Ω), for any λ ∈ R;

(6)
α(Ω_{1} + Ω_{2}) ≤ α(Ω_{1}) + α(Ω_{2}), where Ω_{1} + Ω_{2} = {x + y; x ∈ Ω_{1},y ∈ Ω_{2}};

(7)
if {\left\{{W}_{n}\right\}}_{n=1}^{+\infty} is a decreasing sequence of nonempty bounded closed subsets of E and \underset{n\to \infty}{\text{lim}}\alpha \left({W}_{n}\right)=0, then {\cap}_{n=1}^{+\infty}{W}_{n} is nonempty and compact in E.
The map Q: D ⊂ E → E is said to be an αcontraction, if there exists a positive constant k < 1 such that α(QB) < kα(B) for every bounded closed subset B ⊂ D (see [18]).
Lemma 2.2 ([17]: DarboSadovskii). If D ⊂ E is bounded closed and convex, the continuous map Q: D → D is an αcontraction, then the map Q has at least one fixed point in D.
Throughout this article, let (X, .) be a real Banach space. We denote by C([0, T]; X) the Banach space of all continuous functions from [0, T] to X with the norm u = sup {u(t) , t ∈ [0, T]} and by L^{1} ([0, T]; X) the Banach space of all Xvalued Bochner integrable functions defined on [0, T] with the norm {\u2225u\u2225}_{1}={\int}_{0}^{T}\u2225u\left(t\right)\u2225dt. Let PC([0, T]; X) = {u: [0, T] → X: u(t) be continuous at t ≠ t_{ i }and left continuous at t = t_{ i }and the right limit u\left({t}_{i}^{+}\right) exists for i = 1, 2,... ,p}. It is easy to check that PC([0, T]; X) is a Banach space with the norm u_{ PC }= sup{u (t), t ∈ [0, T]} and C([0, T]; X) ⊆ PC([0, T]; X) ⊆ L^{1}([0, T]; X). Moreover, we denote β by the Hausdorff measure of noncompactness of X, denote β_{ c }by the Hausdorff measure of noncompactness of C ([0, T]; X) and denote β_{ pc }by the Hausdorff measure of noncompactness of PC([0, T]; X).
C_{0}semigroup S(t) is said to be equicontinuous if {S(t)x: x ∈ B} is equicontinuous for t > 0 for all bounded set B ⊂ E. Consequently, the following lemma is easily verified.
Lemma 2.3 If the semigroup S(t) is equicontinuous and w ∈ L^{1}([0, T]; R^{+}), then the set {{\int}_{0}^{t}S\left(ts\right)u\left(s\right)ds,\u2225u\left(s\right)\u2225\le w\left(s\right), u(s) ≤ w(s) for a.e. s ∈ [0, T]} is equicontinuous for t ∈ [0, T].
Lemma 2.4 If W ⊆ PC([0, T]; X) is bounded, then we have
where W(t) = {u(t); u ∈ W} ⊂ X.
Proof. For arbitrary ε > 0, there exists W_{ i }⊆ PC([0, T]; X), i = 1, 2,..., n, such that W\subseteq {\cup}_{i=1}^{n}{W}_{i} and
Hence, for every t ∈ [0, T], W\left(t\right)\subseteq {\cup}_{i=1}^{n}{W}_{i}\left(t\right), and diam(W_{ i }(t)) ≤ diam(W_{ i }), i = 1, 2,..., n, that is
and therefore,
To discuss the problem (1.1), we also need the following lemma.
Lemma 2.5 [4]. If W ⊆ C([0, T]; X) is bounded, then for all t ∈ [0, T],
where W(t) = {u(t);u ∈ W} ⊂ X. Furthermore, if W is equicontinuous on [0, T], then β(W(t)) is continuous on [0, T] and
We will also use the sequential measure of noncompactness β_{0} generated by β, that is, for any bounded subset Ω ⊂ X, we define
It follows that
In addition, when X is separable, we have β_{0}(Ω) = β(Ω).
For the above related results on the sequential measure of noncompactness, we refer to [17].
Definition 2.1 A function u ∈ C([0, T]; X) is said to be a mild solution of the nonlocal problem (1.2), if
for all t ∈ [0, T].
Let Γf be the only mild solution of the following semilinear system
Now, we give the following result about β estimation of mild solutions (see [19]), similarly, see also [20, 21].
Lemma 2.6 Let {\left\{{f}_{k}\right\}}_{k=1}^{+\infty} be a sequence of functions in L^{1}([0, T]; X). Assume that there exists φ ∈ L^{1}([0, T]; R+) satisfying
Then for all t ∈ [0, T], we have
Definition 2.2 A function u ∈ PC([0, T]; X) is said to be a mild solution of the nonlocal problem (1.1), if it satisfies
Since {S(t): t ∈ [0, T]} is a strongly continuous semigroup of bounded linear operators, we may assume S(t) ≤ M for all t ∈ [0, T]. In addition, let r be a finite positive constant, and set B_{ r }: = {x ∈ X: x ≤ r} and W_{ r }: = {u ∈ PC([0, T]; X): u(t) ∈ B_{ r }, ∀ t ∈ [0, T]}.
3 Main results
In this section, by using the method and technique of operator transformation, Hausdorff measure of noncompactness and fixed point, we give the existence result for the nonlocal problem (1.1). First, we give the following hypotheses:
(H_{ A }) The C_{0} semigroup S(t) generated by A is equicontinuous;
(H_{ f }) f: [0, T] × X → X satisfies the following conditions:

(1)
f(·, x): [0, T] → X is measurable for all x ∈ X,

(2)
f(t, ·): X → X is continuous for a.e. t ∈ [0, T],

(3)
there exists l(t) ∈ L^{1}(0, T; R^{+}) such that
\beta (f(t,D)\le l(t)\beta (D),
for a.e. t ∈ [0, T] and every bounded subset D ⊂ X;
(H_{ I }) I_{ i }: X → X is Lipschitz continuous with Lipschitz constant k_{ i }, for i = 1, 2,...,p;
(H_{ g }) There exists a constant k\in \left(0,1/M{\sum}_{i=1}^{p}{k}_{i}\right) such that
(H_{ r }) M\left(\u2225g\left(0\right)\u2225+{\sum}_{i=1}^{p}\u2225{I}_{i}\left(0\right)\u2225+T\cdot \underset{t\in \left[0,T\right],u\in {W}_{r}}{\text{sup}}\u2225f\left(t,u\left(t\right)\right)\u2225\right)\le \left(1M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)\right)r..
Theorem 3.1 Assume that the conditions (H_{ A }), (H_{ f })(1)(3), (H_{ I }), (H_{ g }), and (H_{ r }) are satisfied. Then the nonlocal problem (1.1) has at least one mild solution on [0, T] provided that M\left(4{l}_{1}+k+{\sum}_{i=1}^{p}{k}_{i}\right)<1, where {l}_{1}={\int}_{0}^{T}l\left(s\right)ds.
Define the operator R: PC([0, T]; X) → C([0, T]; X) by
Using the dominated convergence theorem, it is easy to check that R is continuous on PC([0, T]; X) by the continuity of f with respect to the second argument. Furthermore, by the assumption (H_{ r }) and Lemma 2.3, we know R(W_{ r }) is bounded and equicontinuous on [0, T].
To prove the above theorem, we first give the following lemma.
Lemma 3.1 If the condition (H_{ r }) holds, then for arbitrary bounded set W ⊂ W_{ r }, we have
Proof. For any t ∈ [0, T], due to the inequality (2.1), we obtain that for arbitrary given ε > 0, there exists a sequence {\left\{{v}_{k}\right\}}_{k=1}^{+\infty}\subset W such that
Since
we obtain
On the other hand, it follows from Lemma 2.6 that
Hence, we have
By applying (3.1), we can derive that
Since
we infer that
Since the above inequality holds for arbitrary ε > 0, it follows that
This completes the proof.
Proof of Theorem 3.1 Define the operator Q: PC([0, T]; X) → PC([0, T]; X) by
Obviously, the fixed point of Q^{l} R is the mild solution of the nonlocal impulsive problem (1.1). Subsequently, we will prove that Q^{l} R has a fixed point by Lemma 2.2.
At first, we prove that Q is Lipschitz continuous with constant 1+M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right). In fact, by using the conditions (H_{ g }) and (H_{ I }), for u_{1},u_{2} ∈ PC([0, T]; X), we have
Secondly, we show that Q is bijective. For this purpose, for any fixed v ∈ PC([0,T]; X), we consider the following equation:
Now define the operator L: PC([0, T]; X) → PC([0, T]; X) by
It is easy to see that the existence and uniqueness of the fixed point of L for any v ∈ PC([0, T]; X) implies that Q is bijective. In the following, we will prove that L has a unique fixed point in PC([0, T]; X). Indeed, for u_{1}, u_{2} ∈ PC([0, T]; X),
From the condition (H_{ g }), we find that M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)<1, that is, L is a contraction operator on PC([0, T]; X). According to Banach's fixed point theorem, L has a unique fixed point. Thus, Q is bijective.
Third, we prove that Q^{1} is Lipschitz continuous with constant 1/\left(1M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)\right). In fact, for v_{1}, v_{2} ∈ PC([0, T]; X),
Next, we claim that (Q^{1}R)W_{ r }⊆ W_{ r }. Actually, for any u ∈ W_{ r }⊆ PC([0, T]; X), let v = (Q^{1}R)u, from the hypotheses (H_{ I }) and (H_{ g }), we have
By the condition (H_{ r }), we infer that v_{ PC }≤ r. Thus, (Q^{1} R)W_{ r }⊆ W_{ r }.
At last, we prove that Q^{1}R is a β_{ pc }contraction. As Q^{1} is Lipschitz continuous and R is continuous on PC([0,T]; X), we have Q^{1} R is continuous on PC([0,T]; X). Actually, since R(W_{ r }) is bounded and equicontinuous on [0, T], we can even deduce that Q^{1} R(W_{ r }) ⊆ PC([0, T]; X) is equicontinuous on J_{ i }, i = 0, 1, 2,..., p, where J_{0} = (0, t_{1}], J_{1} = (t_{1}, t_{2}],..., J_{p1}= (t_{p1}, t_{ p }], J_{ p }= (t_{ p }, T]. Because Q^{1} is Lipschitz continuous with constant 1/\left(1M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)\right) for W ⊆ W_{ r }, we obtain that
Noting that RW ⊆ C([0, T]; X) ⊆ PC([0, T]; X), the following conclusion is obvious:
Thus,
On the other hand, from Lemma 3.1, for t ∈ [0, T], we know that
From Lemmas 2.4 and 2.5, we have
Consequently,
Since M\left(4{l}_{1}+k+{\sum}_{i=1}^{p}{k}_{i}\right)<1, the mapping Q^{1} R ia a β_{ pc }contraction in W_{ r }. By Lemma 2.2, the operator Q^{1} R has a fixed point in W_{ r }, which is just the mild solution of nonlocal impulsive problem (1.1). This completes the proof.
Remark 3.1 In many previous articles, such as [4, 11, 14, 16, 19, 22–24], the authors obtain the existence results under many different conditions. However, they need the compactness of the semigroup S(t) or nonlocal item g, or the Lipschitz continuity of f. Here, we make use of the technique of operator transformation and the Hausdorff measure of noncompactness to obtain the existence result, without the compactness condition of nonlocal item g and Lipschitz assumption on f. Therefore, our result has wide applications. Furthermore, we also have the following conclusions.
First, we list the following hypotheses:
\left({H}_{A}^{\prime}\right) The C_{0} semigroup S(t) is compact;
(H_{ f })(3') f(t, ·): X → X is compact for a.e. t ∈ [0, T].
(H_{ f })(3") f(t, ·): X → X is Lipschitz continuous, i.e., there exists a constant k' > 0 such that f(t, x)f(t, y) ≤ k'x  y for a.e. t ∈ [0, T], x,y ∈ X.
Theorem 3.2 Assume that the conditions \left({H}_{A}^{\prime}\right), (H_{ f })(1)(3), (H_{ I }), (H_{ g }), and (H_{ r }) are satisfied. Then the nonlocal problem (1.1) has at least one mild solution on [0, T].
Theorem 3.3 Assume that the conditions (H_{ A }), (H_{ f })(1)(2)(3'), (H_{ I }), (H_{ g }), and (H_{ r }) are satisfied. Then the nonlocal problem (1.1) has at least one mild solution on [0, T].
Moreover, if the condition (H_{ f })(3) in Theorem 3.1 is replaced by (H_{ f })(3"), then we obtain the existence result (Theorem 2.1) of [16].
4 An example
As an application of Theorem 3.1, we consider the following semilinear impulsive parabolic equation:
where Ω is a bounded domain in R^{n}(n ≥ 1) with smooth boundary ∂Ω, A(x, D)u = Σ_{α≤2m}a_{α}(x) D^{α}u is strongly elliptic, u_{0} ∈ L^{2}(Ω), F: [0, T] × R → R and c_{ j }are given real numbers for j = 1, 2,...,q.
Take X = L^{2}(Ω) and define the operator A: D(A) ⊆ X → X by
It is turned out that the operator A generates an equicontinuous C_{0}semigroup on X. More details about the fact can be found in the monograph of Pazy [25]. This implies that the semigroup {T(t), t ≥ 0} generated by A satisfies the condition (H_{ A }).
Now, we assume that:

(1)
f: [0, T]x X →X is defined by
f\left(t,y\right)\left(x\right)=F\left(t,y\left(x\right)\right),\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}t\in \left[0,T\right],x\in \mathrm{\Omega}. 
(2)
g: PC([0, T; X]) → X is a continuous function defined by
g\left(u\right)\left(x\right)={u}_{0}\left(x\right)\sum _{j=1}^{q}{c}_{j}u\left({s}_{j}\right)\left(x\right),0<{s}_{1}<\cdots <{s}_{q}<T,\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}x\in \mathrm{\Omega},
where u(s)(x) = w(s, x),0 < s < T, x ∈ Ω.

(3)
I_{ i }: X → X is a continuous function for each i = 1, 2,... ,p, defined by
{I}_{i}\left(y\right)\left(x\right)={I}_{i}\left(y\left(x\right)\right).
Under these assumptions, the above partial differential system (4.1) can be reformulated as the abstract semilinear impulsive problem (1.1), and conditions (H_{ f }), (H_{ g }), and (H_{ r }) are satisfied with k={\sum}_{j=1}^{q}\left{c}_{j}\right,\u2225g\left(0\right)\u2225=\u2225{u}_{0}\u2225. In addition, if the inequality M\left(4{l}_{1}+{\sum}_{j=1}^{q}\left{c}_{j}\right+{\sum}_{i=1}^{p}{k}_{i}\right)<1 holds, then due to Theorem 3.1, the problem (4.1) has at least one mild solution u ∈ C([0,T]; L^{2}(Ω)).
References
Ahmed NU: Optimal feedback control for impulsive systems on the space of finitely additive measures. Publ Math Debrecen 2007, 70: 371–393.
Benchohra M, Henderson J, Ntouyas S: Impulsive differential equations and inclusions. In Hindawi Publ Corp. New York; 2006. Contemporary Mathematics and its Applications, vol. 2
Cardinali T, Rubbioni P: Impulsive semilinear differential inclusions: topological structure of the solution set and solutions on noncompact domains. Nonlinear Anal TMA 2008, 69: 73–84. 10.1016/j.na.2007.05.001
Fan ZB, Li G: Existence results for semilinear differential equations with nonlocal and impulsive conditions. J Funct Anal 2010, 258: 1709–1727. 10.1016/j.jfa.2009.10.023
Liu JH: Nonlinear impulsive evolution equations. Dynam Contin Discrete Impuls Syst 1999, 6: 77–85.
Rogovchenko Y: Impulsive evolution systems: main results and new trends. Dynam Cont Discrete Impuls Syst 1997, 3: 57–88.
Byszewski L, Lakshmikantham V: Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space. Appl Anal 1990, 40: 11–19.
Ntouyas S, Tsamatos P: Global existence for semilinear evolution equations with nonlocal conditions. J Math Anal Appl 1997, 210: 679–687. 10.1006/jmaa.1997.5425
Byszewski L, Akca H: Existence of solutions of a semilinear functionaldifferential evolution nonlocal problem. Nonlinear Anal 1998, 34: 65–72. 10.1016/S0362546X(97)006937
Benchohra M, Ntouyas S: Nonlocal Cauchy problems for neutral functional differential and integrodifferential inclusions in Banach spaces. J Math Anal Appl 2001, 258: 573–590. 10.1006/jmaa.2000.7394
Dong QX, Li G: Existence of solutions for semilinear differential equations with nonlocal conditions in Banach spaces. Electron J Qual Theory Diff Equ 2009, 47: 1–13.
Obukhovski V, Zecca P: Controllability for systems governed by semilinear differential inclusions in a Banach space with a noncompact semigroup. Nonlinear Anal TMA 2009, 70: 3424–3436. 10.1016/j.na.2008.05.009
Xue XM: Semilinear nonlocal problems without the assumptions of compactness in Banach spaces. Anal Appl 2010, 8: 211–225. 10.1142/S021953051000159X
Xue XM: Nonlocal nonlinear differential equations with a measure of noncompactness in Banach spaces. Nonlinear Anal TMA 2009, 70: 2593–2601. 10.1016/j.na.2008.03.046
Xue XM: L^{p}theory for semilinear nonlocal problems with measure of noncompactness in separable Banach spaces. J Fixed Point Theory Appl 2009, 5: 129–144. 10.1007/s1178400800905
Liang J, Liu JH, Xiao TJ: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Math Comput Modelling 2009, 49: 798–804. 10.1016/j.mcm.2008.05.046
Banas J, Goebel K: Measure of Noncompactness in Banach Spaces, Lecture Notes in pure and Applied Mathematics, vol. 60. Marcel Dekker, New York; 1980.
Agarwal R, Meehan M, O'Regan D: Fixed Point Theory and Applications, Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge; 2001.
Bothe D: Multivalued perturbations of m accretive differential inclusions. Israel J Math 1998, 108: 109–138. 10.1007/BF02783044
Cardinali T, Rubbioni P: On the existence of mild solutions of semilinear evolution differential inclusions. J Math Anal Appl 2005, 308: 620–635. 10.1016/j.jmaa.2004.11.049
Kamenskii M, Obukhovskii V, Zecca P: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, de Gruyter Series in Nonlinear Anal. Appl. 7. Walter de Gruyter, Berlin; 2001.
Aizicovici S, Staicu V: Multivalued evolution equations with nonlocal initial conditions in Banach spaces. Nonlinear Diff Equ Appl 2007, 14: 361–376. 10.1007/s0003000750495
Zhu LP, Li G: On a nonlocal problem for semilinear differential equations with upper semicontinuous nonlinearities in general Banach spaces. J Math Anal Appl 2008, 341: 660–675. 10.1016/j.jmaa.2007.10.041
Zhu LP, Li G: Existence results of semilinear differential equations with nonlocal initial conditions in Banach spaces. Nonlinear Anal 2011, 74: 5133–5140. 10.1016/j.na.2011.05.007
Pazy A: Semigroups of Linear Operators and Applications to Partial Differential Equations. SpringerVerlag, Berlin; 1983.
Acknowledgements
This research was supported by the Natural Science Foundation of China (10971182), the Tianyuan Youth Foundation (11026115), the Natural Science Foundation of Jiangsu Province (BK2010309 and BK2009179), the Natural Science Foundation of Jiangsu Education Committee (10KJB110012 and 09KJB110010), the Yangzhou University Scholarship for Overseas Studies and the Natural Science Foundation of Yangzhou University (2010CXJ003 and 2011CXJ002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
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 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhu, L., Dong, Q. & Li, G. Impulsive differential equations with nonlocal conditionsin general Banach spaces. Adv Differ Equ 2012, 10 (2012). https://doi.org/10.1186/16871847201210
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871847201210
Keywords
 impulsive differential equations
 measure of noncompactness
 fixed point theorem
 mild solutions