Geometric proof for normally hyperbolic invariant manifolds
From MaRDI portal
(Redirected from Publication:496743)
Abstract: We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invertible. From our method follows also the smoothness of the established manifolds, which depends on the smoothness of the map, as well as rate conditions, which follow from bounds on the derivative of the map. Our method is tailor made for rigorous, interval arithmetic based, computer assisted validation of the needed assumptions.
Recommendations
- Normally hyperbolic invariant manifolds. The noncompact case
- A \(\lambda\)-lemma for normally hyperbolic invariant manifolds
- A geometrical proof of the persistence of normally hyperbolic submanifolds
- scientific article; zbMATH DE number 841116
- Inertial manifolds and normal hyperbolicity
- Normally hyperbolic invariant manifolds in dynamical systems
- Computer assisted proof for normally hyperbolic invariant manifolds
- Persistence of noncompact normally hyperbolic invariant manifolds in bounded geometry
- Invariant manifolds near hyperbolic fixed points
- scientific article; zbMATH DE number 1330221
Cites work
- scientific article; zbMATH DE number 3569457 (Why is no real title available?)
- scientific article; zbMATH DE number 3572747 (Why is no real title available?)
- scientific article; zbMATH DE number 799793 (Why is no real title available?)
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- A geometrical proof of the persistence of normally hyperbolic submanifolds
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- Approximately invariant manifolds and global dynamics of spike states
- Asymptotic stability with rate conditions for dynamical systems
- Computer assisted proof for normally hyperbolic invariant manifolds
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Construction of invariant whiskered tori by a parameterization method. I: Maps and flows in finite dimensions
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations, cone conditions and the stable manifold theorem
- Differential Topology
- Existence of a center manifold in a practical domain around \(L_1\) in the restricted three-body problem
- Invariant manifolds
- Normally hyperbolic invariant manifolds in dynamical systems
- Reliable computation of robust response tori on the verge of breakdown
- Stable manifolds and the Perron–Irwin method
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
Cited in
(20)- Inertial manifolds and normal hyperbolicity
- Computer assisted proof for normally hyperbolic invariant manifolds
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions
- Automatic differentiation for Fourier series and the radii polynomial approach
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- Hyperbolicity and averaging for the Srzednicki-Wójcik equation
- Beyond the Melnikov method: A computer assisted approach
- Beyond the Melnikov method. II: Multidimensional setting
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
- Computing stable hierarchies of fiber bundles
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Transition state theory with quasi-periodic forcing
- Rigorous numerics for fast-slow systems
This page was built for publication: Geometric 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 Q496743)
