کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4672739 | 1413746 | 2016 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Rigorous verification of saddle–node bifurcations in ODEs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
In this paper, we introduce a general method for the rigorous verification of saddle–node bifurcations in ordinary differential equations. The approach is constructive in the sense that we obtain precise and explicit bounds within which the saddle–node bifurcation occurs. After introducing a set of sufficient generic conditions, an algorithm to verify rigorously the conditions is introduced. The approach is applied to prove existence of saddle–node bifurcations in the Hodgkin–Huxley model.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 27, Issue 4, September 2016, Pages 1013–1026
Journal: Indagationes Mathematicae - Volume 27, Issue 4, September 2016, Pages 1013–1026
نویسندگان
Jean-Philippe Lessard,