“…where u 0 , w 0 , u 1 , and w 1 are given by (10), (16), (19), and (26), p 0 and p 1 are the solutions of the Reynolds problems (12)- (14) and (21)- (24), while B 0 , b 0 , W 0 , B 1 , b 1 , W 1 are the solutions of the problems (27), (28), (29), (30), and H 0 , h 0 , Y 0 , H 1 , h 1 , Y 1 are solutions of the analogous problems posed on the opposite side z = l. Although we have corrected the boundary layer effects by constructing the appropriate boundary layer correctors in Section 3.3, the residual in the divergence equation is not small enough to obtain satisfactory error estimates. In order to correct this, we construct the divergence corrector in the forthcoming section.…”