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.
Citation
Piotr Zgliczyński. "Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs." Topol. Methods Nonlinear Anal. 36 (2) 197 - 262, 2010.
Information