Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
type: Item
instance of: scholarly article
title: Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
zbMATH Open document ID: 1419.37020
author: Roberto Castelli
author: Jean-Philippe Lessard
author: J. D. Mireles James
published in: Journal of Dynamics and Differential Equations
publication date: 2018-11-06T00:00:00Z
Mathematics Subject Classification ID: 37C27
Mathematics Subject Classification ID: 37M99
Mathematics Subject Classification ID: 37D10
Mathematics Subject Classification ID: 65P40
zbMATH DE Number: 6973964
zbMATH Keywords: periodic orbits
zbMATH Keywords: stable/unstable manifolds
zbMATH Keywords: parameterization method
zbMATH Keywords: validated error bounds
zbMATH Keywords: truncation error analysis
zbMATH Keywords: computer assisted proof
describes a project that uses: Taylor
MaRDI profile type: Publication
full work available at URL: s10884-017-9609-z
OpenAlex ID: W2749417548
cites work: Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
cites work: Blow-up profile for solutions of a fourth order nonlinear equation
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 parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
cites work: The parameterization method for invariant manifolds. From rigorous results to effective computations
cites work: A computer-assisted proof of the Feigenbaum conjectures
cites work: Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
cites work: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
cites work: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
cites work: Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
cites work: Reliable computation of robust response tori on the verge of breakdown
cites work: Rigorous computer-assisted application of KAM theory: a modern approach
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Automatic differentiation for Fourier series and the radii polynomial approach
cites work: Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
cites work: Analytic enclosure of the fundamental matrix solution.
cites work: Q5472808
cites work: Q4226356
cites work: Introduction to Hamiltonian dynamical systems and the \(N\)-body problem.
cites work: Q5679178
cites work: Q4847945
cites work: Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
cites work: Covering relations, cone conditions and the stable manifold theorem
cites work: Geometric proof for normally hyperbolic invariant manifolds
cites work: Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
cites work: Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
cites work: Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
cites work: A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
cites work: Q4808034
cites work: Q5198996
cites work: Q5508470
cites work: Q5301222
cites work: Weak Stability Boundary and Invariant Manifolds
cites work: Low energy transfer to the Moon
cites work: TRANSPORT IN DYNAMICAL ASTRONOMY AND MULTIBODY PROBLEMS
cites work: Connecting orbits and invariant manifolds in the spatial restricted three-body problem
cites work: Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
cites work: Numerical computation of heteroclinic orbits
cites work: The Numerical Computation of Connecting Orbits in Dynamical Systems
cites work: Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
cites work: CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS
cites work: CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
cites work: Rigorous chaos verification in discrete dynamical systems
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: Rigorous verification of chaotic behaviour of maps using validated shadowing
cites work: Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
cites work: A Homoclinic Solution for Excitation Waves on a Contractile Substratum
cites work: Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
cites work: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
cites work: A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
cites work: A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
cites work: A Computational and Geometric Approach to Phase Resetting Curves and Surfaces

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Computation of limit cycles and their isochrons: fast algorithms and their convergence

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Computation of whiskered invariant tori and their associated manifolds: new fast algorithms

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Q5823651

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Computation of maximal local (un)stable manifold patches by the parameterization method

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Validated Continuation for Equilibria of PDEs

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: A method to rigorously enclose eigendecompositions of interval matrices

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Large-Amplitude Periodic Oscillations in Suspension Bridges: Some New Connections with Nonlinear Analysis

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Blow up oscillating solutions to some nonlinear fourth order differential equations

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: Wide oscillation finite time blow up for solutions to nonlinear fourth-order differential equations

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: A qualitative explanation of the origin of torsional instability in suspension bridges

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (cites work)
cites work: A new mathematical explanation of what triggered the catastrophic torsional mode of the tacoma narrows bridge

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (DOI)
DOI: 10.1007/S10884-017-9609-Z