scientific article; zbMATH DE number 1543283

zbMath0965.65139MaRDI QIDQ4520741

Shin'ichi Oishi

Publication date: 27 February 2001

Full work available at URL: http://www.jucs.org/jucs_4_2/numerical_verification_method_of

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

homoclinic bifurcation pointsnonlinear ordinary differential equationsconnecting orbitscontinuous dynamical systemsdefining equation of stable-manifoldnumerical verification of existence of nonlinear boundary value problems

Mathematics Subject Classification ID

Periodic orbits of vector fields and flows (37C27) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30) Homoclinic and heteroclinic orbits for dynamical systems (37C29)

Related Items (5)

Validated Spectral Stability via Conjugate Points ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ A computable criterion for the existence of connecting orbits in autonomous dynamics ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Rich Bifurcation Structure in a Two-Patch Vaccination Model

This page was built for publication: