Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
From MaRDI portal
Publication:907673
DOI10.1016/J.CNSNS.2014.08.010zbMATH Open1329.37081OpenAlexW2034752323MaRDI QIDQ907673FDOQ907673
Authors: J. D. Mireles James 
Publication date: 26 January 2016
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cnsns.2014.08.010
Recommendations
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Numerical approximations of strong (un)stable manifolds
- Error estimates of a computational method for generalised connecting orbits
- Plotting stable manifolds: Error estimates and noninvertible maps
- Laguerre approximation of stable manifolds with application to connecting orbits
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
linear approximationstable and unstable manifoldscomputer assisted proof for connecting orbits in higher dimensionsvalidated computer assisted error bounds
Invariant manifold theory for dynamical systems (37D10) Computational methods for ergodic theory (approximation of invariant measures, computation of Lyapunov exponents, entropy, etc.) (37M25)
Cites Work
- Ergodic theory of differentiable dynamical systems
- Supersymmetry and Morse theory
- A Hermite spectral method for the computation of homoclinic orbits and associated functionals
- Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
- CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY
- The Newton-Kantorovich Theorem
- Morse homology
- Verification methods: rigorous results using floating-point arithmetic
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Global smooth solution curves using rigorous branch following
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Title not available (Why is that?)
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- The Numerical Computation of Homoclinic Orbits for Maps
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Rigorous chaos verification in discrete dynamical systems
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A note on the convergence of parametrised non-resonant invariant manifolds
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Computer assisted proof for normally hyperbolic invariant manifolds
- Computation of heteroclinic arcs with application to the volume preserving Hénon family
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- A homoclinic solution for excitation waves on a contractile substratum
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations, cone conditions and the stable manifold theorem
- Numerical computation of heteroclinic orbits
- High-order bisection method for computing invariant manifolds of two-dimensional maps
- High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- Covering relations for multidimensional dynamical systems. II
- Homoclinic shadowing
- Title not available (Why is that?)
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- KAM theory without action-angle variables
- A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
- Numerical approximation of homoclinic chaos
- Title not available (Why is that?)
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Morse Theory, the Conley Index and Floer Homology
- High-dimensional dynamics in the delayed Hénon map
- Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
- Controlling the wrapping effect in the solution of ODEs for asteroids
- A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
- The H non–Heiles Hamiltonian near the critical energy level—some rigorous results
- Existence of a center manifold in a practical domain around \(L_1\) in the restricted three-body problem
- Rigorous Computations of Homoclinic Tangencies
- Rigorous verification of chaotic behaviour of maps using validated shadowing
Cited In (15)
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Parameterization method for unstable manifolds of delay differential equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Validated computation of heteroclinic sets
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
Uses Software
This page was built for publication: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q907673)
