“…The vector e 3 is the unit vertical vector, F γ is an exterior force that belongs to L 1 (0, T ; L 2 (Ω) 3 ), and (1/ε)e 3 × u γ = (1/ε)(−u γ 2 , u γ 1 , 0) is the Coriolis force created by the rotation at the frequency ε −1 , which is assumed to be large. We also assume that u γ 0 converges strongly in L 2 (Ω) 3 to a function u 0 when (ε, ν) tends to (0, 0), η tends to 0 or is constant, and γ denotes (ε, ν, η). In what follows, we take U = (u, p) = (u 1 , u 2 , u 3 , p), where we omit the γ if there is no ambiguity.…”