Publication
Computational complexity of solving polynomial differential equations over unbounded domains
| dc.contributor.author | Pouly, Amaury | |
| dc.contributor.author | Graça, Daniel | |
| dc.date.accessioned | 2017-04-07T15:56:40Z | |
| dc.date.available | 2017-04-07T15:56:40Z | |
| dc.date.issued | 2016-05 | |
| dc.description.abstract | In this paper we investigate the computational complexity of solving ordinary differential equations (ODES) y' = p(y) over unbounded time domains, where p is a vector of polynomials. Contrarily to the bounded (compact) time case, this problem has not been well-studied, apparently due to the "intuition" that it can always be reduced to the bounded case by using rescaling techniques. However, as we show in this paper, rescaling techniques do not seem to provide meaningful insights on the complexity of this problem, since the use of such techniques introduces a dependence on parameters which are hard to compute.We present algorithms which numerically solve these ODES over unbounded time domains. These algorithms have guaranteed accuracy, i.e. given some arbitrarily large time t and error bound 8 as input, they will output a value (y) over tilde which satisfies parallel to y(t)-(y) over tilde parallel to <= epsilon. We analyze the complexity of these algorithms and show that they compute y in time polynomial in several quantities including the time t, the accuracy of the output 8 and the length of the curve y from 0 to t, assuming it exists until time t. We consider both algebraic complexity and bit complexity. (C) 2016 Elsevier B.V. All rights reserved. | |
| dc.identifier.doi | https://doi.org/10.1016/j.tcs.2016.02.002 | |
| dc.identifier.issn | 0304-3975 | |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/9490 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Elsevier | |
| dc.relation.isbasedon | WOS:000374600900004 | |
| dc.subject | Ordinary differential equations | |
| dc.subject | Computation with real numbers | |
| dc.subject | Computational complexity | |
| dc.subject | Adaptive Taylor algorithms | |
| dc.title | Computational complexity of solving polynomial differential equations over unbounded domains | |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FEEA%2F50008%2F2013/PT | |
| oaire.citation.endPage | 82 | |
| oaire.citation.startPage | 67 | |
| oaire.citation.title | Theoretical Computer Science | |
| oaire.citation.volume | 626 | |
| oaire.fundingStream | 5876 | |
| 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.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | restrictedAccess | |
| rcaap.type | article | |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isProjectOfPublication | 7465846e-4f29-446f-894f-4e9f59509d24 | |
| relation.isProjectOfPublication.latestForDiscovery | 7465846e-4f29-446f-894f-4e9f59509d24 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- handle9490.pdf
- Size:
- 436.46 KB
- Format:
- Adobe Portable Document Format