Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-24T13:47:42.419Z Has data issue: false hasContentIssue false
  • English
  • Français

Hölder equivalence of the value functionfor control-affine systems∗

Published online by Cambridge University Press:  08 August 2014

Dario Prandi
Dario Prandi*
Affiliation:
LSIS, Université de Toulon, 83957 La Garde cedex, France. [email protected] Centre National de Recherche Scientifique (CNRS), CMAP, École Polytechnique, Route de Saclay, 91128 Palaiseau cedex, France Team GECO, INRIA-Centre de Recherche Saclay, France
Get access

Abstract

We prove the continuity and the Hölder equivalence w.r.t. an Euclidean distance of the value function associated with the L1 cost of the control-affine system q̇ = f0(q) + ∑j=1m uj fj(q), satisfying the strong Hörmander condition. This is done by proving a result in the same spirit as the Ball–Box theorem for driftless (or sub-Riemannian) systems. The techniques used are based on a reduction of the control-affine system to a linear but time-dependent one, for which we are able to define a generalization of the nilpotent approximation and through which we derive estimates for the shape of the reachable sets. Finally, we also prove the continuity of the value function associated with the L1 cost of time-dependent systems of the form q̇ = ∑j=1m uj fjt(q).

Keywords

Control-affine systemstime-dependent systemssub-Riemannian geometryvalue functionBall–Box theoremnilpotent approximation
Type
Research Article
Information
ESAIM: Control, Optimisation and Calculus of Variations , Volume 20 , Issue 4 , October 2014 , pp. 1224 - 1248
Copyright
© EDP Sciences, SMAI, 2014

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

