Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422156 | Electronic Notes in Theoretical Computer Science | 2008 | 9 Pages |
Abstract
Consider the initial-value problem with computable parameters{dxdt=p(t,x)x(t0)=x0, where p:Rn+1→Rn is a vector of polynomials and (t0,x0)∈Rn+1(t0,x0)∈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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Daniel S. Graça, Jorge Buescu, Manuel L. Campagnolo,