[论文解读] Parametrically prox-regular functions

Planiden, Chayne|arXiv (Cornell University)|Jan 1, 2013

Optimization and Variational Analysis参考文献 18被引用 3

一句话总结

本文将近似次可微函数（prox-regular functions）推广为参数化近似次可微函数（para-prox-regular functions），作为其扩展，从而能够分析含参数优化问题中极小化点的稳定性。通过 f-关注型 ε-局部化（f-attentive ε-localizations）的单调性对参数化近似次可微性进行表征，推广了关键实例（如近似平均函数），并放宽了强可适函数的条件，推动了对参数化优化稳定性理解的深入。

ABSTRACT

Prox-regularity is a generalization of convexity that includes all lower-C² functions. Therefore, the study of prox-regular functions provides insight on a broad spectrum of important functions. Parametrically prox-regular (para-prox-regular) functions are a further extension of this family, produced by adding a parameter. Such functions have been shown to play a key role in understanding the stability of minimizers in optimization problems. This thesis discusses para-prox-regular functions in ℝn. We begin with some basic examples of para-prox-regular functions, and move on to the more complex examples of the convex and non-convex proximal averages. We develop an alternate representation of para-prox-regular functions, related to the monotonicity of an f-attentive ε-localization as was done for prox-regular functions [25]. Levy in [18] provided proof of one implication of this relationship; we provide a characterization. We analyze two common forms of parametrized functions that appear in optimization: finite parametrized sum of functions, and finite parametrized max of functions. The example of strongly amenable functions by Poliquin and Rockafellar [27] is given, and a relaxation of its necessary conditions is presented. Some open questions and directions of further research are stated.

研究动机与目标

• 将近似次可微函数理论扩展至含参数情形，以支持对参数化优化问题的分析。
• 通过 f-关注型 ε-局部化的单调性表征参数化近似次可微函数，推广已有结果。
• 分析优化中常见的参数化结构，如函数的有限和与最大值。
• 放宽强可适函数的必要条件，扩大其在参数化优化中的适用范围。
• 识别开放问题，并为参数变分分析的未来研究指明方向。

提出的方法

• 基于 f-关注型 ε-局部化的单调性，提出参数化近似次可微函数的替代表征形式，扩展了[25]中的技术。
• 对参数化近似次可微性提供完整表征，补全了 Levy [18] 的部分结果。
• 将函数的有限参数化和与最大值作为参数化优化中的典型形式进行分析。
• 将凸与非凸近似平均函数作为参数化近似次可微函数的关键实例进行研究。
• 放宽 Poliquin 与 Rockafellar [27] 提出的强可适性必要条件，实现更广泛的应用。
• 运用变分分析与近似分析工具，研究参数变化下极小化点的稳定性。

实验结果

研究问题

• RQ1 如何将近似次可微性推广至含参数函数？其定义特性为何？
• RQ2 参数化近似次可微性与 f-关注型 ε-局部化单调性之间的确切关系是什么？
• RQ3 常见的参数化形式（如函数的有限和与最大值）如何表现出参数化近似次可微性？
• RQ4 在保持优化稳定性前提下，强可适性条件可如何放宽？
• RQ5 参数化近似次可微函数理论中仍存在哪些开放问题？

主要发现

• 通过 f-关注型 ε-局部化单调性，建立了参数化近似次可微函数的完整表征，推广了先前的局部结果。
• 在适当条件下，函数的有限参数化和与最大值被证明为参数化近似次可微函数。
• 近似平均函数（包括凸与非凸情形）被识别为参数化近似次可微函数的关键实例。
• 强可适性的必要条件被放宽，扩大了可适于稳定性分析的函数类范围。
• 该框架为分析参数化优化问题中极小化点的稳定性提供了基础。
• 识别出若干开放问题与研究方向，尤其涉及将参数化近似次可微性推广至更广泛的函数类。