[论文解读] Characterization of the class of canonical forms for systems of linear equations

J. C. Ndogmo|arXiv (Cornell University)|Feb 25, 2015

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

一句话总结

本文通过确定标准形式与标准型的等价群，表征了线性常微分方程组的典型形式类。证明了当且仅当其标准型由具有相同源参数的相同迭代方程组成时，线性系统可通过可逆点变换约化为典型形式 $\mathbf{y}^{(n)} = 0$，并推导出其通解的叠加公式。

ABSTRACT

The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation to the canonical equation $\by^{(n)}=0$ consists of copies of the same iterative equation. Other properties of iterative linear systems are also derived, as well as the superposition formula for their general solution.

研究动机与目标

• 确定线性常微分方程组在标准形式与标准型下的等价群。
• 表征可通过可逆点变换约化为典型形式 $\mathbf{y}^{(n)} = 0$ 的系统类。
• 建立线性系统标准型由具有相同源参数的迭代方程构成的条件。
• 推导此类系统通解的叠加公式。
• 阐明迭代系统与典型类之间的关系，尤其与标量情形的对比。

提出的方法

• 使用李对称分析推导标准形式与标准型下线性ODE系统的等价群。
• 通过算子 $\Psi = \mathbf{r}\frac{d}{dx} + \mathbf{s}$ 引入迭代方程的概念，其中 $\mathbf{r}$ 与 $\mathbf{s}$ 为矩阵系数。
• 利用递推关系将 $n$ 阶迭代系统 $\Psi^n[\mathbf{y}] = 0$ 的系数 $K_n^j$ 用 $\mathbf{r}$ 与 $\mathbf{s}$ 表示。
• 通过变量替换 $\mathbf{y} = Q\mathbf{w}$ 将系统变换为标准型，其中 $Q$ 由矩阵 $\mathfrak{q}$ 导出。
• 应用代换 $f^{(j)} = D_x^{j-2}(-f\mathfrak{q})$ 将标准型映射到典型类。
• 通过将 $\mathbf{w}$ 表示为二阶源方程解的幂与积分的线性组合，建立通解的叠加原理。

实验结果

研究问题

• RQ1 线性ODE系统在标准形式与标准型下的等价群是什么？
• RQ2 在何种条件下，线性系统可通过可逆点变换约化为典型形式 $\mathbf{y}^{(n)} = 0$？
• RQ3 迭代系统与线性ODE的典型类有何关系？
• RQ4 典型类中线性系统的通解是什么？如何从源方程的解构造该通解？
• RQ5 为何并非所有迭代系统都属于典型类？生成典型系统的算子 $\Psi = \mathbf{r}\frac{d}{dx} + \mathbf{s}$ 的一般形式是什么？

主要发现

• 使用李对称方法，完全表征了标准形式与标准型下线性ODE系统的等价群。
• 当且仅当其标准型由具有相同源参数的相同迭代方程的副本组成时，线性系统可通过可逆点变换约化为典型形式 $\mathbf{y}^{(n)} = 0$。
• 典型形式 $\mathbf{y}^{(n)} + A_n^2\mathbf{y}^{(n-2)} + \cdots + A_n^n\mathbf{y} = 0$ 中的系数 $A_n^j$ 显式表示为定义二阶源方程的标量参数 $\mathfrak{q}$ 的微分函数。
• 典型类中系统的通解通过叠加原理构造：$w_i = \sum_{j=1}^n C_{ij} u^{n-j} v^{j-1}$，其中 $u$ 与 $v$ 是二阶源方程的线性无关解。
• 对于满足 $\mathbf{r} = \operatorname{diag}(u_1^2, \dots, u_m^2)$ 或 $\mathbf{r} = u^2(r_{ij})$ 的系统，其中 $u_j$ 满足源方程，矩阵 $\mathbf{r}$ 与其导数可交换，且 $\mathcal{A}(\mathbf{r}) = \mathfrak{q}I_m$，从而确保系统属于典型类。
• 并非所有迭代系统都属于典型类，表明在向量情形下，最大对称性并不一定意味着可约化为 $\mathbf{y}^{(n)} = 0$，这与标量情形不同。