一类二元 Pfaffian 系统的形式解
偏微分方程分析
2014-01-22 v1 交换代数
摘要
本文提出了一种算法，基于 (Barkatou, 1997) 计算具有正规交叉的两变量完全可积 Pfaffian 系统的形式解基本矩阵。(Barkatou-LeRoux, 2006) 迈出了第一步，其中通过 (Levelt, 1991) 的方法解决了秩缩减问题。而我们则给出一种基于 Moser 的方法。并且，作为补充步骤，我们将一个常线性奇异微分方程组与我们的问题相关联，从而可以通过在计算机代数系统 Maple 中实现的 ISOLDE 软件包高效地导出形式不变量。
引用
@article{arxiv.1401.5439,
title = {Formal Solutions of a Class of Pfaffian Systems in Two Variables},
author = {Moulay Barkatou and Suzy S. Maddah and Hassan Abbas},
journal= {arXiv preprint arXiv:1401.5439},
year = {2014}
}
备注
Keywords: Linear systems of partial differential equations, Pfaffian systems, Formal solutions, Moser-based reduction, Hukuhara- Turritin normal form