Title of article :
Recursive analysis of singular ordinary differential equations
Author/Authors :
Buser، نويسنده , , Peter and Scarpellini، نويسنده , , Bruno، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
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.
Keywords :
Computable ordinary differential equations , Recursive analysis , Recursively enumerable sets
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic