Recursive analysis of singular ordinary differential equationsReportar como inadecuado

Recursive analysis of singular ordinary differential equations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Published in: Annals Of Pure And Applied Logic (ISSN: 0168-0072), vol. 162, p. 20-35 Elsevier, 2010

We investigate systems of ordinary differential equations with a parameter. We show that under suitable assumptions on the systems the solutions are computable in the sense of recursive analysis. As an application we give a complete characterization of the recursively enumerable sets using Fourier coefficients of recursive analytic functions that are generated by differential equations and elementary operations. (C) 2010 Elsevier B.V. All rights reserved.

Keywords: Computable ordinary differential equations ; Recursive analysis ; Recursively enumerable sets ; Purpose Analog-Computer ; 2 Undecidable Problems ; Computability ; Computation Reference EPFL-ARTICLE-172283doi:10.1016/j.apal.2010.07.001View record in Web of Science

Autor: Buser, Peter; Scarpellini, Bruno


Documentos relacionados