Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems
Дата
Авторы
Oishi,Shin
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
In this paper, a numerical method is presented for proving the existence and inclusion of connecting orbits of continuous dynamical systems described by parameterized nonlinear ordinary differential equations. Taking a certain second order nonlinear ordinary differential equaiton as an example, the existence of homoclinic bifurcation points is proved by the method.
Ключевые слова
Connecting Orbits , Defining Equation of Stable-Manifolds , Numerical Verification of Existence of Nonlinear Boundary Value Problems