Computer assisted proof for normally hyperbolic invariant manifolds
From MaRDI portal
Abstract: We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a non-rigorous, good enough, guess is necessary. The required assumptions are formulated in a way which allows for rigorous computer assisted verification. We apply our method for a driven logistic map, for which non-rigorous numerical simulation in plain double precision suggests the existence of a chaotic attractor. We prove that this numerical evidence is false and that the attractor is a normally hyperbolic invariant curve.
Recommendations
- scientific article; zbMATH DE number 841116
- Algorithms for computing normally hyperbolic invariant manifolds
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- scientific article; zbMATH DE number 970085
- Geometric proof for normally hyperbolic invariant manifolds
- scientific article; zbMATH DE number 1263324
- Numerical approximation of normally hyperbolic invariant manifolds
- scientific article; zbMATH DE number 556485
- Numerical continuation of normally hyperbolic invariant manifolds
- scientific article; zbMATH DE number 2152836
Cited in
(24)- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Chaos in the border-collision normal form: a computer-assisted proof using induced maps and invariant expanding cones
- Transition state theory with quasi-periodic forcing
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Time dependent center manifold in PDEs
- Computing stable hierarchies of fiber bundles
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Detecting invariant manifolds as stationary Lagrangian coherent structures in autonomous dynamical systems
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Production of computational portraits of bounded invariant manifolds
- Rigorous enclosures of rotation numbers by interval methods
- A parallel algorithm for the computation of invariant tori in large-scale dissipative systems
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- scientific article; zbMATH DE number 841116 (Why is no real title available?)
- Geometric proof for normally hyperbolic invariant manifolds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Existence of noise induced order, a computer aided proof
- Some questions looking for answers in dynamical systems
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system
- Characterising blenders via covering relations and cone conditions
- Topological horseshoe and uniform hyperbolicity of the symplectic coupled Hénon map
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
This page was built for publication: Computer assisted proof for normally hyperbolic invariant manifolds
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903935)
