Rigorous numerics for global dynamics: A study of the Swift-Hohenberg equation

This paper presents a rigorous numerical method for the study and veri. cation of global dynamics. In particular, this method produces a conjugacy or semiconjugacy between an attractor for the Swift - Hohenberg equation and a model system. The procedure involved relies on first verifying bifurcation diagrams produced via continuation methods, including proving the existence and uniqueness of computed branches as well as showing the nonexistence of additional stationary solutions. Topological information in the form of the Conley index, also computed during this veri. cation procedure, is then used to build a model for the attractor consisting of stationary solutions and connecting orbits.