Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs

被引：10
|
作者：
Graca, Daniel S. [1 ,2 ]
Buescu, Jorge [1 ,3 ]
Campagnolo, Manuel L. [2 ,4 ]
机构：
[1] Univ Algarve, DM FCT, Faro, Portugal
[2] SQIG IT Lisbon, Lisbon, Portugal
[3] CAMGSD, Lisbon, Portugal
[4] Univ Tecn Lisboa, DM ISA, Lisbon, Portugal
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 202卷 / 0C期
关键词：
Ordinary differential equations; initial-value problems; maximal interval; decidability;
D O I：
10.1016/j.entcs.2008.03.007
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Consider the initial-value problem with computable parameters { d infinity/dt = p(t, x) x(t(0)) = x(0) where p : Rn+1 -> R-n is a vector of polynomials and (t(0), x(0)) epsilon Rn+1. 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.
引用
收藏
页码：49 / 57
页数：9
相关论文
共 10 条
1