다각형의 미켈스키 함수로 보는 경계 거리

초록

본 논문은 원점이 내부에 있는 볼록 다각형 K의 미켈스키 함수(게이지) γ를 이용해 정의한 거리 함수 ρ(x)=min_{y∈∂U}γ(x−y)의 정규성(미분가능성·연속성)을 연구한다. γ와 그 극점 집합 K° 사이의 상호관계, 법선 원뿔, 부분미분을 정리하고, ∂K가 C^{k,α}인 경우와 다각형 자체인 경우에 대한 구체적인 정규성 결과를 제시한다. 또한 몇몇 전형적인 예를 통해 기존 유클리드 거리와는 다른 새로운 현상을 보여준다.

상세 분석

논문은 먼저 볼록 집합 K⊂ℝⁿ(내부에 원점 포함)의 게이지 함수 γ_K를 정의하고, γ와 그 극점 집합 K°의 지원함수 h_K 사이의 동치 γ(x)=h_{K°}(x), γ°(x)=h_K(x) 등을 정리한다. 이를 통해 내적 부등식 ⟨x,y⟩≤γ(x)γ°(y)와 같은 기본적인 쌍대 관계를 얻는다. 이후 법선 원뿔 N(K,x)와 부분미분 ∂γ(x)의 구조를 상세히 분석한다. 특히 x∈∂K일 때 ∂γ(x)=N(K,x/γ(x))∩∂K°임을 보이며, 이는 γ가 x에서 미분가능하면 Dγ(x)∈∂K°이고 ⟨Dγ(x),x⟩=γ(x)라는 중요한 식을 도출한다.

다음으로 K가 다각형(polytope)일 때의 특수성을 탐구한다. 다각형의 각 면(face)·정점·극점 사이의 대응관계를 이용해 N(K,z)∩∂K°가 K°의 (n−k−1) 차원 면(face)임을 보인다(여기서 k는 z가 포함된 최소 차원 면의 차원). 이 결과는 γ가 해당 면 내부에서는 C^{∞}이며, 면의 경계(즉, K의 특이점)에서는 비미분가능하거나 서브그라디언트가 다중값을 갖는다는 사실을 직관적으로 설명한다.

거리 함수 ρ(x)=d_K(x,∂U)=min_{y∈∂U}γ(x−y) 를 정의하고, 이는 Hamilton‑Jacobi 방정식 γ°(Dρ)=1(내부)·ρ=0(경계)의 유일한 점성해임을 언급한다. 식 (3.3)에서 보여지는 Lipschitz 연속성은 γ의 1‑동차성에서 바로 얻어지며, ρ가 거의 모든 점에서 미분가능하고, 미분가능하지 않은 점은 최소점이 두 개 이상 존재하는 경우(다중 ρ‑closest point)로 특징지어진다.

논문은 이러한 일반 이론을 바탕으로 몇 가지 구체적인 예(예: 정육면체, 정다각형, 비대칭 다각형 등)를 계산한다. 예제에서는 γ가 비대칭이므로 거리 등고선이 비등방성(anisotropic) 형태를 띠고, 특정 방향에서는 평평한 영역(flat region)이 나타나는 등, 유클리드 거리에서는 불가능한 현상이 드러난다. 특히, γ°가 선형 구간을 갖는 경우 ρ의 그래디언트가 불연속적으로 점프하는 현상이 관찰되며, 이는 최적 전송 문제나 로봇 매니퓰레이션 등 응용 분야에서 중요한 의미를 가진다.

전체적으로 논문은 미켈스키 함수와 그 극점 집합 사이의 쌍대 구조를 이용해 거리 함수의 정규성을 체계적으로 분석하고, 다각형이라는 구체적 사례를 통해 새로운 기하학적·분석적 현상을 제시함으로써, 비유클리드 거리 이론 및 Finsler‑형 거리 함수 연구에 중요한 기여를 한다.