No label defined (Q4933795)

Trying to develop a more complete theory of the so-called dynamical polysystems introduced apparently in [\textit{G. Bushaw}, Contrib. Differential Equations, 2, 351-365 (1963; Zbl 0131.10403)], the authors introduce and study a concept of admissible funnel that, apparently, synthesizes the basic properties of the multifunction \((s,y)\mapsto S_\Phi (s,y)\) that associates to an initial point \((s,y)\in \mathbb{R} \times \mathbb{R} ^n\) the set of all noncontinuable solutions to the differential inclusion \(x'\in \Phi (t,x)\), \(x(s)=y\), defined by certain classes of orientor fields, \(\Phi (.,.)\). In the authors' setting \(C\) is the set of noncontinuable continuous mappings \(y(.):D_y=(a_y,b_y)\subset \mathbb{R} \to \mathbb{R} ^n\) which is endowed with the topology of the uniform convergence on compact intervals and an admissible funnel is defined as a multifunction \(F(.,.):\mathbb{R} \times \mathbb{R} ^n \to 2^C\) that satisfies no less than 7 axioms among which one may note semi-group and continuity properties of the attainability multifunction \(F(s,y;t):= \{x(t);\;x(.)\in F(s,y)\}\). The authors prove a number of lemmas, propositions and theorems concerning, mainly, either equivalent formulations of some axioms or abstract formulations of weakly invariance properties that seem similar to the so-called viability in the theory of differential inclusions [e.g., \textit{J. P. Aubin}, Viability theory, Boston, Birkhäuser (1991; Zbl 0755.93003)] .