[논문 리뷰] Extension of Convex Function

Min Yan|arXiv (Cornell University)|2012. 07. 04.

Optimization and Variational Analysis참고 문헌 13인용 수 5

한 줄 요약

이 논문은 비볼록 도메인 위에서 정의된 볼록 함수를 그 볼록 코어 및 그 이상으로 확장하는 것을 조사하며, 무한대 값을 피하기 위해 헤시안 기반(국소적) 볼록성 정의를 사용한다. 이러한 확장이 존재하는 조건을 규명하며, 특히 유계 볼록 도메인에서 헤시안이 정의된 양의 정부호인 $C^2$ 함수는 유계 헤시안 한계를 유지하면서 전역적으로 확장될 수 있음을 보이고, 도메인이 1차원 낮은 구멍을 가질 경우 국소 볼록성이 전역 볼록성으로 이어지지 않음을 증명한다.

ABSTRACT

We study the local and global versions of the convexity, which is closely related to the problem of extending a convex function on a non-convex domain to a convex function on the convex hull of the domain and beyond the convex hull. We also give the parallel results for the convexity defined by positive definite Hessian.

연구 동기 및 목표

• 비볼록 도메인에서 전역 볼록성, 국소 볼록성, 구간 볼록성의 차이를 명확히 하기 위해.
• 무한대 값을 할당하지 않고, 볼록 코어를 초월해 헤시안이 정의된 양의 정부호인 $C^2$ 함수를 확장하는 문제를 다루기 위해.
• 도메인에서 국소 볼록성(양의 정부호 헤시안을 통한)이 전역 볼록성으로 이어지는지 여부를 규명하기 위해.
• 유계 볼록 도메인에서 볼록 함수를 전체 공간으로 확장하면서 헤시안 한계를 유지하는 데 필요한 충분조건을 제공하기 위해.
• 예를 들어 1차원 낮은 부분집합(예: 초평면)과 같은 위상적 장애물이 국소 볼록성이 전역 볼록성으로 이어지지 못하게 하는 방식을 조사하기 위해.

제안 방법

• 볼록성, 국소 볼록성(Hessian 기반), 구간 볼록성을 정의하며, 볼록 조합과 헤시안의 양의 정부호성에 기반한다.
• Peters와 Wakker의 볼록 확장 결과를 재구성하여 무한대 값을 피함으로써 실용적인 해석적 응용이 가능하도록 한다.
• $C^2$ 정규성과 헤시안 분석을 활용해 헤시안 한계가 제어되는 확장을 구성하며, 특히 볼록 코어를 초월해 전역 확장이 가능하기 위해 리프시츠 연속성이 필수적이고 충분함을 증명한다.
• 매끄러운 컷오프 함수 $\beta$를 사용해 이차 함수와 변형 항을 결합함으로써, 1차원 하위다양체 주변에서 양의 정부호 헤시안을 확보한다.
• 아핀 변환과 국소 좌표계를 적용해 기하학적 복잡성을 줄이고, 핵심 케이스에서 반례를 구성한다.
• 횡단 교차와 직선의 비연결 성분을 포함한 위상적 추론을 통해, 1차원 낮은 장애물이 존재할 경우 국소 볼록성이 전역 볼록성으로 이어지지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 비볼록 도메인에서 헤시안이 정의된 양의 정부호인 $C^2$ 함수가 전체 공간에서 헤시안이 정의된 양의 정부호인 $C^2$ 함수로 확장될 수 있는 조건은 무엇인가?
• RQ2 1차원 낮은 구멍이 있는 도메인에서, 헤시안 기반 국소 볼록성(양의 정부호 헤시안)이 전역 볼록성으로 이어지는가?
• RQ3 헤시안이 $A\|v\|^2$와 $B\|v\|^2$ 사이에 유계인 컴팩트 볼록 도메인에서 정의된 $C^2$ 함수는 전체 공간으로 동일한 헤시안 한계를 유지하면서 확장될 수 있는가?
• RQ4 도메인이 볼록이 아닐 경우, 볼록성, 국소 볼록성, 구간 볼록성 간의 관계는 어떻게 되는가?
• RQ5 어떤 위상적 장애물이 국소 볼록 함수가 전역 볼록이 되는 것을 막는가?

주요 결과

• 유계 볼록 도메인에서 헤시안이 정의된 양의 정부호인 $C^2$ 함수는 전체 공간으로 확장될 수 있으며, 그 헤시안이 정의된 양의 정부호일 조건은 함수가 리프시츠 연속일 때에만 성립한다.
• 헤시안 기반 볼록성(국소 볼록성)이 도메인이 1차원 낮은 장애물을 가질 경우 전역 볼록성으로 이어지지 않음을, 양의 정부호 헤시안을 가지지만 볼록이 아닌 $C^2$ 함수를 구성함으로써 입증한다.
• 도메인이 2차원 이상 낮은 부분집합을 제거한 후 볼록이 되는 경우, 전역 볼록성, 국소 볼록성, 구간 볼록성의 세 유형이 동치가 된다.
• 도메인이 1차원 낮은 부분집합(예: 초평면)을 제거한 후 볼록이 되는 경우, 국소 볼록성이 전역 볼록성으로 이어지지 않으며, 명시적인 반례가 구성된다.
• 특수 케이스 $A=0$, $B=+\infty$에서 헤시안 한계가 확장 과정에서 유지된다는 추측은 정리 4.4에서 확인된다.
• 국소 볼록이지만 전역 볼록이 아닌 함수의 구성은 매끄러운 컷오프 함수 $\beta$와 양의 정부호 헤시안을 유지하지만 볼록성을 깨뜨리는 변형 항을 활용한다.