[論文レビュー] Analytic Capacity : computation and related problems

Malik Younsi|arXiv (Cornell University)|May 8, 2017

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

ひとこと要約

本稿では、2次計画法を用いた厳密な数値的手法を提示し、解析的容量の計算に用いる。この手法により、真の値に収束するきつい上界と下界が得られる。また、部分加法性、アーフォルズ関数、コーシー容量との関係が確立され、容量の収束性および測度表現に関する未解決問題が解決される。

ABSTRACT

We present a brief introduction to analytic capacity, with an emphasis on its numerical computation. We also discuss several related open problems.

研究の動機と目的

• コンパクト集合の解析的容量を厳密かつ効率的に数値計算するための手法を開発すること。
• 解析的容量の部分加法性を調査し、等半径の互いに交わらない円盤の有限個の和集合を含む特別な場合に還元すること。
• コンパクト集合のアーフォルズ関数が、その集合上に台を持つ複素Borel測度のコーシー変換として表現可能かどうかを特定すること。
• 特に無限長または非リーマン可縮曲線の場合に、解析的容量とコーシュー容量の関係を調査すること。
• 関連容量に関する内正則性および極値測度の達成に関する未解決問題に取り組むこと。

提案手法

• 本手法は、2次計画法を用いて解析的容量の真の値に収束する厳密な上界と下界を計算する。
• 有界な解析関数を用いた、$ L^lat $-ノルムが制御された離散化に基づく極値問題の近似に依存する。
• 弱*コンパクト性と弱*収束性を活用することで、近似の収束を保証する。
• アルゴリズムは、部分加法性の検証や容量の挙動に関する予想の妥当性を確認するために数値的に適用される。
• コンフォーマル不変性および収束定理（例えば、ポンメレンケの定理）を用いて、集合の近似における容量の極限を分析する。
• 本手法は、$ \tilde{\nu}_+ $ および $ \tilde{\nu}_c $ の関連容量の計算に原則的に拡張可能であるが、その達成性に関する性質は未解決のままである。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクト集合 $ E, F $ に対して、部分加法性の不等式 $ \tilde{\nu}(E \bigcup F) \neq \tilde{\nu}(E) + \tilde{\nu}(F) $ が成り立つか。また、これは、等半径の互いに交わらない円盤の有限個の和集合に還元可能か。
• RQ2 コンパクト集合 $ E $ のアーフォルズ関数が、$ E $ 上に台を持つ複素Borel測度のコーシー変換として表現可能か。
• RQ3 解析的容量は内正則的か。すなわち、$ E_n \uparrow E $ のとき、$ \tilde{\nu}(E_n) \uparrow \tilde{\nu}(E) $ が成り立つか。
• RQ4 $ \tilde{\nu}_+ $ は常にその上界を達成するか。また、その最大値を与える測度は一意的か。
• RQ5 $ F_k $ が3個以上の円盤の和集合であり、点で交わる和集合に収束するとき、$ \tilde{\nu}(F_k) \to \tilde{\nu}(F) $ が成り立つか。

主な発見

• 文献[28]の数値的手法により、真の値に収束する解析的容量の厳密な上界と下界が得られる。
• 解析的容量の部分加法性は、等半径の互いに交わらない閉円盤の有限個の和集合のケースに還元可能である。
• 連結なコンパクト集合 $ E $ が存在し、その補集合も連結であるが、$ \tilde{\nu}(E) = \tilde{\nu}_c(E) $ である一方、アーフォルズ関数は $ E $ 上に台を持ついかなる複素測度のコーシー変換でもない。
• 集合 $ E = \{x + i x \sin(1/x) : x \in (0,1/\pi]\} \cup [-i,i] $ は無限長であり、$ \tilde{\nu}(E) = \tilde{\nu}_c(E) $ を満たす。これは、非リーマン可縮性にもかかわらず等式が成立することを示している。
• 有限長の集合列 $ E_k $ が $ E $ に増大するとき、$ \tilde{\nu}(E_k) \to \tilde{\nu}(E) $ となる。これは解析的容量の収束結果を支持する。
• $ \tilde{\nu}_+ $ が一意的な測度によって達成されるかどうかは未だ不明であり、これは未解決の問題のままである。