[論文レビュー] Alternative Angle-Based Approach to the KS-Map. An Interpretation Through Symmetry and Reduction

S. Ferrer, Francisco Crespo|arXiv (Cornell University)|Nov 22, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 4

ひとこと要約

本稿は、S¹群作用とT*ℍ₀における運動量写像を通じて、Kustaanheimo-Stiefel（KS）写像を別の角度から解釈する。これにより、幾何学的に同等の意義を有する二重双線形関数が明らかになる。4次元等方的調和振動子と平面ケプラー系との間には、射影的オイラー変数と正則化を介した接続が存在し、KS変換は直線軌道の場合にのみ、両方の双線形関係が必要となることが示される。

ABSTRACT

The $\mathcal{KS}$ map is revisited in terms of an $S^1$-action in $T^*\mathbb{H}_0$ with the bilinear function as the associated momentum map. Indeed, the $\mathcal{KS}$ transformation maps the $S^1$-fibers related to the mentioned action to single points. By means of this perspective a second twin-bilinear function is obtained with an analogous $S^1$-action. We also show that the connection between the 4-D isotropic harmonic oscillator and the spatial Kepler systems can be done in a straightforward way after regularization and through the extension to 4 degrees of freedom of the Euler angles, when the bilinear relation is imposed. This connection incorporates both bilinear functions among the variables. We will show that an alternative regularization separates the oscillator expressed in Projective Euler variables. This setting takes advantage of the two bilinear functions and another integral of the system including them among a new set of variables that allows to connect the 4-D isotropic harmonic oscillator and the planar Kepler system. In addition, our approach makes transparent that only when we refer to rectilinear solutions, both bilinear relations defining the $\mathcal{KS}$ transformations are needed.

研究の動機と目的

• T*ℍ₀におけるS¹群作用と運動量写像を用いてKS写像を再解釈し、従来の定式化を超える幾何的枠組みを提供すること。
• 標準の双線形関係と同等の役割を果たす「二重双線形関数」を特定・分析すること。
• S¹ファイバーの角度を明示的に符号化する射影的オイラー変数を用いて、KS写像の直接的導出を実施すること。
• 4次元等方的調和振動子と平面ケプラー系との間の接続を、正則化および両方の双線形関数を組み込んだ新たな変数系を用いて示すこと。
• 両方の双線形関係が必要となる条件、特に直線軌道の場合を明確にすること。

提案手法

• T*ℍ₀ ≅ T*ℝ⁴₀におけるS¹作用に関連する運動量写像としてKS写像を形式化し、標準の双線形関数を用いる。
• 対称的な第二のS¹作用を導入し、それに対応する「二重双線形関数」を提示。両者が同値な幾何的構造に対して運動量写像として機能することを示す。
• T*ℍ₀のパラメータ化に射影的オイラー変数（Euler角の変種）を用い、S¹ファイバーの角度を明示的に符号化する。
• 4次元振動子ハミルトニアンに射影的アンドイエール変数を用い、正則化写像g(ρ) = 1/(4ρ)を適用することで、平面ケプラーのハミルトニアンが回復されることを示す。
• クaternion記法を用いて、(q,p)から(ρ,λ,μ,ν,P,Λ,M,N)への明示的変換式（38）を導出する。
• 球対称回転子部分系の作用角変数を用いて、新たな座標系を構築し、振動子-ケプラー接続を容易にする。

実験結果

リサーチクエスチョン

• RQ1 S¹群作用と運動量写像を通じて、KS写像を再解釈することで、従来の定式化を超える幾何的対称性をどのように明らかにできるか？
• RQ2 KS変換および関連する対称性の文脈において、「二重双線形関数」の役割と意義は何か？
• RQ3 射影的オイラー変数と正則化を用いて、4次元等方的調和振動子と平面ケプラー系との間の接続を直接導出可能か？
• RQ4 KS写像において、両方の双線形関係が必要となる条件は何か？また、いつなら片方の関係を省略できるか？
• RQ5 KS正則化における余剰次元の幾何的・力学的根拠は何か？また、系の対称性はこの余剰次元の意義をどのように明確にするか？

主な発見

• 標準のKS写像は、T*ℍ₀におけるS¹作用の運動量写像として生じ、双線形関数が関連する保存量として機能する。
• 対称的な第二のS¹作用が特定され、それに対応する「二重双線形関数」が、系の幾何的構造において同等の役割を果たすことが示された。
• 射影的オイラー変数は、S¹ファイバーの角度が明示的に可視化される自然な座標系を提供し、KS写像の直接的導出を可能にする。
• 正則化g(ρ) = 1/(4ρ)を施した後、射影的アンドイエール変数における4次元等方的調和振動子ハミルトニアンは、平面ケプラーのハミルトニアンに簡略化される： 𝒦̃ = ½(P² + M²/ρ²) − γ/ρ。
• 4次元振動子と平面ケプラー系との間の接続は、双線形積分ΛとNのすべての値に対して成立するが、M=0（直線軌道）の場合は両方の双線形関係が必要となる。
• 本研究により、直線軌道のみが両方の双線形関係を必要とすることが明らかになった。非直線軌道は、片方の双線形関数と正則化スキームのみを用いても、振動子-ケプラー写像によって接続可能である。