 Research
 Open access
 Published:
Structure of solution sets to the nonlocal problems
Boundary Value Problems volume 2016, Article number: 26 (2016)
Abstract
This paper deals with the structural properties of the solution set for a class of nonlinear evolution inclusions with nonlocal conditions. For the nonlocal problems with a convexvalued righthand side it is proved that the solution set is compact \(R_{\delta}\); it is the intersection of a decreasing sequence of nonempty compact absolute retracts. Then for the cases of a nonconvexvalued perturbation term it is proved that the solution set is path connected. Finally some examples of nonlinear parabolic problems are given.
1 Introduction
In this paper, we study the structural properties of the solution set for a class of nonlinear evolution inclusions initiated in [1] with nonlocal conditions. The nonlocal Cauchy problems of evolution inclusions were investigated by Aizicovici and Lee [2], Aizicovici and McKibben [3], Aizicovici and Staicu [4], GarcíaFalset [5], GarcíaFalset and Reich [6], and Paicu and Vrabie [7], and by the references therein. However, as far as we know, not much work has been done for the topological structure of the solution set studied in this paper. In the past the topological structure of the solution set of differential inclusions in \({{\mathbb{R}}}^{N}\) has been investigated by Himmelberg and Van Vleck [8] and DeBlasi and Myjak [9]. Himmelberg and Van Vleck considered the topological structure of the solution set to the following differential inclusions:
and they showed that the solution set was an \(R_{\delta}\) set (see page 5). For the Cauchy problems the topological structure of the solution set of evolution inclusions was examined primarily by Papageorgiou and Shahzad [10], Andres and Pavlǎcková [11], Chen et al. [12] and Papageorgiou and Yannakakis [13] in a Banach space. For the optimization of this subject, we refer the reader to [14]. The corresponding work for multivalued evolution systems is limited to the Cauchy or periodic problems. The paper is largely motivated by the work of [1] in which the existence of solutions for firstorder nonlinear evolution inclusions were proved. In [1], they only showed that there exists at least one solution for the cases of a convex and of a nonconvexvalued perturbation term to the nonlocal problems, also prove that, under appropriate hypotheses, the extremal solution set is dense in the solution set of a system with a convexified righthand side. However, it has to be noted that the topological structure of the solution set for this type of nonlinear evolution inclusions is an interesting problem which we intend to study in this paper.
In this paper we first of all prove that the solution set of nonlinear timedependent evolution inclusions with a convexvalued righthand side is compact \(R_{\delta}\); it is the intersection of a decreasing sequence of nonempty compact absolute retracts in \(C(I,H)\). Second, we go further and show that the solution set is pathconnected in \(C(I,H)\) for the case of a nonconvexvalued orientor field. Finally, some examples are also given to illustrate the effectiveness of our results. In particular, control systems given in this paper with a prior feedback, and systems with discontinuities, have a builtin multivalued character which is modeled appropriately by evolution inclusions.
2 Preliminaries
In this section we recall some basic definitions and facts from multivalued analysis, which will be needed later in this work. For further details we refer to the books of Hu and Papageorgiou [15, 16] and Zeidler [17]. Let \(\mathcal{X}\) be a separable Banach space. The following notations are needed:
Definition 2.1
A multifunction H: \(\Omega\rightarrow P_{f}(\mathcal{X})\) is called ‘measurable’, if for all \(y\in\mathcal{X}\), \(\mathbb{R}_{+}\)valued function \(x\rightarrow d(y,H(x))=\inf\{\Vert yv\Vert ,v\in H(x)\}\) is measurable.
For given \(A,B \in P_{f}(\mathcal{X})\), let
The function \(d_{H}:P_{f}(\mathcal{X})\times P_{f}(\mathcal{X})\rightarrow \mathbb{R}_{+}\) is a metric on \(P_{f}(\mathcal{X})\) and is called the ‘Hausdorff metric’.
Definition 2.2
Let Z be a separable Banach space, a multifunction \(H: \mathcal{X}\rightarrow2^{Z}\setminus\emptyset\) is called ‘hupper semicontinuous’ (husc) if, for every \(x\in\mathcal{X}\), the function \(x'\rightarrow d_{H}(H(x'),H(x))\) is continuous.
Let Z be a complete metric space, also \(H: \mathcal{X}\rightarrow P_{f}(Z)\) is called ‘hcontinuous’ (resp. ‘hLipschitz’) if it is continuous (resp. Lipschitz) as a function from Z into \(P_{f}(Z,d_{H})\). For details refer to [18].
Let (\(V,H,V^{*}\)) be an evolution triple where the embedding \(V\rightarrow H\rightarrow V^{*}\) is compact. Let \(\langle\cdot,\cdot\rangle_{*}\) denote the pairing of an element \(x\in{V^{*}}\) and an element \(y\in{V}\). Let \(\langle\cdot \cdot\rangle \) be the inner product on H, then \(\langle\cdot,\cdot\rangle_{*}=\langle\cdot \cdot\rangle\), if \(x,y\in {H}\). The dual space of \(L^{p}(I,V)\) is \(L^{q}(I,V^{*})\) where \(1< q\leq p<\infty\), \(\frac{1}{p}+\frac{1}{q}=1\), and I is an interval in \(\mathbb{R}\). The norm in Banach space \(L^{p}(I,V)\) will be denoted by \(\Vert \cdot \Vert _{L^{p}(I,V)}\). Due to the reflexivity of V, both \(L^{p}(I,V)\) and \(L^{q}(I,V^{*})\) are reflexive Banach spaces (see Zeidler [17], p.411).
We define a Banach space \(\mathcal{W}_{pq}(I)=\{x:x\in L^{p}(I,V),\dot{x}\in L^{q}(I,V^{*})\}\) furnished with the norm \(\Vert x\Vert _{\mathcal{W}}=\Vert x\Vert _{L^{p}(I,V)}+\Vert \dot{x}\Vert _{L^{q}(I,V^{*})}\). The pairing between \(L^{p}(I,V)\) and \(L^{q}(I,V^{*})\) is denoted by \(\langle \cdot,\cdot\rangle_{**}\).
By \(S_{G}^{p}\) we denote the set of all \(L^{p}(I,H)\)selectors of a multifunction G, i.e. \(S^{p}_{G}=\{f\in L^{p}(I,H): f(x)\in G(x)\mbox{ a.e. for }x\in I\}\). We say that the set \(S_{G}^{p}\) is decomposable if \(\chi_{A}f_{1}+\chi _{A^{c}}f_{2}\in S_{G}^{p}\) where \((f_{1},f_{2},A)\in S_{G}^{p}\times S_{G}^{p}\times\Sigma\).
We recall some of the topological concepts which will be used to characterize the solution set of the evolution inclusion.
Definition 2.3
A subset \(\mathcal{A}\subset\mathcal{X}\) is called ‘path connected’, if for every \(x,y\subset \mathcal{A}\), there exists a path \(h: [0,1] \rightarrow \mathcal{A}\) which joins x to y.
For \(\mathcal{A}\subset\mathcal{X}\) nonempty, we claim that \(\mathcal{A}\) is a retract of \(\mathcal{X}\), if there exists a continuous map \(f : \mathcal{X} \rightarrow\mathcal{A}\) such that \(f\mid_{\mathcal{A}}= \mathrm{identity}\). It is clear to see that a retract \(\mathcal{A}\subset\mathcal{X}\) is closed.
Definition 2.4
A closed subset \(\mathcal{A}\) of \(\mathcal{X}\) is called an absolute retract, if for any closed subset C in every metric space Y, every continuous map \(f:C\rightarrow\mathcal{A}\) can be extended to be a continuous function, \(\widehat{f}: Y\rightarrow\mathcal{A}\).
Definition 2.5
A subset \(\mathcal{A}\) of a metric space \(\mathcal{X}\) is said to be contractible, if and only if there exist a continuous function \(g:[0,1]\times\mathcal{A}\rightarrow\mathcal{X}\) and a point \(a\in \mathcal{A}\) such that for all \(x\in\mathcal{A}\) we have \(g(0,x)=a\) and \(g(1,x)=x\).
A subset \(\mathcal{A}\) of a metric space \(\mathcal{X}\) is said to be simply connected if every closed path in it is contractible to a point. A contractible set is both simply connected and path connected.
Definition 2.6
A subset \(\mathcal{A}\) of a metric space is called an \(R_{\delta}\) set if there exists a decreasing sequence \(\{\mathcal{A}_{n}\} \) of compact and contractible sets such that
It is well known that any \(R_{\delta}\) set is nonempty, compact, and connected. The following approximation result that we shall need can be proved as Proposition 4.1 of [9] with minor obvious modifications to accommodate the presence of \(t\in I:=[0,T]\).
Lemma 2.1
If \(F:I\times H\rightarrow P_{fc}(V^{*})\) is measurable in t, husc in x, and \(\vert F(t,x)\vert \leq\psi(t)\) for almost all \(t\in I\) with \(\psi(t)\in L^{q}(I)\), then there exists a sequence of multifunctions \(F_{n}: I\times H\rightarrow P_{fc}(V^{*})\), \(n\geq1\), such that for every \(t\in I\) there exist \(\mu(t)> 0\) and \(\epsilon> 0\) such that if \(x_{1}, x_{2}\in B_{\epsilon}(x)=\{y\in H:\Vert yx\Vert _{H}\leq\epsilon\}\), then \(d_{H}(F_{n}(t, x_{1}), F_{n}(t, x_{2}))\leq\mu(t)\psi(t)\Vert x_{1}x_{2}\Vert _{H}\) for almost all \(t\in I\) (i.e., \(F_{n}(t,x)\) is locally hLipschitz), \(F(t,x)\subseteq\cdots\subseteq F_{n}(t,x)\subseteq F_{n+1}(t,x) \subseteq \cdots, \vert F_{n}(t,x)\vert \leq\psi(t)\), \(n\in\mathbb{N}\), \(F_{n}(t, x)\longrightarrow F(t, x)\) as \(n\longrightarrow\infty\) for every \((t,x)\in I\times H\), and there exists \(u_{n}: I\times H\rightarrow H\), measurable in t, locally Lipschitz in x (as \(F_{n}(t,x)\)) and \(u_{n}(t,x)\in F_{n}(t, x)\) for every \((t,x)\in I\times H\). Moreover, if \(F(t,\cdot)\) is hcontinuous, then \(t\rightarrow F_{n}(t, x)\) is measurable (hence \((t,x)\rightarrow F_{n}(t,x)\) is measurable too; see [19]).
3 Main results
Let \(I=[0,T]\) and \((V,H,V^{*})\) be an evolution triple of spaces. Consider a nonlocal problems of evolution inclusions in the form
where \(B:I\times V\rightarrow V^{*}\) is a nonlinear operator, \(D:V\rightarrow V^{*}\) is a bounded linear operator, \(\tau :C(I,H)\rightarrow H\) is a continuous map, and \(\mathcal{F}:I\times H\rightarrow2^{V^{*}}\) is a multifunction to be given later. Some classical examples for τ are

