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

Daniel Wilczak, Piotr Zgliczyński

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 s…