Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs
Piotr Zgliczyński · Jagiellonian University Repository (Jagiellonian University) · 2010
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.