[论文解读] Factorisation of conformal maps on finitely connected domains

Benjamin Doyon|arXiv (Cornell University)|Jul 4, 2011

Holomorphic and Operator Theory参考文献 2被引用 6

一句话总结

本文证明了在黎曼球面上的有限连通区域上的任意共形映射，均可分解为恰好 N 个共形映射的复合，其中每个映射定义在单连通区域上，N 为互补分量的数量。证明基于黎曼曲面的克伯均匀化定理，建立了类似于全纯函数在单连通区域上局部分解的全局分解。

ABSTRACT

Let $U$ be a multiply connected domain of the Riemann sphere $\hat{C}$ whose complement $\hat{C}\setminus U$ has $N

研究动机与目标

• 建立有限连通区域上共形映射的全局分解，类比于全纯函数在单连通区域上关于和的局部分解。
• 在不假设像区域边界为圆或准圆的条件下，改进 D.E. 马歇尔近期的结果，将所需因子数从 2N 减少至 N。
• 通过黎曼曲面的均匀化方法，提供一种几何与拓扑的证明，而非依赖积分方程或拟共形延拓。
• 通过构造单连通区域上 N 个共形映射的最小分解，解决 N ≥ 2 时的共形拼接问题。

提出的方法

• 对区域 U 的连通性 N 进行归纳，假设对 N−1 个分量的情形存在分解。
• 将区域 D 定义为 N 个具有不相交补集的单连通区域 A_i 的交集，并考虑共形映射 g 在 D 上的像域 g(D)。
• 通过在交集上利用共形映射 g，将两个黎曼球面的副本粘合，构造黎曼曲面 C，使用坐标图 φ_A 和 φ_B。
• 证明所得曲面 C 是紧致的、单连通的黎曼曲面，因此根据均匀化定理，共形等价于黎曼球面。
• 应用均匀化映射 u: C → ℂ̂，定义分解 g = g̃ ∘ g_n，其中 g_n 在 A_n 上共形，g̃ 在 (N−1)-重连通像域上共形。
• 利用拓扑论证（环路的零伦性、闭子集的紧致性）验证 C 是单连通且紧致的，从而保证均匀化定理的适用性。

实验结果

研究问题

• RQ1 每个定义在 N 重连通区域 U 上的共形映射是否都能分解为 N 个共形映射的复合，每个映射定义在单连通区域上，其中 N 为互补分量的数量？
• RQ2 这种分解是否无需假设像区域边界为圆或准圆，如马歇尔早期结果中所要求的那样？
• RQ3 通过基于黎曼曲面均匀化的不同证明策略，能否将最小因子数从 2N 减少至 N？
• RQ4 是否存在一种几何构造，能将 N ≥ 2 时的共形拼接问题实现为 N 个单连通区域上共形映射的复合？

主要发现

• 每个定义在 N 重连通区域 U 上的共形映射 G 均可表示为复合形式 G = g₁ ∘ g₂ ∘ ⋯ ∘ g_N，其中每个 g_i 在单连通区域上共形。
• 所需因子数从马歇尔结果中的 2N 减少至 N，提升了分解的效率。
• 证明依赖于通过共形映射 g 粘合两个黎曼球面副本构造紧致、单连通的黎曼曲面 C，并应用均匀化定理。
• 所得曲面 C 被证明是拓扑曲面、单连通且紧致，从而保证了共形均匀化映射 u: C → ℂ̂ 的存在性。
• 分解通过 g = g̃ ∘ g_n 实现，其中 g_n 在 A_n 上共形，g̃ 在 (N−1)-重连通像域 u(𝒜) 上共形。
• 该构造避免了对像区域边界为圆或准圆的假设，使结果比以往工作更具普遍性。