[論文レビュー] 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$-距離の幾何的解析と準双曲的距離との関係に基づいている。

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.

研究の動機と目的

• 一般の領域、凸領域、星型領域における $\mathbb{R}^n$ の $j$-距離球の局所的凸性に関する性質を調査すること。
• 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)$ を用い、$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$-球や、単連結でない $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\}$ と等しくない。これは非コンパクト性およびトポロジー的不規則性を示している。