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.

Strong metric (sub)regularity in optimal control

Strong Metric Subregularity of the optimality mapping and second-order sufficient optimality conditions in extremal problems with constraints

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

Analysis of Unregularized Optimal Control Problems Constrained by the Boussinesq System

Generalized Metric Subregularity with Applications to High-Order Regularized Newton Methods

A Survey of Optimal Control Problems Evolved on Riemannian Manifolds

A Weak Maximum Principle for Discrete Optimal Control Problems with Mixed Constraints

Linear Convergence of ADMM under Metric Subregularity for Distributed Optimization.

Sobolev Metrics on Spaces of Discrete Regular Curves

Smoothness of Subgradient Mappings and Its Applications in Parametric Optimization

Partially Observed Optimal Stochastic Control: Regularity, Optimality, Approximations, and Learning

On Almost Regular Mappings

Completeness of Riemannian metrics: an application to the control of constrained mechanical systems

Metric Subregularity of Subdifferential and KL Property of Exponent 1/2.

Metric Subregularity And/or Calmness of the Normal Cone Mapping to the P -Order Conic Constraint System

Metric quasiconformality and Sobolev regularity in non-Ahlfors regular spaces

Second Order Optimality Conditions for Optimal Control Problems on Riemannian Manifolds

Robustness of Stochastic Optimal Control to Approximate Diffusion Models under Several Cost Evaluation Criteria

Regularity Properties of Optimization-Based Controllers

Optimal control on distributions

Optimal control of a non-smooth elliptic PDE with non-linear term acting on the control