scientific article; zbMATH DE number 1543283

MaRDI QIDQ4520741zbMATH OpenFDO

Authors Shin'ichi Oishi

Publication date 27 February 2001

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

zbMATH Keywords

nonlinear ordinary differential equationsconnecting orbitscontinuous dynamical systemshomoclinic bifurcation pointsdefining equation of stable-manifoldnumerical verification of existence of nonlinear boundary value problems

Mathematics Subject Classification ID

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

Recommendations

• Validated numerics for continuation and bifurcation of connecting orbits of maps
• The numerical detection of connecting orbits
• Successive continuation for locating connecting orbits
• NUMERICAL COMPUTATIONS OF CONNECTING ORBITS IN DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions

Cited in

(9)

• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
• Validated Spectral Stability via Conjugate Points
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
• Validated numerics for continuation and bifurcation of connecting orbits of maps
• Rich bifurcation structure in a two-patch vaccination model
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• A computable criterion for the existence of connecting orbits in autonomous dynamics
• Conley index and numerical verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520741)