Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation (Q5945647)

A new topological approach for the study of the dynamics of dissipative partial differential equations is presented. The suggested method is based on the concept of self-consistent a priori bounds, which permit the rigorous justification of the use of Galerkin projections. The goal of the investigation is a low-dimensional system of ordinary differential equations subject to small perturbations from the neglected models. For the obtained ordinary differential equations the Conley index is applied to obtain information about the dynamics of the partial differential equations under consideration. The developed method is applied particulary to the Kuramoto-Sivashinsky equation. A computer-assisted proof of the existence of several fixed points in this case is obtained.