[論文レビュー] Spherical density of hyperbolic metric and uniform perfectness

Toshiyuki Sugawa|arXiv (Cornell University)|Mar 5, 2015

Analytic and geometric function theory参考文献 5被引用数 3

ひとこと要約

この論文は、双曲的領域の均一的完備境界の特徴付けを、ユークリッド計量から球面計量の設定へと拡張する。リーマン球面上の双曲的領域が均一的完備境界を持つための必要十分条件として、その球面的双曲的密度と境界への球面的距離の積の下限が正であること、すなわち、ベアドンとポンメレンケによる古典的なユークリッド結果の完全な球面的類似を確立する。

ABSTRACT

It is well known that a hyperbolic domain in the complex plane has uniformly perfect boundary precisely when the product of its hyperbolic density and the distance function to its boundary has a positive lower bound. We extend this characterization to a hyperbolic domain in the Riemann sphere in terms of the spherical metric.

研究の動機と目的

• ユークリッド的双曲的密度と距離に基づく均一的完備境界の古典的特徴付けを、リーマン球面上の球面計量設定へと拡張すること。
• 球面的距離と球面的双曲的密度を用いて、ユークリッド量 $ C(\Omega) = \inf d_\Omega(z)\lambda_\Omega(z) $ の球面的類似物を定義し、解析すること。
• リーマン球面上の双曲的領域の境界の均一的完備性を球面計量を用いて同値条件として確立すること。
• 無限大を含む領域に対してユークリッドに基づく特徴付けが失敗することの問題を、球面幾何学の枠組みを導入することで解決すること。

提案手法

• 球面的双曲的密度 $ \mu_\Omega(z) = (1+|z|^2)\lambda_\Omega(z) $ を導入し、双曲的計量と球面計量を組み合わせる。
• 球面的距離を $ \delta_\Omega(z) = \min_{a\in\partial\Omega} \sigma(z,a) $ で定義する。ここで $ \sigma $ は弦的球面距離を表す。
• メビウス変換と球面等長変換を用いて配置を正規化し、特に境界点を無限大に、基準点を原点に写像する。
• 凸単葉的関数の被覆定理を適用して、$ d_\Omega(z)\lambda_\Omega(z) $ と $ \varepsilon_\Omega(z)\mu_\Omega(z) $ の間の不等式を導出する。ここで $ \varepsilon\Omega(z) = \min \tau(z,a) $ である。
• $ \widetilde{C}(\Omega) = \inf \delta_\Omega(z)\mu_\Omega(z) $、$ \widehat{C}(\Omega) = \inf \varepsilon_\Omega(z)\mu_\Omega(z) $、$ C(\Omega) = \inf d_\Omega(z)\lambda_\Omega(z) $ の間の比較不等式を確立し、$ \frac{1}{2} \widehat{C}(\Omega) \leq C(\Omega) \leq 2\widehat{C}(\Omega) $ を示す。
• $ \widetilde{C}(\Omega) \geq \frac{1}{4} C(\Omega) $ を証明し、球面的特徴付けとユークリッド的特徴付けを結びつける。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド的双曲的密度と距離に基づく均一的完備境界の古典的特徴付けを、球面計量を用いてリーマン球面上に拡張できるか。
• RQ2 量 $ C(\Omega) = \inf d_\Omega(z)\lambda_\Omega(z) $ の正しい球面的類似物は何か。また、それは均一的完備性とどのように関係するか。
• RQ3 なぜユークリッドに基づく特徴付けは無限大を含む領域では失敗するのか。球面幾何学はこの問題をどのように解決するか。
• RQ4 球面的量 $ \delta_\Omega(z)\mu_\Omega(z) $、$ \varepsilon_\Omega(z)\mu_\Omega(z) $、$ d_\Omega(z)\lambda_\Omega(z) $ の大きさの関係と、均一的完備性の特徴付けにおける役割は何か。
• RQ5 球面的設定において、均一的完備境界を特徴付けるために、$ \delta_\Omega(z)\mu_\Omega(z) $ に一様な下界が存在するか。

主な発見

• 球面的双曲的密度 $ \mu_\Omega(z) = (1+|z|^2)\lambda_\Omega(z) $ は、ユークリッド的双曲的密度の自然な球面的類似物として導入される。
• 量 $ \widehat{C}(\Omega) = \inf_{z\in\Omega} \varepsilon_\Omega(z)\mu_\Omega(z) $ は、$ \frac{1}{2} \widehat{C}(\Omega) \leq C(\Omega) \leq 2\widehat{C}(\Omega) $ を満たし、定数倍の意味で同値であることが示される。
• 球面的円板 $ \mathbb{D}_R $ に対して、$ R \leq 1 $ のとき $ \widehat{C}(\mathbb{D}_R) = \frac{1}{2} $ であり、$ R > 1 $ のとき $ \frac{R}{1+R^2} < \frac{1}{2} $ である。これは明確な具体例を提供する。
• 主結果として、$ \partial\Omega $ が均一的完備であるための必要十分条件が $ \widehat{C}(\Omega) > 0 $ であることが確立され、ベアドン＝ポンメレンケの定理がリーマン球面へと拡張される。
• $ \widetilde{C}(\Omega) \geq \frac{1}{4} C(\Omega) $ が示され、ここで $ \widetilde{C}(\Omega) = \inf \delta_\Omega(z)\mu_\Omega(z) $ である。球面的距離のバージョンが均一的完備性を特徴付けることが確認される。
• 証明にはメビウス不変性、球面等長変換、凸単葉的関数の被覆定理を用い、主要な不等式を導出する。