Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
详细信息 查看全文
- 作者：Daniel S. Graç ; a ; Jorge Buescu ; Manuel L. Campagnolo
- 关键词：Ordinary differential equations ; initial-value problems ; maximal interval ; decidability
- 刊名：Electronic Notes in Theoretical Computer Science
- 出版年：2008
- 出版时间：21 March 2008
- 年：2008
- 卷：202
- 期：Complete
- 页码：49-57
- 全文大小：248 K
文摘
Consider the initial-value problem with computable parameters where is a vector of polynomials and . We show that the problem of determining whether the maximal interval of definition of this initial-value problem is bounded or not is in general undecidable.