- Research
- Open Access

# Impulsive differential equations with nonlocal conditionsin general Banach spaces

- Lanping Zhu
^{1}Email author, - Qixiang Dong
^{1}and - Gang Li
^{1}

**2012**:10

https://doi.org/10.1186/1687-1847-2012-10

© Zhu et al; licensee Springer. 2012

**Received:**7 August 2011**Accepted:**14 February 2012**Published:**14 February 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.

## Keywords

- impulsive differential equations
- measure of noncompactness
- fixed point theorem
- mild solutions

## 1 Introduction

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].

*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 functional-differential 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

*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]: Darbo-Sadovskii). *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 *X*-valued 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(t-s\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

*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

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*

*β*

_{0}generated by

*β*, that is, for any bounded subset Ω ⊂

*X*, we define

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*].

*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(1-M\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$.

*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

*ε*> 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.

*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

*Q*is bijective. For this purpose, for any fixed

*v*∈

*PC*([

*0,T*];

*X*), we consider the following equation:

*L*:

*PC*([0,

*T*];

*X*) →

*PC*([0,

*T*];

*X*) by

*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.

*Q*

^{-1}is Lipschitz continuous with constant $1/\left(1-M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)\right)$. In fact, for

*v*

_{1},

*v*

_{2}∈

*PC*([0,

*T*];

*X*),

*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
}.

*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*

_{p-1}= (

*t*

_{p-1},

*t*

_{ p }],

*J*

_{ p }= (

*t*

_{ p },

*T*]. Because

*Q*

^{-1}is Lipschitz continuous with constant $1/\left(1-M\left(k+{\sum}_{i=1}^{p}{k}_{i}\right)\right)$ for

*W*⊆

*W*

_{ r }, we obtain that

*RW*⊆

*C*([0,

*T*];

*X*) ⊆

*PC*([0,

*T*];

*X*), the following conclusion is obvious:

*t*∈ [0,

*T*], we know that

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

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*.

*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
}).

- (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},$

*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}(Ω)).

## Declarations

### 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).

## Authors’ Affiliations

## References

- Ahmed NU: Optimal feedback control for impulsive systems on the space of finitely additive measures.
*Publ Math Debrecen*2007, 70: 371–393.MathSciNetGoogle Scholar - Benchohra M, Henderson J, Ntouyas S: Impulsive differential equations and inclusions. In
*Hindawi Publ Corp*. New York; 2006. Contemporary Mathematics and its Applications, vol. 2Google Scholar - Cardinali T, Rubbioni P: Impulsive semilinear differential inclusions: topological structure of the solution set and solutions on non-compact domains.
*Nonlinear Anal TMA*2008, 69: 73–84. 10.1016/j.na.2007.05.001MathSciNetView ArticleGoogle Scholar - 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.023MathSciNetView ArticleGoogle Scholar - Liu JH: Nonlinear impulsive evolution equations.
*Dynam Contin Discrete Impuls Syst*1999, 6: 77–85.Google Scholar - Rogovchenko Y: Impulsive evolution systems: main results and new trends.
*Dynam Cont Discrete Impuls Syst*1997, 3: 57–88.MathSciNetGoogle Scholar - 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.MathSciNetView ArticleGoogle Scholar - 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.5425MathSciNetView ArticleGoogle Scholar - Byszewski L, Akca H: Existence of solutions of a semilinear functional-differential evolution nonlocal problem.
*Nonlinear Anal*1998, 34: 65–72. 10.1016/S0362-546X(97)00693-7MathSciNetView ArticleGoogle Scholar - 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.7394MathSciNetView ArticleGoogle Scholar - 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.MathSciNetView ArticleGoogle Scholar - 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.009MathSciNetView ArticleGoogle Scholar - Xue XM: Semilinear nonlocal problems without the assumptions of compactness in Banach spaces.
*Anal Appl*2010, 8: 211–225. 10.1142/S021953051000159XMathSciNetView ArticleGoogle Scholar - 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.046View ArticleGoogle Scholar - 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/s11784-008-0090-5MathSciNetView ArticleGoogle Scholar - 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.046MathSciNetView ArticleGoogle Scholar - Banas J, Goebel K:
*Measure of Noncompactness in Banach Spaces, Lecture Notes in pure and Applied Mathematics, vol. 60.*Marcel Dekker, New York; 1980.Google Scholar - Agarwal R, Meehan M, O'Regan D:
*Fixed Point Theory and Applications, Cambridge Tracts in Mathematics.*Cambridge University Press, Cambridge; 2001.View ArticleGoogle Scholar - Bothe D: Multivalued perturbations of
*m*-accretive differential inclusions.*Israel J Math*1998, 108: 109–138. 10.1007/BF02783044MathSciNetView ArticleGoogle Scholar - 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.049MathSciNetView ArticleGoogle Scholar - 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.View ArticleGoogle Scholar - Aizicovici S, Staicu V: Multivalued evolution equations with nonlocal initial conditions in Banach spaces.
*Nonlinear Diff Equ Appl*2007, 14: 361–376. 10.1007/s00030-007-5049-5MathSciNetView ArticleGoogle Scholar - 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.041MathSciNetView ArticleGoogle Scholar - 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.007MathSciNetView ArticleGoogle Scholar - Pazy A:
*Semigroups of Linear Operators and Applications to Partial Differential Equations.*Springer-Verlag, Berlin; 1983.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.