Optimal Bang-Bang Trajectories in Sub-Finsler Problem on the Cartan Group
Received 24 October 2018
2018, Vol. 14, no. 4, pp. 583-593
Author(s): Sachkov Y. L.
The Cartan group is the free nilpotent Lie group of step 3, with 2 generators. This paper studies the Cartan group endowed with the left-invariant sub-Finsler $\ell_\infty$ norm. We adopt the viewpoint of time-optimal control theory. By Pontryagin maximum principle, all sub-Finsler length minimizers belong to one of the following types: abnormal, bang-bang, singular, and
mixed. Bang-bang controls are piecewise controls with values in the vertices of the set of control parameter.
In a previous work, it was shown that bang-bang trajectories have a finite number of patterns determined by values of the Casimir functions on the dual of the Cartan algebra. In this paper we consider, case by case, all patterns of bang-bang trajectories, and obtain detailed upper bounds on the number of switchings of optimal control.
For bang-bang trajectories with low values of the energy integral, we show optimality for arbitrarily large times.
The bang-bang trajectories with high values of the energy integral are studied via a second order necessary optimality condition due to A. Agrachev and R.Gamkrelidze. This optimality condition provides a quadratic form, whose sign-definiteness is related to optimality of bangbang trajectories. For each pattern of these trajectories, we compute the maximum number of switchings of optimal control. We show that optimal bang-bang controls may have not more than 11 switchings. For particular patterns of bang-bang controls, we obtain better bounds. In such a way we improve the bounds obtained in previous works.
On the basis of results of this work we can start to study the cut time along bang-bang trajectories, i.e., the time when these trajectories lose their optimality. This question will be considered in subsequent works.
In a previous work, it was shown that bang-bang trajectories have a finite number of patterns determined by values of the Casimir functions on the dual of the Cartan algebra. In this paper we consider, case by case, all patterns of bang-bang trajectories, and obtain detailed upper bounds on the number of switchings of optimal control.
For bang-bang trajectories with low values of the energy integral, we show optimality for arbitrarily large times.
The bang-bang trajectories with high values of the energy integral are studied via a second order necessary optimality condition due to A. Agrachev and R.Gamkrelidze. This optimality condition provides a quadratic form, whose sign-definiteness is related to optimality of bangbang trajectories. For each pattern of these trajectories, we compute the maximum number of switchings of optimal control. We show that optimal bang-bang controls may have not more than 11 switchings. For particular patterns of bang-bang controls, we obtain better bounds. In such a way we improve the bounds obtained in previous works.
On the basis of results of this work we can start to study the cut time along bang-bang trajectories, i.e., the time when these trajectories lose their optimality. This question will be considered in subsequent works.
Download File PDF, 276.36 Kb |
References |
|
[1] |
Boscain, U., Chambrion, Th., and Charlot, G., “Nonisotropic |
[2] |
Berestovskii, V. N., “Homogeneous Manifolds with an Intrinsic Metric: 2”, Siberian Math. J., 30:2 (1989), |
[3] |
Berestovskii, V. N., “The Structure of Locally Compact Homogeneous Spaces with an Intrinsic Metric”, Siberian Math. J., 30:1 (1989), |
[4] |
Breuillard, E. and Le Donne, E., “On the Rate of Convergence to the Asymptotic Cone for Nilpotent Groups and Sub-Finsler Geometry”, Proc. Natl. Acad. Sci. USA, 110:48 (2013), |
[5] |
Clelland, J. N. and Moseley, Ch. G., “Sub-Finsler Geometry in Dimension Three”, Differential Geom. Appl., 24:6 (2006), |
[6] |
Cowling, M. G. and Martini, A., “Sub-Finsler Geometry and Finite Propagation Speed”, Trends in Harmonic Analysis, Springer INdAM Ser., 3, ed. M. A. Picardello, Springer, Milan, 2013, |
[7] |
Clelland, J. N., Moseley, Ch. G., and Wilkens, G. R., “Geometry of Sub-Finsler Engel Manifolds”, Asian J. Math., 11:4 (2007), |
[8] | Hakavuori, E. and Le Donne, E., Blowups and Blowdowns of Geodesics in Carnot Groups, 2018, arXiv: 1806.09375 [math.MG] |
[9] |
Le Donne, E., “A Metric Characterization of Carnot Groups”, Proc. Amer. Math. Soc., 143:2 (2015), |
[10] |
Pansu, P., “Métriques de Carnot – Carathéodory et quasiisométries des espaces symétriques de rang un”, Ann. of Math. (2), 129:1 (1989), |
[11] |
López, C. and Martínez, E., “Sub-Finslerian Metric Associated to an Optimal Control System”, SIAM J. Control Optim., 39 (2000), |
[12] |
Sachkov, Yu. L., “Exponential Mapping in Generalized Dido's Problem”, Sb. Math., 194:9 (2003), |
[13] | Agrachev, A. A. and Sachkov, Yu. L., Control Theory from the Geometric Viewpoint, Encyclopaedia Math. Sci., 87, Springer, Berlin, 2004 |
[14] | Pontryagin, L. S., Boltyanskii, V. G., Gamkrelidze, R. V., and Mishchenko, E. F., The Mathematical Theory of Optimal Processes, Wiley, New York, 1962, 360 pp. |
[15] |
Agrachev, A. A. and Gamkrelidze, R. V., “Symplectic Geometry for Optimal Control”, Nonlinear Controllability and Optimal Control, Monogr. Textbooks Pure Appl. Math., 133, ed. H. J. Sussmann, Dekker, New York, 1990, |
[16] |
Barilari, D., Boscain, U., Le Donne, E., and Sigalotti, M., “Sub-Finsler Structures from the Time-Optimal Control Viewpoint for Some Nilpotent Distributions”, J. Dyn. Control Syst., 23:3 (2017), |
[17] | Gantmacher, F. R., The Theory of Matrices: In 2 Vols., Chelsea, New York, 1959 |
[18] | Ardentov, A., Le Donne, E., and Sachkov, Yu., “A Sub-Finsler Problem on the Cartan Group”, Tr. Mat. Inst. Steklova, 2019 (to appear) |
[19] | Ardentov, A., Le Donne, E., and Sachkov, Yu., “Sub-Finsler Geodesics on the Cartan Group”, Regul. Chaotic Dyn., 2019 (to appear) |
[20] |
Sachkov, Yu., “Conjugate and Cut Time in the Sub-Riemannian Problem on the Group of Motions of a Plane”, ESAIM Control Optim. Calc. Var., 16:4 (2010), |
[21] |
Ardentov, A. A. and Sachkov, Yu. L., “Cut Time in Sub-Riemannian Problem on Engel Group”, ESAIM Control Optim. Calc. Var., 21:4 (2015), |
[22] |
Podobryaev, A. V. and Sachkov, Yu. L., “Cut Locus of a Left Invariant Riemannian Metric on |
[23] |
Butt, Y. A., Sachkov, Yu. L., and Bhatti, A. I., “Cut Locus and Optimal Synthesis in Sub-Riemannian Problem on the Lie Group |
[24] |
Podobryaev, A. V. and Sachkov, Yu. L., “Symmetric Riemannian Problem on the Group of Proper Isometries of Hyperbolic Plane”, J. Dyn. Control Syst., 24:3 (2018), |
This work is licensed under a Creative Commons Attribution-NoDerivs 3.0 Unported License