Abstract:This is a review paper, summarizing without proofs recent results by the authors on the property of strong metric subregularity (SMSR) in optimization. It presents sufficient conditions for SMSR of the optimality mapping associated with a set of necessary optimality conditions in three types of constrained optimization problems: mathematical programming, calculus of variations, and optimal control. The conditions are based on second-order sufficient optimality conditions in the corresponding optimization problems and guarantee small changes in the optimal solution and Lagrange multipliers for small changes in the data.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore the strong metric subregularity (SMSR) property of the optimality mapping in extremum problems with constraints and its relationship with the second - order sufficient optimality conditions. Specifically: 1. **Research background and motivation**: - In optimization problems, especially in fields such as mathematical programming, calculus of variations, and optimal control, it is very important to understand the stability of the optimal solution to data perturbations. - Strong metric subregularity (SMSR) is a key property, which ensures small changes in the optimal solution and Lagrange multipliers under small data perturbations, thus guaranteeing the convergence and error estimates of many solution methods (such as discretization methods, gradient methods, Newton - type methods, etc.). 2. **Main problems**: - **Sufficient conditions for SMSR**: The main objective of the paper is to provide sufficient conditions for the SMSR property of the optimality mapping in three types of constrained optimization problems (mathematical programming, calculus of variations, and optimal control). - **Second - order sufficient optimality conditions**: These conditions are based on the second - order sufficient optimality conditions of the corresponding optimization problems, ensuring the stability and uniqueness of the optimal solution. 3. **Specific content**: - **Definitions and concepts**: The paper first defines the SMSR property of set - valued mappings in Banach spaces and introduces related assumptions and conditions, such as the Mangasarian - Fromovitz constraint qualification condition (MFCQ). - **Application areas**: Then, the paper applies these abstract results to specific optimization problems, including mathematical programming problems, calculus of variations problems, and optimal control problems with control constraints. - **Second - order conditions**: In particular, the paper discusses in detail the second - order sufficient optimality conditions, which not only ensure the existence of a weak local minimum but also provide a quadratic growth condition for the cost function in the neighborhood. In summary, this paper aims to provide a theoretical basis and practical tools for constrained optimization problems by establishing and verifying the SMSR property and its relationship with the second - order sufficient optimality conditions, so as to ensure the stability of the optimal solution and the effectiveness of the solution methods.

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

Strong metric (sub)regularity in optimal control

Optimality Conditions of Strict Minimality in Optimization Problems under Inclusion Constraints.

On the Second Order Sufficient Optimality Conditions for a Problem of Mathematical Programming

Second-order optimality conditions for general nonconvex optimization problems and variational analysis of disjunctive systems

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

Strong variational sufficiency of nonsmooth optimization problems on Riemannian manifolds

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

BCQ and Strong BCQ for Nonconvex Generalized Equations with Applications to Metric Subregularity

First- and second-order optimality conditions of nonsmooth sparsity multiobjective optimization via variational analysis

Optimality conditions for robust weakly efficient solutions in uncertain optimization

Variational Properties of Decomposable Functions. Part II: Strong Second-Order Theory

Constraint Qualifications and Optimality Conditions for Nonsmooth Semidefinite Multiobjective Programming Problems with Mixed Constraints Using Convexificators

Second-Order Strong Optimality and Second-Order Duality for Nonsmooth Constrained Multiobjective Fractional Programming Problems

Relative Well-Posedness of Constrained Systems Accompanied by Variational Calculus

Optimality conditions and subdifferential calculus for infinite sums of functions

Optimality conditions at infinity for nonsmooth minimax programming

Second-Order Necessary Conditions, Constraint Qualifications and Exact Penalty for Mathematical Programs with Switching Constraints

New second-order optimality conditions in sub-Riemannian Geometry

Strong Variational Sufficiency for Nonlinear Semidefinite Programming and its Implications

Optimality Conditions for Convex Stochastic Optimization Problems in Banach Spaces with Almost Sure State Constraints