Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
From MaRDI portal
(Redirected from Publication:310798)
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)
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
Cites work
- scientific article; zbMATH DE number 638936 (Why is no real title available?)
- 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
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- A computer-assisted proof of the Feigenbaum conjectures
- A computer-assisted proof of universality for area-preserving maps
- A note on the convergence of parametrised non-resonant invariant manifolds
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Computation of heteroclinic arcs with application to the volume preserving Hénon family
- Computation of limit cycles and their isochrons: fast algorithms and their convergence
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computational error bounds for multiple or nearly multiple eigenvalues
- Computer assisted proof for normally hyperbolic invariant manifolds
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Deterministic Nonperiodic Flow
- Elements of applied bifurcation theory
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Global smooth solution curves using rigorous branch following
- Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
- Numerical Methods for Bifurcations of Dynamical Equilibria
- Numerical Taylor expansions of invariant manifolds in large dynamical systems
- Numerical calculation of domains of analyticity for perturbation theories in the presence of small divisors
- Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
- Parameterization of invariant manifolds for periodic orbits. I: Efficient numerics via the Floquet normal form
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Propagation of hexagonal patterns near onset
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Stationary coexistence of hexagons and rolls via rigorous computations
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- The parameterization method for invariant manifolds. III: Overview and applications
- Validated Continuation for Equilibria of PDEs
Cited in
(39)- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- Computing invariant sets of random differential equations using polynomial chaos
- 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
- Rigorous validation of stochastic transition paths
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- Validated computations for connecting orbits in polynomial vector fields
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Rigorous numerics for fast-slow systems
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Global phase-amplitude description of oscillatory dynamics via the parameterization method
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- The parameterization method for center manifolds
- Parameterization method for unstable manifolds of delay differential equations
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- 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 method for unstable manifolds of standing waves on the line
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Computational methods in perturbation theory
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A numerical scheme for computing stable and unstable manifolds in nonautonomous flows
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Finite element approximation of invariant manifolds by the parameterization method
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
- Computation of maximal local (un)stable manifold patches by the parameterization method
- A Bayesian nonparametric approach to the approximation of the global stable manifold
- Validated computation of heteroclinic sets
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)
