Analyticity results for the Navier-Stokes Equations

We consider the Navier–Stokes equations posed on the half space, with Dirichlet boundary conditions. We give a direct energy based proof for the instantaneous space-time analyticity and Gevrey class regularity of the solutions, uniformly up to the boundary of the half space. We then discuss the adaptation of the same method for bounded domains.