“…In this section, we formally derive the effective solution of – via Taylor series expansion under the assumption, so that the solution of – is defined in the unit square domain We can directly expand the solutions in a Taylor series with respect to y near the rough boundary . Note that the assumption is only a technical assumption, and the results obtained below are valid for a general smooth function h as in [].…”