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

$C^2$ -원뿔 축약 가능 집합 위의 일반화된 방정식에 대한 Aubin 성질

기본 정보

논문 ID: 2509.14194
제목: The Aubin Property for Generalized Equations over $C^2$ -cone Reducible Sets
저자: Jiaming Ma, Defeng Sun (홍콩 폴리텍 대학교)
분류: math.OC (최적화 및 제어)
발표 시간: 2025년 10월 10일 (arXiv v4)
논문 링크: https://arxiv.org/abs/2509.14194

초록

본 논문은 $C^2$ -원뿔 축약 가능 집합 위의 일반화된 방정식의 Aubin 성질과 강정규성의 동치성을 확립한다. 이 결과는 변분 분석의 오랫동안 미해결된 문제를 해결하며, 다면체 집합의 유명한 동치 정리를 더 광범위한 비다면체 경우로 확장한다. 증명 전략은 전통적인 변분 기법의 한계를 극복하고, 볼록 기하학의 통찰과 대수 위상의 강력한 도구를 융합한다. 분석의 기초는 임의의 폐볼록 집합의 법뿔 사상의 국소 구조에 관한 새로운 기본 보조정리이며, 경계점 근처에서 법뿔 차원의 변화 규칙을 밝힌다. 이 기하학적 통찰은 차수 이론 적용의 핵심이며, 문제와 관련된 핵심 함수가 위상 지수 $\pm1$ 을 갖도록 증명할 수 있게 한다. 역사상 정리의 동조 버전을 통해, 이는 함수가 국소 동형사상임을 의미하며, 원래 해 사상의 강정규성을 도출한다.

연구 배경 및 동기

핵심 문제

본 논문은 일반화된 방정식의 해 사상의 안정성 성질을 연구하며, 구체적으로 다음 형태의 일반화된 방정식을 고려한다: $y \in \phi(x) + N_S(x) \quad \text{및} \quad y \in \phi(x) + N_S^{-1}(x), \quad x \in \mathbb{R}^n$

여기서 $\phi: \mathbb{R}^n \to \mathbb{R}^n$ 은 연속 미분 가능 함수, $S \subset \mathbb{R}^n$ 은 공집합이 아닌 폐볼록 집합, $N_S$ 는 $S$ 의 법뿔 사상이다.

연구의 중요성

이론적 의의: Aubin 성질과 강정규성은 변분 분석의 핵심 개념으로, 해 사상의 서로 다른 안정성 성질을 기술한다
응용 가치: 많은 최적화 문제는 위의 일반화된 방정식 형태로 표현될 수 있으며, KKT 시스템 및 변분 부등식이 포함된다
역사적 문제: 다면체 집합의 경우 Dontchev와 Rockafellar가 동치성을 증명했으나, 일반 비다면체 경우는 오랫동안 미해결 문제였다

기존 방법의 한계

Dontchev-Rockafellar 방법은 다면체 집합의 구조와 관련 구간별 선형 법 사상에 크게 의존한다
일반 비다면체 경우에 효과적인 분석 도구가 부족하다
전통적인 변분 기법은 복잡한 기하학적 구조를 다룰 때 어려움이 있다

연구 동기

본 논문은 다음의 자연스러운 질문에 답하는 것을 목표로 한다: $S$ 가 $C^2$ -원뿔 축약 가능 집합일 때, $\Phi^{-1}$ 의 Aubin 성질과 강정규성이 동치인가?

핵심 기여

주요 정리: $C^2$ -원뿔 축약 가능 집합 위의 일반화된 방정식 해 사상의 Aubin 성질과 강정규성의 동치성을 증명
새로운 기하학적 통찰: 폐볼록 집합의 법뿔 사상의 국소 구조에 관한 기본 보조정리(보조정리 9)를 제시하며, 경계점 근처에서 법뿔 차원의 변화 규칙을 밝힘
혁신적인 증명 방법: 볼록 기하학과 대수 위상 도구를 결합하며, 특히 차수 이론의 적용
통일된 틀: 기존의 비선형 계획법, 비선형 이계 원뿔 계획법 및 비선형 반정부호 계획법의 안정성 결과를 단일 틀 아래 통일
기술적 돌파: 위상 지수 분석과 동조 역사상 정리를 통해 국소 동형사상성을 확립

방법 상세 설명

작업 정의