(i)
\(\tau(x)=x(T)\);

(ii)
\(\tau(x)=x(T)\);

(iii)
\(\tau(x)=\frac{1}{T}\int_{0}^{T} x(t)\,dt\);

(iv)
\(\tau(x)=\sum_{i=1}^{n}\theta_{i}x(t_{i})\), where \(0\leq t_{1}<\cdots<t_{n}\leq T\) are arbitrary, but fixed and \(\sum_{i=1}^{n}\vert \theta _{i}\vert \leq1\).
We investigate the solutions of (3.1) in the weak sense. Let u be a solution of problem (3.1), we mean a function \(u\in W_{pq}(I)\) and there exists a function \(f(t)\in\mathcal{F}(t,u)\) such that
where \(u(0)=\tau(u)\) for all \(v \in V\) and almost all \(t \in I\).
From [1], the existence of solution \(x\in W_{pq}(I)\cap C(I,H)\) of problem (3.1) is obtained. Let S denote the solution set of problem (3.1) defined as
In this paper, we can study the first structural property of the solution set \(S\subset C(I,H)\) of (3.1). We show that S is an \(R_{\delta}\) set in \(C(I,H)\).
We need the following hypotheses on the data of (3.1).

(H1)
\(B:I\times V\rightarrow{V^{*}}\) is an operator such that

(i)
\(t\rightarrow B(t,u)\) is measurable;

(ii)
for almost all \(t\in I\), there exists a constant \(C_{1}>0\) such that
$$\bigl\langle B(t,u_{1})B(t,u_{2}),u_{1}u_{2} \bigr\rangle _{*}\geq C_{1}\Vert u_{1}u_{2}\Vert _{H}^{p} $$for all \(u_{1},u_{2}\in V\), and the map \(s\mapsto\langle B(t,u+sz),y\rangle_{*}\) is continuous on \([0,1]\) for all \(u,y,z\in V\), and \(p>1\);

(iii)
there exist a constant \(C_{2}>0\), a function \(a(\cdot)\in L^{q}_{+}(I)\) where q is the conjugate of \(p>1\), and a nondecreasing continuous function \(\alpha(\cdot)\) such that \(\Vert B(t,u)\Vert _{V^{*}}\leq a(t)+C_{2}\alpha(\Vert u\Vert _{V})\) for all \(u\in V\), a.e. for \(t\in I\);

