Abstract
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.