[論文レビュー] Computing conformal maps onto circular domains

Valentin V. Andreev, Dale Daniel+1 more|arXiv (Cornell University)|Jul 24, 2013

Computability, Logic, AI Algorithms参考文献 31被引用数 4

ひとこと要約

本稿では、非退化で有限連結な領域 $D$ から円形領域 $C_D$ への共形写像を、$D$ の名前、境界、および境界成分の数のみを用いて計算可能に構成する手法を提示する。この写像とその終域 $C_D$ は、Type-2 Effectivity の枠組みにおいて、事前に $C_D$ を知らなくても有効に計算可能であることが示され、Koebe構成の誤差評価が $D$ の計算可能データにのみ依存する。この結果は、境界 $\partial D$ が写像と $C_D$ から再構成可能であるという点で最適である。

ABSTRACT

We show that, given a non-degenerate, finitely connected domain $D$, its boundary, and the number of its boundary components, it is possible to compute a conformal mapping of $D$ onto a circular domain \emph{without} prior knowledge of the circular domain. We do so by computing a suitable bound on the error in the Koebe construction (but, again, without knowing the circular domain in advance). As a scientifically sound model of computation with continuous data, we use Type-Two Effectivity.

研究の動機と目的

• 非退化で有限連結な領域から円形領域への共形写像を構成的かつ計算可能に生成するための手法を開発すること。
• Koebe構成において、事前に $C_D$ を知る必要を排除すること。
• 共形写像とその終域 $C_D$ が、$D$ の名前、境界の名前、境界成分の数から有効に計算可能であることを確立すること。
• 写像 $f_D$ と $C_D$ から $D$ の境界が再構成可能であることを示すことにより、計算の最適性を証明すること。
• 計算可能解析の理論的枠組みを、多重連結領域における共形写像へと拡張すること。

提案手法

• 連続データにおける計算を科学的に妥当なモデルとして用いる Type-2 Effectivity (TTE) を採用する。
• Koebe構成を用いて、$D$ から円形領域 $C_D$ への共形写像を反復的に近似する。
• Koebe構成の誤差評価を、$C_D$ そのものに依存せず、$D$ の計算可能データにのみ依存するように導出する。
• 拡張複素平面 $\hat{\mathbb{C}}$ における点、開集合、閉集合の命名システムを用いて、計算可能表現を形式化する。
• 拡張計算可能開写像定理を用いて、写像と領域データから $C_D$ 及びその境界の名前を計算する。
• 補題 8.1（共形写像の歪み不等式）を適用し、領域内と像内での距離と微分係数の境界を関連づけ、境界の再構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非退化で有限連結な領域 $D$ から円形領域への共形写像は、事前に終域を知らずに有効に計算可能か？
• RQ2 Koebe構成の誤差評価は、未知の円形領域 $C_D$ に依存せず、$D$ のデータのみを用いて導出可能か？
• RQ3 $f_D$ と $C_D$ から $D$ の境界を計算可能に再構成できるか？
• RQ4 $f_D$ と $C_D$ を計算するために、$D$ に必要な最小限の情報量は何か？
• RQ5 境界 $\partial D$ が $f_D$ と $C_D$ から再構成可能であるという点で、計算可能性の結果が最適であると言えるか？

主な発見

• 非退化で有限連結な領域 $D$ から円形領域 $C_D$ への共形写像 $f_D$ は、$D$ の名前、$\partial D$ の名前、境界成分の数から有効に計算可能である。
• Koebe構成の誤差評価は、$C_D$ を知らずに計算可能であり、$D$ 及びその境界のデータにのみ依存する。
• $D$ の境界は、$f_D$ の名前と $C_D$ の名前から再構成可能であり、TTE枠組みにおいてこの結果が最適であることが証明された。
• $f_D^{-1}$ の $\overline{C_D}$ への連続的拡張は、$D$ の名前、$\partial D$ の名前、$\partial D$ のための CIK 関数から計算可能である。
• 本手法は Type-2 Effectivity の意味で有効であり、$z$、$D$、$\partial D$ の十分良い近似から、$f_D(z)$ および $C_D$ の任意の良い近似を計算可能である。
• 本結果は、計算可能な設定において、Riemann写像定理を多重連結領域へ一般化し、非構成的証明の代わりに構成的代替を提供する。