Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
From MaRDI portal
Publication:1692132
DOI10.1007/s10208-016-9325-9zbMath1383.37066OpenAlexW2516244933MaRDI QIDQ1692132
Publication date: 26 January 2018
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10208-016-9325-9
compact mapinfinite-dimensional dynamical systemcomputer-assisted proofunstable manifoldparameterization method
Invariant manifold theory for dynamical systems (37D10) Special approximation methods (nonlinear Galerkin, etc.) for infinite-dimensional dissipative dynamical systems (37L65) Invariant manifolds for ordinary differential equations (34C45) Numerical nonlinear stabilities in dynamical systems (65P40) Dynamical systems involving smooth mappings and diffeomorphisms (37C05)
Related Items (8)
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ UnstableManifoldCompactMap
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Combination laws for scaling exponents and relation to the geometry of renormalization operators
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Period doubling in the Rössler system -- a computer assisted proof
- Symmetric homoclinic solutions to the periodic orbits in the Michelson system
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- 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
- Covering relations, cone conditions and the stable manifold theorem
- Validated continuation over large parameter ranges for equilibria of PDEs
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Perturbation theory for linear operators.
- \(C^1\) Lohner algorithm.
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- Verification methods: Rigorous results using floating-point arithmetic
- Period doubling in area-preserving maps: an associated one-dimensional problem
- Integration of Dissipative Partial Differential Equations: A Case Study
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- A computer-assisted proof of universality for area-preserving maps
- Validated Continuation for Equilibria of PDEs
- INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
- A computer-assisted proof of the Feigenbaum conjectures
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- A numerical study of infinitely renormalizable area-preserving maps
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
This page was built for publication: Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
