JUCS - Journal of Universal Computer Science 4(2): 193-201, doi: 10.3217/jucs-004-02-0193
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems
expand article infoShin ichi Oishi‡
‡ Department of Information and Computer Science, School of Science and Engineering, Waseda University, Japan

Corresponding author: Shin Oishi ( oishi@oishi.info.waseda.ac.jp )

© Shin Oishi.
This article is freely available under the J.UCS Open Content License.
Citation: Oishi S (1998) Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. JUCS - Journal of Universal Computer Science 4(2): 193-201. https://doi.org/10.3217/jucs-004-02-0193
Open Access
Abstract
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.
Keywords
Connecting Orbits, Defining Equation of Stable-Manifolds, Numerical Verification of Existence of Nonlinear Boundary Value Problems