- Research Article
- Open Access

# Some Results for Integral Inclusions of Volterra Type in Banach Spaces

- R. P. Agarwal
^{1, 2}Email author, - M. Benchohra
^{3}, - J. J. Nieto
^{4}and - A. Ouahab
^{3}

**2010**:798067

https://doi.org/10.1155/2010/798067

© R. P. Agarwal et al. 2010

**Received:**29 July 2010**Accepted:**29 November 2010**Published:**6 December 2010

## Abstract

We first present several existence results and compactness of solutions set for the following Volterra type integral inclusions of the form: , where , is the infinitesimal generator of an integral resolvent family on a separable Banach space , and is a set-valued map. Then the Filippov's theorem and a Filippov-Ważewski result are proved.

## Keywords

- Banach Space
- Mild Solution
- Fractional Differential Equation
- Separable Banach Space
- Measurable Selection

## 1. Introduction

In the past few years, several papers have been devoted to the study of integral equations on real compact intervals under different conditions on the kernel (see, e.g., [1–4]) and references therein. However very few results are available for integral inclusions on compact intervals, see [5–7]. Topological structure of the solution set of integral inclusions of Volterra type is studied in [8].

where and is the generator of an integral resolvent family defined on a complex Banach space , and is a multivalued map.

is the Riemann-Liouville kernel. In this case (1.1) and (1.2) can be represented in the form of fractional differential equations and inclusions or abstract fractional differential equations and inclusions. Also in the case where , and is a Rieman-Liouville kernel, (1.1) and (1.2) can be represented in the form of fractional differential equations and inclusions, see for instants [25–27].

Our goal in this paper is to complement and extend some recent results to the case of infinite-dimensional spaces; moreover the right-hand side nonlinearity may be either convex or nonconvex. Some auxiliary results from multivalued analysis, resolvent family theory, and so forth, are gathered together in Sections 2 and 3. In the first part of this work, we prove some existence results based on the nonlinear alternative of Leray-Schauder type (in the convex case), on Bressan-Colombo selection theorem and on the Covitz combined the nonlinear alternative of Leray-Schauder type for single-valued operators, and Covitz-Nadler fixed point theorem for contraction multivalued maps in a generalized metric space (in the nonconvex case). Some topological ingredients including some notions of measure of noncompactness are recalled and employed to prove the compactness of the solution set in Section 4.2. Section 5 is concerned with Filippov's theorem for the problem (1.1). In Section 6, we discuss the relaxed problem, namely, the density of the solution set of problem (1.1) in that of the convexified problem.

## 2. Preliminaries

Denote by , closed}, bounded}, convex}, compact .

### 2.1. Multivalued Analysis

Let and be two metric spaces and be a multivalued map. A single-valued map is said to be a selection of and we write whenever for every .

is called *upper semicontinuous (u.s.c. for short)* on
if for each
the set
is a nonempty, closed subset of
, and if for each open set
of
containing
, there exists an open neighborhood
of
such that
. That is, if the set
is closed for any closed set
in
. Equivalently,
is *u.s.c*. if the set
is open for any open set
in
.

The following two results are easily deduced from the limit properties.

Lemma 2.1 (see, e.g., [29, Theorem 1.4.13]).

Lemma 2.2 (see, e.g., [29, Lemma 1.1.9]).

where refers to the closure of the convex hull of .

is said to be *completely continuous* if it is *u.s.c.* and, for every bounded subset
,
is relatively compact, that is, there exists a relatively compact set
such that
.
is compact if
is relatively compact. It is called locally compact if, for each
, there exists
such that
is relatively compact.
is quasicompact if, for each subset
,
is relatively compact.

Definition 2.3.

A multivalued map is said measurable provided for every open , the set is Lebesgue measurable.

We have

is Lebesgue measurable.

The following two lemmas are needed in this paper. The first one is the celebrated Kuratowski-Ryll-Nardzewski selection theorem.

Lemma 2.5 (see [31, Theorem 19.7]).

Let be a separable metric space and a measurable multivalued map with nonempty closed values. Then has a measurable selection.

