Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
From MaRDI portal
Publication:4396448
DOI10.1090/S0025-5718-98-00945-4zbMath0913.58038MaRDI QIDQ4396448
Konstantin Mischaikow, Marian Mrozek
Publication date: 14 June 1998
Published in: Mathematics of Computation (Search for Journal in Brave)
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Numerical methods for ordinary differential equations (65L99) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)
Related Items
On computer-assisted proving the existence of periodic and bounded orbits ⋮ Unnamed Item ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm ⋮ Statistical Properties of Lorenz-like Flows, Recent Developments and Perspectives ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Determining consecutive periods of the Lorenz maps ⋮ Computer assisted proof of chaos in the Lorenz equations ⋮ Global invariant manifolds in the transition to preturbulence in the Lorenz system ⋮ Adaptive cellular integration of linearly implicit differential equations ⋮ A strange double-deck butterfly chaotic attractor from a permanent magnet synchronous motor with smooth air gap: numerical analysis and experimental observation ⋮ A Conley index study of the evolution of the Lorenz strange set ⋮ Homology algorithm based on acyclic subspace ⋮ The square of a map, symbolic dynamics and the Conley index ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values ⋮ Self-validating methods ⋮ Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds ⋮ Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Shooting methods and topological transversality ⋮ What's new on Lorenz strange attractors? ⋮ Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Applying the Conley index to fast-slow systems with one slow variable and an attractor ⋮ Topological invariants, multivalued maps and computer assisted proofs in dynamics ⋮ A HORSESHOE IN A CELLULAR NEURAL NETWORK OF FOUR-DIMENSIONAL AUTONOMOUS ORDINARY DIFFERENTIAL EQUATIONS ⋮ A HORSESHOE IN A CELLULAR NEURAL NETWORK OF FOUR-DIMENSIONAL AUTONOMOUS ORDINARY DIFFERENTIAL EQUATIONS ⋮ Sofic Shifts via Conley Index Theory: Computing Lower Bounds on Recurrent Dynamics for Maps ⋮ Combinatorial vs. classical dynamics: recurrence ⋮ Topological dynamics of volume-preserving maps without an equatorial heteroclinic curve ⋮ Chaos in the Periodically Parametrically Excited Lorenz System ⋮ Discrete version of a geometric method for detecting chaotic dynamics ⋮ Detection of renewal system factors via the Conley index ⋮ Lower bounds on entropy via the Conley index with application to time series
Cites Work
