Hölder equivalence of the value function for control-affine systems

Dario Prandi

ESAIM: Control, Optimisation and Calculus of Variations (2014)

  • Volume: 20, Issue: 4, page 1224-1248
  • ISSN: 1292-8119

Abstract

top
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 ujfj(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).

How to cite

top

Prandi, Dario. "Hölder equivalence of the value function for control-affine systems." ESAIM: Control, Optimisation and Calculus of Variations 20.4 (2014): 1224-1248. <http://eudml.org/doc/272783>.

@article{Prandi2014,
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 ujfj(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).},
author = {Prandi, Dario},
journal = {ESAIM: Control, Optimisation and Calculus of Variations},
keywords = {control-affine systems; time-dependent systems; sub-riemannian geometry; value function; Ball–Box theorem; nilpotent approximation; sub-Riemannian geometry; ball-box theorem},
language = {eng},
number = {4},
pages = {1224-1248},
publisher = {EDP-Sciences},
title = {Hölder equivalence of the value function for control-affine systems},
url = {http://eudml.org/doc/272783},
volume = {20},
year = {2014},
}

TY - JOUR
AU - Prandi, Dario
TI - Hölder equivalence of the value function for control-affine systems
JO - ESAIM: Control, Optimisation and Calculus of Variations
PY - 2014
PB - EDP-Sciences
VL - 20
IS - 4
SP - 1224
EP - 1248
AB - 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 ujfj(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).
LA - eng
KW - control-affine systems; time-dependent systems; sub-riemannian geometry; value function; Ball–Box theorem; nilpotent approximation; sub-Riemannian geometry; ball-box theorem
UR - http://eudml.org/doc/272783
ER -

References

