“…By Lemma 4.2, we can consider a locally uniform limit w, up to a subsequence, of n ω,ǫ e p¨, 0, ¨q in p´8, 0s ˆr0, `8q. Then, by standard homogenization [19] (see Subsection A.3 in Appendix), w solves " B t w `H0 pB x wq " 0 in p´8, 0q ˆp0, `8q wpx, 0q " ´x{e 0 in p´8, 0s.…”