(iv)
there exist \(C_{3}>0\), \(C_{4}>0\), \(b(\cdot)\in L^{1}(t)\) such that
$$\begin{aligned} \bigl\langle B(t,u),u\bigr\rangle _{*}\geq{}& C_{3}\Vert u\Vert _{V}^{p}C_{4}\Vert u\Vert _{V}^{p1}\\ &{}+\frac{1}{2T}\bigl\Vert u(0)\bigr\Vert ^{2}b(t) \quad \mbox{a.e. }t\in I, \forall u\in V, 1< p\leq2, \end{aligned}$$and
$$\bigl\langle B(t,u),u\bigr\rangle _{*}\geq C_{3}\Vert u\Vert _{V}^{p}C_{4}\Vert u\Vert _{V}^{p1}b(t) \quad \mbox{a.e. }t\in I, \forall u\in V, p>2. $$

(i)

(H2)

(i)
\(D: V\rightarrow V^{*}\) is a bounded linear selfadjoint operator such that \(\langle Du,u\rangle_{*}\geq0\), for all \(u\in V\), for almost all \(t\in I\);

(ii)
there exists a continuous function \(\tau:C(I,H)\rightarrow H\) such that
$$\bigl\Vert \tau(u_{1})\tau(u_{2})\bigr\Vert _{H}\leq \Vert u_{1}u_{2}\Vert _{C(I,H)}, \quad \forall u_{1},u_{2}\in C(I,H), $$and \(\tau(0)=0\).

(i)
For every \(f\in L^{q}(I,H)\), consider the following nonlinear evolution equation:
where \(B:I\times V\rightarrow V^{*}\) is a nonlinear map, \(D:V\rightarrow V^{*}\) is a bounded linear map, \(\tau:C(I,H)\rightarrow H\) is a continuous map. If hypotheses (H1), (H2) hold, then for every \(f\in L^{q}(I,H)\), from [1], the problem (3.2) has a unique solution \(u\in W_{pq}(I)\subset C(I,H)\), moreover, \(\Vert u\Vert _{C(I,H)}\leq M\), for some constant \(M>0\). Let us define an operator \(L: W_{pq}(I)\rightarrow L^{q}(I,H)\) as \(L(u(t))=\dot {u}(t)+B(t,u(t))+Du(t)\) and \(u(0)=\tau(u)\). By Theorem 3.1 of [1], then L is onetoone and surjective. Thus the inverse mapping \(P:L^{q}(I,H)\rightarrow W_{pq}(I)\) is well defined. From (H1)(ii) and (H2), it is easy to deduce that \(L: W_{pq}(I)\rightarrow L^{q}(I,H)\) is continuous. So \(P:L^{q}(I,H)\rightarrow W_{pq}(I)\) is continuous. Because \(W_{pq}(I)\) embeds continuously into \(C(I,H)\) (see Proposition 23.23 of [17]), we see that \(P:L^{q}(I,H)\rightarrow C(I,H)\) is continuous. Let \(L^{q}(I,H)_{w}\) denote the LebesgueBochner space furnished with the weak topology.
Let us give a proposition which is essential for our results.
Proposition 3.1
If hypotheses (H1) and (H2) hold, then \(P:L^{q}(I,H)_{w}\rightarrow C(I,H)\) is sequentially continuous.
Proof
Let
with \(\psi(t)\in L^{q}_{+}(I)\). Similar to the step 2 of Theorem 3.1 in [1], we will show that there is a prior bound to problem (3.2) for each \(f\in W\). Let \(f_{n}\in W\) for every \(n\geq1\). From the definition of W, \(\{f_{n}\}_{n\geq1}\) is uniformly bounded in \(L^{q}(I,H)\). By the DunfordPettis theorem, passing to a subsequence if necessary, we may assume that \(f_{n}\longrightarrow f\) weakly in \(L^{q}(I,H)\) for some \(f\in W\) as \(n\longrightarrow\infty\). For the possible solution \(u_{n}=P(f_{n})\), we have
It follows that
From (H1)(iv) and
we derive
with \(p>2\), and
with \(1< p\leq2\). Hence, we have, for all \(n\in\mathbb{N}\), \(\Vert u_{n}\Vert _{L^{p}(I,V)}\leq M\) where \(M>0\). From (3.2), it is easy to deduce that, for all \(n\in \mathbb{N}\), \(\Vert u_{n}\Vert _{L^{q}(I,V^{*})}\leq\overline{M}\) where \(\overline{M}>0\). So we see that \(\{u_{n}\}_{n\geq1}\) is uniformly bounded in \(W_{pq}(I)\). Due to the boundedness of the sequence \(\{u_{n}\}_{n\geq1}\subset W_{pq}(I)\), it follows that the sequence \(\{ u_{n}\}_{n\geq1}\subset L^{q}(I,V^{*})\) is uniformly bounded. So passing to a subsequence if necessary, we may assume that \(\dot {u}_{n}\longrightarrow v\) weakly in \(L^{q}(I,V^{*})\). Obviously, \(v=\dot{u}\) and \(u_{n}\longrightarrow u\) weakly in \(W_{pq}(I)\). Since the embedding \(V \rightarrow H\) is compact, the embedding \(W_{pq}(I)\rightarrow L^{p}(I,H)\) is compact. Thus, we have \(u_{n}\longrightarrow u\) in \(L^{p}(I,H)\). Since the operator B is hemicontinuous and monotone and D is a continuous linear operator, we have \(B(t,x_{n})\longrightarrow B(t,x)\), \(Dx_{n}\longrightarrow Dx\) weakly in \(L^{q}(I,V^{*})\) as \(n\longrightarrow\infty\). Therefore, we obtain \(\dot{u}(t)+B(t,u(t))+Du(t) = f(t)\). Since the embedding \(W_{pq}(I)\rightarrow C(I,H)\) is continuous, the sequence \(\{u_{n}\} _{n\geq1}\subset C(I,H)\) is uniformly bounded. Also, \(\{u_{n}\}_{n\geq1}\) is equicontinuous. By the ArzelaAscoli theorem, passing to a subsequence, we may assume \(u_{n}\longrightarrow u\) in \(C(I,H)\). Since \(\tau: C(I,H)\rightarrow H\) is continuous, we have \(u_{n}(0)=\tau(u_{n})\longrightarrow u(0)=\tau(u)\). Hence, \(u=P(f)\). Because of \(W_{pq}(I)\subset C(I,H)\), one has \(u_{n}u\in C(I,H)\). Note that
Integrating the above inequality over \([0,t]\), by hypotheses (H1), (H2), for arbitrary \(t\leq T\) we find
By
it follows that
as \(n\longrightarrow\infty\).
Then we get
So, \(u_{n}\longrightarrow u\) in \(C(I,H)\), i.e. \(P:L^{q}(I,H)_{w}\longrightarrow C(I,H)\) is sequentially continuous. □
To prove such a structural result for the solution set of (3.1) we need the following hypotheses on \(\mathcal{F}(t,x)\):

