Necessary and sufficient optimality conditions for optimization problems in function spaces and applications to control theory

Abstract

We consider an abstract formulation for optimization problems in some Lp spaces. The variables are restricted by pointwise upper and lower bounds and by finitely many equality and inequality constraints of functional type. Second-order necessary and sufficient optimality conditions are established, where the cone of critical directions is arbitrarily close to the form which is expected from the optimization in finite dimensional spaces. The results are applied to an optimal control problem governed by a partial differential equation. Finally we compare the conditions obtained by applying this abstract procedure and those ones derived by using the methods adapted to the optimal control problem.