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

Nested set of periodic segments, Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems, The Morse equation in the Conley index theory for discrete multivalued dynamical systems, Validated numerical approximation of stable manifolds for parabolic partial differential equations, 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

Cites Work