(H3)
\(\mathcal{F}:I\times H\rightarrow2^{H}\) is a multifunction with closed and convex values such that

(i)
\((t,u)\rightarrow\mathcal{F}(t,u)\) is graph measurable;

(ii)
for almost all \(t\in I\), \(u\rightarrow\mathcal{F}(t,u)\) has a closed graph;

(iii)
there exist a function \(b_{1}(\cdot)\in L_{+}^{q}(I)\) and a constant \(C_{5}>0\) such that
$$\begin{aligned} \bigl\vert \mathcal{F}(t,u)\bigr\vert &=\sup\bigl\{ \Vert f\Vert _{H}:f\in\mathcal{F}(t,u)\bigr\} \\ &\leq b_{1}(t)+C_{5} \Vert u\Vert _{H}^{k1},\quad \forall x\in H,\mbox{ a.e. for } t \in I, \end{aligned}$$where \(1\leq k< p\).

(i)
Theorem 3.1
Under assumptions (H1)(H3), S is an \(R_{\delta}\) set in \(C(I,H)\).
Proof
From the prior estimation executed in the proof of Theorem 3.1 in [1], without loss of generality, we may suppose that, for almost all \(t\in I\), all \(u\in H\), and all \(h(t)\in\mathcal{F}(t, u)\), we have \(\Vert h(t)\Vert _{H}\leq\psi(t)\) where \(\psi\in L_{+}^{q}(I)\). Applying Lemma 2.1, we can obtain a sequence of multifunctions \(\mathcal{F}_{n} : I\times H \rightarrow P_{fc}(H)\). For every \(n\geq1\), consider the following evolution inclusion:
From Theorem 4.1 of [1], we see that the solution set \(S_{n}\subseteq W_{pq}(I)\subset C(I,H)\) of problem (3.4) is compact in \(C(I,H)\). The following two steps are needed to complete the proof.
Step 1. This set \(S_{n}\) is contractible.
Let \(w_{n}(t, u)\) be measurable selector of \(\mathcal{F}_{n}(t,u)\) generated by Lemma 2.1, the locally Lipschitz continuous in \(u\in H\). Fixing \(w_{n}(t,u)\in\mathcal{F}_{n}(t,u)\), let \(\widehat{u}=P(w_{n}(t,u))\in S_{n}\), where P is defined as before. Consider the following Cauchy problem:
It is easy to check the existence of solution in (3.5) (see [20]). Because B is hemicontinuous and monotone, D is a continuous linear operator and \(w_{n}(t, u)\) be the locally Lipschitz continuous in \(u\in H\), the solution of (3.5) is unique. For every \(\delta\in[0,1]\) and every \(u\in S_{n}\), let \(z(\delta,u)(t)\in W_{pq}(I)\) be the unique solution of (3.5). In order for this set \(S_{n}\) to be contractible, for given \(\widehat {u}\in S_{n}\), we only need to find a continuous function \(\mu :[0,1]\times S_{n}\rightarrow S_{n}\) such that, for all \(u\in S_{n}\), we have \(\mu(0,u)(t)=\widehat{u}(t)\) and \(\mu(1,u)(t)=u(t)\). So we can define \(\mu:[0,1]\times S_{n}\rightarrow S_{n}\) by
If \(\delta=0\), by (H1) and (H2), we know that \(z(t)=\widehat{u}(t)\) for every \(t\in I\). So \(\mu(0,u)(t)=\widehat{u}\). From the definition of \(\mu(\delta,u)(t)\), obviously, \(\mu(1,u)(t)=u(t)\) for every \(u(t)\in S_{n}\). We show that \(\mu(\delta,u)(t)\in S_{n}\) for each \((\delta, u)\in [0,1]\times S_{n}\). Note that for each \(u\in S_{n}\), there exists \(\widetilde{f}\in\mathcal{F}_{n}(t,u)\), such that \(u=P(\widetilde{f})\). Let
where χ is the characteristic function. Since \(\mathcal{F}_{n}(t,u)\) is closed and convexvalued, from the definition of a decomposable value (see Section 2), we see that \(\mathcal{F}_{n}(t,u)\) is decomposable, from which one deduces \(v\in\mathcal{F}_{n}(t,u)\). Obviously, \(P(v)=u(t)\) for all \(t\in[0,\delta T]\) and \(P(v)=z(\delta,u)(t)\) for all \(t\in(\delta T, T]\), which means \(P(v)=\mu(\delta,u)\) for any \(\delta\in[0,1]\). Hence, \(\mu(\delta,u)\in S_{n}\).
To prove that \(S_{n}\) is contractible, we first note that \(\mu :[0,1]\times S_{n}\rightarrow S_{n}\) and \(\mu(0,u)(t)=\widehat{u}(t)\) and \(\mu(1,u)(t)=u(t)\) for every \(u\in S_{n}\). Next, it remains to show that \(\mu(\delta,u)(t)\) is continuous in \([0,1]\times C(I,H)\). To this aim, let \((\delta_{m},u_{m})\longrightarrow(\delta,u)\) in \([0,1]\times S_{n}\). Next, we will distinguish two distinct cases to proceed.
I: \(\delta_{m}\geq\delta\) for every \(m\geq1\). Let \(v_{m}(t)=\mu(\delta_{m},u_{m})(t)\), for \(t\in I\). Obviously, \(v_{m}\in S_{n}\), \(m\geq1\). Due to the compactness of the solution set \(S_{n}\) in \(C(I,H)\), by passing to a subsequence if necessary, we may suppose that \(v_{m}\longrightarrow v\) in \(C(I,H)\) as \(m\longrightarrow\infty\). Next, we only need to check \(v(t)=\mu(\delta,u)(t)\). Clearly, \([0,\delta T]\subseteq[0,\delta_{m}T]\), by the definition of \(\mu(\delta,u)\), one has \(v_{m}(t)=\delta_{m} u_{m}(t)+(1\delta_{m})\widehat{u}(0)\) for \(0\leq t\leq \delta_{m} T\). As \((\delta_{m},u_{m})\rightarrow(\delta,u)\) in \([0,1]\times C(I,H)\), we obtain \(v(t)=\delta u(t)+(1\delta)\widehat{u}(0)\) for \(0\leq t\leq\delta T\). Also let \(y\in W_{pq}(I)\) be the unique solution of the following equation:
Let \(m \geq N\) be large enough for some constant \(N > 0\), by (3.6), \(v_{m}(\cdot)\) satisfies
Exploiting the monotonicity of the operator \(B(t,\cdot)\) and D, and combining (3.6) with (3.7), we find
Taking the integral over the above inequality from \(\delta_{N}T\) to t (\(t\leq T\)), we have
By Brezis [21], p.157, we obtain
Passing to the limit as \(m\longrightarrow\infty\), and recalling that \(v_{m}\longrightarrow v\) in \(C(I,H)\) and \(w_{n}(t, u)\) is locally Lipschitz continuous in u, we get \(\Vert y(t)v(t)\Vert _{H}\leq \Vert y(\delta_{N} T)v(\delta _{N} T)\Vert _{H}\) for \(\delta_{N} T\leq t\leq T\). Since \(y(t)\) is the solution in (3.6), \(y\in C(I,H)\). So \(y(t)\) is continuous with respect to t. Finally, \(y(\delta_{N} T)\rightarrow v(\delta T)\) and \(v(\delta_{N} T)\rightarrow v(\delta T)\) in H as \(N\longrightarrow\infty\), in the limit we get \(y(t)=v(t)\) for every \(\delta T\leq t\leq T\). So
hence \(v=\mu(\delta,u)\). Therefore \(\mu(\delta_{m},u_{m})\longrightarrow\mu (\delta,u)\) in \(C(I,H)\) as \((\delta_{m},u_{m})\longrightarrow(\delta,u)\).
II: \(\delta_{m}\leq\delta\) for every \(m\geq1\). Keeping the notation as in case I, we have \([0,\delta_{m}T]\subseteq[0,\delta T]\). By the definition of \(\mu(\delta,u)\), one has \(v_{m}(t)=\delta_{m} u_{m}(t)+(1\delta_{m})\widehat{u}(0)\) for \(0\leq t\leq \delta_{m} T\). As \((\delta_{m},u_{m})\longrightarrow(\delta,u)\) in \([0,1]\times C(I,H)\), we get \(v(t)=\delta u(t)+(1\delta)\widehat {u}(0)\) for \(0\leq t\leq\delta T\). Also let \(y\in W_{pq}(I)\) be the unique solution of the following equation:
Let \(m\geq N\) large enough for some constant \(N>0\), by (3.8), \(v_{m}(\cdot )\) satisfies
Due to the monotonicity of the operator \(B(t,\cdot)\) and D, and combining (3.8) with (3.9), we have
Integrating the above inequality over \([\delta T,t)\), \(t\leq T\), we have
As before, we obtain
Taking the limit as \(m\longrightarrow\infty\), and recalling that \(v_{m}\longrightarrow v\) in \(C(I,H)\) and \(w_{n}(t, x)\) is the locally Lipschitz continuous in \(x\in H\), we get \(\Vert y(t)v(t)\Vert _{H}\leq \Vert y(\delta T)v(\delta T)\Vert _{H}\) for \(\delta T\leq t\leq T\). Since \(y(t)\) is the solution in (3.8), \(y(\delta T)= v(\delta T)\). Finally, in the limit we get \(y(t)=v(t)\) for every \(\delta T\leq t\leq T\). So
hence \(v=\mu(\delta,u)\). Therefore \(\mu(\delta_{m},u_{m})\longrightarrow\mu (\delta,u)\) in \(C(I,H)\) as \((\delta_{m},u_{m})\longrightarrow(\delta,u)\).
In fact, we can always get a subsequence of \(\{\delta_{m}\}_{m\geq1}\) conforming to I or II. Thus we have established the continuity of \(\mu(\delta,u)\). Therefore, for every \(n\geq1\), \(S_{n}\subseteq C(I,H) \) is compact and contractible.
Step 2. \(S=\bigcap_{n\geq1}S_{n}\).
Evidently, \(S\subseteq\bigcap_{n\geq1}S_{n}\). Let \(u\in\bigcap_{n\geq1}S_{n}\). Then through definition \(u=P(f_{n})\), where \(f_{n}\in S^{q}_{\mathcal{F}_{n}(\cdot,u_{n}(\cdot))}\) (the set of all \(L^{q}(I,H)\)selectors of \(\mathcal{F}_{n}\)), \(n\geq1\). By passing to a subsequence if necessary, we may assume that \(f_{n}\longrightarrow f\) weakly in \(L^{q}(I,H)\). Then \(f\in S^{q}_{\mathcal{F}(\cdot,u(\cdot))}\) (see Theorem 3.2 of [1]). So \(u=P(f)\) with \(f\in S^{q}_{\mathcal{F}(\cdot,u(\cdot))}\) from which we conclude that \(S=\bigcap_{n\geq1}S_{n}\). Finally, by Steps 1 and 2, Hyman’s result [22] implies that S is an \(R_{\delta}\) set in \(C(I,H)\). □
An immediate conclusion of Theorem 3.1 is the following result for the multivalued problem (3.1).
Remark 3.1
Assume (H1)(H3), then for every \(t\in I\), \(S(t)=\{x(t)x\in S\}\) (the reachable set at time \(t\in I\)) is compact and connected in H.
We can establish an analogous result for the topological structure of a nonconvex evolution inclusion (i.e., \(\mathcal{F}(t,u)\) has nonconvex values) provided we strengthen our assumption on the continuity of \(\mathcal{F}(t,u)\). In fact, in this case we can see that the solution set is path connected.
To prove such a structural result for the solution set of (3.1) we need the following hypotheses on \(\mathcal{F}(t,x)\) and τ:
 (H4):

