[论文解读] 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 的精确信息，以指导延拓过程。
• 将 ∂D 的局部连通性作为关键几何条件，以确保边界延拓的存在性和唯一性。
• 该方法应用迭代细化技术，逐步提高边界延拓近似的精度。
• 它利用黎曼映射定理的理论基础，并将其转化为稳定的数值过程。
• 在给定假设下，收敛到真实的边界延拓是保证的，且误差界限由输入数据的精度控制。

实验结果

研究问题

• RQ1 在仅有近似映射和边界数据的前提下，能否以任意精度计算共形映射的边界延拓？
• RQ2 ∂D 的何种几何条件可确保边界延拓的存在性和唯一性？
• RQ3 如何利用边界的局部连通性来稳定并引导数值延拓过程？
• RQ4 在不同输入近似精度水平下，所提算法的收敛行为如何？
• RQ5 该方法在处理非光滑或不规则边界区域时的适用范围有多大？

主要发现

• 只要初始映射和边界数据足够精确，该算法即可成功计算共形映射边界延拓的任意高精度近似。
• 边界 ∂D 的局部连通性是确保边界延拓过程收敛性和稳定性的充分条件。
• 即使 ∂D 不光滑，只要局部连通性条件成立，该方法依然具有鲁棒性。
• 近似值的收敛速度取决于初始共形映射的精度和边界数据的精确度。
• 该算法为数值实现共形映射的边界延拓提供了实用路径，这对计算复分析应用至关重要。
• 理论基础确保了计算得到的边界延拓与黎曼映射定理的预测一致。