Higher-order boundary layers and regularity for Stokes systems over rough boundaries

In this paper, we study the large-scale boundary regularity for the Stokes system in periodically oscillating John domains. Our main contribution is the construction of boundary layer correctors of arbitrary order. This is a significant generalization of the known results restricted to the first and second orders. As an application, we prove the large-scale regularity estimate, as well as a Liouville theorem, of arbitrary order for the Stokes system. Our results are also related to higher-order boundary layer tails and wall laws in viscous fluids over rough boundaries.Comment: 55pages, 1 figur