Abstract:This paper investigates solution stability properties of unregularized tracking-type optimal control problems constrained by the Boussinesq system. In our model, the controls may appear linearly and distributed in both of the equations that constitute the Boussiniesq system and in the objective functional. We establish, not only the existence of weak solutions, but also unique existence of strong solutions in $L^p$ sense for the Boussinesq system as well as its corresponding linearized and adjoint systems. The optimal control problem is then analyzed by providing the existence of an optimal control, and by establishing first-order necessary and second order sufficient conditions. Then, using assumptions on the joint growth of the first and second variations of the objective functional, we prove the strong metric Hölder subregularity of the optimality mapping, which in turn allows the study of solution stability of the optimal control and states under various linear and nonlinear perturbations. Such perturbations may appear in the Boussinesq system and the objective functional. As an application, we provide a convergence rate for the optimal solutions of the Tikhonov regularized problem as the Tikhonov parameter tends to zero. Furthermore, the obtained stability of the optimal states provides, to the best knowledge of the authors, the first result on the stability of the second-order sufficient condition in affine PDE-constrained optimization under an assumption on the desired profile which is natural for tracking-type objective functionals.

Generic Properties of Conjugate Points in Optimal Control Problems

Generic properties of conjugate points in optimal control problems

Conjugate points of dynamic pairs and control systems

Existence of Optimal Pairs for Optimal Control Problems with States Constrained to Riemannian Manifolds

Optimal control on distributions

Optimal Control on Positive Cones

New second order sufficient optimality conditions for state constrained parabolic control problems

Locally Lipschitz Stability of Solutions to a Parametric Parabolic Optimal Control Problem with Mixed Pointwise Constraints

A proximal gradient method for control problems with nonsmooth and nonconvex control cost

Hybrid Optimal Control Problems for a Class of Semilinear Parabolic Equations

Analysis of Unregularized Optimal Control Problems Constrained by the Boussinesq System

Stability in affine optimal control problems constrained by semilinear elliptic partial differential equations

On the regularity of optimal potentials in control problems governed by elliptic equations

The turnpike property in finite-dimensional nonlinear optimal control

Stability Criteria and Calculus Rules via Conic Contingent Coderivatives in Banach Spaces

Asymptotics of a Solution to an Optimal Control Problem with a Terminal Convex Performance Index and a Perturbation of the Initial Data

Conjugate points for systems of second-order ordinary differential equations

Regularity of multipliers and second-order optimality conditions for semilinear parabolic optimal control problems with mixed pointwise constraints