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.
|ジャーナル||Journal of Universal Computer Science|
|出版物ステータス||Published - 1998 12 1|
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)