A note on the convergence of parametrised non-resonant invariant manifolds

DOI10.1007/S12346-011-0040-2zbMATH Open1209.37028arXiv0811.4500OpenAlexW2010084406MaRDI QIDQ2431079FDOQ2431079

Authors: Tomas Johnson, W. Tucker 

Publication date: 8 April 2011

Published in: Qualitative Theory of Dynamical Systems (Search for Journal in Brave)

Abstract: Truncated Taylor series representations of invariant manifolds are abundant in numerical computations. We present an aposteriori method to compute the convergence radii and error estimates of analytic parametrisations of non-resonant local invariant manifolds of a saddle of an analytic vector field, from such a truncated series. This enables us to obtain local enclosures, as well as existence results, for the invariant manifolds.

Full work available at URL: https://arxiv.org/abs/0811.4500

Recommendations

• Numerical Taylor expansions for invariant manifolds
• Geometric methods for computing invariant manifolds
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• Parameterization of invariant manifolds for periodic orbits. I: Efficient numerics via the Floquet normal form
• Numerical Taylor expansions of invariant manifolds in large dynamical systems

zbMATH Keywords

invariant manifoldsnormal formshyperbolic fixed pointsauto-validated numerics

Mathematics Subject Classification ID

Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Invariant manifolds for ordinary differential equations (34C45) Invariant manifold theory for dynamical systems (37D10) Approximation methods and numerical treatment of dynamical systems (37M99) Algorithms with automatic result verification (65G20)

Cites Work

• A rigorous ODE solver and Smale's 14th problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interval Methods for Systems of Equations
• The parameterization method for invariant manifolds. III: Overview and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Numerical Computation of Connecting Orbits in Dynamical Systems
• Rigorous chaos verification in discrete dynamical systems
• A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
• Covering relations, cone conditions and the stable manifold theorem
• A subdivision algorithm for the computation of unstable manifolds and global attractors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Robust normal forms for saddles of analytic vector fields
• Title not available (Why is that?)
• Algorithms for constructing stable manifolds of stationary solutions
• Automated computation of robust normal forms of planar analytic vector fields

Cited In (10)

• Parameterization method for unstable manifolds of delay differential equations
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Analytical invariant manifolds near unstable points and the structure of chaos
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• Validated numerical approximation of stable manifolds for parabolic partial differential equations
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

Uses Software

• C-XSC
• C-XSC 2.0
• RODES

This page was built for publication: A note on the convergence of parametrised non-resonant invariant manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431079)