Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

技术摘要：接触变换下具有四维和五维李对称代数的三阶常微分方程线性化

问题陈述
本文研究了形如 $u''' = f(x, u, u', u'')$ 的标量三阶常微分方程（ODE）的线性化问题。具体而言，它探讨了在何种条件下，此类方程可以通过接触变换（涉及自变量、因变量及一阶导数的变换）转化为线性规范形式。本研究聚焦于由李对称代数特征划分的两类可线性化方程：即 admit 一个四维李代数的方程和 admit 一个五维李代数的方程。

尽管先前的工作（如 Chern、Neut、Petitot、Ibragimov、Meleshko 以及 Al-Dweik 等人）已建立了点变换下的线性化判据，或提供了等价于线性形式的条件，但本工作旨在：

1. 将这些结果推广到更广泛的接触变换类。
2. 清晰区分 admit 四个对称性与 admit 五个对称性的规范形式。
3. 提供一个明确的、算法化的程序，用于构造将给定非线性 ODE 约化为其线性规范形式的接触变换，而不仅仅是陈述存在性条件。

方法论
作者采用嘉当等价法（Cartan's equivalence method）来解决该问题。方法论通过以下技术步骤进行：

1. 几何设定：问题在二阶喷流空间 $J^2$ 上表述，其局部坐标为 $(x, u, p, q)$，其中 $p=u'$，$q=u''$。定义了一个基余标架，两个 ODE 在接触变换下的等价性被表述为一个基本等价条件，涉及该余标架通过一个九维结构群 $G$ 的拉回。
2. 约化过程：作者通过对结构方程中的挠率系数进行归一化，系统地约化结构群。这包括：
   • 将挠率项吸收进群参数中。
   • 识别作为相对不变量（$I_1, I_2, \dots, I_{15}$）的本质挠率系数。
   • 根据这些不变量的消失或非消失情况对分析进行分支。
3. 分支与分类：约化过程导致基于不变量 $I_3$（与 Wünschmann 型不变量的非消失相关）的两个主要分支。
   • 分支 $I_3 \neq 0$：进一步约化导致由一组不变量（$I_6, I_8, I_{10}, I_{11}, I_{12}$）的消失所定义的子分支。在此范围内，根据不变量 $K = I_9/J_3^2$ 进行进一步区分：
     • 情形 $K$ 为常数：对应于规范形式 $\bar{u}''' = s\bar{u}' + \bar{u}$（五个对称性）。
     • 情形 $K$ 非常数：对应于规范形式 $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$（四个对称性），需满足 $K$ 的导数上的额外消失条件。
4. 变换构造：一旦为规范形式建立了不变余标架，作者便推导偏微分方程（PDE）系统以构造显式的接触变换。这些系统本质上是线性的或 Riccati 型的，提供了一种构造性替代方案，避免了直接求解非线性 PDE 系统。

主要结果

• 定理 3.1（五个对称性）：一个三阶 ODE 通过接触变换等价于规范形式 $\bar{u}''' = s\bar{u}' + \bar{u}$（其中 $s$ 为常数），当且仅当相对不变量 $I_6, I_8, I_{10}, I_{11}, I_{12}$ 恒为零，且不变量 $K$ 为常数（具体为 $K=s$）。
• 定理 3.2（四个对称性）：一个三阶 ODE 通过接触变换等价于规范形式 $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$（其中 $\bar{a}_3$ 非常数），当且仅当相对不变量 $I_6, I_8, I_{10}, I_{11}, I_{12}$ 为零，且额外不变量 $I_{13}, I_{14}, I_{15}$（涉及 $K$ 的导数）为零，同时满足 $K$ 非常数（$\hat{D}_x K \neq 0$）的条件。
• 构造性程序（命题 4.1 和 4.2）：本文提供了寻找接触变换 $(\bar{x}, \bar{u}, \bar{p}) = (\phi, \psi, \chi)$ 的显式算法：
  • 对于五对称情形，通过求解关于辅助函数 $a_1, \phi, \eta, \chi, \psi$ 的一阶线性 PDE 系统来寻找变换。
  • 对于四对称情形，该过程包括求解关于辅助函数 $H$ 的 Riccati 型方程的额外步骤，随后求解关于 $b, a_1, \phi, \eta, \chi, \psi$ 的线性系统。
• 示例说明：
  • 方程 $u''' = \alpha (u'')^2 / u'$ 被证明在接触变换下可线性化为五对称形式，但在点变换下不可线性化（证明了接触框架的必要性）。
  • 方程 $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ 被证明在接触变换下可线性化为四对称形式，同样未能满足点变换线性化的判据。

意义与主张
作者声称，他们的工作提供了一个新颖的框架来实施嘉当方法，有效地处理了等价问题中固有的复杂性和表达式膨胀。主要贡献包括：

1. 推广：将线性化判据从点变换推广到更一般的接触变换，从而捕获更广泛的可线性化 ODE 类。
2. 区分：基于李对称代数的维数（四维与五维）清晰分离规范形式，这在接触变换的语境下此前未被明确区分。
3. 算法构造：与通常要求求解非线性 PDE 系统或未涉及变换构造的先前方法不同，本文提供了一个构造性的、算法化的程序。通过将问题约化为由不变余标架导出的线性或 Riccati PDE 系统，该方法为计算显式变换提供了一条实用途径。
4. 几何清晰性：不变余标架的使用为可线性化方程提供了完整的几何刻画，定义了等价性的必要和充分条件。

本文结论认为，该框架为构造接触变换提供了一条有效的计算途径，将嘉当等价法的效用扩展到了比以往更广泛的三阶 ODE 线性化语境中。