Computer Assisted Proofs in Dissipative Partial Differential Equations

Abstract

The goal of this paper is to present a brief survey of our research that has focused on studying the dynamics of dissipative partial differential equations by performing computer as sisted proofs. We provide a description of the main ideas behind the computer assisted proofs that we have performed, along with related topics. The emphasis is given to the case of the vis cous Burgers equation with constant forcing, for which the existence of globally attracting fixed points has been established. To achieve this goal, we used a combination of analytical results with computer assistance