Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds

DOI10.1137/17M1135888zbMath1409.65110arXiv1706.10107OpenAlexW2727020437MaRDI QIDQ4608082

Shane Kepley, Jason D. Mireles James, William D. Kalies

Publication date: 15 March 2018

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

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

zbMATH Keywords

invariant manifoldsanalytic continuationheteroclinic connectionsparametrization methodcomputer assisted proofradii polynomials

Mathematics Subject Classification ID

Invariant manifolds for ordinary differential equations (34C45) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99)

Related Items

An Algorithmic Approach to Lattices and Order in Dynamics ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem ⋮ Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Complexity in a Hybrid van der Pol System ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set ⋮ Global Persistence of Lyapunov Subcenter Manifolds as Spectral Submanifolds under Dissipative Perturbations ⋮ Sliding homoclinic bifurcations in a Lorenz-type system: Analytic proofs ⋮ On the number of equilibria balancing Newtonian point masses with a central force ⋮ Transition criteria and phase space structures in a three degree of freedom system with dissipation

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
• 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
• Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
• 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 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
• 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
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• \(C^1\) Lohner algorithm.
• Computer assisted proof of chaos in the Lorenz equations
• Automatic differentiation for Fourier series and the radii polynomial approach
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• 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
• Verification methods: Rigorous results using floating-point arithmetic
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
• 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
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• 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 existence of simple choreographies for theN-body problem—a computer-assisted proof
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• A Homoclinic Solution for Excitation Waves on a Contractile Substratum
• Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
• 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 Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
• A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE