On nonlinear, nonconvex evolution inclusions (Q1911163): Difference between revisions

The paper contrasts the sets \(S(x_0)\) and \(S_e(x_0)\) of integral solutions of Benilan to the differential systems \(- x'(t)\in Ax(t)+ F(t, x(t))\), \(x(0)= x_0\) and \(-x'(t)\in Ax(t)+ \text{ext } F(t, x(t))\), \(x(0)= x_0\) respectively, where ext stands for the set of extreme points. The main results state that, for every \(x_0\in \overline D\), \(S_e(x_0)\) is either a nonempty set or a nonempty, dense, \(G_\delta\)-subset of \(S(x_0)\) for the \(C(T, X)\)-topology. Here: \(T= [0, b]\); \(X\) is a Banach space; \(A: D\subseteq X\to 2^X\backslash \{\emptyset\}\) is an \(m\)-accretive operator which generates an equicontinuous semigroup of nonlinear contractions; \(F: T\times X\to 2^X\backslash\{\emptyset\}\) is a multifunction of which properties revolve around the Carathéodory properties of \(T\)-measurability and \(X\)-continuity. As an application, one obtains ``bang-bang'' type results for two parabolic control systems.