线性方程组的无根分裂引理
符号计算
2019-11-15 v1
摘要
我们考虑线性方程组的形式化约简，并证明：若该系统可通过带分歧的Shearing变换及随后应用分裂引理进行块对角化，且分歧系统前导块矩阵谱满足对称条件，则该块对角化也可通过无分歧变换实现。结合Turritin和Wasow的经典结果以及Balser的工作，这给出了从无分歧块对角形式存在性的构造性且简单的证明，由此可直接读出牛顿多边形等形式不变量。我们的结果对设计该系统形式化约简的高效算法尤为有用。
关键词
引用
@article{arxiv.1911.05837,
title = {A Root-Free Splitting-Lemma for Systems of Linear Differential Equations},
author = {Eckhard Pflügel},
journal= {arXiv preprint arXiv:1911.05837},
year = {2019}
}