Pitchfork bifurcation and heteroclinic connections in the Kuramoto–Sivashinsky PDE

We present a method for the complete analysis of the dynamics of dissipative partial differential equations (PDEs) undergoing a pitchfork bifurcation. We apply our technique to the Kuramoto–Sivashinsky PDE on the line to obtain a computer-assisted proof of the creation of two symmetric branches of non-symmetric fixed points and heteroclinic connections between the symmetric fixed point and the new ones. The range of parameters is given explicitly and is large enough to allow for the rigorous continuation of the fixed points and heteroclinic connections created during the bifurcation.