Viability Theory in the 1-Wasserstein Space

Abstract

In this article, we establish necessary and sufficient viability conditions for continuity inclusions over the 1-Wasserstein space. Depending on the regularity properties of the dynamics, we derive two results which are based on fairly different proof strategies. When the admissible velocities are Lipschitz in the measure variable, we characterise viability by the nonemptiness of the intersections of the velocity sets with the graphical derivatives of the constraint map. On the other hand, when the admissible velocities are merely upper semicontinuous in the measure variable, we provide a sufficient condition for viability involving the infinitesimal behaviour of their Aumann integral in time over a neighbouring set of measures.

arXiv comment44 pages