Ancient Solutions to Navier–Stokes Equations in Half Space

In the present paper we consider mild bounded ancient (backward) solutions to the Navier–Stokes equations in the half plane. We give two different definitions, prove their equivalence and prove smoothness up to the boundary. Such solutions appear as a result of rescaling around a singular point of the initial boundary value problem for the Navier–Stokes equations in the half-plane.