Title: A Hopf bifurcation in the planar Navier-Stokes equations
Authors: G. Arioli, H. Koch
Abstract:   We consider the Navier-Stokes equation for an incompressible viscous fluid on a square, satisfying Navier boundary conditions and being subjected to a time-independent force. As the kinematic viscosity is varied, a branch of stationary solutions is shown to undergo a Hopf bifurcation, where a periodic cycle branches from the stationary solution. Our proof is constructive and uses computer-assisted estimates.
Paper: Preprint and program text