[論文レビュー] 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)| に注目する。共形写像技術、シュバルツ＝クリストッフェル変換、およびシューティング法による付加パラメータの計算を用いて、|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)| に対して厳密な最大値を与えるかどうかを検討すること。
• 関連するラマ方程式における付加パラメータを収束保証付きで数値的に計算するためのアルゴリズムを構築すること。
• |f′(0)| がモジュラス k と k⁻¹ において満たす関数方程式を確立し、その漸近的挙動を計算すること。

提案手法

• 問題を、単位円に内接する対称的円型四角形（零角）を、格子の基本平行四辺形に共形写像することに変換する。
• モジュラー関数 κ² = (θ₂/θ₃)⁴ を用いて、上半平面の三角形を上半平面に写像し、κ²(i) = 1/2 となるようにする。
• この写像を、g(w) = C∫₀ʷ ζ⁻³⁴(1−ζ)⁻³⁴ dζ（C ≈ 1.981）によるシュバルツ＝クリストッフェル写像と合成する。この写像は上半平面を二等辺直角三角形に写像する。
• 合成則を用いて導関数 |f′(0)| を導出する：|f′(0)| = |(κ²)′(i)| · |g′(1/2)| であり、g′(1/2) ≈ 3.887 である。
• 双曲的計量をモデル化するため、ラマ方程式 P(ζ) = −(θ′₁² θ₁²(ζ/(2ω)))/(16ω² θ₃⁴(ζ/(2ω))) を解く。
• 二つの円弧が像で一点で接するようにするため、付加パラメータ λ を求めるために二分法的シューティング法を用いる。これにより境界写像の単葉性が保証される。

実験結果

リサーチクエスチョン

• RQ1 f(0) が格子の中心にある普遍被覆写像について、長方形格子の補集合における |f′(0)| の値は何か？
• RQ2 正方形格子（2ω = 2ω′）は、すべての長方形格子の中で |f′(0)| を最大にするか？
• RQ3 格子が非常に細くなる（k → 0 または k → ∞）際、|f′(0)| はどのように振る舞うか？
• RQ4 この対称的状況において、ラマ方程式の付加パラメータを収束保証付きで数値的に計算できるか？
• RQ5 モジュラス k と k⁻¹ における |f′(0)| の関数的関係は何か？

主な発見

• 正方形格子（k = 1）における |f′(0)| の値は、約 1.4163 であり、モジュラー写像とシュバルツ＝クリストッフェル写像の合成により計算された。
• すべての長方形格子において |f′(0)| の最大値は、2ω = 2ω′ = 1/√2 において、約 1.6693 に達する。
• 関数方程式 a(k⁻¹) = k⁻¹a(k) が成り立ち、漸近解析により a(k) ∼ 4k（k → ∞）であることが示された。
• k = 1 における導関数は a′(1) = ½a(1) を満たしており、関数方程式と整合的である。
• 付加パラメータ λ は、像内の二つの円弧が一点で接するようにすることで一意に定まる。これにより境界写像の単葉性が保証される。
• 区間 [λ⁻, λ⁺] におけるシューティング法による数値計算は収束し、高い精度で上記の値が得られた。