Rigorous Numerics for Dissipative PDEs III. An effective algorithm for rigorous computation of trajectories and Poincaré maps

Piotr Zgliczynski

Contact the author: Please use for correspondence this email.
Submission date: 21. Apr. 2005
Pages: 68
MSC-Numbers: 35B40, 35B45, 65G30, 65N30
Keywords and phrases: periodic orbits, dissipative pdes, galerkin projection, rigorous numerics
Download full preprint: PDF (431 kB)

Abstract:
We describe a Lohner-type algorithm for rigorous computation of dissipative PDEs with periodic boundary conditions. The algorithm have been implemented for the Kuramoto-Sivashinsky PDE with odd and periodic boundary conditions and was used to prove the existence of multiple periodic orbits, both stable and unstable ones.