Publication
Computability, noncomputability and undecidability of maximal intervals of IVPs
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Zhong, Ning | |
| dc.contributor.author | Buescu, Jorge | |
| dc.date.accessioned | 2012-04-13T08:45:30Z | |
| dc.date.available | 2012-04-13T08:45:30Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | Let (α, β) ⊆ R denote the maximal interval of existence of solution for the initial-value problem dx dt = f(t, x) x(t0) = x0, where E is an open subset of Rm+1, f is continuous in E and (t0, x0) ∈ E. We show that, under the natural definition of computability from the point of view of applications, there exist initial-value problems with computable f and (t0, x0) whose maximal interval of existence (α, β) is noncomputable. The fact that f may be taken to be analytic shows that this is not a lack of regularity phenomenon. Moreover, we get upper bounds for the “degree of noncomputability” by showing that (α, β) is r.e. (recursively enumerable) open under very mild hypotheses. We also show that the problem of determining whether the maximal interval is bounded or unbounded is in general undecidable. | por |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/1018 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.relation | ConTComp: Continuous time computation and complexity | |
| dc.relation.publisherversion | http://www.ams.org/tran/2009-361-06/S0002-9947-09-04929-0/home.html | por |
| dc.title | Computability, noncomputability and undecidability of maximal intervals of IVPs | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | ConTComp: Continuous time computation and complexity | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBD%2F17436%2F2004/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/POCI/POCTI%2FMAT%2F45978%2F2002/PT | |
| oaire.citation.endPage | 2927 | por |
| oaire.citation.issue | 361 | por |
| oaire.citation.startPage | 2913 | por |
| oaire.citation.title | Transactions of the American Mathematical Society | por |
| oaire.fundingStream | SFRH | |
| oaire.fundingStream | POCI | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isProjectOfPublication | 5cbba14a-0c72-415f-96b3-df9de4a0c542 | |
| relation.isProjectOfPublication | 98f724cf-a2ae-4a98-8827-9ba4c02c5abb | |
| relation.isProjectOfPublication.latestForDiscovery | 98f724cf-a2ae-4a98-8827-9ba4c02c5abb |