Variational Properties of Decomposable Functions. Part I: Strict Epi-Calculus and Applications
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914914474393600 |
|---|---|
| author | Ouyang, Wenqing Milzarek, Andre |
| author_facet | Ouyang, Wenqing Milzarek, Andre |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_07267 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Variational Properties of Decomposable Functions. Part I: Strict Epi-Calculus and Applications Ouyang, Wenqing Milzarek, Andre Optimization and Control 90C30, 65K05, 90C06, 90C53 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. |
| title | Variational Properties of Decomposable Functions. Part I: Strict Epi-Calculus and Applications |
| topic | Optimization and Control 90C30, 65K05, 90C06, 90C53 |
| url | https://arxiv.org/abs/2311.07267 |