×

Proximal characterization of the reachable set for a discontinuous differential inclusion. (English) Zbl 1210.34022

Ancona, Fabio (ed.) et al., Geometric control and nonsmooth analysis. In honor of the 73rd birthday of H. Hermes and of the 71st birthday of R. T. Rockafellar. Proceedings of the conference, Rome, Italy, June 2006. Hackensack, NJ: World Scientific (ISBN 978-981-277-606-8/hbk). Series on Advances in Mathematics for Applied Sciences 76, 270-279 (2008).
Consider the differential inclusion
\[ \dot{x}(t) \in F(x(t))\quad \text{for a.e. } t\in I=[0,\infty), \tag{1} \]
where \(F\) is a multifunction mapping \(\mathbb R^{n}\) into the subsets of \(\mathbb R^{n}.\) The reachable set of \(F\) at time \(t\geq 0\) is defined as
\[ R_{F}(t)=\{x(t): x(\cdot)\,\, \text{solves (1) on } [0,t] \text{ with } x(0)\in M\} \]
and \(G(R_{F})= \{(t,x): t\geq 0\), \(x\in R_{F}(t)\}\), where \(M\subset\mathbb R^{n}\) is a compact set. It is supposed that 6mm
(1)
\(F(x)\) is a nonempty, compact and convex set for all \(x\in\mathbb R^{n}\);
(2)
there is a constant \(c >0 \) so that \(\sup\{\|v\|:v\in F(x)\}\leq c(1+\|x\|)\) for all \(x\in\mathbb R^{n}\);
(3)
\(F(\cdot)\) is upper semicontinuous;
(4)
there is a constant \(c >0 \) such that \( H_{F}(y,y-x) - H(x,y-x)\leq K\|x-y\|^{2} \) for all \(x, y\in\mathbb R^{n}.\)
Here, \(H_{F}(x,p)=\sup\{\langle v,p\rangle: v\in F(x)\}.\) The proximal normal cone \(N_{S}^{P}\) of a closed set \(S\subset\mathbb R^{n}\) at \(x\in S\) is defined as the set of elements \(z\in\mathbb R^{n}\) for which there exists \(\sigma =\sigma(z,x)\geq\) such that \( \langle z, y-x\rangle \leq\sigma \|y-x\|^{2}\,\, \text{for all}\,\, y\in S.\)
Theorem. Assume \(F\) satisfies (1)–(4). Then the graph of its reachable set \(G(R_{F})\) is the unique closed subset \(S\) of \(I\times\mathbb R^{n}\) satisfying the following for all \((\theta,\zeta)\in N_{S}^{P}(t,x)\) and all \((t,x)\in S\): 6.5mm
(a)
\(\theta + H _{F}(x,\zeta)\geq 0\);
(b)
\(\theta +\limsup_{y\to x} H_{F}(y,\zeta)\leq 0\);
(c)
\(\lim_{T\to 0}S_{T}= M.\)
Here, \(\limsup_{y\to x}\) is the limsup of \(\delta \to 0\) with \(y= x+\delta \zeta\), \(S_{T}=\{x\in\mathbb R^{n}: (T,x)\in S\}.\)
For the entire collection see [Zbl 1154.49002].

MSC:

34A60 Ordinary differential inclusions
34A36 Discontinuous ordinary differential equations
PDFBibTeX XMLCite