Recursive analysis of singular ordinary differential equations

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.


Published in:
Annals Of Pure And Applied Logic, 162, 20-35
Year:
2010
Publisher:
Elsevier
ISSN:
0168-0072
Keywords:
Laboratories:




 Record created 2011-12-16, last modified 2018-01-28

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)