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) Computational methods for bifurcation problems in dynamical systems (37M20) Algorithms for approximation of functions (65D15) 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
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- 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 Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
- 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
- scientific article; zbMATH DE number 638936 (Why is no real title available?)
- Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
- Numerical calculation of domains of analyticity for perturbation theories in the presence of small divisors
- Numerical Methods for Bifurcations of Dynamical Equilibria
- Numerical Taylor expansions of invariant manifolds in large dynamical systems
- 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 analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- 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
(44)- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Parameterization method for unstable manifolds of delay differential equations
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
- Finite element approximation of invariant manifolds by the parameterization method
- 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
- The parameterization method for center manifolds
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Validated computations for connecting orbits in polynomial vector fields
- Rigorous validation of stochastic transition paths
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Validated computation of heteroclinic sets
- A numerical scheme for computing stable and unstable manifolds in nonautonomous flows
- 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
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Computing invariant sets of random differential equations using polynomial chaos
- Parameterization method for unstable manifolds of standing waves on the line
- Global phase-amplitude description of oscillatory dynamics via the parameterization method
- A Bayesian nonparametric approach to the approximation of the global stable manifold
- Rigorous numerics for fast-slow systems
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Computational methods in perturbation theory
- Validated error bounds for pseudospectral approximation of delay differential equations: local unstable manifolds
- Mechanisms of unstable blowup in a quadratic nonlinear Schrödinger equation
- Asymptotic stability of sharp fronts: analysis and rigorous computation
- Computer validation of neural network dynamics: a first case study
- Resonant vector bundles, conjugate points, and the stability of pulse solutions to the Swift-Hohenberg equation using validated numerics. I
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- 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
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)
