Gianni Arioli, Hans Koch
Integration of dissipative PDEs: a case study
(31349K, TeX)

ABSTRACT.  We develop a computer-assisted technique to construct and analyze orbits of dissipative evolution equations. 
As a case study, the methods are applied to the Kuramoto-Sivashinski equation. 
We prove the existence of a hyperbolic periodic orbit. 
The computer programs used for the proof are available in the file ks-ada.tgz