Lemma 2.6 (see [32, Lemma 3.2]).

Corollary 2.7.

#### 2.1.1. Closed Graphs

We denote the graph of to be the set .

Definition 2.8.

is closed if is a closed subset of , that is, for every sequences and , if , as with , then .

We recall the following two results; the first one is classical.

Lemma 2.9 (see [33, Proposition 1.2]).

If is u.s.c., then is a closed subset of . Conversely, if is locally compact and has nonempty compact values and a closed graph, then it is u.s.c.

Lemma 2.10.

If is quasicompact and has a closed graph, then is u.s.c.

Definition 2.11.

A multivalued map is called a Carathéodory function if

(a)the function is measurable for each ;

(b)for a.e. , the map is upper semicontinuous.

is known as the set of selection functions.

- (a)
For each , the set is closed whenever has closed values. It is convex if and only if is convex for .

- (b)
From [34] (see also [35] when is finite-dimensional), we know that is nonempty if and only if the mapping belongs to . It is bounded if and only if the mapping belongs to ; this particularly holds true when is -Carathéodory. For the sake of completeness, we refer also to Theorem 1.3.5 in [36] which states that contains a measurable selection whenever is measurable and is a Carathéodory function.

Lemma 2.13 (see [35]).

has a closed graph in .

For further readings and details on multivalued analysis, we refer to the books by Andres and Górniewicz [37], Aubin and Cellina [38], Aubin and Frankowska [29], Deimling [33], Górniewicz [31], Hu and Papageorgiou [34], Kamenskii et al. [36], and Tolstonogov [39].

### 2.2. Semicompactness in

Definition 2.14.

- (a)
- (b)
the image sequence is relatively compact in for a.e. .

We recall two fundamental results. The first one follows from the Dunford-Pettis theorem (see [36, Proposition 4.2.1]). This result is of particular importance if is reflexive in which case (a) implies (b) in Definition 2.14.

Lemma 2.15.

Every semicompact sequence is weakly compact in .

The second one is due to Mazur, 1933.

