通过修正其仿射扩展李对称,简化代数参数系统的翻译。
摘要:利群理论表明,对于一个普通微分方程系统的m个参数可解性群的了解可以将方程的数量减少m个。我们通过寻找一些诱导所考虑系统的扩展Lie点对称性的仿射导数来应用这一原理。通过在这些对称性的不变坐标系中重新书写原始问题,我们减少了涉及的参数数量。我们提出了一个基于这一观点的算法,其算术复杂度在输入大小上是准多项式的。
作者:Alexandre Sedoglavic (INRIA Futurs, LIFL)
论文ID:cs/0612094
分类:Symbolic Computation
分类简称:cs.SC
提交时间:2007-06-13