[论文解读] Geometry of Metrics

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

Geometric Analysis and Curvature Flows参考文献 55被引用 14

一句话总结

本文研究了 $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$-維歐幾里得空間。
• 研究具有邊界的區域中擬雙曲度量、阿波羅尼亞度量與 $j_G$ 度量等廣義度量的幾何性質。
• 探討非測地度量空間中度量球的凸性與直徑行為。
• 識別與度量不變性、球體連通性以及穿孔空間與平面區域中度量幾何相關的開放問題。

提出的方法

• 使用沿可求長路徑 $\gamma$ 從 $x$ 到 $y$ 的擬雙曲度量 $k_G(x,y) = \int_{\gamma} \frac{ds}{\delta_G(z)}$，其中 $\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$ 的不等式以定義新度量，並分析其三角不等式性質。
• 應用 Frink 與 Paluszynski–Stempak 的結果，透過同胚將非標準度量與等價標準度量關聯。

实验结果

研究问题

• RQ1 在哪些區域與半徑下，$j_G$-球 $B_j(x,M)$ 為凸？
• RQ2 對於小的 $M$，$j_G$-球面 $\partial B_j(0,M)$ 的直徑是否等於 $2M$？
• RQ3 是否存在一通用常數 $M_0 > 0$，使得對所有 $M \in (0, M_0]$，均有 $k(\partial B_k(x,M)) = 2M$？
• RQ4 擬雙曲幾何中，餘弦定律是否可推廣至具有有限個邊界點的區域？
• RQ5 在非測地度量空間中，$j_G$-球在何種條件下為連通？

主要发现

• 在 $\mathbb{R}^n \setminus \{0\}$ 中，$j$-球 $B_j(x,M)$ 為凸的充分必要條件為 $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$ 為測地線之間的歐幾里得角。