Energy stable wall modeling for the Navier-Stokes equations

Close to solid walls, at high Reynolds numbers, fluids may develop steep gradients which require a fine mesh for an accurate simulation of the turbulent boundary layer. An often used cure is to use a wall model instead of a fine mesh, with the drawback that modeling is introduced, leading to possibly unstable numerical schemes. In this paper, we leave the modeling aside, take it for granted, and propose a new set of provably energy stable boundary procedures for the incompressible Navier-Stokes equations. We show that these new boundary procedures lead to numerical results with high accuracy even for coarse meshes where data is partially obtained from a wall model.