Abstract
In this paper, we study the topological properties to a \(C^{0}\)-solution set of impulsive evolution inclusions. The definition of \(C^{0}\)-solutions for impulsive functional evolution inclusions is introduced. The \(R_{\delta}\)-property of \(C^{0}\)-solution set is studied for compact as well as noncompact semigroups on compact intervals. Applying the inverse limit method, the \(R_{\delta}\)-structure on noncompact intervals is obtained.
Similar content being viewed by others
1 Introduction
Impulsive differential equations and inclusions act as excellent tools to model the real world phenomena exhibiting instantaneous change in state variables. Examples include real-time software verification [2], chemical process plants [19], mobile robotics [8], automotive control [7], nerve impulse transmission [24], etc. For some recent works on the topic, we refer the reader to [1, 13, 20, 34] and the references therein.
For the last few decades, many researchers contributed to the development of the subject by producing significant works on initial and boundary value problems of impulsive differential equations and inclusions. The study of topological properties of solution sets of differential inclusions also gained significant importance. Bothe et al. [11] discussed the existence of integral solutions on a compact interval for the differential inclusions involving equicontinuous (not compact) semigroups. Cardinali et al. [12] proved the existence of local and global mild solutions of semilinear evolution differential inclusions and then studied the compactness of the set of all global mild solutions in the case of a noncompact semigroup. In [13], Cardinali et al. focused on the compactness of the set of mild solutions to semilinear impulsive evolution differential inclusions and obtained the existence of mild solutions for semilinear impulsive evolution differential inclusion on noncompact domains in the case of a noncompact semigroup. Gabor et al. [20, 21] showed that the solution set of impulsive functional differential inclusions is an \(R_{\delta}\)-set on compact intervals, and then extended their work to the half-line by using the inverse limit method, when the semigroup is noncompact. Chen et al. [15] considered nonlinear delay evolution differential inclusions and studied the \(R_{\delta}\)-structure of \(C^{0}\)-solution set on noncompact intervals in the presence of a compact semigroup. For more results on topological properties of solution sets, we refer the reader to the monographs [10, 14, 18, 23, 26, 30, 31, 39] and a series of articles [3, 5, 6, 22, 28, 29, 32, 33, 35,36,37,38], and the references cited therein.
A strong motivation for this paper is mainly due to two reasons: there is no definition of \(C^{0}\)-solutions for impulsive nonlinear evolution inclusions in the related literature at the moment. Secondly, the topological structure of \(C^{0}\)-solutions is yet to be developed when the semigroup is noncompact.
Our aim is to investigate topological properties of the \(C^{0}\)-solution set to the impulsive differential inclusions on noncompact intervals. For a preset \(\tau>0\) and a piecewise continuous function \(\varphi:[-\tau,0]\to E\), where E is the Banach space, we study the following problem:
where \(A:D(A)\subset E\to2^{E}\) is an m-dissipative operator, \(F:\mathbb{R}^{+}\times E\times\mathcal{C}([-\tau,0];E)\rightarrow{P_{\mathrm{cv}}}(E)\) is a multivalued function (\(P_{\mathrm{cv}}(\cdot)\) is defined in the next section), \(\varphi\in\mathcal{C}([-\tau,0];E)\), \(u_{t}\in\mathcal{C}([-\tau,0];E)\) is defined by \(u_{t}(s)=u(t+s)\) (\(s\in[-\tau,0]\)) for every \(u\in\mathcal{PC}([-\tau,\infty);E)\), \(I_{m}:\mathcal{C}([-\tau,0];E)\to E\) are impulse functions, \(m\in\mathbb{N}\), \(u(t^{+})=\lim_{s\to t^{+}}u(s)\), and the time sequence \((t_{m})_{m\in\mathbb{N}}\) is an increasing sequence of given points in \([0,\infty)\) without repeated points.
This paper is organized as follows. Section 2 contains some notations, definitions, and preliminary facts from multivalued analysis, while Sect. 3 describes the concept of a \(C^{0}\)-solution for impulsive evolution inclusions. In Sect. 4.1, we prove that the solution set for inclusions (1.1) is a nonempty compact \(R_{\delta}\)-set in a compact interval, when the semigroup is compact. Then we proceed to discussing the \(R_{\delta}\)-set on a noncompact interval by the inverse limit method. Section 4.2 deals with the solution set for inclusions (1.1) in a compact interval as a nonempty compact \(R_{\delta}\)-set in the case when the semigroup is noncompact. Then we switch onto studying the \(R_{\delta}\)-structure of the solution set of (1.1) on a noncompact interval.
2 Preliminaries
In this paper, the topological dual of Banach space E is denoted by \(E^{*}\). For a multivalued operator \(A:D(A)\subset E\to2^{E}\) with the domain \(D(A)\), we write the range of A as \(R(A)=\bigcup_{x\in D(A)}Ax\).
Denote by \(L([a,b];E)\) the Banach space consisting of all Bochner integrable functions from \([a,b]\) to E equipped with the norm \(\|u\|_{L([a,b];E)}=\int_{a}^{b}|u(t)|\,dt\). Denote by \(\mathcal {C}([-\tau,0];E)\) the space of piecewise continuous functions \(x:[-\tau,0]\to E\) with a finite number of discontinuity points \(\{\hat{t}\}\) such that \(\hat{t}\ne0\) and all values \(x(\hat{t}^{+})=\lim_{\eta\to0^{+}}x(\hat{t}+\eta)\) and \(x(\hat{t}^{-})=\lim_{\eta\to0^{-}}x(\hat{t}+\eta)\) are finite. We equip the space \(\mathcal {C}([-\tau,0];E)\) with the norm \(\|x\|_{\mathcal {C}}=\int_{-\tau}^{0}|x(t)|\,dt\). Let \(\mathcal{PC}([0,b];E)\) denote the space of piecewise continuous functions \(x:[0,b]\to E\) with a finite number of discontinuity points \(\{\hat{t}\}\) and x is continuous from left and has right-hand limits at \(\{\hat{t}\}\). Note that the space \(\mathcal{PC}([0,b];E)\) is a Banach space equipped with the norm \(\|x\|_{\mathcal{PC}}=\sup\{|x(t)|: t\in[0,b]\}\). It is easy to see that \(C([0,b];E)\) is a closed subspace of it. Denote by \(\mathcal{PC}([0,\infty);E)\) the space of piecewise continuous functions \(x:[0,\infty)\to E\) with an infinite number of discontinuity points \(t_{1},t_{2},\ldots\) such that \(\lim_{m\to\infty }t_{m}=\infty\). x is continuous from left and has right-hand limits at \(t_{i}\), \(i=1,2,\ldots \) .
Let Y and Z be metric spaces. \(P(Y)\) stands for the collection of all nonempty subsets of Y. As usual, we define \(P_{\mathrm{cl}}(Y)=\{\varOmega\in P(Y), \varOmega\mbox{ is closed}\}\), \(P_{\mathrm{cp}}(Y)=\{\varOmega\in P_{\mathrm{cl}}(Y), \varOmega\mbox{ is compact}\}\), \(P_{\mathrm{cv}}(Y)=\{\varOmega\in P_{\mathrm{cl}}(Y), \varOmega\mbox{ is convex}\}\), \(P_{\mathrm{cp},\mathrm{cv}}(Y)=\{\varOmega\in P_{\mathrm{cl}}(Y), \varOmega \mbox{ is compact and convex}\}\), \(\operatorname{co}(\varOmega)\) (resp., \(\overline{\operatorname{co}}(\varOmega)\)) be the convex hull (resp., convex closed hull in Ω) of the subset Ω.
For the multimap \(\mathcal{F}:Y \rightarrow P(Z)\), we denote the graph of \(\mathcal{F}\) as \(\operatorname{Gra}(\mathcal{F})\). If Ω is a subset of Z, then \(\mathcal{F}^{-1}(\varOmega)=\{y\in Y: \mathcal{F}(y)\cap\varOmega\neq \emptyset\}\) defines the complete preimage of Ω under \(\mathcal{F}\). We call \(\mathcal {F}\) to be closed if \(\operatorname{Gra}(\mathcal{F})\) is closed in \(Y\times Z\); quasi-compact if \(\mathcal{F}(\varOmega)\) is relatively compact for any compact subset \(\varOmega\subset Y\); upper semi-continuous (u.s.c.) if \(\mathcal{F}^{-1}(\varOmega)\) is closed for any closed subset \(\varOmega \subset Z\); and weakly upper semi-continuous (weakly u.s.c.) if \(\mathcal{F}^{-1}(\varOmega)\) is closed for any weakly closed subset \(\varOmega\subset Z\).
Theorem 2.1
([27, p. 278])
Let \((X,\varSigma)\) be a measure space and E be a separable Banach space. Then a function \(f:X\rightarrow E\) is measurable if and only if, for every \(x'\in E^{*}\), the function \(x'\circ f:X\rightarrow\mathbb{R}\) is measurable with respect to Σ and the Borel σ-algebra in \(\mathbb{R}\).
Lemma 2.1
([17])
Let E be reflexive. A subset \(K\subset{L}([0,b];E)\) is weakly relatively sequentially compact if and only if it is uniformly integrable.
Lemma 2.2
([25])
Let Y and Z be metric spaces and \(\mathcal{F}:Y\rightarrow{P}_{\mathrm{cp}}(Z)\) be a closed quasi-compact multimap. Then \(\mathcal{F}\) is u.s.c.
Lemma 2.3
([11])
Let \(\mathcal{F}:D\subset Y\rightarrow{P}(Z)\) be a multimap with weakly compact and convex values. Then \(\mathcal{F}\) is weakly u.s.c. if and only if \(\{x_{n}\}\subset D\) with \(x_{n}\rightarrow x_{0}\in D\) and \(y_{n}\in\mathcal{F}(x_{n})\) implies \(y_{n}\rightharpoonup y_{0}\in \mathcal{F}(x_{0})\), up to a subsequence.
Lemma 2.4
([23])
Let \(\mathcal{F}:Y\rightarrow{P}_{\mathrm{cp}}(Z)\) be an u.s.c. multimap. If \(D\subset Y\) is a compact set, then its image \(\mathcal{F}(D)\) is a compact subset of Z.
Recall that X is an absolute retract (AR) space if, for each metric space Y and each \(\varOmega\subset P_{\mathrm{cl}}(Y)\), there exists a continuous function \(h:\varOmega\rightarrow X\), which can be extended to a continuous function \(\widetilde{h}:Y\rightarrow X\). X is an absolute neighborhood retract (ANR) space if, for each metric space Y, each \(\varOmega\subset P_{\mathrm{cl}}(Y)\), and a continuous function \(h:\varOmega\rightarrow X\), there exist a neighborhood \(U\supset\varOmega\) and a continuous extension \(\widetilde{h}:U\rightarrow X\) of h.
Definition 2.1
A nonempty subset Ω of a metric space is said to be contractible if there exist a point \(y_{0}\in\varOmega\) and a continuous function \(h:[0,1]\times\varOmega\rightarrow\varOmega\) such that \(h(0,y)=y_{0} \) and \(h(1,y)=y\) for every \(y\in\varOmega\).
Definition 2.2
A subset Ω of a metric space is called an \(R_{\delta}\)-set if there exists a decreasing sequence \(\{\varOmega_{n}\}\) of compact and contractible sets such that
Define the Hausdorff measure of noncompactness β on each bounded subset Ω of X by
where \(B_{r}(x_{i})\) is a ball of radius ≤r centered at \(x_{j}\), \(j=1,2,\ldots, m\). It is easy to see that the Hausdorff measure of noncompactness is monotone, nonsingular, and regular.
The following β-estimate, which is similar to that of [25, Theorem 4.2.3], will be used in the sequel.
Lemma 2.5
Assume that E is a separable Banach space. Let \(\mathcal {F}:[0,b]\rightarrow P(E)\) be an \(L^{p}\ (p\geq1)\)-integrable bounded multifunction such that
for a.e. \(t\in[0,b]\), where \(\zeta(t)\in L^{p}([0,b];\mathbb{R}^{+})\). Then
for all \(t\in[0,b]\). In particular, if the multifunction \(\mathcal {F}:[0,b]\rightarrow P_{\mathrm{cp}}(E)\) is measurable and \(L^{p}\)-integrably bounded, then the function \(\beta (\mathcal{F}(\cdot))\) is integrable and, moreover,
for all \(t\in[0,b]\).
Now we state the classical Gronwall inequality, which can be found in [16].
Lemma 2.6
If
where all the functions involved are continuous on \([t_{0},T)\), \(T\le \infty\), and \(k(t)\ge0\), then \(x(t)\) satisfies
If, in addition, \(h(t)\) is nondecreasing, then
Theorem 2.2
([11])
Let E be a complete metric space, and \(\emptyset\neq\varOmega\subset E\). Then the following results are equivalent:
-
(i)
Ω is an \(R_{\delta}\)-set;
-
(ii)
Ω is an intersection of a decreasing sequence \(\{\varOmega_{n}\}\) of closed contractible spaces with \(\beta(\varOmega_{n})\rightarrow0\);
-
(iii)
Ω is compact and absolutely neighborhood contractible, i.e., Ω is contractible in each neighborhood in \(Y\in \mathit{ANR}\).
Definition 2.3
A multimap \(\mathcal{F}:X\to P_{\mathrm{cp}}(E)\) is said to be condensing with respect to an MNC β (β-condensing) if, for every bounded set \(\varOmega\subset E\) that is not relatively compact, we have
Let \(\varOmega\subset P_{\mathrm{cv}}(E)\), \(U\subset\varOmega\) be a bounded (relatively) open set, β be a monotone nonsingular MNC in E, and \(\mathcal{F}: \bar{U}_{\varOmega}\to P_{\mathrm{cv}}(\varOmega)\) be an u.s.c. β-condensing multimap such that \(x\notin\mathcal {F}(x)\) for all \(x\in\partial_{\varOmega}U\), where \(\bar{U}_{\varOmega}\) and \(\partial _{\varOmega}U\) denote the relative closure and the relative boundary of the set U.
In the proof of the subsequent results, we shall also use the following fixed point theorem for a multimap.
Theorem 2.3
([15, Theorem 2.2])
Let E be a Banach space and \(\varOmega\subset E\) be a nonempty compact convex subset. If the multimap \(\mathcal{F}:\varOmega\to P_{\mathrm{cp}}(\varOmega)\) is u.s.c. with contractible values, then \(\mathcal{F}\) has a fixed point.
3 Evolution inclusions governed by m-dissipative operators
Let \(x,y\in E\) and \(h\in\mathbb{R}\setminus \{0\}\). Set
Notice that the limit of \([x,y]_{h}\) exists for \(h\to0\). Then we write
and
For any \(x,y,z\in E\) and \(\lambda>0\), \([x,y]_{+}\) and \([x,y]_{-}\) satisfy the following properties:
-
(i)
\([\lambda x,y]_{+}=[x,y]_{+}\);
-
(ii)
\(|[x,y]_{+}|\le|y|\);
-
(iii)
\([x,y]_{+}=-[x,-y]_{-}=-[-x,y]_{-}\);
-
(iv)
\([x,y+z]_{+}\le[x,y]_{+}+[x,z]_{+}\) and \([x,y+z]_{-}\ge[x,y]_{-}+[x,z]_{-}\).
Definition 3.1
\(A:D(A)\subset E\to E\) is m-dissipative if \(R(I-\lambda A)=E\) for all \(\lambda>0\) and A is dissipative, that is,
Consider the following impulsive functional differential inclusions:
Let us refer to (3.1) by \((\mathrm{IFDI};\varphi,f)\).
Since A is dissipative, we have \([u(t)-x,y-Au(t)]_{+}\geq0\) for \(x\in D(A)\), \(y\in Ax\). Then
So
By the property of \([\cdot,\cdot]_{+}\),
When \(t_{i-1}\leq s\leq t\leq t_{i}\), integrating over \(s,t\), we have
When \(t_{j-1}\leq s< t\leq t_{j+N}\) (\(N\in\mathbb{N}^{+}\)), integrating over s, t, we have
Then
Therefore,
Let \(\Delta_{j}=\{t_{j,i}\}_{i=1}^{k_{j}}\), \(j=0,1,2,\ldots,N\), be partitions of the interval \(J_{j}\), \(j=0,1,\ldots, N\), where
and
Let \(u_{j,i}\in E\) and \(f_{j,i}\in E\), \(j=0,1,2,\ldots,N\), \(i=0,1,2,\ldots,n_{j}\), satisfy the difference inclusion
\(j=0,1,2,\ldots,N\), \(i=1,2,\ldots,k_{j}\). Let \(\lambda>0\) and suppose further that the following conditions hold:
-
(i)
\(\max_{0\le j\le N}\max_{1\le i\le k_{j}}(t_{j,i}-t_{j,i-1})\le\lambda\);
-
(ii)
\(\|\varphi_{0}-\varphi\|\le\lambda\);
-
(iii)
\(\sum_{j=0}^{N}\sum_{i=1}^{k_{j}}\int_{t_{j,i-1}}^{t_{j,i}}|f_{j,i}-f(t)|\,dt\le\lambda\).
Define a function \(u_{\lambda}:[0,T]\to E\) as follows:
and call it a λ-approximate solution of problem \(( \mathrm{IFDI};\varphi,f)\) on the interval \([-\tau,T]\).
Definition 3.2
Let A be m-dissipative. If there exists a sequence \(\lambda_{n}>0\) and a \(\lambda_{n}\)-approximate solution such that \(\lambda_{n}\to0\) and \(u_{n}(t)\to u(t)\) uniformly on \([0,T]\) as \(n\to\infty\), then u is said to be a limit solution of (3.1).
In the following, we seek the definition of \(C^{0}\)-solution of (3.1) on \([0,T]\). To this aim, let us observe that: whenever u is a strong solution of (3.1) on \([0,T]\), we have
Since A is dissipative, therefore
for each \(x\in D(A)\), \(y\in Ax\) and for \(\tau\neq t_{i}\), \(i=1,2,\ldots,N-1\). By the property of \([\cdot,\cdot]_{+}\), we have
for each \(x\in D(A)\), \(y\in Ax\) and for \(\tau\neq t_{i}\), \(i=1,2,\ldots, N-1\). Obviously, \(\tau\to|u(\tau)-x|\) is piecewise absolutely continuous on \([0,T]\), and hence it is almost everywhere differentiable on \([0,T]\). Then, for each \(x\in D(A)\), \(y\in Ax\) and for \(\tau\neq t_{i}\), \(i=1,2,\ldots, N-1\), we have
Integrating both sides of the above inequality over \([s,t]\subset[0,T]\), we get
Definition 3.3
Let A be m-dissipative. By a \(C^{0}\)-solution of (3.1) on \([0,T]\), we mean that an element \(u\in\mathcal{PC}([0,T];E)\), \(u(t)=\varphi(t)\), \(t\in[-\tau,0]\), \(\varphi(0)\in D(A)\), \(u(t)\in \overline{D(A)}\) for each \(t\in[0,T]\), and satisfies (3.2) for any \((x,y)\in G(A)\) and \(0\leq s\leq t\leq T\).
Remark 3.1
In particular, a \(C^{0}\)-solution also satisfies the inequality
for any \((x,y)\in G(A)\) and \(0\leq s\leq t\leq T\).
Now we are in a position to present an important theorem which relates a limit solution and a \(C^{0}\)-solution.
Theorem 3.1
Let A be dissipative. Let \(f\in{L}([0,T];E)\), \(u(t)\) be a limit solution of \((\mathrm{IFDI};\varphi,f)\), and \(v(t)\) be a \(C^{0}\)-solution of \((\mathrm{IFDI};\phi,g)\). Then
for any \(s,t\in[0,T]\) with \(s\leq t\).
Proof
Let \(u(t)\) be a limit solution of \((\mathrm{IFDI};\varphi,f)\) and \(v(t)\) be a \(C^{0}\)-solution of \((\mathrm{IFDI};\phi,g)\).
By Definition 3.2, there exist a sequence \(\lambda_{n}>0\) and a \(\lambda_{n}\)-approximate solution such that \(\lambda_{n}\to0\) and \(u_{n}(t)\to u(t)\) uniformly on \([0,T]\) as \(n\to\infty\). Let \(u_{n}(t)\) satisfy the difference equation
We set \(\eta_{j,i}^{n}=t_{j,i}^{n}-t_{j,i-1}^{n}\), \(j=0,1,2,\ldots,N\), \(i=1,2,\ldots,k_{j}\).
Let \(0\leq s\leq t\leq T\). Since \(x_{j,i}^{n}\in D(A)\) and \((\eta_{j,i}^{n})^{-1}(x_{j,i}^{n}-x_{j,i-1}^{n})-f_{j,i}^{n}\in Ax_{j,i}^{n}\), the definition of \(C^{0}\)-solutions yields
By the property of \([\cdot,\cdot]_{+}\), we have
In consequence, we obtain
Adding the above inequalities for \(j=\kappa,\kappa+1,\ldots,\iota\), \(i=1,2,\ldots,k_{j}\), we get
Thus
where \(f_{n}(\cdot)\) is an integrable function defined almost everywhere on \((0,T)\) by setting
Considering the first part of the right-hand side of the above inequality, we obtain
We suppose that \(t_{\kappa,0}^{n}\to\alpha\) and \(t_{\iota,k_{\iota }}^{n}\to\beta\) as \(n\to\infty\). Then, in the limit \(n\to\infty\), we have
where we have used the Lebesgue dominated convergence theorem and the u.s.c. of the functional \([\cdot,\cdot]_{+}\).
Define
We now consider the regularizations \(\varPhi_{n}\) and \(\varUpsilon_{n}\) given by
where \(\rho(t,s)=n^{2}\rho(nt)\rho(ns)\), \(\rho\in D(\mathbb{R})\), \(\rho\geq0\), \(\operatorname{supp} \rho\in[-1,+1]\), \(\int\rho(\xi)\,d\xi=1\), and \(\rho(t)=\rho(-t)\) for all t.
Let \(\frac{1}{n}\leq\beta\leq\alpha\leq T\) and \(\frac{1}{n}\leq s\leq t\leq T\). Then the above inequality implies that
As
we have
and
Integrating over s, t, we get
which, in the limit \(n\to\infty\), yields
Consequently, we get
□
In view of Theorem 3.1, we have the following type of uniqueness result for \(C^{0}\)-solutions.
Corollary 3.1
Let A be dissipative. Let \(f\in{L}([0,T];E)\), and \(u(t)\) be a limit solution of \((\mathrm{IFDI};\varphi,f)\) on \([0,T]\). Then \(u(t)\) is the unique \(C^{0}\)-solution of \((\mathrm{IFDI};\varphi,f)\) on \([0,T]\).
Proof
Let \(v\in D(A)\) and \(\tilde{v}\in Av\). We set \(v(t)\equiv v\) and \(g(t)\equiv-\tilde{v}\) for \(t\in[0,T]\). Then we can easily check that \(v(t)\) is a \(C^{0}\)-solution of \((\mathrm{IFDI};\phi,g)\) since A is dissipative.
Therefore inequality (3.4) with \(u(t)\) and \(v(t)\) implies that
for \(0\leq s\leq t\leq T\). Thus \(u(t)\) is an integral solution of \((\mathrm{IFDI};u_{0},f)\).
Let \(v(t)\) be a \(C_{0}\)-solution of \((\mathrm{IFDI};u_{0},f)\) on \([0,T]\). Then, by (3.4), we have
When \(0\leq t\leq t_{1}\), it is easy to deduce that \(|u(t)-v(t)|=0\), that is, \(u(t)=v(t)\); when \(t_{1}\leq t\leq t_{2}\), we also obtain \(u(t)=v(t)\). In view of the foregoing arguments, it follows that \(u(t)=v(t)\) for \(t\in[0,T]\). This completes the proof of the corollary. □
Let \(x\in E_{0}:=\overline{D(A)}\), \(c\in[a,b)\), and \(f\in L([a,b]; E)\). We denote by \(u(\cdot,c,x,f)\) the unique \(C^{0}\)-solution \(u:[c,b]\to E_{0}\) of the equation
on \([c,b]\) with \(u(c)=x\). We also define the unique \(C^{0}\)-solution \(u:[-\tau,T]\to E_{0}\) of (3.1) by \(u(\cdot,[0,T],\varphi,f)\) which satisfies \(u(t)=\varphi(t)\) for \(t\in[-\tau,0]\). Let
Then \(\{S(t)\}_{t\ge0}\) is a contraction semigroup on \(E_{0}\) (see Barbu [9]) and is generated by A.
The semigroup \(\{S(t)\}_{t\ge0}\) is called compact if \(S(t)\) is a compact operator for each \(t>0\).
Definition 3.4
An m-dissipative operator \(A:D(A)\subset E\to P(E)\) is called of compact type if for each \(a< b\) and each sequence \(\{f_{n},u_{n}\}\) in \(L([a,b];E)\times C([a,b];E)\) such that \(u_{n}\) is a \(C^{0}\)-solution on \([a,b]\) of the evolution inclusion
\(f_{n}\rightharpoonup f\) in \(L([a,b];E)\) and \(u_{n}\to u\) in \(C([a,b];E)\), then u is a \(C^{0}\)-solution on \([a,b]\) of the limit problem
Lemma 3.1
(see [31, Corollary 2.3.1])
Let \(X^{*}\) be uniformly convex and A be an m-dissipative operator generating a compact semigroup. Then A is of compact type.
The following compactness criterion is an immediate consequence of Theorem 2.3.3 of [31].
Lemma 3.2
Let A be an m-dissipative operator generating a compact semigroup. In addition, it is assumed that B is a bounded set in \(E_{0}\) and \(\mathscr{F}\) is uniformly integrable in \(L([t_{m-1},t_{m}]; E)\). Then, for each \(c\in[t_{m-1},t_{m}]\), the \(C^{0}\)-solution set
is relatively compact in \(C([c,t_{m}]; E)\). Moreover, if B is relatively compact, then the \(C^{0}\)-solution set is relatively compact in \(C([t_{m-1},t_{m}]; E)\).
Next, for each \(\xi\in\mathcal{C}([-\tau,t_{m-1}];E_{0})\) and \(f\in L([t_{m-1},t_{m}];E)\), we define the mapping \(S_{\xi}^{m}:L([t_{m-1},t_{m}];E)\to\mathcal {PC}([-\tau,t_{m}];E_{0})\) by
Clearly, \(S_{\xi}^{m}(f)\) is the unique \(C^{0}\)-solution for the evolution inclusion
The following result is an immediate consequence of Lemmas 3.1 and 3.2.
Lemma 3.3
Let \(E^{*}\) be uniformly convex and A be an m-dissipative operator generating a compact semigroup. Then the following results hold.
-
(i)
If \(\mathscr{F}\) is uniformly integrable in \(L([t_{m-1},t_{m}];E)\) and \(\mathcal{B}\in\mathcal{C}([-\tau,t_{m}];E_{0})\) is relatively compact, then \(S_{\mathcal{B}}^{m}(\mathscr{F})\) is relatively compact in \(\mathcal{PC}([-\tau,t_{m}];E)\).
-
(ii)
For each sequence \(\{(f_{n},u_{n})\}_{n=1}^{\infty}\) in \(L([t_{m-1},t_{m}];E)\times\mathcal{PC}([-\tau,t_{m}];E_{0})\) such that \(u_{n}=S_{\xi}^{m}(f_{n})\), \(n\ge1\), \(f_{n}\rightharpoonup f\) and \(u_{n}\to u\), we have that \(u=S_{\xi}^{m}(f)\).
Lemma 3.4
([11])
Let E be a real Banach space and A be an m-dissipative operator generating an equicontinuous semigroup. Then the following results are valid.
-
(i)
If \(\mathscr{F}\) is uniformly integrable in \(L([t_{m-1},t_{m}];E)\), then \(S_{\xi}^{m}(\mathscr{F})\) is equicontinuous in \(\mathcal{PC}([-\tau,t_{m}];E)\).
-
(ii)
If \(X^{*}\) is uniformly convex and for each sequence \(\{f_{n} \}\subset L([t_{m-1},t_{m}];E)\) such that \(|f_{n}(t)|\le\psi(t)\) a.e. on J for all \(n\ge1\) with some \(\psi\in{L}([t_{m-1},t_{m}])\), then
$$ \beta\bigl(\bigl\{ S_{\xi}^{m}(f_{n}) (s):n\ge1\bigr\} \bigr)\le \int_{t_{m-1}}^{t} \beta\bigl(\bigl\{ f_{n}(s):n\ge1\bigr\} \bigr)\,ds \quad \textit{on }[t_{m-1},t_{m}]. $$(3.5)In addition, if \(f_{n}\rightharpoonup f\) in \(L([t_{m-1},t_{m}];E)\) and \(S_{\xi}^{m}(f_{n})\to g\) in \(\mathcal{PC}([-\tau,t_{m}];E)\), then \(g=S_{\xi}^{m}(f_{n})\).
Lemma 3.5
(see [31, Theorem 2.3.3])
Let E be a real Banach space and A be an m-dissipative operator. If \(\mathscr{F}\) is uniformly integrable in \(L([t_{m-1},t_{m}];E)\), then the following conditions are equivalent:
-
(i)
The set \(S_{\xi}^{m}(\mathscr{F})\) is relatively compact in \(\mathcal{PC}([-\tau,t_{m}];E)\).
-
(ii)
There exists a dense subset D in \([t_{m-1},t_{m}]\) such that, for \(\forall t\in D\), the set \(S_{\xi}^{m}(\{f_{n}\})(t)\) is relatively compact in E.
From Lemmas 3.3 and 3.5, we deduce the following statement.
Lemma 3.6
Let \(E^{*}\) be uniformly convex and A be an m-dissipative operator generating an equicontinuous semigroup. For each sequence \(\{(f_{n},u_{n})\}_{n=1}^{\infty}\) in \(L([t_{m-1},t_{m}];E)\times\mathcal {PC}([-\tau,t_{m}];E_{0})\), we have that \(u_{n}=S_{\xi}^{m}(f_{n})\), \(n\ge1\), \(f_{n}\rightharpoonup f\) and \(u_{n}\rightarrow u\). If \(\{f_{n}\}\) is uniformly integrable and there exists a dense subset D in \([t_{m-1},t_{m}]\) such that, for each \(t\in D\), the set \(S_{\xi}^{m}(\{f_{n}\})(t)\) is relatively compact in E, then \(u=S_{\xi}^{m}(f)\).
4 Topological properties of solution sets
This section is concerned with the study of existence of \(C^{0}\)-solution and \(R_{\delta}\)-structure of solution sets for problem (1.1) on compact intervals, and \(R_{\delta}\)-structure of solution sets for problem (1.1) on noncompact intervals.
In the sequel, we need the following assumptions.
-
(A1)
\(A:D(A)\subset E\to2^{E}\) is an m-dissipative operator with \(0\in A0\). In addition, \(E_{0}\) is convex and \(E^{*}\) is uniformly convex.
-
(A2)
The semigroup \(\{S(t)\}_{ t\ge0}\) is a compact semigroup.
-
(A3)
The semigroup \(\{S(t)\}_{ t\ge0}\) is immediately norm continuous, i.e., it is norm continuous for \(t>0\).
-
(F1)
\({F}(t,\cdot,\cdot):E\times\mathcal {C}([-\tau,0];E)\to {P}_{\mathrm{cv}}(E)\) is weakly u.s.c. for a.e. \(t\in\mathbb {R}^{+}\) and \(F(\cdot, x,v):\mathbb {R}^{+}\to{P}_{\mathrm{cv}}(E)\) has a strongly measurable selection for each \((x,v)\in E_{0}\times \mathcal {C}([-\tau,0];E_{0})\).
-
(F2)
There exists a function \(\alpha\in L^{1}_{\mathrm{loc}}(\mathbb {R}^{+};\mathbb {R}^{+})\) such that
$$\bigl\vert {F}(t,x,v) \bigr\vert \le\alpha(t) \bigl(1+ \vert x \vert + \|v\|_{\mathcal {C}}\bigr) $$for a.e. \(t\in\mathbb {R}^{+}\) and each \((x,v)\in E_{0}\times\mathcal {C}([-\tau,0];E_{0})\).
-
(F3)
For each \(\epsilon>0\) and each bounded set \({\mathcal {U}}\times D\subset E_{0}\times{\mathcal {C}}([-\tau, 0];E_{0})\), there exist \(\delta>0\) and a function \(\mu\in L^{1}_{\mathrm{loc}}(\mathbb {R}^{+};\mathbb {R}^{+})\) such that
$$\beta\bigl({F}\bigl(t,{\mathcal {U}},O_{\delta}(D)\bigr)\bigr)\le\mu(t) \Bigl(\beta({\mathcal {U}})+ \sup_{-\tau\le\theta\le0}\beta\bigl(O_{\epsilon} \bigl(D(\theta)\bigr)\bigr) \Bigr)\quad \mbox{for a.e. } t\ge0, $$where \(O_{\delta}(D)\) denotes a δ-neighborhood of D defined as \(O_{\delta}(D):=\{z\in\mathcal{C}([-\tau,0];E):\operatorname{dist}(z,D)<\delta\}\).
For a fixed \(m>0\), we first consider the inclusion problem
For \(z\in\mathcal{PC}([0,t_{m}];E_{0})\), we can define \(z_{i}\in C([t_{i},t_{i+1}];E_{0})\), \(i=0,1,\ldots,m-1\), with \(z_{i}(t)=z(t)\) on \((t_{i},t_{i+1}]\) and \(z_{i}(t_{i})=z(t_{i}^{+})\). For every set \(K\subset\mathcal{PC}([0,t_{m}];E_{0})\), we denote by \(K_{i}\), \(i=0,1,\ldots,m-1\), the set \(K_{i}=\{z_{i}: z\in K\}\). The following result is obvious.
Proposition 4.1
A set \(K\in\mathcal{PC}([0,t_{m}];E_{0})\) is relatively compact in \(\mathcal{PC}([0,t_{m}];E_{0})\) if and only if each set \(K_{i}\), \(i=0,1,\ldots,m-1\) is relatively compact in \(C([t_{i},t_{i+1}];E_{0})\).
For any \(z\in C([t_{k-1},t_{k}];E)\), we define the function \(z[\xi]:[-\tau,t_{k}]\to E\) as
where \(\xi\in\mathcal {C}([-\tau,t_{k-1}];E)\) is a fixed function. Letting \(C([t_{k-1},t_{k}];E)[\xi]=\{z[\xi]: z\in C([t_{k-1}, t_{k}];E)\}\), we define a multivalued operator
by
The following lemma will be used later.
Lemma 4.1
([15, Lemma 3.1])
Let E be reflexive, and let the multimap F satisfy (F1) and (F2). Then \(P_{{F}}^{k,\xi}\) is weakly u.s.c. with nonempty, convex, and weakly compact values.
4.1 Compact operator case
Lemma 4.2
([15, Lemma 3.3])
Let \(\mathcal{D}=E_{0}\times\mathcal{C}([-\tau,0];E_{0})\) and hypotheses (F2) and (F4) be satisfied. Then there exists a sequence \(\{{F}_{n}\}:[0,b]\times\mathcal{D}\rightarrow P_{\mathrm{cv}}(E)\) such that
-
(i)
\({F}(t,u,v)\subset\cdots\subset{F}_{n+1}(t,u,v)\subset {F}_{n}(t,u,v)\subset\cdots\subset\overline{\operatorname{co}}({F}(t,B_{3^{1-n}}(u,v)))\), \(n\geq1\), for each \(t\in[0,b]\) and \(x\in E\);
-
(ii)
\(|{F}_{n}(t,u,v)|\leq\alpha(t)(3+|u|+\|v\|_{\mathcal {C}})\), \(n\geq 1\), for a.e. \(t\in[0,t_{m}]\) and each \((u,v) \in\mathcal{D}\);
-
(iii)
there exists \(X\subset[0,t_{m}]\) with \(\operatorname{mes}(X)=0\) such that, for each \(x^{*}\in E^{*}\), \(\epsilon>0\) and \((u,v) \in\mathcal {D}\), we can find \(N>0\) such that, for all \(n\geq N\),
$$ x^{*}\bigl({F}_{n}(t,u,v)\bigr)\subset x^{*}\bigl({F}(t,u,v)\bigr)+(- \epsilon,\epsilon); $$ -
(iv)
\({F}_{n}(t,\cdot,\cdot): \mathcal{D}\rightarrow P_{\mathrm{cv}}(E)\) is continuous for a.e. \(t\in[0,t_{m}]\) with respect to Hausdorff metric for each \(n\geq1\);
-
(v)
for each \(n\geq1\), there exists a selection \(g_{n}:[0,b]\times\mathcal{D}\rightarrow E\) of \({F}_{n}\) such that \(g_{n}(\cdot,u,v)\) is measurable for each \((u,v) \in\mathcal {D}\), and for any compact subset \(\mathcal{D}'\subset\mathcal{D}\), there exist constants \(C_{V}>0\) and \(\delta>0\) such that the estimate
$$ \bigl\vert g_{n}(t,u_{1},v_{1})-g_{n}(t,u_{2},v_{2}) \bigr\vert \leq C_{V}\alpha(t) \bigl( \vert u_{1}-u_{2} \vert +\|v_{1}-v_{2}\| _{\mathcal{C}}\bigr) $$holds for a.e. \(t\in[0,b]\) and each \((u_{1},v_{1}),(u_{2},v_{2})\in V\) with \(V:=(\mathcal{D}'+B_{\delta}(0))\cap\mathcal{D}\);
-
(vi)
\({F}_{n}\) satisfies condition (F2) with \({F}_{n}\) instead of F for each \(n\geq1\) provided that E is reflexive.
We denote by \(\varTheta^{m}(\varphi)\) the set of all \(C^{0}\)-solutions of inclusion (4.1).
Theorem 4.1
Assume that (A1), (A2), (F1), and (F2) are satisfied. If \(I_{k}:E\to E_{0}\), \(k=1,\ldots,m-1\), are continuous, then for every \(\varphi\in\mathcal {C}([-\tau,0];E)\), \(\varTheta^{m}(\varphi)\) is a nonempty and compact subset of \(\mathcal{PC}([-\tau,t_{m}];E)\). Moreover, it is an \(R_{\delta}\)-set.
Proof
We complete the proof in four steps.
Step 1. Let us consider the non-impulsive inclusion problem
Set
where \(\psi_{\varphi}\in C([0,t_{1}];\mathbb{R}^{+})\) is the unique solution of the integral equation
Define a multivalued mapping \(\varGamma^{1}\) on \(K_{1}\) by setting
Observe that \(P_{{F}}^{1,\varphi}(u)\neq\emptyset\) for every \(u\in K_{1}\) by Lemma 4.1 and hence \(\varGamma^{1}(u)\subset\mathcal {PC}([-\tau,t_{1}]; E_{0})\). Also, \(\{z|_{[-\tau,0]}: z\in\varGamma^{1}(u)\}=\{\varphi\}\) for all \(u\in K_{1}\). Moreover, taking \(f\in P_{{F}}^{1,\varphi}(x)\) with \(u\in K_{1}\), for every \(t\in[0,t_{1}]\), it follows from (F2) that
where we have used the condition \(0\in A0\) and the fact \(\|u_{t}\| _{\mathcal{C}}\le\psi_{\varphi}(t)\) for every \(t\in[0,t_{1}]\) and \(u\in K_{1}\). Hence we deduce that \(\varGamma^{1}(u)\subset K_{1}\) for every \(u\in K_{1}\).
Next we proceed to verifying that \(\varGamma^{1}\) is u.s.c. on \(K_{1}\). In view of Lemma 2.2, it suffices to show that \(\varGamma^{1}\) is quasi-compact and closed. For all \(f\in P_{{F}}^{1,\varphi}(K_{1})\), using (F2), we obtain
which implies that \(P_{{F}}^{1,\varphi}(K_{1})\) is integrably bounded and thus uniformly integrable. In consequence, we obtain by Lemma 3.3(i) that \(\varGamma^{1}(K_{1})\) (\(=S^{1}_{\varphi }(P_{{F}}^{1,\varphi}(K_{1}))\)) is relatively compact in \(\mathcal{PC}([-\tau,t_{1}];E)\). This implies that \(\varGamma^{1}\) is quasi-compact.
Let \(\{(u_{n},v_{n})\}\) be a sequence in \(G(\varGamma^{1})\) such that \((u_{n},v_{n})\to(u,v)\) in \(\mathcal{PC}([-\tau,t_{1}];E)\times\mathcal {PC}([-\tau,t_{1}];E)\). Since \(v_{n}\in\varGamma^{1}(u_{n})\), there exists a sequence \(\{f_{n}\}\in L([0,t_{1}];E)\) satisfying \(f_{n}\in P_{{F}}^{1,\varphi}(u_{n})\) and \(v_{n}=S^{1}_{\varphi}(f_{n})\). Noticing that \(P_{{F}}^{1,\varphi}\) is weakly u.s.c. with convex, weakly compact values due to Lemma 4.1, we deduce by Lemma 2.3 that there exist \(f\in P_{{F}}^{1,\varphi}(u)\) and a subsequence of \(\{f_{n}\}\), also denoted by \(\{f_{n}\}\), such that \(f_{n}\rightharpoonup f\) in \(L([0,t_{1}];E)\). From this and Lemma 3.3(ii), it follows that \(v=S^{1}_{\varphi}(f)\) and hence \(v\in\varGamma^{1}(u)\). This shows that \(\varGamma^{1}\) is closed.
Consider the closed convex hull of \(\varGamma^{1}(K_{1})\) given by
Clearly \(\mathcal{K}_{1}\) is a compact, convex set in \(\mathcal{PC}([-\tau,t_{1}];E)\) and \(\varGamma^{1}(\mathcal {K}_{1})\subset\mathcal{K}_{1}\).
Next, we show that \(\varGamma^{1}\) has a fixed point in \(\mathcal{K}_{1}\). By Theorem 2.3, it suffices to show that \(\varGamma^{1}\) has compact and contractible values. Given \(u\in\mathcal{K}_{1}\), we can easily get that \(\varGamma^{1}(u)\) is compact in as much as the closedness and quasi-compactness of \(\varGamma^{1}\). Set \(f^{*}\in P_{F}^{1,\varphi}(u)\) and \(u^{*}=S^{1}_{\varphi}(f^{*})\), and define a function \(h:[0,1]\times \varGamma^{1}(u)\rightarrow\varGamma^{1}(u)\) as follows:
for each \((r,v)\in[0,1]\times\varGamma^{1}(u)\), where \(u(\cdot,rt_{1},v(rt_{1}),f^{*})\), as prescribed in Sect. 3, is the unique \(C^{0}\)-solution of the evolution inclusion problem
It is easy to see that h is well defined since \(v=S^{1}_{\varphi}f\) for some \(f\in P_{{F}}^{1,\varphi}(u)\); hence \(h(t,v)=\varGamma^{1}\tilde{f}\) with \(\tilde{f}:=f\chi_{[0,rt_{1}]}+f^{*}\chi_{(rt_{1},t_{1}]}\in P_{{F}}^{1,\varphi}(u)\). Also, it is clear that
Moreover, it follows readily that h is continuous. Thus, we obtain that \(\varGamma^{1}(x)\) is contractible. An application of Theorem 2.3 yields that \(\varGamma^{1}\) has a fixed point.
We claim that the fixed point set of \(\varGamma^{1}\) is compact. We define a mapping \(\widehat{\varGamma}^{1}\) on \(\mathcal{PC}([-\tau,t_{1}];E_{0})\) by
which is regarded as an extension of \(\varGamma^{1}\). Let \(\widetilde{\varTheta}^{1}_{\varphi}:=\operatorname{Fix}\widehat{\varGamma}^{1}(C([0,t_{1}];E_{0}))\). Then it will be sufficient to show that \(u\in K_{1}\) whenever \(u\in\widetilde{\varTheta}^{1}_{\varphi}\). Taking \(u\in\operatorname{Fix}\widehat {\varGamma}^{1}(C([0,t_{1}];E_{0}))\), it follows that there exists \(f\in P_{{F}}^{1,\varphi}(u)\) such that \(u=S^{1}_{\varphi}(f)\). Then, by (F2) and the condition \(0\in A0\), and using the earlier arguments, we have
which implies that
Then, for each \(t\in[0,t_{1}]\), an application of Lemma 2.6 yields
which implies that \(u\in K_{1}\). Based on the foregoing argument, we get \(\widetilde{\varTheta}^{1}_{\varphi}=\operatorname{Fix}\varGamma^{1}\).
Moreover, as in the above proof, \(\mathcal{K}_{1}\) is compact in \(\mathcal {PC}([-\tau,t_{1}];E_{0})\) and \(\varGamma^{1}\) is closed. in consequence, we deduce that \(\operatorname{Fix}\varGamma^{1}\) is a compact set in \(\mathcal{PC}([-\tau,t_{1}];E_{0})\) and so is \(\widetilde {\varTheta}^{1}_{\varphi}\) (in fact, \(\widetilde{\varTheta}^{1}_{\varphi}={\varTheta }^{1}_{\varphi}\)).
Step 2. Let us fix \(z^{1}\in\widetilde{\varTheta}^{1}_{\varphi}\) and consider the non-impulsive inclusion problem
Set
where \(\psi_{z^{1}}\in C([t_{1},t_{2}];\mathbb{R}^{+})\) is the unique solution of the integral equation
Define a multivalued mapping \(\varGamma^{2}\) on \(K_{2}\) by setting
For every \(u\in K_{2}\), observe that \(P_{{F}}^{2,z^{1}}(u)\neq\emptyset\) due to Lemma 4.1 and hence \(\varGamma^{1}(u)\subset\mathcal {PC}([-\tau,t_{2}];E_{0})\). Also, \(\{z|_{[-\tau,t_{1}]}: z\in\varGamma^{2}(u)\}=\{z^{1}\}\) for all \(u\in K_{2}\). Moreover, taking \(f\in P_{{F}}^{2,z^{1}}(u)\) with \(u\in K_{2}\), it follows from (F2) that, for every \(t\in[t_{1},t_{2}]\),
where we have used the condition \(0\in A0\) and the fact that \(\|u_{t}\|_{\mathcal{C}}\le\psi_{z^{1}}(t)\) for every \(t\in[t_{1},t_{2}]\) and \(u\in K_{2}\). Hence \(\varGamma^{2}(u)\subset K_{2}\) for every \(u\in K_{2}\).
Since \(I_{1}\) is continuous, proceeding in the same way as in Step 1, we can claim that problem \((P)_{2;z^{1}}\) has at least one \(C_{0}\)-solution and the solution set is a compact set, say \(\widetilde{\varTheta}^{2}_{z^{1}}\).
Continuing this iterative process till problem \((P)_{m;z^{1},\ldots,z^{m-1}}\), we obtain that there exist solutions for this problem, which form a compact set, say \(\widetilde{\varTheta}^{m}_{z^{1},\ldots,z_{m-1}}\).
Now, every solution of \((P)_{m;z^{1},\ldots,z^{m-1}}\) is a solution of (4.1), which implies that the solution set of inclusion problem (4.1) is nonempty.
Step 3. We prove that the set of all solutions of (4.1), that is,
is compact.
First of all, we define the multifunction \(H^{1}:\widetilde{\varTheta}^{1}_{\varphi}\to{P}(C([-\tau,t_{2}];E_{0}))\) as
From Step 2, we know hat \(\widetilde{\varTheta}^{1}_{\varphi}\) is compact and \(H^{1}\) has compact values.
By Lemma 2.4, it suffices to prove that \(H^{1}\) is u.s.c. On the contrary, we assume that there exists \(\bar{z}^{1}\in\widetilde {\varTheta}^{1}_{\varphi}\) such that \(H^{1}\) is not u.s.c. in \(\bar{z}^{1}\). Therefore there exist \(\bar{\varepsilon}>0\) and two sequences \(\{z_{n}^{1}\}_{n=1}^{\infty }\), \(z_{n}^{1}\to\bar{z}^{1}\) in \(\mathcal{PC}([-\tau,t_{1}];E_{0})\), and \(\{z_{n}^{2}\}_{n=1}^{\infty}, z_{n}^{2}\in\widetilde{\varTheta}^{2}_{z_{n}^{1}}\) such that
Since \(\{z_{n}^{2}\}_{n=1}^{\infty}\) is a sequence of solutions, we have
where \(f_{n}^{2}\in{L}([t_{1},t_{2}];E_{0})\), \(f_{n}^{2}(s)\in F(s,z_{n}^{2}(s),z_{ns}^{2})\) for almost every \(s\in[t_{1},t]\).
Using similar arguments as in the proof of Step 1, it can be shown that the set \(\{z_{n}^{2}\}_{n=1}^{\infty}\) is relatively compact in \(\mathcal{PC}([-\tau,t_{2}];E_{0})\). Therefore, without loss of generality, we can assume that there exists \(\bar{z}^{2}\in\mathcal {PC}([-\tau,t_{2}];E_{0})\) such that \(z_{n}^{2}\to\bar{z}^{2}\) in \(\mathcal{PC}([-\tau,t_{2}];E_{0})\).
Now we show that \(\bar{z}^{2}\in H^{1}(\bar{z}^{1})\). For every \(n\ge1\), we consider \(z_{n}^{2}\in\widetilde{\varTheta}^{2}_{\bar{z}^{1}}\) and the corresponding function \(f_{n}^{2}\) from (4.5).
As in Step 1, we show that there exists \(\bar{f}^{2}\in{L}([t_{1},t_{2}];E_{0})\) such that \(f_{n}^{2}\to\bar{f}^{2}\in{L}([t_{1},t_{2}];E_{0})\). Now, by using Lemma 2.3, we have
From the fact that the function \(I_{1}\) is continuous, taking the limit of both sides of (4.5), we get
where \(\bar{f}^{2}\in{L}([t_{1},t_{2}];E_{0})\), \(\bar{f}^{2}(s)\in F(s,\bar {z}(s),\bar{z}_{s}^{2})\) for almost every \(s\in[t_{1},t]\), that is, \(\bar{z}^{2}\in\widetilde{\varTheta }^{2}_{\bar{z}^{1}}=H^{1}(\bar{z}^{1})\).
The fact that \(z_{n}^{2}\to\bar{z}^{2}\in H^{1}(\bar{z}^{1})\) leads to the contradiction of (4.4). Therefore, \(H^{1}\) is u.s.c.
By iterating this process, we can obtain the compactness of the solution set \(\varTheta^{m}(\varphi)\) on \([-\tau,t_{m}]\).
Step 4. Consider the inclusion problem
where \(\varphi\in\mathcal{C}([-\tau,0];E_{0})\) and multivalued functions \({F}_{n}: [0,t_{m}]\times X \rightarrow P_{\mathrm{cv}}(X)\) are established in Lemma 4.2. Let \(\varTheta_{n}^{m}(\varphi)\) denote the set of all \(C^{0}\)-solutions of the inclusion problem (4.6). Then we show that the set \(\varTheta_{n}^{m}(\varphi)\) is an \(R_{\delta}\)-set.
From Lemma 4.2(ii) and (vi), it follows that \(\{{F}_{n}\}\) satisfies conditions (F1) and (F2) for each \(n\geq1\). Then, using the above arguments, we deduce that each set \(\varTheta_{n}^{m}(\varphi)\) is nonempty and compact in \(C([-\tau,t_{m}];E_{0})\) for each \(n\geq1\). In view of Lemma 4.2(i), it is easy to verify that \(\varTheta^{m}(\varphi)\subset\cdots\subset\varTheta^{m}_{n}(\varphi)\subset\cdots \subset\varTheta^{m}_{2}(\varphi)\subset\varTheta^{m}_{1}(\varphi)\). Using the method similar to the one employed in [15, Theorem 3.2], we can show that \(\varTheta^{m}(\varphi)=\bigcap_{n\geq1}\varTheta^{m}_{n}(\varphi)\).
Finally, in order to show that \(\varTheta^{m}(\varphi)\) is an \(R_{\delta}\)-set, it suffices to verify that \(\varTheta_{n}^{m}(\varphi)\) is contractible for each \(n\ge1\).
Fix \(\bar{u}\in\varTheta_{n}^{m}(\varphi)\) and divide the interval \([0,1]\) into m parts: \(0<\frac{1}{m}<\frac{2}{m}<\cdots<\frac{m-1}{m}<1\). For \(r\in(0,\frac{1}{m}]\), consider the following problem:
where \(g_{n}\) is a measurable locally Lipschitz selection of \({F}_{n}\) by Lemma 4.2.
Let \(\tilde{u}_{n,r}^{m}\) stand for the unique solution of this problem. Then \({u}_{n,r}^{m}\) can be defined as:
with \({u}_{n,r}^{m}\in\varTheta_{n}^{m}(\varphi)\).
Next, for \(r\in(\frac{1}{m},\frac{2}{m}]\), we consider the following problem:
Let \(\tilde{u}_{n,r}^{m-1}\) stand for the unique solution of this problem. Then we obtain that \({u}_{n,r}^{m-1}\in\varTheta_{n}^{m}(\varphi)\), where
Now we consider the following problem for \(r\in(\frac{m-1}{m},1]\):
Let \(\tilde{u}_{n,r}^{1}\) stand for the unique solution of the above problem. Then \({u}_{n,r}^{1}\) can be defined as:
which belongs to \(\varTheta_{n}^{m}(\varphi)\).
Finally, we define \(h_{n}:[0,1]\times\varTheta_{n}^{m}(\varphi)\to\varTheta _{n}^{m}(\varphi)\) by
Here the functions \({u}_{n,r}^{m},{u}_{n,r}^{m-1},\ldots,{u}_{n,r}^{1}\) are determined by the choice of \(\bar{u}\in\varTheta_{n}^{m}(\varphi)\). We can show that \(h_{n}\) is continuous by applying a standard method, based on the continuous dependence on initial conditions and the fact that the maps I are continuous, we can establish the continuity for \(r\in\{\frac{i}{m}; i=1,\ldots,m\}\). By the above definition, we have that \(h_{n}(0,\bar{u})=\bar{x}\) and \(h_{n}(1,\bar{u})=u_{n,1}^{1}\), so \(\varTheta_{n}^{m}(\varphi)\) is a contractible set for each \(n\in\mathbb{N}\). Consequently, we conclude that \(\varTheta_{n}^{m}(\varphi)\) is an \(R_{\delta}\)-set. □
We denote by \(\varTheta(\varphi)\) the set of all \(C^{0}\)-solutions of inclusion (1.1).
Theorem 4.2
Assume that (A1), (A2), (F1), and (F2) are satisfied. If \(I_{k}:E\to E_{0}\), \(k=1,\ldots, m-1\), are continuous, then \(\varTheta(\varphi)\) is a nonempty and compact subset of \(\mathcal{PC}([-\tau,\infty);E_{0})\) for every \(\varphi\in\mathcal {C}([-\tau,0],E_{0})\). Moreover, it is an \(R_{\delta}\)-set.
Proof
We divide the proof in two steps.
Step 1. Besides (1.1), for each \(m\in\mathbb{N}^{+}\), we study problem (4.1) on the compact interval \([0,t_{m}]\).
For any \(u\in\mathcal{PC}([0,t_{m}];E)\) with \(u(0)=\varphi(0)\), define \(u[\varphi]^{*}:[-\tau,t_{m}]\to E\) as
We denote \(\mathcal{PC}_{m}=\mathcal{PC}([0,t_{m}];E)[\varphi]^{*}\) (\(=\{ u[\varphi]^{*}: u\in\mathcal{PC}([0,t_{m}];E)\}\)) and consider the multivalued operator
defined by
Next, for \(\varphi\in\mathcal{C}([-\tau,0];E_{0})\) and \(f\in L([0,t_{m}];E)\), we define the mapping \(\tilde{S}_{\varphi}^{m}:L([0,t_{m}]; E)\to\mathcal{PC}_{m}\) as
Clearly, \(\tilde{S}_{\varphi}^{m}(f)\) is the unique \(C^{0}\)-solution for the evolution inclusion with time delay of the form
Consider the sequence of multivalued maps \(\tilde{\varGamma}^{m}:\mathcal {\mathcal{PC}}_{m}\to P(\mathcal{\mathcal{PC}}_{m})\) defined by
for \(t\in[-\tau,t_{m}]\). Now we consider the projection \(p_{m}^{m+1}:\mathcal{\mathcal {PC}}_{m+1}\to\mathcal{\mathcal{PC}}_{m}\) given by \(p_{m}^{m+1}(z)=z|_{[-\tau,t_{m}]}\).
Observe that \(\tilde{\varGamma}^{m} p_{m}^{m+1}=p_{m}^{m+1} \tilde{\varGamma}^{m+1}\), so \(\{\mathrm{id}, \tilde{\varGamma}^{m}\}\) is the map of the inverse system \(\{\mathcal {PC}_{m},p_{n}^{m}\}\). The map \(\{\mathrm{id}, \tilde{\varGamma}^{m}\}\) induces the limit map \(\tilde{\varGamma }:\mathcal{PC}_{\infty}\to P(\mathcal{PC}_{\infty})\) defined by
for each \(u\in\mathcal{PC}_{\infty}\), where
Note that \(\varTheta(\varphi):=\operatorname{Fix}(\varGamma^{\infty})=\lim_{\leftarrow }\varTheta^{m}(\varphi)\) is the solution set of problem (1.1). By Theorem 4.1, for every \(m\ge1\), the solution set \(\varTheta^{m}(\varphi)\) to (4.1) is a nonempty compact subset of \({PC}([0,t_{m}];E_{0})\). By [20, Proposition 2.3], it follows that the set \(\varTheta(\varphi)\) is nonempty and compact.
Step 2. It has been established in Theorem 4.1 that the solution sets on compact intervals are \(R_{\delta}\)-sets (that is, for problem (4.1)). Next, we consider an inverse system similar to the one in Step 1. Applying [4, Proposition 4.1], we deduce that the solution set for problem (1.1) is a compact \(R_{\delta}\)-set as claimed. □
4.2 Noncompact operator case
Theorem 4.3
Suppose that assumptions (A1), (A3), (F1), (F2), and (F3) are satisfied. If \(I_{k}:E\to E_{0}\), \(k=1,\ldots,m-1\), are continuous and there exist constants \(r_{k}>0\) such that
for every bounded \(D\subset E\), then for every \(\varphi\in\mathcal {C}([-\tau,0];E)\), \(\varTheta_{m}(\varphi)\) is a nonempty and compact subset of \(\mathcal{PC}([-\tau,t_{m}];E)\). Moreover, it is an \(R_{\delta}\)-set.
Proof
We complete the proof in four steps.
Step 1. For the same \(K_{1}\), as argued in Theorem 4.1, we note that \(K_{1}\) is a closed and convex subset of \(\mathcal{PC}([-\tau,t_{1}];E_{0})\). Let \(\mathcal{K}_{n+1}:=\overline{\operatorname{co}}\varGamma^{1}(\mathcal{K}_{n})\) for all \(n\ge1\), and \(\mathcal{K}:=\bigcap_{n\ge1}\mathcal{K}_{n}\). We show that \(\mathcal{K}\) is compact convex when \(\mathcal{K}\) is relatively compact.
By Lemma 3.4(i), we know that \(\mathcal{K}\) is an equicontinuous subset of \(C([-\tau,t_{1}];E_{0})\), hence \(\mathcal{K}\) is relatively compact if \(\beta(\mathcal{K}(t))=0\) on \([0,t_{1}]\), since \(\beta(\mathcal{K}(t))=\beta(\{\varphi(t)\})=0\) for \(t\in[-\tau,0]\). Let \(\rho_{n}(t)=\beta(\mathcal{K}_{n}(t))\) for \(n\ge1\) and \(\rho(t)=\beta (\mathcal{K}(t))\). Then \(\rho_{n+1}(t)\le\beta(\{S_{\varphi}^{1}(f)(t):f\in P_{{F}}^{1,\varphi}(\mathcal{K}_{n})\})\). In order to apply (3.5), suppose that there is a sequence \(\{ f_{n}\}_{n=1}^{\infty}\subset P_{{F}}^{1,\varphi}(\mathcal{K}_{n})\) for given \(\epsilon>0\) such that
Taking ℓ to be large enough for the above \(\epsilon>0\), by (F3), there exists \(\delta(<\epsilon)>0\) such that
which implies that
Since this is true for every \(\epsilon>0\) and \(\rho_{n}(t)\searrow\rho (t)\), therefore
Evidently, it implies that \(\rho(t)=0\) on \([0,t_{1}]\).
Next we show that \(\varGamma^{1}\) is u.s.c. on \(\mathcal{K}\). By Lemma 2.2, it suffices to show that \(\varGamma^{1}\) is quasi-compact and closed. First, we prove that the multimap \(\varGamma^{1}=S_{\varphi}^{1} P_{{F}}^{1,\varphi}\) has a closed graph. Let \(\{v_{n}\}\subset\mathcal{K}\) with \(v_{n}\to v\) and \(u_{n}\in\varGamma^{1}(v_{n})\) with \(u_{n}\to u\). We first prove that \(u\in\varGamma^{1}(v)\). By the definition of \(\varGamma^{1}\), there exist \(f_{n}\in P_{F}^{1,\varphi}(v_{n})\) such that
In view of (F2), \(\{f_{n}\}\) is bounded in \({L}([0,t_{1}];E_{0})\), and that \(f_{n}\rightharpoonup f\) in \({L}([0,t_{1}];E_{0})\) (see Lemma 2.1). Since \(P_{F}^{1,\varphi}\) is weakly u.s.c. with weakly compact and convex values (see Lemma 4.1), from Lemma 2.3, we have that \(f\in P_{F}^{1,\varphi}(v)\).
Moreover, for any \(\epsilon>0\), by (F3), there exists \(\delta\ (<\epsilon )>0\) such that
for almost every \(t\in[0,t_{1}]\). Thus the set \(\{f_{n}(t)\}_{n=1}^{\infty}\) is relatively compact for almost every \(t\in[0,t_{1}]\). By Lemma 3.4, we obtain
Hence the set \(\{S_{\varphi}^{1}(f_{n})(t)\}_{n=1}^{\infty}\) is relatively compact. Using Lemma 3.6, we find that \(u= S_{\varphi}^{1}(f)\), that is, \(u\in S_{\varphi}^{1}(P_{F}^{1,\varphi}(v)) =\varGamma^{1}(v)\), demonstrating that the multimap \(\varGamma^{1}\) is closed.
It is easy to see that \(\varGamma^{1}\) is quasi-compact. In fact, \(\varGamma^{1}(\mathcal{K})\) is compact as \(\mathcal{K}\) is closed and compact. By Lemma 2.2, it follows that \(\varGamma^{1}\) is u.s.c. on \(\mathcal{K}\).
By Theorem 2.3, we deduce that \(\varGamma^{1}\) has at least one fixed point since \(\varGamma^{1}:\mathcal{K}\to P(\mathcal{K})\) has contractible values, which follows as in the proof of Theorem 4.1.
The following result is similar to Step 1 in Theorem 4.1 and leads to the fact that the solution set of problem \({(P)_{1;\varphi}}\) is a nonempty compact set.
Step 2. Following the proof in Steps 2 and 3 of Theorem 4.1, one can easily infer that the solution set of problem (4.1) is a nonempty compact set as argued Step 1.
Step 3. As in the proof of [20], we can obtain that all solutions to (4.1) are pointwise uniformly bounded by some constant \(\bar{K}_{m}\). Let \(\tilde{K}_{m}=\max\{1,\tau\}\bar{K}_{m}\). Then \(|u(t)|\leq\tilde{K}_{m}\) and \(\|u_{t}\|_{\mathcal {C}}\leq\tilde{K}_{m}\) for every solution x to (4.1). We define a mapping \(\tilde{F}:[0,t_{m}]\times E\times\mathcal{C}([-\tau,0];E)\to P_{\mathrm{cp},\mathrm{cv}}(E)\) by
which is integrably bounded and generates the same set of solutions on replacing F by F̃ in (4.1). Without any loss of generality, instead of (F2), we assume that
- (F2)′:
-
\(|{F}(t,u,v)|\le\omega_{m}(t)\) for every \(t\in[0,t_{m}]\), where \(\omega_{m}\in{L}([0,t_{m}])\).
Then, similar to Step 2 in Theorem 3.5 of [20], we construct a sequence of multivalued maps \(\{{F}_{n}\}:[0,b]\times\mathcal {D}\rightarrow P_{\mathrm{cv}}(E)\) such that
-
(i)
\({F}(t,u,v)\subset\cdots\subset{F}_{n+1}(t,u,v)\subset {F}_{n}(t,u,v)\subset\cdots\subset\overline{\operatorname{co}}({F}(t,B_{3^{1-n}}(u,v)))\), \(n\geq1 \), for each \(t\in[0,b]\) and \(x\in E\);
-
(ii)
\(|{F}_{n}(t,u,v)|\leq\omega_{m}(t)\), \(n\geq 1\), for a.e. \(t\in[0,t_{m}]\) and each \((u,v) \in\mathcal{D}\);
-
(iii)
there exists \(X\subset[0,t_{m}]\) with \(\operatorname{mes}(X)=0\) such that, for each \(x^{*}\in E^{*}\), \(\epsilon>0\) and \((u,v) \in\mathcal{D}\), there exists \(N>0\) such that, for all \(n\geq N\),
$$ x^{*}\bigl({F}_{n}(t,u,v)\bigr)\subset x^{*}\bigl({F}(t,u,v)\bigr)+(- \epsilon,\epsilon); $$ -
(iv)
\({F}_{n}(t,\cdot,\cdot): \mathcal{D}\rightarrow P_{\mathrm{cv}}(E)\) is continuous for a.e. \(t\in[0,t_{m}]\) with respect to Hausdorff metric for each \(n\geq1\);
-
(v)
for each \(n\geq1\), there exists a selection \(g_{n}:[0,b]\times\mathcal{D}\rightarrow E\) of \({F}_{n}\) such that \(g_{n}(\cdot,u,v)\) is measurable for each \((u,v) \in\mathcal{D}\) and \(g_{n}(t,\cdot,\cdot)\) is locally Lipschitz.
We first consider problem (4.6). Let \(\varTheta_{n}^{m}(\varphi)\) denote the set of all \(C^{0}\)-solutions of inclusion (4.6), which is obviously nonempty in \(\mathcal{PC}([-\tau,t_{m}];E_{0})\). Moreover, by Lemma 4.2(i), we have
Next we prove that each sequence \(\{u_{n}\}\) is such that \(u_{n}\in\varTheta ^{m}_{n}(\varphi)\) for all \(n\ge1\) and has a convergent subsequence \(u_{n_{k}}\to u\in\varTheta ^{m}(\varphi)\). Notice that \(u_{n}(t)=\varphi(t)=u(t)\) for all \(t\in[-\tau,0]\). Now let us consider the sequence \(u_{n}\) on \([0,t_{1}]\). Then
where \(f_{n}\in L^{1}([0,t_{1}];E)\), \(f_{n}(t)\in{F_{n}}(t,u_{n}(t),(u_{n})_{t})\) for a.e. \(t\in[0,t_{1}]\).
For ℓ to be large enough with \(\epsilon>0\), using (F3), there exists \(\delta\ (<\epsilon)>0\) such that
where \(\bar{\rho}(s):=\sup_{0\le\theta\le s}\beta(\{u_{n}(\theta)\}_{n\ge-})\). Since
it follows that
Since it holds for every \(\epsilon>0\), we have
By Gronwall’s inequality, we have \(\bar{\rho}(t)=0\) for \(t\in[0,t_{1}]\). Then \(\beta(\{u_{n}(t)\}_{n\ge1})=0\) for \(t\in[0,t_{1}]\). Hence \(\beta(\{f_{n}(t)\}_{n\ge1})=0\) for \(t\in[0,t_{1}]\).
For \(t=t_{1}\), we have
Thus every solution \(u_{n}\) has the form
where \(f_{n}\in L^{1}([t_{1},t_{2}];E)\), \(f_{n}(t)\in{F_{n}}(t,u_{n}(t),(u_{n})_{t})\) for a.e. \(t\in[t_{1},t_{2}]\). Analogously as before, we can show that \(\beta(\{u_{n}(t)\}_{n\ge1})=0\) and \(\beta(\{f_{n}(t)\}_{n\ge1})=0\) for \(t\in[t_{1},t_{2}]\). Repeating this progress, we find that \(\beta(\{u_{n}(t)\}_{n\ge1})=0\) and \(\beta(\{f_{n}(t)\}_{n\ge1})=0\) for \(t\in[t_{m-1},t_{m}]\). Hence \(\beta(\{u_{n}(t)\}_{n\ge1})=0\) and \(\beta(\{f_{n}(t)\}_{n\ge1})=0\) for \(t\in[0,t_{m}]\).
Since \(0\in A0\) and \(|{F}(t,u,v)|\le\omega_{m}(t)\) for every \(t\in [0,t_{m}]\), therefore, for \(t\le t'\) in \((0,t_{1})\), we have
Then \(\{u_{n}\}\) is equicontinuous in \((0,t_{1})\) as \(\omega_{m}\in{L}([0,t_{m}])\). Similarly, it can be shown that \(\{u_{n}\}\) is equicontinuous in \((t_{k},t_{k+1})\), \(k=1,2,\ldots,m-1\). By a PC-type Arzela–Ascoli theorem, \(\{u_{n}\}\) has a convergent subsequence on \([0,t_{m}]\), denoted by \(\{u_{n_{k}}\}\), such that \(u_{n_{k}}\to u\). We know that \(\beta(\{ f_{n_{k}}(t)\}_{n\ge1})=0\). Then, from (F2)′ and the Dunford–Pettis theorem, it follows that, up to a subsequence, still denoted by \(\{f_{n_{k}}\}\), \(f_{n_{k}}\rightharpoonup f\in L^{1}([0,t_{m}];E)\). By the continuity of impulse functions \(I_{j}\), we have \(u(t)=\tilde{S}_{\varphi}^{m}(f)(t)\). To prove that \(f(t)\in{F}(t,u(t),u_{t})\) for a.e. \(t\in[0,t_{m}]\), it is sufficient to use the closed and convex values of F, a weakly upper semicontinuity of \(F(t,\cdot,\cdot)\), and some standard procedures based on the Mazur lemma.
Step 4. From Step 3, it follows that \(\sup\{\operatorname{dist}(v,\varTheta^{m}):v\in \varTheta_{n}^{m}\}\to0\) and that \(\sup\{\operatorname{dist}(v, \varTheta^{m}):v\in\overline{\varTheta_{n}^{m}}\}\to0\). This together with the fact that \(\varTheta^{m}\) is compact and \(\varTheta_{n+1}^{m}\subset\varTheta_{n}^{m}\), implies that \(\beta(\varTheta_{n}^{m})=\beta(\overline{\varTheta_{n}^{m}})\searrow0\), as \(n\to\infty\) and \(\varTheta^{m}=\bigcap_{n=1}^{\infty}\varTheta_{n}^{m}\).
Step 5. Using the method employed in Step 4 of the proof to Theorem 4.1, it can be shown that \(\varTheta_{n}^{m}(\varphi)\) is a contractible set for each \(n\in\mathbb{N}\). Consequently, we deduce that the solution set of problem (4.1) is an \(R_{\delta}\)-set. □
Theorem 4.4
Assume that conditions (A1), (A3), (F1), (F2), and (F3) hold. If \(I_{k}:E\to E_{0}\), \(k=1,\ldots, m-1\), are continuous and there exist constants \(r_{k}>0\) such that
for every bounded \(D\subset E\), then \(\varTheta(\varphi)\) is a nonempty and compact subset of \(\mathcal{PC}([-\tau,\infty);E)\) for every \(\varphi\in\mathcal {C}([-\tau,0];E)\). Moreover, it is an \(R_{\delta}\)-set.
Proof
In Theorem 4.3, it has been shown that solution sets for problem (4.1) on compact intervals are \(R_{\delta }\)-sets. Next we consider an inverse system as in the proof of Theorem 4.2 and obtain that the solution set of problem (1.1) is an \(R_{\delta}\)-set. □
References
Abada, N., Benchohra, M., Hammouche, H.: Existence and controllability results for nondensely defined impulsive semilinear functional differential inclusions. J. Differ. Equ. 246, 3834–3863 (2009)
Alur, R., Courcoubetis, C., Dill, D.: Model checking for real-time systems. In: Proc. 5th Ann. IEEE Symp. on Logic in Computer Science, Philadelphia, PA, pp. 414–425 (1990)
Andres, J., Gabor, G., Górniewicz, L.: Topological structure of solution sets to multi-valued asymptotic problems. Z. Anal. Anwend. 19(1), 35–60 (2000)
Andres, J., Pavlačková, M.: Topological structure of solution sets to asymptotic boundary value problems. J. Differ. Equ. 248, 127–150 (2010)
Bader, R., Kryszewski, W.: On the solution sets of differential inclusions and the periodic problem in Banach spaces. Nonlinear Anal. 54, 707–754 (2003)
Bakowska, A., Gabor, G.: Topological structure of solution sets to differential problems in Fréchet spaces. Ann. Pol. Math. 95(1), 17–36 (2009)
Balluchi, A., Benvenutti, L., Di Benedetto, M., Pinello, C., Sangiovanni-Vincentelli, A.: Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 88(7), 888–912 (2000)
Balluchi, A., Soueres, P., Bicchi, A.: Hybrid feedback control for path tracking by a bounded-curvature vehicle. Int. J. Control 74(10), 1009–1019 (2001)
Barbu, V.: Nonlinear Semigoups and Differential Equation in Banach Space. Editura Academiei, Bucuresti (1976)
Benchohra, M., Abbas, S.: Advanced Functional Evolution Equations and Inclusions. Springer, Berlin (2015)
Bothe, D.: Multi-valued perturbations of m-accretive differential inclusions. Isr. J. Math. 108, 109–138 (1998)
Cardinali, T., Rubbioni, P.: On the existence of mild solutions of semilinear evolution differential inclusions. J. Math. Anal. Appl. 308, 620–635 (2005)
Cardinali, T., Rubbioni, P.: Impulsive semilinear differential inclusions: topological structure of the solution set and solutions on non-compact domains. Nonlinear Anal. TMA 69(1), 73–84 (2008)
Cârjǎ, O., Necula, M., Vrabie, I.I.: Viability, Invariance and Applications. North-Holland Mathematics Studies, vol. 207. North-Holland, Amsterdam (2007)
Chen, D.H., Wang, R.N., Zhou, Y.: Nonlinear evolution inclusions: topological characterizations of solution sets and applications. J. Funct. Anal. 265, 2039–2073 (2013)
Corduneanu, C.: Principles of Differential and Integral Equations. Allyn & Bacon, Needham Heights (1971)
Diestel, J., Ruess, W.M., Schachermayer, W.: Weak compactness in \(L^{1}(\mu;X)\). Proc. Am. Math. Soc. 118, 447–453 (1993)
Djebali, S., Góniewicz, L., Ouahab, A.: Solution Sets for Differential Equations and Inclusions. de Gruyter, Berlin (2013)
Engell, S., Kowalewski, S., Schultz, C., Strusberg, O.: Continuous-discrete interactions in chemical process plants. Proc. IEEE 88(7), 1050–1068 (2000)
Gabor, G., Grudzka, A.: Structure of the solution set to impulsive functional differential inclusions on the half-line. Nonlinear Differ. Equ. Appl. 19, 609–627 (2012)
Gabor, G., Grudzka, A.: Erratum to: Structure of the solution set to impulsive functional differential inclusions on the half-line. Nonlinear Differ. Equ. Appl. 22, 175–183 (2015)
Gabor, G., Quincampoix, M.: On existence of solutions to differential equations or inclusions remaining in a prescribed closed subset of a finite-dimensional space. J. Differ. Equ. 185, 483–512 (2002)
Górniewicz, L.: Topological Fixed Point Theory of Multivalued Mappings. Kluwer Academic, Dordrecht (1999)
Jones, D.D., Plank, M.J., Sleeman, B.D.: Differential Equations and Mathematical Biology, 2nd edn. Chapman & Hall/CRC, Boca Raton (2010)
Kamenskii, M., Obukhovskii, V., Zecca, P.: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter Series in Nonlinear Analysis and Applicaitons, vol. 7. de Gruyter, Berlin (2001)
Lakshmikantham, V., Leela, S.: Nonlinear Differential Equations in Abstract Spaces. Pergamon, Elmsford (1981)
Pettis, B.J.: On the integration in vector spaces. Trans. Am. Math. Soc. 44, 277–304 (1938)
Staicu, V.: On the solution sets to nonconvex differential inclusions of evolution type. Discrete Contin. Dyn. Syst. 2, 244–252 (1998)
Staicu, V.: On the solution sets to differential inclusions on unbounded interval. Proc. Edinb. Math. Soc. 43, 475–484 (2000)
Tolstonogov, A.: Differential Inclusions in a Banach Space. Kluwer Academic, Dordrecht (2000)
Vrabie, I.I.: Compactness Methods for Nonlinear Evolutions. Pitman Monographs & Surveys in Pure & Applied Mathematics (1995)
Vrabie, I.I.: Existence in the large for nonlinear delay evolution inclusions with nonlocal initial conditions. J. Funct. Anal. 262(4), 1363–1391 (2012)
Vrabie, I.I.: Delay evolution equations with mixed nonlocal plus local initial conditions. Commun. Contemp. Math. 17(2), 1350035 (2015)
Wang, J.R., Fec̆kan, M., Zhou, Y.: Fractional order differential switched systems with coupled nonlocal initial and impulsive conditions. Bull. Sci. Math. 141(7), 727–746 (2017)
Wang, R.N., Ma, Q.H., Zhou, Y.: Topological theory of non-autonomous parabolic evolution inclusions on a noncompact interval and applications. Math. Ann. 362, 1–31 (2014)
Zhou, Y., Peng, L.: Topological properties of solutions sets for partial functional evolution inclusions. C. R. Math. 355, 45–64 (2017)
Zhou, Y., Peng, L., Ahmad, B.: Topological properties of solution sets for stochastic evolution inclusions. Stoch. Anal. Appl. 36, 114–137 (2018)
Zhou, Y., Peng, L., Ahmad, B., Alsaedi, A.: Topological properties of solution sets of fractional stochastic evolution inclusions. Adv. Differ. Equ. 2017, 90 (2017)
Zhou, Y., Wang, R.N., Peng, L.: Topological Structure of the Solution Set for Evolution Inclusions. Springer, Berlin (2017)
Acknowledgements
Not applicable.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
The first author is supported by the National Natural Science Foundation of China (No. 11801481) and the Research Foundation of Education Bureau of Hunan Province (No. 17C1529). The second author is supported by the National Natural Science Foundation of China (No. 11671339).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript. LZ and YZ finished the manuscript and BA made the content correction and English language checking.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhang, L., Zhou, Y. & Ahmad, B. Topological properties of \(C^{0}\)-solution set for impulsive evolution inclusions. Bound Value Probl 2018, 182 (2018). https://doi.org/10.1186/s13661-018-1099-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1099-3