A rigorous ODE solver and Smale's 14th problem
From MaRDI portal
Publication:1601363
zbMath1047.37012MaRDI QIDQ1601363
Publication date: 2002
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Interval and finite arithmetic (65G30) Dynamics induced by flows and semiflows (37C10) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45)
Related Items (only showing first 100 items - show all)
Parameter-shifted shadowing property for geometric Lorenz attractors ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Validated Spectral Stability via Conjugate Points ⋮ Optimal Transport for Parameter Identification of Chaotic Dynamics via Invariant Measures ⋮ A Numerical-Analytical Method for Constructing Periodic Solutions of the Lorenz System ⋮ An Algorithmic Approach to Lattices and Order in Dynamics ⋮ Computability and Dynamical Systems ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Borel–Cantelli lemmas and extreme value theory for geometric Lorenz models ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ A Verified Enclosure for the Lorenz Attractor (Rough Diamond) ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem ⋮ Maximum spread of graphs and bipartite graphs ⋮ Enabling floating-point arithmetic in the Coq proof assistant ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Molecular nonlinear dynamics and protein thermal uncertainty quantification ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Stochastic and statistical stability of the classical Lorenz flow under perturbations modeling anthropogenic type forcing ⋮ Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model ⋮ The Morse equation in the Conley index theory for discrete multivalued dynamical systems ⋮ Farey neighbors and hyperbolic Lorenz knots ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Formally-verified round-off error analysis of Runge-Kutta methods ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ Physical measures of asymptotically autonomous dynamical systems ⋮ Dynamical transition and chaos for a five‐dimensional Lorenz model ⋮ Attractors. Then and now ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ FOUR–DIMENSIONAL BRUSSELATOR MODEL WITH PERIODICAL SOLUTION ⋮ Human photoplethysmogram through the Morse graph: Searching for the saddle point in experimental data ⋮ Homoclinic Orbits and Solitary Waves within the Nondissipative Lorenz Model and KdV Equation ⋮ Aggregated Negative Feedback in a Generalized Lorenz Model ⋮ A certificate-based approach to formally verified approximations ⋮ Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system ⋮ Complexity in a Hybrid van der Pol System ⋮ Importance Sampling for Pathwise Sensitivity of Stochastic Chaotic Systems ⋮ Universal theory of dynamical chaos in nonlinear dissipative systems of differential equations ⋮ Universal theory of dynamical chaos in nonlinear dissipative systems of differential equations ⋮ Persistent heterodimensional cycles in periodic perturbations of Lorenz-like attractors ⋮ Singular-hyperbolic attractors are chaotic ⋮ On concentration properties of partially observed chaotic systems ⋮ Towards understanding the theoretical challenges of numerical modeling of dynamical systems ⋮ A new twist on Lorenz links ⋮ Wild pseudohyperbolic attractor in a four-dimensional Lorenz system ⋮ Asymptotic invariants of 3-dimensional vector fields ⋮ On the statistical stability of Lorenz attractors with a stable foliation ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ The Zambelli Attractors of Coupled, Nonlinear Macrodynamics and Knot Theory ⋮ On discrete Lorenz-like attractors ⋮ Computing geometric Lorenz attractors with arbitrary precision ⋮ The Lorenz Attractor, a Paradigm for Chaos ⋮ Deterministic Nonperiodic Flow ⋮ Computability of Differential Equations ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Transversal connecting orbits from shadowing ⋮ Bounds for the chaotic region in the Lorenz model ⋮ A database of rigorous and high-precision periodic orbits of the Lorenz model ⋮ Probability distribution for the number of cycles between successive regime transitions for the Lorenz model ⋮ Hyperbolicity of 3-trip Lorenz knots ⋮ A maximum entropy method for particle filtering ⋮ Exponential decay of correlations for nonuniformly hyperbolic flows with a \(C^{1+\alpha}\) stable foliation, including the classical Lorenz attractor ⋮ Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations ⋮ Interval analysis techniques for boundary value problems of elasticity in two dimensions ⋮ Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ A note on hidden transient chaos in the Lorenz system ⋮ A verified ODE solver and the Lorenz attractor ⋮ Normal forms application for studying solitary wave solutions of non-integrable evolution systems ⋮ Dynamics and control at feedback vertex sets. I: Informative and determining nodes in regulatory networks ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Analysis of the 3DVAR filter for the partially observed Lorenz '63 model ⋮ A three-parametric study of the Lorenz model ⋮ When chaos meets hyperchaos: 4D Rössler model ⋮ On the hyperbolicity of Lorenz renormalization ⋮ Area expanding \({\mathcal C^{1+\alpha}}\) suspension semiflows ⋮ Strange attractors. Topologic, geometric and algebraic aspects ⋮ Gestalt switches in Poincaré's prize paper: an inspiration for, but not an instance of, chaos ⋮ Variance continuity for Lorenz flows ⋮ Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Globally exponentially attractive sets of the family of Lorenz systems ⋮ Adaptive constructive interval disjunction: algorithms and experiments ⋮ A note on the convergence of parametrised non-resonant invariant manifolds ⋮ Stochastic stability of the classical Lorenz flow under impulsive type forcing ⋮ Infinitesimal Lyapunov functions for singular flows ⋮ On a computer-aided approach to the computation of Abelian integrals ⋮ On the recurrence and robust properties of Lorenz'63 model ⋮ Statistical properties for flows with unbounded roof function, including the Lorenz attractor ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Some statistical properties of almost Anosov diffeomorphisms ⋮ Computability of Brolin-Lyubich measure ⋮ Turbulent chaos ⋮ The flow of ODEs: formalization of variational equation and Poincaré map
Uses Software
This page was built for publication: A rigorous ODE solver and Smale's 14th problem
