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)- Parameterization method for unstable manifolds of standing waves on the line
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Finite element approximation of invariant manifolds by the parameterization method
- Global phase-amplitude description of oscillatory dynamics via the parameterization method
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Computing invariant sets of random differential equations using polynomial chaos
- Validated computations for connecting orbits in polynomial vector fields
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- 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
- Parameterization method for unstable manifolds of delay differential equations
- The parameterization method for center manifolds
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- 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
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Computational methods in perturbation theory
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- 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
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- 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
- Rigorous numerics for fast-slow systems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Validated computation of heteroclinic sets
- A numerical scheme for computing stable and unstable manifolds in nonautonomous flows
- A Bayesian nonparametric approach to the approximation of the global stable manifold
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)
