[论文解读] On Solving Some Classes of Second Order ODEs

Rami AlAhmad, Mohammadkheer Al-Jararha|arXiv (Cornell University)|May 23, 2017

Gyrotron and Vacuum Electronics Research参考文献 5被引用 5

一句话总结

本文提出了三种在物理学和工程学中出现的二阶常微分方程（ODE）类别的解析解法：切比雪夫型 ODE、具有常系数的 f 型 ODE，以及可转化为恰当方程的 f 型 ODE。该方法利用变量变换、积分因子和恰当性条件，将复杂的非线性 ODE 降阶为可解的一阶形式，从而为广义切比雪夫、柯西-欧拉和超几何型方程提供闭式解。

ABSTRACT

In this paper, we introduce some analytical techniques to solve some classes of second order differential equations. Such classes of differential equations arise in describing some mathematical problems in Physics and Engineering.

研究动机与目标

• 开发用于求解变分法和物理建模中出现的广泛二阶 ODE 类别的解析技术。
• 将已知方程（如切比雪夫、柯西-欧拉和超几何方程）推广为统一框架。
• 为 f 型 ODE 及可转化为恰当二阶方程的方程提供系统性求解方法。
• 通过变量代换、积分因子和第一积分计算，实现闭式解。

提出的方法

• 引入变换 $ z = \sqrt{p(x)} y' $，将切比雪夫型 ODE 转化为可解形式。
• 对非恰当二阶 ODE 应用积分因子，当系数满足特定条件时，将其转化为恰当方程。
• 使用恰当性条件：$ \frac{\partial a_2}{\partial z} = \frac{\partial a_1}{\partial z'} $，$ \frac{\partial a_2}{\partial x} = \frac{\partial a_0}{\partial z'} $，以及 $ \frac{\partial a_1}{\partial x} = \frac{\partial a_0}{\partial z} $。
• 通过线积分推导恰当方程的第一积分：$ \int_{x_0}^x a_0 d\alpha + \int_{z_0}^z a_1 dx_0 d\beta + \int_{z_0'}^{z'} a_2 dx_0 dz_0' = c $。
• 将该方法应用于具体方程，如 $ xe^y(2x + e^y)(y'' + (y')^2) + \cdots = 0 $，通过 $ z = e^y $ 变换并寻找积分因子。
• 对于线性非齐次 ODE，当 $ W(a_2, a_1) = a_0 a_2 $ 时，使用积分因子 $ \mu(x) = 1/a_2(x) $，将方程约化为第一积分。

实验结果

研究问题

• RQ1 如何通过广义变换系统性地求解切比雪夫型二阶 ODE？
• RQ2 f 型二阶 ODE 在具有常系数时，满足何种条件可被约化为可解形式？
• RQ3 非线性 f 型二阶 ODE 是否可通过变量代换转化为恰当方程？
• RQ4 非恰当 f 型二阶 ODE 在何种条件下存在积分因子？
• RQ5 如何计算恰当二阶 ODE 的第一积分，并用于降阶？

主要发现

• 通过代换 $ z = \sqrt{p(x)}y' $，切比雪夫型 ODE $ p(x)y'' + \frac{1}{2}p'(x)y' + f(\sqrt{p(x)}y', y) = 0 $ 可解，降阶为一阶系统。
• 对于具有常系数的 f 型 ODE，当通过 $ z = f(y) $ 变换后，方程 $ a_2(f'y'' + (y')^2 f'') + a_1 f' y' + a_0 f(y) = g(x) $ 存在解，并导出第一积分。
• 通过变换 $ z = f(y) $，可求解 ODE $ p(x)(f'y'' + (y')^2 f'') + \frac{1}{2}p'(x)f' y' + a_0 f(y) = 0 $，得到一阶方程。
• 对于非线性 ODE $ xe^y(2x+e^y)(y'' + (y')^2) + \cdots = 0 $，通过代换 $ z = e^y $，找到了积分因子 $ \mu(x,z) = \frac{1}{xz(2x+z)} $，使其变为恰当方程。
• 变换后的恰当方程 $ z'' + \frac{x+z}{z(2x+z)}z' + \frac{3x+z}{x(2x+z)} = 0 $ 的第一积分为 $ z' + \ln(xz\sqrt{2x+z}) = c $，可用标准方法求解。
• 对于线性非齐次 ODE，积分因子 $ \mu(x) = e^{-x} $ 将方程 $ e^x y'' + \cos x y' - (\cos x + \sin x)y = h(x) $ 约化为 $ y'' + e^{-x}\cos x y' - e^{-x}(\cos x + \sin x)y = h(x)e^{-x} $，其第一积分为 $ y' + e^{-x}\cos x y = \int h(\xi)e^{-\xi} d\xi + c_1 $。