Lemma 2.16 (Mazur's Lemma, [28]).

Let be a normed space and be a sequence weakly converging to a limit . Then there exists a sequence of convex combinations with for and , which converges strongly to .

## 3. Resolvent Family

if the integral is absolutely convergent for . In order to defined the mild solution of the problems (1.1) we recall the following definition.

Definition 3.1.

In this case, is called the integral resolvent family generated by .

The following result is a direct consequence of ([16, Proposition 3.1 and Lemma 2.2]).

Proposition 3.2.

- (a)
is strongly continuous for and ;

- (b)
and for all ;

- (c)
- (d)

In particular, .

Remark 3.3.

The uniqueness of resolvent is well known (see Prüss [24]).

(see [22, Theorem 2.1]). For example, the case corresponds to the generator of a -semigroup and actually corresponds to the generator of a sine family; see [40]. A characterization of generators of integral resolvent families, analogous to the Hille-Yosida Theorem for -semigroups, can be directly deduced from [22, Theorem 3.4]. More information on the -semigroups and sine families can be found in [41–43].

Definition 3.4.

Definition 3.5.

## 4. Existence Results

### 4.1. Mild Solutions

In order to define mild solutions for problem (1.1), we proof the following auxiliary lemma.

Lemma 4.1.

Proof.

This lemma leads us to the definition of a mild solution of the problem (1.1).

Definition 4.2.

Consider the following assumptions.

(*B*_{1}) The operator solution
is compact for
.

(*B*_{3}) For every
,
is uniformly continuous.

In all the sequel we assume that is exponentially bounded. Our first main existence result is the following.

Theorem 4.3.

Assume is a Carathéodory map satisfying or . Then problem (1.1) has at least one solution. If further is a reflexive space, then the solution set is compact in .

The following so-called nonlinear alternatives of Leray-Schauder type will be needed in the proof (see [31, 44]).

Lemma 4.4.

- (a)
has at least one fixed point,

- (b)
the set is unbounded.

The single-valued version may be stated as follows.

Lemma 4.5.

- (a)
either there is a point and with ,

- (b)
or has a fixed point in .

Proof of Theorem 4.3.

We have the following parts.

Part 1: Existence of Solutions

Notice that the set is nonempty (see Remark 2.12,(b)). Since, for each , the nonlinearity takes convex values, the selection set is convex and therefore has convex values.

*sends bounded sets into bounded sets in*

*.*Let , be a bounded set in , and . Then for each , there exists such that

*maps bounded sets into equicontinuous sets of*

*.*Let , and be a bounded set of as in (a). Let ; then for each

The right-hand side tends to zero as since is uniformly continuous.

which tends to 0 as . Therefore, there are precompact sets arbitrarily close to the set . This set is then precompact in .

Step 2 ( has a closed graph).

Hence
, proving our claim. Lemma 2.10 implies that
is *u.s.c*.

Step 3 (a priori bounds on solutions).

and consider the operator . From the choice of , there is no such that for some . As a consequence of the Leray-Schauder nonlinear alternative (Lemma 4.4), we deduce that has a fixed point in which is a mild solution of problem (1.1).

Part 2: Compactness of the Solution Set

This with (4.33) imply that . Since has closed, convex values, we deduce that , for a.e. , as claimed. Hence which yields that is closed, hence compact in .

### 4.2. The Convex Case: An MNC Approach

First, we gather together some material on the measure of noncompactness. For more details, we refer the reader to [36, 45] and the references therein.

Definition 4.6.

for every .

Definition 4.7.

- (a)
monotone if , implies .

- (b)
nonsingular if for every .

- (c)
invariant with respect to the union with compact sets if for every relatively compact set , and .

- (d)
real if and for every bounded .

- (e)
semiadditive if for every .

- (f)
regular if the condition is equivalent to the relative compactness of .

Recall that a bounded set has a finite -net if there exits a finite subset such that where is a closed ball in .

- (i)
- (ii)
It should be mentioned that these MNC satisfy all above-mentioned properties except regularity.

Definition 4.8.

implies the relative compactness of .

Some important results on fixed point theory with MNCs are recalled hereafter (see, e.g., [36] for the proofs and further details). The first one is a compactness criterion.

Lemma 4.9 (see [36, Theorem 5.1.1]).

Let be an abstract operator satisfying the following conditions:

(S_{2})
is weakly-strongly sequentially continuous on compact subsets: for any compact
and any sequence
such that
for a.e.
, the weak convergence
implies the strong convergence
as
.

Then for every semicompact sequence , the image sequence is relatively compact in .

Lemma 4.10 (see [36, Theorem 5.2.2]).

Let an operator satisfy conditions together with the following:

where is the Hausdorff MNC.

where is the constant in .

The next result is concerned with the nonlinear alternative for
-condensing *u.s.c.* multivalued maps.

Lemma 4.11 (see [36]).

for all and . Then .

Lemma 4.12 (see [36]).

Let be a closed subset of a Banach space and is a closed -condensing multivalued map where is a monotone MNC on . If the fixed point set Fix is bounded, then it is compact.

#### 4.2.1. Main Results

Let be a Carathéodory multivalued map which satisfies Lipschitz conditions with respect to the Hausdorf MNC.

(B_{4}) There exists
such that for every bounded
in
,

Lemma 4.13.

Under conditions and , the operator is closed and , for every where is as defined in the proof of Theorem 4.3.

Proof.

We have the following steps.

Step 1 ( is closed).

As a consequence, , as claimed.

Step 2 ( has compact, convex values).

The convexity of follows immediately by the convexity of the values of . To prove the compactness of the values of , let for some and . Then there exists satisfying (4.47). Arguing again as in Step 1, we prove that is semicompact and converges weakly to some limit , a.e. hence passing to the limit in (4.47), tends to some limit in the closed set with satisfying (4.49). Therefore the set is sequentially compact, hence compact.

Lemma 4.14.

Under the conditions and , the operator is u.s.c.

Proof.

As a consequence,
is *u.s.c*.

We are now in position to prove our second existence result in the convex case.

Theorem 4.15.

then the set of solutions for problem (1.1) is nonempty and compact.

Proof.

where is the collection of all countable subsets of . Then the MNC is monotone, regular and nonsingular (see [36, Example 2.1.4]).

Hence (4.60) implies that . To show that , i.e, the set is equicontinuous, we proceed as in the proof of Theorem 4.3 Step 1 Part (b). It follows that which implies, by (4.61), that . We have proved that is relatively compact. Hence is u.s.c. and -condensing, where is as in the proof of Theorem 4.3. From the choice of , there is no such that for some . As a consequence of the nonlinear alternative of Leray-Schauder type for condensing maps (Lemma 4.11), we deduce that has a fixed point in , which is a solution to problem (1.1). Finally, since is bounded, by Lemma 4.12, is further compact.

### 4.3. The Nonconvex Case

In this section, we present a second existence result for problem (1.1) when the multivalued nonlinearity is not necessarily convex. In the proof, we will make use of the nonlinear alternative of Leray-Schauder type [44] combined with a selection theorem due to Bressan and Colombo [46] for lower semicontinuous multivalued maps with decomposable values. The main ingredients are presented hereafter. We first start with some definitions (see, e.g., [47]). Consider a topological space and a family of subsets of .

Definition 4.16.

is called measurable if belongs to the -algebra generated by all sets of the form where is Lebesgue measurable in and is Borel measurable in .

Definition 4.17.

where stands for the characteristic function of the set .

Let be a multivalued map with nonempty closed values. Assign to the multivalued operator defined by . The operator is called the Nemyts'kiĭ operator associated to .

Definition 4.18.

Let be a multivalued map with nonempty compact values. We say that is of lower semicontinuous type (l.s.c. type) if its associated Nemyts'kiĭ operator is lower semicontinuous and has nonempty closed and decomposable values.

Next, we state a classical selection theorem due to Bressan and Colombo.

Let be a separable metric space and let be a Banach space. Then every l.s.c. multivalued operator , with closed decomposable values has a continuous selection, that is, there exists a continuous single-valued function such that for every .

Let us introduce the following hypothesis.

_{1}) is a nonempty compact valued multivalued map such that

