Covering relations, cone conditions and the stable manifold theorem
From MaRDI portal
Publication:1007257
DOI10.1016/j.jde.2008.12.019zbMath1185.37045OpenAlexW2056755069MaRDI QIDQ1007257
Publication date: 20 March 2009
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2008.12.019
Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Homoclinic and heteroclinic orbits for dynamical systems (37C29)
Related Items
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, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions, Topological conjugacy for Lipschitz perturbations of non-autonomous systems, Rigorous numerics for nonlinear heat equations in the complex plane of time, Covering relations and Lyapunov condition for topological conjugacy, Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos, Numerical validation of blow-up solutions of ordinary differential equations, A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map, Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model, Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs, Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature, Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem, Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Rigorous numerics for fast-slow systems, Arnold Diffusion in a Model of Dissipative System, Validated numerical approximation of stable manifolds for parabolic partial differential equations, A note on the convergence of parametrised non-resonant invariant manifolds, Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits, Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof, Hyperbolic dynamics in graph-directed IFS, Computer assisted proofs of two-dimensional attracting invariant tori for ODEs, Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions, Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds, Geometric proof for normally hyperbolic invariant manifolds, On the construction of Lyapunov functions with computer assistance, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields, Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof, Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation, Hyperbolicity and averaging for the Srzednicki-Wójcik equation, Validated computations for connecting orbits in polynomial vector fields, Computer assisted proof of drift orbits along normally hyperbolic manifolds, Rigorous validation of stochastic transition paths, Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topological horseshoes and delay differential equations
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Isolating blocks and symbolic dynamics
- Homoclinic phenomena in Hamiltonian systems with several degrees of freedom
- Rigorous chaos verification in discrete dynamical systems
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Stable manifolds associated to fixed points with linear part equal to identity.
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- A rigorous ODE solver and Smale's 14th problem
- Covering relations for multidimensional dynamical systems
- Computer assisted proof of chaos in the Lorenz equations
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Topological methods in the instability problem of Hamiltonian systems
- A verified optimization technique to locate chaotic regions of Hénon systems
- Stable manifolds of semi-hyperbolic fixed points
- A stable manifold theorem for degenerate fixed points with applications to celestial mechanics
- A new proof of the stable manifold theorem
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- A New Proof of the Pseudostable Manifold Theorem
- Stable curves asymptotic to a degenerate fixed point
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Sharkovskii's theorem for multidimensional perturbations of one-dimensional maps
- Stable manifolds and the Perron–Irwin method
- Shadowing orbits for transition chains of invariant tori alternating with Birkhoff zones of instability
- Rigorous verification of cocoon bifurcations in the Michelson system
- A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
- TOPOLOGICAL ENTROPY FOR MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS
- On the Stable Manifold Theorem
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Invariant manifolds
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
