[论文解读] On the hyperbolic metric of the complement of a rectangular lattice

Alexandre Erëmenko|arXiv (Cornell University)|Oct 12, 2011

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

一句话总结

本文研究复平面上矩形格点补集上的双曲度量密度，聚焦于从单位圆盘到穿孔格点的万有覆盖映射在原点处的导数 |f′(0)|。通过共形映射技术、Schwarz-Christoffel 变换以及利用射线法计算辅助参数，推导出 |f′(0)| 关于格点模量的显式表达式，发现在正方形格点（2ω = 2ω′ = 1/√2）处取得最大值约 1.6693。

ABSTRACT

The density of the hyperbolic metric on the complement of a rectangular lattice is investigated. The question is related to conformal mapping of symmetric circular quadrilaterals with all zero angles.

研究动机与目标

• 计算复平面上矩形格点补集中心处的双曲度量密度。
• 确定从单位圆盘到格点补集的万有覆盖映射在 f(0) 位于格点中心时的 |f′(0)| 的极值。
• 研究正方形格点是否如与 Landau 常数相关猜想所言，对 |f′(0)| 产生严格最大值。
• 为相关 Lamé 方程中的辅助参数开发一种收敛的数值算法。
• 建立 |f′(0)| 在模量 k 与 k⁻¹ 之间的函数方程，并计算其渐近行为。

提出的方法

• 将问题转化为将一个对称的圆内接四边形（零角，内接于单位圆）共形映射到格点的基本矩形。
• 使用模函数 κ² = (θ₂/θ₃)⁴ 将上半平面三角形映射到上半平面，其中 κ²(i) = 1/2。
• 将其与 Schwarz-Christoffel 映射 g(w) = C∫₀ʷ ζ⁻³⁴(1−ζ)⁻³⁴ dζ 复合，其中 C ≈ 1.981，该映射将上半平面映射到一个等腰直角三角形。
• 通过链式法则推导导数 |f′(0)|：|f′(0)| = |(κ²)′(i)| · |g′(1/2)|，其中 g′(1/2) ≈ 3.887。
• 通过求解 Lamé 方程 P(ζ) = −(θ′₁² θ₁²(ζ/(2ω)))/(16ω² θ₃⁴(ζ/(2ω))) 来建模双曲度量。
• 采用二分射线法计算辅助参数 λ，使得像中的两个圆弧在一点相切，从而保证边界映射的单值性。

实验结果

研究问题

• RQ1 当 f(0) 位于格点中心时，矩形格点补集的万有覆盖映射在原点处的 |f′(0)| 值是多少？
• RQ2 正方形格点（2ω = 2ω′）是否在所有矩形格点中使 |f′(0)| 取得最大值？
• RQ3 当格点变得极细时（k → 0 或 k → ∞），|f′(0)| 的渐近行为如何？
• RQ4 在该对称情形下，Lamé 方程中的辅助参数能否以收敛性保证的方式进行数值计算？
• RQ5 |f′(0)| 在模量 k 与 k⁻¹ 之间的函数关系是什么？

主要发现

• 在正方形格点（k = 1）处，|f′(0)| 的值约为 1.4163，通过模函数与 Schwarz-Christoffel 映射的复合计算得出。
• 在所有矩形格点中，|f′(0)| 的最大值出现在 2ω = 2ω′ = 1/√2 处，其值约为 1.6693。
• 函数方程 a(k⁻¹) = k⁻¹a(k) 成立，渐近分析表明当 k → ∞ 时，a(k) ∼ 4k。
• 在 k = 1 处，导数满足 a′(1) = ½a(1)，与函数方程一致。
• 辅助参数 λ 唯一确定，其条件是像中两个圆弧相切，从而保证边界映射的单值性。
• 通过在区间 [λ⁻, λ⁺] 上采用射线法进行数值计算，可收敛至解，从而以高精度得出所述数值。