Second order optimality conditions for bang-bang control problems

Second order necessary and sufficient optimality conditions for bang-bang control problems have been studied in Milyutin, Osmolovskii (1998). These conditions amount to testing the positive (semi-)definiteness of a quadratic form on a critical cone. The assumptions are appropriate for numerical verification only in some special cases. In this paper, we study various transformations of the quadratic form and the critical cone which will be tailored to different types of control problems in practice. In particular, by means of a solution to a linear matrix differential equation, the quadratic form can be converted to perfect squares. We demonstrate by three practical examples that the conditions obtained can be verified numerically.