We consider general non-convex optimal control problems. Many results for such problems rely on second-order sufficient optimality conditions. We propose a method to verify whether the second-order sufficient optimality conditions hold in a neighborhood of a numerical solution. This method is then applied to abstract optimal control problems. Finally, we consider an optimal control problem subj...

We prove that the notion of KT-invexity for continuous-time nonlinear optimization problem is a necessary and sufficient condition for global optimality of a KarushKuhn-Tucker point.