\(\mathcal{F}:I\times H\rightarrow P_{f}(H)\) is a multifunction such that

(i)
\(t\rightarrow\mathcal{F}(t,u)\) is measurable;

(ii)
for every \(u_{1},u_{2}\in H\), \(h(\mathcal{F}(t,u_{1}),\mathcal{F}(t,u_{2}))\leq z(t)\Vert u_{1}u_{2}\Vert _{H}\) a.e. with \(z(t)\in L_{+}^{q}(I)\);

(iii)
there exist a function \(b_{2}(\cdot)\in L_{+}^{q}(I)\) and a constant \(C_{5}>0\) such that
$$\bigl\vert \mathcal{F}(t,u)\bigr\vert =\sup\bigl\{ \Vert f\Vert _{H}:f\in\mathcal{F}(t,u)\bigr\} \leq b_{2}(t)+C_{5} \Vert u\Vert _{H}^{k1} \quad \forall u\in V\mbox{ a.e. for } t\in I $$with \(1\leq k< p\).

(i)
 (H2)_{1} :


(i)
\(D: V\rightarrow V^{*}\) is a bounded linear selfadjoint operator such that \(\langle Du,u\rangle_{*}\geq0\), for all \(u\in V\), a.e. for \(t\in I\);

(ii)
there exists a continuous function \(\tau:C(I,H)\rightarrow H\) such that
$$\bigl\Vert \tau(u_{1})\tau(u_{2})\bigr\Vert _{H}\leq\mathcal{L}\Vert u_{1}u_{2}\Vert _{C(I,H)}, \quad \forall u_{1},u_{2}\in C(I,H), $$where \(\mathcal{L}\in[0,1)\), \(\tau(0)=0\).

