Lower semi-continuity of the solution set for semilinear differential inclusions (Q641649)

The authors consider the continuous dependence of solutions on the initial condition for the semi-linear differential inclusion \[ y^{\prime }(t)\in Ay(t) + F(y(t)),~~ {y(0)=x}\tag{1} \] in a real Banach space \(X\). \(A\) is assumed to be the infinitesimal generator of a \(C_{0}\)-semigroup \(\left\{ S(t):X\rightarrow X,\;t\geq 0\right\} \), there exists some \(\omega \in \mathbb{R}\) such that \(\left\| S(t)\right\| \leq e^{\omega t}\) for all \(t\geq 0\), \(F:D\rightarrow P(X)\) is weakly compact and convex valued and satisfies a continuity-type condition with a prescribed modulus as in [\textit{A. Plis}, ``On trajectories of orientor fields'', Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 571--573 (1965; Zbl 0138.34104)], and \(D\) is an open subset of \(X\). Making additional assumptions, it is proven that the function \(\mathbb{S}\) which maps each \(x\in D\) to the corresponding solution set \(\mathbb{S}(x)\) of (1) is lower semicontinuous. The proof is accomplished through the use of results from [\textit{O. Cârja, M. Necula, I. I. Vrabie}, ``Necessary and sufficient conditions for viability for semilinear differential inclusions'', Trans. Am. Math. Soc. 361, No. 1, 343--390 (2009; Zbl 1172.34040)]. The theorem is applied to yield a result on the propagation of continuity of the minimum time function associated with (1) without the need for a Lipschitz condition.