[论文解读] On the obstruction to linearizability of 2-order ordinary differential equations

Valeriy Yumaguzhin|ArXiv.org|Apr 2, 2008

Advanced Differential Geometry Research参考文献 5被引用 8

一句话总结

本文通过在方程空间的2阶喷丛上构造一个取值于李代数的水平微分2-形式，识别出通过点变换线性化二阶常微分方程（2-ODEs）的唯一障碍。该形式在可线性化方程的轨道上恒为零，精确地证明了它是决定线性化可能性的唯一不变量，从而提供了一种不依赖于射影联络或曲率形式的直接微分几何判据。

ABSTRACT

In this paper, we investigate the action of pseudogroup of all point transformations on the natural bundle of equations $y'' = u^0(x,y) + u^1(x,y)y' + u^2(x,y)(y')^2 + u^3(x,y)(y')^3$. We calculate the 1-st nontrivial differential invariant of this action. It is a horizontal differential 2-form with values in some algebra, it is defined on the bundle of 2--jets of sections of the considered bundle. We prove that this form is a unique obstruction to linearizability of these equations by point transformations.

研究动机与目标

• 确定分类二阶ODE是否可通过点变换线性化的完整不变量集合。
• 构造点变换伪群作用于2-ODE自然丛上的第一个非平凡微分不变量。
• 证明该不变量是线性化唯一的障碍，提供一种独立于Cartan射影联络方法的几何判据。
• 建立喷丛上水平2-形式的消失与存在将方程化为线性形式的点变换之间的直接联系。

提出的方法

• 将点变换的伪群提升至形式为 $y'' = u^0 + u^1 y' + u^2 (y')^2 + u^3 (y')^3$ 的2-ODE自然丛的2阶喷丛 $J^2\pi$ 上。
• 分析伪群在 $J^2\pi$ 上的作用，揭示出两个轨道：一个满维的通解轨道 $\mathrm{Orb}_1$ 和一个余维为2的特殊轨道 $\mathrm{Orb}_2$。
• 利用类似于 $G$-结构的延拓技术，在 $J^2\pi$ 上构造一个取值于李代数的水平微分2-形式 $\omega^{(2)}$。
• 证明 $\omega^{(2)}$ 在 $\mathrm{Orb}_1$ 上非零，且在 $\mathrm{Orb}_2$ 上恒为零，而 $\mathrm{Orb}_2$ 恰好对应可线性化方程。
• 该构造避免使用Cartan的射影联络框架，转而采用喷丛理论方法与Spenser上同调来定义障碍。
• 证明 $\omega^{(2)}$ 在某截面 $S$ 的2阶喷丛上消失，等价于存在一个点变换将该方程化为线性形式。

实验结果

研究问题

• RQ1 点变换伪群作用于二阶ODE喷丛上的第一个非平凡微分不变量是什么？
• RQ2 如何几何刻画可通过点变换线性化的二阶ODE集合？
• RQ3 是否存在一个定义在2阶喷丛上的微分形式，作为线性化唯一的障碍，且独立于基于曲率的方法？
• RQ4 能否仅通过 $J^2\pi$ 上单个微分不变量的消失来判定一个2-ODE是否可线性化？
• RQ5 在 $J^2\pi$ 上作用的轨道结构与存在将方程线性化的点变换之间的确切关系是什么？

主要发现

• 构造出取值于李代数的水平微分2-形式 $\omega^{(2)}$，作为点变换作用于 $J^2\pi$ 上的第一个非平凡微分不变量。
• 该形式在通解轨道 $\mathrm{Orb}_1$ 上非零，在特殊轨道 $\mathrm{Orb}_2$ 上恒为零，而 $\mathrm{Orb}_2$ 恰好对应可线性化方程。
• $\omega^{(2)}$ 在截面 $S$ 的2阶喷丛上消失，等价于存在一个点变换将 $S$ 映射到零截面。
• 对应于可线性化方程的轨道 $\mathrm{Orb}_{0_2}$ 恰好是 $\omega^{(2)}$ 的零点集，确认其为唯一障碍。
• 线性化点变换存在的证明依赖于相关PDE系统中自然投影 $\mathcal{E}^{(2)} \to \mathcal{E}^{(1)}$ 的满射性，该性质由 $\omega^{(2)}$ 的消失性所确立。
• 结果确认 $\omega^{(2)}$ 是线性化唯一的障碍，因为任意两个线性2-ODE在局部点变换下均等价。