Abstract
The existence and localization result is obtained for a multivalued Dirichlet problem in a Banach space. The upperCarathéodory and Marchaud righthand sides are treated separately because in the latter case, the transversality conditions derived by means of bounding functions can be strictly localized on the boundaries of bound sets.
MSC: 34A60, 34B15, 47H04.
Keywords:
Dirichlet problem; bounding functions; solutions in a given set; condensing multivalued operators1 Introduction
The Dirichlet problem and its special case with homogeneous boundary conditions, usually called the Picard problem, belong to the most frequently studied boundary value problems. A lot of results concerning the standard problem for scalar secondorder ordinary differential equations were generalized in various directions.
In Euclidean spaces, besides many extensions to vector equations, vector inclusions were under consideration, e.g., in [14]. In abstract spaces, usually in Banach and Hilbert spaces, equations, e.g., in [511] and inclusions, e.g., in [9,12,13] were treated.
Sadovskii’s or Darbo’s fixed point theorems, jointly with the usage of a measure of noncompactness, were applied in [5,8,9,11]. Kakutani’s or Ky Fan’s fixed point theorems were applied with the upper and lower solutions technique in [9] and with a measure of noncompactness in [13]. On the other hand, continuation principles were employed in [2,4,7].
The main aim of our present paper is an extension of the finitedimensional results in [2,4] into infinitedimensional ones. We were also stimulated by the work of Jean Mawhin in [7], where degree arguments were applied to the Dirichlet problem in a Hilbert space probably for the first time, and in [14], where a bound sets approach was systematically developed. Hence, besides these two approaches, our extension consists in the consideration of differential inclusions in rather general Banach spaces and the usage of a measure of noncompactness. Similar results were already obtained in an analogous way by ourselves for Floquet problems in [1518].
Besides the existence, the localization of solutions will be obtained in our main theorems (see Theorem 5.1 and Theorem 5.2). Unlike in [10], where the solutions belong to a positively invariant set, in our paper, some trajectories can escape from the prescribed set of candidate solutions. Moreover, the associated bound set need not be compact as in [10]. Similarly, the main difference between our results and those in [9,13] consists in the application of a continuation principle jointly with a bound sets approach, which allows us to check fixed point free boundaries of given bound sets. This, in particular, means that, unlike in [9,13], some trajectories can again escape from the prescribed set of candidate solutions in a transversal way.
Let E be a Banach space (with the norm ) satisfying the RadonNikodym property (e.g., reflexivity) and let us consider the Dirichlet boundary value problem (b.v.p.)
where is an upperCarathéodory mapping or a globally upper semicontinuous mapping with compact, convex values (for the related definitions, see Section 2).
The main purpose of the present paper is to prove the existence of a Carathéodory solution to problem (1) in a given set Q. This will be achieved by means of a suitable continuation principle. The crucial condition of the continuation principle described in Section 3 consists in guaranteeing the fixed point free boundary of Q w.r.t. an admissible homotopical bridge starting from (1) (see condition (v) in Proposition 3.1 below). This requirement will be verified by means of Lyapunovlike bounding functions, i.e., via a bound sets technique. That is also why the whole Section 4 is devoted to this technique applied to Dirichlet problem (1). We will distinguish two cases, namely when F is an upperCarathéodory mapping and when F is globally upper semicontinuous (i.e., a Marchaud mapping). Unlike in the first case, the second one allows us to apply bounding functions which can be strictly localized at the boundaries of given bound sets.
2 Preliminaries
Let E be a Banach space having the RadonNikodym property (see, e.g., [[19], pp.694695]), i.e., if for every finite measure space and every vector measure of bounded variation, which is absolutely continuous w.r.t. μ, we can find a Bochner integrable function such that
for each . Let be a closed interval. By the symbol , we will mean the set of all Bochner integrable functions . For the definition and properties, see, e.g., [[19], pp.693701].
The symbol will denote the set of functions whose first derivative is absolutely continuous. Then and the fundamental theorem of calculus (the NewtonLeibniz formula) holds (see, e.g., [[15], pp.243244], [[19], pp.695696]). In the sequel, we will always consider as a subspace of the Banach space .
Given and , the symbol will denote, as usually, the set , where B is the open unit ball in E, i.e., .
We will also need the following definitions and notions from multivalued analysis. Let X, Y be two metric spaces. We say that F is a multivalued mapping from X to Y (written ) if for every , a nonempty subset of Y is given. We associate with F its graph , the subset of , defined by
A multivalued mapping is called upper semicontinuous (shortly, u.s.c.) if for each open subset , the set is open in X.
A multivalued mapping is called compact if the set is contained in a compact subset of Y; it is called quasicompact if it maps compact sets onto relatively compact sets; and completely continuous if it maps bounded sets onto relatively compact sets.
We say that a multivalued mapping with closed values is a step multivalued mapping if there exists a finite family of disjoint measurable subsets , such that and F is constant on every . A multivalued mapping with closed values is called strongly measurable if there exists a sequence of step multivalued mappings such that as for a.a. , where stands for the Hausdorff distance.
It is well known that if Y is a Banach space, then a strongly measurable mapping with compact values possesses a singlevalued strongly measurable selection (see, e.g., [12,20]).
A multivalued mapping is called an upperCarathéodory mapping if the map is strongly measurable for all , the map is u.s.c. for almost all and the set is compact and convex for all .
Let us note that if are Banach spaces, then an upperCarathéodory mapping is weakly superpositionally measurable, i.e., that for each continuous , the composition possesses a singlevalued measurable selection (see, e.g., [12,20]).
A multivalued mapping is called Lipschitzian in if there exists a constant such that
For more details concerning multivalued analysis, see, e.g., [12,15,20,21].
In the sequel, the measure of noncompactness will also be employed.
Definition 2.1 Let N be a partially ordered set, E be a Banach space and let denote the family of all nonempty subsets of E. A function is called a measure of noncompactness (m.n.c.) in E if for all , where denotes the closed convex hull of Ω.
An m.n.c. β is called:
(ii) nonsingular if for all and ,
(iii) invariant with respect to the union with compact sets if for every relatively compact and every ,
(iv) regular when if and only if Ω is relatively compact,
(v) algebraically semiadditive if for all .
Definition 2.2 An m.n.c. β with values in a cone of a Banach space has the semihomogeneity property if for all and all .
It is obvious that an m.n.c. which is invariant with respect to the union with compact sets is also nonsingular.
The typical example of an m.n.c. is the Hausdorff measure of noncompactnessγ defined, for all , by
The Hausdorff measure of noncompactness is monotone, nonsingular, algebraically semiadditive and has the semihomogeneity property.
Let be such that , for a.a. , all and suitable , then (cf.[20])
Moreover, for all subsets Ω of E (see, e.g., [18]),
Let us now introduce the function
defined on the bounded set , where the ordering is induced by the positive cone in and where denotes the modulus of continuity of a subset .^{a} Such a μ is an m.n.c. in , as shown in the following lemma (proven in [16]), where the properties of μ will be also discussed.
Lemma 2.1The functionμgiven by (4) defines an m.n.c. in; such an m.n.c. μis monotone, invariant with respect to the union with compact sets and regular.
The m.n.c. μ defined by (4) will be used in order to solve problem (1) (cf. Theorem 5.1).
Definition 2.3 Let E be a Banach space and . A multivalued mapping with compact values is called condensing with respect to an m.n.c.β (shortly, βcondensing) if for every such that , it holds that Ω is relatively compact.
A family of mappings with compact values is called βcondensing if for every such that , it holds that Ω is relatively compact.
The following convergence result will be also employed.
Lemma 2.2 (cf. [[15], Lemma III.1.30])
LetEbe a Banach space and assume that the sequence of absolutely continuous functionssatisfies the following conditions:
(i) the setis relatively compact for every,
(ii) there existssuch thatfor a.a. and for all,
(iii) the setis weakly relatively compact for a.a. .
Then there exists a subsequence of (for the sake of simplicity denoted in the same way as the sequence) converging to an absolutely continuous functionin the following way:
The following lemma is well known when the Banach spaces and coincide (see, e.g., [[22], p.88]). The present slight modification for was proved in [23].
Lemma 2.3Letbe a compact interval, let, be Banach spaces and letbe a multivalued mapping satisfying the following conditions:
(i) has a strongly measurable selection for every,
(iii) the setis compact and convex for all.
Assume in addition that for every nonempty, bounded set, there existssuch that
for a.a. and every. Let us define the Nemytskiǐ operatorin the following way: for every. Then, if sequencesand, , , are such thatinandweakly in, then.
3 Continuation principle
The proof of the main result (cf. Theorem 5.1 below) will be based on the combination of a bound sets technique together with the following continuation principle developed in [16].
Proposition 3.1Let us consider the general multivalued b.v.p.
whereis an upperCarathéodory mapping and. Letbe an upperCarathéodory mapping such that
for all. Moreover, assume that the following conditions hold:
(i) There exist a closed setand a closed, convex setwith a nonempty interior IntQsuch that each associated problem
whereand, has a nonempty, convex set of solutions (denoted by).
(ii) For every nonempty, bounded set, there existssuch that
(iii) The solution mappingis quasicompact andμcondensing with respect to a monotone and nonsingular m.n.c. μdefined on.
(iv) For each, the set of solutions of the problemis a subset of IntQ, i.e., for all.
(v) For each, the solution mappinghas no fixed points on the boundary∂QofQ.
Then the b.v.p. (5) has a solution inQ.
The proof of the continuation principle is based on the fact that the family of problems depending on two parameters and is associated to the original b.v.p. (5). This family is defined in such a way that if is its corresponding solution mapping, then all fixed points of the map are solutions of (5) (see condition (6)).
4 Bound sets technique
The continuation principle formulated in Proposition 3.1 requires, in particular, the existence of a suitable set of candidate solutions. The set Q should satisfy the transversality condition (v), i.e., it should have a fixedpoint free boundary with respect to the solution mapping . Since the direct verification of the transversality condition is usually a difficult task, we will devote this section to a bound sets technique which can be used for guaranteeing such a condition. For this purpose, we will define the set Q as , where K is nonempty and open in E and denotes its closure.
Hence, let us consider the Dirichlet boundary value problem (1) and let be a function satisfying
Definition 4.1 A nonempty open set is called a bound set for the b.v.p. (1) if every solution x of (1) such that for each does not satisfy for any .
Let be the Banach space dual to E and let us denote by the pairing (the duality relation) between E and , i.e., for all and , we put . The proof of the following proposition is quite analogous to the finitedimensional case considered in [4]. Nevertheless, for the sake of completeness, we present it here, too.
Proposition 4.1Letbe an open set such thatandbe an upperCarathéodory mapping. Assume that the functionhas a locally Lipschitzian Fréchet derivativeand satisfies conditions (H1) and (H2). Suppose, moreover, that there existssuch that, for all, and, at least one of the following conditions:
holds for all. ThenKis a bound set for the Dirichlet problem (1).
Proof Let be a solution of problem (1). We assume, by a contradiction, that there exists such that . The point must lie in according to the Dirichlet boundary conditions and the fact that .
Since is locally Lipschitzian, there exist a neighborhood U of and a constant such that is Lipschitzian with a constant L. Let be such that for each .
In order to get the desired contradiction, let us define the function as the composition . According to the regularity properties of x and V, . Since and for all , is a local maximum point for g. Therefore, . Moreover, there exist points , such that and .
Since , where is locally Lipschitzian and is absolutely continuous on , exists for a.a. . Consequently,
and
At first, let us assume that condition (7) holds and let be such that and exist. Then
and so there exists a function as , such that for each h,
Moreover, since , there exists a function as , such that for each h,
Consequently, we obtain
Moreover, for every and , we have that
According to the Lipschitzianity of , when is sufficiently small, we have that
where L denotes the local Lipschitz constant of in a neighborhood of x. It implies that
and then
Therefore,
according to assumption (7), it leads to a contradiction with inequality (9).
Secondly, let us assume that condition (8) holds and let be such that and exist. Then it is possible to show, using the same procedure as before, that according to assumption (8),
which leads to a contradiction with inequality (10).
Therefore, we get the contradiction in case that at least one of conditions (7), (8) holds which completes the proof. □
If the mapping is globally u.s.c. in , then the transversality conditions can be localized directly on the boundary of K, as will be shown in the following proposition, whose proof is again quite analogous to the finitedimensional case considered in [2].
Proposition 4.2Letbe a nonempty open set such thatandbe an upper semicontinuous multivalued mapping with compact, convex values. Assume that there exists a functionwith a locally Lipschitzian Fréchet derivativewhich satisfies conditions (H1) and (H2). Suppose, moreover, that for all, andwith
the following condition holds:
for all. ThenKis a bound set for problem (1).
Proof Let be a solution of problem (1). We assume, by a contradiction, that there exists such that . Since and x satisfies Dirichlet boundary conditions, .
Let us define the function as the composition . Then and for all , i.e., there is a local maximum for g at the point 0, and so . Consequently, satisfies condition (11).
Since is locally Lipschitzian, there exist a neighborhood U of and a constant such that is Lipschitzian with a constant L.
Let be an arbitrary decreasing sequence of positive numbers such that as , for all .
Since and for all , there exists, for each , such that .
Let
and let be given. As a consequence of the regularity assumptions imposed on F and of the continuity of both x and , there exists such that for each , , it follows that
Subsequently, according to the meanvalue theorem (see, e.g., [[24], Theorem 0.5.3]), there exists such that for each ,
Therefore,
Since F has compact values and ε is arbitrary, we obtain that ζ is a relatively compact set. Thus, there exist a subsequence, for the sake of simplicity denoted as the sequence, of and such that
as implying, for the arbitrariness of ,
As a consequence of the property (14), there exists a sequence , as , such that
for each . Since and , in view of (13) and (15),
Since for all , we have, according to (13), that for each . Since as , it is possible to find such that for all , it holds that . By means of the local Lipschitzianity of , for all ,
If we consider, instead of the sequence , an increasing sequence of negative numbers such that as , for all , we are able to find, for each , such that . Therefore, using the same procedure as in the first part of the proof, we obtain, for sufficiently large, that
This means that as , which implies
Inequalities (16) and (17) are in a contradiction with condition (12), because , satisfies condition (11) and . □
Remark 4.1 One can readily check that for , inequalities (7) and (8), as well as (12), become
with t, x, y, w as in Proposition 4.1 or in Proposition 4.2.
The typical case occurs when is a Hilbert space, denotes the scalar product and
for some . In this case, and it is not difficult to see that conditions (7) and (8), as well as (12), become
with t, x, y and w as in Proposition 4.1 or in Proposition 4.2, where .
Definition 4.2 A function with a locally Lipschitzian Fréchet derivative which satisfies conditions (H1), (H2) and all assumptions in Proposition 4.1 or Proposition 4.2 is called a bounding function for problem (1).
5 Existence and localization results
Combining the continuation principle with the bound sets technique, we are ready to state the main result of the paper concerning the solvability and localization of a solution of the multivalued Dirichlet problem (1).
Theorem 5.1Consider the Dirichlet b.v.p. (1), whereis an upperCarathéodory multivalued mapping. Assume thatis an open, convex set containing 0. Furthermore, let the following conditions be satisfied:
() for a.a. and each bounded, whereandγis the Hausdorff measure of noncompactness in E.
() For every nonempty, bounded set, there existssuch that
Finally, let there exist a functionwith a locally Lipschitzian Fréchet derivativesatisfying conditions (H1), (H2), and at least one of conditions (7), (8) for a suitable, all, , , and. Then the Dirichlet b.v.p. (1) admits a solution whose values are located in.
Proof Let us define the closed set by
and let the set Q of candidate solutions be defined as . Because of the convexity of K, the set Q is closed and convex.
For all and , consider still the associated fully linearized problem
and denote by a solution mapping which assigns to each the set of solutions of . We will show that the family of the above b.v.p.s satisfies all assumptions of Proposition 3.1.
In this case, which, together with the definition of , ensures the validity of (6).
ad (i) In order to verify condition (i) in Proposition 3.1, we need to show that for each , the problem is solvable with a convex set of solutions. So, let be arbitrary and let be a strongly measurable selection of . The homogeneous problem corresponding to b.v.p. ,
has only the trivial solution, and therefore the singlevalued Dirichlet problem
admits a unique solution which is one of solutions of . This is given, for a.a. , by , where G is the Green function associated to the homogeneous problem (19). The Green function G and its partial derivative are defined by (cf., e.g., [[12], pp.170171])
Thus, the set of solutions of is nonempty. The convexity of the solution sets follows immediately from the properties of a mapping F and the fact that problems are fully linearized.
ad (ii) Assuming that is defined by , condition (ii) in Proposition 3.1 is ensured directly by assumption (5).
ad (iii) Since the verification of condition (iii) in Proposition 3.1 is technically the most complicated, it will be subdivided into two parts: (iii_{1}) the quasicompactness of the solution operator , (iii_{2}) the condensity of w.r.t. the monotone and nonsingular (cf. Lemma 2.1) m.n.c. μ defined by (4).
ad (iii_{1}) Let us firstly prove that the solution mapping is quasicompact. Since is a metric space, it is sufficient to prove the sequential quasicompactness of . Hence, let us consider the sequences , for all such that in and . Moreover, let for all . Then there exists, for all , such that
Since and in , there exists a bounded such that for all and . Therefore, there exists, according to condition (), such that for every and a.a. .
Moreover, for every and a.a. ,
and
Thus, satisfies, for every and a.a. , and , where
and
Furthermore, for every and a.a. , we have
Hence, the sequences and are bounded and is uniformly integrable.
Since the sequences , are converging, we obtain, in view of (),
for a.a. , which implies that is relatively compact.
For all , the sequence is relatively compact as well since, according to the semihomogeneity of the Hausdorff m.n.c.,
Moreover, by means of (2), (3), (21) and the semihomogeneity of the Hausdorff m.n.c.,
By similar reasonings, we can also get
by which , are relatively compact for a.a. . Moreover, since satisfies for all equation (20), is relatively compact for a.a. . Thus, according to Lemma 2.2, there exist a subsequence of , for the sake of simplicity denoted in the same way as the sequence, and such that converges to in and converges weakly to in . Therefore, the mapping is quasicompact.
ad (iii_{2}) In order to show that is μcondensing, where μ is defined by (4), we will prove that any bounded subset such that is relatively compact. Let be a sequence such that
Then we can find , satisfying for a.a. and such that for all ,
and
In view of (), we have, for all ,
Since and Θ is bounded in , by means of (), we get the existence of such that for a.a. and all . This implies for a.a. and all .
Moreover, by virtue of the semihomogeneity of the Hausdorff m.n.c., for all , we have
According to (2), (3) and (22), we so obtain for each ,
where
By the similar reasonings, we can obtain that for each ,
when starting from condition (23). Subsequently,
yielding
and, in view of (24) and (), we have that
Inequality (24) implies that
Now, we show that both the sequences and are equicontinuous. Let be such that and for all and . Thus, we get that , where comes from (), and so is uniformly integrable. This implies that is equicontinuous. Moreover, according to (23), we obtain that
for all and , implying that is bounded; consequently, also is equicontinuous. Therefore,
In view of (25), we have so obtained that
Hence, also and since μ is regular, we have that Θ is relatively compact. Therefore, condition (iii) in Proposition 3.1 holds.
ad (iv) For all , the problem has only the trivial solution. Since , condition (iv) in Proposition 3.1 is satisfied.
ad (v) Let be a solution of the b.v.p. for some , i.e., a fixed point of the solution mapping . In view of conditions (7), (8) (see Proposition 4.1), K is, for all , a bound set for the problem
This implies that , which ensures condition (v) in Proposition 3.1. □
If the mapping is globally u.s.c. in (i.e., a Marchaud map), then we are able to improve Theorem 5.1 in the following way.
Theorem 5.2Consider the Dirichlet b.v.p. (1), whereis an upper semicontinuous mapping with compact, convex values. Assume thatis an open, convex set containing 0. Moreover, let conditions (), (), () from Theorem 5.1 be satisfied.
Furthermore, let there exist a functionwith a locally Lipschitz Frechét derivativesatisfying (H1) and (H2). Moreover, let, for all, , andsatisfying (11), condition (12) hold for all. Then the Dirichlet b.v.p. (1) admits a solution whose values are located in.
Proof The verification is quite analogous as in Theorem 5.1 when just replacing the usage of Proposition 4.1 by Proposition 4.2. □
6 Illustrative example
Example 6.1 Let be a Hilbert space and let us consider the Dirichlet b.v.p.
where
(i) is an upperCarathéodory multivalued mapping and is completely continuous for a.a. such that
(ii) is a Carathéodory multivalued mapping such that
and is Lipschitzian for a.a. with the Lipschitz constant
Moreover, suppose that
(iii) there exist and such that, for all with , , , and , we have
Then the Dirichlet problem (26) admits, according to Theorem 5.1, a solution such that for all .
Indeed. The properties of guarantee that satisfies the inequality (cf., e.g., [20])
for a.a. and every bounded , where γ stands for the Hausdorff measure of noncompactness in H.
Since is completely continuous and thanks to the algebraic semiadditivity of γ, inequality (27) can be rewritten into
for a.a. and every bounded , i.e., , for (cf. ()).
Moreover, according to the Lipschitzianity of , the following inequalities take place:
Finally, in view of Remark 4.1, we can define the bounding function by the formula
and the bound set K as in order to get a claim.
Remark 6.1 Consider again (26) in a Hilbert space H, but let this time , be globally u.s.c. mappings with compact, convex values ( is compact (cf., e.g., [[15], Proposition I.3.20]) and, in particular, bounded) such that
(i) is a completely continuous mapping for a.a. such that
(ii) is a Lipschitzian mapping for a.a. with the Lipschitz constant
(iii^{usc}) There exists such that, for all with , , satisfying , and , we have
Applying now Theorem 5.2, by the analogous arguments as in Example 6.1, the Dirichlet problem (26) admits a solution such that for all .
Remark 6.2 Since the solution derivative takes the form
where
and so for all , we obtain (under the above assumptions) the implicit inequality
Thus, for , we have , and subsequently
Similarly, if is compact, then
holds with a suitable constant , and the following estimate holds:
Because of the Dirichlet boundary conditions for , there exists a zero point of , i.e., , by which the same estimates can be also obtained without an explicit usage of the Green function above. Otherwise, it is not so easy to obtain such estimates, because Rolle’s theorem fails in general.
For obtaining the estimation of the solution derivative in a Hilbert space H, one can also apply, under natural assumptions, the pNagumo condition derived in [7].
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in this article. They read and approved the final manuscript.
Acknowledgements
The first and third authors were supported by the grant PrF_2012_017. The second author was supported by the national research project PRIN “Ordinary Differential Equations and Applications”.
End notes

