“…The key to deriving the higher-order analog of (S) is to introduce the so-called boundary layers, which play similar roles as the correctors in elliptic homogenization with oscillating coefficients; see e.g., [9,4,31,22,11,7,6]. The first-order boundary layers are classical, given by the bounded solutions of the following cell problem: for i ∈ {1, 2, • • • , d},…”