[論文レビュー] AN ALGORITHM FOR COMPUTING BOUNDARY EXTENSIONS OF CONFORMAL MAPS

Timothy H. McNicholl|arXiv (Cornell University)|Oct 24, 2011

Mathematical Dynamics and Fractals参考文献 10被引用数 1

ひとこと要約

本稿では、単位円板から有界領域 D へのコンフォーマル写像の境界拡張を、十分に正確な初期写像近似、正確な境界データ、境界 ∂D の局所的連結性情報を使って、任意の精度で近似計算する数値アルゴリズムを提示する。主な貢献は、保証された精度で境界にまでコンフォーマル写像を拡張する、頑健で収束性を有する手法である。

ABSTRACT

We show that from a sufficiently good approximation to a con- formal map of the unit disk onto a bounded domain D, a sufficiently good approximation to the boundary of D, and sufficient local connectivity infor- mation for @D, it is possible to compute arbitrarily good approximations to the boundary extension of �.

研究の動機と目的

• 近似写像と境界データしか入手できない状況において、境界拡張を信頼性高く計算するためのアルゴリズムを開発すること。
• 領域境界 ∂D が滑らかでないか不規則な場合に、コンフォーマル写像を境界に拡張する課題に対処すること。
• 特に ∂D の局所的連結性を仮定することで、ややきつい幾何的仮定のもとで、任意の高い精度への収束を保証すること。
• 理論的コンフォーマル写像と実用的数値実装の間のギャップを埋める計算フレームワークを提供すること。

提案手法

• アルゴリズムは、単位円板から領域 D へのコンフォーマル写像の十分に正確な数値近似から出発する。
• 境界 ∂D の正確な情報を、解析的または数値的に得たものを利用して、拡張プロセスをガイドする。
• 局所的連結性は、境界拡張の存在と一意性を保証するための主要な幾何的条件として用いられる。
• 逐次的改良技術を適用することで、境界拡張の近似を段階的に改善する。
• リーマン写像定理の理論的基盤を活用し、安定な数値手順に翻訳する。
• 提示された仮定のもとで収束が保証され、入力データの精度によって誤差境界が制御される。

実験結果

リサーチクエスチョン

• RQ1 近似写像と境界データしか入手できない状況でも、コンフォーマル写像の境界拡張を任意の精度で計算可能か？
• RQ2 境界拡張の存在と一意性を保証するための ∂D に必要な幾何的条件は何か？
• RQ3 境界の局所的連結性をどのようにして、数値的拡張プロセスの安定化とガイドに活用できるか？
• RQ4 入力近似精度が変化する条件下で、提案手法の収束特性はどのように変化するか？
• RQ5 この手法は、滑らかでないか不規則な境界を持つ領域に対しても、どの程度耐性を示せるか？

主な発見

• 初期写像と境界データが十分に正確であれば、アルゴリズムは境界拡張の任意の良い近似を成功裏に計算できる。
• 境界 ∂D の局所的連結性は、境界拡張プロセスの収束性と安定性を保証する十分条件である。
• ∂D が滑らかでなくても、局所的連結性条件が満たされていれば、アルゴリズムは頑健に動作する。
• 近似の収束速度は、初期コンフォーマル写像の精度と境界データの精度に依存する。
• アルゴリズムは、数値的コンフォーマル写像の境界拡張を実現する実用的手段を提供する。これは、計算複素解析の応用において不可欠である。
• 理論的基盤により、計算された境界拡張はリーマン写像定理の予測と一貫していることが保証される。