- (a)
the mapping is measurable;

- (b)
the mapping is lower semicontinuous for a.e. .

The following lemma is crucial in the proof of our existence theorem.

Lemma 4.20 (see, e.g., [48]).

Let be an integrably bounded multivalued map satisfying . Then is of lower semicontinuous type.

Theorem 4.21.

Suppose that the hypotheses or and are satisfied. Then problem (1.1) has at least one solution.

Proof.

From the choice of , there is no such that for in . As a consequence of the nonlinear alternative of the Leray-Schauder type (Lemma 4.5), we deduce that has a fixed point which is a solution of problem (4.68), hence a solution to the problem (1.1).

### 4.4. A Further Result

where and . Then is a metric space and is a generalized metric space (see [49]). In particular, satisfies the triangle inequality.

Definition 4.22.

- (a)
- (b)
a contraction if it is -Lipschitz with .

Our proofs are based on the following classical fixed point theorem for contraction multivalued operators proved by Covitz and Nadler in 1970 [50] (see also Deimling [33, Theorem 11.1]).

Lemma 4.23.

Let be a complete metric space. If is a contraction, then .

Let us introduce the following hypotheses:

(A_{1})
;
is measurable for each
;

Theorem 4.24.

Let Assumptions be satisfied. Then problem (1.1) has at least one solution.

Proof.

- (a)

proving that .

is the Bielecki-type norm on . So, is a contraction and thus, by Lemma 4.23, has a fixed point , which is a mild solution to (1.1).

Arguing as in Theorem 4.3, we can also prove the following result the proof of which is omitted.

Theorem 4.25.

Let be a reflexive Banach space. Suppose that all conditions of Theorem 4.24 are satisfied and . Then the solution set of problem (1.1) is nonempty and compact.

## 5. Filippov's Theorem

### 5.1. Filippov's Theorem on a Bounded Interval

We will consider the following two assumptions.

_{1})The function is such that

- (a)
for all is measurable,

