کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662171 1633503 2010 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Recursive analysis of singular ordinary differential equations
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 162, Issue 1, October 2010, Pages 20-35