2025-11-10T02:36:56.531843

The Aubin Property for Generalized Equations over $C^2$-cone Reducible Sets

Ma, Sun
This paper establishes the equivalence of the Aubin property and the strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing question in variational analysis and extends the well-known equivalence theorem for polyhedral sets to a significantly broader class of non-polyhedral cases. Our proof strategy departs from traditional variational techniques, integrating insights from convex geometry with powerful tools from algebraic topology. A cornerstone of our analysis is a new fundamental lemma concerning the local structure of the normal cone map for arbitrary closed convex sets, which reveals how the dimension of normal cones varies in the neighborhood of a boundary point. This geometric insight is the key to applying degree theory, allowing us to prove that a crucial function associated with the problem has a topological index of $\pm1$. This, via a homological version of the inverse mapping theorem, implies that the function is a local homeomorphism, which in turn yields the strong regularity of the original solution map. This result unifies and extends several existing stability results for problems such as conventional nonlinear programming, nonlinear second-order cone programming, and nonlinear semidefinite programming under a single general framework.
academic

The Aubin Property for Generalized Equations over C2C^2-cone Reducible Sets

基本信息

  • 论文ID: 2509.14194
  • 标题: The Aubin Property for Generalized Equations over C2C^2-cone Reducible Sets
  • 作者: Jiaming Ma, Defeng Sun (The Hong Kong Polytechnic University)
  • 分类: math.OC (Optimization and Control)
  • 发表时间: October 10, 2025 (arXiv v4)
  • 论文链接: https://arxiv.org/abs/2509.14194

摘要

本文建立了 C2C^2-锥可约集上广义方程的 Aubin 性质与强正则性的等价性。该结果解决了变分分析中一个长期存在的问题，将多面体集合的著名等价定理扩展到更广泛的非多面体情况。证明策略突破了传统变分技术，融合了凸几何的洞察和代数拓扑的强大工具。分析的基石是关于任意闭凸集法锥映射局部结构的新基本引理，揭示了边界点邻域内法锥维数的变化规律。这一几何洞察是应用度理论的关键，使我们能够证明与问题相关的关键函数具有拓扑指数 ±1\pm1。通过反映射定理的同调版本，这意味着该函数是局部同胚，进而产生原始解映射的强正则性。

研究背景与动机

核心问题

本文研究广义方程的解映射的稳定性质，具体考虑以下形式的广义方程： y∈ϕ(x)+NS(x)和y∈ϕ(x)+NS−1(x),x∈Rny \in \phi(x) + N_S(x) \quad \text{和} \quad y \in \phi(x) + N_S^{-1}(x), \quad x \in \mathbb{R}^n

其中 ϕ:Rn→Rn\phi: \mathbb{R}^n \to \mathbb{R}^n 是连续可微函数，S⊂RnS \subset \mathbb{R}^n 是非空闭凸集，NSN_S 是 SS 的法锥映射。

研究重要性

  1. 理论意义: Aubin性质和强正则性是变分分析中的核心概念，它们描述了解映射的不同稳定性质
  2. 应用价值: 许多优化问题都可以写成上述广义方程的形式，如KKT系统和变分不等式
  3. 历史问题: 对于多面体集合，Dontchev和Rockafellar已证明了等价性，但对于一般非多面体情况一直是开放问题

现有方法局限性

  • Dontchev-Rockafellar的方法高度依赖多面体集合的结构和相关的分段仿射法映射
  • 对于一般非多面体情况，缺乏有效的分析工具
  • 传统变分技术在处理复杂几何结构时存在困难

研究动机

文章旨在回答一个自然问题：当 SS 是 C2C^2-锥可约集时，Φ−1\Phi^{-1} 的Aubin性质与强正则性是否等价？

核心贡献

  1. 主要定理: 证明了 C2C^2-锥可约集上广义方程解映射的Aubin性质与强正则性的等价性
  2. 新几何洞察: 提出了关于闭凸集法锥映射局部结构的基本引理（引理9），揭示了边界点邻域内法锥维数的变化规律
  3. 创新证明方法: 将凸几何与代数拓扑工具相结合，特别是度理论的应用
  4. 统一框架: 将现有的非线性规划、非线性二阶锥规划和非线性半定规划的稳定性结果统一在单一框架下
  5. 技术突破: 通过拓扑指数分析和同调反映射定理，建立了局部同胚性

方法详解

任务定义

给定 C2C^2-锥可约集 SS 和 C1C^1 函数 ϕ\phi，考虑集值映射： Φ(x)=ϕ(x)+NS(x)或Φ(x)=ϕ(x)+NS−1(x)\Phi(x) = \phi(x) + N_S(x) \quad \text{或} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)

目标是证明 Φ−1\Phi^{-1} 在点 (y0,x0)∈gphΦ−1(y_0, x_0) \in \text{gph}\Phi^{-1} 附近的Aubin性质与强正则性等价。

核心技术架构

1. C2C^2-锥约化技术

利用引理7，将 C2C^2-锥可约集 SS 通过 C2C^2 同胚映射 hh 变换为标准锥 CC： h(S∩U)=C∩Vh(S \cap U) = C \cap V

2. 函数变换链

通过一系列变换将原问题转化为标准形式：

  • 原始函数 Φ−1\Phi^{-1} → 变换函数 N0−1N_0^{-1}
  • 添加严格平稳项得到 N1,N2,N3N_1, N_2, N_3
  • 最终得到形如 N(x)=A(x−ΠK(x))+ΠK(x)N(x) = A(x - \Pi_K(x)) + \Pi_K(x) 的函数

3. 度理论分析

