电子版2021年1月12日
内政部:10.1137/20S1360578
作者:Foyez Alauddin(纽约三一学院)
赞助商:Gleb Pogudin(理工学院)
摘要:四边形化是通过引入新变量,将具有多项式右侧的常微分方程系统转换为最多具有二次右侧的常积分方程系统。最近,它被用作新模型降阶方法的预处理步骤,因此保持新变量的数量较小很重要。设计了几个算法来搜索求积,新变量是原始变量中的单项式。为了理解改进此类算法的局限性和潜在方法,我们研究了以下问题:不一定有新的单项变量的象限能否产生一个比只有新的单项变量的象限小得多的维度的模型?
为此,我们将注意力局限于标量多项式ODE。我们的第一个结果是,对于某些a,标量多项式ODE x_=p(x)=anxn+an1xn1+::+a0的n>5和6=0可以使用一个新变量进行求积当且仅当p(xan1n_an)=anx n+ax2+bx;b 2 C.事实上,新变量可以取为z:=(x+an1 n_an)n1。我们的第二个结果是,两个新的非单项式变量足以对所有6次标量多项式ODE进行求积。基于这些结果,我们观察到,即使对于标量ODE,带有不一定是新单项式变量的求积也可能比单项式求积小得多。
本文的主要结果是使用应用非线性代数的计算方法(Gröbner基)发现的,我们描述了这些计算。