Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs

Abstract

We describe a Lohner-type algorithm for rigorous integration of dissipative PDEs. Using it for the Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions we give a computer assisted proof the existence of multiple periodic orbits.