A. Agrachev, D. Barilari and U. Boscain, Introduction to Riemannian and sub-Riemannian geometry (Lecture Notes). http://people.sissa.it/agrachev/agrachev˙files/notes.htm (2012). Google Scholar
Agrachev, A., Boscain, U., Gauthier, J.-P. and Rossi, F., The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups. J. Funct. Anal. 256 (2009) 2621–2655. Google Scholar
Agrachev, A. and Lee, P.W.Y., Continuity of optimal control costs and its application to weak KAM theory. Calc. Var. Partial Differ. Equ. 39 (2010) 213–232. Google Scholar
Agrachev, A.A., Boscain, U., Charlot, G., Ghezzi, R. and Sigalotti, M., Two-dimensional almost-Riemannian structures with tangency points. Ann. Inst. Henri Poincaré Anal. Non Linéaire 27 (2010) 793–807. Google Scholar
A.A. Agrachev and Y.L. Sachkov, Control theory from the geometric viewpoint. Control Theory and Optimization II. Vol. 87 of Encycl. Math. Sci. Springer-Verlag, Berlin (2004). Google Scholar
Agrachev, A., Boscain, U. and Sigalotti, M., A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds. Discrete Contin. Dyn. Syst. 20 (2008) 801–822. Google Scholar
Barbero-Liñán, M. and Sigalotti, M., High-order sufficient conditions for configuration tracking of affine connection control systems. Syst. Control Lett. 59 (2010) 491–503. Google Scholar
A. Bellaïche, The tangent space in sub-Riemannian geometry. In Sub-Riemannian geometry. Vol. 144 of Progr. Math. Birkhäuser, Basel (1996) 1–78. Google Scholar
Bianchini, R.M. and Stefani, G., Graded approximations and controllability along a trajectory. SIAM J. Control Optim. 28 (1990) 903–924. Google Scholar
Bianchini, R.M. and Stefani, G.. Time-optimal problem and time-optimal map. Rend. Sem. Mat. Univ. Politec. Torino 48 (1992) 401–429 (1990). Google Scholar
Boscain, U. and Mason, P., Time minimal trajectories for a spin 1 / 2 particle in a magnetic field. J. Math. Phys. 47 (2006) 062101, 29. Google Scholar
Boscain, U. and Charlot, G., Resonance of minimizers for n-level quantum systems with an arbitrary cost. ESAIM: COCV 10 (2004) 593–614. Google Scholar
Boscain, U., Charlot, G., Gauthier, J.-P., Guérin, S., and Jauslin, H.-R., Optimal control in laser-induced population transfer for two- and three-level quantum systems. J. Math. Phys. 43 (2002) 2107–2132. Google Scholar
F. Bullo and A. D. Lewis, Geometric control of mechanical systems. Modeling, analysis, and design for simple mechanical control systems. Vol. 49 of Texts Appl. Math. Springer-Verlag, New York (2005). Google Scholar
Chitour, Y., Jean, F. and Trélat, E., Singular trajectories of control-affine systems. SIAM J. Control Optim. 47 (2008) 1078–1095. Google Scholar
J.-M. Coron, Control and nonlinearity. Vol. 136 of Math. Surv. Monogr. American Mathematical Society, Providence, RI (2007). Google Scholar
D. D’Alessandro, Introduction to quantum control and dynamics. Chapman & Hall/CRC Appl. Math. Nonl. Sci. Series. Chapman & Hall/CRC, Boca Raton, FL (2008). Google Scholar
D’Alessandro, D. and Dahleh, M., Optimal control of two-level quantum systems. IEEE Trans. Automat. Control 46 (2001) 866–876. Google Scholar
Drager, L.D., Lee, J.M., Park, E. and Richardson, K., Smooth distributions are finitely generated. Ann. Global Anal. Geom. 41 (2012) 357–369. Google Scholar
Folland, G.B. and Stein, E.M., Estimates for the \hbox{$\bar \partial \sb{b}$} complex and analysis on the Heisenberg group. Comm. Pure Appl. Math. 27 (1974) 429–522. Google Scholar
H. Frankowska, Value function in optimal control, in Mathematical control theory, Part 1, 2 (Trieste, 2001), vol. 8 of ICTP Lect. Notes. Abdus Salam Int. Cent. Theoret. Phys., Trieste (2002) 516–653 (electronic). Google Scholar
Gauthier, J.-P. and Zakalyukin, V., On the codimension one motion planning problem. J. Dyn. Control Syst. 11 (2005) 73–89. Google Scholar
Gauthier, J.-P. and Zakalyukin, V., On the motion planning problem, complexity, entropy, and nonholonomic interpolation. J. Dyn. Control Syst. 12 (2006) 371–404. Google Scholar
Hermes, H., Nilpotent and high-order approximations of vector field systems. SIAM Rev. 33 (1991) 238–264. Google Scholar
Jean, F., Complexity of nonholonomic motion planning. Int. J. Control 74 (2001) 776–782. Google Scholar
Jean, F., Uniform estimation of sub-Riemannian balls. J. Dynam. Control Systems 7 (2001) 473–500. Google Scholar
Jean, F., Entropy and complexity of a path in sub-Riemannian geometry. ESAIM: COCV 9 (2003) 485–508. Google Scholar
D. Jerison and A. Sánchez-Calle, Subelliptic, second order differential operators, in Complex analysis, III (College Park, Md., 1985–86). Vol. 1277 of Lect. Notes Math. Springer, Berlin (1987) 46–77. Google Scholar
V. Jurdjevic, Geometric control theory. Vol. 52 of Cambridge Stud. Adv. Math. Cambridge University Press, Cambridge (1997). Google Scholar
Mitchell, J., On Carnot−Carathéodory metrics. J. Differ. Geom. 21 35–45, 1985. Google Scholar
Romero-Meléndez, C., Gauthier, J.P. and Monroy-Pérez, F., On complexity and motion planning for co-rank one sub-Riemannian metrics. ESAIM: COCV 10 (2004) 634–655. Google Scholar
Rothschild, L.P. and Stein, E.M., Hypoelliptic differential operators and nilpotent groups. Acta Math. 137 (1976) 247–320. Google Scholar
San Martín, J., Takahashi, T. and Tucsnak, M., A control theoretic approach to the swimming of microscopic organisms. Quart. Appl. Math. 65 (2007) 405–424. Google Scholar
Sussmann, H.J., Some properties of vector field systems that are not altered by small perturbations. J. Differ. Equ. 20 (1976) 292–315. Google Scholar
H.J. Sussmann, Some recent results on the regularity of optimal cost functions, in Proc. of the Berkeley-Ames conference on nonlinear problems in control and fluid dynamics (Berkeley, Calif. (1983)), Lie Groups: Hist., Frontiers and Appl. Ser. B: Systems Inform. Control, II. Math Sci Press. Brookline, MA (1984) 429–434. Google Scholar
Sussmann, H.J., A general theorem on local controllability. SIAM J. Control Optim. 25 (1987) 158–194. Google Scholar
Sussmann, H.J., Regular synthesis for time-optimal control of single-input real analytic systems in the plane. SIAM J. Control Optim. 25 (1987) 1145–1162. Google Scholar
Trélat, E., Some properties of the value function and its level sets for affine control systems with quadratic cost. J. Dyn. Control Systems 6 (2000) 511–541. Google Scholar