关键定理1: 对于函数 N(x)=A(x−ΠK(x))+BΠK(x)N(x) = A(x - \Pi_K(x)) + B\Pi_K(x)，如果 NN 在 x0∈Kx_0 \in K 附近开且在 x0x_0 处离散，则 ∣ind(N,x0)∣=1|\text{ind}(N, x_0)| = 1。

证明思路:

  • 当 x0∈riKx_0 \in \text{ri}K 时，NN 在 x0x_0 附近线性，易得 ∣ind(N,x0)∣=1|\text{ind}(N, x_0)| = 1
  • 当 x0∈rbKx_0 \in \text{rb}K 时，利用引理10证明 ANK(x0)∩intTK(x0)=∅AN_K(x_0) \cap \text{int}T_K(x_0) = \emptyset
  • 通过度的局部常数性连接内点和边界点的指数

技术创新点

1. 法锥维数变化引理（引理9）

核心洞察: 对于闭凸集 KK 的边界点 x0x_0 和 u0∈rbNK(x0)u_0 \in \text{rb}N_K(x_0)，存在序列 {xi},{ui}\{x_i\}, \{u_i\} 收敛到 x0,u0x_0, u_0，使得： dim⁡NK(xi)<dim⁡NK(x0)\dim N_K(x_i) < \dim N_K(x_0)

这一结果揭示了法锥结构的局部变化规律，是度理论分析的关键。

2. 严格平稳性技术

利用引理5中的严格平稳函数类，通过引理6保持拓扑指数不变的同时简化函数结构。

3. 同调反映射定理应用

通过引理3，当函数 ff 在 x0x_0 附近开且离散，且 ∣ind(f,x0)∣=1|\text{ind}(f, x_0)| = 1 时，ff 在 x0x_0 处是局部同胚。

实验设置

本文为纯理论研究，不包含数值实验。所有结果均通过严格的数学证明获得。

实验结果

主要理论结果

定理4（主定理）: 设 S⊂RnS \subset \mathbb{R}^n 是 C2C^2-锥可约集，ϕ:Rn→Rn\phi: \mathbb{R}^n \to \mathbb{R}^n 是 C1C^1 函数。对于集值映射： Φ(x)=ϕ(x)+NS(x)或Φ(x)=ϕ(x)+NS−1(x)\Phi(x) = \phi(x) + N_S(x) \quad \text{或} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)

则 Φ−1\Phi^{-1} 在 (y0,x0)∈gphΦ−1(y_0, x_0) \in \text{gph}\Phi^{-1} 附近的Aubin性质与强正则性等价。

应用实例

  1. p-阶锥: 对于 p∈[2,∞]p \in [2,\infty]，p-阶锥是 C2C^2-锥可约的，因此结果适用于非线性p-阶锥约束优化
  2. q-阶锥: 对于 q∈[1,2]q \in [1,2]，q-阶锥（作为对偶锥）也满足条件
  3. 半定规划: 正半定锥是 C2C^2-锥可约的，统一了现有的半定规划稳定性结果

相关工作

历史发展

  1. Robinson (1980): 引入强正则性概念和线性化广义方程
  2. Dontchev-Rockafellar (1996): 证明多面体情况下的等价性
  3. Chen et al. (2025): 针对特定非线性锥规划的等价性结果

本文贡献与现有工作的关系

  • 扩展性: 将多面体结果扩展到 C2C^2-锥可约集
  • 统一性: 统一了多个特定问题的结果
  • 方法创新: 引入拓扑方法替代传统变分技术

结论与讨论

主要结论

  1. 成功建立了 C2C^2-锥可约集上广义方程的Aubin性质与强正则性等价性
  2. 提供了统一的理论框架，涵盖多种重要的优化问题类型
  3. 证明方法具有创新性，融合了几何与拓扑工具

局限性

  1. 条件限制: 结果依赖于 C2C^2-锥可约性条件，不适用于一般闭凸集
  2. 证明复杂性: 证明过程涉及多个技术步骤，理解门槛较高
  3. 开放问题: 对于任意闭凸集的情况仍然开放

未来方向

  1. 探索更一般凸集情况下的等价性
  2. 研究 C2C^2-锥可约条件的进一步放松
  3. 开发新的技术工具处理更复杂的几何结构

深度评价

优点

  1. 理论重要性: 解决了变分分析中的长期开放问题
  2. 方法创新: 成功将代数拓扑工具引入变分分析，开辟了新的研究方向
  3. 技术深度: 引理9关于法锥维数变化的洞察具有独立价值
  4. 统一框架: 将多个特定结果统一在一般理论下
  5. 证明严谨: 数学论证完整且严格

不足

  1. 适用范围: C2C^2-锥可约条件仍有一定限制性
  2. 构造性: 证明是存在性的，未提供具体的构造方法
  3. 计算复杂性: 未讨论相关算法的计算复杂性

影响力

  1. 学术价值: 为变分分析理论做出重要贡献
  2. 应用前景: 为多种优化问题提供统一的稳定性分析工具
  3. 方法启发: 拓扑方法的引入可能启发其他相关问题的研究

适用场景

  1. 非线性二阶锥规划的稳定性分析
  2. 非线性半定规划的理论研究
  3. 一般锥约束优化问题的敏感性分析
  4. 变分不等式和互补问题的研究

参考文献

论文引用了22篇重要文献，主要包括：

  • Dontchev & Rockafellar (1996): 多面体情况的经典结果
  • Robinson (1980, 1992): 强正则性和法映射的基础理论
  • Rockafellar & Wets (1998): 变分分析的标准教材
  • Chen et al. (2025): 最新的相关结果
  • 度理论和拓扑学的经典文献

本论文通过创新的拓扑方法解决了变分分析中的重要理论问题，为优化理论的发展做出了显著贡献。虽然存在一定的技术限制，但其方法论的创新和理论框架的统一性使其成为该领域的重要进展。