Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof

Abstract

The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and with parameter $\nu =0.1212$ is considered. We give a computer-assisted proof the existence of symbolic dynamics and countable infinity of periodic orbits with arbitrary large periods.

40 pages, 7 figures

Cited by in corpus (9)

• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Recent advances in rigorous computation of Poincaré maps
• Deep Learning of Conjugate Mappings
• Validated forward integration scheme for parabolic PDEs via Chebyshev series
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
• A Hopf bifurcation in the planar Navier-Stokes equations
• Data-driven guessing and gluing of unstable periodic orbits
• High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays
• Rigorous FEM for 1D Burgers equation