Abstract:This work provides a systematic study of the variational properties of decomposable functions which are compositions of an outer support function and an inner smooth mapping under certain constraint qualifications. A particular focus is put on the strict twice epi-differentiability and the associated strict second subderivative of such functions. A lower bound for the strict second subderivative of decomposable functions is derived which allows linking the strict second subderivative of decomposable mappings to the simpler outer support function. Leveraging the variational properties of the support function, we establish the equivalence between the strict twice epi-differentiability of decomposable functions, continuous differentiability of the proximity operator, and the strict complementarity condition. As an application, this allows us to fully characterize the strict saddle point property of decomposable functions. In addition, an explicit formula for the strict second subderivative of decomposable functions is derived if the outer support set is sufficiently regular. This yields an alternative characterization of the strong metric regularity of the subdifferential of decomposable functions at a local minimizer. Finally, we verify that the introduced regularity conditions are satisfied by many practical functions and applications.

On an Epiderivative of Set-Valued Maps and Its Application

Directional Derivative of a Class of Set-Valued Mappings and Its Application £

On the Directonal Derivative Sets and Differentials of the Set Valued Maps

Extending the Rademacher Theorem to Set-Valued Maps

Subdifferential Calculus for Ordered Set-Valued Mappings between Infinite-Dimensional Spaces

Generalized Derivatives of Distance Functions and the Existence of Nearest Points

ε-Super Efficient Solutions of Vector Optimization Problems with Set-Valued Maps

Generalized Derivatives and Optimality Conditions in Nonconvex Optimization

Directional derivative of the value function for parametric set-constrained optimization problems

Subdifferentials of Perturbed Distance Functions in Banach Spaces

Limiting subdifferentials of perturbed distance functions in Banach spaces

On Relationship Between Convergence Ball of Euler Iteration in Banach Spaces and Its Dynamical Behavior on Riemann Spheres

Formulas for Calculating Generalized Differentials with Respect to a Set and Their Applications

Formulas for calculating of generalized differentials with respect to a set and their applications

Variational Properties of Decomposable Functions. Part I: Strict Epi-Calculus and Applications

Discrete mappings with an explicit discrete Lyapunov function related to integrable mappings

A Chain Rule for Strict Twice Epi-Differentiability and its Applications

Subdifferentials and Coderivatives of Efficient Point Multifunctions in Parametric Convex Vector Optimization

Directional subdifferential of the value function

Subdifferential calculus and ideal solutions for set optimization problems