볼록 다각형 영역의 힐베르트 기하와 유클리드 평면의 Lipschitz 동등성

본 논문은 평면 \(\mathbb R^2\)에 존재하는 열린 볼록 다각형 \(P\)에 정의되는 힐베르트 거리 \(d_P\)와 표준 유클리드 거리 사이의 Lipschitz 동등성을 체계적으로 증명한다. 1. **서론**에서는 힐베르트 거리의 정의와 기존 연구 동향을 소개한다. 힐베르트 거리 \(d_C\)는 두 점 \(p,q\)를 잇는 직선이 경계 \(\partial C\)와 만나는 점 \(a,b\)를 이용해 \(d_C(p,q)=\frac12\log\frac{|a-p||b-q|}{|a-q||b-p|}\) 로 정의된다. 이 거리 공간은 일반적으로 비유클리드이며, 경계가 매끄럽고 양의 곡률을 가질 때는 하이퍼볼릭 공간과 Lipschitz 동등함을, 단순체일 때는 노름 공간과 동형임을 알려진다. 2. **예비 섹션**에서는 힐베르트 거리와 연관된 Finsler 계량 \(F_C\)를 도입한다. \(F_C(p,v)=\frac12\bigl(\frac1{t_-}+\frac1{t_+}\bigr)\)에서 \(t_\pm\)는 \(p\)에서 방향 \(v\)로 직선을 연장했을 때 경계와 만나기까지의 거리이다. 이 계량은 각 점에서 정의된 비대칭 노름이며, 거리 길이는 모든 \(C^1\) 경로에 대해 이 계량을 적분한 최소값으로 주어진다. 3. **주요 보조 명제** 두 개가 제시된다. - **명제 2.1**은 표준 정사각형 \(S=(-1,1)^2\) 내부 삼각형 \(\Delta\)에 대해 \(\Phi(x,y)=(\operatorname{atanh}x,\operatorname{atanh}y)\) 라는 비선형 사상을 정의하고, \(\Phi(\Delta)=Z\) (양쪽으로 무한히 뻗은 원뿔)임을 보인다. 이어서 모든 \((m,V)\)에 대해 \(F_S(m,V)\le \|T_m\Phi\cdot V\|_{\ell^1}\le 2F_S(m,V)\) 를 증명한다. 증명은 \(\Delta\)를 네 개의 섹터 \(S(V_i,V_{i+1})\) 로 나누고, 각 섹터마다 \(\tau_\pm\)를 직접 계산해 부등식을 얻는다. 상수 1과 2는 최적임을 구체적인 예시로 확인한다. - **명제 2.2**는 특정 삼각형 \(T\)와 그를 포함하는 사각형 \(Q\) 사이의 Finsler 계량 비교를 다룬다. \(T\subset Q\)이므로 \(F_T\ge F_Q\)는 자명하고, 반대 방향에서는 삼각형 내부의 점들을 적절히 선택해 \(\|T_m\Phi\cdot V\|\)와 \(F_T\) 사이에 일정한 상수 \(A\in(0,1]\)를 찾는다. 여기서는 기하학적 레이아웃을 이용해 각 변에 대한 거리 비율을 추정하고, Lemma 2.3의 교차 비율 성질을 활용한다. 4. **주 정리(정리 3.1)**는 위 명제들을 이용해 다각형 전체에 대한 Lipschitz 동등성을 증명한다. 다각형 \(P\)를 꼭짓점 하나를 공유하는 \(n\)개의 삼각형 \(\{T_i\}\) 로 분할한다. 각 \(T_i\)에 대해 명제 2.1의 사상 \(\Phi_i\)와 명제 2.2의 상수 \(A_i\)를 적용하면, 모든 점 \(x,y\in P\)에 대해 \