[논문 리뷰] Geometry of Metrics

Матти Вуоринен|arXiv (Cornell University)|2011. 01. 22.

Geometric Analysis and Curvature Flows참고 문헌 55인용 수 14

한 줄 요약

이 논문은 2차원 복소해석학에서의 하이퍼볼릭 거리 개념을 등각 불변성이 성립하지 않는 $n$-차원 유클리드 공간으로 확장하고, 일반화된 거리 체계인 준하이퍼볼릭, 아폴로니우스, 및 $j_G$ 거리의 기하적 성질을 연구한다. 주요 결과로는 $j$-구가 반지름 $M \leq \log 2$일 때에만 볼록임을 보이며, 비기하학적 공간에서의 거리 구의 볼록성 및 거리 불변성에 관한 열린 문제를 제시한다.

ABSTRACT

During the past thirty years hyperbolic type metrics have become popular tools also in modern mapping theory, e.g., in the study of quasiconformal and quasiregular maps in the euclidean $n$-space. We study here several metrics that one way or another are related to modern mapping theory and point out many open problems dealing with the geometry of such metrics.

연구 동기 및 목표

• 등각 불변성이 성립하지 않는 $n$-차원 유클리드 공간으로 2차원 복소해석학에서의 하이퍼볼릭 거리 개념을 확장하는 것.
• 경계가 있는 영역에서 준하이퍼볼릭, 아폴로니우스, $j_G$ 거리와 같은 일반화된 거리의 기하적 성질을 연구하는 것.
• 비기하학적 거리 공간에서 거리 구의 볼록성 및 직경 행동을 조사하는 것.
• 구멍이 난 공간과 평면 영역에서의 거리 불변성, 구의 연결성, 거리 기하학과 관련된 열린 문제를 규명하는 것.

제안 방법

• 직선 경로 $\gamma$를 따라 $k_G(x,y) = \int_{\gamma} \frac{ds}{\delta_G(z)}$로 정의된 준하이퍼볼릭 거리 $k_G(x,y)$를 사용하며, 여기서 $\delta_G(z)$는 점 $z$에서 경계 $\partial G$까지의 거리이다.
• $j_G(x,y) = \log\left(1 + \frac{|x-y|}{\min\{\delta_G(x), \delta_G(y)\}}\right)$로 정의된 $j_G$ 거리를 분석하며, 비기하학적이고 비대칭적인 성질에 초점을 맞춘다.
• 구멍이 난 공간 $\mathbb{R}^n \setminus \{0\}$과 평면 영역에서 $j$-구와 $k$-구의 볼록성을 연구하기 위해 거리 기하학의 정리들을 적용한다.
• 비교 기하학과 거리 매립 기법을 활용하며, 특히 $({\mathbb{R}}^2\setminus\{0\}, k)$를 $\mathbb{R}^3$ 내 원기둥 표면으로 간주하는 방법을 사용한다.
• $d(x,y)^a$ 및 $d(x,y)^b$ 형태의 부등식을 이용해 새로운 거리를 정의하고 삼각 부등식 성질을 분석한다.
• 프링크 및 팔루슈킨스키–스템팩의 결과를 활용하여, 비표준 거리가 호메오멀피즘을 통해 등가 표준 거리와 연결됨을 밝힌다.

실험 결과

연구 질문

• RQ1 어떤 영역과 반지름에 대해 $j_G$-구 $B_j(x,M)$가 볼록한가?
• RQ2 작은 $M$에 대해 $j_G$-구면 $\partial B_j(0,M)$의 직경이 $2M$과 같나?
• RQ3 모든 $M \in (0, M_0]$에 대해 $k(\partial B_k(x,M)) = 2M$를 만족하는 보편적인 $M_0 > 0$가 존재하는가?
• RQ4 유한 개의 경계점을 가진 영역에서 준하이퍼볼릭 기하학에 대해余현법을 일반화할 수 있는가?
• RQ5 비기하학적 거리 공간에서 $j_G$-구가 연결되는 조건은 무엇인가?

주요 결과

• $j$-구 $B_j(x,M)$는 $\mathbb{R}^n \setminus \{0\}$에서 $M \leq \log 2$일 때에만 볼록하다.
• 모든 $M > 0$에 대해 $j_G$-구면 $\partial B_j(0,M)$의 직경은 $2M$보다 작다. 따라서 $j_G$는 기하학적 거리가 아니다.
• 구멍이 난 평면 $\mathbb{R}^2 \setminus \{0\}$에서 준하이퍼볼릭 구 $B_k(x,M)$는 $M \leq 1$일 때에만 엄격히 볼록하다.
• 구멍이 난 평면 $\mathbb{R}^2 \setminus \{0\}$에서 준하이퍼볼릭 거리는 $4\pi(\pi - \alpha)$ 보정 항을 포함한 수정된 여현법을 만족한다.
• 삼각형 $\triangle_k(x,y,z)$의 준하이퍼볼릭 면적은 헤론 유사 공식으로 주어진다: $\sqrt{s(s - k(x,y))(s - k(y,z))(s - k(z,x))}$이며, 여기서 $s = (k(x,y) + k(y,z) + k(z,x))/2$이다.
• 반평면 $\mathbb{H}^2$에서 준하이퍼볼릭 거리는 코사인 부등식을 만족한다: $k(x,y)^2 \geq k(x,z)^2 + k(y,z)^2 - 2k(x,z)k(y,z)\cos\gamma$, 여기서 $\gamma$는 기하학적 경로 사이의 유클리드 각도이다.