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

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.