(i)
Theorem 3.2
If hypotheses (H1), (H2)_{1}, and (H4) are satisfied, then \(S\subseteq C(I, H)\) is nonempty and path connected.
Proof
The prior estimation conducted in the three part of the proof of Theorem 3.1 in [1] is still valid here. So according to it, we see that without any loss of generality we may suppose that \(\vert \mathcal{F}(t,u)\vert \leq\psi(t)\) a.e. with \(\psi(t)\in L_{+}^{q}(I)\). Let \(W_{\alpha}=\{g\in L^{q}(I,H):\Vert g(t)\Vert _{H}\leq\psi (t)\mbox{ a.e. for }t\in I\}\), and the multifunction \(N:W_{\alpha}\rightarrow P_{f}(L^{q}(I,H))\) be defined by \(N(g)=S^{q}_{\mathcal{F}(\cdot,P(g)(\cdot))}\) (here \(P(g)\) is defined as before). Next, we present a new norm on \(L^{q}(I,H)\) defined by
where r is a number satisfying \(r>T^{\frac{q}{p}}\), \(p>1\), and q is the conjugate of p. It is easy to check that the norm \(\Vert \cdot \Vert _{q}\) is the equivalent of \(\Vert \cdot \Vert _{L^{q}(I,H)}\). Denote by \(d_{q}(\cdot,\cdot )\) and \(d_{\widehat{H}}(\cdot,\cdot)\) the distance function and Hausdorff metric, respectively, generated by \(\Vert \cdot \Vert _{q}\). Let \(f,g\in W_{\alpha}\) and \(v\in N(g)\). Let \(\epsilon>0\) and define
Let \(b(t,w)=d(v(t),\mathcal{F}(t,P(f)))\Vert vw\Vert _{H}+\epsilon\). Obviously, for every \(t\in I\), \(D_{\epsilon}(t)\neq\emptyset\) and \(\operatorname {\mathbf {Gr}}D_{\epsilon}=\{(t,w)\in \operatorname {\mathbf {Gr}}\mathcal{F}(t,P(f)(t)): b(t,w)\geq0\}\). In fact, because of (H4)(i) and (ii), \((t,u)\rightarrow\mathcal{F}(t,u)\) is measurable, thus \(t\rightarrow\mathcal{F}(t,P(f)(t))\) is measurable. So, \((t,w)\rightarrow b(t,w)\) is a Carathéodory function, thus jointly measurable. Hence \(\operatorname {\mathbf {Gr}}D_{\epsilon}\in{\mathcal{B}}(I)\times {\mathcal{B}}(H)\). Apply Aumann’s selection theorem to get \(w: I\rightarrow H\) measurable such that \(w(t)\in D_{\epsilon}(t)\) a.e. for \(t\in I\). Then we find
For every \(y\in C(I,H)\), consider the following differential inclusion:
where \(f(t)\in\mathcal{F}(t, x(t))\). Let \(S(y)\) denote the solution set of (3.11), by Theorem 3.1 in [1], we have \(S(y)\neq\emptyset\). Since \(B(t,\cdot)\) is monotone, D is a continuous linear map, and \(P(f)(0)=P(g)(0)\) (\(P(f),P(g)\in S(y) \)), we have
Hence, we obtain \(\Vert P(f)(t)P(g)(t)\Vert _{H}\leq\int_{0}^{t}\Vert f(s)g(s)\Vert _{H}\,ds\) for all \(t\in I\) (see Brezis [21], p.157), then \(\Vert P(f)(t)P(g)(t)\Vert _{H}^{q}\leq T^{\frac {q}{p}}\int_{0}^{t}\Vert f(s)g(s)\Vert _{H}^{q}\,ds\). From (3.10), it follows that
Let \(\epsilon\rightarrow0\) to get \(d_{q}(v,N(f))\leq(\frac{1}{r})^{\frac{1}{q}} T^{\frac{1}{p}}\Vert f(t)g(t)\Vert _{q}\). Exchanging the roles of f and g we also get \(d_{q}(u,N(g))\leq(\frac{1}{r})^{\frac{1}{q}}T^{\frac{1}{p}}\Vert f(t)g(t)\Vert _{q}\). Thus, finally, \(d_{\widehat{H}}(N(f)(t),N(g)(t))\leq (\frac{1}{r})^{\frac{1}{q}}T^{\frac{1}{p}}\Vert f(t)g(t)\Vert _{q}\) where \((\frac {1}{r})^{\frac{1}{q}}T^{\frac{1}{p}}<1\). Set \(\Theta=\{g\in W_{\alpha}:g\in N(g)\}\). From Nadler’s fixedpoint theorem [23] we get \(\Theta\neq\emptyset\), and then from Theorem 1 in [24] we see that Θ is an absolute retract in \(L^{q}(I,H)\). Since an absolute retract is path connected, we see that Θ is path connected. Then \(P(\Theta)\) is path connected in \(C(I,H)\). However, note that \(P(\Theta)=S(y)\), to conclude that \(S(y)\) is nonempty and path connected in \(C(I,H)\). For every \(y_{1}, y_{2}\in C(I,H)\), we see that there exist \(x_{1}(t)\in S(y_{1})\), \(x_{2}(t)\in S(y_{2})\) such that
Note that
for \(i=1,2\). By (3.11), one has
for every \(y_{1}, y_{2}\in C(I,H)\). Taking the inner product over (3.15) with \(x_{1}(t)x_{2}(t)\), by (H1)(ii) and (H2)_{1}(i), then
It follows that
By (H2)_{1}(ii), we have
From (3.14), one has
Since \(\mathcal{L}\in[0,1)\), from Nadler’s fixedpoint theorem [23] and Theorem 1 in [24], we know that \(S=\{y:y\in S(y)\}\) is an absolute retract in \(C(I,H)\), which shows that S is path connected in \(C(I,H)\). The proof is completed. □
Remark 3.2
In [25], it is proved that the set of extremal solutions of a differential inclusion in \({\mathbb{R}}^{N}\) is path connected based on the Baire category method.
4 Examples
To reveal the effectiveness of the previous results, we introduce two examples. Our examples are inspired directly by the work of [1], Examples, and [26], but here our boundary value conditions more general. Furthermore, we obtain the results which are new on the structural properties of solution set for the following examples. Let \(\Omega\subset{\mathbb{R}}^{N}\) be a bounded domain with smooth boundary ∂Ω, \(I=[0, T]\), \(0< T<\infty\). Let q be the conjugate of p and \(p>1\). Let \(\Delta=\sum_{k=1}^{N}\frac{\partial^{2}}{\partial x^{2}_{k}}\). We first consider a nonlinear evolution equation with a discontinuous righthand side of the form
where \(p>1\), \(\theta_{1},\theta_{2}\in[1,1]\), and \(\vert \theta_{1}\vert +\vert \theta _{2}\vert \leq1\). In general, the function \(g(t,x,\cdot)\) is discontinuous. In order to obtain the nonemptiness of the solution set for (4.1), we change to a multivalued problem by, generally speaking, cramming the gaps at the discontinuous points of \(g(t,x,\cdot)\). To this end, we introduce the functions \(g_{1}(t,x,u)\) and \(g_{2}(t,x,u)\) defined by
For all \((t,x)\in I\times\Omega\), we can define the setvalued function \(F(t,x,u)\) by
Next, corresponding to (4.1), we consider the following evolution inclusion:
To get the topology structure of the solution set of (4.1), we need the following hypotheses on g.

