Covering relations, cone conditions and the stable manifold theorem
From MaRDI portal
Publication:1007257
DOI10.1016/J.JDE.2008.12.019zbMATH Open1185.37045OpenAlexW2056755069MaRDI QIDQ1007257FDOQ1007257
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
Recommendations
- A new proof of the stable manifold theorem
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
- Cone-fields, domination, and hyperbolicity
- Stable manifolds and the Perron–Irwin method
Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Homoclinic and heteroclinic orbits for dynamical systems (37C29)
Cites Work
- A rigorous ODE solver and Smale's 14th problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Invariant manifolds
- Topological methods in the instability problem of Hamiltonian systems
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Rigorous verification of cocoon bifurcations in the Michelson system
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Isolating blocks and symbolic dynamics
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Covering relations for multidimensional dynamical systems
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- Rigorous chaos verification in discrete dynamical systems
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- A verified optimization technique to locate chaotic regions of Hénon systems
- A stable manifold theorem for degenerate fixed points with applications to celestial mechanics
- Computer assisted proof of chaos in the Lorenz equations
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Topological horseshoes and delay differential equations
- Stable manifolds and the Perron–Irwin method
- Stable manifolds of semi-hyperbolic fixed points
- On the Stable Manifold Theorem
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- A new proof of the stable manifold theorem
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- TOPOLOGICAL ENTROPY FOR MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS
- A New Proof of the Pseudostable Manifold Theorem
- Stable manifolds associated to fixed points with linear part equal to identity.
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Shadowing orbits for transition chains of invariant tori alternating with Birkhoff zones of instability
- Stable curves asymptotic to a degenerate fixed point
- A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
- Homoclinic phenomena in Hamiltonian systems with several degrees of freedom
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sharkovskii's theorem for multidimensional perturbations of one-dimensional maps
Cited In (38)
- Validated computations for connecting orbits in polynomial vector fields
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- On the construction of Lyapunov functions with computer assistance
- Rigorous numerical study of the Colpitts oscillator with an exponential nonlinearity
- Covering relations and Lyapunov condition for topological conjugacy
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Rigorous validation of stochastic transition paths
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Arnold Diffusion in a Model of Dissipative System
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions
- Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Topological conjugacy for Lipschitz perturbations of non-autonomous systems
- Hyperbolicity and averaging for the Srzednicki-Wójcik equation
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Geometric proof for normally hyperbolic invariant manifolds
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Numerical validation of blow-up solutions of ordinary differential equations
- Characterising blenders via covering relations and cone conditions
- Hyperbolic dynamics in graph-directed IFS
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Rigorous numerics for fast-slow systems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A note on the convergence of parametrised non-resonant invariant manifolds
Uses Software
This page was built for publication: Covering relations, cone conditions and the stable manifold theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007257)
