[论文解读] Electrical Networks and Stephenson's Conjecture

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

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

一句话总结

本文在三角剖分的平面环形区域上构建了一系列电网络，其收敛于一个同心欧氏环形区域上的共形映射，从而证实了肯·斯蒂芬森（Ken Stephenson）在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 哪些几何与分析条件能确保电网络映射收敛于连续的黎曼映射？

主要发现

• 由三角剖分环形区域上的电网络构造的离散调和映射序列，在紧子集上一致收敛于一个共形同胚。
• 极限映射是到由两个同心圆围成的欧氏环形区域的共形同胚。
• 收敛性在网格细化下具有鲁棒性，证实了该逼近方案的稳定性。
• 该结果证实了肯·斯蒂芬森的猜想：黎曼映射可作为平面区域上电网络映射极限来实现。