[論文レビュー] On the stability of $ϕ$-uniform domains

Riku Klén, Y. Li+2 more|arXiv (Cornell University)|Dec 23, 2008

Analytic and geometric function theory参考文献 10被引用数 4

ひとこと要約

本稿は、$φ$-一様領域の安定性を$φ$-一様領域が$φ$の同相による距離比距離の度合いに有界な、一様領域のクラスを導入することにより調査する。主な結果として、$φ$-一様領域から幾何級数的点列を除去すると、$φ_1$-一様領域が得られることを示し、このような摂動に対して強い安定性を示している。

ABSTRACT

We study two metrics, the quasihyperbolic metric and the distance ratio metric of a subdomain $G \subset {\mathbb R}^n$. In the sequel, we investigate a class of domains, so called $φ$-uniform domains, defined by the property that these two metrics are comparable with respect to a homeomorphism $φ$ from $[0,\infty)$ to itself. Finally, we discuss a number of stability properties of $φ$-uniform domains. In particular, we show that the class of $φ$-uniform domains is stable in the sense that removal of a geometric sequence of points from a $φ$-uniform domain yields a $φ_1$-uniform domain.

研究の動機と目的

• 点の除去を含むトポロジー的変形の下での$φ$-一様領域の安定性特性を調査すること。
• 定数による境界を関数依存の境界に置き換えることで、古典的一様領域の概念を一般化すること。
• 点列が幾何級数的である場合に、$φ$-一様領域から点を除去しても、新たな制御関数$φ_1$による$φ$-一様性が保たれる条件を確立すること。
• クアシハイパーボリック距離と距離比距離の関係を、領域の幾何構造と$φ$による比較可能性の観点から探求すること。
• リプシッツ同相性と領域の除去に関する結果を、より広範な$φ$-一様フレームワークへと拡張すること。

提案手法

• $k_G(x,y) \leq \varphi\left(\frac{|x-y|}{\min\{\delta_G(x),\delta_G(y)\}}\right)$ を用いて、$\varphi$-一様領域を定義する。ここで $k_G$ はクアシハイパーボリック距離、$\delta_G$ は境界へのユークリッド距離である。
• クアシハイパーボリック測地線の性質と単調性を用いて、入れ子になった領域間の距離を比較する。
• 距離比距離 $j_G(x,y) = \log\left(1 + \frac{|x-y|}{\min\{\delta_G(x),\delta_G(y)\}}\right)$ を比較の基準として用いる。
• ケース別分析により安定性を確立する：(1) 中央の球内にある点、(2) 中央の球の外にある点、(3) 異なる領域にまたがる点の組み合わせ。三角不等式と距離の境界を用いる。
• 制御関数 $\varphi_1, \varphi_2, \varphi_3$ を、$\varphi$ と補集合の一様性モジュラス $\psi$ に依存して構成し、穴あき領域におけるクアシハイパーボリック距離の境界を付ける。
• リプシッツ同相性と領域分割技術を活用して、球から一般領域への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 $φ$-一様領域から幾何級数的点列を除去する場合、$φ$-一様性が保証される条件は何か？
• RQ2 クアシハイパーボリック距離と距離比距離は$φ$-一様領域においてどのように関係し、$φ$ はこの比較において果たす役割は何か？
• RQ3 単一の点の除去を超えて、特定の幾何的間隔を持つ無限点列に対しても、$φ$-一様領域の安定性は拡張可能か？
• RQ4 新しい制御関数 $φ_1$ は、元の $φ$ と補集合の均一性モジュラス $ψ$ にどのように依存するか？
• RQ5 リプシッツ写像は$φ$-一様性の性質をどの程度保存するか？また、リプシッツ定数は結果として得られる制御関数にどのように影響するか？

主な発見

• 点列が幾何級数的である場合、$φ$-一様領域のクラスは安定である：$D$ が $φ$-一様で、$F$ が $D$ 内の球に含まれる幾何級数的点列であれば、$D \setminus F$ は $φ_1$-一様であり、$φ_1$ は $φ$ と除去された点の補集合の一様性モジュラス $ψ$ のみに依存する。
• $φ$-一様領域 $D$ と $|x_0 - x_i| = \frac{1}{2^{i+2}}\delta_D(x_0)$ を満たす点列 $\{x_i\}$ に対して、$F = \bigcup E_i \cup \{x_0\}$ とおくと、$D \setminus F$ は $φ_3$-一様である。ここで $\varphi_3(t) = 2\max\{\varphi_1(5t), \varphi_2(5t)\}$ であり、$\varphi_1, \varphi_2$ は $φ$ と $ψ$ に依存する。
• 安定性結果はケース別分析により成立する：両点が中央の球内にある場合、外側領域にある場合、または領域をまたぐ場合、クアシハイパーボリック距離は距離比の関数によって有界であり、その境界は $φ_3$ によって制御される。
• クアシハイパーボリック距離は常に距離比距離以上であり、$φ$-一様条件により、関数依存の比較が強化される。
• 分解を用いることで一般領域へ拡張可能である：$φ$-一様領域 $D$ から幾何級数的点列を除去すると、$φ_3$-一様領域が得られ、$φ_3$ は $φ$ と $ψ$ から明示的に構成される。
• 制御関数 $φ_3$ は明示的に $\varphi_3(t) = 2\max\{\varphi_1(5t), \varphi_2(5t)\}$ として定義され、$\varphi_1$ と $\varphi_2$ は $φ$ と $ψ$ から導出されるため、安定性結果における関数的依存関係が確認される。