[论文解读] The geometry of second-order ordinary differential equations

Boris Doubrov, Boris Komrakov|arXiv (Cornell University)|Feb 2, 2016

Nonlinear Waves and Solitons参考文献 10被引用 6

一句话总结

本文利用喷丛、嘉当联络和李群结构，为二阶常微分方程（SODEs）构建了一个几何框架。它建立了SODEs与一阶喷从丛上几何对象之间的对应关系，使得在存在对称性时可通过不变量进行分类，并通过叠加原理求解。主要贡献是提出了一种系统化方法，利用对称代数和接触几何确定可积性并构造通解。

ABSTRACT

These are lecture notes of the Summer school on the geometry of differential equations held in Nordfjordeid, Norway in 1996. They cover geometric structures related to scalar second order ODEs, the construction of the associated Cartan connection, techniques for computing invariants of differential equations starting from the Cartan connection, recognition of symmetric 2nd order ODEs by their differential invariants and the constructive aspects of the local equivalence problem.

研究动机与目标

• 开发基于喷丛和接触结构的二阶常微分方程的微分几何框架。
• 通过嘉当联络及其关联的李代数的不变量对SODEs进行分类。
• 建立SODEs可应用叠加原理并基于对称性约化实现可积的条件。
• 对喷从空间中曲线和微分同胚的提升进行几何表征。
• 将SODEs的可解性与对称代数的结构联系起来，特别是当其为可解代数时。

提出的方法

• 利用一阶喷从丛 $ J^1(\mathbb{R}^2) $ 作为参数化平面方向的三维流形，局部坐标为 $ (x, y, z) $，其中 $ z = y' $。
• 将接触分布 $ C \subset T J^1(\mathbb{R}^2) $ 定义为提升曲线切空间的分布，由 $ \partial_x + z \partial_y $ 和 $ \partial_z $ 张成。
• 在 $ J^1(\mathbb{R}^2) $ 上引入嘉当联络，通过方程 $ y'' = F(x, y, y') $ 几何地编码SODEs，将方程识别为与接触分布横截的水平分布。
• 应用 $ \mathfrak{g} $-结构和主丛理论，当对称代数 $ \mathfrak{g} $ 可解时，将SODEs的积分问题转化为求解一个1-形式系统。
• 使用叠加原理：若存在 $ k $ 个特解 $ F_1, \dots, F_k $，使得它们的稳定子交于平凡子群，则任一解可表示为函数 $ \Phi(F_1, \dots, F_k, b) $，其中 $ \Phi $ 是李群 $ G $ 在流形 $ N $ 上的作用。
• 将该方法应用于线性系统，通过将 $ \omega = X(t) dt $ 识别为矩阵值1-形式，将SODE化为线性系统 $ F'(t) = A(t)F(t) $，其通解为 $ n $ 个线性无关解的线性组合。

实验结果

研究问题

• RQ1 如何利用喷丛和接触结构对二阶常微分方程进行几何表征？
• RQ2 嘉当联络的哪些不变量可对SODEs在局部微分同胚下进行分类？
• RQ3 在何种条件下，二阶常微分方程可基于对称代数实现叠加原理？
• RQ4 对称代数的可解性如何与SODEs的可积性相关联？
• RQ5 喷从空间中曲线和微分同胚的提升具有何种几何意义？

主要发现

• 每个二阶常微分方程 $ y'' = F(x, y, y') $ 均对应于 $ J^1(\mathbb{R}^2) $ 上一个与接触分布横截的水平分布，反之亦然。
• 平面中曲线 $ N $ 的提升是 $ J^1(\mathbb{R}^2) $ 中与接触分布相切的曲线，且任意此类曲线在局部上均可视为某平面曲线的提升。
• 当对称代数 $ \mathfrak{g} $ 在流形 $ N $ 上有效作用时，SODEs的叠加原理成立，通解为 $ k $ 个特解与群作用的函数。
• 对于线性系统 $ F'(t) = A(t)F(t) $，其通解为 $ n $ 个线性无关解的线性组合，这是叠加原理的一个特例。
• 当对称代数 $ \mathfrak{g} $ 可解时，SODEs 可通过初等积分求解，等价于求解 $ \dim \mathfrak{g} $ 个1-形式。
• 定义在 $ \mathbb{R}^2 $ 上的微分同胚 $ \varphi $ 的提升诱导出 $ J^1(\mathbb{R}^2) $ 上的微分同胚 $ \varphi^{(1)} $，其保持接触分布不变，其显式公式为 $ C(x,y,z) = \frac{B_x + B_y z}{A_x + A_y z} $。