[論文レビュー] Electrical Networks and Stephenson's Conjecture

Sa’ar Hersonsky|arXiv (Cornell University)|Jun 27, 2016

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

ひとこと要約

本稿では、三角形分割された平面的アニュラス上に電気的ネットワークの系列を構築し、それが一様に同心円型のユークリッド的アニュラスへのコンフォーマル写像に収束することを示し、ケン・ステップンソンが1990年代に提起した予想——つまり、より細かい三角形分割における離散的電気的ネットワークによってリーマン写像が近似可能である——を裏付けるものである。

ABSTRACT

In this paper, we consider a planar annulus, i.e., a bounded, two-connected, Jordan domain, endowed with a sequence of triangulations exhausting it. We then construct a corresponding sequence of maps which converge uniformly on compact subsets of the domain, to a conformal homeomorphism onto the interior of a Euclidean annulus bounded by two concentric circles. As an application, we will affirm a conjecture raised by Ken Stephenson in the 90's which predicts that the Riemann mapping can be approximated by a sequence of electrical networks.

研究の動機と目的

• 平面的アニュラスのリーマン写像が、細かくなる三角形分割における離散的電気的ネットワークによって近似可能かどうかを調査すること。
• 離散的調和写像の系列が、ユークリッド的アニュラスへのコンフォーマルホメオモルフィズムに一様収束することを確立すること。
• 1990年代にケン・ステップンソンが提起した、電気的ネットワークを用いたコンフォーマル写像の近似に関する予想を解決すること。
• 平面的領域における離散的ポテンシャル論を基盤として、コンフォーマル写像を構成的に近似する幾何学的根拠に基づく手法を提供すること。

提案手法

• 平面的アニュラスを漸近的に覆う三角形分割の系列を構築し、メッシュの細分化を保証すること。
• 各三角形分割に対して、その幾何的性質に基づいて導かれるコンダクタンスを用いて電気的ネットワークを定義すること。
• ディリクレ境界条件を用いて、三角形分割された領域から単位円板への離散的調和写像を構築すること。
• 離散的写像をアニュラスのコンフォーマル構造に一致させるための正規化手順を適用すること。
• コンパクト集合上で一様収束することを証明し、それが同心円型のユークリッド的アニュラスへのコンフォーマルホメオモルフィズムに収束することを示すこと。
• 離散的調和関数の性質と離散複素解析における収束定理を用いて、極限挙動を確立すること。

実験結果

リサーチクエスチョン

• RQ1 平面的アニュラスのリーマン写像は、細かくなる三角形分割における電気的ネットワークの系列によって近似可能か？
• RQ2 三角形分割されたアニュラス上の離散的調和写像の系列は、ユークリッド的アニュラスへのコンフォーマルホメオモルフィズムに一様収束するか？
• RQ3 予想されるステップンソンの予想に従い、極限写像はコンフォーマルかつ同心円型のユークリッド的アニュラスへの上への写像か？
• RQ4 どのような幾何的および解析的条件が、電気的ネットワーク写像の連続的リーマン写像への収束を保証するか？

主な発見

• 三角形分割されたアニュラス上の電気的ネットワークから構築された離散的調和写像の系列は、コンパクト集合上で一様に収束し、コンフォーマルホメオモルフィズムに収束する。
• 極限写像は、二つの同心円で囲まれたユークリッド的アニュラスへのコンフォーマルホメオモルフィズムである。
• 収束はメッシュの細分化に対して安定的であり、近似スキームの安定性が裏付けられる。
• 本結果により、ケン・ステップンソンが提起した予想——つまり、リーマン写像が平面的領域における電気的ネットワーク写像の極限として実現可能である——が裏付けられる。