Boundedness of the domain of definition is undecidable for polynomial odes

Graça, Daniel; Buescu, Jorge; Campagnolo, Manuel

http://hdl.handle.net/10400.1/1016

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
07-GBC-bounded.pdf		185.87 KB	Adobe PDF	Download

Send Feedback

Authors

Graça, Daniel

Buescu, Jorge

Campagnolo, Manuel

Abstract(s)

Consider the initial-value problem with computable parameters dx dt = p(t, x) x(t0) = x0, where p : Rn+1 ! Rn is a vector of polynomials and (t0, x0) 2 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.