Solving analytic differential equations in polynomial time over unbounded domains

In this paper we consider the computational complexity of solving initial-value problems de ned with analytic ordinary diferential equations (ODEs) over unbounded domains of Rn and Cn, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maxima...

ver descrição completa

Detalhes bibliográficos
Autor principal: Bournez, Olivier (author)
Outros Autores: Graça, Daniel (author), Pouly, Amaury (author)
Formato: bookPart
Idioma:eng
Publicado em: 2012
Texto completo:http://hdl.handle.net/10400.1/1010
País:Portugal
Oai:oai:sapientia.ualg.pt:10400.1/1010
Descrição
Resumo:In this paper we consider the computational complexity of solving initial-value problems de ned with analytic ordinary diferential equations (ODEs) over unbounded domains of Rn and Cn, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of de nition, provided it satis es a very generous bound on its growth, and that the function admits an analytic extension to the complex plane.