Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
type: Item
instance of: scholarly article
title: Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
zbMATH Open document ID: 1383.37066
published in: Foundations of Computational Mathematics
publication date: 2018-01-26T00:00:00Z
Mathematics Subject Classification ID: 37L65
Mathematics Subject Classification ID: 37C05
Mathematics Subject Classification ID: 34C45
Mathematics Subject Classification ID: 37D10
Mathematics Subject Classification ID: 65P40
zbMATH DE Number: 6829995
zbMATH Keywords: unstable manifold
zbMATH Keywords: compact map
zbMATH Keywords: infinite-dimensional dynamical system
zbMATH Keywords: parameterization method
zbMATH Keywords: computer-assisted proof
author: J. D. Mireles James
describes a project that uses: Matlab
describes a project that uses: INTLAB
MaRDI profile type: Publication
full work available at URL: s10208-016-9325-9
OpenAlex ID: W2516244933
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: Integration of Dissipative Partial Differential Equations: A Case Study
cites work: Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
cites work: Computation of maximal local (un)stable manifold patches by the parameterization method
cites work: The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
cites work: The parameterization method for invariant manifolds II: regularity with respect to parameters
cites work: The parameterization method for invariant manifolds. III: Overview and applications
cites work: A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
cites work: Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
cites work: Validated Continuation for Equilibria of PDEs
cites work: Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
cites work: Combination laws for scaling exponents and relation to the geometry of renormalization operators
cites work: A computer-assisted proof of universality for area-preserving maps
cites work: A numerical study of infinitely renormalizable area-preserving maps
cites work: Period doubling in area-preserving maps: an associated one-dimensional problem
cites work: PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
cites work: INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
cites work: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
cites work: Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
cites work: Validated continuation over large parameter ranges for equilibria of PDEs
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Perturbation theory for linear operators.
cites work: Verification methods: rigorous results using floating-point arithmetic
cites work: Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
cites work: A computer-assisted proof of the Feigenbaum conjectures
cites work: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
cites work: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
cites work: Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
cites work: Q5566070
cites work: Q4011815
cites work: Q4949347
cites work: Q5198996
cites work: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
cites work: Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
cites work: Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
cites work: The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
cites work: Symmetric homoclinic solutions to the periodic orbits in the Michelson system
cites work: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
cites work: Period doubling in the Rössler system -- a computer assisted proof
cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
cites work: \(C^1\) Lohner algorithm.
cites work: Covering relations, cone conditions and the stable manifold theorem
DOI: 10.1007/S10208-016-9325-9
description: scientific article; zbMATH DE number 6829995