j 메트릭 볼의 국소 볼록성 연구

본 논문은 유클리드 공간 ℝⁿ( n≥2 )에 정의된 j‑메트릭 j_G(x,y)=log(1+|x−y|/min{d(x),d(y)})의 볼(j‑볼)들의 국소 기하학적 성질을 체계적으로 연구한다. 서론에서는 j‑거리의 기원과 기존 연구들을 언급하며, 특히 Gehring‑Palka가 도입한 쿼시‑하이퍼볼릭 거리 k_G와의 관계 j_G≤k_G/2를 통해 j‑거리의 삼각 부등식이 일반 메트릭 공간에서 성립함을 상기한다. 2절에서는 j‑거리의 기본 성질을 정리한다. m(x,y)=min{d(x),d(y)}를 도입하고, Euclidean 구 Bⁿ와 구면 Sⁿ⁻¹을 표기법으로 정의한다. Proposition 2.1은 k_G와 j_G 사이의 비교식 k_G(x,y)≤j_G(x,y)/(1−s) (0log 2에서는 볼록성이 깨진다. 증명은 x를 (1,0,…,0)으로 정규화하고, 2차원 경우에만 고려하여 경계식 M=log(1+|z−1|) (|z|≥1)와 M=log(1+|z−1|/|z|) (|z|<1)를 이용해 원호와 원의 결합 형태를 도출한다. Theorem 3.4는 별형성에 대한 임계값을 제시한다. M∈(0,log(1+√2))이면 B_j(x,M)이 x에 대해 엄격히 별형이며, M≥log(1+√2)에서는 별형성이 파괴된다. 증명은 x를 (1,0)으로 두고, 경계가 두 원(외부 원과 내부 원)의 차집합으로 구성된다는 사실을 이용한다. 접선 조건을 통해 두 원이 수직이 되는 경우가 M=log(1+√2)임을 계산한다. Figure 1과 Example 3.5는 시각적·수치적 예시를 제공하며, M>log 2일 때 별형성이 x가 아닌 다른 점에 대해 어떻게 변하는지를 보여준다. 4절에서는 일반 영역 G에 대한 결과를 확장한다. 먼저 ∂G가 유한한 경우, B_j^G(x,M)=⋂_{z∈∂G}B_{ℝⁿ\{z\}}(x,M)임을 보인다. 각 punctured‑space 볼이 M≤log 2에서 볼록함을 이용해 교집합 역시 볼록함을 증명한다. 따라서 Theorem 1.1이 일반화된다: 모든 G와 x에 대해 M∈(0,log 2]이면 B_j(x,M)은 볼록, M∈(0,log(1+√2))이면 엄격히 별형이다. Corollary 4.2와 4.3은 바로 위 정리를 이용해 단순 연결성 및 엄격한 볼록성을 도출한다. 특히, M0에 대해 B_j(x,M)이 볼록함을 증명한다. 여기서는 영역을 D₁={z∈G: d(z)≥d(x)}와 D₂=G\D₁로 나누고, D₁이 볼록이면 D₁∩B_j(x,M)도 볼록함을 보인다. D₁이 볼록하지 않다면, 중점 c=(a+b)/2가 D₁ 외부에 위치함을 이용해 G 자체가 볼록하지 않다는 모순을 도출한다. 마지막으로, j‑볼과 쿼시‑하이퍼볼릭 볼(k‑볼)의 차이를 강조한다. Remark 4.4와 4.5는 k‑볼은 동일한 교집합 방식으로는 볼록성을 보장할 수 없으며, 구체적인 반례(G=ℝⁿ\{0,e₁\})를 제시한다. 결론적으로, 논문은 j‑메트릭이 갖는 독특한 기하학적 특성을 정량화하고, 볼록성·별형성의 정확한 임계값을 제시함으로써 메트릭 기하학, 복소해석학, 그리고 관련 응용 분야에서 j‑거리의 활용 가능성을 크게 확장한다.