[論文レビュー] Variations on the Tait-Kneser theorem

Gil Bor, Connor Jackman+1 more|arXiv (Cornell University)|Apr 5, 2021

Mathematics and Applications参考文献 16被引用数 3

ひとこと要約

本稿では、単調で消えない曲率を持つ平面曲線に沿ってネストされた包あたま円に関するTait-Kneser定理を、Lorentz幾何学的手法を用いて幾何学的に証明する。この手法を包あたまHookeおよびKeplerの円錐曲線へ拡張し、関連する円錐曲線の曲線がnullであることを示す。これにより、Keplerの円錐曲線に対する新しい4頂点定理が得られ、射影的双対性およびBohlin-Kasner変換を介して中心力則と関連づける。

ABSTRACT

The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and Kepler conics along a plane curve. We also prove a version of the 4-vertex theorem for Kepler conics.

研究の動機と目的

• 平面の円の空間におけるLorentz幾何学を用いたTait-Kneser定理の新たな証明を提供すること。
• Tait-Kneser定理を単調な曲率を持つ平面曲線に沿う包あたまHookeおよびKeplerの円錐曲線へ拡張すること。
• 幾何的および双対性に基づく手法を用いて、Keplerの円錐曲線に対する4頂点定理を確立すること。
• 3パラメータ族の曲線と擬リーマン幾何学におけるnull曲線との関係を解明すること。
• 射影的双対性が、Euklid的およびKepler的バージョンのTait-Kneser定理および4頂点定理を、互いに同等の形に還元できることを示すこと。

提案手法

• 中心座標(a,b)と半径rを用い、平面の円を計量 −a² − b² + r² を持つ擬Euclid空間 ℝ¹,² の点として表現する。
• |v₁ − v₂|² ≥ 0 という条件により円のネストを定義し、等号が成り立つのはかつて円が接する場合に限る。
• 包あたま円写像の微分と曲率条件を用いて、頂点を含まない曲線に沿う包あたま円の曲線が ℝ¹,² 内のnull曲線であることを示す。
• ℝ¹,² 内の正則なnull曲線 Γ に対して、|Γ(t₁) − Γ(t₀)|² ≥ 0 が成り立ち、等号が成り立つのは曲線がnull線分である場合に限ることを証明する。
• HookeおよびKeplerの円錐曲線に対しても同様の枠組みを適用し、それらのパラメータ空間を擬リーマン多様体と特定し、関連する曲線がnullであることを示す。
• 射影的双対性と変換 z ↦ z^{(a+3)/2} を用い、Bohlin-Kasner変換によりKeplerの円錐曲線と円を関連づけ、Euklid的からKepler的状況への結果の転送を実現する。

Figure 1: Osculating nested circles along a curve with monotone non-vanishing curvature: the lower part of a parabola (left) and an Archimedean spiral (right).

実験結果

リサーチクエスチョン

• RQ1 平面の円の空間におけるLorentz幾何学を用いて、ネストされた包あたま円に関するTait-Kneser定理を再証明するにはどうすればよいか？
• RQ2 曲線に沿って包あたまHookeまたはKeplerの円錐曲線が互いに交わらず、かつネストされているための条件は何か？
• RQ3 古典的4頂点定理の円バージョンに類似した、Keplerの円錐曲線に対する4頂点定理は成立するか？
• RQ4 3パラメータ族の曲線（例：放物線、有理線形関数など）の幾何的性質は、Tait-Kneser現象をどの程度一般化できるか？
• RQ5 射影的双対性は、Euklid的およびKepler的バージョンのTait-Kneser定理および4頂点定理をどのように関連付けるか？

主な発見

• 単調で消えない曲率を持つ頂点を含まない平面曲線に沿う包あたま円の曲線は、ℝ¹,² 内のnull曲線である。これは、互いに交わらずネストされた円が得られることを意味する。
• ℝ¹,² 内のnull曲線に対して |Γ(t₁) − Γ(t₀)|² ≥ 0 が成り立つ。等号が成り立つのは、円の曲線がnull線分である場合に限る。このとき、端点における包あたま円はネストされている。
• 単調な曲率を持つ曲線に沿って包あたまHookeの円錐曲線が得られるとき、それに対応する3次元空間内の曲線はnull曲線である。これにより、Hookeの円錐曲線に対するTait-Kneser型定理が得られる。
• Keplerの円錐曲線に対して4頂点定理が確立された：単調な曲率を持つ滑らかな曲線は、Keplerの円錐曲線の意味で少なくとも4つの頂点をもつ。
• Keplerの円錐曲線の双対は円であり、双対性は接する順序とネスト関係を保つ。これにより、Kepler的Tait-Kneser定理および4頂点定理は、Euklid的類似定理に還元可能である。
• Bohlin-Kasner変換 z ↦ z^{(a+3)/2} は、Hookeの法則（a=1）に従う軌道を、ニュートンの法則（b=−2）に従う軌道へ写像する。これにより、2つの力則およびそれに対応する円錐曲線族が関連づけられる。

Figure 2: ‘Lines’ of circles. A timelike line (green): nested disjoint circles. A null line (blue): nested circles tangent at a point. A spacelike line (orange): intersecting circles, tangent to a pair of lines.