[论文解读] Invariant Linearization Criteria for Systems of Cubically Semi-Linear Second-Order Ordinary Differential Equations

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

Nonlinear Waves and Solitons参考文献 9被引用 15

一句话总结

本文将不变线性化判据扩展至在一阶导数上为三次非线性的两个二阶常微分方程（ODE）的方程组。基于测地线方程和投影技术的几何方法，作者推导出通过点变换实现线性化的必要与充分条件，几何地重新推导了李氏经典条件，并将其推广至三次情形，给出了以系数函数表示的实用判据，并应用于线性系统。

ABSTRACT

Invariant linearization criteria of square systems of second-order quadratically semi-linear ordinary differential equations (ODEs) that can be represented as geodesic equations are extended to square systems of ODEs cubically nonlinear in the first derivatives. It is shown that there are two branches for the linearization problem via point transformations for an arbitrary system of second-order ODEs. One is when the system is at most cubic in the first derivatives. We solve this branch of the linearization problem by point transformations in the case of a square sytem of two second-order ODEs. Necessary and sufficient conditions for linearization by means of point transformations are given in terms of coefficient functions of the system of two second-order ODEs cubically nonlinear in the first derivatives. A consequence of our geometric approach of projection is a re-derivation of Lie's conditions for a single second-order ODE and sheds light on more recent results on them. In particular, we show here how one can construct point transformations for reduction to the simplest linear equation by going to the higher space and just utilising the coefficients of the original ODE. We also obtain invariant criteria for the reduction of a linear square system to the simplest system. Moreover, these results contain the quadratic case as a special case. Examples are given to illustrate our results.

研究动机与目标

• 将不变线性化判据从二次半线性推广至三次半线性二阶ODE方程组。
• 为在第一阶导数上为三次的两个二阶ODE方程组的方阵系统，通过点变换实现线性化的必要与充分条件提供判据。
• 利用投影方法，几何地重新推导李氏经典线性化条件。
• 将结果推广以包含二次情形作为特例，并推导将线性系统约化为最简形式的实用判据。
• 通过具体例子说明理论的应用，展示所推导判据的适用性。

提出的方法

• 作者基于将系统表示为高维空间中测地线方程的几何框架。
• 他们应用投影技术推导线性化条件，利用克里斯托费尔符号的结构及其相容性条件。
• 该方法涉及分析ODE方程组的系数，并推导出为实现线性化必须满足的超定PDE系统。
• 该方法通过将李氏经典方法扩展至一阶导数中的三次非线性，实现了推广。
• 作者使用辅助变量和相容性条件来表征可线性化的系统。
• 他们推导出以系数函数 $E_0, E_1, E_2, E_3$ 表示的显式判据，用于判断系统是否可通过点变换实现线性化。

实验结果

研究问题

• RQ1 对于在第一阶导数上为三次的两个二阶ODE方程组的方阵系统，通过点变换实现线性化的必要与充分条件是什么？
• RQ2 如何利用投影方法几何地重新推导单个二阶ODE的李氏经典线性化条件？
• RQ3 能否以系数函数为基准，为三次半线性系统线性化制定实用判据？
• RQ4 三次情形的结果如何推广先前已知的二次半线性系统的判据？
• RQ5 所推导的判据能否用于将两个二阶ODE的线性系统约化为最简线性系统？

主要发现

• 本文确立了在第一阶导数上为三次的两个二阶ODE方程组的线性化问题存在两个不同的分支，本文通过点变换解决了三次分支。
• 以系数函数 $E_0, E_1, E_2, E_3$ 表示的线性化必要与充分条件被推导出来，构成一个类似于李氏条件的超定PDE系统。
• 几何投影方法使得能够几何地重新推导单个二阶ODE的李氏经典线性化条件，从而对这些条件的结构提供了新见解。
• 所推导的判据将二次半线性情形作为特例包含在内，确认了与先前结果的一致性。
• 该方法可通过分析原始ODE系统中的系数，实现线性化点变换的构造，而无需事先知道变换形式。
• 提供了实例以展示判据的应用，证实其在识别可线性化系统方面的实际效用。