\(L^{\infty }\) estimates on trajectories confined to a closed subset (Q652508)

For the state-constrained differential inclusion of the form \[ \begin{cases} \dot{x}(t) \in F(t,x(t)) &\text{a.e. } t \in [S,T]; \\ x(t) \in A &\text{for all } t \in [S,T], \end{cases} \] where \(F: [S,T] \times \mathbb{R}^n \multimap \mathbb{R}^n\) is a given multimap with non-empty closed values, \(A \subset \mathbb{R}^n\) is a given closed set, the authors study the following problem. For a given ball \(r_0\mathbb{B} \subset \mathbb{R}^n\), to find a constant \(K > 0\) such that, for any \(F\)-trajectory \(\hat{x}(\cdot)\) on a closed subinterval \(I \subset [S,T],\) emanating from \(r_0\mathbb{B} \cap A,\) the following estimate holds: \[ \|\hat{x}(\cdot) - x(\cdot)\|_{L^\infty(I)} \leq K\, \max_{t \in I}\,d_A(\hat{x}(t)) \] for some feasible \(F\)-trajectory \(x(\cdot)\) (i.e., \(x(t) \in A,\) for all \(t \in I\)) with the same initial value.