Weak and generic bang-bang properties for continuous evolution inclusions and Baire's method (Q2393611): Difference between revisions

The authors study the bang-bang property for the pair of evolution inclusions \[ x'(t)\in Ax(t)+F(t,x(t)),\quad x(t_{0})=x_{0},\tag{\(*\)} \] \[ x'(t)\in Ax(t)+\text{ext}F(t,x(t)),\quad x(t_{0})=x_{0},\tag{\(**\)} \] where ext\(F(t,x(t))\) represents the set of all extreme points of \(F(t,x(t))\). Throughout the paper, \(A\) is the infinitesimal generator of a \(C_{0}\)-semigroup \(T(t)\), \(t\geq 0\), on \(\mathbb{E}\), where \(\mathbb{E}\) is a reflexive and separable real Banach space, \(F:\left[ t_{0},t_{1}\right] \times \mathbb{E}\rightarrow \) the subsets of \(\mathbb{E}\) is continuous and closed-, convex- and bounded-valued, and \(F\) is bounded. Then, under the additional assumption that the values of \(F\) have nonempty interior, it is shown that \(M_{F}^{\text{O}}\) is nonempty and a weak form of the bang-bang property is proven, specifically, \[ \bar{M}_{\text{ext}F}\supseteq \bar{M}_{F}^{\text{O}}, \] where \(M_{\text{ext}F}\) represents the mild solutions to \((**)\) and \(M_{F}^{\text{O}}\) represents the set of all mild internal solutions of \((*)\) and the closure is in the uniform convergence metric. The method is based on Baire category. An analogous result was proven for \(A=0\) in [the authors, Proc. Am. Math. Soc. 138, No. 7, 2413--2423 (2010; Zbl 1213.34024)]. Under the additional assumption that the \(C_{0}\)-semigroup is compact, making use of the previous result, the ``generic'' bang-bang property is proven, namely, \[ \bar{M}_{\text{ext}F}=M_{F} \] holds for most \(F\), in the sense of Baire category, where \(M_{F}\) is the set of all mild solutions to \((*)\). A finite-dimensional version was proven in [\textit{T. Donchev}, Lect. Notes Comput. Sci. 3401, 266--271 (2005; Zbl 1118.34305)].