The m.n.c. is monotone, nonsingular and algebraically subadditive on (cf., e.g., [20]) and it is equal to zero if and only if all the elements are equicontinuous.
References

De Blasi, FS, Pianigiani, G: Solution sets of boundary value problems for nonconvex differential inclusions. Topol. Methods Nonlinear Anal.. 1, 303–314 (1993)

Kožušníková, M: A bounding functions approach to multivalued Dirichlet problem. Atti Semin. Mat. Fis. Univ. Modena Reggio Emilia. 55, 133–151 (2007)

Miklaszewski, D: The twopoint problem for nonlinear ordinary differential equations and differential inclusions. Univ. Iagell Acta Math.. 36, 127–132 (1998)

Pavlačková, M: A bound sets technique for Dirichlet problem with an upperCarathéodory righthand side. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math.. 49(2), 95–106 (2010)

Lakshmikantham, V, Chandra, J, Mitchell, AR: Existence of solutions of boundary value problems for nonlinear second order systems in Banach space. Nonlinear Anal.. 2, 157–168 (1978). Publisher Full Text

Khrennikov, AY: Dirichlet’s problem in Banach space. Math. Notes Acad. Sci. USSR. 34(4), 804–808 (1983)

Mawhin, J: Two point boundary value problems for nonlinear second order differential equations in Hilbert spaces. Tohoku Math. J.. 32(2), 225–233 (1980). Publisher Full Text

