Second-order optimality conditions for weak and strong local solutions of parabolic optimal control problems (Q269817)

The paper refers to an optimal control problem involving a semilinear parabolic state equation, pointwise control constraints and a quadratic performance functional. As state of the system, the weak solution \(y\) of the parabolic equation is considered. The control \(u\) is assumed to be a bounded measurable function and the reaction nonlinear term in the parabolic equation is assumed to be a Carathéodory function satisfying additional conditions. The aim of the paper is a survey on second-order conditions, which are sufficient for the local optimality of stationary solutions to the problem. Existence and uniqueness of the state \(y\) for a given control \(u\) and differentiability of the control-to-state mapping are discussed first, followed by a presentation of first-order and second-order necessary optimality conditions. Further, the authors concentrate on sufficient second-order conditions and a large discussion is devoted to the case of a vanishing Tikhonov regularization parameter in the cost functional. Different second-order conditions are then applied to proving results on stability of optimal solutions with respect to certain perturbations of the data in the optimal control problem.