Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra

DOI10.1007/S00332-016-9298-5zbMath1360.37176OpenAlexW2342188647WikidataQ59478168 ScholiaQ59478168MaRDI QIDQ310798

Jason D. Mireles James, Christian Reinhardt, Jan Bouwe Van Den Berg

Publication date: 8 September 2016

Published in: Journal of Nonlinear Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00332-016-9298-5

zbMATH Keywords

invariant manifoldsresonancescomputer-assisted proofcontraction mappingparametrization method

Mathematics Subject Classification ID

Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Algorithms for approximation of functions (65D15) Simulation of dynamical systems (37M05) Invariant manifolds for ordinary differential equations (34C45) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical nonlinear stabilities in dynamical systems (65P40) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37)

Related Items (36)

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ The parameterization method for center manifolds ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Rigorous numerics for fast-slow systems ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Validated Computation of Heteroclinic Sets ⋮ A Numerical Scheme for Computing Stable and Unstable Manifolds in Nonautonomous Flows ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Global phase-amplitude description of oscillatory dynamics via the parameterization method ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set ⋮ Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos ⋮ Parameterization Method for Unstable Manifolds of Standing Waves on the Line ⋮ A Bayesian nonparametric approach to the approximation of the global stable manifold ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Rigorous validation of stochastic transition paths ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems

Uses Software

• CAPD

Cites Work

• Unnamed Item
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Rigorous and accurate enclosure of invariant manifolds on surfaces
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
• Computation of maximal local (un)stable manifold patches by the parameterization method
• Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
• Numerical calculation of domains of analyticity for perturbation theories in the presence of small divisors
• Numerical Taylor expansions of invariant manifolds in large dynamical systems
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• A note on the convergence of parametrised non-resonant invariant manifolds
• The parameterization method for invariant manifolds. III: Overview and applications
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
• Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence
• Computer assisted proof for normally hyperbolic invariant manifolds
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• A computer-assisted proof of universality for area-preserving maps
• A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
• Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
• 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
• Propagation of hexagonal patterns near onset
• Deterministic Nonperiodic Flow
• Numerical Methods for Bifurcations of Dynamical Equilibria
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• Elements of applied bifurcation theory
• Computational error bounds for multiple or nearly multiple eigenvalues

This page was built for publication: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra