[論文レビュー] Causal geometries and third-order ordinary differential equations

Jonathan Holland, George Sparling|arXiv (Cornell University)|Jan 1, 2010

Geometric Analysis and Curvature Flows参考文献 20被引用数 4

ひとこと要約

本稿では、Wünschmann不変量が非ゼロである場合、従来、幾何的構造が欠落していた3階常微分方程式（3rd-ODE）の解空間を記述するための因果幾何学（causal geometry）の概念を導入する。Wünschmann不変量が解空間の射影余接 bundle 内の極小曲線の射影的曲率に一致することを示し、ラグランジュおよびハミルトニアン枠組みから退化した共形ローレンツ計量を構成する。3rd-ODE から生じるような計量が成立するための必要十分条件も提示する。

ABSTRACT

We discuss contact invariant structures on the space of solutions of a third-order ordinary differential equation. Associated to any third-order differential equation modulo contact transformations, Chern introduced a degenerate conformal Lorentzian metric on the space of 2-jets of functions of one variable. When the Wuenschmann invariant vanishes, the degenerate metric descends to a proper conformal Lorentzian metric on the space of solutions. In the general case, when the Wuenschmann invariant is not zero, we define the notion of a causal geometry, and show that the space of solutions supports one. The Wuenschmann invariant is then related to the projective curvature of the indicatrix curve cut out by the causal geometry in the projective tangent space. When the Wuenschmann vanishes, the causal structure is then precisely the sheaf of null geodesics of the Chern conformal structure. We then introduce a Lagrangian and associated Hamiltonian from which the degenerate conformal Lorentzian metric are constructed. Finally, necessary and sufficient conditions are given for a rank three degenerate conformal Lorentzian metric in four dimensions to correspond to a third-order differential equation.

研究の動機と目的

• Wünschmann 不変量が非零である場合に、共形ローレンツ計量を欠く3階常微分方程式の幾何的構造のギャップを埋める。
• Wünschmann 不変量がゼロの場合の光的測地線構造を一般化する新しい幾何的構造—因果幾何学—を定義する。
• Wünschmann 不変量が解空間の射影接空間内における指標曲線の射影的曲率に等しいことを示す。
• ラグランジュおよび関連するハミルトニアン形式から、退化した共形ローレンツ計量を導出する。
• 4次元におけるランク3の退化した共形ローレンツ計量が3階常微分方程式から生じるための必要十分条件を提示する。

提案手法

• 解空間内における包絡曲線族としての因果幾何学を、インシデント関係によって公理化する。
• 退化した共形構造から、解空間の射影余接 bundle 内の極小曲線を構成する。
• Wünschmann 不変量をこの極小曲線の射影的曲率として定義する。
• ハミルトニアンのヘッセ行列から計量が導かれるラグランジュおよび関連するハミルトニアン形式から、退化した共形ローレンツ計量を導出する。
• 解を決定する行列系のランクを評価するための線形方程式系 (17) を用い、ランクごとに場合分けを行う。
• 3rd-ODE から生じる計量について、ランク1（Wünschmann がゼロ）およびランク5（Wünschmann が非ゼロ）の2通りのみが可能であり、中間ランクは背理法および微分的制約により除外されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Wünschmann 不変量が非零である3階常微分方程式の解空間に内在する幾何的構造は何か。また、その構造はどのように公理化できるか。
• RQ2 Wünschmann 不変量は、解空間の射影接空間内における指標曲線の射影的曲率とどのように関係しているか。
• RQ3 3rd-ODE に関連する退化した共形ローレンツ計量は、ラグランジュおよびハミルトニアン形式を用いた変分原理から導出可能か。
• RQ4 方程式系 (17) の中間ランク（2, 3, 4）はなぜ有効な因果曲線を生じないのか。どのような制約がそれらを防いでいるか。
• RQ5 4次元におけるランク3の退化した共形ローレンツ計量が3階常微分方程式から生じるための必要十分条件は何か。

主な発見

• Wünschmann 不変量は、解空間の射影余接 bundle 内の極小曲線の射影的曲率に正確に一致する。
• Wünschmann 不変量がゼロである場合、因果幾何学はチェーンの共形構造の光的測地線族に還元される。
• 解空間上に生じる退化した共形ローレンツ計量は、自然にラグランジュおよびハミルトニアン形式から導出され、計量はハミルトニアンのヘッセ行列から得られる。
• 3rd-ODE から生じる計量について、解空間を記述する方程式系 (17) のランクは、Wünschmann がゼロのときランク1、非ゼロのときランク5に限られ、中間ランクは除外される。
• 極小曲線の解空間は、中間ケースでは射影的点または直線に制限され、因果幾何学と整合しない退化状態を示している。
• 解空間内のインシデント曲線の空間は自然に1-jet空間 $J^1$ に対応し、解曲線と1次微分データの間の幾何的関係を確立する。