TY - JOUR
T1 - Numerical verification method of existence of connecting orbits for continuous dynamical systems
AU - Oishi, Shin'ichi
PY - 1998/12/1
Y1 - 1998/12/1
N2 - 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.
AB - 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.
KW - Connecting Orbits
KW - Defining Equation of Stable-Manifolds
KW - Numerical Verification of Existence of Nonlinear boundary Value Problems
UR - http://www.scopus.com/inward/record.url?scp=33947280550&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33947280550&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:33947280550
SN - 0958-695X
VL - 4
SP - 193
EP - 201
JO - Journal of Universal Computer Science
JF - Journal of Universal Computer Science
IS - 2
ER -