论文部分内容阅读
时滞微分方程是具有时间滞后的微分方程，它用于描述既依赖于当前状态又依赖于过去状态的发展系统，在实际中具有广泛的应用。在研究微分方程动力学性质的时候，往往需要对微分方程进行化简处理，计算其规范型。但是，对于高余维、高退化的时滞微分方程，确切地推导出其规范型表达式有相当大的难度和很大的计算量，有必要借助于计算机的公式推导和符号计算工具来辅助完成。这样，不仅可以为规范型的计算提供帮助，而且可以为工程实际应用提供程序化、便于直接使用的工具。本文就是基于数学软件Maple来辅助完成高余维、高退化的时滞微分方程规范型的计算工作。 本文首先介绍了Faria和Magalhaes给出的规范型方法以及W.H.Jiang和Y.Yuan给出的具有普适参数的滞后型泛函微分方程的规范型方法。其次，根据Faria和Magalhaes给出的规范型方法，应用Maple语言写出了计算U22的一般程序。接着又给出了求空间Vq+mj(Rm)的标准基和它们在算子M1j作用下qm(mj像的一般Maple程序。然后针对一个具有时滞反馈Van der Pol方程给出了其Bogdanov-Takens分支规范型计算的Maple程序。最后，进一步给出了计算某余维三分支规范型的Maple程序。