Title of article :
Recursive analysis of singular ordinary differential equations
Author/Authors :
Buser، نويسنده , , Peter and Scarpellini، نويسنده , , Bruno، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Pages :
16
From page :
20
To page :
35
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
Serial Year :
2010
Journal title :
Annals of Pure and Applied Logic
Record number :
1444509
Link To Document :
بازگشت