[论文解读] 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 不变量非零时三阶常微分方程（3rd-ODEs）的解空间，此前该情形缺乏几何结构。研究表明，Wünschmann 不变量对应于解空间的射影余切丛中极曲线的射影曲率，并从拉格朗日和哈密顿框架构造出一种退化的共形洛伦兹度量，给出了此类度量源自 3rd-ODEs 的充分必要条件。

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 不变量非零时三阶 ODE 缺乏共形洛伦兹度量的几何结构空白。
• 定义一种新的几何结构——因果几何，其推广了 Wünschmann 不变量为零时的零测地线结构。
• 证明 Wünschmann 不变量等于解空间射影切丛中指标曲线的射影曲率。
• 从拉格朗日和哈密顿形式化推导出退化的共形洛伦兹度量。
• 提供四维空间中秩为三的退化共形洛伦兹度量源自三阶 ODE 的必要且充分条件。

提出的方法

• 通过关联关系公理化地引入因果几何，作为解空间中包络形成曲线的层。
• 从退化共形结构出发，在解空间的射影余切丛中构造极曲线。
• 将 Wünschmann 不变量定义为该极曲线的射影曲率。
• 从拉格朗日及其关联的哈密顿量推导出退化的共形洛伦兹度量，其中度量由哈密顿量的 Hessian 矩阵导出。
• 使用线性方程组 (17) 分析决定解的矩阵系统的秩，通过秩来区分不同情形。
• 证明仅当度量源自 3rd-ODEs 时，系统 (17) 的秩可能为 1（Wünschmann 为零）或 5（Wünschmann 非零），通过反证法和微分约束排除中间秩。

实验结果

研究问题

• RQ1 当 Wünschmann 不变量非零时，三阶 ODE 解空间的几何结构是什么？它如何通过公理化方法描述？
• RQ2 Wünschmann 不变量与解空间射影切丛中指标曲线的射影曲率有何关联？
• RQ3 与 3rd-ODE 相关的退化共形洛伦兹度量是否能通过拉格朗日和哈密顿形式化的变分原理导出？
• RQ4 为何系统 (17) 中间秩（2、3、4）不产生有效的因果曲线？何种约束阻止了这些情形？
• RQ5 四维空间中秩为三的退化共形洛伦兹度量源自三阶 ODE 的必要且充分条件是什么？

主要发现

• Wünschmann 不变量恰好等于解空间射影余切丛中极曲线的射影曲率。
• 当 Wünschmann 不变量为零时，因果几何退化为陈氏共形结构的零测地线族。
• 解空间上的退化共形洛伦兹度量自然地源自拉格朗日和哈密顿形式化，其度量由哈密顿量的 Hessian 矩阵导出。
• 对于源自 3rd-ODEs 的度量，控制解空间的系统 (17) 的秩只能为 1（Wünschmann 为零）或 5（Wünschmann 非零），排除了中间秩的可能性。
• 在中间情形下，极曲线的解空间被限制为参数化一个射影点或射影直线，暗示退化性，与因果几何不一致。
• 解空间中关联曲线的空间自然对应于 1-阶丛 $J^1$，建立了解曲线与一阶初值数据之间的几何联系。