Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
From MaRDI portal
Publication:4557491
DOI10.1090/psapm/074/00639zbMath1405.37005OpenAlexW2922533932MaRDI QIDQ4557491
Publication date: 23 November 2018
Published in: Rigorous Numerics in Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/psapm/074/00639
Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04) Approximation methods and numerical treatment of dynamical systems (37Mxx)
Related Items
Microscopic patterns in the 2D phase-field-crystal model ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ Rigorous validation of stochastic transition paths ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Covering relations, cone conditions and the stable manifold theorem
- Homoclinic orbits in Hamiltonian systems
- Homotopy classes for stable connections between Hamiltonian saddle-focus equilibria
- The four-colour theorem
- Morse theory on spaces of braids and Lagrangian dynamics
- A rigorous ODE solver and Smale's 14th problem
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A proof of the Kepler conjecture
- Lattice structures for attractors. I
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
- Integration of Dissipative Partial Differential Equations: A Case Study
- Morse Theory, the Conley Index and Floer Homology
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- On the geometry and dynamics of diffeomorphisms of surfaces
- A computer-assisted proof of the Feigenbaum conjectures
- Every Planar Map is Four Colorable
- Period Three Implies Chaos
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Computer-assisted bifurcation diagram validation and applications in materials science
- A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Pattern formation outside of equilibrium
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