- (b)
the map is integrable.

Theorem 5.1.

where .

Proof.

## 6. The Relaxed Problem

where refers to the closure of the convex hull of the set . We will need the following auxiliary results in order to prove our main relaxation theorem.

Lemma 6.1 (see [29]).

With being a reflexive Banach space, the following hypotheses will be assumed in this section:

The function satisfies

(a)for all the map is measurable,

(b)the map is integrable bounded (i.e., there exists such that .

Then our main contribution is the following.

Theorem 6.2.

Remark 6.3.

Notice that the multivalued map also satisfies .

Proof.

Part 1 ( )

To show that satisfies the assumptions of Lemma 4.23, the proof will be given in two steps.

Step 1.

proving that .

Step 2.

Then is a contraction and hence, by Lemma 4.23, has a fixed point , which is solution to problem (6.2).

Part 2

Since is arbitrary, , showing the density relation .

## Declarations

### Acknowledgments

This paper was completed when the second and forth authors visited the Department of Mathematical Analysis of the University of Santiago de Compostela. The authors would like to thank the department for its hospitality and support. The authors are grateful to the referee for carefully reading the paper.

## Authors’ Affiliations

## References

- Benchohra M, Henderson J, Ntouyas SK:
**The method of upper and lower solutions for an integral inclusion of Volterra type.***Communications on Applied Nonlinear Analysis*2002,**9**(1):67-74.MathSciNetMATHGoogle Scholar - Bulgakov AI, Ljapin LN:
**Some properties of the set of solutions of a Volterra-Hammerstein integral inclusion.***Differential Equations*1978,**14**(8):1043-1048.MathSciNetMATHGoogle Scholar - Corduneanu C:
*Integral Equations and Applications*. Cambridge University Press, Cambridge, UK; 1991:x+366.View ArticleMATHGoogle Scholar - Gripenberg G, Londen S-O, Staffans O:
*Volterra Integral and Functional Equations, Encyclopedia of Mathematics and Its Applications*.*Volume 34*. Cambridge University Press, Cambridge, UK; 1990:xxii+701.View ArticleMATHGoogle Scholar - Appell J, de Pascale E, Nguyêñ HT, Zabreĭko PP:
**Nonlinear integral inclusions of Hammerstein type.***Topological Methods in Nonlinear Analysis*1995,**5**(1):111-124.MathSciNetMATHGoogle Scholar - Benchohra M, Nieto JJ, Ouahabi A:
**Existence results for functional integral inclusions of Volterra type.***Dynamic Systems and Applications*2005,**14**(1):57-69.MathSciNetMATHGoogle Scholar - O'Regan D:
**Integral inclusions of upper semi-continuous or lower semi-continuous type.***Proceedings of the American Mathematical Society*1996,**124**(8):2391-2399. 10.1090/S0002-9939-96-03456-9MathSciNetView ArticleMATHGoogle Scholar - Kannan R, O'Regan D:
**A note on the solution set of integral inclusions.***Journal of Integral Equations and Applications*2000,**12**(1):85-94. 10.1216/jiea/1020282135MathSciNetView ArticleMATHGoogle Scholar - Prato D, Iannelli GM:
**Linear integrodifferential equations in Banach space.***Rendiconti del Seminario Matematico della Università di Padova*1980,**62:**207-219.MATHGoogle Scholar - Araya D, Lizama C:
**Almost automorphic mild solutions to fractional differential equations.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(11):3692-3705. 10.1016/j.na.2007.10.004MathSciNetView ArticleMATHGoogle Scholar - Bajlekova EG:
*Fractional evolution equations in Banach spaces, Ph.D. thesis*. Eindhoven University of Technology, Eindhoven, UK; 2001.MATHGoogle Scholar - Chen C, Li M:
**On fractional resolvent operator functions.***Semigroup Forum*2010,**80**(1):121-142. 10.1007/s00233-009-9184-7MathSciNetView ArticleMATHGoogle Scholar - Clément P, Prüss J:
**Global existence for a semilinear parabolic Volterra equation.***Mathematische Zeitschrift*1992,**209**(1):17-26. 10.1007/BF02570816MathSciNetView ArticleMATHGoogle Scholar - Cuevas C, Lizama C:
**Almost automorphic solutions to a class of semilinear fractional differential equations.***Applied Mathematics Letters*2008,**21**(12):1315-1319. 10.1016/j.aml.2008.02.001MathSciNetView ArticleMATHGoogle Scholar - Henríquez HR, Lizama C:
**Compact almost automorphic solutions to integral equations with infinite delay.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(12):6029-6037. 10.1016/j.na.2009.05.042MathSciNetView ArticleMATHGoogle Scholar - Lizama C:
**Regularized solutions for abstract Volterra equations.***Journal of Mathematical Analysis and Applications*2000,**243**(2):278-292. 10.1006/jmaa.1999.6668MathSciNetView ArticleMATHGoogle Scholar - Lizama C:
**On an extension of the Trotter-Kato theorem for resolvent families of operators.***Journal of Integral Equations and Applications*1990,**2**(2):269-280. 10.1216/JIE-1990-2-2-263MathSciNetView ArticleMATHGoogle Scholar - Lizama C:
**A characterization of periodic resolvent operators.***Results in Mathematics*1990,**18**(1-2):93-105.MathSciNetView ArticleMATHGoogle Scholar - Lizama C, Vergara V:
**Uniform stability of resolvent families.***Proceedings of the American Mathematical Society*2004,**132**(1):175-181. 10.1090/S0002-9939-03-07073-4MathSciNetView ArticleMATHGoogle Scholar - Lizama C:
**On Volterra equations associated with a linear operator.***Proceedings of the American Mathematical Society*1993,**118**(4):1159-1166. 10.1090/S0002-9939-1993-1152281-3MathSciNetView ArticleMATHGoogle Scholar - Lizama C, Poblete V:
**On multiplicative perturbation of integral resolvent families.***Journal of Mathematical Analysis and Applications*2007,**327**(2):1335-1359. 10.1016/j.jmaa.2006.04.087MathSciNetView ArticleMATHGoogle Scholar - Lizama C, Sánchez J:
**On perturbation of****-regularized resolvent families.***Taiwanese Journal of Mathematics*2003,**7**(2):217-227.MathSciNetMATHGoogle Scholar - Oka H:
**Linear Volterra equations and integrated solution families.***Semigroup Forum*1996,**53**(3):278-297. 10.1007/BF02574144MathSciNetView ArticleMATHGoogle Scholar - Prüss J:
*Evolutionary Integral Equations and Applications, Monographs in Mathematics*.*Volume 87*. Birkhäuser, Basel, Switzerland; 1993:xxvi+366.View ArticleMATHGoogle Scholar - Agarwal RP, Benchohra M, Nieto JJ, Ouahab A: Fractional Differential Equations and Inclusions. Springer, Berlin, Germany;Google Scholar
- Lakshmikantham V, Leela S, Vasundhara Devi J:
*Theory of Fractional Dynamic Systems*. Cambridge Scientific Publishers, Cambridge, UK; 2009.MATHGoogle Scholar - Podlubny I:
*Fractional Differential Equations, Mathematics in Science and Engineering*.*Volume 198*. Academic Press, San Diego, Calif, USA; 1999:xxiv+340.MATHGoogle Scholar - Yosida K:
*Functional Analysis, Grundlehren der Mathematischen Wissenschaften*.*Volume 123*. 6th edition. Springer, Berlin, Germany; 1980:xii+501.Google Scholar - Aubin J-P, Frankowska H:
*Set-Valued Analysis, Systems & Control: Foundations & Applications*.*Volume 2*. Birkhäuser Boston, Boston, Mass, USA; 1990:xx+461.MATHGoogle Scholar - Castaing C, Valadier M:
*Convex Analysis and Measurable Multifunctions, Lecture Notes in Mathematics*.*Volume 580*. Springer, Berlin, Germany; 1977:vii+278.View ArticleMATHGoogle Scholar - Górniewicz L:
*Topological Fixed Point Theory of Multi-Valued Mappings, Mathematics and Its Applications*.*Volume 495*. Kluwer Academic Publishers, Dordrecht, Netherlands; 1999.View ArticleMATHGoogle Scholar - Zhu QJ:
**On the solution set of differential inclusions in Banach space.***Journal of Differential Equations*1991,**93**(2):213-237. 10.1016/0022-0396(91)90011-WMathSciNetView ArticleMATHGoogle Scholar - Deimling K:
*Multi-Valued Differential Equations*. De Gruyter, Berlin, Germany; 1992.View ArticleMATHGoogle Scholar - Hu S, Papageorgiou NS:
*Handbook of Multivalued Analysis. Vol. I. Theory, Mathematics and Its Applications*.*Volume 419*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:xvi+964.Google Scholar - Lasota A, Opial Z:
**An application of the Kakutani—Ky Fan theorem in the theory of ordinary differential equations.***Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques*1965,**13:**781-786.MathSciNetMATHGoogle Scholar - Kamenskii M, Obukhovskii V, Zecca P:
*Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, de Gruyter Series in Nonlinear Analysis and Applications*.*Volume 7*. Walter de Gruyter, Berlin, Germany; 2001:xii+231.MATHGoogle Scholar - Andres J, Górniewicz L:
*Topological Fixed Point Principles for Boundary Value Problems*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003.View ArticleMATHGoogle Scholar - Aubin J-P, Cellina A:
*Differential Inclusions. Set-Valued Maps and Viability Theory, Grundlehren der Mathematischen Wissenschaften*.*Volume 264*. Springer, Berlin, Germany; 1984:xiii+342.Google Scholar - Tolstonogov AA:
*Differential Inclusions in Banach Spaces*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000.View ArticleMATHGoogle Scholar - Arendt W, Batty CJK, Hieber M, Neubrander F:
*Vector-Valued Laplace Transforms and Cauchy Problems, Monographs in Mathematics*.*Volume 96*. Birkhäuser, Basel, Switzerland; 2001:xii+523.View ArticleMATHGoogle Scholar - Engel K-J, Nagel R:
*One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics*.*Volume 194*. Springer, New York, NY, USA; 2000:xxii+586.MATHGoogle Scholar - Fattorini HO:
*Second Order Linear Differential Equations in Banach Spaces, North-Holland Mathematics Studies*.*Volume 108*. North-Holland, Amsterdam, The Netherlands; 1985:xiii+314.Google Scholar - Pazy A:
*Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences*.*Volume 44*. Springer, New York, NY, USA; 1983:viii+279.View ArticleGoogle Scholar - Granas A, Dugundji J:
*Fixed Point Theory, Springer Monographs in Mathematics*. Springer, New York, NY, USA; 2003:xvi+690.View ArticleMATHGoogle Scholar - Ayerbe Toledano JM, Domínguez Benavides T, López Acedo G:
*Measures of Noncompactness in Metric Fixed Point Theory, Operator Theory: Advances and Applications*.*Volume 99*. Birkhäuser, Basel, Switzerland; 1997:viii+211.View ArticleMATHGoogle Scholar - Bressan A, Colombo G:
**Extensions and selections of maps with decomposable values.***Studia Mathematica*1988,**90**(1):69-86.MathSciNetMATHGoogle Scholar - Fryszkowski AJ:
*Topological Fixed Point Theory and Its Applications*. Kluwer Academic Publishers, Dordrecht, Netherlands; 2004.MATHGoogle Scholar - Frigon M, Granas A:
**Théorèmes d'existence pour des inclusions différentielles sans convexité.***Comptes Rendus de l'Académie des Sciences. Série I. Mathématique*1990,**310**(12):819-822.MathSciNetMATHGoogle Scholar - Kisielewicz M:
*Differential Inclusions and Optimal Control, Mathematics and Its Applications (East European Series)*.*Volume 44*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1991:xx+240.Google Scholar - Covitz H, Nadler SB Jr.:
**Multi-valued contraction mappings in generalized metric spaces.***Israel Journal of Mathematics*1970,**8:**5-11. 10.1007/BF02771543MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.