Chaos in the Lorenz equations: a computer-assisted proof

DOI10.1090/S0273-0979-1995-00558-6zbMath0820.58042arXivmath/9501230OpenAlexW2112602754MaRDI QIDQ4320743

Konstantin Mischaikow, Marian Mrozek

Publication date: 11 September 1995

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9501230

zbMATH Keywords

chaotic dynamics Lorenz equations topological invariants computer-assisted proofs

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Numerical methods for ordinary differential equations (65L99)

Related Items (only showing first 100 items - show all)

Metric horseshoes ⋮ The chaotic region of Lorenz-type system in the parametric space ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Unnamed Item ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Isolating segments and symbolic dynamics ⋮ Entropy for symbolic dynamics with overlapping alphabets ⋮ An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ A database of rigorous and high-precision periodic orbits of the Lorenz model ⋮ Complexity of software trustworthiness and its dynamical statistical analysis methods ⋮ Lorenz type attractors from codimension one bifurcation ⋮ Conley index for discrete multi-valued dynamical systems ⋮ Persistence of Morse decompositions over grid resolution for maps and time series ⋮ Weak Index Pairs and the Conley Index for Discrete Multivalued Dynamical Systems ⋮ 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 ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Persistence of Conley--Morse Graphs in Combinatorial Dynamical Systems ⋮ Normal forms application for studying solitary wave solutions of non-integrable evolution systems ⋮ Statistical Properties of Lorenz-like Flows, Recent Developments and Perspectives ⋮ Čech type approach to computing homology of maps ⋮ Homology computation by reduction of chain complexes ⋮ Combinatorial-topological framework for the analysis of global dynamics ⋮ Weak Index Pairs and the Conley Index for Discrete Multivalued Dynamical Systems. Part II: Properties of the Index ⋮ OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER ⋮ Hyperbolic attractor in a system of coupled non-autonomous van der Pol oscillators: numerical test for expanding and contracting cones ⋮ Positive solutions for super-sublinear indefinite problems: High multiplicity results via coincidence degree ⋮ Unpredictable points and chaos ⋮ A study of the regularized lid-driven cavity's progression to chaos ⋮ Linking combinatorial and classical dynamics: Conley index and Morse decompositions ⋮ CHAOTIC ATTRACTORS OF THE CONJUGATE LORENZ-TYPE SYSTEM ⋮ Computer assisted proof of chaos in the Lorenz equations ⋮ A CHAOTIC SYSTEM WITH ONE SADDLE AND TWO STABLE NODE-FOCI ⋮ Global invariant manifolds in the transition to preturbulence in the Lorenz system ⋮ Rigorous error bounds for RK methods in the proof of chaotic behaviour ⋮ Adaptive cellular integration of linearly implicit differential equations ⋮ Persistent Homology of Morse Decompositions in Combinatorial Dynamics ⋮ A Conley index study of the evolution of the Lorenz strange set ⋮ Knot theory based on the minimal braid in Lorenz system ⋮ A new proof for existence of horseshoe in the Rössler system ⋮ VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS ⋮ A combinatorial procedure for finding isolating neighbourhoods and index pairs ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Homology algorithm based on acyclic subspace ⋮ A geometric method for detecting chaotic dynamics ⋮ On detachable maps and flows ⋮ Complexity in a Hybrid van der Pol System ⋮ On detection of chaotic dynamics in ordinary differential equations ⋮ Algebraic transition matrices in the Conley index theory ⋮ 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 ⋮ Finite resolution dynamics ⋮ Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds ⋮ Distinguishing chaotic time series from noise: a random matrix approach ⋮ Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level ⋮ On the behavior of the Lorenz equation backward in time ⋮ Isolating segments, fixed point index, and symbolic dynamics. II: Homoclinic solutions ⋮ The existence of homoclinic orbits in the Lorenz system via the undetermined coefficient method ⋮ DIGITAL CONTROL AS SOURCE OF CHAOTIC BEHAVIOR ⋮ Shooting methods and topological transversality ⋮ Finite approximations to Čech homology ⋮ What's new on Lorenz strange attractors? ⋮ Cycle expansions: from maps to turbulence ⋮ An algorithmic approach to the construction of homomorphisms induced by maps in homology ⋮ On periodic points for systems of weakly coupled 1-dim maps. ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño} ⋮ Symbolic dynamics for nonhyperbolic systems ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Topological horseshoes in continuous maps ⋮ Chaotic knots and wild dynamics ⋮ A Lefschetz fixed point theorem for multivalued maps of finite spaces ⋮ A Lorenz-type attractor in a piecewise-smooth system: Rigorous results ⋮ ON SOME NONAUTONOMOUS CHAOTIC SYSTEM ON THE PLANE ⋮ MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS AND STABILITY OF SARKOVSKĬ ORDERING ⋮ NINETY PLUS THIRTY YEARS OF NONLINEAR DYNAMICS: LESS IS MORE AND MORE IS DIFFERENT ⋮ Topological invariants, multivalued maps and computer assisted proofs in dynamics ⋮ TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS ⋮ Using machine learning to predict catastrophes in dynamical systems ⋮ 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 ⋮ Sliding homoclinic bifurcations in a Lorenz-type system: Analytic proofs ⋮ 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 ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Chaos in the Periodically Parametrically Excited Lorenz System ⋮ Discrete version of a geometric method for detecting chaotic dynamics ⋮ Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints ⋮ Remark on complicated dynamics of some planar system ⋮ Convergence to equilibria in the Lorenz system via monotone methods ⋮ Simplical models for the global dynamics of attractors ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Local stability implies global stability for the 2-dimensional Ricker map ⋮ Simplicial Multivalued Maps and the Witness Complex for Dynamical Analysis of Time Series ⋮ A manifesto for the computational method ⋮ Detection of renewal system factors via the Conley index ⋮ Nested set of periodic segments

Cites Work

This page was built for publication: Chaos in the Lorenz equations: a computer-assisted proof