Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.1/1017
Título: Effective computability of solutions of differential inclusions-the ten thousand monkeys approach
Autor: Collins, Pieter
Graça, Daniel
Palavras-chave: Ordinary differential equations
Lipschitz condition
Differential inclusions
Semicomputability
Computable analysis
Data: 2009
Resumo: In this note we consider the computability of the solution of the initial- value problem for ordinary di erential equations with continuous right- hand side. We present algorithms for the computation of the solution using the \thousand monkeys" approach, in which we generate all possi- ble solution tubes, and then check which are valid. In this way, we show that the solution of a di erential equation de ned by a locally Lipschitz function is computable even if the function is not e ectively locally Lips- chitz. We also recover a result of Ruohonen, in which it is shown that if the solution is unique, then it is computable, even if the right-hand side is not locally Lipschitz. We also prove that the maximal interval of existence for the solution must be e ectively enumerable open, and give an example of a computable locally Lipschitz function which is not e ectively locally Lipschitz.
Peer review: yes
URI: http://hdl.handle.net/10400.1/1017
Versão do Editor: http://www.jucs.org/jucs_15_6/effective_computability_of_solutions
Aparece nas colecções:FCT2-Artigos (em revistas ou actas indexadas)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
08-CG-TTMA.pdf232,47 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.