$C^2$ -원뿔 축약 가능 집합 $S$ 와 $C^1$ 함수 $\phi$ 가 주어질 때, 집합값 사상을 고려한다: $\Phi(x) = \phi(x) + N_S(x) \quad \text{또는} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)$

목표는 점 $(y_0, x_0) \in \text{gph}\Phi^{-1}$ 근처에서 $\Phi^{-1}$ 의 Aubin 성질과 강정규성이 동치임을 증명하는 것이다.

핵심 기술 구조

1. $C^2$ -원뿔 축약 기법

보조정리 7을 이용하여, $C^2$ -원뿔 축약 가능 집합 $S$ 를 $C^2$ 동형사상 $h$ 를 통해 표준 원뿔 $C$ 로 변환한다: $h(S \cap U) = C \cap V$

2. 함수 변환 연쇄

일련의 변환을 통해 원래 문제를 표준 형태로 변환한다:

원래 함수 $\Phi^{-1}$ → 변환 함수 $N_0^{-1}$
엄격한 평정 항을 추가하여 $N_1, N_2, N_3$ 획득
최종적으로 $N(x) = A(x - \Pi_K(x)) + \Pi_K(x)$ 형태의 함수 획득

3. 차수 이론 분석

핵심 정리 1: 함수 $N(x) = A(x - \Pi_K(x)) + B\Pi_K(x)$ 에 대해, $N$ 이 $x_0 \in K$ 근처에서 열려있고 $x_0$ 에서 이산적이면, $|\text{ind}(N, x_0)| = 1$ 이다.

증명 개요:

$x_0 \in \text{ri}K$ 일 때, $N$ 은 $x_0$ 근처에서 선형이므로 $|\text{ind}(N, x_0)| = 1$ 을 쉽게 얻는다
$x_0 \in \text{rb}K$ 일 때, 보조정리 10을 이용하여 $AN_K(x_0) \cap \text{int}T_K(x_0) = \emptyset$ 을 증명한다
차수의 국소 상수성을 통해 내부점과 경계점의 지수를 연결한다

기술적 혁신점

1. 법뿔 차원 변화 보조정리(보조정리 9)

핵심 통찰: 폐볼록 집합 $K$ 의 경계점 $x_0$ 와 $u_0 \in \text{rb}N_K(x_0)$ 에 대해, 다음을 만족하는 수열 $\{x_i\}, \{u_i\}$ 가 $x_0, u_0$ 로 수렴하도록 존재한다: $\dim N_K(x_i) < \dim N_K(x_0)$

이 결과는 법뿔 구조의 국소 변화 규칙을 밝히며, 차수 이론 분석의 핵심이다.

2. 엄격한 평정 기법

보조정리 5의 엄격한 평정 함수 클래스를 이용하고, 보조정리 6을 통해 위상 지수를 불변으로 유지하면서 함수 구조를 단순화한다.

3. 동조 역사상 정리 적용

보조정리 3을 통해, 함수 $f$ 가 $x_0$ 근처에서 열려있고 이산적이며, $|\text{ind}(f, x_0)| = 1$ 일 때, $f$ 는 $x_0$ 에서 국소 동형사상이다.

실험 설정

본 논문은 순수 이론 연구이며, 수치 실험을 포함하지 않는다. 모든 결과는 엄격한 수학적 증명을 통해 획득된다.

실험 결과

주요 이론 결과

정리 4(주요 정리): $S \subset \mathbb{R}^n$ 이 $C^2$ -원뿔 축약 가능 집합이고, $\phi: \mathbb{R}^n \to \mathbb{R}^n$ 이 $C^1$ 함수라고 하자. 집합값 사상에 대해: $\Phi(x) = \phi(x) + N_S(x) \quad \text{또는} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)$

그러면 $(y_0, x_0) \in \text{gph}\Phi^{-1}$ 근처에서 $\Phi^{-1}$ 의 Aubin 성질과 강정규성이 동치이다.

응용 사례

p-차 원뿔: $p \in [2,\infty]$ 에 대해, p-차 원뿔은 $C^2$ -원뿔 축약 가능하므로 결과는 비선형 p-차 원뿔 제약 최적화에 적용된다
q-차 원뿔: $q \in [1,2]$ 에 대해, q-차 원뿔(쌍대 원뿔로서)도 조건을 만족한다
반정부호 계획법: 양 반정부호 원뿔은 $C^2$ -원뿔 축약 가능하며, 기존의 반정부호 계획법 안정성 결과를 통일한다