Geometric proof for normally hyperbolic invariant manifolds
From MaRDI portal
Publication:496743
DOI10.1016/J.JDE.2015.07.020zbMATH Open1352.37077arXiv1503.03323OpenAlexW2964306459MaRDI QIDQ496743FDOQ496743
Maciej Capiński, Piotr Zgliczyński
Publication date: 22 September 2015
Published in: Journal of Differential Equations (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1503.03323
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
Invariant manifolds for ordinary differential equations (34C45) Invariant manifold theory for dynamical systems (37D10) Stability of manifolds of solutions to ordinary differential equations (34D35)
Cites Work
- Differential Topology
- Invariant manifolds
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Normally hyperbolic invariant manifolds in dynamical systems
- Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
- Computer assisted proof for normally hyperbolic invariant manifolds
- Reliable computation of robust response tori on the verge of breakdown
- 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 parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations, cone conditions and the stable manifold theorem
- Asymptotic stability with rate conditions for dynamical systems
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Approximately invariant manifolds and global dynamics of spike states
- Stable manifolds and the Perron–Irwin method
- Construction of invariant whiskered tori by a parameterization method. I: Maps and flows in finite dimensions
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation
- A geometrical proof of the persistence of normally hyperbolic submanifolds
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
Cited In (19)
- 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 proof of the existence of the Lorenz attractor in the Shimizu–Morioka system
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model
- 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
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- 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)
