Computer assisted proof of chaos in the Lorenz equations

DOI10.1016/S0167-2789(97)00233-9zbMath0941.37018MaRDI QIDQ1963439

Zbigniew Galias, Piotr Zgliczyński

Publication date: 1 February 2000

Published in: Physica D (Search for Journal in Brave)

zbMATH Keywords

fixed point indexLorenz systemPoincaré mapexistence of chaoscomputer assisted proof

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Complex behavior and chaotic systems of ordinary differential equations (34C28) Dynamical systems in numerical analysis (37N30) Approximation methods and numerical treatment of dynamical systems (37M99) Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04)

Related Items

Covering relations for multidimensional dynamical systems, A database of rigorous and high-precision periodic orbits of the Lorenz model, A posteriori error bounds for two point boundary value problems: a Green's function approach, 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, Towards a computer-assisted proof for chaos in a forced damped pendulum equation, 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, Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems, A three-parametric study of the Lorenz model, PAINTING CHAOS: A GALLERY OF SENSITIVITY PLOTS OF CLASSICAL PROBLEMS, Stochastic chaos in chemical Lorenz system: interplay of intrinsic noise and nonlinearity, Computer‐assisted analysis of chaos in a three‐species food chain model, Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems, Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics, The Lorenz system: hidden boundary of practical stability and the Lyapunov dimension, Homoclinic Bifurcations and Chaos in the Fishing Principle for the Lorenz-like Systems, Bursting phenomena as well as the bifurcation mechanism in controlled Lorenz oscillator with two time scales, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Determining consecutive periods of the Lorenz maps, Global invariant manifolds in the transition to preturbulence in the Lorenz system, VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS, Isolating segments, fixed point index, and symbolic dynamics, Automatic differentiation for Fourier series and the radii polynomial approach, Sensitivity tools vs. Poincaré sections, Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level, Isolating segments, fixed point index, and symbolic dynamics. II: Homoclinic solutions, BIFURCATIONS AND CHAOS IN HAMILTONIAN SYSTEMS, Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences. I, On periodic points for systems of weakly coupled 1-dim maps., Chaos in Vallis' asymmetric Lorenz model for \textit{El Niño}, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Covering relations, cone conditions and the stable manifold theorem, Numerical computation of orbits and rigorous verification of existence of snapback repellers, A Lorenz-type attractor in a piecewise-smooth system: Rigorous results, TOPOLOGICAL HORSESHOES AND COMPUTER ASSISTED VERIFICATION OF CHAOTIC DYNAMICS, Sliding homoclinic bifurcations in a Lorenz-type system: Analytic proofs, Deep learning of conjugate mappings, A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line

Uses Software

• PROFIL/BIAS

Cites Work

• Isolating blocks and epsilon chains for maps
• Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
• Isolating blocks and symbolic dynamics
• A computer proof that the Lorenz equations have ``chaotic solutions
• Fixed point index for iterations of maps, topological horseshoe and chaos
• The Lorenz equations: bifurcations, chaos, and strange attractors
• On the strange attractor and transverse homoclinic orbits for the Lorenz equations
• Isolating neighborhoods and chaos
• Stable and Random Motions in Dynamical Systems
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• A shooting approach to the Lorenz equations
• Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
• Chaos in the Lorenz equations: a computer-assisted proof
• CHUA’S CIRCUIT: RIGOROUS RESULTS AND FUTURE PROBLEMS
• A combinatorial procedure for finding isolating neighbourhoods and index pairs
• Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
• Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
• Deterministic Nonperiodic Flow
• Differentiable dynamical systems
• Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item