[論文レビュー] Jet Geometrical Extension of the KCC-Invariants

Vladimir Balan, Mircea Neagu|arXiv (Cornell University)|Jun 16, 2009

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

ひとこと要約

本稿では、1-jet空間 $J^1(\mathbb{R},M)$ 上の2階微分方程式系に対するKCC不変量のジェット幾何的拡張を導入し、古典的不変量をジェット理論的枠組みへ一般化する。主な貢献は、5つの $h$-KCC不変量がすべて消えるための必要十分条件を示す定理であり、それは空間多様体 $M$ 上の平坦で対称な線形接続と時間的計量から生じる系であると特定しており、可積分性の幾何的基準を提供する。

ABSTRACT

In this paper we construct the jet geometrical extensions of the KCC-invariants, which characterize a given second-order system of differential equations on the 1-jet space $J^1(R,M)$. A generalized theorem of characterization of our jet geometrical KCC-invariants is also presented.

研究の動機と目的

• 1-jet空間 $J^1(\mathbb{R},M)$ のジェット幾何的設定へ古典的KCC不変量を拡張すること。
• ジェット理論的文脈におけるKCC不変量を一般化する5つの新しい不変量—$\overset{h}{\varepsilon}$, $\overset{h}{P}$, $\overset{h}{R}$, $\overset{h}{B}$, および $D$—の定義と特徴づけ。
• 5つの $h$-KCC不変量がすべて消えるための必要十分条件を確立し、空間多様体 $M$ 上の平坦で対称な線形接続の存在と結びつける。

提案手法

• 著者らは、座標変換における変換則を用いて、$J^1(\mathbb{R},M)$ 上の $d$-テンソル場を定義し、ジェット bundle の微分同相写像に関して不変性を保証する。
• 時間的および空間的半スプレイ $\mathring{H}$ と $\mathring{G}$ を、それぞれ $\mathbb{R}$ と $M$ 上のリーマン計量から導かれる標準的な幾何的対象として導入する。
• 水平分布と垂直分布にジェット空間を分解するため、非線形接続 $\Gamma = (M_{(1)1}^{(j)}, N_{(1)i}^{(j)})$ を定義する。
• 高階の共変微分と曲率に類似したテンソルを用いて、ジェット $h$-KCC不変量 $\overset{h}{ε}$, $\overset{h}{P}$, $\overset{h}{R}$, $\overset{h}{B}$, および $D_{jkm}^{i1}$ を構成する。これらは系の2階微分方程式成分 $F_{(1)1}^{(i)}$ から導出される。
• $h$-偏差曲率 $d$-テンソル $\overset{h}{P}$ は水平共変微分 $\frac{\overset{h}{D}}{dt}$ を用いて定義され、その偏微分から高階の不変量が導かれる。
• 特徴づけ定理の証明は、5つの不変量がすべて消えると、$F_{(1)1}^{(i)}$ が平坦で対称な線形接続 $\Gamma_{jk}^{i}(x)$ と時間的クリストッフェル記号 $H_{11}^{1}(t)$ を含む特定の2次形式をとることを示すことによりなされる。

実験結果

リサーチクエスチョン

• RQ1 1-jet空間 $J^1(\mathbb{R},M)$ 上で、5つのジェット $h$-KCC不変量がすべて消える幾何的条件は何か？
• RQ2 古典的KCC不変量は、どのようにジェット微分幾何学的枠組みを用いて1-jet bundle フレームワークに一般化できるか？
• RQ3 すべての $h$-KCC不変量が消えるとき、2階系の正確な幾何的構造は何か？
• RQ4 不変量の変換則は、$M$ 上に平坦で対称な線形接続の存在とどのように関係するか？
• RQ5 時間的計量とそのクリストッフェル記号は、$h$-KCC不変量の消える条件において果たす役割は何か？

主な発見

• 5つの $h$-KCC不変量が $J^1(\mathbb{R},M)$ 上で恒等的に消えるのは、系の2階成分が $F_{(1)1}^{(i)} = \Gamma_{pq}^{i}(x)x_{1}^{p}x_{1}^{q} - H_{11}^{1}(t)x_{1}^{i}$ を満たすときであり、ここで $\Gamma_{jk}^{i}(x)$ は $M$ 上の平坦で対称な線形接続である。
• $h$-KCC不変量の3番目 $D_{jkl}^{i1} = \partial^3 F_{(1)1}^{(i)} / \partial x_1^j \partial x_1^k \partial x_1^l$ が座標変換に関して $d$-テンソルとして振る舞うことが示された。
• $h$-偏差曲率 $\overset{h}{P}_{j11}^{i}$ が消えるのは、接続 $\Gamma_{jk}^{i}(x)$ の曲率 $\mathfrak{R}_{pqj}^{i}$ がゼロであるときであり、これは平坦性を意味する。
• $\overset{h}{R}_{jk1}^{i} = 0$ である条件は、曲率 $\mathfrak{R}_{qjk}^{i}$ が消えることを示し、$\Gamma_{jk}^{i}(x)$ が平坦で対称な線形接続であることを確認する。
• 1階のジェット時変力学系 (2.3) に対して、5つの $h$-KCC不変量はすべて恒等的にゼロであり、定理の適用可能性を示している。
• $F_{(1)1}^{(i)}$ の変換則により、成分 $\Gamma_{jk}^{i}(x)$ が $M$ 上の対称な線形接続として変換され、幾何的整合性が保たれる。