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

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
نویسندگان
,