Rigorous Numerics for Dissipative PDEs III. An effective algorithm for rigorous computation of trajectories and Poincaré maps
Contact the author: Please use for correspondence this email.
Submission date: 21. Apr. 2005
MSC-Numbers: 35B40, 35B45, 65G30, 65N30
Keywords and phrases: periodic orbits, dissipative pdes, galerkin projection, rigorous numerics
Download full preprint: PDF (431 kB)
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.