Session B1 - Computational Dynamics
July 14, 17:30 ~ 18:00
Symbolic dynamics for Kuramoto-Sivashinsky PDE on the line --- a computer-assisted proof
Jagiellonian University, Krakow, Poland - firstname.lastname@example.org
The Kuramoto-Sivashinsky PDE on the line with odd and periodic boundary conditions and with parameter $\nu=0.1212$ is considered. We give a computer-assisted proof the existence of symbolic dynamics and countable infinity of periodic orbits with arbitrary large periods.
The proof is based on the covering relations, the apparent existence of trannsversal heteroclinic connections between two periodic orbits and a new algorithm on rigorous intagration of dissipative PDEs based on the automatic differentiation.
Joint work with Daniel Wilczak (Jagiellonian University, Krakow, Poland).