Viability and invariance of systems on metric spaces

• Published in: Nonlinear analysis Vol. 225; p. 113133
• Main Authors: Badreddine, Zeinab, Frankowska, Hélène
• Format: Journal Article
• Language: English
• Published: Elsevier 01.12.2022
• Subjects: Mathematics; 58D25; mutational control system viability invariance optimal control Wasserstein space continuity equation Hamilton-Jacobi inequalities morphological control system AMS subject classification. 49L12; optimal control; continuity equation; viability; mutational control system; morphological control system AMS subject classification. 49L12; Hamilton-Jacobi inequalities; Wasserstein space; invariance; 49Q22; 49Q99; 54E70; 49L25
• ISSN: 0362-546X; 1873-5215
• DOI: 10.1016/j.na.2022.113133

We consider a generalized control system on a metric space and investigate necessary and sufficient conditions for viability and invariance of proper subsets, describing state constraints. Viability means that for every initial condition in the set of constraints we can find trajectories of control system starting at this condition and satisfying state constraints forever. Invariance means that every trajectory of control system starting in the set of constraints never violates them. As examples of application we consider controlled continuity equations on the metric space of Borel probability measures having compact support, endowed with the Wasserstein distance, and controlled morphological systems on the space of nonempty compacts subsets of the Euclidean space endowed with the Hausdorff metric. We also provide sufficient conditions for the existence and uniqueness of contingent solutions to the Hamilton-Jacobi-Bellman equation on proper metric spaces.