[论文解读] Conditional Linearizability Criteria for Scalar Fourth Order Semi-Linear Ordinary Differential Equations

F. M. Mahomed, Asghar Qadir|ArXiv.org|Nov 8, 2007

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

一句话总结

本文通过微分已知的三阶方程线性化条件，提出一种几何方法，推导标量四阶半线性常微分方程的线性化准则。该方法识别出五类此类方程——其中两类为全微分——基于底层二阶可线性化方程实现条件线性化，将先前工作扩展至经典李准则之外。

ABSTRACT

Using geometric methods for linearizing systems of second order cubically semi-linear ordinary differential equations and third order quintically semi-linear ordinary differential equations, we extend to the fourth order by differentiating the third order equation. This yields criteria for linearizability of a class of fourth order semi-linear ordinary differential equations, which have not been discussed in the literature previously. It is shown that the procedure can be extended to higher order. Though the results for the higher orders are complicated, they are doable by algebraic computing. The standard Lie approach, as developed at present does not seem to be amenable to giving results that can be handled even by algebraic computing.

研究动机与目标

• 将二阶和三阶常微分方程的线性化准则扩展至四阶标量半线性常微分方程。
• 解决文献中缺乏四阶方程系统性线性化准则的问题。
• 开发一种基于几何方法与对称性分析的程序，避免高阶方程标准李方法的不可解性。
• 识别出可线性化四阶方程的若干独立类别，包括条件类与非经典形式。
• 为将该方法推广至五阶及以上常微分方程并实现系统性分类奠定基础。

提出的方法

• 通过微分已知的三阶方程线性化条件，推导四阶半线性常微分方程的线性化准则。
• 应用基于等距与对称代数的几何方法，将线性化性与关联度量的零曲率联系起来。
• 使用Aminova与Aminov的投影方法，将高阶系统约化为低阶半线性形式。
• 通过分析微分后方程的结构及其与线性化性的相容性，识别出五类四阶方程。
• 将该方法应用于测地线型方程，其中系数对应克里斯托费尔符号，且必须满足曲率平坦性条件。
• 采用代数计算处理约束条件日益增加的复杂性，实现可线性化形式的系统性分类。

实验结果

研究问题

• RQ1 标量四阶半线性常微分方程通过点变换实现线性化的充要条件是什么？
• RQ2 四阶方程的线性化如何系统性分类，特别是当它们源于低阶可线性化方程的微分时？
• RQ3 用于二阶与三阶方程的几何方法能否扩展至具有非平凡结构的四阶方程？
• RQ4 所识别出的五类可线性化四阶常微分方程有何区别，特别是其中两类为全微分的形式？
• RQ5 随着方程阶数的增加，线性化类别的数量如何增长，能否推导出一般公式？

主要发现

• 本文识别出五类不同的标量四阶半线性常微分方程，其可线性化性成立，其中两类为全微分形式。
• 这些方程的线性化性依赖于其底层二阶方程的可线性化性，构成基于同一根方程的等价类。
• 该方法成功将几何方法扩展至二阶与三阶方程之外，为高阶线性化提供了系统性框架。
• 该程序所得解仅包含两个任意常数，而经典四阶线性方程包含四个，表明其具有非经典结构。
• 该方法可推广至五阶及以上常微分方程，且类别数量系统性增长——例如六阶方程有11类。
• 该方法通过使用几何约束与代数计算避免了标准李方法的不可解性，使高阶分类成为可能。