Lower semi-continuity of the solution set for semilinear differential inclusions (Q641649)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lower semi-continuity of the solution set for semilinear differential inclusions |
scientific article |
Statements
Lower semi-continuity of the solution set for semilinear differential inclusions (English)
0 references
24 October 2011
0 references
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.
0 references
differential inclusion
0 references
semi-linear
0 references
continuous dependence
0 references
solution set
0 references
lower semicontinuity
0 references
viability
0 references
minimum time function
0 references
0 references
0 references
0 references
0 references