“…erefore, from the compact embedding W 1,2 [0, t; H 1 0 (Ω)] ⊂ L 2 [0, t; L 2 (Ω)], we deduce that n ϵ,t 1 is compact in B. us, assertion (i) is proved. Assertion (ii) can be easily proved by multiplying (70) (with ϵ � 0) with −Δw 0 2 , and this procedure is elementary; here, we omit it (see, e.g., [20] for details).…”