[论文解读] First integrals of ordinary linear differential systems

V. N. Gorbuzov, Andrei Pranevich|arXiv (Cornell University)|Jan 19, 2012

Advanced Differential Equations and Dynamical Systems参考文献 21被引用 6

一句话总结

本文提出了一种谱方法，用于构造常系数线性常微分方程组、非自治可积系统（包括代数可约、三角形及Lappo-Danilevskii系统）以及在各类变换群下可约的系统的第一积分。该方法基于系数矩阵的特征结构分析，系统地推导出第一积分的函数基，涵盖自治与非自治情形，对复特征值和多重初等因子的情形提供了显式构造，从而为具有对数与三角非线性的欧拉型系统等特定系统提供了完整的积分基。

ABSTRACT

The spectral method for building first integrals of ordinary linear differential systems is elaborated. Using this method, we obtain bases of first integrals for linear differential systems with constant coefficients, for linear nonautonomous differential systems integrable in closed form (algebraic reducible systems, triangular systems, the Lappo-Danilevskii systems), and for reducible ordinary differential systems with respect to various transformation groups.

研究动机与目标

• 为线性常微分方程组系统性地寻找第一积分，解决动力系统理论中的一个经典问题。
• 将第一积分构造的达布问题推广至常系数线性系统及非自治可积形式。
• 为特定类别的系统（包括三角形、代数可约及Lappo-Danilevskii系统）提供第一积分的显式构造。
• 将该方法推广至在变换群下可约的系统，特别关注指数变换。
• 为特定非自治系统（如具有对数与三角系数的欧拉型系统）建立第一积分的完整基。

提出的方法

• 提出一种基于线性微分方程组系数矩阵特征结构的谱方法，以构造第一积分。
• 利用复特征值与广义特征向量，通过复值解的实部与虚部构造实值第一积分。
• 将该方法应用于具有单个与多重初等因子的系统，通过非齐次项的积分表达式推导第一积分的显式形式。
• 利用指数变换（如 $ t = e^\tau $）将非自治系统转化为常系数形式，从而实现谱分析。
• 通过积分由特征向量与特征值导出的辅助函数构造第一积分，包括含 $ \cos \ln t $、$ \sin \ln t $ 及对数积分的项。
• 通过检查其在指定区域（如 $ J_l \times \mathbb{R}^n $）上的函数独立性，验证所构造第一积分的独立性。

实验结果

研究问题

• RQ1 如何系统地发展一种谱方法，以构造常系数线性常微分方程组的第一积分？
• RQ2 代数可约或三角形的非自治线性系统的第一积分具有何种结构？
• RQ3 复特征值与多重初等因子如何影响线性系统中实第一积分的构造？
• RQ4 变换群（如指数群 $ \text{Exp}(n) $）在将非自治系统转化为适合谱分析的形式中起什么作用？
• RQ5 如何为特定非自治系统（如具有对数与三角非线性的欧拉型系统）显式构造第一积分的完整基？

主要发现

• 该谱方法通过分析系数矩阵的特征结构，成功为常系数线性微分方程组构造了完整的第一积分基。
• 对于具有共轭复特征值 $ \lambda = \pm i $ 的系统，该方法导出四个实值且函数独立的第一积分 $ F_{11}, F_{21}, F_{12}, F_{22} $，其来源于共轭复值解。
• 为非自治的欧拉型系统（3.24）显式构造了第一积分，其包含 $ \cos \ln t $、$ \sin \ln t $、$ \ln t $ 与 $ \ln^2 t $ 项，以及对数积分。
• 所构造的第一积分 $ F_{11}, F_{21}, F_{12}, F_{22} $ 在区域 $ J_l \times \mathbb{R}^4 $ 上函数独立，构成系统（3.24）的完整积分基。
• 通过递归积分与符号运算，成功实现了对含 $ \frac{1}{t} \ln t $、$ \frac{1}{t^2} \sin \ln t $ 与 $ \frac{1}{t^4} \cos \ln t $ 的非齐次项的积分，获得闭式表达式。
• 该方法可推广至具有多重初等因子的系统，其中广义特征向量在第一积分中贡献高阶项（如 $ \ln t \cdot F_{11} $ 与 $ \ln t \cdot F_{21} $），确保了基的完备性。