(H5)
\(g:I\times\Omega\times{\mathbb{R}}\rightarrow{\mathbb {R}}\) is a function such that

(i)
if \(u:I\times\Omega\rightarrow{\mathbb{R}}\) is a measurable function, then so are \((t,x)\rightarrow g_{1}(t,x,u(t,x)), g_{2}(t,x,u(t,x))\);

(ii)
for almost all \((t,x)\in I\times\Omega\) and all \(u\in{\mathbb {R}}\), there exist \(a_{2}(t,x)\in L_{+}^{q}(I,L^{2}(\Omega))\) and \(\widehat {c}(x)\in L^{\infty}(\Omega)\) such that
$$\bigl\vert g(t,x,u)\bigr\vert \leq a_{2}(t,x)+\widehat{c}(x) \vert u\vert ^{k1}, $$with \(1\leq k< p\).

(i)
The evolution triple is, in this case, \(H=L^{2}(\Omega)\), \(V=W_{0}^{1,p}(\Omega)\), and \(V^{*}=W^{1,q}(\Omega)\). Due to the Sobolev embedding theorem, we know that all embeddings are compact. Let us define the following operator on \(W_{0}^{1,p}(\Omega)\):
By the monotone property of pLaplacian, it is easy to deduce that B satisfies our hypothesis (H1). Also we define the operator D by
Evidently, (H2)(i) holds. Next, let \(\mathcal{F}:I\times H\rightarrow P_{fc}(H)\) be defined by
Hypothesis (H5) shows that (H3) is satisfied. Since \(g_{1}(t,x,\cdot)\) is lower semicontinuous, \(g_{2}(t,x,\cdot)\) is upper semicontinuous, and so \(F(t,x,\cdot)\) is upper semicontinuous (see [15], Example 2.8, p.371]). Finally, let \(\tau:C(I,L^{2}(\Omega ))\rightarrow L^{2}(\Omega)\) be defined by \(\tau(u)=\frac{\theta_{1}}{T}\int _{0}^{T}u(t,x)\,dt+\theta_{2}u(T,x)\), we have
for every \(u_{1},u_{2}\in C(I,L^{2}(\Omega))\), which means τ satisfies our hypothesis (H2)(ii). Then we solve equivalently (4.1) as (3.1), with B, D, and \(\mathcal{F}\) as above. Finally, we can use Theorem 3.1 on problem (4.1) and obtain the following consequence.
Theorem 4.1
If hypothesis (H5) is satisfied, then the solution set S of (4.1) is nonempty and compact \(R_{\delta}\) in \(C(I,L^{2}(\Omega))\). Moreover, it is compact and connected in \(C(I,L^{2}(\Omega))\).
Second, we offer an example of a quasilinear control system, with a prior feedback. Let \(I = [0, T]\) where \(0< T<\infty\), and \(\Omega \subseteq{\mathbb{R}}^{N}\) a bounded domain with \(C^{2}\)boundary ∂Ω. Let \(D_{k}=\frac{\partial}{\partial x_{k}}\), \(D=(D_{1}, \ldots, D_{N} )\), \(\Delta=\sum_{k=1}^{N}\frac{\partial^{2}}{\partial x^{2}_{k}}\). We examine the following control system:
The following hypotheses on (4.3) are needed:

(H6)
\(B_{k}(k=1,2,\ldots,N):I\times{\Omega}\times {\mathbb{R}}\times{\mathbb{R}}^{N}\rightarrow{\mathbb{R}}\) are functions such that

(i)
\((t,x)\rightarrow B_{k}(t,x,u,\xi)\) is measurable on \(I\times{\Omega }\) for every \((u,\xi)\in{\mathbb{R}}\times{\mathbb{R}}^{N}\), \((u,\xi )\rightarrow B_{k}(t,x,u,\xi)\) is continuous on \({\mathbb{R}}\times{\mathbb{R}}^{N}\) for almost all \((t,x)\in I\times{\Omega}\);

(ii)
\(\vert B_{k}(t,x,u,\xi)\vert \leq \hat{\alpha}_{1}(t,x)+\hat{c}_{1}(x)(\vert u\vert +\vert \xi \vert )\) with a function \(\hat {\alpha}_{1}\in L^{2}_{+}(I,L^{2}(\Omega))\) and \(\hat{c}_{1}(z)\in L^{\infty }(\Omega)\) for almost all \(t\in I\);

