Near viability of a set-valued map graph with respect to a quasi-autonomous nonlinear inclusion (Q2185757)

The authors consider the nonlinear differential inclusion \[ y^{\prime }(t)\in Ay(t)+F\left( t,y(t)\right),\; t\in \left[ a,b\right), \] in a real separable Banach space, where \(A\) is an \(m\)-dissipative set-valued operator, \(F\) is measurable in its first variable and set-valued, and \(a<b\leq \infty \). The authors define the concept of \(A\)-quasi-tangency, which generalizes several definitions used in the literature, and show that 1) under certain assumptions, this is necessary for near viability, 2) under certain assumptions, this is sufficient for near viability and 3) under certain assumptions, this is sufficient for global near viability. In the last section, the first of these theorems is used to prove a relaxation theorem, generalizing a result from [\textit{A. A. Tolstonogov}, Math. Notes 49, No. 6, 636--644 (1991; Zbl 0734.34020); translation from Mat. Zametki 49, No. 6, 119--131 (1991)]. ``Near viability is the existence of solutions which remain arbitrarily close to a given set starting from solutions in that set.'' The proofs make good use of results in the literature, including [\textit{H. Frankowska}, J. Differ. Equations 84, No. 1, 100--128 (1990; Zbl 0705.34016)].