- March 2012
Digital Object Identifier (DOI)
International Standard Serial Number (ISSN)
- Pontryagin's Maximum Principle is an outstanding result for solving optimal control problems by means of optimizing a specific function on some particular variables, the so called controls. However, this is not always enough for solving all these problems. A high order maximum principle Krener (SIAM J Control Optim 15(2):256&-293, 1977) must be used in order to obtain more necessary conditions for optimality. These new conditions determine candidates to be optimal controls for a wider range of optimal control problems. Here, we focus on control-affine systems. Krener's high order perturbations are redefined following the notions introduced in Aguilar and Lewis (Proceedings of the 18th mathematical theory of networks and systems in Blacksburg, Virginia, 2008). A weaker version of Krener's high order maximum principle is stated in the framework of presymplectic geometry. As a result, the presymplectic constraint algorithm in the sense of Gotay et al. (J Math Phys 19(11):2388&-2399, 1978) can be used. We establish the connections between the presymplectic constraint algorithm and the candidates to be optimal curves obtained from the necessary conditions in Krener's high order maximum principle. In this paper we obtain weaker geometric necessary conditions for optimality of abnormal solutions than the ones in Krener (SIAM J Control Optim 15(2):256&-293, 1977) and the ones in the weak high order maximum principle. These new necessary conditions are more useful, computationally speaking, for finding curves candidate to be optimal. The theory is supported by describing specifically some of the above-mentioned conditions for some mechanical control systems.