Computational bounds on polynomial differential equations

详细信息    查看全文

• 作者：Daniel S. Graç ; a ; Jorge Buescu ; Manuel L. Campagnolo
• 关键词：Dynamical systems ; Differential equations ; Turing machines ; Computability
• 刊名：Applied Mathematics and Computation
• 出版年：2009
• 出版时间：15 October 2009
• 年：2009
• 卷：215
• 期：4
• 页码：1375-1385
• 全文大小：236 K

文摘

In this paper we study from a computational perspective some properties of the solutions of polynomial ordinary differential equations.

We consider elementary (in the sense of Analysis) discrete-time dynamical systems satisfying certain criteria of robustness. We show that those systems can be simulated with elementary and robust continuous-time dynamical systems which can be expanded into fully polynomial ordinary differential equations in . This sets a computational lower bound on polynomial ODEs since the former class is large enough to include the dynamics of arbitrary Turing machines.

We also apply the previous methods to show that the problem of determining whether the maximal interval of definition of an initial-value problem defined with polynomial ODEs is bounded or not is in general undecidable, even if the parameters of the system are computable and comparable and if the degree of the corresponding polynomial is at most 56.

Combined with earlier results on the computability of solutions of polynomial ODEs, one can conclude that there is from a computational point of view a close connection between these systems and Turing machines.