Finiteness of stationary configurations of the four-vortex problem

Abstract

We show that the number of relative equilibria, equilibria, and rigidly translating configurations in the problem of four point vortices is finite. The proof is based on symbolic and exact integer computations which are carried out by computer. We also provide upper bounds for these classes of stationary configurations.