Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
From MaRDI portal
Publication:4557491
Recommendations
- scientific article; zbMATH DE number 843185
- scientific article; zbMATH DE number 67093
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- scientific article; zbMATH DE number 42545
- Chaos in numerical analysis of ordinary differential equations
- Numerical Versus Analytical Conditions for Chaos, Using the Example of the Duffing Oscillator
- Rigorous numerics for homoclinic dynamics
- scientific article; zbMATH DE number 194875
- Toward analytical chaos in nonlinear systems
Cites work
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A computer-assisted proof of the Feigenbaum conjectures
- A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
- A proof of the Kepler conjecture
- A rigorous ODE solver and Smale's 14th problem
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Computer-assisted bifurcation diagram validation and applications in materials science
- 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
- Differential equations, dynamical systems, and an introduction to chaos
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Every Planar Map is Four Colorable
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Global smooth solution curves using rigorous branch following
- Homoclinic orbits in Hamiltonian systems
- Homotopy classes for stable connections between Hamiltonian saddle-focus equilibria
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 823543 (Why is no real title available?)
- scientific article; zbMATH DE number 1414355 (Why is no real title available?)
- scientific article; zbMATH DE number 3197700 (Why is no real title available?)
- Integration of dissipative partial differential equations: a case study
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Lattice structures for attractors. I
- Morse theory on spaces of braids and Lagrangian dynamics
- Morse Theory, the Conley Index and Floer Homology
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- On the geometry and dynamics of diffeomorphisms of surfaces
- Pattern formation outside of equilibrium
- Period Three Implies Chaos
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
- Stationary coexistence of hexagons and rolls via rigorous computations
- The four-colour theorem
- Validated Continuation for Equilibria of PDEs
- Validated saddle-node bifurcations and applications to lattice dynamical systems
Cited in
(21)- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Rigorous validation of stochastic transition paths
- A topological method for rigorously computing periodic orbits using Fourier modes
- Periodic orbits in Hořava-Lifshitz cosmologies
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Rigorous Numerics in Dynamics
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Preface: Special issue on the occasion of the 4th international workshop on set-oriented numerics (SON 13, Dresden, 2013)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Microscopic patterns in the 2D phase-field-crystal model
- Book Reviews
- Computational methods for rigorous analysis of chaotic systems
- The method of topological sections in the rigorous numerics of dynamical systems
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Validated integration of semilinear parabolic PDEs
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Recent development in rigorous computational methods in dynamical systems
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
This page was built for publication: Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4557491)
