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.