Optimality conditions (In Pontryagin form)