볼록 표면 위 거리 함수의 DC 성질과 응용

초록

볼록 표면 (X) 에서 내재적 거리의 제곱 (\operatorname{dist}^2(x,y)) 가 외부적으로 자연스러운 의미에서 DC(델타-컨벡스) 함수임을 증명한다. 또한 폐집합 (F\subset X) 로부터의 거리 제곱 (\operatorname{dist}^2(x,F)) 도 동일한 성질을 갖는다. 이를 바탕으로 (r)-경계(거리 구)와 모호점(외골격)의 구조적 특성을 기술하고, 여러 기하학적 응용을 제시한다.

상세 분석

본 논문은 유클리드 공간에 매끄럽게 삽입된 볼록 표면 (X) 에 대해, 두 점 사이의 내재적 거리 함수 (\operatorname{dist}_X(x,y)) 를 제곱한 (\operatorname{dist}^2_X(x,y)) 가 DC 함수임을 보인다. 여기서 DC 함수란 두 개의 볼록 함수의 차로 표현될 수 있는 함수를 의미한다. 저자들은 먼저 (X) 를 외부에서 바라볼 때의 자연스러운 좌표계, 즉 표면을 둘러싼 근접 평면과의 정사영을 이용해 거리 함수를 외부 변수에 대한 합성 형태로 전개한다. 이 과정에서 볼록 표면의 곡률이 비음이 아닌(즉, 외부 법선이 한쪽으로만 휘는) 특성을 활용하여, 거리 제곱이 지역적으로 두 볼록 함수의 차로 분해될 수 있음을 보인다. 핵심은 거리 제곱이 원래는 비선형이고 매끄럽지 않을 수 있지만, 볼록 표면의 기하학적 제약 하에서는 그라디언트가 제한된 변동성을 보이며, 따라서 DC 성질을 만족한다는 점이다.

또한 폐집합 (F\subset X) 로부터의 거리 제곱 (\operatorname{dist}^2_X(x,F)=\inf_{y\in F}\operatorname{dist}^2_X(x,y)) 에 대해서도 동일한 논리를 적용한다. 여기서는 최소점이 존재하고 유일함을 보장하는 볼록성(특히, 거리 함수가 볼록 집합 위에서 볼록함)을 이용해, (\operatorname{dist}^2_X(x,F)) 가 역시 두 볼록 함수의 차로 표현될 수 있음을 증명한다.

이러한 DC 성질은 여러 파생 결과를 가능하게 한다. 첫째, (r)-경계 ({x\in X\mid \operatorname{dist}_X(x,F)=r}) 가 거의 모든 점에서 매끄러운 (C¹) 곡면이 되며, 특이점은 DC 함수의 비미분점 집합에 한정된다. 둘째, 모호점(또는 외골격) (\operatorname{Amb}(F)={x\in X\mid \text{다중 최소점 존재}}) 은 DC 함수의 비정칙점과 동형인 구조를 가지므로, 차원과 측도에 관한 정밀한 추정이 가능하다. 마지막으로, DC 함수가 갖는 미분가능성 거의 전역성(아레라-라스키 정리)을 활용해, 거리 구와 모호점의 토폴로지적·측정론적 성질을 정량화한다.

전체적으로 이 연구는 볼록 표면 위 거리 함수의 미세 구조를 DC 함수 이론과 연결함으로써, 기존의 거리 함수 분석보다 더 강력하고 일반적인 결과를 제공한다는 점에서 의의가 크다.