top
  1. [1] 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). Zbl1236.53030
  2. [2] A. Agrachev, U. Boscain, J.-P. Gauthier and F. Rossi, The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups. J. Funct. Anal.256 (2009) 2621–2655. Zbl1165.58012MR2502528
  3. [3] A. Agrachev and P.W.Y. Lee, Continuity of optimal control costs and its application to weak KAM theory. Calc. Var. Partial Differ. Equ.39 (2010) 213–232. Zbl1203.49041MR2659686
  4. [4] A.A. Agrachev, U. Boscain, G. Charlot, R. Ghezzi and M. Sigalotti, Two-dimensional almost-Riemannian structures with tangency points. Ann. Inst. Henri Poincaré Anal. Non Linéaire27 (2010) 793–807. Zbl1192.53029MR2629880
  5. [5] 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). Zbl1062.93001MR2062547
  6. [6] A. Agrachev, U. Boscain and M. Sigalotti, A Gauss-Bonnet-like formula on two-dimensional almost-Riemannian manifolds. Discrete Contin. Dyn. Syst.20 (2008) 801–822. Zbl1198.49041MR2379474
  7. [7] M. Barbero-Liñán and M. Sigalotti, High-order sufficient conditions for configuration tracking of affine connection control systems. Syst. Control Lett.59 (2010) 491–503. Zbl1198.93100MR2724913
  8. [8] 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. Zbl0862.53031MR1421822
  9. [9] R.M. Bianchini and G. Stefani, Graded approximations and controllability along a trajectory. SIAM J. Control Optim.28 (1990) 903–924. Zbl0712.93005MR1051629
  10. [10] R.M. Bianchini and G. Stefani. Time-optimal problem and time-optimal map. Rend. Sem. Mat. Univ. Politec. Torino 48 (1992) 401–429 (1990). Zbl0776.49003MR1199082
  11. [11] U. Boscain and P. Mason, Time minimal trajectories for a spin 1 / 2 particle in a magnetic field. J. Math. Phys. 47 (2006) 062101, 29. Zbl1112.81098MR2239948
  12. [12] U. Boscain and G. Charlot, Resonance of minimizers for n-level quantum systems with an arbitrary cost. ESAIM: COCV 10 (2004) 593–614. Zbl1072.49002MR2111082
  13. [13] U. Boscain, G. Charlot, J.-P. Gauthier, S. Guérin, and H.-R. Jauslin, Optimal control in laser-induced population transfer for two- and three-level quantum systems. J. Math. Phys.43 (2002) 2107–2132. Zbl1059.81195MR1893663
  14. [14] 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). Zbl1066.70002MR2099139
  15. [15] Y. Chitour, F. Jean and E. Trélat, Singular trajectories of control-affine systems. SIAM J. Control Optim.47 (2008) 1078–1095. Zbl1157.49041MR2385874
  16. [16] J.-M. Coron, Control and nonlinearity. Vol. 136 of Math. Surv. Monogr. American Mathematical Society, Providence, RI (2007). Zbl1140.93002MR2302744
  17. [17] D. D’Alessandro, Introduction to quantum control and dynamics. Chapman & Hall/CRC Appl. Math. Nonl. Sci. Series. Chapman & Hall/CRC, Boca Raton, FL (2008). Zbl1139.81001MR2357229
  18. [18] D. D’Alessandro and M. Dahleh, Optimal control of two-level quantum systems. IEEE Trans. Automat. Control46 (2001) 866–876. Zbl0993.81070MR1836496
  19. [19] L.D. Drager, J.M. Lee, E. Park and K. Richardson, Smooth distributions are finitely generated. Ann. Global Anal. Geom.41 (2012) 357–369. Zbl1243.57018MR2886203
  20. [20] G.B. Folland and E.M. Stein, Estimates for the ∂ ¯ b ∂̅b complex and analysis on the Heisenberg group. Comm. Pure Appl. Math. 27 (1974) 429–522. Zbl0293.35012MR367477
  21. [21] 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). Zbl1098.49501MR1972793
  22. [22] J.-P. Gauthier and V. Zakalyukin, On the codimension one motion planning problem. J. Dyn. Control Syst.11 (2005) 73–89. Zbl1079.53049MR2122467
  23. [23] J.-P. Gauthier and V. Zakalyukin, On the motion planning problem, complexity, entropy, and nonholonomic interpolation. J. Dyn. Control Syst.12 (2006) 371–404. Zbl1121.53025MR2233026
  24. [24] H. Hermes, Nilpotent and high-order approximations of vector field systems. SIAM Rev.33 (1991) 238–264. Zbl0733.93062MR1108590
  25. [25] F. Jean, Complexity of nonholonomic motion planning. Int. J. Control74 (2001) 776–782. Zbl1017.68138MR1832948
  26. [26] F. Jean, Uniform estimation of sub-Riemannian balls. J. Dynam. Control Systems7 (2001) 473–500. Zbl1029.53039MR1854033
  27. [27] F. Jean, Entropy and complexity of a path in sub-Riemannian geometry. ESAIM: COCV 9 (2003) 485–508. Zbl1075.53026MR1998712
  28. [28] 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. Zbl0634.35017MR922334
  29. [29] V. Jurdjevic, Geometric control theory. Vol. 52 of Cambridge Stud. Adv. Math. Cambridge University Press, Cambridge (1997). Zbl0940.93005MR1425878
  30. [30] J. Mitchell, On Carnot−Carathéodory metrics. J. Differ. Geom. 21 35–45, 1985. Zbl0554.53023MR806700
  31. [31] C. Romero-Meléndez, J.P. Gauthier and F. Monroy-Pérez, On complexity and motion planning for co-rank one sub-Riemannian metrics. ESAIM: COCV 10 (2004) 634–655. Zbl1101.93030MR2111085
  32. [32] L.P. Rothschild and E.M. Stein, Hypoelliptic differential operators and nilpotent groups. Acta Math.137 (1976) 247–320. Zbl0346.35030MR436223
  33. [33] J. San Martín, T. Takahashi and M. Tucsnak, A control theoretic approach to the swimming of microscopic organisms. Quart. Appl. Math.65 (2007) 405–424. Zbl1135.76058MR2354880
  34. [34] H.J. Sussmann, Some properties of vector field systems that are not altered by small perturbations. J. Differ. Equ.20 (1976) 292–315. Zbl0346.49036MR394756
  35. [35] 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. Zbl0607.49019MR774091
  36. [36] H.J. Sussmann, A general theorem on local controllability. SIAM J. Control Optim.25 (1987) 158–194. Zbl0629.93012MR872457
  37. [37] H.J. Sussmann, Regular synthesis for time-optimal control of single-input real analytic systems in the plane. SIAM J. Control Optim.25 (1987) 1145–1162. Zbl0696.93026MR905037
  38. [38] E. Trélat, Some properties of the value function and its level sets for affine control systems with quadratic cost. J. Dyn. Control Systems6 (2000) 511–541. Zbl0964.49021MR1778212

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.