[论文解读] First order ODEs, Symmetries and Linear Transformations

E.S. Cheb-Terrab, Théodore Kolokolnikov|ArXiv.org|Jul 15, 2000

Geophysics and Sensor Technology参考文献 8被引用 3

一句话总结

本文提出了一种算法，通过系统识别形式为 $\xi = F(x)$, $\eta = P(x)y + Q(x)$ 的线性对称性，求解一阶常微分方程（ODE）。这些对称性对应于将 ODE 映射为可分离形式的线性变换。该方法成功求解了 Kamke 的 552 个可解一阶 ODE 中的 78%，其中非 Riccati 情况下有 75% 可通过该算法求解，并推广了 Chini 方法以及常数不变量 Abel ODE 方法。

ABSTRACT

An algorithm for solving first order ODEs, by systematically determining symmetries of the form [ xi = F(x), eta = P(x) y + Q(x) ], where xi d/dx + eta d/dy is the symmetry generator - is presented. To these {\it linear} symmetries one can associate an ODE class which embraces all first order ODEs mappable into separable through linear transformations {t = f(x), u = p(x) y + q(x)}. This single ODE class includes as members, for instance, 78% of the 552 solvable first order examples of Kamke's book. Concerning the solving of this class, a restriction on the algorithm being presented exists only in the case of Riccati type ODEs, for which linear symmetries {\it always} exist but the algorithm will succeed in finding them only partially.

研究动机与目标

• 开发一种系统化算法，利用形式为 $\xi = F(x)$, $\eta = P(x)y + Q(x)$ 的一阶 ODE 线性对称性求解一阶 ODE。
• 识别可通过线性变换 $t = f(x)$, $u = p(x)y + q(x)$ 变为可分离形式的一类广泛的一阶 ODE。
• 提供一种无需求解辅助微分方程且适用于非代数 ODE 的方法，仅依赖于无穷小量的李群条件。
• 推广现有方法，如适用于多项式 ODE 的 Chini 方法，以及常数不变量 Abel ODE 方法。
• 通过大规模基准测试展示该算法在标准 ODE 集合（如 Kamke 的集合）中的有效性。

提出的方法

• 该方法通过求解由对称性条件导出的超定线性偏微分方程组，确定给定一阶 ODE 是否具有形式为 $\xi = F(x)$, $\eta = P(x)y + Q(x)$ 的对称性。
• 它利用此类对称性对应于有限线性变换 $t = f(x)$, $u = p(x)y + q(x)$ 的事实，这些变换构成一个群，并将 ODE 映射为可分离形式。
• 该算法系统性地检查这些对称性的存在性，而无需求解原 ODE，仅依赖于无穷小量的结构及其在李群性质下的封闭性。
• 对于 Riccati 型 ODE，该方法部分成功，Kamke 列表中的 61 个例子中有 31 个可通过该对称形式的受限情况求解。
• 该方法推广了 Chini 方法（要求 $q=0$）和常数不变量 Abel ODE 方法，将它们作为特例包含在内。
• 该方法已实现为算法，并在 Kamke 的 552 个可解一阶 ODE 上进行了测试，结果以覆盖率和可解性形式报告。

实验结果

研究问题

• RQ1 能否开发一种系统化算法，用于在一阶 ODE 中识别形式为 $\xi = F(x)$, $\eta = P(x)y + Q(x)$ 的线性对称性？
• RQ2 哪类一阶 ODE 在线性变换下保持不变，并可通过此类变换约化为可分离形式？
• RQ3 该基于对称性的方法在多大程度上推广了现有 Abel 和 Chini 型 ODE 的求解方法？
• RQ4 该算法在求解标准 ODE 集合（如 Kamke 的集合）中的有效性如何，与现有计算机代数系统相比表现如何？
• RQ5 为何 Riccati 型 ODE 在该算法中表现出部分失效，且该局限性能否被量化？

主要发现

• 该算法在 Kamke 书中 552 个可解一阶 ODE 中成功识别出 429 个的线性对称性，占总数的 78%。
• 在排除 61 个 Riccati 型 ODE 后，剩余 491 个 ODE 中有 368 个（75%）可通过该算法求解，表明其具有广泛的覆盖范围。
• 该方法推广了 Chini 方法和常数不变量 Abel ODE 方法，将它们作为特例包含在内。
• 论文第 2.2 节中的四个示例 ODE 有三个无法被 Maple 6 或 Mathematica 4 求解，证明了该算法在当前 CAS 中的优越性。
• 对于 Riccati ODE，61 个例子中有 31 个（约一半）可通过该算法的受限对称情况求解，避免了映射到二阶 ODE 的问题。
• 具有此类线性对称性的 ODE 类包括所有可通过线性变换映射为可分离形式的一阶 ODE，构成一个广泛且可算法求解的类。