普通微分方程的多项式时间无量纲化通过它们的李点对称性
摘要：李群理论认为，对于一个常微分方程系统的$m$-参数可解对称群的知识可以将方程的数量减少$m$个。我们通过找到作为考虑的常微分方程系统的李点对称性的膨胀和平移来应用这一原理。通过将原始问题重新写成这些对称性的不变坐标集，可以减少所涉及的参数数量。这个过程在尺度分析中经典地称为无量纲化。我们提出了一个基于这个观点的算法，并证明其算术复杂度在输入规模上是多项式的。
作者：''Evelyne Hubert (INRIA Sophia Antipolis), Alexandre Sedoglavic (INRIA Futurs, LIFL)
论文ID：cs/0604060
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-08-16