Second-order optimality conditions for boundary control problems with mixed pointwise constraints (Q2821801)

The article concerns a semilinear elliptic optimal control problem with mixed pointwise constraints. The performance functional is given in integral form, the integrands are Carathéodory functions depending on the control \(u(x)\) and the state \(y(x)\) and the system is governed by a second-order elliptic equation with mixed constraints -- involving \(u(x)\) and \(y(x)\) -- on the boundary. The purpose of the research is to provide, for this problem, second order optimality conditions without a gap between second-order necessary optimality conditions and second-order sufficient optimality conditions. The first part of the paper deals with a presentation of abstract optimal control problems and basics in variational analysis. The authors introduce a set of special restrictions on parameters, coefficients and functions appearing in the stated control problem. Under the assumption that these restrictions are fulfilled, second order necessary optimality conditions as well as second-order sufficient optimality conditions are proved. There is a large discussion on the ``non gap'' case. The way the obtained necessary and sufficient conditions are used is shown in practical examples.