On the Viability and Invariance of Proper Sets under Continuity Inclusions in Wasserstein Spaces
Benoît Bonnet-Weill,Hélène Frankowska
DOI: https://doi.org/10.1137/23m1560410
IF: 2.071
2024-05-03
SIAM Journal on Mathematical Analysis
Abstract:SIAM Journal on Mathematical Analysis, Volume 56, Issue 3, Page 2863-2914, June 2024. In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the infinitesimal behavior of the underlying reachable sets, through which we show that up to a negligible set of times, every admissible velocity of a continuity inclusion can be approximately realized as the metric derivative of a solution of the dynamics, and vice versa. Building upon these results, we are able to establish necessary and sufficient geometric conditions for the viability and invariance of stationary and time-dependent constraint sets which involve a suitable notion of contingent cones in Wasserstein spaces, and presented in ascending order of generality. We then close the article by exhibiting two prototypical examples of constraint sets appearing in applications for which one can compute relevant subfamilies of contingent directions.
mathematics, applied