(iii)
\(\sum_{k=1}^{N}(B_{k}(t,x,u,\xi)B_{k}(t,x,u,\xi'))(\xi_{k}\xi _{k}')\geq \vert \xi\xi'\vert ^{2} \) for almost all \(t\in I\);

(iv)
\(B_{k}(t,x,0,0)=0\) for all \((t,x)\in I\times{\Omega}\).

(i)

(H7)
The functions \(f:I\times\Omega\times{\mathbb {R}}\rightarrow{\mathbb{R}}\) satisfies

(i)
for all \(u\in{\mathbb{R}}\), \((t,x)\rightarrow f(t,x,u)\) is measurable;

(ii)
for all \((t,x)\in I\times\Omega\), \(u\rightarrow f(t,x,u)\) is continuous;

(iii)
for almost all \((t,x)\in I\times\Omega\) and all \(u\in{\mathbb {R}}\), we have
$$\bigl\vert f(t,x,u)\bigr\vert \leq\eta_{1}(t,x)+ \eta_{2}(x)\vert u\vert , $$where \(\eta_{1}\in L^{2}(I,L^{2}(\Omega))\), \(\eta_{2}\in L_{+}^{\infty}(\Omega)\).

(i)

(H8)
\(U:I\times\Omega\times{{\mathbb{R}}}\rightarrow P_{f}({\mathbb{R}})\) is a multifunction such that

(i)
for all \(u\in{\mathbb{R}}\), \((t,x)\rightarrow U(t,x,u)\) is measurable;

(ii)
for almost all \((t,x)\in I\times\Omega\) and all \(u_{1},u_{2}\in L^{2}(\Omega)\), \(d_{H}(U(t,x,u_{1}),U(t,x,u_{2}))\leq z(t)\Vert u_{1}u_{2}\Vert _{L^{2}}\) with \(z(t)\in L_{+}^{1}(I)\);

(iii)
for almost all \((t,x)\in I\times\Omega\) and all \(u\in{\mathbb{R}}\), \(\vert U(t,x,u)\vert \leq M\), where \(M>0\).

(i)
Let \((V,H,V^{*})\) be an evolution triple with compact embeddings where \(V=H_{0}^{1}(\Omega)\), \(H=L^{2}(\Omega)\), \(V^{*}=H^{1}(\Omega)\). Let \(B:I\times V\rightarrow V^{*}\), \(D: V\rightarrow V^{*}\) be the operators defined by
for all \(w\in H_{0}^{1}(\Omega)\). Let \(\tau:C(I,L^{2}(\Omega))\rightarrow L^{2}(\Omega)\) be defined by \(\tau(u)=\frac{1}{2T}\int_{0}^{T}u(t,x)\,dt\). Evidently, by hypotheses (H6), it is forthright to verify that B, D, τ satisfy hypotheses (H1), (H2)_{1}. Also, let \(\mathcal{F}:I\times L^{2}(\Omega )\rightarrow P_{f}(L^{2}(\Omega))\) be defined by
According to hypotheses (H7) and (H8), it is easy to verify that \(\mathcal{F}\) satisfies hypotheses (H4).
Convert problem (4.3) to the following equivalent form:
By applying Theorem 3.2 on problem (4.4), we obtain the following theorem.
Theorem 4.2
If hypotheses (H6)(H8) are satisfied, then the solution set S of (4.3) is nonempty and path connected in \(C(I,L^{2}(\Omega))\).
References
Zhang, J, Cheng, Y, Yuan, C, Cong, F: Properties of the solutions set for a class of nonlinear evolution inclusions with nonlocal conditions. Bound. Value Probl. 2013, 15 (2013)
Aizicovici, S, Lee, H: Nonlinear nonlocal Cauchy problems in Banach spaces. Appl. Math. Lett. 18, 401407 (2005)
Aizicovici, S, McKibben, M: Existence results for a class of abstract nonlocal Cauchy problems. Nonlinear Anal. 39, 649668 (2000)
Aizicovici, S, Staicu, V: Multivalued evolution equations with nonlocal initial conditions in Banach spaces. Nonlinear Differ. Equ. Appl. 14, 361376 (2007)
GarcíaFalset, J: Existence results and asymptotic behaviour for nonlocal abstract Cauchy problems. J. Math. Anal. Appl. 338, 639652 (2008)
GarcíaFalset, J, Reich, S: Integral solutions to a class of nonlocal evolution equations. Commun. Contemp. Math. 12, 10311054 (2010)
Paicu, A, Vrabie, II: A class of nonlinear evolution equations subjected to nonlocal initial conditions. Nonlinear Anal. 72, 40914100 (2010)
Himmelberg, C, Van Vleck, F: A note on the solution sets of differential inclusions. Rocky Mt. J. Math. 12, 621625 (1982)
DeBlasi, FS, Myjak, J: On the solution set for differential inclusions. Bull. Pol. Acad. Sci., Math. 33, 1723 (1985)
Papageorgiou, NS, Shahzad, N: Properties of the solution set of nonlinear evolution inclusion. Appl. Math. Optim. 36, 120 (1997)
Andres, J, Pavlǎcková, M: Topological structure of solution sets to asymptotic boundary value problems. J. Differ. Equ. 248, 127150 (2010)
Chen, DH, Wang, RN, Zhou, Y: Nonlinear evolution inclusions: topological characterizations of solution sets and applications. J. Funct. Anal. 265(9), 20392073 (2013)
Papageorgiou, NS, Yannakakis, N: Second order nonlinear evolution inclusions II: structure of the solution set. Acta Math. Sci. 22(1), 195206 (2006)
Mahmudov, EN: Optimization of Cauchy problem for partial differential inclusions of parabolic type. J. Dyn. Control Syst. 20, 176180 (2014)
Hu, S, Papageorgiou, NS: Handbook of Multivalued Analysis. Vol. I. Theory. Kluwer Academic, Dordrecht (1997)
Hu, S, Papageorgiou, NS: Handbook of Multivalued Analysis. Vol. II. Applications. Kluwer Academic, Dordrecht (2000)
Zeidler, E: Nonlinear Functional Analysis and Its Applications. Vol. II. Springer, Berlin (1990)
DeBlasi, FS, Myjak, J: On continuous approximations for multifunctions. Pac. J. Math. 123, 931 (1986)
Papageorgiou, NS: On measurable multifunctions with applications to random multivalued equations. Math. Jpn. 32, 437464 (1987)
Papageorgiou, NS: Existence of solutions for secondorder evolution inclusions. J. Appl. Math. Stoch. Anal. 7, 525535 (1994)
Brezis, H: Operateurs Maximaux Monotones. NorthHolland, Amsterdam (1973)
Hyman, DM: On decreasing sequences of compact absolute retracts. Fundam. Math. 64, 9197 (1969)
Nadler, S: Multivalued contraction mappings. Pac. J. Math. 30, 475488 (1969)
Bressan, A, Cellina, A, Fryszkowski, A: A class of absolute retracts in spaces of integrable functions. Proc. Am. Math. Soc. 112, 413418 (1991)
DeBlasi, FS, Pianigiani, G: Topological properties of nonconvex differential inclusions. Nonlinear Anal. TMA 20, 871894 (1993)
Xue, X, Cheng, Y: Existence of periodic solutions of nonlinear evolution inclusions in Banach spaces. Nonlinear Anal., Real World Appl. 11, 459471 (2010)
Acknowledgements
This work is partially supported by National Natural Science Foundation of China (No.11401042, 10902125, 61304054) and the Program for Liaoning Provincial Excellent Talents in University, China (LJQ2014122). The authors would like to express their sincere appreciation to the reviewer for his/her helpful comments in improving the presentation and quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YC carried out the main part of this manuscript. BN participated in the discussion and corrected the main theorem. CL provided all examples for our results. 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 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cheng, Y., Niu, B. & Li, C. Structure of solution sets to the nonlocal problems. Bound Value Probl 2016, 26 (2016). https://doi.org/10.1186/s1366101605293
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101605293