Sufficient second-order conditions for bang-bang control problems

Abstract

We provide sufficient optimality conditions for optimal control problems with bang-bang controls. Building on a structural assumption on the adjoint state, we additionally need a weak second-order condition. This second-order condition is formulated with functions from an extended critical cone, and it is equivalent to a formulation posed on measures supported on the set where the adjoint state vanishes. If our sufficient optimality condition is satisfied, we obtain a local quadratic growth condition in L1(Ω)