[論文レビュー] Apollonian circles and hyperbolic geometry

Riku Klén, Матти Вуоринен|arXiv (Cornell University)|Oct 13, 2010

Analytic and geometric function theory参考文献 20被引用数 9

ひとこと要約

本稿は、二つの核心的問題に取り組むために、アポロニウスの円を用いて双曲幾何を調査する。すなわち、双曲距離とユークリッド距離の比較、および双曲中点と測地線の構成である。アポロニウスの円が双曲的距離の自然な枠組みを提供することを確立し、モビウス不変性と球の幾何学的性質を用いて、上半平面モデルにおける双曲測地線および中点の明示的公式を導出する。

ABSTRACT

The goal of this paper is to study two basic problems of hyperbolic geometry. The first problem is to compare the hyperbolic and Euclidean distances. The second problem is to find hyperbolic counterparts of some basic geometric constructions such as the construction of the middle point of a hyperbolic geodesic segment. Apollonian circles have a key role in this study.

研究の動機と目的

• アポロニウスの円を幾何的道具として用い、双曲幾何における双曲距離とユークリッド距離の比較を行う。
• 古典的なユークリッド的構成、例えば測地線線分の中点の双曲的類似物を見つける。
• モビウス不変性と球の幾何学を介して、アポロニウスの距離と双曲幾何の間の接続を確立する。
• 上半平面モデルにおける双曲測地線および中点の明示的公式を導出する。
• 双曲距離の下界を、ユークリッド座標および高さパラメータの観点から提供する。

提案手法

• 二つの固定点への距離の比によって定義されるアポロニウスの円を用いて、双曲測地線および中点を構成する。
• モビウス変換を用いて、単位球体モデルを上半平面モデルに写像し、アポロニウス構造を保存する。
• 交比および絶対比を用いてモビウス不変性を特徴づけ、アポロニウス距離を定義する。
• ベクトル代数を用いて、複素平面におけ るアポロニウスの円の中心および半径の明示的公式を導出する。
• 境界 ∂ℍ² に対する直交性といった幾何的制約を適用し、双曲測地線を円弧として特定する。
• 双曲三角恒等式および不等式を用いて、ユークリッド座標および高さの観点から双曲距離の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 上半平面における二点の双曲中点を構成するために、アポロニウスの円はどのように用いられるか。
• RQ2 上半平面モデルにおけるアポロニウス距離と双曲距離の関係は何か。
• RQ3 ℍ²における双曲測地線は、二点によって定義されるアポロニウスの円とどのように関係するか。
• RQ4 ユークリッド座標および高さの観点から、双曲距離の有効な下界は何か。
• RQ5 アポロニウス距離が真の距離関数である条件は何か。また、いつ双曲距離と一致するか。

主な発見

• ℍ²における二点 x および y の双曲中点は、z₁ = (x₁y₂ + x₂y₁)/(x₂ + y₂) および z₂ = √[r² − (c − z₁)²] で与えられる点 z である。ここで r および c は測地線円から導出される。
• ℍ²における二点 x および y を結ぶ双曲測地線線分は、∂ℍ² に直交する円と ℍ² の共通部分として与えられ、その中心および半径は明示的に計算可能である。
• アポロニウス距離 α_G(x,y) は、アポロニウスパラメータ X と Y の積に等しく、三角不等式を満たす。
• cosh ρ(x,y) の下界として、1 + |x−y|²/(xₙ² + yₙ²) が与えられ、xₙ + yₙ ≤ |x′−y′| のときにはより鋭い下界 1 + 2|x′−y′|²/(xₙ + yₙ)² が得られる。
• sinh(ρ(x,y)/2) ≥ (xₙ + yₙ)/(2√(xₙyₙ)) × √(1 − 4xₙyₙ/((xₙ + yₙ)² + |x′−y′|²)) は、高さおよび水平方向の分離度の観点から鋭い下界を提供する。
• アポロニウス距離 α_G(x,y) は、補集合が超平面に含まれない領域上で距離関数であり、モビウス変換に対して不変である。