Mönch, H: Boundary value problems for nonlinear differential equations of second order in Banach spaces. Nonlinear Anal.. 4(5), 985–999 (1980). Publisher Full Text

Palmucci, M, Papalini, F: Periodic and boundary value problems for second order differential inclusions. J. Appl. Math. Stoch. Anal.. 14, 161–182 (2001). Publisher Full Text

Schmitt, K, Volkmann, P: Boundary value problems for second order differential equations in convex subsets in a Banach space. Trans. Am. Math. Soc.. 218, 397–405 (1976)

Zhou, WX, Peng, J: Existence of solution to a secondorder boundary value problem via noncompactness measures. Discrete Dyn. Nat. Soc.. 2012, (2012) Article ID 786404. doi:10.1155/2012/786404

Deimling, K: Multivalued Differential Equations, de Gruyter, Berlin (1992)

Wang, Z, Zhang, F: Two points boundary value problems in Banach spaces. Appl. Math. Mech.. 17(3), 275–280 (1996) English edition

Gaines, RE, Mawhin, JL: Coincidence Degree and Nonlinear Differential Equations, Springer, Berlin (1977)

Andres, J, Górniewicz, L: Topological Fixed Point Principles for Boundary Value Problems, Kluwer, Dordrecht (2003)

Andres, J, Malaguti, L, Pavlačková, M: On secondorder boundary value problems in Banach spaces: a bound sets approach. Topol. Methods Nonlinear Anal.. 37(2), 303–341 (2011)

Andres, J, Malaguti, L, Pavlačková, M: A ScorzaDragoni approach to secondorder boundary value problems in abstract spaces. Appl. Math. Inf. Sci.. 6(2), 177–192 (2012)

Andres, J, Malaguti, L, Taddei, V: On boundary value problems in Banach spaces. Dyn. Syst. Appl.. 18, 275–302 (2009)

Papageorgiou, NS, KyritsiYiallourou, ST: Handbook of Applied Analysis, Springer, Berlin (2009)

Kamenskii, MI, Obukhovskii, VV, Zecca, P: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces, de Gruyter, Berlin (2001)

Hu, S, Papageorgiou, NS: Handbook of Multivalued Analysis, Vol. I: Theory, Kluwer, Dordrecht (1997)

Vrabie, II: Compactness Methods for Nonlinear Evolutions, Longman, Harlow (1990)

Andres, J, Kožušníková, M, Malaguti, L: Bound sets approach to boundary value problems for vector secondorder differential inclusions. Nonlinear Anal.. 71(12), 28–44 (2009). Publisher Full Text

Aubin, JP, Cellina, A: Differential Inclusions, Springer, Berlin (1984)