Codice 35/2010 Titolo Integration of dissipative PDEs: a case study Data 2010-11-10 Autore/i Arioli, G.; Koch, H. Link Download full text 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. Keywords: Kuramoto-Sivashinski equation, hyperbolicity, periodic orbit, computer-assisted proof AMS Subject Classification: 37L05, 37L45, 35K35