A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
From MaRDI portal
Publication:4653117
DOI10.1137/030600210zbMath1059.37068OpenAlexW1979499447MaRDI QIDQ4653117
Oliver Junge, Sarah L. Day, Konstantin Mischaikow
Publication date: 28 February 2005
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/030600210
Attractors and repellers of smooth dynamical systems and their topological structure (37C70) Dynamical systems in control (37N35) Symbolic dynamics (37B10) Index theory for dynamical systems, Morse-Conley indices (37B30) Approximation methods and numerical treatment of dynamical systems (37M99)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Recent development in rigorous computational methods in dynamical systems ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Dynamics and chaos for maps and the Conley index ⋮ Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm ⋮ Automatized Search for Complex Symbolic Dynamics with Applications in the Analysis of a Simple Memristor Circuit ⋮ Bifurcations in periodic integrodifference equations in \(C(\Omega)\): II. Discrete torus bifurcations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Combinatorial-topological framework for the analysis of global dynamics ⋮ Analysis of integrodifference equations with a separable dispersal kernel ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Numerical dynamics of integrodifference equations ⋮ Identifying Nonlinear Dynamics with High Confidence from Sparse Data ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS ⋮ Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index ⋮ Homology algorithm based on acyclic subspace ⋮ On the sighting of unicorns: A variational approach to computing invariant sets in dynamical systems ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation ⋮ Bifurcations in periodic integrodifference equations in \(C(\Omega)\). I: Analytical results and applications. ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ Sofic Shifts via Conley Index Theory: Computing Lower Bounds on Recurrent Dynamics for Maps ⋮ Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints ⋮ Simplicial Multivalued Maps and the Witness Complex for Dynamical Analysis of Time Series ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part ⋮ Forward and pullback dynamics of nonautonomous integrodifference equations: basic constructions
Uses Software
