Gevrey regularity for the Navier-Stokes in a half-space

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 solution, uniformly up to the boundary of the half space.