[论文解读] Local Convexity Properties of j-metric Balls

Riku Klén|ArXiv.org|Oct 12, 2007

Analytic and geometric function theory被引用 5

一句话总结

本文研究了 $\mathbb{R}^n$ 子域中 $j$-度量球的局部凸性性质，证明了半径满足 $M \leq \log 2$ 的 $j$-球是凸的，而半径满足 $M \leq \log(1+\sqrt{2})$ 的 $j$-球关于其中心是严格星形的。这些结果通过 $j$-度量及其与拟双曲度量的关系的几何分析得出。

ABSTRACT

This paper deals with local convexity properties of the j-metric. We consider convexity and starlikeness of the j-metric balls in convex, starlike and general subdomains of R^n.

研究动机与目标

• 研究 $j$-度量球在 $\mathbb{R}^n$ 的一般域、凸域和星形域中的局部凸性性质。
• 回应 M. Vuorinen 关于度量空间中小半径球凸性的开放问题，特别针对 $j$-度量。
• 通过 $j$-度量的界及其与欧氏度量和拟双曲度量的关系，刻画 $j$-球的几何结构。
• 建立 $j$-球为凸或星形的条件，特别是在凸域和星形域中。
• 表明在非凸域中，$j$-球可能不连通或非单连通，揭示其拓扑限制。

提出的方法

• 使用 $j$-度量的定义：$j_G(x,y) = \log\left(1 + \frac{|x-y|}{\min\{d(x),d(y)\}}\right)$，其中 $d(x)$ 表示点 $x$ 到 $\partial G$ 的欧氏距离。
• 应用命题 2.2 中的欧氏估计：$B^n(x, (1-e^{-M})d(x)) \subset B_j(x,M) \subset B^n(x, (e^M - 1)d(x))$。
• 通过不等式 $j_G(x,y) \leq k_G(x,y)$ 将 $j$-度量与拟双曲度量进行比较，并利用当 $y \in B^n(x,d(x))$ 时的界 $k_G(x,y) \leq \frac{1}{1-s}j_G(x,y)$。
• 利用涉及最近边界点 $R_x$ 的共线性条件，分析 $j$-度量的测地线及三角不等式中的等式成立条件。
• 在去掉一点的空间和星形域中使用几何论证，通过反证法证明 $j$-球的星形性。
• 使用反例说明在非凸域中 $j$-球可能不连通或边界不连通，以说明其在非凸域中的拓扑限制。

实验结果

研究问题

• RQ1 在一般域中，小半径的 $j$-度量球是否为凸？
• RQ2 在何种条件下 $j$-球关于其中心是严格星形的？
• RQ3 在凸域中，$j$-球对所有满足 $M \leq \log 2$ 的半径是否仍为凸？
• RQ4 $j$-球在非凸域中，甚至在单连通域中，是否可能不连通或非单连通？
• RQ5 在具有孔洞或复杂边界域中，$j$-度量与拟双曲测地线之间存在何种关系？

主要发现

• 对于任意域 $G \subset \mathbb{R}^n$，$G \neq \mathbb{R}^n$，以及任意 $M \in (0, \log 2]$，$j$-球 $B_j(x,M)$ 是凸的。
• 对于任意关于点 $x$ 星形的域 $G$，以及任意 $M \in \left(0, \log(1+\sqrt{2})\right]$，$j$-球 $B_j(x,M)$ 关于 $x$ 是严格星形的。
• 在去掉原点的域 $\mathbb{R}^n \setminus \{0\}$ 中，半径满足 $M \leq \log 2$ 的 $j$-球是凸的，且通过局部分析可推广至一般域。
• $j$-球 $B_j(x,M)$ 位于环形区域 $\{z \in G : e^{-M}d(x) \leq d(z) \leq e^M d(x)\}$ 内，提供了欧氏包含估计。
• 反例表明，即使在单连通域中，$j$-球也可能不连通或边界不连通，例如当 $G = B^n(0,1) \cup B^n(e_1,h) \cup B^n(2e_1,1)$ 且 $h < 1/3$ 时。
• 开 $j$-球 $\{z : j_G(x,z) < \log 3\}$ 的闭包不等于闭 $j$-球 $\{z : j_G(x,z) \leq \log 3\}$，表明其非紧致性与拓扑不规则性。