Abstract
AbstractThis paper develops a new approach to small time local attainability of smooth manifolds of any dimension, possibly with boundary and to prove Hölder continuity of the minimum time function. We give explicit pointwise conditions of any order by using higher order hamiltonians which combine derivatives of the controlled vector field and the functions that locally define the target. For the controllability of a point our sufficient conditions extend some classically known results for symmetric or control affine systems, using the Lie algebra instead, but for targets of higher dimension our approach and results are new. We find our sufficient higher order conditions explicit and easy to compute for targets with curvature and general control systems. Some cases of nonsmooth targets are also included.
Funder
Università degli Studi di Padova
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Control and Optimization
Reference38 articles.
1. Agrachev, A.A., Gamkrelidze, R.V.: Exponential representation of flows and a chronological enumeration. Mat. Sb. (N.S.) 107(149), 532–639 (1978). (in Russian)
2. Agrachev, A.A., Gamkrelidze, R.V.: Chronological algebras and nonstationary vector fields. Problems in geometry. Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii 11, 135–176 (1980). (in Russian)
3. Agrachev, A.A., Gamkrelidze, R.V.: Local controllability and semigroups of diffeomorphisms. Acta Appl. Math. 32(1), 1–57 (1993)
4. Albano, P., Cannarsa, P., Scarinci, T.: Regularity results for the minimum time function with Hörmander vector fields. J. Differ. Equ. 264(5), 3312–3335 (2018)
5. Bacciotti, A.: Processus de Controle avec Controle Initial. In: R. Conti (eds) Proceedings of the conference on recent advances in differential equations, Trieste, Italy. Academic Press, New York, New York, pp. 23–36 (1981)