Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
From MaRDI portal
Publication:310798
DOI10.1007/S00332-016-9298-5zbMATH Open1360.37176OpenAlexW2342188647WikidataQ59478168 ScholiaQ59478168MaRDI QIDQ310798FDOQ310798
Authors: J. 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
Recommendations
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- 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
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Invariant manifolds for ordinary differential equations (34C45) Simulation of dynamical systems (37M05) Algorithms for approximation of functions (65D15) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical nonlinear stabilities in dynamical systems (65P40)
Cites Work
- Deterministic Nonperiodic Flow
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Title not available (Why is that?)
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- A computer-assisted proof of universality for area-preserving maps
- Elements of applied bifurcation theory
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- 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. III: Overview and applications
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
- Global smooth solution curves using rigorous branch following
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Propagation of hexagonal patterns near onset
- Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
- Validated Continuation for Equilibria of PDEs
- Computational error bounds for multiple or nearly multiple eigenvalues
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- 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
- 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
- Computation of heteroclinic arcs with application to the volume preserving Hénon family
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- A computer-assisted proof of the Feigenbaum conjectures
- 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
- 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
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- 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
Cited In (39)
- Global phase-amplitude description of oscillatory dynamics via the parameterization method
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Finite element approximation of invariant manifolds by the parameterization method
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Validated computations for connecting orbits in polynomial vector fields
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- The parameterization method for center manifolds
- Parameterization method for unstable manifolds of delay differential equations
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- Validated Computation of Heteroclinic Sets
- A Numerical Scheme for Computing Stable and Unstable Manifolds in Nonautonomous Flows
- Rigorous validation of stochastic transition paths
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
- Computational methods in perturbation theory
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Parameterization Method for Unstable Manifolds of Standing Waves on the Line
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Rigorous numerics for fast-slow systems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A Bayesian nonparametric approach to the approximation of the global stable manifold
- High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps
Uses Software
This page was built for publication: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q310798)
