Topology structure of solution set of fractional non-autonomous evolution inclusions (Q6920681)

The authors consider the fractional nonautonomous evolution inclusion:\N\[\ND^\alpha_t y(t) \in A(t)y(t)+\mathcal{G}(t,y(t)) \text{, }y(0)+g(y)=y_0 \tag{1}\N\]\Non \([0,T]\) in a Banach space \(\mathcal{Y}\), where \(D^\alpha_t\) represents the Caputo fractional derivative of order \(0<\alpha<1\), the operators \(A(t):\mathcal{D}(A(t))\subseteq \mathcal{Y}\rightarrow \mathcal{Y}\) with a domain independent of \(t\) are the infinitesimal generators of analytic semigroups \(\{\mathcal{T}_t( \tau)\}_{\tau \geq 0}\), \(\mathcal{G}:[0,T]\times\mathcal{Y}\rightarrow \mathcal{Y}\) represents a multivalued map, \(g:\mathcal{C}([0,T],\mathcal{Y})\rightarrow \mathcal{Y}\) and \(y_0\in\mathcal{Y}\).\N\NThe first result demonstrates that the solution set of (1) is a nonempty compact subset of \(\mathcal{C}([0,T],\mathcal{Y})\) under the assumptions \(\{T_t(\tau)\}\) is equicontinuous for \(\tau>0\), \(\mathcal{G}\) has a measurable selection, is weak upper semicontinuous in its second variable, satisfies a growth condition and satisfies a measure af noncompactness, and \(g\) is compact, continuous and satisfies a growth condition. A second result shows that the conclusion also holds under a different set of assumptions. Assuming \(\mathcal{Y}\) is reflexive and \(g=0\), the solution set is shown to be an \(R_\delta\) set under the assumptions of the second result. The proofs make use of results in the literature such as those found in [\textit{M. Kamenskii} et al., Condensing multivalued maps and semilinear differential inclusions in Banach spaces. Berlin: de Gruyter (2001; Zbl 0988.34001)].