Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
From MaRDI portal
Publication:475594
DOI10.1016/j.indag.2014.10.002zbMath1359.37063OpenAlexW2037575283MaRDI QIDQ475594
Publication date: 27 November 2014
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.indag.2014.10.002
Jets in global analysis (58A20) Invariant manifold theory for dynamical systems (37D10) Stability theory for smooth dynamical systems (37C75) Numerical nonlinear stabilities in dynamical systems (65P40)
Related Items (22)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Beyond the Melnikov method: A computer assisted approach ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Nonlinear normal modes and spectral submanifolds: existence, uniqueness and use in model reduction ⋮ Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Homoclinic points of 2D and 4D maps via the parametrization method ⋮ Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ 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 ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations ⋮ Recent results on the dynamics of higher-dimensional Hénon maps ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Computation of whiskered invariant tori and their associated manifolds: new fast algorithms
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations, cone conditions and the stable manifold theorem
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Iterated maps on the interval as dynamical systems
- Stable and unstable manifolds of the Henon mapping
- Computer-assisted proofs in analysis
- Numerical computation of heteroclinic orbits
- Universal properties of maps on an interval
- Existence of generic homoclinic tangencies for Hénon mappings
- Numerical Taylor expansions of invariant manifolds in large dynamical systems
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Rigorous chaos verification in discrete dynamical systems
- Numerical approximation of homoclinic chaos
- Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
- Controlling the wrapping effect in the solution of ODEs for asteroids
- Covering relations for multidimensional dynamical systems. II
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
- A note on the convergence of parametrised non-resonant invariant manifolds
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- The parameterization method for invariant manifolds. III: Overview and applications
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- Verification methods: Rigorous results using floating-point arithmetic
- Computer assisted proof for normally hyperbolic invariant manifolds
- Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS
- 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
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- Global smooth solution curves using rigorous branch following
- Introduction to Automatic Differentiation and MATLAB Object-Oriented Programming
- Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
- Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- The Numerical Computation of Homoclinic Orbits for Maps
- 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
- The H non–Heiles Hamiltonian near the critical energy level—some rigorous results
- KAM theory without action-angle variables
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
This page was built for publication: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
