线性微分方程组的无根分裂引理
摘要：线性微分方程组的形式化归约 通过剪切变换和分裂引理，我们考虑了线性微分方程组的形式化归约，并且证明了，如果系统可以通过具有分支的剪切变换进行块对角化，并且分支系统的主要块矩阵的频谱满足对称条件，那么这种块对角化也可以通过非分支变换实现。结合Turritin和Wasow的经典结果以及Balser的工作，我们给出了一个具有建设性和简单的证明，证明了存在一个非分支块对角形式，可以直接读取形式不变量，例如牛顿多边形。我们的结果对于设计有效的系统的形式化归约算法非常有用。
作者：Eckhard Pfl"ugel
论文ID：1911.05837
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-11-15