[論文レビュー] Fiberwise Convexity of Hill's lunar problem

Lee Junyoung|arXiv (Cornell University)|Nov 27, 2014

Advanced Differential Geometry Research参考文献 7被引用数 4

ひとこと要約

本稿は、臨界値未満のエネルギー準位における正則化されたヒルの月問題の繊維ごとの凸性を証明し、それを $S^2$ 上のフィンスラー計量を伴う測地線流のリーマン変換として解釈可能にする。これにより、$\mathbb{R}P^3$ 上に一意なタイト接触構造が得られ、フィンスラー幾何学のサイスティック不等式をこの系に適用可能にする。

ABSTRACT

In this paper, I prove the fiberwise convexity of the regularized Hill's lunar problem below the critical energy level. This allows us to see Hill's lunar problem of any energy level below the critical value as the Legendre transformation of geodesic problem on $S^2$ with a family of Finsler metric.

研究の動機と目的

• 臨界値未満のエネルギー準位における正則化されたヒルの月問題の繊維ごとの凸性を確立すること。
• 正則化されたハミルトニアンの流れを、フィンスラー計量を伴う $S^2$ 上の測地線流のリーマン変換として解釈すること。
• トポロジカルおよび幾何的帰結を導出すること、特に $\mathbb{R}P^3$ 上の一意なタイト接触構造を含む。
• フィンスラー幾何学のサイスティック不等式をヒルの月問題に適用可能にする。

提案手法

• 正則化されたヒルの月問題のハミルトニアンを分析：$H_{HLP}(q,p) = \frac{1}{2}|p|^2 - \frac{1}{|q|} - q_1^2 + \frac{1}{2}q_2^2 + p_1 q_2 - p_2 q_1$。
• 有効ポテンシャル $U(q_1,q_2) = -\frac{1}{\sqrt{q_1^2 + q_2^2}} - \frac{3}{2}q_1^2$ を用いて臨界点とエネルギー準位を特定する。
• モーザー正則化を適用して原点における特異性を解消し、滑らかなハミルトニアン系に変換する。
• ハミルトニアンのヘッセ行列を分析し、記号的計算を用いて第二基本形式の正定性を証明することで、繊維ごとの凸性を確立する。
• 有理関数および抽象関数の展開を用いて、特に $F(x,u)$ の微分を上界で抑え、$a_i(x,u)$ 及びその偏導関数の上界を求める。
• 数値的および記号的計算（Maple を用いて）により、$\left|\frac{\partial F}{\partial x}\right| \leq 2.04 \times 10^6$ および $\left|\frac{\partial F}{\partial u}\right| \leq 4.58 \times 10^5$ を $x = 0.63$ で厳密に評価し、繊維ごとの凸性を確認する。

実験結果

リサーチクエスチョン

• RQ1 臨界値未満のエネルギー準位における正則化されたヒルの月問題は、繊維ごとに凸か？
• RQ2 正則化されたヒルの月問題は、フィンスラー計量を伴う $S^2$ 上の測地線流のリーマン変換として幾何学的に解釈可能か？
• RQ3 臨界エネルギー準位未満のコンパクト化されたエネルギー超曲面上にどのようなトポロジカル構造が生じるか？
• RQ4 フィンスラー幾何学のサイスティック不等式は、正則化されたヒルの月問題に適用可能か？

主な発見

• 臨界値未満のすべてのエネルギー準位において、正則化されたヒルの月問題の有界成分は繊維ごとに凸である。
• 臨界エネルギー準位未満のコンパクト化されたエネルギー超曲面は、$\mathbb{R}P^3$ 上に一意なタイト接触構造を有する。
• 正則化されたヒルの月問題は、一連のフィンスラー計量を備えた $S^2$ 上の測地線流のリーマン変換として解釈できる。
• 繊維ごとの凸性のおかげで、フィンスラー幾何学のサイスティック不等式が正則化されたヒルの月問題に適用可能である。
• $x = 0.63$ における微分の上界 $\left|\frac{\partial F}{\partial x}\right| \leq 2.04 \times 10^6$ および $\left|\frac{\partial F}{\partial u}\right| \leq 4.58 \times 10^5$ が厳密に計算され、凸性条件が確認された。
• 証明は記号的計算および抽象関数とその導関数の上界に依存しており、すべての上界は Maple を用いて明示的に検証された。