×

Second order necessary conditions for endpoints-constrained optimal control problems on Riemannian manifolds. (English) Zbl 1458.49017

A Mayer optimal control problem with finitely many endpoint constraints is considered. The aim of the paper is the derivation of second order necessary optimality conditions for excluding non optimal critical controls satisfying the Pontryagin maximum principle ( Theorem 2.1). The big challenge of the paper is the assumption that the trajectories belong to a smooth \(n\)-dimensional Riemannian manifold. In the contrary to the Euclidean case the Riemannian curvature tensor applied to the arguments co-state \(p^\ell\), \(X_u\),\(f[t]\) and \(X_u\) occurs in the correlated integral inequality condition of second order (Theorem 2.2). Here \(f[t]\) is the right hand side of the state equation at the found candidates for the control \(\bar u(\cdot)\) and the state \(\bar x(\cdot)\). \(X_u(t)\) is an element of the tangent space at \(\bar x(t)\) of the Riemannian surface satisfying the linearized state equation at \(\bar x(t),\bar u(t)\) with the additional summand \(f[t]-f(t,\bar x(t),u(t))\). Applying some second order needle variation a quasi point-wise condition of second order is proven. Quasi point-wise means that in the condition occurs also some integral term containing the Riemannian curvature tensor. A main role in the proofs plays the construction of convex sets (Lemma 4.1–Lemma 4.4), along critical directions \(X_u\) w.r.t. second order variation for applying separation arguments to get second order necessary conditions. Further, compactness and convexity conditions used in former papers for the control set are not needed here. Some computed examples illustrate the found second order conditions. The main results are proven in detail. For Theorem 2.1. only a sketch of the proof is given. The interested reader should be very familiar with calculus and correlated notations in Riemannian manifolds and the known constructions of second order conditions for control problems over Euclidean spaces. The proofs are mainly self-content.

MSC:

49K15 Optimality conditions for problems involving ordinary differential equations
58E25 Applications of variational problems to control theory
49K30 Optimality conditions for solutions belonging to restricted classes (Lipschitz controls, bang-bang controls, etc.)
93C15 Control/observation systems governed by ordinary differential equations
49K27 Optimality conditions for problems in abstract spaces

References:

[1] Agrachev, A. A.; Sachkov, Y. L., Control theory and optimization, II, (Control Theory from the Geometric Viewpoint. Control Theory from the Geometric Viewpoint, Encyclopaedia of Mathematical Sciences, vol. 87 (2004), Springer-Verlag: Springer-Verlag Berlin), MR 2062547 · Zbl 1062.93001
[2] Bernstein, D. S., A systematic approach to higher-order necessary conditions in optimization theory, SIAM J. Control Optim., 22, 2, 211-238 (1984), MR 732425 · Zbl 0552.90094
[3] Cui, Q.; Deng, L.; Zhang, X., Second order optimality conditions for optimal control problems on Riemannian manifolds, ESAIM Control Optim. Calc. Var., 25 (2019), MR 4003463 · Zbl 1444.49012
[4] Deng, L., Dynamic programming principle of control systems on manifolds and its relations to maximum principle, J. Math. Anal. Appl., 434, 1, 915-938 (2016), MR 3404593 · Zbl 1327.49042
[5] do Carmo, M. P., Riemannian Geometry, Mathematics: Theory & Applications (1992), Birkhäuser Boston, Inc.: Birkhäuser Boston, Inc. Boston, MA, Translated from the second Portuguese edition by Francis Flaherty. MR 1138207 · Zbl 0752.53001
[6] Evans, L. C.; Gariepy, R. F., Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics (1992), CRC Press: CRC Press Boca Raton, FL, MR 1158660 · Zbl 0804.28001
[7] Gilbert, E. G.; Bernstein, D. S., Second-order necessary conditions in optimal control: accessory-problem results without normality conditions, J. Optim. Theory Appl., 41, 1, 75-106 (1983), MR 718039 · Zbl 0497.49018
[8] Helgason, S., Differential Geometry and Symmetric Spaces, Pure and Applied Mathematics, vol. XII (1962), Academic Press: Academic Press New York-London, MR 0145455 · Zbl 0122.39901
[9] Kobayashi, S.; Nomizu, K., Foundations of Differential Geometry. Vol I (1963), Interscience Publishers, a Division of John Wiley & Sons: Interscience Publishers, a Division of John Wiley & Sons New York-London, MR 0152974 · Zbl 0119.37502
[10] Ledzewicz, U.; Schättler, H., A high-order generalized local maximum principle, SIAM J. Control Optim., 38, 3, 823-854 (2000), MR 1756897 · Zbl 0954.49015
[11] Lee, J. M., An introduction to curvature, (Riemannian Manifolds. Riemannian Manifolds, Graduate Texts in Mathematics, vol. 176 (1997), Springer-Verlag: Springer-Verlag New York), MR 1468735 · Zbl 0905.53001
[12] Li, X. J.; Yong, J. M., Optimal Control Theory for Infinite-Dimensional Systems, Systems & Control: Foundations & Applications (1995), Birkhäuser Boston, Inc.: Birkhäuser Boston, Inc. Boston, MA, MR 1312364
[13] Lou, H., Second-order necessary/sufficient conditions for optimal control problems in the absence of linear structure, Discrete Contin. Dyn. Syst., Ser. B, 14, 4, 1445-1464 (2010), MR 2679650 · Zbl 1219.49016
[14] Osmolovskii, N. P., Necessary second-order conditions for a weak local minimum in a problem with endpoint and control constraints, J. Math. Anal. Appl., 457, 2, 1613-1633 (2018), MR 3705369 · Zbl 1376.49030
[15] Páles, Z.; Zeidan, V., Optimal control problems with set-valued control and state constraints, SIAM J. Optim., 14, 2, 334-358 (2003), MR 2048167 · Zbl 1041.49025
[16] Petersen, P., Riemannian Geometry, Graduate Texts in Mathematics, vol. 171 (2006), Springer: Springer New York, MR 2243772 · Zbl 1220.53002
[17] Rockafellar, R. T., Convex Analysis, Princeton Mathematical Series, vol. 28 (1970), Princeton University Press: Princeton University Press Princeton, N.J., MR 0274683 · Zbl 0202.14303
[18] Schättler, H.; Ledzewicz, U., Theory, methods and examples, (Geometric Optimal Control. Geometric Optimal Control, Interdisciplinary Applied Mathematics, vol. 38 (2012), Springer: Springer New York), MR 2798273 · Zbl 1237.49046
[19] Warga, J., Optimal Control of Differential and Functional Equations (1972), Academic Press: Academic Press New York-London, MR 0372708 · Zbl 0253.49001
[20] Warga, J., A second-order condition that strengthens Pontryagin’s maximum principle, J. Differ. Equ., 28, 2, 284-307 (1978), MR 0513535 · Zbl 0346.49012
[21] Chern, S. S.; Wu, H.; Yu, Y. L., An Introduction to Riemannian Geometry (1989), Press of Peking University: Press of Peking University Beijing, (in Chinese)
[22] Yong, J. M., A note on the paper: “A short proof of Liapounoff”s convexity theorem”, J. Math. Mech.. J. Math. Mech., J. Math. Res. Exposition, 4, 2, 4-972 (1984), MR 842827
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.