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
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, A Conley index study of the evolution of the Lorenz strange set, Computer-assisted proofs for radially symmetric solutions of PDEs, The fractal property of the Lorenz attractor, Regularity of SRB entropy for geometric Lorenz attractors, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Riemann surface laminations with singularities, Global topological properties of the Hopf bifurcation, Plate falling in a fluid: regular and chaotic dynamics of finite-dimensional models, Complex attractors and patterns in reaction-diffusion systems, Existence of heterodimensional cycles near shilnikov loops in systems with a \(\mathbb{Z}_2\) symmetry, Rigorous numerics for NLS: bound states, spectra, and controllability, Automatic differentiation for Fourier series and the radii polynomial approach, Computing accurate Poincaré maps, Sensitivity tools vs. Poincaré sections, Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds, Thermodynamic formalism for contracting Lorenz flows, A global perspective for non-conservative dynamics, Partial synchronization: from symmetry towards stability, Breaking the limits: The Taylor series method, Performance of the Taylor series method for ODEs/DAEs, On-line motif detection in time series with SwiftMotif, From limit cycles to strange attractors, Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations, Spontaneous periodic orbits in the Navier-Stokes flow, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition, Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof, Entropy theory for sectional hyperbolic flows, Global bifurcations to strange attractors in a model for skew varicose instability in thermal convection, Geometric Lorenz flows with historic behavior, A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder, Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model, Maximal transport in the Lorenz equations, Complete set of invariants for a Bykov attractor, On the omega-limit sets of planar nonautonomous differential equations with nonpositive Lyapunov exponents, Reduction Methods and Chaos for Quadratic Systems of Differential Equations, Covering relations, cone conditions and the stable manifold theorem, Systematic computer assisted proofs of periodic orbits of Hamiltonian systems, Rapid mixing for the Lorenz attractor and statistical limit laws for their time-1 maps, A test for a conjecture on the nature of attractors for smooth dynamical systems, RODES, The Flow of ODEs, Computer-assisted proofs in PDE: a survey, A brief history of the most remarkable numbers \(\pi\), \(g\) and \(\delta \) in mathematical sciences with applications, Echo state networks trained by Tikhonov least squares are \(L^2(\mu)\) approximators of ergodic dynamical systems, A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line, Global dynamics in nonconservative nonlinear Schrödinger equations, Right-handed vector fields and the Lorenz attractor, Response and sensitivity using Markov chains, The existence of \( \omega \)-limit set for a modified Nosé-Hoover oscillator, \(C^1\)-generic sectional axiom A flows have only trivial symmetries, Minimizers of a free boundary problem on three-dimensional cones, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, High-precision arithmetic in mathematical physics, Computation of Lyapunov functions for systems with multiple local attractors, The Lorenz attractor is mixing, Partial classification of Lorenz knots: syllable permutations of torus knots words, A novel Kalman filter formulation for improving tracking performance of the extended kernel RLS
Uses Software
