Abstract
We develop and implement a computer assisted argument for proving the existence of heteroclinic/homoclinic connecting orbits for compact infinite dimensional maps. The argument is based on a posteriori analysis of a certain “discrete time boundary value problem,” and a key ingredient is representing the local stable/unstable manifolds of the fixed points. For a compact mapping the stable manifold is infinite dimensional, and an important component of the present work is the development of computer assisted error bounds for numerical approximation of infinite dimensional stable manifolds. As an illustration of the utility of our method we prove the existence of some connecting orbits for a nonlinear dynamical system which appears in mathematical ecology as a model of a spatially distributed ecosystem with population dispersion.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
