[论文解读] Linearisable third order ordinary differential equations and generalised Sundman transformations

Norbert Euler, Thomas Wolf+2 more|ArXiv.org|Mar 14, 2002

Nonlinear Waves and Solitons参考文献 16被引用 24

一句话总结

本文推导了通过扩展Sundman变换（一种推广点变换和广义Sundman变换的非局部变换）将一般三阶常微分方程线性化为 $X'''(T) = 0$ 的完整条件集。主要贡献在于系统推导了可积性条件，并提出了一个扩展变换框架，使得通过依赖速度和高阶导数的非局部映射，能够将非线性三阶常微分方程线性化。

ABSTRACT

We calculate in detail the conditions which allow the most general third order ordinary differential equation to be linearised in X'''(T)=0 under the transformation X(T)=F(x,t), dT=G(x,t)dt. Further generalisations are considered.

研究动机与目标

• 推导最一般三阶常微分方程在非局部变换下可线性化为 $X'''(T) = 0$ 的必要且充分条件。
• 将经典点变换和广义Sundman变换框架扩展至包含变换函数中更高阶导数的依赖关系。
• 通过推导原方程系数的相容性条件，建立系统化方法以识别可线性化的三阶常微分方程。
• 提供一个利用扩展Sundman变换将非线性三阶常微分方程转化为线性形式的框架，从而通过积分求解实现精确求解。
• 通过引入依赖于因变量导数的非局部、非点变换，将线性化概念推广至点对称性之外的范围。

提出的方法

• 本文引入扩展Sundman变换：$X(T(t,x)) = F(x,t)$ 和 $dT = G_1 dt + G_2 dx$，其中 $G_2$ 依赖于 $x$、$\dot{x}$、$\ddot{x}$ 等，推广了标准广义Sundman变换。
• 该方法通过将变换在三阶上进行延拓，以原变量及其导数表示变换后的方程 $X'''(T) = 0$。
• 通过将变换的三阶延拓与线性方程 $X'''(T) = 0$ 对等，推导出关于 $F$、$G_1$ 和 $G_2$ 的偏微分方程组，从而获得相容性条件。
• 雅可比行列式 $J = F_x G_t - F_t G_x \neq 0$ 确保变换的可逆性，从而保持映射结构的完整性。
• 作者从系统中消去 $F$ 和 $G$，推导出原三阶常微分方程系数 $\Lambda_3, \Lambda_2, \Lambda_1, \Lambda_0$ 的显式相容性条件。
• 通过两个例子验证了该方法：一个将一阶常微分方程转化为线性形式，另一个通过非局部映射将三阶常微分方程转化为 $X''''(T) = 0$。

实验结果

研究问题

• RQ1 在非局部变换下，一般三阶常微分方程可线性化为 $X'''(T) = 0$ 的必要且充分条件是什么？
• RQ2 广义Sundman变换如何扩展以包含对 $x(t)$ 高阶导数的依赖？
• RQ3 三阶常微分方程的系数必须满足何种相容性条件，才能通过扩展变换实现线性化？
• RQ4 该变换框架是否可用于将非线性三阶常微分方程映射为低阶线性方程？
• RQ5 雅可比行列式 $J$ 在确保扩展Sundman变换的可逆性和有效性方面起什么作用？

主要发现

• 本文推导出一组完整的相容性条件（公式 4.5 和 4.8），这些条件是三阶常微分方程系数 $\Lambda_3, \Lambda_2, \Lambda_1, \Lambda_0$ 必须满足的，以通过扩展Sundman变换实现线性化。
• 扩展Sundman变换通过引入依赖于 $\dot{x}$、$\ddot{x}$ 及更高阶导数的非局部映射，实现了对非线性三阶常微分方程的线性化，推广了经典点变换和广义Sundman变换。
• 在第一个例子中，变换 $x = (X')^{-1} e^{-T}, t = e^T$ 将由一阶线性方程导出的二阶常微分方程线性化，证明了该方法的一致性。
• 在第二个例子中，变换 $x = (X')^{-1} T^{-1}, t = T$ 将一个三阶常微分方程映射为 $X''''(T) = 0$，表明该方法可降低方程的阶数。
• 所推导的相容性条件被证明是线性化的必要且充分条件，为判断给定三阶常微分方程是否可线性化提供了实用判据。
• 该方法通过将非线性三阶常微分方程转化为线性形式，使得解可通过积分获得，从而实现闭式精确求解。