Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE

Jan Bouwe van den Berg, Elena Queirolo

We use computer-assisted proof techniques to prove that a branch of non-trivial equilibrium solutions in the Kuramoto-Sivashinsky partial differential equation undergoes a Hopf bif…