Liouville theorems for the Navier-Stokes equations and applications

We study bounded ancient solutions of the Navier-Stokes equations. These are solutions with bounded velocity defined in R (n) x (-1, 0). In two space dimensions we prove that such solutions are either constant or of the form u(x, t) = b(t), depending on the exact definition of admissible solutions. The general 3-dimensional problem seems to be out of reach of existing techniques, but partial results can be obtained in the case of axisymmetric solutions. We apply these results to some scenarios of potential singularity formation for axi-symmetric solutions, and obtain extensions of results in a recent paper by Chen, Strain, Tsai and Yau [4].