No label defined (Q3976568)

Consider the control system \(x'=f_ 0(x)+\sum^ m_{i=1}u_ if_ i(x)\), \(x(0)=x_ 0\), where the \(f_ i\)'s are \(C^ \infty\) vector fields, the control map \(u=(u_ 1,\ldots,u_ m)\) is integrable with norm less than or equal to one and \(f_ 0(x_ 0)=0\) is a fixed point. Let \(R(x_ 0,t)\) be the reachable set at time \(t\). The minimum time map \(v:\mathbb{R}^ n\to\mathbb{R}\) is defined by \(v(x)=\inf\{t\mid x\in R(x_ 0,t)\}\), \((v(x)=\infty\) if \(x\) is not reached). The paper gives a survey of results regarding regularity properties of \(v\). These results can be summerized as (a) necessary and sufficient conditions for the continuity of \(v\), (b) Hölder continuity of \(v\), its relation to the ``growth rate of the size'' of \(R(x_ 0,t)\) and the number of Lie brackets of \(f_ 0,f_ 1,\ldots,f_ m\) needed to span \(\mathbb{R}^ n\) at \(x_ 0\), (c) sufficiency conditions for positive viscosity solutions of the Hamilton- Jacobi equation corresponding to the Hamiltonian \(H(p,x)=\langle p,f_ 0(x)\rangle+\sum^ m_{i=1}|\langle p,f_ i(x)\rangle|-1\) (the minimum time map is a ``viscosity solution'' to the Hamilton-Jacobi equation). For the entire collection see [Zbl 0743.58008].