Topological structure of solution sets for impulsive differential inclusions in Fréchet spaces (Q631681)

An initial value problem for impulsive differential inclusions posed on the half-line \[ \begin{aligned} &y'(t)\in F(t,y(t)), \quad \text{a.e }t\in J:=[0,\infty)\setminus\{t_1,\dots,t_k\},\\ &\Delta y|_{t=t_{k}}:=y(t_k^+)-y(t_k^-)=I_k(y(t_k^-)), \quad k=1,\dots,\\ &y(0)=a \end{aligned} \] is considered, where \(F: J\times{\mathbb R}^n\to {\mathcal P}({\mathbb R}^n)\) is a multivalued map, \(0<t_1<\cdots<t_k<\cdots,\) \(\lim_{t\to\infty}t_k=\infty,\) \(I_k\in C({\mathbb R}^n,{\mathbb R}^n)\) and \(a\in {\mathbb R}^n.\) Existence results are proved, under different types of growth conditions on \(F\) in the case where \(F\) is u.s.c., l.s.c., Lipschitz or satisfies a Nagumo-type condition. Also, topological structures of solutions sets in some Fréchet spaces (like AR, \(R_{\delta}\), contractibility, acyclicity) in both the convex and the nonconvex case are investigated, via the method of taking the inverse system limit on noncompact intervals. Finally, existence and the topological structure of the solution set for the corresponding terminal problem are studied.